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-3725116-1338631719/watcher-3725116-1338631719 -o /tmp/evaluation-result-3725116-1338631719/solver-3725116-1338631719 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725116-1338631719.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: 1.94 0.96 0.37 3/176 16307
/proc/meminfo: memFree=27156328/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 329300462 6373376 747 33554432000 4194304 8989770 140734174799568 140734174799064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 1556 747 425 1171 0 333 0
[startup+0.017843 s]
/proc/loadavg: 1.94 0.96 0.37 3/176 16307
/proc/meminfo: memFree=27156328/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=8272 CPUtime=0.01 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 1107 0 0 0 1 0 0 0 20 0 1 0 329300462 8470528 1028 33554432000 4194304 8989770 140734174799568 140734174799064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 2068 1028 430 1171 0 845 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8272
[startup+0.100225 s]
/proc/loadavg: 1.94 0.96 0.37 3/176 16307
/proc/meminfo: memFree=27156328/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=11344 CPUtime=0.09 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 1917 0 0 0 9 0 0 0 20 0 1 0 329300462 11616256 1838 33554432000 4194304 8989770 140734174799568 140734174799064 4494080 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 2836 1838 441 1171 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11344
[startup+0.300209 s]
/proc/loadavg: 1.94 0.96 0.37 3/176 16307
/proc/meminfo: memFree=27156328/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=11344 CPUtime=0.29 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 1918 0 0 0 29 0 0 0 20 0 1 0 329300462 11616256 1839 33554432000 4194304 8989770 140734174799568 140734174799064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 2836 1839 441 1171 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11344
[startup+0.700326 s]
/proc/loadavg: 1.94 0.96 0.37 3/176 16307
/proc/meminfo: memFree=27156328/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=15440 CPUtime=0.69 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 3183 0 0 0 68 1 0 0 20 0 1 0 329300462 15810560 3104 33554432000 4194304 8989770 140734174799568 140734174799064 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 3860 3104 470 1171 0 2637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15440
[startup+1.50033 s]
/proc/loadavg: 1.94 0.96 0.37 3/177 16308
/proc/meminfo: memFree=27144896/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=18512 CPUtime=1.49 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 3951 0 0 0 148 1 0 0 20 0 1 0 329300462 18956288 3872 33554432000 4194304 8989770 140734174799568 140734174799064 4209174 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 4628 3872 470 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512
[startup+3.10032 s]
/proc/loadavg: 1.94 0.96 0.37 3/177 16308
/proc/meminfo: memFree=27140432/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=25680 CPUtime=3.09 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 5743 0 0 0 308 1 0 0 20 0 1 0 329300462 26296320 5664 33554432000 4194304 8989770 140734174799568 140734174798832 4204741 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 6420 5664 470 1171 0 5197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25680
[startup+6.30034 s]
/proc/loadavg: 1.95 0.98 0.38 3/177 16308
/proc/meminfo: memFree=27122708/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=40016 CPUtime=6.29 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 9327 0 0 0 627 2 0 0 20 0 1 0 329300462 40976384 9248 33554432000 4194304 8989770 140734174799568 140734174799064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 10004 9248 470 1171 0 8781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40016
[startup+12.7003 s]
/proc/loadavg: 1.95 1.00 0.39 3/177 16308
/proc/meminfo: memFree=27096184/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=64592 CPUtime=12.68 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 15476 0 0 0 1263 5 0 0 20 0 1 0 329300462 66142208 15392 33554432000 4194304 8989770 140734174799568 140734174799064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 16148 15392 470 1171 0 14925 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64592
[startup+25.5004 s]
/proc/loadavg: 1.96 1.05 0.42 3/177 16308
/proc/meminfo: memFree=27051776/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=107600 CPUtime=25.47 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 26234 0 0 0 2538 9 0 0 20 0 1 0 329300462 110182400 26144 33554432000 4194304 8989770 140734174799568 140734174798672 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 26900 26144 470 1171 0 25677 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 107600
[startup+51.1003 s]
/proc/loadavg: 1.97 1.12 0.46 3/177 16308
/proc/meminfo: memFree=27013056/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=147536 CPUtime=51.05 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 36005 0 0 0 5086 19 0 0 20 0 1 0 329300462 151076864 35892 33554432000 4194304 8989770 140734174799568 140734174798832 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 36884 35892 472 1171 0 35661 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 147536
[startup+102.307 s]
/proc/loadavg: 1.99 1.25 0.54 3/178 16311
/proc/meminfo: memFree=26980776/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=181328 CPUtime=102.21 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 44564 0 0 0 10190 31 0 0 20 0 1 0 329300462 185679872 44412 33554432000 4194304 8989770 140734174799568 140734174798832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 45332 44412 472 1171 0 44109 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 181328
[startup+162.3 s]
/proc/loadavg: 1.99 1.39 0.62 3/177 16311
/proc/meminfo: memFree=26958132/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=199760 CPUtime=162.19 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 49208 0 0 0 16177 42 0 0 20 0 1 0 329300462 204554240 49052 33554432000 4194304 8989770 140734174799568 140734174799064 4457841 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 49940 49052 472 1171 0 48717 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 199760
[startup+222.3 s]
/proc/loadavg: 1.99 1.50 0.71 3/177 16311
/proc/meminfo: memFree=26958380/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=199760 CPUtime=222.18 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 49208 0 0 0 22165 53 0 0 20 0 1 0 329300462 204554240 49052 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 49940 49052 472 1171 0 48717 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 199760
[startup+282.3 s]
/proc/loadavg: 1.99 1.58 0.78 3/177 16312
/proc/meminfo: memFree=26921496/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=236624 CPUtime=282.16 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 58349 0 0 0 28151 65 0 0 20 0 1 0 329300462 242302976 58172 33554432000 4194304 8989770 140734174799568 140734174798832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 59156 58172 472 1171 0 57933 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 236624
[startup+342.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/176 16312
/proc/meminfo: memFree=26913144/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=244816 CPUtime=342.14 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 60627 0 0 0 34141 73 0 0 20 0 1 0 329300462 250691584 60450 33554432000 4194304 8989770 140734174799568 140734174799064 7732241 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 61204 60450 472 1171 0 59981 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 244816
[startup+402.3 s]
/proc/loadavg: 1.99 1.72 0.93 3/177 16313
/proc/meminfo: memFree=26912764/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=244816 CPUtime=402.13 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 60627 0 0 0 40133 80 0 0 20 0 1 0 329300462 250691584 60450 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 61204 60450 472 1171 0 59981 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 244816
[startup+462.3 s]
/proc/loadavg: 1.99 1.77 0.99 3/177 16313
/proc/meminfo: memFree=26877868/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=277584 CPUtime=462.12 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 68786 0 0 0 46121 91 0 0 20 0 1 0 329300462 284246016 68595 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 69396 68595 472 1171 0 68173 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 277584
[startup+522.3 s]
/proc/loadavg: 1.99 1.81 1.05 3/177 16313
/proc/meminfo: memFree=26879980/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=277584 CPUtime=522.11 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 68786 0 0 0 52112 99 0 0 20 0 1 0 329300462 284246016 68595 33554432000 4194304 8989770 140734174799568 140734174799064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 69396 68595 472 1171 0 68173 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 277584
[startup+582.3 s]
/proc/loadavg: 1.99 1.84 1.11 3/177 16314
/proc/meminfo: memFree=26844888/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=309328 CPUtime=582.1 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 76741 0 0 0 58099 111 0 0 20 0 1 0 329300462 316751872 76550 33554432000 4194304 8989770 140734174799568 140734174798832 4213855 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 77332 76550 472 1171 0 76109 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 309328
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.92 1.30 3/177 16317
/proc/meminfo: memFree=26834560/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=822.05 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80334 0 0 0 82055 150 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174799064 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 322640
[startup+882.3 s]
/proc/loadavg: 2.03 1.94 1.35 3/177 16318
/proc/meminfo: memFree=26830688/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=882.04 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 88045 159 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174799064 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 322640
[startup+942.3 s]
/proc/loadavg: 2.01 1.95 1.38 3/177 16318
/proc/meminfo: memFree=26830752/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=942.03 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 94035 168 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174799064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 322640
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/177 16318
/proc/meminfo: memFree=26829268/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=1002.02 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 100024 178 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 322640
[startup+1062.3 s]
/proc/loadavg: 2.04 1.97 1.46 3/177 16318
/proc/meminfo: memFree=26828212/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=1062.01 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 106015 186 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174798832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 322640
[startup+1122.3 s]
/proc/loadavg: 2.15 2.01 1.50 3/177 16318
/proc/meminfo: memFree=26830680/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=1122.01 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 112006 195 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 322640
[startup+1182.3 s]
/proc/loadavg: 2.10 2.02 1.53 3/177 16319
/proc/meminfo: memFree=26827088/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=1181.99 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 117997 202 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 322640
[startup+1242.3 s]
/proc/loadavg: 2.14 2.04 1.57 3/177 16319
/proc/meminfo: memFree=26827960/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=1241.98 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 123986 212 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174798832 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 322640
[startup+1302.3 s]
/proc/loadavg: 2.12 2.06 1.60 3/178 16322
/proc/meminfo: memFree=26822052/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=1301.98 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 129977 221 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174798832 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 322640
[startup+1362.3 s]
/proc/loadavg: 2.08 2.06 1.63 3/177 16322
/proc/meminfo: memFree=26823120/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=322640 CPUtime=1361.97 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 80337 0 0 0 135969 228 0 0 20 0 1 0 329300462 330383360 79906 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 80660 79906 472 1171 0 79437 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 322640
[startup+1422.31 s]
/proc/loadavg: 2.03 2.05 1.65 3/177 16322
/proc/meminfo: memFree=26821140/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=328784 CPUtime=1421.97 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 81705 0 0 0 141961 236 0 0 20 0 1 0 329300462 336674816 81274 33554432000 4194304 8989770 140734174799568 140734174798832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 82196 81274 472 1171 0 80973 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 328784
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 1.67 3/176 16322
/proc/meminfo: memFree=26820464/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=328784 CPUtime=1481.95 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 81705 0 0 0 147952 243 0 0 20 0 1 0 329300462 336674816 81274 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 82196 81274 472 1171 0 80973 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 328784
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 1.69 3/177 16323
/proc/meminfo: memFree=26817396/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=328784 CPUtime=1541.94 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 81705 0 0 0 153946 248 0 0 20 0 1 0 329300462 336674816 81274 33554432000 4194304 8989770 140734174799568 140734174798832 7676366 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 82196 81274 472 1171 0 80973 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 328784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.70 3/178 16324
/proc/meminfo: memFree=26819496/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=328784 CPUtime=1601.93 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 81705 0 0 0 159937 256 0 0 20 0 1 0 329300462 336674816 81274 33554432000 4194304 8989770 140734174799568 140734174798832 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 82196 81274 472 1171 0 80973 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 328784
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.72 3/177 16401
/proc/meminfo: memFree=26830752/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=344144 CPUtime=1661.92 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 85713 0 0 0 165926 266 0 0 20 0 1 0 329300462 352403456 85282 33554432000 4194304 8989770 140734174799568 140734174798832 4458032 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 86036 85282 472 1171 0 84813 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 344144
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.74 3/177 16401
/proc/meminfo: memFree=26829676/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=344144 CPUtime=1721.91 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 85715 0 0 0 171917 274 0 0 20 0 1 0 329300462 352403456 85282 33554432000 4194304 8989770 140734174799568 140734174798832 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 86036 85282 472 1171 0 84813 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 344144
[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.75 3/177 16401
/proc/meminfo: memFree=26828188/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=344144 CPUtime=1781.91 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 85715 0 0 0 177909 282 0 0 20 0 1 0 329300462 352403456 85282 33554432000 4194304 8989770 140734174799568 140734174798832 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 86036 85282 472 1171 0 84813 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 344144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 1.76 3/177 16402
/proc/meminfo: memFree=26827196/32873844 swapFree=7628/7628
[pid=16307] ppid=16305 vsize=344144 CPUtime=1800 cores=1,3,5,7
/proc/16307/stat : 16307 (toysat) R 16305 16307 15996 0 -1 4202496 85715 0 0 0 179716 284 0 0 20 0 1 0 329300462 352403456 85282 33554432000 4194304 8989770 140734174799568 140734174799064 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16307/statm: 86036 85282 472 1171 0 84813 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 344144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1797.17
CPU system time (s): 2.84857
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 344144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.17
system time used= 2.84857
maximum resident set size= 341128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85715
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= 129
involuntary context switches= 1848
runsolver used 3.99039 second user time and 9.59554 second system time
The end