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-3707126-1338144150/watcher-3707126-1338144150 -o /tmp/evaluation-result-3707126-1338144150/solver-3707126-1338144150 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707126-1338144150.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 2.00 3/176 6328
/proc/meminfo: memFree=30941892/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 280539921 7405568 748 33554432000 4194304 8973514 140734871488032 140734871487528 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 1808 748 415 1167 0 589 0
[startup+0.042325 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6328
/proc/meminfo: memFree=30941892/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=9280 CPUtime=0.03 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 1498 0 0 0 3 0 0 0 20 0 1 0 280539921 9502720 1420 33554432000 4194304 8973514 140734871488032 140734871487528 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 2320 1420 418 1167 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9280
[startup+0.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6328
/proc/meminfo: memFree=30941892/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 2335 0 0 0 9 0 0 0 20 0 1 0 280539921 12648448 2257 33554432000 4194304 8973514 140734871488032 140734871487528 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 3088 2257 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300297 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6328
/proc/meminfo: memFree=30941892/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=26688 CPUtime=0.29 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 5940 0 0 0 28 1 0 0 20 0 1 0 280539921 27328512 5862 33554432000 4194304 8973514 140734871488032 140734871487528 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 6672 5862 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688
[startup+0.700331 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6328
/proc/meminfo: memFree=30941892/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=56384 CPUtime=0.69 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 13174 0 0 0 67 2 0 0 20 0 1 0 280539921 57737216 13096 33554432000 4194304 8973514 140734871488032 140734871487136 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 14096 13102 418 1167 0 12877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56384
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6329
/proc/meminfo: memFree=30871552/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=98368 CPUtime=1.49 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 23860 0 0 0 144 5 0 0 20 0 1 0 280539921 100728832 23782 33554432000 4194304 8973514 140734871488032 140734871487528 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 24592 23782 418 1167 0 23373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98368
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6329
/proc/meminfo: memFree=30815124/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=174144 CPUtime=3.09 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 42804 0 0 0 300 9 0 0 20 0 1 0 280539921 178323456 42726 33554432000 4194304 8973514 140734871488032 140734871487136 4204655 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 43536 42726 418 1167 0 42317 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 174144
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6329
/proc/meminfo: memFree=30630736/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=312384 CPUtime=6.29 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 77407 0 0 0 615 14 0 0 20 0 1 0 280539921 319881216 77329 33554432000 4194304 8973514 140734871488032 140734871471128 7716811 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 78096 77329 455 1167 0 76877 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 312384
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6329
/proc/meminfo: memFree=30627892/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=312384 CPUtime=12.69 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 77408 0 0 0 1254 15 0 0 20 0 1 0 280539921 319881216 77330 33554432000 4194304 8973514 140734871488032 140734871487528 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 78096 77330 456 1167 0 76877 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 312384
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6330
/proc/meminfo: memFree=30622700/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=312384 CPUtime=25.48 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 77408 0 0 0 2531 17 0 0 20 0 1 0 280539921 319881216 77330 33554432000 4194304 8973514 140734871488032 140734871487296 4415701 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 78096 77330 456 1167 0 76877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 312384
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6330
/proc/meminfo: memFree=30617864/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=312384 CPUtime=51.08 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 77408 0 0 0 5086 22 0 0 20 0 1 0 280539921 319881216 77330 33554432000 4194304 8973514 140734871488032 140734871487528 4435755 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 78096 77330 456 1167 0 76877 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 312384
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6330
/proc/meminfo: memFree=30585996/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=327744 CPUtime=102.28 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 81248 0 0 0 10195 33 0 0 20 0 1 0 280539921 335609856 81170 33554432000 4194304 8973514 140734871488032 140734871487136 4427496 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 81936 81170 456 1167 0 80717 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 327744
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6330
/proc/meminfo: memFree=30552888/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=347200 CPUtime=162.26 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 85877 0 0 0 16181 45 0 0 20 0 1 0 280539921 355532800 85799 33554432000 4194304 8973514 140734871488032 140734871487528 4419849 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 86800 85799 456 1167 0 85581 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 347200
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6330
/proc/meminfo: memFree=30555944/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=365632 CPUtime=222.26 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 90720 0 0 0 22169 57 0 0 20 0 1 0 280539921 374407168 90642 33554432000 4194304 8973514 140734871488032 140734871487528 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 91408 90642 456 1167 0 90189 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 365632
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6330
/proc/meminfo: memFree=30534132/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=387136 CPUtime=282.25 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 96096 0 0 0 28157 68 0 0 20 0 1 0 280539921 396427264 96018 33554432000 4194304 8973514 140734871488032 140734871487528 7732879 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 96784 96018 456 1167 0 95565 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 387136
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6331
/proc/meminfo: memFree=30517792/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=403520 CPUtime=342.22 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 100211 0 0 0 34144 78 0 0 20 0 1 0 280539921 413204480 100119 33554432000 4194304 8973514 140734871488032 140734871487528 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 100880 100119 456 1167 0 99661 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 403520
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6331
/proc/meminfo: memFree=30498848/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=421952 CPUtime=402.19 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 104843 0 0 0 40128 91 0 0 20 0 1 0 280539921 432078848 104727 33554432000 4194304 8973514 140734871488032 140734871487528 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 105488 104727 456 1167 0 104269 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 421952
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6334
/proc/meminfo: memFree=30479400/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=441408 CPUtime=462.17 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 109723 0 0 0 46112 105 0 0 20 0 1 0 280539921 452001792 109591 33554432000 4194304 8973514 140734871488032 140734871487528 4208833 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 110352 109591 456 1167 0 109133 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 441408
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6334
/proc/meminfo: memFree=30457860/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=462912 CPUtime=522.13 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 115123 0 0 0 52091 122 0 0 20 0 1 0 280539921 474021888 114967 33554432000 4194304 8973514 140734871488032 140734871487296 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 115728 114967 456 1167 0 114509 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 462912
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 6334
/proc/meminfo: memFree=30434960/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=483392 CPUtime=582.11 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 120253 0 0 0 58077 134 0 0 20 0 1 0 280539921 494993408 120087 33554432000 4194304 8973514 140734871488032 140734871485952 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 120848 120087 456 1167 0 119629 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 483392
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6335
/proc/meminfo: memFree=30294408/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=563264 CPUtime=882.06 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 140221 0 0 0 88004 202 0 0 20 0 1 0 280539921 576782336 140055 33554432000 4194304 8973514 140734871488032 140734871487528 4427744 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 140816 140055 456 1167 0 139597 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 563264
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6336
/proc/meminfo: memFree=30276924/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=580672 CPUtime=942.06 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 144573 0 0 0 93992 214 0 0 20 0 1 0 280539921 594608128 144407 33554432000 4194304 8973514 140734871488032 140734871487528 4208822 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 145168 144407 456 1167 0 143949 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 580672
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6679
/proc/meminfo: memFree=30013256/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=595008 CPUtime=1002.04 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 148157 0 0 0 99971 233 0 0 20 0 1 0 280539921 609288192 147991 33554432000 4194304 8973514 140734871488032 140734871487528 4208823 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 148752 147991 456 1167 0 147533 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 595008
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6682
/proc/meminfo: memFree=26640952/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=613440 CPUtime=1062.04 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 152765 0 0 0 105954 250 0 0 20 0 1 0 280539921 628162560 152599 33554432000 4194304 8973514 140734871488032 140734871487528 4441556 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 153360 152599 456 1167 0 152141 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 613440
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6705
/proc/meminfo: memFree=21871912/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=626752 CPUtime=1122.03 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 156093 0 0 0 111937 266 0 0 20 0 1 0 280539921 641794048 155927 33554432000 4194304 8973514 140734871488032 140734871487528 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 156688 155927 456 1167 0 155469 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 626752
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6705
/proc/meminfo: memFree=21556876/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=645184 CPUtime=1182.01 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 160712 0 0 0 117921 280 0 0 20 0 1 0 280539921 660668416 160535 33554432000 4194304 8973514 140734871488032 140734871487528 7716772 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 161296 160535 456 1167 0 160077 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 645184
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 6705
/proc/meminfo: memFree=21539304/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=661568 CPUtime=1241.96 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 164840 0 0 0 123902 294 0 0 20 0 1 0 280539921 677445632 164631 33554432000 4194304 8973514 140734871488032 140734871487528 4441196 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 165392 164631 456 1167 0 164173 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 661568
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 6706
/proc/meminfo: memFree=21523096/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=677952 CPUtime=1301.96 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 168947 0 0 0 129888 308 0 0 20 0 1 0 280539921 694222848 168727 33554432000 4194304 8973514 140734871488032 140734871487528 7716764 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 169488 168727 456 1167 0 168269 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 677952
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 6706
/proc/meminfo: memFree=21509732/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=691264 CPUtime=1361.94 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 172275 0 0 0 135872 322 0 0 20 0 1 0 280539921 707854336 172055 33554432000 4194304 8973514 140734871488032 140734871487528 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 172816 172055 456 1167 0 171597 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 691264
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6706
/proc/meminfo: memFree=21496368/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=704576 CPUtime=1421.94 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 175603 0 0 0 141858 336 0 0 20 0 1 0 280539921 721485824 175383 33554432000 4194304 8973514 140734871488032 140734871487528 7400245 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 176144 175383 456 1167 0 174925 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 704576
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6706
/proc/meminfo: memFree=21496972/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1481.92 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 147845 347 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871487528 4461765 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 728128
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6706
/proc/meminfo: memFree=21496876/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1541.91 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 153829 362 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871487296 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 728128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6707
/proc/meminfo: memFree=21496780/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1601.9 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 159811 379 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871486016 7688742 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 728128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6710
/proc/meminfo: memFree=21496428/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1661.89 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 165797 392 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871487296 4427084 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 728128
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6710
/proc/meminfo: memFree=21496464/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1721.88 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 171782 406 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871487296 4427496 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 728128
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6710
/proc/meminfo: memFree=21496492/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1781.88 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 177769 419 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871487528 4209168 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 728128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6710
/proc/meminfo: memFree=21496460/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1800.08 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 179585 423 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871487528 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 728128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6710
/proc/meminfo: memFree=21496460/32873844 swapFree=7112/7112
[pid=6328] ppid=6326 vsize=728128 CPUtime=1800.08 cores=0,2,4,6
/proc/6328/stat : 6328 (toysat) R 6326 6328 4109 0 -1 4202496 181492 0 0 0 179585 423 0 0 20 0 1 0 280539921 745603072 181272 33554432000 4194304 8973514 140734871488032 140734871487528 4427820 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/6328/statm: 182032 181272 457 1167 0 180813 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 728128
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1795.85
CPU system time (s): 4.23935
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 728128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.85
system time used= 4.23935
maximum resident set size= 725088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181492
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= 150
involuntary context switches= 2267
runsolver used 2.83957 second user time and 9.76652 second system time
The end