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-3724762-1338646254/watcher-3724762-1338646254 -o /tmp/evaluation-result-3724762-1338646254/solver-3724762-1338646254 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724762-1338646254.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.92 1.98 1.99 3/179 3170
/proc/meminfo: memFree=28762428/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 330750176 6373376 746 33554432000 4194304 8989770 140734832875632 140734428323480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 1556 746 425 1171 0 333 0
[startup+0.072714 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 3170
/proc/meminfo: memFree=28762428/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=12368 CPUtime=0.06 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 2349 0 0 0 6 0 0 0 20 0 1 0 330750176 12664832 2269 33554432000 4194304 8989770 140734832875632 140734428323480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 3092 2269 427 1171 0 1869 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12368
[startup+0.100343 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 3170
/proc/meminfo: memFree=28762428/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=14416 CPUtime=0.09 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 2877 0 0 0 9 0 0 0 20 0 1 0 330750176 14761984 2797 33554432000 4194304 8989770 140734832875632 140734428323480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 3604 2797 427 1171 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14416
[startup+0.3003 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 3170
/proc/meminfo: memFree=28762428/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=25680 CPUtime=0.29 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 5551 0 0 0 28 1 0 0 20 0 1 0 330750176 26296320 5471 33554432000 4194304 8989770 140734832875632 140734428323480 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 6420 5479 431 1171 0 5197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25680
[startup+0.700295 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 3170
/proc/meminfo: memFree=28762428/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=46160 CPUtime=0.69 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 10817 0 0 0 66 3 0 0 20 0 1 0 330750176 47267840 10737 33554432000 4194304 8989770 140734832875632 140734428323480 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 11540 10737 431 1171 0 10317 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46160
[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 3171
/proc/meminfo: memFree=28691128/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=96336 CPUtime=1.48 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 23379 0 0 0 143 5 0 0 20 0 1 0 330750176 98648064 23299 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 24084 23299 443 1171 0 22861 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 96336
[startup+3.1002 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 3171
/proc/meminfo: memFree=28663096/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=103504 CPUtime=3.09 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 25175 0 0 0 303 6 0 0 20 0 1 0 330750176 105988096 25095 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 25876 25095 447 1171 0 24653 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103504
[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 3171
/proc/meminfo: memFree=28661112/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=105552 CPUtime=6.28 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 25687 0 0 0 621 7 0 0 20 0 1 0 330750176 108085248 25607 33554432000 4194304 8989770 140734832875632 140734832874736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 26388 25607 447 1171 0 25165 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 105552
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 3171
/proc/meminfo: memFree=28660764/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=105552 CPUtime=12.69 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 25687 0 0 0 1260 9 0 0 20 0 1 0 330750176 108085248 25607 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 26388 25607 447 1171 0 25165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105552
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 3171
/proc/meminfo: memFree=28661260/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=105552 CPUtime=25.48 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 25688 0 0 0 2534 14 0 0 20 0 1 0 330750176 108085248 25608 33554432000 4194304 8989770 140734832875632 140734832874896 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 26388 25608 447 1171 0 25165 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105552
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 3171
/proc/meminfo: memFree=28661244/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=105552 CPUtime=51.08 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 25688 0 0 0 5085 23 0 0 20 0 1 0 330750176 108085248 25608 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 26388 25608 447 1171 0 25165 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 105552
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 3172
/proc/meminfo: memFree=28646596/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=119888 CPUtime=102.27 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 29303 0 0 0 10190 37 0 0 20 0 1 0 330750176 122765312 29212 33554432000 4194304 8989770 140734832875632 140734832873600 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 29972 29212 462 1171 0 28749 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 119888
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 3172
/proc/meminfo: memFree=28628324/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=138320 CPUtime=162.25 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 33924 0 0 0 16177 48 0 0 20 0 1 0 330750176 141639680 33831 33554432000 4194304 8989770 140734832875632 140734832874896 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 34580 33831 473 1171 0 33357 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 138320
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 3172
/proc/meminfo: memFree=28615180/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=146512 CPUtime=222.24 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 35972 0 0 0 22163 61 0 0 20 0 1 0 330750176 150028288 35879 33554432000 4194304 8989770 140734832875632 140734832874896 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 36628 35879 473 1171 0 35405 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 146512
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 3172
/proc/meminfo: memFree=28609032/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=146512 CPUtime=282.23 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 35972 0 0 0 28150 73 0 0 20 0 1 0 330750176 150028288 35879 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 36628 35879 473 1171 0 35405 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 146512
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 3172
/proc/meminfo: memFree=28599732/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=152656 CPUtime=342.22 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 37508 0 0 0 34137 85 0 0 20 0 1 0 330750176 156319744 37415 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 38164 37415 473 1171 0 36941 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 152656
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 3173
/proc/meminfo: memFree=28597664/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=154704 CPUtime=402.22 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38026 0 0 0 40123 99 0 0 20 0 1 0 330750176 158416896 37927 33554432000 4194304 8989770 140734832875632 140734832875128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 38676 37927 473 1171 0 37453 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 154704
[startup+462.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 3173
/proc/meminfo: memFree=28597416/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=154704 CPUtime=462.21 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38026 0 0 0 46108 113 0 0 20 0 1 0 330750176 158416896 37927 33554432000 4194304 8989770 140734832875632 140734832873600 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 38676 37927 473 1171 0 37453 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 154704
[startup+522.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 3212
/proc/meminfo: memFree=27693916/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=154704 CPUtime=522.2 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38026 0 0 0 52092 128 0 0 20 0 1 0 330750176 158416896 37927 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 38676 37927 473 1171 0 37453 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 154704
[startup+582.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/180 3215
/proc/meminfo: memFree=27693040/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=154704 CPUtime=582.19 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38026 0 0 0 58079 140 0 0 20 0 1 0 330750176 158416896 37927 33554432000 4194304 8989770 140734832875632 140734832874896 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 38676 37927 473 1171 0 37453 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 154704
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3216
/proc/meminfo: memFree=27692756/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=154704 CPUtime=882.15 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38026 0 0 0 88003 212 0 0 20 0 1 0 330750176 158416896 37927 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 38676 37927 473 1171 0 37453 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 154704
[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 3216
/proc/meminfo: memFree=27692784/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=154704 CPUtime=942.13 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38026 0 0 0 93988 225 0 0 20 0 1 0 330750176 158416896 37927 33554432000 4194304 8989770 140734832875632 140734832874896 4213900 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 38676 37927 473 1171 0 37453 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 154704
[startup+1002.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 3217
/proc/meminfo: memFree=27690704/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=156752 CPUtime=1002.13 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38538 0 0 0 99974 239 0 0 20 0 1 0 330750176 160514048 38439 33554432000 4194304 8989770 140734832875632 140734832875128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 39188 38439 473 1171 0 37965 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 156752
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 3217
/proc/meminfo: memFree=27690856/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=156752 CPUtime=1062.12 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38538 0 0 0 105961 251 0 0 20 0 1 0 330750176 160514048 38439 33554432000 4194304 8989770 140734832875632 140734832873600 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 39188 38439 473 1171 0 37965 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 156752
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3217
/proc/meminfo: memFree=27690884/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=156752 CPUtime=1122.11 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 38538 0 0 0 111946 265 0 0 20 0 1 0 330750176 160514048 38439 33554432000 4194304 8989770 140734832875632 140734832873600 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 39188 38439 473 1171 0 37965 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 156752
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 3220
/proc/meminfo: memFree=27686688/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=160848 CPUtime=1182.09 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 39562 0 0 0 117931 278 0 0 20 0 1 0 330750176 164708352 39463 33554432000 4194304 8989770 140734832875632 140734832875128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 40212 39463 473 1171 0 38989 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 160848
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 3220
/proc/meminfo: memFree=27680152/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=168016 CPUtime=1242.09 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 41354 0 0 0 123916 293 0 0 20 0 1 0 330750176 172048384 41255 33554432000 4194304 8989770 140734832875632 140734832874896 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 42004 41255 473 1171 0 40781 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 168016
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3221
/proc/meminfo: memFree=27652424/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1302.09 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48010 0 0 0 129901 308 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832873600 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 194640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3221
/proc/meminfo: memFree=27652204/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1362.07 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48014 0 0 0 135886 321 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832875128 4208818 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 194640
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3221
/proc/meminfo: memFree=27653384/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1422.07 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48014 0 0 0 141872 335 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832874896 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 194640
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 3223
/proc/meminfo: memFree=27652872/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1482.05 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48014 0 0 0 147857 348 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832875128 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 194640
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 3223
/proc/meminfo: memFree=27652880/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1542.05 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48014 0 0 0 153843 362 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832873600 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 194640
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 3224
/proc/meminfo: memFree=27652880/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1602.03 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48014 0 0 0 159830 373 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832875128 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 194640
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 3224
/proc/meminfo: memFree=27652632/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1662.02 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48014 0 0 0 165812 390 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832873600 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 194640
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 3224
/proc/meminfo: memFree=27652880/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=194640 CPUtime=1722.01 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 48014 0 0 0 171797 404 0 0 20 0 1 0 330750176 199311360 47911 33554432000 4194304 8989770 140734832875632 140734832874896 4208855 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 48660 47911 473 1171 0 47437 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 194640
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 3227
/proc/meminfo: memFree=27647788/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=199760 CPUtime=1782 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 49294 0 0 0 177781 419 0 0 20 0 1 0 330750176 204554240 49191 33554432000 4194304 8989770 140734832875632 140734832874896 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 49940 49191 473 1171 0 48717 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 199760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 3227
/proc/meminfo: memFree=27645804/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=201808 CPUtime=1800.01 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 49806 0 0 0 179578 423 0 0 20 0 1 0 330750176 206651392 49703 33554432000 4194304 8989770 140734832875632 140734832875128 4204256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 50452 49703 473 1171 0 49229 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 201808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 3227
/proc/meminfo: memFree=27645804/32873844 swapFree=7380/7380
[pid=3170] ppid=3168 vsize=201808 CPUtime=1800.01 cores=1,3,5,7
/proc/3170/stat : 3170 (toysat) R 3168 3170 2131 0 -1 4202496 49806 0 0 0 179578 423 0 0 20 0 1 0 330750176 206651392 49703 33554432000 4194304 8989770 140734832875632 140734832875128 4204256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3170/statm: 50452 49703 473 1171 0 49229 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 201808
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1795.79
CPU system time (s): 4.23536
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 201808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.78
system time used= 4.23536
maximum resident set size= 198812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49806
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= 31
involuntary context switches= 1883
runsolver used 3.68944 second user time and 10.0155 second system time
The end