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-3706126-1338156417/watcher-3706126-1338156417 -o /tmp/evaluation-result-3706126-1338156417/solver-3706126-1338156417 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706126-1338156417.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: 2.02 2.01 2.00 3/176 24214
/proc/meminfo: memFree=27066612/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 799 0 0 0 0 0 0 0 20 0 1 0 281770282 6356992 720 33554432000 4194304 8973514 140734801079360 140733343723352 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 1552 720 415 1167 0 333 0
[startup+0.089316 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24214
/proc/meminfo: memFree=27066612/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=12352 CPUtime=0.08 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 2120 0 0 0 8 0 0 0 20 0 1 0 281770282 12648448 2041 33554432000 4194304 8973514 140734801079360 140733343723352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 3088 2041 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12352
[startup+0.10032 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24214
/proc/meminfo: memFree=27066612/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 2354 0 0 0 9 0 0 0 20 0 1 0 281770282 12648448 2275 33554432000 4194304 8973514 140734801079360 140733343723352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 3088 2275 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352
[startup+0.300301 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24214
/proc/meminfo: memFree=27066612/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=20544 CPUtime=0.29 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 4435 0 0 0 29 0 0 0 20 0 1 0 281770282 21037056 4356 33554432000 4194304 8973514 140734801079360 140733343723352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 5136 4356 444 1167 0 3917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20544
[startup+0.70027 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 24214
/proc/meminfo: memFree=27066612/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=21568 CPUtime=0.69 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 4507 0 0 0 69 0 0 0 20 0 1 0 281770282 22085632 4428 33554432000 4194304 8973514 140734801079360 140733343723352 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 5392 4428 444 1167 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21568
[startup+1.50027 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24215
/proc/meminfo: memFree=27049996/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=22592 CPUtime=1.48 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 4947 0 0 0 148 0 0 0 20 0 1 0 281770282 23134208 4868 33554432000 4194304 8973514 140734801079360 140734801078624 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 5648 4868 444 1167 0 4429 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22592
[startup+3.10026 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24215
/proc/meminfo: memFree=27045632/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=29760 CPUtime=3.09 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 6698 0 0 0 308 1 0 0 20 0 1 0 281770282 30474240 6619 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 7440 6619 444 1167 0 6221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29760
[startup+6.30028 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24215
/proc/meminfo: memFree=27057228/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=41024 CPUtime=6.29 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 9309 0 0 0 626 3 0 0 20 0 1 0 281770282 42008576 9230 33554432000 4194304 8973514 140734801079360 140734801078856 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 10256 9230 444 1167 0 9037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41024
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24215
/proc/meminfo: memFree=27038460/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=58432 CPUtime=12.69 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 13776 0 0 0 1263 6 0 0 20 0 1 0 281770282 59834368 13700 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 14608 13700 444 1167 0 13389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58432
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24215
/proc/meminfo: memFree=27034104/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=65600 CPUtime=25.48 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 15709 0 0 0 2537 11 0 0 20 0 1 0 281770282 67174400 15626 33554432000 4194304 8973514 140734801079360 140734801078856 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 16400 15626 445 1167 0 15181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65600
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24215
/proc/meminfo: memFree=26998964/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=81984 CPUtime=51.05 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 19826 0 0 0 5086 19 0 0 20 0 1 0 281770282 83951616 19722 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 20496 19722 445 1167 0 19277 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 81984
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24215
/proc/meminfo: memFree=26986856/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=108608 CPUtime=102.25 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 26488 0 0 0 10187 38 0 0 20 0 1 0 281770282 111214592 26378 33554432000 4194304 8973514 140734801079360 140734801078856 4459352 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 27152 26378 445 1167 0 25933 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 108608
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24215
/proc/meminfo: memFree=26938476/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=124992 CPUtime=162.22 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 30469 0 0 0 16163 59 0 0 20 0 1 0 281770282 127991808 30349 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 31248 30349 445 1167 0 30029 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 124992
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24219
/proc/meminfo: memFree=26843788/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=168000 CPUtime=222.22 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 41209 0 0 0 22145 77 0 0 20 0 1 0 281770282 172032000 41089 33554432000 4194304 8973514 140734801079360 140734801078624 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 42000 41089 445 1167 0 40781 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 168000
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=26841076/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=169024 CPUtime=282.2 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 48537 0 0 0 28129 91 0 0 20 0 1 0 281770282 173080576 41482 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 42256 41482 445 1167 0 41037 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 169024
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=26913808/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=128064 CPUtime=342.18 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 48542 0 0 0 34108 110 0 0 20 0 1 0 281770282 131137536 31242 33554432000 4194304 8973514 140734801079360 140734801078624 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 32016 31242 445 1167 0 30797 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 128064
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=26890612/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=139328 CPUtime=402.17 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 51361 0 0 0 40091 126 0 0 20 0 1 0 281770282 142671872 34058 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 34832 34058 445 1167 0 33613 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 139328
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24219
/proc/meminfo: memFree=26825700/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=161856 CPUtime=462.16 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 56993 0 0 0 46078 138 0 0 20 0 1 0 281770282 165740544 39690 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 40464 39690 445 1167 0 39245 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 161856
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=26854236/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=163904 CPUtime=522.15 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 57432 0 0 0 52061 154 0 0 20 0 1 0 281770282 167837696 40129 33554432000 4194304 8973514 140734801079360 140734801078624 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 40976 40129 445 1167 0 39757 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 163904
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24220
/proc/meminfo: memFree=26880992/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=160832 CPUtime=582.14 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 57512 0 0 0 58041 173 0 0 20 0 1 0 281770282 164691968 39434 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 40208 39434 445 1167 0 38989 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 160832
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24224
/proc/meminfo: memFree=26924980/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=122944 CPUtime=882.09 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 63375 0 0 0 87940 269 0 0 20 0 1 0 281770282 125894656 29934 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 30736 29934 445 1167 0 29517 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 122944
[startup+942.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 24224
/proc/meminfo: memFree=26965024/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=107584 CPUtime=942.08 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 64690 0 0 0 93920 288 0 0 20 0 1 0 281770282 110166016 26122 33554432000 4194304 8973514 140734801079360 140734801078856 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 26896 26122 445 1167 0 25677 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 107584
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24224
/proc/meminfo: memFree=26987640/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=91200 CPUtime=1002.06 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 69557 0 0 0 99894 312 0 0 20 0 1 0 281770282 93388800 22026 33554432000 4194304 8973514 140734801079360 140734801078624 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 22800 22026 445 1167 0 21581 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 91200
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24224
/proc/meminfo: memFree=26983652/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=99392 CPUtime=1062.06 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 78520 0 0 0 105870 336 0 0 20 0 1 0 281770282 101777408 24074 33554432000 4194304 8973514 140734801079360 140734801078856 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 24848 24074 445 1167 0 23629 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 99392
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26977792/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=91200 CPUtime=1122.04 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 84153 0 0 0 111847 357 0 0 20 0 1 0 281770282 93388800 22026 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 22800 22026 445 1167 0 21581 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 91200
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26919960/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=141376 CPUtime=1182.03 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 96559 0 0 0 117826 377 0 0 20 0 1 0 281770282 144769024 34412 33554432000 4194304 8973514 140734801079360 140734801078624 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 35344 34412 445 1167 0 34125 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 141376
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24225
/proc/meminfo: memFree=26941408/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=120896 CPUtime=1242.01 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 97795 0 0 0 123803 398 0 0 20 0 1 0 281770282 123797504 29247 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 30224 29247 445 1167 0 29005 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 120896
[startup+1302.3 s]
/proc/loadavg: 1.43 1.84 1.95 2/172 24251
/proc/meminfo: memFree=27083692/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=99392 CPUtime=1302.01 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 104142 0 0 0 129784 417 0 0 20 0 1 0 281770282 101777408 24074 33554432000 4194304 8973514 140734801079360 140734801078856 4462612 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 24848 24074 445 1167 0 23629 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 99392
[startup+1362.3 s]
/proc/loadavg: 1.20 1.70 1.89 2/171 24251
/proc/meminfo: memFree=27081152/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=103488 CPUtime=1361.99 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 111050 0 0 0 135760 439 0 0 20 0 1 0 281770282 105971712 25093 33554432000 4194304 8973514 140734801079360 140734801078856 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 25872 25093 445 1167 0 24653 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 103488
[startup+1422.31 s]
/proc/loadavg: 1.11 1.59 1.84 2/172 24255
/proc/meminfo: memFree=27038500/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=145472 CPUtime=1421.97 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 121572 0 0 0 141740 457 0 0 20 0 1 0 281770282 148963328 35594 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 36368 35594 445 1167 0 35149 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 145472
[startup+1482.3 s]
/proc/loadavg: 1.08 1.49 1.79 2/171 24255
/proc/meminfo: memFree=27079800/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=103488 CPUtime=1481.96 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 122854 0 0 0 147714 482 0 0 20 0 1 0 281770282 105971712 25098 33554432000 4194304 8973514 140734801079360 140734801078856 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 25872 25098 445 1167 0 24653 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 103488
[startup+1542.3 s]
/proc/loadavg: 1.03 1.40 1.73 2/171 24255
/proc/meminfo: memFree=27069996/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=112704 CPUtime=1541.94 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 129016 0 0 0 153689 505 0 0 20 0 1 0 281770282 115408896 27161 33554432000 4194304 8973514 140734801079360 140734801078856 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 28176 27161 445 1167 0 26957 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 112704
[startup+1602.3 s]
/proc/loadavg: 1.01 1.32 1.69 2/171 24255
/proc/meminfo: memFree=27041632/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=140352 CPUtime=1601.92 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 136130 0 0 0 159667 525 0 0 20 0 1 0 281770282 143720448 34263 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 35088 34263 445 1167 0 33869 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 140352
[startup+1662.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/171 24255
/proc/meminfo: memFree=27072760/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=110656 CPUtime=1661.92 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 138751 0 0 0 165647 545 0 0 20 0 1 0 281770282 113311744 26644 33554432000 4194304 8973514 140734801079360 140734801078624 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 27664 26644 445 1167 0 26445 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 110656
[startup+1722.3 s]
/proc/loadavg: 1.00 1.21 1.60 2/171 24256
/proc/meminfo: memFree=27041804/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=141376 CPUtime=1721.91 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 146665 0 0 0 171628 563 0 0 20 0 1 0 281770282 144769024 34550 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 35344 34550 445 1167 0 34125 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 141376
[startup+1782.3 s]
/proc/loadavg: 1.04 1.18 1.56 2/171 24256
/proc/meminfo: memFree=27071060/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=109632 CPUtime=1781.89 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 148484 0 0 0 177609 580 0 0 20 0 1 0 281770282 112263168 26634 33554432000 4194304 8973514 140734801079360 140734801078856 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 27408 26634 445 1167 0 26189 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 109632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.03 1.17 1.55 2/171 24256
/proc/meminfo: memFree=27061760/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=119872 CPUtime=1800.1 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 150987 0 0 0 179426 584 0 0 20 0 1 0 281770282 122748928 29137 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 29968 29137 445 1167 0 28749 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 119872
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: 1.03 1.17 1.55 2/171 24256
/proc/meminfo: memFree=27061760/32873844 swapFree=6088/6088
[pid=24214] ppid=24212 vsize=119872 CPUtime=1800.1 cores=1,3,5,7
/proc/24214/stat : 24214 (toysat) R 24212 24214 21557 0 -1 4202496 150987 0 0 0 179426 584 0 0 20 0 1 0 281770282 122748928 29137 33554432000 4194304 8973514 140734801079360 140734801078624 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/24214/statm: 29968 29137 445 1167 0 28749 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 119872
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1794.26
CPU system time (s): 5.85011
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 196672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 5.85011
maximum resident set size= 193576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150987
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= 179
involuntary context switches= 1837
runsolver used 3.38149 second user time and 9.2026 second system time
The end