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-3706764-1338117789/watcher-3706764-1338117789 -o /tmp/evaluation-result-3706764-1338117789/solver-3706764-1338117789 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706764-1338117789.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.16 2.04 2.01 3/176 22586
/proc/meminfo: memFree=28034544/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 277907438 6356992 725 33554432000 4194304 8973514 140733895342384 140734923223160 5781700 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22586/statm: 1552 725 415 1167 0 333 0
[startup+0.0844821 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 22586
/proc/meminfo: memFree=28034544/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=11328 CPUtime=0.07 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 2098 0 0 0 7 0 0 0 20 0 1 0 277907438 11599872 2019 33554432000 4194304 8973514 140733895342384 140734923223160 4617834 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22586/statm: 2832 2019 417 1167 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11328
[startup+0.100256 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 22586
/proc/meminfo: memFree=28034544/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=13376 CPUtime=0.09 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 2610 0 0 0 9 0 0 0 20 0 1 0 277907438 13697024 2531 33554432000 4194304 8973514 140733895342384 140734923223160 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22586/statm: 3344 2531 417 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300266 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 22586
/proc/meminfo: memFree=28034544/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=24640 CPUtime=0.28 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 5434 0 0 0 28 0 0 0 20 0 1 0 277907438 25231360 5355 33554432000 4194304 8973514 140733895342384 140734923223160 6661469 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22586/statm: 6160 5355 424 1167 0 4941 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24640
[startup+0.700257 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 22586
/proc/meminfo: memFree=28034544/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=24640 CPUtime=0.69 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 5469 0 0 0 68 1 0 0 20 0 1 0 277907438 25231360 5390 33554432000 4194304 8973514 140733895342384 140733895341880 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22586/statm: 6160 5390 455 1167 0 4941 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24640
[startup+1.50026 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 22587
/proc/meminfo: memFree=28012820/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=31808 CPUtime=1.49 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 7170 0 0 0 147 2 0 0 20 0 1 0 277907438 32571392 7091 33554432000 4194304 8973514 140733895342384 140733895341648 4427744 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22586/statm: 7952 7091 455 1167 0 6733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31808
[startup+3.10024 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 22587
/proc/meminfo: memFree=28004612/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=38976 CPUtime=3.08 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 9053 0 0 0 306 2 0 0 20 0 1 0 277907438 39911424 8974 33554432000 4194304 8973514 140733895342384 140733895341880 4209256 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/22586/statm: 9744 8974 455 1167 0 8525 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38976
[startup+6.30031 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 22587
/proc/meminfo: memFree=27987376/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=56384 CPUtime=6.29 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 13387 0 0 0 625 4 0 0 20 0 1 0 277907438 57737216 13308 33554432000 4194304 8973514 140733895342384 140733895341880 4427144 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 14096 13308 455 1167 0 12877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56384
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 22587
/proc/meminfo: memFree=27960488/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=86080 CPUtime=12.69 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 20829 0 0 0 1262 7 0 0 20 0 1 0 277907438 88145920 20750 33554432000 4194304 8973514 140733895342384 140733895341880 6576028 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 21520 20750 455 1167 0 20301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86080
[startup+25.5003 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 22587
/proc/meminfo: memFree=27907424/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=144448 CPUtime=25.48 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 35247 0 0 0 2535 13 0 0 20 0 1 0 277907438 147914752 35168 33554432000 4194304 8973514 140733895342384 140733895341880 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 36112 35168 455 1167 0 34893 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 144448
[startup+51.1003 s]
/proc/loadavg: 2.21 2.07 2.02 3/177 22587
/proc/meminfo: memFree=27844292/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=201792 CPUtime=51.08 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 51557 0 0 0 5085 23 0 0 20 0 1 0 277907438 206635008 49685 33554432000 4194304 8973514 140733895342384 140733895341648 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 50448 49685 456 1167 0 49229 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 201792
[startup+102.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/177 22587
/proc/meminfo: memFree=27810928/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=232512 CPUtime=102.24 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 67613 0 0 0 10186 38 0 0 20 0 1 0 277907438 238092288 57266 33554432000 4194304 8973514 140733895342384 140733895341488 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 58128 57266 456 1167 0 56909 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 232512
[startup+162.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 22587
/proc/meminfo: memFree=27727148/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=315456 CPUtime=162.22 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 96915 0 0 0 16164 58 0 0 20 0 1 0 277907438 323026944 78101 33554432000 4194304 8973514 140733895342384 140733895341880 4459404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 78864 78101 456 1167 0 77645 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 315456
[startup+222.306 s]
/proc/loadavg: 2.04 2.06 2.01 3/177 22588
/proc/meminfo: memFree=27751560/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=291904 CPUtime=222.2 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 114616 0 0 0 22145 75 0 0 20 0 1 0 277907438 298909696 71978 33554432000 4194304 8973514 140733895342384 140733895341648 4427820 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 72976 71978 456 1167 0 71757 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 291904
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 22588
/proc/meminfo: memFree=27709632/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=324672 CPUtime=282.15 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 128184 0 0 0 28123 92 0 0 20 0 1 0 277907438 332464128 80405 33554432000 4194304 8973514 140733895342384 140733895341880 6570548 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 81168 80405 456 1167 0 79949 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 324672
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 22588
/proc/meminfo: memFree=27725364/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=308288 CPUtime=342.13 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 134858 0 0 0 34107 106 0 0 20 0 1 0 277907438 315686912 76309 33554432000 4194304 8973514 140733895342384 140733895341880 6570468 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 77072 76309 456 1167 0 75853 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 308288
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 22588
/proc/meminfo: memFree=27703360/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=330816 CPUtime=402.12 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 151506 0 0 0 40090 122 0 0 20 0 1 0 277907438 338755584 81941 33554432000 4194304 8973514 140733895342384 140733895341880 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 82704 81941 456 1167 0 81485 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 330816
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 22591
/proc/meminfo: memFree=27665792/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=365632 CPUtime=462.11 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 165586 0 0 0 46073 138 0 0 20 0 1 0 277907438 374407168 90645 33554432000 4194304 8973514 140733895342384 140733895341648 6839464 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 91408 90645 456 1167 0 90189 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 365632
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22592
/proc/meminfo: memFree=27662920/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=332864 CPUtime=522.1 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 179922 0 0 0 52056 154 0 0 20 0 1 0 277907438 340852736 82453 33554432000 4194304 8973514 140733895342384 140733895340352 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 83216 82453 456 1167 0 81997 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 332864
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 22592
/proc/meminfo: memFree=27621924/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=409664 CPUtime=582.09 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 206107 0 0 0 58038 171 0 0 20 0 1 0 277907438 419495936 101470 33554432000 4194304 8973514 140733895342384 140733895341880 6570455 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 102416 101470 456 1167 0 101197 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 409664
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 22633
/proc/meminfo: memFree=27235500/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=444480 CPUtime=822.01 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 253503 0 0 0 81974 227 0 0 20 0 1 0 277907438 455147520 110169 33554432000 4194304 8973514 140733895342384 140733895341880 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 111120 110169 456 1167 0 109901 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 444480
[startup+882.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 22633
/proc/meminfo: memFree=27120208/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=488512 CPUtime=882.01 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 264699 0 0 0 87959 242 0 0 20 0 1 0 277907438 500236288 121365 33554432000 4194304 8973514 140733895342384 140733895341880 4459348 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 122128 121365 456 1167 0 120909 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 488512
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22633
/proc/meminfo: memFree=27040628/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=501824 CPUtime=942 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 268027 0 0 0 93946 254 0 0 20 0 1 0 277907438 513867776 124693 33554432000 4194304 8973514 140733895342384 140733895341488 4209168 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 125456 124693 456 1167 0 124237 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 501824
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22633
/proc/meminfo: memFree=27154156/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=345152 CPUtime=1001.99 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 268027 0 0 0 99932 267 0 0 20 0 1 0 277907438 353435648 85525 33554432000 4194304 8973514 140733895342384 140733895341880 6570548 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 86288 85525 456 1167 0 85069 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 345152
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22636
/proc/meminfo: memFree=27104436/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=353344 CPUtime=1061.98 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 285179 0 0 0 105915 283 0 0 20 0 1 0 277907438 361824256 87573 33554432000 4194304 8973514 140733895342384 140733895341880 4214456 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 88336 87573 456 1167 0 87117 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 353344
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=26924176/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=503872 CPUtime=1121.97 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 322760 0 0 0 111890 307 0 0 20 0 1 0 277907438 515964928 125154 33554432000 4194304 8973514 140733895342384 140733895341880 6570472 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 125968 125154 456 1167 0 124749 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 503872
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=27034544/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=361536 CPUtime=1181.96 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 349435 0 0 0 117871 325 0 0 20 0 1 0 277907438 370212864 89621 33554432000 4194304 8973514 140733895342384 140733895341880 4459352 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 90384 89621 456 1167 0 89165 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 361536
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=26924460/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=438336 CPUtime=1241.95 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 368635 0 0 0 123852 343 0 0 20 0 1 0 277907438 448856064 108821 33554432000 4194304 8973514 140733895342384 140733895341880 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 109584 108821 456 1167 0 108365 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 438336
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=26883508/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=452672 CPUtime=1301.94 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 372220 0 0 0 129835 359 0 0 20 0 1 0 277907438 463536128 112405 33554432000 4194304 8973514 140733895342384 140733895341648 4441393 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 113168 112405 456 1167 0 111949 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 452672
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22637
/proc/meminfo: memFree=26886096/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=422976 CPUtime=1361.93 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 379392 0 0 0 135819 374 0 0 20 0 1 0 277907438 433127424 104981 33554432000 4194304 8973514 140733895342384 140733895341880 6570455 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 105744 104981 456 1167 0 104525 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 422976
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22638
/proc/meminfo: memFree=26695288/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=584768 CPUtime=1421.92 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 419849 0 0 0 141798 394 0 0 20 0 1 0 277907438 598802432 145429 33554432000 4194304 8973514 140733895342384 140733895341880 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 146192 145429 456 1167 0 144973 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 584768
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22638
/proc/meminfo: memFree=26885340/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=364608 CPUtime=1481.89 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 428060 0 0 0 147780 409 0 0 20 0 1 0 277907438 373358592 90389 33554432000 4194304 8973514 140733895342384 140733895341880 4442021 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 91152 90389 456 1167 0 89933 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 364608
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22638
/proc/meminfo: memFree=26714000/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=513088 CPUtime=1541.87 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 465190 0 0 0 153759 428 0 0 20 0 1 0 277907438 525402112 127509 33554432000 4194304 8973514 140733895342384 140733895341648 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 128272 127509 456 1167 0 127053 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 513088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22638
/proc/meminfo: memFree=26688876/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=529472 CPUtime=1601.86 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 475204 0 0 0 159739 447 0 0 20 0 1 0 277907438 542179328 131379 33554432000 4194304 8973514 140733895342384 140733895341880 7937344 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 132368 131379 456 1167 0 131149 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 529472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22641
/proc/meminfo: memFree=26637316/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=541760 CPUtime=1661.85 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 479534 0 0 0 165724 461 0 0 20 0 1 0 277907438 554762240 134677 33554432000 4194304 8973514 140733895342384 140733895341880 4459404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 135440 134677 456 1167 0 134221 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 541760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22642
/proc/meminfo: memFree=26538028/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=623680 CPUtime=1721.82 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 500029 0 0 0 171705 477 0 0 20 0 1 0 277907438 638648320 155157 33554432000 4194304 8973514 140733895342384 140733895341880 7671138 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 155920 155157 456 1167 0 154701 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 623680
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22642
/proc/meminfo: memFree=26688660/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=447552 CPUtime=1781.8 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 500045 0 0 0 177691 489 0 0 20 0 1 0 277907438 458293248 111125 33554432000 4194304 8973514 140733895342384 140733895341880 4209198 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 111888 111125 456 1167 0 110669 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 447552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22642
/proc/meminfo: memFree=26645724/32873844 swapFree=6856/6856
[pid=22586] ppid=22584 vsize=482368 CPUtime=1800 cores=0,2,4,6
/proc/22586/stat : 22586 (toysat) R 22584 22586 18256 0 -1 4202496 508752 0 0 0 179505 495 0 0 20 0 1 0 277907438 493944832 119829 33554432000 4194304 8973514 140733895342384 140733895341880 4459404 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/22586/statm: 120592 119829 456 1167 0 119373 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 482368
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.51
CPU time (s): 1800.01
CPU user time (s): 1795.06
CPU system time (s): 4.95825
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 623680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 4.95825
maximum resident set size= 620628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508752
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= 244
involuntary context switches= 2185
runsolver used 3.19051 second user time and 8.79366 second system time
The end