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-3724467-1338644572/watcher-3724467-1338644572 -o /tmp/evaluation-result-3724467-1338644572/solver-3724467-1338644572 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724467-1338644572.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/176 5521
/proc/meminfo: memFree=29407408/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 330582799 6373376 734 33554432000 4194304 8989770 140737384289056 140736394788792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 1556 734 428 1171 0 333 0
[startup+0.0210449 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5521
/proc/meminfo: memFree=29407408/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=7248 CPUtime=0.01 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 1089 0 0 0 1 0 0 0 20 0 1 0 330582799 7421952 1009 33554432000 4194304 8989770 140737384289056 140736394788792 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 1812 1009 429 1171 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7248
[startup+0.100267 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5521
/proc/meminfo: memFree=29407408/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 330582799 12664832 2290 33554432000 4194304 8989770 140737384289056 140736394788792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 3092 2290 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300293 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5521
/proc/meminfo: memFree=29407408/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=22608 CPUtime=0.28 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 4931 0 0 0 28 0 0 0 20 0 1 0 330582799 23150592 4851 33554432000 4194304 8989770 140737384289056 140736394788792 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 5652 4851 431 1171 0 4429 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22608
[startup+0.700287 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 5521
/proc/meminfo: memFree=29407408/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=47184 CPUtime=0.68 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 10903 0 0 0 67 1 0 0 20 0 1 0 330582799 48316416 10824 33554432000 4194304 8989770 140737384289056 140737384288320 4213859 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 11796 10840 441 1171 0 10573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47184
[startup+1.50033 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 5522
/proc/meminfo: memFree=29356296/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=60496 CPUtime=1.48 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 14437 0 0 0 146 2 0 0 20 0 1 0 330582799 61947904 14357 33554432000 4194304 8989770 140737384289056 140737384288320 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 15124 14357 459 1171 0 13901 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 60496
[startup+3.1003 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 5522
/proc/meminfo: memFree=29351832/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=60496 CPUtime=3.09 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 14437 0 0 0 306 3 0 0 20 0 1 0 330582799 61947904 14357 33554432000 4194304 8989770 140737384289056 140737384288320 4469828 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 15124 14357 459 1171 0 13901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60496
[startup+6.30031 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 5522
/proc/meminfo: memFree=29350840/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=60496 CPUtime=6.29 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 14437 0 0 0 626 3 0 0 20 0 1 0 330582799 61947904 14357 33554432000 4194304 8989770 140737384289056 140737384288552 4355501 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 15124 14357 459 1171 0 13901 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60496
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 5522
/proc/meminfo: memFree=29339708/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=62544 CPUtime=12.69 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 14707 0 0 0 1264 5 0 0 20 0 1 0 330582799 64045056 14627 33554432000 4194304 8989770 140737384289056 140737384288320 6587869 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 15636 14627 459 1171 0 14413 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62544
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 5522
/proc/meminfo: memFree=29332128/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=76880 CPUtime=25.47 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 18538 0 0 0 2539 8 0 0 20 0 1 0 330582799 78725120 18458 33554432000 4194304 8989770 140737384289056 140737384288552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 19220 18458 459 1171 0 17997 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 76880
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 5522
/proc/meminfo: memFree=29299856/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=109648 CPUtime=51.07 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 26741 0 0 0 5091 16 0 0 20 0 1 0 330582799 112279552 26650 33554432000 4194304 8989770 140737384289056 140737384288552 4209344 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 27412 26650 459 1171 0 26189 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 109648
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 5522
/proc/meminfo: memFree=29243836/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=163920 CPUtime=102.23 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 40316 0 0 0 10195 28 0 0 20 0 1 0 330582799 167854080 40183 33554432000 4194304 8989770 140737384289056 140737384288552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 40980 40183 459 1171 0 39757 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 163920
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 5523
/proc/meminfo: memFree=29198024/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=210000 CPUtime=162.2 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 51788 0 0 0 16177 43 0 0 20 0 1 0 330582799 215040000 51644 33554432000 4194304 8989770 140737384289056 140737384288320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 52500 51644 459 1171 0 51277 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 210000
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5523
/proc/meminfo: memFree=29101860/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=251984 CPUtime=222.19 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 62337 0 0 0 22160 59 0 0 20 0 1 0 330582799 258031616 62193 33554432000 4194304 8989770 140737384289056 140737384288552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 62996 62193 459 1171 0 61773 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 251984
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 5523
/proc/meminfo: memFree=29044388/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=296016 CPUtime=282.19 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 73233 0 0 0 28146 73 0 0 20 0 1 0 330582799 303120384 73088 33554432000 4194304 8989770 140737384289056 140737384288320 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 74004 73088 459 1171 0 72781 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 296016
[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 5523
/proc/meminfo: memFree=29022772/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=311376 CPUtime=342.14 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 77267 0 0 0 34130 84 0 0 20 0 1 0 330582799 318849024 77084 33554432000 4194304 8989770 140737384289056 140737384288552 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 77844 77084 461 1171 0 76621 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 311376
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5523
/proc/meminfo: memFree=29062112/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=311376 CPUtime=402.13 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 77268 0 0 0 40118 95 0 0 20 0 1 0 330582799 318849024 77084 33554432000 4194304 8989770 140737384289056 140737384288320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 77844 77084 461 1171 0 76621 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 311376
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 5527
/proc/meminfo: memFree=29059128/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=311376 CPUtime=462.13 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 77268 0 0 0 46107 106 0 0 20 0 1 0 330582799 318849024 77084 33554432000 4194304 8989770 140737384289056 140737384288320 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 77844 77084 461 1171 0 76621 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 311376
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 5527
/proc/meminfo: memFree=29054796/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=311376 CPUtime=522.12 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 77268 0 0 0 52094 118 0 0 20 0 1 0 330582799 318849024 77084 33554432000 4194304 8989770 140737384289056 140737384288552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 77844 77084 461 1171 0 76621 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 311376
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5527
/proc/meminfo: memFree=29079720/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=311376 CPUtime=582.11 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 77268 0 0 0 58080 131 0 0 20 0 1 0 330582799 318849024 77084 33554432000 4194304 8989770 140737384289056 140737384288552 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 77844 77084 461 1171 0 76621 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 311376
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5529
/proc/meminfo: memFree=29045648/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=350288 CPUtime=822.07 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 86932 0 0 0 82026 181 0 0 20 0 1 0 330582799 358694912 86738 33554432000 4194304 8989770 140737384289056 140737384288552 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 87572 86738 461 1171 0 86349 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 350288
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5529
/proc/meminfo: memFree=29027652/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=355408 CPUtime=882.06 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 88211 0 0 0 88015 191 0 0 20 0 1 0 330582799 363937792 88017 33554432000 4194304 8989770 140737384289056 140737384288320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 88852 88017 461 1171 0 87629 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 355408
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5529
/proc/meminfo: memFree=29035776/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=363600 CPUtime=942.04 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 90306 0 0 0 94003 201 0 0 20 0 1 0 330582799 372326400 90112 33554432000 4194304 8989770 140737384289056 140737384288320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 90900 90112 461 1171 0 89677 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 363600
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5529
/proc/meminfo: memFree=29024120/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=374864 CPUtime=1002.04 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 93105 0 0 0 99991 213 0 0 20 0 1 0 330582799 383860736 92911 33554432000 4194304 8989770 140737384289056 140737384288552 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 93716 92911 461 1171 0 92493 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 374864
[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 5533
/proc/meminfo: memFree=29003528/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=385104 CPUtime=1062.03 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 95711 0 0 0 105983 220 0 0 20 0 1 0 330582799 394346496 95516 33554432000 4194304 8989770 140737384289056 140737384288320 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 96276 95516 461 1171 0 95053 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 385104
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5556
/proc/meminfo: memFree=29009744/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=385104 CPUtime=1122.02 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 95716 0 0 0 111971 231 0 0 20 0 1 0 330582799 394346496 95516 33554432000 4194304 8989770 140737384289056 140737384288320 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 96276 95516 461 1171 0 95053 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 385104
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5556
/proc/meminfo: memFree=29014340/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=385104 CPUtime=1182.01 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 95716 0 0 0 117961 240 0 0 20 0 1 0 330582799 394346496 95516 33554432000 4194304 8989770 140737384289056 140737384288320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 96276 95516 461 1171 0 95053 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 385104
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5556
/proc/meminfo: memFree=29017936/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=385104 CPUtime=1242 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 95716 0 0 0 123951 249 0 0 20 0 1 0 330582799 394346496 95516 33554432000 4194304 8989770 140737384289056 140737384288552 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 96276 95516 461 1171 0 95053 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 385104
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5556
/proc/meminfo: memFree=29017688/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=385104 CPUtime=1302 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 95716 0 0 0 129940 260 0 0 20 0 1 0 330582799 394346496 95516 33554432000 4194304 8989770 140737384289056 140737384288320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 96276 95516 461 1171 0 95053 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 385104
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 5557
/proc/meminfo: memFree=29018184/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=385104 CPUtime=1361.98 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 95716 0 0 0 135930 268 0 0 20 0 1 0 330582799 394346496 95516 33554432000 4194304 8989770 140737384289056 140737384288320 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 96276 95516 461 1171 0 95053 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 385104
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5596
/proc/meminfo: memFree=28087512/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=397392 CPUtime=1421.97 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 98788 0 0 0 141921 276 0 0 20 0 1 0 330582799 406929408 98588 33554432000 4194304 8989770 140737384289056 140737384288320 6587824 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 99348 98588 461 1171 0 98125 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 397392
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5596
/proc/meminfo: memFree=28087388/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=397392 CPUtime=1481.96 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 98788 0 0 0 147910 286 0 0 20 0 1 0 330582799 406929408 98588 33554432000 4194304 8989770 140737384289056 140737384288320 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 99348 98588 461 1171 0 98125 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 397392
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5596
/proc/meminfo: memFree=28087636/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=397392 CPUtime=1541.96 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 98788 0 0 0 153898 298 0 0 20 0 1 0 330582799 406929408 98588 33554432000 4194304 8989770 140737384289056 140737384288552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 99348 98588 461 1171 0 98125 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 397392
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5596
/proc/meminfo: memFree=28087636/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=397392 CPUtime=1601.95 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 98789 0 0 0 159886 309 0 0 20 0 1 0 330582799 406929408 98588 33554432000 4194304 8989770 140737384289056 140737384288552 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 99348 98588 461 1171 0 98125 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 397392
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 5600
/proc/meminfo: memFree=28087584/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=397392 CPUtime=1661.93 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 98789 0 0 0 165874 319 0 0 20 0 1 0 330582799 406929408 98588 33554432000 4194304 8989770 140737384289056 140737384288320 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 99348 98588 461 1171 0 98125 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 397392
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 5600
/proc/meminfo: memFree=28087884/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=397392 CPUtime=1721.93 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 98789 0 0 0 171865 328 0 0 20 0 1 0 330582799 406929408 98588 33554432000 4194304 8989770 140737384289056 140737384288320 4435124 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 99348 98588 461 1171 0 98125 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 397392
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 5600
/proc/meminfo: memFree=28087276/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=397392 CPUtime=1781.92 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 98789 0 0 0 177854 338 0 0 20 0 1 0 330582799 406929408 98588 33554432000 4194304 8989770 140737384289056 140737384288552 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 99348 98588 461 1171 0 98125 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 397392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 5600
/proc/meminfo: memFree=28085152/32873844 swapFree=7632/7632
[pid=5521] ppid=5519 vsize=400464 CPUtime=1800.02 cores=1,3,5,7
/proc/5521/stat : 5521 (toysat) R 5519 5521 4334 0 -1 4202496 99377 0 0 0 179662 340 0 0 20 0 1 0 330582799 410075136 99176 33554432000 4194304 8989770 140737384289056 140737384288320 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/5521/statm: 100116 99176 461 1171 0 98893 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 400464
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.03
CPU user time (s): 1796.62
CPU system time (s): 3.40648
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 400464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.62
system time used= 3.40648
maximum resident set size= 396704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99377
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= 1845
runsolver used 3.65144 second user time and 9.54355 second system time
The end