runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706081-1338197482/watcher-3706081-1338197482 -o /tmp/evaluation-result-3706081-1338197482/solver-3706081-1338197482 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706081-1338197482.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 21843
/proc/meminfo: memFree=31344716/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 285872950 7405568 749 33554432000 4194304 8973514 140736524519248 140736524518088 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 1808 749 415 1167 0 589 0
[startup+0.0191979 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 21843
/proc/meminfo: memFree=31344716/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=7232 CPUtime=0.01 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 1073 0 0 0 1 0 0 0 20 0 1 0 285872950 7405568 994 33554432000 4194304 8973514 140736524519248 140736524518088 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 1808 994 416 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232
[startup+0.100256 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 21843
/proc/meminfo: memFree=31344716/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 2375 0 0 0 8 1 0 0 20 0 1 0 285872950 13697024 2296 33554432000 4194304 8973514 140736524519248 140736524518088 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 3344 2296 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300277 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 21843
/proc/meminfo: memFree=31344716/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=23616 CPUtime=0.28 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 5172 0 0 0 27 1 0 0 20 0 1 0 285872950 24182784 5093 33554432000 4194304 8973514 140736524519248 140736524518744 4650312 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 5904 5093 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23616
[startup+0.700281 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 21843
/proc/meminfo: memFree=31344716/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=46144 CPUtime=0.69 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 10836 0 0 0 66 3 0 0 20 0 1 0 285872950 47251456 10757 33554432000 4194304 8973514 140736524519248 140736524518744 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 11536 10757 444 1167 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46144
[startup+1.50034 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 21844
/proc/meminfo: memFree=31256892/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=47168 CPUtime=1.49 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 11092 0 0 0 146 3 0 0 20 0 1 0 285872950 48300032 11013 33554432000 4194304 8973514 140736524519248 140736524518512 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 11792 11013 444 1167 0 10573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47168
[startup+3.10031 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 21844
/proc/meminfo: memFree=31256140/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=47168 CPUtime=3.09 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 11092 0 0 0 305 4 0 0 20 0 1 0 285872950 48300032 11013 33554432000 4194304 8973514 140736524519248 140736524518744 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 11792 11013 444 1167 0 10573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47168
[startup+6.30034 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 21844
/proc/meminfo: memFree=31255776/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=48192 CPUtime=6.29 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 11185 0 0 0 625 4 0 0 20 0 1 0 285872950 49348608 11106 33554432000 4194304 8973514 140736524519248 140736524518744 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 12048 11106 444 1167 0 10829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48192
[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 21844
/proc/meminfo: memFree=31238960/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=58432 CPUtime=12.69 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 13908 0 0 0 1262 7 0 0 20 0 1 0 285872950 59834368 13829 33554432000 4194304 8973514 140736524519248 140736524518744 4427291 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 14608 13829 444 1167 0 13389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58432
[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21844
/proc/meminfo: memFree=31205860/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=77888 CPUtime=25.49 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 18772 0 0 0 2539 10 0 0 20 0 1 0 285872950 79757312 18693 33554432000 4194304 8973514 140736524519248 140736524517184 4427084 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 19472 18693 444 1167 0 18253 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77888
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21844
/proc/meminfo: memFree=31144448/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=110656 CPUtime=51.08 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 26738 0 0 0 5090 18 0 0 20 0 1 0 285872950 113311744 26659 33554432000 4194304 8973514 140736524519248 140736524518512 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 27664 26659 444 1167 0 26445 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110656
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21844
/proc/meminfo: memFree=31030032/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=169024 CPUtime=102.28 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 41420 0 0 0 10194 34 0 0 20 0 1 0 285872950 173080576 41341 33554432000 4194304 8973514 140736524519248 140736524518744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 42256 41341 444 1167 0 41037 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 169024
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21844
/proc/meminfo: memFree=30913140/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=230464 CPUtime=162.24 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 56952 0 0 0 16172 52 0 0 20 0 1 0 285872950 235995136 56838 33554432000 4194304 8973514 140736524519248 140736524518512 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 57616 56838 445 1167 0 56397 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 230464
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21845
/proc/meminfo: memFree=30867784/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=230464 CPUtime=222.21 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 56989 0 0 0 22152 69 0 0 20 0 1 0 285872950 235995136 56838 33554432000 4194304 8973514 140736524519248 140736524518744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 57616 56838 445 1167 0 56397 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 230464
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 21845
/proc/meminfo: memFree=30817712/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=238656 CPUtime=282.18 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 58856 0 0 0 28139 79 0 0 20 0 1 0 285872950 244383744 58689 33554432000 4194304 8973514 140736524519248 140736524518512 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 59664 58689 445 1167 0 58445 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 238656
[startup+342.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/179 21845
/proc/meminfo: memFree=30778652/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=249920 CPUtime=342.18 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 61869 0 0 0 34127 91 0 0 20 0 1 0 285872950 255918080 61702 33554432000 4194304 8973514 140736524519248 140736524518512 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 62480 61702 445 1167 0 61261 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 249920
[startup+402.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 21845
/proc/meminfo: memFree=30778968/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=249920 CPUtime=402.17 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 61869 0 0 0 40112 105 0 0 20 0 1 0 285872950 255918080 61702 33554432000 4194304 8973514 140736524519248 140736524518512 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 62480 61702 445 1167 0 61261 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 249920
[startup+462.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/179 21845
/proc/meminfo: memFree=30776392/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=256064 CPUtime=462.16 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 63243 0 0 0 46101 115 0 0 20 0 1 0 285872950 262209536 63076 33554432000 4194304 8973514 140736524519248 140736524518744 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 64016 63076 445 1167 0 62797 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 256064
[startup+522.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/180 21848
/proc/meminfo: memFree=30761092/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=268352 CPUtime=522.15 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 66463 0 0 0 52088 127 0 0 20 0 1 0 285872950 274792448 66296 33554432000 4194304 8973514 140736524519248 140736524518512 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 67088 66296 445 1167 0 65869 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 268352
[startup+582.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/179 21849
/proc/meminfo: memFree=30723924/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=274496 CPUtime=582.14 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 68013 0 0 0 58071 143 0 0 20 0 1 0 285872950 281083904 67846 33554432000 4194304 8973514 140736524519248 140736524518512 4204655 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 68624 67846 445 1167 0 67405 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 274496
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 21851
/proc/meminfo: memFree=30689772/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=274496 CPUtime=882.09 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 68025 0 0 0 88004 205 0 0 20 0 1 0 285872950 281083904 67846 33554432000 4194304 8973514 140736524519248 140736524518744 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 68624 67846 445 1167 0 67405 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 274496
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 21851
/proc/meminfo: memFree=30676024/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=288832 CPUtime=942.07 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 71482 0 0 0 93991 216 0 0 20 0 1 0 285872950 295763968 71303 33554432000 4194304 8973514 140736524519248 140736524518744 4209168 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 72208 71303 445 1167 0 70989 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 288832
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21851
/proc/meminfo: memFree=30633988/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=316480 CPUtime=1002.07 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 78424 0 0 0 99978 229 0 0 20 0 1 0 285872950 324075520 78245 33554432000 4194304 8973514 140736524519248 140736524518512 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 79120 78245 445 1167 0 77901 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 316480
[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21851
/proc/meminfo: memFree=30626428/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=342080 CPUtime=1062.06 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 84771 0 0 0 105966 240 0 0 20 0 1 0 285872950 350289920 84592 33554432000 4194304 8973514 140736524519248 140736524518512 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 85520 84592 445 1167 0 84301 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 342080
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 21854
/proc/meminfo: memFree=30629548/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=354368 CPUtime=1122.03 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 88006 0 0 0 111955 248 0 0 20 0 1 0 285872950 362872832 87814 33554432000 4194304 8973514 140736524519248 140736524518512 4441196 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 88592 87814 445 1167 0 87373 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 354368
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21855
/proc/meminfo: memFree=30629704/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=354368 CPUtime=1182.02 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 88007 0 0 0 117944 258 0 0 20 0 1 0 285872950 362872832 87814 33554432000 4194304 8973514 140736524519248 140736524518512 7680094 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 88592 87814 445 1167 0 87373 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 354368
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21855
/proc/meminfo: memFree=30629580/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=354368 CPUtime=1242.01 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 88007 0 0 0 123933 268 0 0 20 0 1 0 285872950 362872832 87814 33554432000 4194304 8973514 140736524519248 140736524518512 6570437 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 88592 87814 445 1167 0 87373 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 354368
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21855
/proc/meminfo: memFree=30629456/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=354368 CPUtime=1302 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 88007 0 0 0 129922 278 0 0 20 0 1 0 285872950 362872832 87814 33554432000 4194304 8973514 140736524519248 140736524518512 6571987 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 88592 87814 445 1167 0 87373 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 354368
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21855
/proc/meminfo: memFree=30607632/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=354368 CPUtime=1362 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 88007 0 0 0 135912 288 0 0 20 0 1 0 285872950 362872832 87814 33554432000 4194304 8973514 140736524519248 140736524518512 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 88592 87814 445 1167 0 87373 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 354368
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21855
/proc/meminfo: memFree=30576328/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=357440 CPUtime=1422 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 88679 0 0 0 141902 298 0 0 20 0 1 0 285872950 366018560 88486 33554432000 4194304 8973514 140736524519248 140736524518512 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 89360 88486 445 1167 0 88141 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 357440
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21856
/proc/meminfo: memFree=30560580/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=368704 CPUtime=1481.98 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91591 0 0 0 147891 307 0 0 20 0 1 0 285872950 377552896 91398 33554432000 4194304 8973514 140736524519248 140736524518512 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 92176 91398 445 1167 0 90957 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 368704
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21856
/proc/meminfo: memFree=30562316/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=368704 CPUtime=1541.98 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91591 0 0 0 153881 317 0 0 20 0 1 0 285872950 377552896 91398 33554432000 4194304 8973514 140736524519248 140736524518512 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 92176 91398 445 1167 0 90957 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 368704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21856
/proc/meminfo: memFree=30562192/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=368704 CPUtime=1601.97 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91591 0 0 0 159867 330 0 0 20 0 1 0 285872950 377552896 91398 33554432000 4194304 8973514 140736524519248 140736524518512 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 92176 91398 445 1167 0 90957 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 368704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21856
/proc/meminfo: memFree=30562488/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=368704 CPUtime=1661.95 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91593 0 0 0 165855 340 0 0 20 0 1 0 285872950 377552896 91398 33554432000 4194304 8973514 140736524519248 140736524518512 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 92176 91398 445 1167 0 90957 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 368704
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21859
/proc/meminfo: memFree=30562208/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=368704 CPUtime=1721.94 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91593 0 0 0 171845 349 0 0 20 0 1 0 285872950 377552896 91398 33554432000 4194304 8973514 140736524519248 140736524518512 4442656 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 92176 91398 445 1167 0 90957 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 368704
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21883
/proc/meminfo: memFree=30604776/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=324672 CPUtime=1781.94 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91593 0 0 0 177831 363 0 0 20 0 1 0 285872950 332464128 80390 33554432000 4194304 8973514 140736524519248 140736524518512 6570455 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 81168 80390 445 1167 0 79949 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 324672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 21884
/proc/meminfo: memFree=31031956/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=324672 CPUtime=1800.03 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91593 0 0 0 179637 366 0 0 20 0 1 0 285872950 332464128 80390 33554432000 4194304 8973514 140736524519248 140736524518744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 81168 80390 445 1167 0 79949 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 324672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 21884
/proc/meminfo: memFree=31031956/32873844 swapFree=7616/7616
[pid=21843] ppid=21841 vsize=324672 CPUtime=1800.03 cores=1,3,5,7
/proc/21843/stat : 21843 (toysat) R 21841 21843 21285 0 -1 4202496 91593 0 0 0 179637 366 0 0 20 0 1 0 285872950 332464128 80390 33554432000 4194304 8973514 140736524519248 140736524518744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21843/statm: 81168 80390 445 1167 0 79949 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 324672
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1796.38
CPU system time (s): 3.67344
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 368704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.38
system time used= 3.67344
maximum resident set size= 365592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91593
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 1849
runsolver used 2.99254 second user time and 10.2434 second system time
The end