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-3725643-1338638783/watcher-3725643-1338638783 -o /tmp/evaluation-result-3725643-1338638783/solver-3725643-1338638783 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725643-1338638783.opb
running on 4 cores: 0,2,4,6
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.00 2.00 1.98 3/176 31314
/proc/meminfo: memFree=29164164/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 831 0 0 0 0 0 0 0 20 0 1 0 330002733 6373376 751 33554432000 4194304 8989770 140737391154528 140737391137544 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 1556 751 428 1171 0 333 0
[startup+0.103839 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31314
/proc/meminfo: memFree=29164164/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=13392 CPUtime=0.09 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 2562 0 0 0 9 0 0 0 20 0 1 0 330002733 13713408 2482 33554432000 4194304 8989770 140737391154528 140737391137544 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 3348 2482 430 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.200325 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31314
/proc/meminfo: memFree=29164164/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=19536 CPUtime=0.19 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 4133 0 0 0 19 0 0 0 20 0 1 0 330002733 20004864 4053 33554432000 4194304 8989770 140737391154528 140737391137544 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 4884 4053 430 1171 0 3661 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19536
[startup+0.300324 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31314
/proc/meminfo: memFree=29164164/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=23632 CPUtime=0.29 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 5186 0 0 0 29 0 0 0 20 0 1 0 330002733 24199168 5106 33554432000 4194304 8989770 140737391154528 140737391137544 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 5908 5106 430 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632
[startup+0.700295 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 31314
/proc/meminfo: memFree=29164164/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=61520 CPUtime=0.69 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 14585 0 0 0 68 1 0 0 20 0 1 0 330002733 62996480 14505 33554432000 4194304 8989770 140737391154528 140737391154024 4209595 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 15380 14510 441 1171 0 14157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61520
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31315
/proc/meminfo: memFree=29033856/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=135248 CPUtime=1.49 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 33107 0 0 0 145 4 0 0 20 0 1 0 330002733 138493952 33027 33554432000 4194304 8989770 140737391154528 140737391153792 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 33812 33027 442 1171 0 32589 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135248
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31315
/proc/meminfo: memFree=28937360/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=230480 CPUtime=3.08 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 56953 0 0 0 301 7 0 0 20 0 1 0 330002733 236011520 56870 33554432000 4194304 8989770 140737391154528 140737391153792 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 57620 56870 471 1171 0 56397 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 230480
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31315
/proc/meminfo: memFree=28864324/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=303184 CPUtime=6.29 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 75129 0 0 0 618 11 0 0 20 0 1 0 330002733 310460416 75046 33554432000 4194304 8989770 140737391154528 140737391154024 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 75796 75046 471 1171 0 74573 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 303184
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28841488/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=307280 CPUtime=12.68 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 76154 0 0 0 1257 11 0 0 20 0 1 0 330002733 314654720 76070 33554432000 4194304 8989770 140737391154528 140737391154024 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 76820 76070 471 1171 0 75597 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 307280
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28834064/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=307280 CPUtime=25.47 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 76162 0 0 0 2535 12 0 0 20 0 1 0 330002733 314654720 76070 33554432000 4194304 8989770 140737391154528 140737391154024 4205079 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 76820 76070 471 1171 0 75597 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 307280
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28825476/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=309328 CPUtime=51.07 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 76683 0 0 0 5092 15 0 0 20 0 1 0 330002733 316751872 76582 33554432000 4194304 8989770 140737391154528 140737391153792 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 77332 76582 471 1171 0 76109 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 309328
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28809384/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=309328 CPUtime=102.26 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 76696 0 0 0 10207 19 0 0 20 0 1 0 330002733 316751872 76582 33554432000 4194304 8989770 140737391154528 140737391152448 4204270 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 77332 76582 471 1171 0 76109 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 309328
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31353
/proc/meminfo: memFree=28786116/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=316496 CPUtime=162.22 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 78513 0 0 0 16196 26 0 0 20 0 1 0 330002733 324091904 78374 33554432000 4194304 8989770 140737391154528 140737391154024 6587913 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 79124 78374 471 1171 0 77901 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 316496
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 31357
/proc/meminfo: memFree=28772908/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=316496 CPUtime=222.21 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 78529 0 0 0 22190 31 0 0 20 0 1 0 330002733 324091904 78374 33554432000 4194304 8989770 140737391154528 140737391153792 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 79124 78374 471 1171 0 77901 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 316496
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 31357
/proc/meminfo: memFree=28772904/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=317520 CPUtime=282.2 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 78785 0 0 0 28184 36 0 0 20 0 1 0 330002733 325140480 78630 33554432000 4194304 8989770 140737391154528 140737391154024 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 79380 78630 471 1171 0 78157 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 317520
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 31357
/proc/meminfo: memFree=28760132/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=320592 CPUtime=342.19 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 79553 0 0 0 34178 41 0 0 20 0 1 0 330002733 328286208 79398 33554432000 4194304 8989770 140737391154528 140737391153792 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 80148 79398 471 1171 0 78925 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 320592
[startup+402.3 s]
/proc/loadavg: 2.10 2.04 1.99 3/177 31357
/proc/meminfo: memFree=28758212/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=320592 CPUtime=402.17 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 79553 0 0 0 40170 47 0 0 20 0 1 0 330002733 328286208 79398 33554432000 4194304 8989770 140737391154528 140737391154024 4354471 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 80148 79398 471 1171 0 78925 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 320592
[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 31357
/proc/meminfo: memFree=28758332/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=320592 CPUtime=462.17 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 79553 0 0 0 46164 53 0 0 20 0 1 0 330002733 328286208 79398 33554432000 4194304 8989770 140737391154528 140737391154024 7696119 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 80148 79398 471 1171 0 78925 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 320592
[startup+522.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/176 31358
/proc/meminfo: memFree=28757952/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=320592 CPUtime=522.16 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 79553 0 0 0 52156 60 0 0 20 0 1 0 330002733 328286208 79398 33554432000 4194304 8989770 140737391154528 140737391153792 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 80148 79398 471 1171 0 78925 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 320592
[startup+582.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 31359
/proc/meminfo: memFree=28755588/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=322640 CPUtime=582.15 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 80065 0 0 0 58150 65 0 0 20 0 1 0 330002733 330383360 79910 33554432000 4194304 8989770 140737391154528 140737391154024 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 80660 79910 471 1171 0 79437 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 322640
[startup+642.3 s]
################
# More data... #
################
[startup+882.306 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 31363
/proc/meminfo: memFree=28740884/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=326736 CPUtime=882.11 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 81089 0 0 0 88118 93 0 0 20 0 1 0 330002733 334577664 80934 33554432000 4194304 8989770 140737391154528 140737391154024 6587816 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 81684 80934 471 1171 0 80461 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 326736
[startup+942.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 31363
/proc/meminfo: memFree=28738776/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=326736 CPUtime=942.09 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 81089 0 0 0 94110 99 0 0 20 0 1 0 330002733 334577664 80934 33554432000 4194304 8989770 140737391154528 140737391154024 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 81684 80934 471 1171 0 80461 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 326736
[startup+1002.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 31363
/proc/meminfo: memFree=28738284/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=327760 CPUtime=1002.09 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 81345 0 0 0 100104 105 0 0 20 0 1 0 330002733 335626240 81190 33554432000 4194304 8989770 140737391154528 140737391154024 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 81940 81190 471 1171 0 80717 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 327760
[startup+1062.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 31363
/proc/meminfo: memFree=28738144/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=327760 CPUtime=1062.07 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 81345 0 0 0 106098 109 0 0 20 0 1 0 330002733 335626240 81190 33554432000 4194304 8989770 140737391154528 140737391153792 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 81940 81190 471 1171 0 80717 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 327760
[startup+1122.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 31364
/proc/meminfo: memFree=28731448/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=333904 CPUtime=1122.06 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 82881 0 0 0 112091 115 0 0 20 0 1 0 330002733 341917696 82726 33554432000 4194304 8989770 140737391154528 140737391152448 4209336 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 83476 82726 471 1171 0 82253 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 333904
[startup+1182.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 31364
/proc/meminfo: memFree=28727668/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=333904 CPUtime=1182.06 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 82881 0 0 0 118085 121 0 0 20 0 1 0 330002733 341917696 82726 33554432000 4194304 8989770 140737391154528 140737391154024 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 83476 82726 471 1171 0 82253 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 333904
[startup+1242.3 s]
/proc/loadavg: 2.06 2.07 2.00 3/177 31364
/proc/meminfo: memFree=28727420/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=333904 CPUtime=1242.05 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 82881 0 0 0 124079 126 0 0 20 0 1 0 330002733 341917696 82726 33554432000 4194304 8989770 140737391154528 140737391154024 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 83476 82726 471 1171 0 82253 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 333904
[startup+1302.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/177 31364
/proc/meminfo: memFree=28718424/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=334928 CPUtime=1302.04 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 83137 0 0 0 130073 131 0 0 20 0 1 0 330002733 342966272 82982 33554432000 4194304 8989770 140737391154528 140737391154024 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 83732 82982 471 1171 0 82509 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 334928
[startup+1362.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 31364
/proc/meminfo: memFree=28717168/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=335952 CPUtime=1362.04 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 83393 0 0 0 136066 138 0 0 20 0 1 0 330002733 344014848 83238 33554432000 4194304 8989770 140737391154528 140737391154024 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 83988 83238 471 1171 0 82765 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 335952
[startup+1422.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/178 31368
/proc/meminfo: memFree=28715408/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=338000 CPUtime=1422.03 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 83905 0 0 0 142061 142 0 0 20 0 1 0 330002733 346112000 83750 33554432000 4194304 8989770 140737391154528 140737391154024 6587776 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 84500 83750 471 1171 0 83277 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 338000
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 31368
/proc/meminfo: memFree=28701668/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=340048 CPUtime=1482.01 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 84417 0 0 0 148054 147 0 0 20 0 1 0 330002733 348209152 84262 33554432000 4194304 8989770 140737391154528 140737391153792 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 85012 84262 471 1171 0 83789 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 340048
[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 31368
/proc/meminfo: memFree=28705820/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=340048 CPUtime=1542.01 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 84420 0 0 0 154048 153 0 0 20 0 1 0 330002733 348209152 84262 33554432000 4194304 8989770 140737391154528 140737391153792 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 85012 84262 471 1171 0 83789 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 340048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31368
/proc/meminfo: memFree=28705820/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=340048 CPUtime=1601.99 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 84420 0 0 0 160040 159 0 0 20 0 1 0 330002733 348209152 84262 33554432000 4194304 8989770 140737391154528 140737391152448 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 85012 84262 471 1171 0 83789 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 340048
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31368
/proc/meminfo: memFree=28697128/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=344144 CPUtime=1661.99 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 85444 0 0 0 166032 167 0 0 20 0 1 0 330002733 352403456 85286 33554432000 4194304 8989770 140737391154528 140737391154024 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 86036 85286 471 1171 0 84813 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 344144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 31370
/proc/meminfo: memFree=28693896/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=347216 CPUtime=1721.97 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 86212 0 0 0 172025 172 0 0 20 0 1 0 330002733 355549184 86054 33554432000 4194304 8989770 140737391154528 140737391153792 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 86804 86054 471 1171 0 85581 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 347216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31370
/proc/meminfo: memFree=28692168/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=347216 CPUtime=1781.96 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 86212 0 0 0 178018 178 0 0 20 0 1 0 330002733 355549184 86054 33554432000 4194304 8989770 140737391154528 140737391154024 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 86804 86054 471 1171 0 85581 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 347216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31370
/proc/meminfo: memFree=28687084/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=347216 CPUtime=1800.07 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 86212 0 0 0 179827 180 0 0 20 0 1 0 330002733 355549184 86054 33554432000 4194304 8989770 140737391154528 140737391154024 4209344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 86804 86054 471 1171 0 85581 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 347216
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.01 2.00 3/177 31370
/proc/meminfo: memFree=28687084/32873844 swapFree=7644/7644
[pid=31314] ppid=31312 vsize=347216 CPUtime=1800.07 cores=0,2,4,6
/proc/31314/stat : 31314 (toysat) R 31312 31314 30509 0 -1 4202496 86212 0 0 0 179827 180 0 0 20 0 1 0 330002733 355549184 86054 33554432000 4194304 8989770 140737391154528 140737391154024 4209344 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31314/statm: 86804 86054 471 1171 0 85581 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 347216
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.27
CPU system time (s): 1.80872
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 347216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.27
system time used= 1.80872
maximum resident set size= 344216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86212
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= 84
involuntary context switches= 1869
runsolver used 3.17252 second user time and 9.13461 second system time
The end