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-3725177-1338633345/watcher-3725177-1338633345 -o /tmp/evaluation-result-3725177-1338633345/solver-3725177-1338633345 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725177-1338633345.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.70 3/176 1241
/proc/meminfo: memFree=30947800/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 777 0 0 0 0 0 0 0 20 0 1 0 329460381 6373376 697 33554432000 4194304 8989770 140736317336400 140733484268328 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 1556 697 424 1171 0 333 0
[startup+0.06384 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 1241
/proc/meminfo: memFree=30947800/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=10320 CPUtime=0.05 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 1792 0 0 0 5 0 0 0 20 0 1 0 329460381 10567680 1712 33554432000 4194304 8989770 140736317336400 140733484268328 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 2580 1712 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320
[startup+0.100475 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 1241
/proc/meminfo: memFree=30947800/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 2369 0 0 0 9 0 0 0 20 0 1 0 329460381 12664832 2289 33554432000 4194304 8989770 140736317336400 140733484268328 4656423 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 3092 2289 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.301046 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 1241
/proc/meminfo: memFree=30947800/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=16464 CPUtime=0.29 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 3412 0 0 0 29 0 0 0 20 0 1 0 329460381 16859136 3332 33554432000 4194304 8989770 140736317336400 140733484268328 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 4116 3332 444 1171 0 2893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16464
[startup+0.701033 s]
/proc/loadavg: 2.00 2.00 1.70 3/176 1241
/proc/meminfo: memFree=30947800/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=16464 CPUtime=0.69 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 3412 0 0 0 69 0 0 0 20 0 1 0 329460381 16859136 3332 33554432000 4194304 8989770 140736317336400 140733484268328 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 4116 3332 444 1171 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16464
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 1242
/proc/meminfo: memFree=30935020/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=18512 CPUtime=1.49 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 3729 0 0 0 148 1 0 0 20 0 1 0 329460381 18956288 3649 33554432000 4194304 8989770 140736317336400 140736317335896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 4628 3649 444 1171 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18512
[startup+3.10109 s]
/proc/loadavg: 2.00 2.00 1.70 2/175 1243
/proc/meminfo: memFree=30973756/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=22608 CPUtime=3.09 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 4744 0 0 0 307 2 0 0 20 0 1 0 329460381 23150592 4664 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 5652 4664 473 1171 0 4429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22608
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 1281
/proc/meminfo: memFree=30939608/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=26704 CPUtime=6.28 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 5942 0 0 0 625 3 0 0 20 0 1 0 329460381 27344896 5862 33554432000 4194304 8989770 140736317336400 140736317335664 4213859 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 6676 5873 473 1171 0 5453 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26704
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 1281
/proc/meminfo: memFree=30931792/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=31824 CPUtime=12.67 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 7281 0 0 0 1262 5 0 0 20 0 1 0 329460381 32587776 7201 33554432000 4194304 8989770 140736317336400 140736317335896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 7956 7201 473 1171 0 6733 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31824
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.70 3/177 1281
/proc/meminfo: memFree=30906140/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=42064 CPUtime=25.47 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 9848 0 0 0 2537 10 0 0 20 0 1 0 329460381 43073536 9761 33554432000 4194304 8989770 140736317336400 140736317335896 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 10516 9761 473 1171 0 9293 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 42064
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.71 3/177 1281
/proc/meminfo: memFree=30874364/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=60496 CPUtime=51.06 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 14456 0 0 0 5090 16 0 0 20 0 1 0 329460381 61947904 14369 33554432000 4194304 8989770 140736317336400 140736317335896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 15124 14369 473 1171 0 13901 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 60496
[startup+102.306 s]
/proc/loadavg: 2.08 2.02 1.73 3/177 1282
/proc/meminfo: memFree=30825160/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=86096 CPUtime=102.26 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 20863 0 0 0 10197 29 0 0 20 0 1 0 329460381 88162304 20769 33554432000 4194304 8989770 140736317336400 140736317335664 4209357 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 21524 20769 473 1171 0 20301 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 86096
[startup+162.301 s]
/proc/loadavg: 2.03 2.01 1.74 3/177 1282
/proc/meminfo: memFree=30777748/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=109648 CPUtime=162.23 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 26772 0 0 0 16179 44 0 0 20 0 1 0 329460381 112279552 26657 33554432000 4194304 8989770 140736317336400 140736317335664 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 27412 26657 473 1171 0 26189 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 109648
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/177 1282
/proc/meminfo: memFree=30726844/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=131152 CPUtime=222.22 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 32148 0 0 0 22164 58 0 0 20 0 1 0 329460381 134299648 32033 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 32788 32033 473 1171 0 31565 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 131152
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.77 3/178 1285
/proc/meminfo: memFree=30689520/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=148560 CPUtime=282.21 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 36299 0 0 0 28149 72 0 0 20 0 1 0 329460381 152125440 36181 33554432000 4194304 8989770 140736317336400 140736317335896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 37140 36181 473 1171 0 35917 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 148560
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 1285
/proc/meminfo: memFree=30650668/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=161872 CPUtime=342.18 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 39856 0 0 0 34136 82 0 0 20 0 1 0 329460381 165756928 39713 33554432000 4194304 8989770 140736317336400 140736317335896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 40468 39713 473 1171 0 39245 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 161872
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 1286
/proc/meminfo: memFree=30617668/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=175184 CPUtime=402.18 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 43184 0 0 0 40126 92 0 0 20 0 1 0 329460381 179388416 43041 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 43796 43041 473 1171 0 42573 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 175184
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 1.81 3/177 1286
/proc/meminfo: memFree=30586104/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=186448 CPUtime=462.17 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 46000 0 0 0 46115 102 0 0 20 0 1 0 329460381 190922752 45857 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 46612 45857 473 1171 0 45389 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 186448
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.82 3/177 1286
/proc/meminfo: memFree=30554276/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=196688 CPUtime=522.16 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 48560 0 0 0 52104 112 0 0 20 0 1 0 329460381 201408512 48417 33554432000 4194304 8989770 140736317336400 140736317335664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 49172 48417 473 1171 0 47949 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 196688
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/177 1286
/proc/meminfo: memFree=30541384/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=197712 CPUtime=582.13 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 48642 0 0 0 58090 123 0 0 20 0 1 0 329460381 202457088 48479 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 49428 48479 475 1171 0 48205 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 197712
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 1287
/proc/meminfo: memFree=30472936/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=197712 CPUtime=822.1 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 48642 0 0 0 82047 163 0 0 20 0 1 0 329460381 202457088 48479 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 49428 48479 475 1171 0 48205 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 197712
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 1290
/proc/meminfo: memFree=30458804/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=197712 CPUtime=882.09 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 48642 0 0 0 88036 173 0 0 20 0 1 0 329460381 202457088 48479 33554432000 4194304 8989770 140736317336400 140736317335664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 49428 48479 475 1171 0 48205 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 197712
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 1290
/proc/meminfo: memFree=30444676/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=197712 CPUtime=942.08 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 48642 0 0 0 94027 181 0 0 20 0 1 0 329460381 202457088 48479 33554432000 4194304 8989770 140736317336400 140736317335664 4209136 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 49428 48479 475 1171 0 48205 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 197712
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 1291
/proc/meminfo: memFree=30425332/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=202832 CPUtime=1002.07 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 50118 0 0 0 100016 191 0 0 20 0 1 0 329460381 207699968 49955 33554432000 4194304 8989770 140736317336400 140736317335896 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 50708 49955 475 1171 0 49485 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 202832
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 1291
/proc/meminfo: memFree=30405740/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=211024 CPUtime=1062.06 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 52166 0 0 0 106006 200 0 0 20 0 1 0 329460381 216088576 52003 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 52756 52003 475 1171 0 51533 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 211024
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1291
/proc/meminfo: memFree=30384492/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1122.05 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53446 0 0 0 111996 209 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 216144
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 1291
/proc/meminfo: memFree=30372508/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1182.05 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53446 0 0 0 117986 219 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 216144
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 1291
/proc/meminfo: memFree=30359612/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1242.03 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53446 0 0 0 123972 231 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 216144
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 1291
/proc/meminfo: memFree=30345032/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1302.03 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53454 0 0 0 129960 243 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 7688475 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 216144
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 1292
/proc/meminfo: memFree=30333244/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1362.01 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53454 0 0 0 135948 253 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 216144
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1292
/proc/meminfo: memFree=30319852/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1422.01 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53454 0 0 0 141939 262 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 216144
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 1295
/proc/meminfo: memFree=30304480/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1481.99 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53454 0 0 0 147927 272 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 216144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 1318
/proc/meminfo: memFree=30291884/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=216144 CPUtime=1541.98 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 53454 0 0 0 153918 280 0 0 20 0 1 0 329460381 221331456 53283 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 54036 53283 475 1171 0 52813 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 216144
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1318
/proc/meminfo: memFree=30272108/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=224336 CPUtime=1601.98 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 55502 0 0 0 159909 289 0 0 20 0 1 0 329460381 229720064 55331 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 56084 55331 475 1171 0 54861 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 224336
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 1319
/proc/meminfo: memFree=30261072/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=224336 CPUtime=1661.97 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 55502 0 0 0 165899 298 0 0 20 0 1 0 329460381 229720064 55331 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 56084 55331 475 1171 0 54861 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 224336
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 1319
/proc/meminfo: memFree=30251772/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=224336 CPUtime=1721.96 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 55502 0 0 0 171889 307 0 0 20 0 1 0 329460381 229720064 55331 33554432000 4194304 8989770 140736317336400 140736317335664 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 56084 55331 475 1171 0 54861 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 224336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1319
/proc/meminfo: memFree=30244076/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=224336 CPUtime=1781.95 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 55503 0 0 0 177878 317 0 0 20 0 1 0 329460381 229720064 55331 33554432000 4194304 8989770 140736317336400 140736317335664 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 56084 55331 475 1171 0 54861 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 224336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 1319
/proc/meminfo: memFree=30238992/32873648 swapFree=6860/6860
[pid=1241] ppid=1239 vsize=224336 CPUtime=1800.05 cores=0,2,4,6
/proc/1241/stat : 1241 (toysat) R 1239 1241 986 0 -1 4202496 55503 0 0 0 179684 321 0 0 20 0 1 0 329460381 229720064 55331 33554432000 4194304 8989770 140736317336400 140736317335664 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/1241/statm: 56084 55331 475 1171 0 54861 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 224336
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.07
CPU user time (s): 1796.85
CPU system time (s): 3.21351
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 224336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.85
system time used= 3.21351
maximum resident set size= 221324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55503
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= 103
involuntary context switches= 2842
runsolver used 3.2605 second user time and 9.09462 second system time
The end