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-3724477-1338644223/watcher-3724477-1338644223 -o /tmp/evaluation-result-3724477-1338644223/solver-3724477-1338644223 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724477-1338644223.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.99 1.99 4/176 26229
/proc/meminfo: memFree=25992592/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 822 0 0 0 0 0 0 0 20 0 1 0 330548200 6373376 742 33554432000 4194304 8989770 140736822275808 140734089833480 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 1556 742 428 1171 0 333 0
[startup+0.075536 s]
/proc/loadavg: 1.92 1.99 1.99 4/176 26229
/proc/meminfo: memFree=25992592/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=11344 CPUtime=0.07 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 1947 0 0 0 7 0 0 0 20 0 1 0 330548200 11616256 1867 33554432000 4194304 8989770 140736822275808 140734089833480 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 2836 1867 429 1171 0 1613 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11344
[startup+0.100254 s]
/proc/loadavg: 1.92 1.99 1.99 4/176 26229
/proc/meminfo: memFree=25992592/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 2369 0 0 0 9 0 0 0 20 0 1 0 330548200 12664832 2289 33554432000 4194304 8989770 140736822275808 140734089833480 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 3092 2289 430 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368
[startup+0.300226 s]
/proc/loadavg: 1.92 1.99 1.99 4/176 26229
/proc/meminfo: memFree=25992592/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=25680 CPUtime=0.28 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 5666 0 0 0 28 0 0 0 20 0 1 0 330548200 26296320 5586 33554432000 4194304 8989770 140736822275808 140734089833480 4209325 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 6420 5593 431 1171 0 5197 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25680
[startup+0.70023 s]
/proc/loadavg: 1.92 1.99 1.99 4/176 26229
/proc/meminfo: memFree=25992592/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=44112 CPUtime=0.69 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 10306 0 0 0 68 1 0 0 20 0 1 0 330548200 45170688 10226 33554432000 4194304 8989770 140736822275808 140736822275304 4209488 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 11028 10226 431 1171 0 9805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44112
[startup+1.50027 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 26230
/proc/meminfo: memFree=25932816/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=64592 CPUtime=1.49 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 15460 0 0 0 147 2 0 0 20 0 1 0 330548200 66142208 15380 33554432000 4194304 8989770 140736822275808 140736822275304 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 16148 15380 459 1171 0 14925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64592
[startup+3.10023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 26230
/proc/meminfo: memFree=25932452/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=64592 CPUtime=3.09 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 15460 0 0 0 307 2 0 0 20 0 1 0 330548200 66142208 15380 33554432000 4194304 8989770 140736822275808 140736822275072 4494080 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 16148 15380 459 1171 0 14925 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64592
[startup+6.30028 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 26230
/proc/meminfo: memFree=25932244/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=64592 CPUtime=6.29 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 15460 0 0 0 626 3 0 0 20 0 1 0 330548200 66142208 15380 33554432000 4194304 8989770 140736822275808 140736822275072 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 16148 15380 459 1171 0 14925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64592
[startup+12.7003 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 26230
/proc/meminfo: memFree=25932168/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=64592 CPUtime=12.69 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 15460 0 0 0 1265 4 0 0 20 0 1 0 330548200 66142208 15380 33554432000 4194304 8989770 140736822275808 140736822275304 4355568 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 16148 15380 459 1171 0 14925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64592
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26230
/proc/meminfo: memFree=25921468/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=75856 CPUtime=25.48 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 18276 0 0 0 2540 8 0 0 20 0 1 0 330548200 77676544 18196 33554432000 4194304 8989770 140736822275808 140736822273728 4552677 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 18964 18196 459 1171 0 17741 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75856
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26230
/proc/meminfo: memFree=25900264/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=98384 CPUtime=51.08 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 23815 0 0 0 5094 14 0 0 20 0 1 0 330548200 100745216 23735 33554432000 4194304 8989770 140736822275808 140736822275304 4475441 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 24596 23735 459 1171 0 23373 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98384
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26230
/proc/meminfo: memFree=25853268/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=143440 CPUtime=102.27 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 35172 0 0 0 10203 24 0 0 20 0 1 0 330548200 146882560 35092 33554432000 4194304 8989770 140736822275808 140736822275072 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 35860 35092 459 1171 0 34637 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 143440
[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26230
/proc/meminfo: memFree=25796600/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=200784 CPUtime=162.26 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 49418 0 0 0 16188 38 0 0 20 0 1 0 330548200 205602816 49338 33554432000 4194304 8989770 140736822275808 140736822275304 6551232 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 50196 49338 459 1171 0 48973 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 200784
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 26272
/proc/meminfo: memFree=27591308/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=241744 CPUtime=222.23 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 59784 0 0 0 22171 52 0 0 20 0 1 0 330548200 247545856 59668 33554432000 4194304 8989770 140736822275808 140736822275304 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 60436 59668 459 1171 0 59213 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 241744
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26273
/proc/meminfo: memFree=27481088/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=278608 CPUtime=282.19 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 69033 0 0 0 28154 65 0 0 20 0 1 0 330548200 285294592 68884 33554432000 4194304 8989770 140736822275808 140736822275304 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 69652 68884 459 1171 0 68429 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 278608
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26273
/proc/meminfo: memFree=27414432/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=312400 CPUtime=342.16 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 77504 0 0 0 34139 77 0 0 20 0 1 0 330548200 319897600 77332 33554432000 4194304 8989770 140736822275808 140736822275072 4209363 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 78100 77332 459 1171 0 76877 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 312400
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26273
/proc/meminfo: memFree=27379920/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=330832 CPUtime=402.15 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 82126 0 0 0 40126 89 0 0 20 0 1 0 330548200 338771968 81942 33554432000 4194304 8989770 140736822275808 140736822275304 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 82708 81942 461 1171 0 81485 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 330832
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26273
/proc/meminfo: memFree=27374492/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=330832 CPUtime=462.14 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 82126 0 0 0 46115 99 0 0 20 0 1 0 330548200 338771968 81942 33554432000 4194304 8989770 140736822275808 140736822275072 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 82708 81942 461 1171 0 81485 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 330832
[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26273
/proc/meminfo: memFree=27368828/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=330832 CPUtime=522.13 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 82126 0 0 0 52105 108 0 0 20 0 1 0 330548200 338771968 81942 33554432000 4194304 8989770 140736822275808 140736822275304 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 82708 81942 461 1171 0 81485 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 330832
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26274
/proc/meminfo: memFree=27350216/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=330832 CPUtime=582.12 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 82126 0 0 0 58093 119 0 0 20 0 1 0 330548200 338771968 81942 33554432000 4194304 8989770 140736822275808 140736822275304 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 82708 81942 461 1171 0 81485 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 330832
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 26277
/proc/meminfo: memFree=27289340/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=392272 CPUtime=822.07 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 97497 0 0 0 82051 156 0 0 20 0 1 0 330548200 401686528 97302 33554432000 4194304 8989770 140736822275808 140736822273728 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 98068 97302 461 1171 0 96845 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 392272
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26277
/proc/meminfo: memFree=27269640/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=394320 CPUtime=882.07 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 98009 0 0 0 88041 166 0 0 20 0 1 0 330548200 403783680 97814 33554432000 4194304 8989770 140736822275808 140736822275072 4209365 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 98580 97814 461 1171 0 97357 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 394320
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26278
/proc/meminfo: memFree=27233396/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=394320 CPUtime=942.06 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 98009 0 0 0 94030 176 0 0 20 0 1 0 330548200 403783680 97814 33554432000 4194304 8989770 140736822275808 140736822275072 4208823 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 98580 97814 461 1171 0 97357 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 394320
[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26278
/proc/meminfo: memFree=27206616/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=394320 CPUtime=1002.05 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 98009 0 0 0 100019 186 0 0 20 0 1 0 330548200 403783680 97814 33554432000 4194304 8989770 140736822275808 140736822275072 4435164 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 98580 97814 461 1171 0 97357 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 394320
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26278
/proc/meminfo: memFree=27206864/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=394320 CPUtime=1062.04 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 98009 0 0 0 106009 195 0 0 20 0 1 0 330548200 403783680 97814 33554432000 4194304 8989770 140736822275808 140736822275072 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 98580 97814 461 1171 0 97357 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 394320
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26278
/proc/meminfo: memFree=27206992/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=394320 CPUtime=1122.04 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 98009 0 0 0 112000 204 0 0 20 0 1 0 330548200 403783680 97814 33554432000 4194304 8989770 140736822275808 140736822275072 4493860 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 98580 97814 461 1171 0 97357 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 394320
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26278
/proc/meminfo: memFree=27206868/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=394320 CPUtime=1182.02 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 98009 0 0 0 117988 214 0 0 20 0 1 0 330548200 403783680 97814 33554432000 4194304 8989770 140736822275808 140736822275072 4435061 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 98580 97814 461 1171 0 97357 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 394320
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26279
/proc/meminfo: memFree=27191900/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=398416 CPUtime=1242 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 98823 0 0 0 123977 223 0 0 20 0 1 0 330548200 407977984 98617 33554432000 4194304 8989770 140736822275808 140736822275304 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 99604 98617 461 1171 0 98381 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 398416
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26279
/proc/meminfo: memFree=27173748/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=412752 CPUtime=1302 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 102576 0 0 0 129966 234 0 0 20 0 1 0 330548200 422658048 102370 33554432000 4194304 8989770 140736822275808 140736822275072 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 103188 102370 461 1171 0 101965 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 412752
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26279
/proc/meminfo: memFree=27150188/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=440400 CPUtime=1361.98 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 109352 0 0 0 135955 243 0 0 20 0 1 0 330548200 450969600 109146 33554432000 4194304 8989770 140736822275808 140736822273792 7953280 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 110100 109146 461 1171 0 108877 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 440400
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26282
/proc/meminfo: memFree=27129236/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=457808 CPUtime=1421.98 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 113698 0 0 0 141945 253 0 0 20 0 1 0 330548200 468795392 113492 33554432000 4194304 8989770 140736822275808 140736822275072 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 114452 113492 461 1171 0 113229 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 457808
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26305
/proc/meminfo: memFree=27138104/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=487504 CPUtime=1481.97 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 121264 0 0 0 147935 262 0 0 20 0 1 0 330548200 499204096 121058 33554432000 4194304 8989770 140736822275808 140736822275072 4209198 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 121876 121058 461 1171 0 120653 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 487504
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27129684/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=499792 CPUtime=1541.96 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 124388 0 0 0 153926 270 0 0 20 0 1 0 330548200 511787008 124182 33554432000 4194304 8989770 140736822275808 140736822275072 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 124948 124182 461 1171 0 123725 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 499792
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27129436/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=499792 CPUtime=1601.95 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 124388 0 0 0 159916 279 0 0 20 0 1 0 330548200 511787008 124182 33554432000 4194304 8989770 140736822275808 140736822275072 6551051 0 0 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 124948 124182 461 1171 0 123725 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 499792
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27129560/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=499792 CPUtime=1661.94 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 124388 0 0 0 165907 287 0 0 20 0 1 0 330548200 511787008 124182 33554432000 4194304 8989770 140736822275808 140736822275072 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 124948 124182 461 1171 0 123725 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 499792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27125560/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=499792 CPUtime=1721.93 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 124396 0 0 0 171897 296 0 0 20 0 1 0 330548200 511787008 124182 33554432000 4194304 8989770 140736822275808 140736822275072 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 124948 124182 461 1171 0 123725 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 499792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26306
/proc/meminfo: memFree=27106676/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=499792 CPUtime=1781.91 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 124408 0 0 0 177888 303 0 0 20 0 1 0 330548200 511787008 124182 33554432000 4194304 8989770 140736822275808 140736822275072 7697332 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 124948 124182 461 1171 0 123725 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 499792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26307
/proc/meminfo: memFree=27106304/32873648 swapFree=7112/7112
[pid=26229] ppid=26227 vsize=499792 CPUtime=1800.01 cores=1,3,5,7
/proc/26229/stat : 26229 (toysat) R 26227 26229 25232 0 -1 4202496 124408 0 0 0 179696 305 0 0 20 0 1 0 330548200 511787008 124182 33554432000 4194304 8989770 140736822275808 140736822275072 7857787 0 2 0 34082818 0 0 0 17 3 0 0 0 0 0
/proc/26229/statm: 124948 124182 461 1171 0 123725 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 499792
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.97
CPU system time (s): 3.05753
CPU usage (%): 99.9787
Max. virtual memory (cumulated for all children) (KiB): 499792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.97
system time used= 3.05754
maximum resident set size= 496728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124408
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= 149
involuntary context switches= 1847
runsolver used 3.67044 second user time and 9.2166 second system time
The end