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-3706485-1338243332/watcher-3706485-1338243332 -o /tmp/evaluation-result-3706485-1338243332/solver-3706485-1338243332 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706485-1338243332.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.01 2.04 2.00 3/174 14124
/proc/meminfo: memFree=28440640/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 823 0 0 0 0 0 0 0 20 0 1 0 290458675 7405568 745 33554432000 4194304 8973514 140735631685280 140735631668376 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 1808 745 411 1167 0 589 0
[startup+0.0358581 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 14124
/proc/meminfo: memFree=28440640/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 1243 0 0 0 3 0 0 0 20 0 1 0 290458675 8454144 1165 33554432000 4194304 8973514 140735631685280 140735631668376 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 2064 1170 418 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256
[startup+0.100218 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 14124
/proc/meminfo: memFree=28440640/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 2390 0 0 0 9 0 0 0 20 0 1 0 290458675 13697024 2312 33554432000 4194304 8973514 140735631685280 140735631668376 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 3344 2312 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376
[startup+0.300229 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 14124
/proc/meminfo: memFree=28440640/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=28736 CPUtime=0.29 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 6247 0 0 0 28 1 0 0 20 0 1 0 290458675 29425664 6169 33554432000 4194304 8973514 140735631685280 140735631668376 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 7184 6169 418 1167 0 5965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28736
[startup+0.700231 s]
/proc/loadavg: 2.01 2.04 2.00 3/174 14124
/proc/meminfo: memFree=28440640/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=57408 CPUtime=0.69 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 13640 0 0 0 67 2 0 0 20 0 1 0 290458675 58785792 13562 33554432000 4194304 8973514 140735631685280 140735631668376 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 14352 13562 433 1167 0 13133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57408
[startup+1.50025 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 14125
/proc/meminfo: memFree=28375260/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=69696 CPUtime=1.49 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 16727 0 0 0 146 3 0 0 20 0 1 0 290458675 71368704 16649 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 17424 16649 447 1167 0 16205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69696
[startup+3.10025 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 14125
/proc/meminfo: memFree=28367324/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=76864 CPUtime=3.09 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 18519 0 0 0 306 3 0 0 20 0 1 0 290458675 78708736 18441 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 19216 18441 447 1167 0 17997 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76864
[startup+6.30025 s]
/proc/loadavg: 2.09 2.05 2.01 3/175 14125
/proc/meminfo: memFree=28366184/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=81984 CPUtime=6.29 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 19799 0 0 0 625 4 0 0 20 0 1 0 290458675 83951616 19721 33554432000 4194304 8973514 140735631685280 140735631684544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 20496 19721 447 1167 0 19277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81984
[startup+12.7002 s]
/proc/loadavg: 2.08 2.05 2.00 3/175 14125
/proc/meminfo: memFree=28361604/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=87104 CPUtime=12.68 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 21079 0 0 0 1263 5 0 0 20 0 1 0 290458675 89194496 21001 33554432000 4194304 8973514 140735631685280 140735631684544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 21776 21001 447 1167 0 20557 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 87104
[startup+25.5002 s]
/proc/loadavg: 2.06 2.05 2.00 3/175 14125
/proc/meminfo: memFree=28349088/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=94272 CPUtime=25.48 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 22877 0 0 0 2541 7 0 0 20 0 1 0 290458675 96534528 22793 33554432000 4194304 8973514 140735631685280 140735631684776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 23568 22793 447 1167 0 22349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94272
[startup+51.1002 s]
/proc/loadavg: 2.04 2.04 2.00 3/174 14125
/proc/meminfo: memFree=28326604/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=113728 CPUtime=51.07 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 27756 0 0 0 5095 12 0 0 20 0 1 0 290458675 116457472 27657 33554432000 4194304 8973514 140735631685280 140735631684776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 28432 27657 447 1167 0 27213 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 113728
[startup+102.306 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 14126
/proc/meminfo: memFree=28283184/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=152640 CPUtime=102.24 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 37504 0 0 0 10204 20 0 0 20 0 1 0 290458675 156303360 37385 33554432000 4194304 8973514 140735631685280 140735631684544 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 38160 37385 447 1167 0 36941 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 152640
[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 14164
/proc/meminfo: memFree=27677624/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=198720 CPUtime=162.23 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 49024 0 0 0 16192 31 0 0 20 0 1 0 290458675 203489280 48905 33554432000 4194304 8973514 140735631685280 140735631684776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 49680 48905 447 1167 0 48461 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 198720
[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/175 14164
/proc/meminfo: memFree=27634376/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=240704 CPUtime=222.2 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 59539 0 0 0 22180 40 0 0 20 0 1 0 290458675 246480896 59401 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 60176 59401 447 1167 0 58957 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 240704
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 14167
/proc/meminfo: memFree=27602264/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=272448 CPUtime=282.19 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 67482 0 0 0 28170 49 0 0 20 0 1 0 290458675 278986752 67337 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 68112 67337 447 1167 0 66893 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 272448
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 14167
/proc/meminfo: memFree=27571356/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=304192 CPUtime=342.18 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 75418 0 0 0 34161 57 0 0 20 0 1 0 290458675 311492608 75273 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 76048 75273 447 1167 0 74829 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 304192
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 14168
/proc/meminfo: memFree=27537780/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=336960 CPUtime=402.17 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 83610 0 0 0 40152 65 0 0 20 0 1 0 290458675 345047040 83465 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 84240 83465 447 1167 0 83021 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 336960
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 14168
/proc/meminfo: memFree=27506064/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=368704 CPUtime=462.16 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 91546 0 0 0 46142 74 0 0 20 0 1 0 290458675 377552896 91401 33554432000 4194304 8973514 140735631685280 140735631684544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 92176 91401 447 1167 0 90957 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 368704
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14168
/proc/meminfo: memFree=27475836/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=398400 CPUtime=522.15 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 98970 0 0 0 52133 82 0 0 20 0 1 0 290458675 407961600 98825 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 99600 98825 447 1167 0 98381 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 398400
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14168
/proc/meminfo: memFree=27454412/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=419904 CPUtime=582.15 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 104347 0 0 0 58124 91 0 0 20 0 1 0 290458675 429981696 104202 33554432000 4194304 8973514 140735631685280 140735631683200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 104976 104202 448 1167 0 103757 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 419904
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14169
/proc/meminfo: memFree=27445868/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=419904 CPUtime=822.1 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 104360 0 0 0 82089 121 0 0 20 0 1 0 290458675 429981696 104202 33554432000 4194304 8973514 140735631685280 140735631684544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 104976 104202 448 1167 0 103757 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 419904
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14172
/proc/meminfo: memFree=27436648/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=432192 CPUtime=882.09 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 107365 0 0 0 88082 127 0 0 20 0 1 0 290458675 442564608 107206 33554432000 4194304 8973514 140735631685280 140735631684776 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 108048 107206 448 1167 0 106829 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 432192
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14172
/proc/meminfo: memFree=27417952/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=448576 CPUtime=942.08 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 111532 0 0 0 94075 133 0 0 20 0 1 0 290458675 459341824 111370 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 112144 111370 448 1167 0 110925 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 448576
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14173
/proc/meminfo: memFree=27418200/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=448576 CPUtime=1002.07 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 111532 0 0 0 100068 139 0 0 20 0 1 0 290458675 459341824 111370 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 112144 111370 448 1167 0 110925 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 448576
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14173
/proc/meminfo: memFree=27400592/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=464960 CPUtime=1062.06 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 115628 0 0 0 106062 144 0 0 20 0 1 0 290458675 476119040 115466 33554432000 4194304 8973514 140735631685280 140735631684776 4204374 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 116240 115466 448 1167 0 115021 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 464960
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14173
/proc/meminfo: memFree=27396504/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=469056 CPUtime=1122.05 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 116652 0 0 0 112053 152 0 0 20 0 1 0 290458675 480313344 116490 33554432000 4194304 8973514 140735631685280 140735631684776 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 117264 116490 448 1167 0 116045 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 469056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14173
/proc/meminfo: memFree=27386212/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=479296 CPUtime=1182.04 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 119212 0 0 0 118046 158 0 0 20 0 1 0 290458675 490799104 119050 33554432000 4194304 8973514 140735631685280 140735631684776 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 119824 119050 448 1167 0 118605 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 479296
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14173
/proc/meminfo: memFree=27372944/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=492608 CPUtime=1242.04 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 122540 0 0 0 124040 164 0 0 20 0 1 0 290458675 504430592 122378 33554432000 4194304 8973514 140735631685280 140735631684776 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 123152 122378 448 1167 0 121933 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 492608
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14174
/proc/meminfo: memFree=27422088/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=443456 CPUtime=1302.03 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 122540 0 0 0 130031 172 0 0 20 0 1 0 290458675 454098944 110090 33554432000 4194304 8973514 140735631685280 140735631684544 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 110864 110090 448 1167 0 109645 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 443456
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14174
/proc/meminfo: memFree=27421964/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=443456 CPUtime=1362.02 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 122540 0 0 0 136022 180 0 0 20 0 1 0 290458675 454098944 110090 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 110864 110090 448 1167 0 109645 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 443456
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14174
/proc/meminfo: memFree=27421964/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=443456 CPUtime=1422.02 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 122540 0 0 0 142017 185 0 0 20 0 1 0 290458675 454098944 110090 33554432000 4194304 8973514 140735631685280 140735631683200 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 110864 110090 448 1167 0 109645 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 443456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14177
/proc/meminfo: memFree=27421960/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=443456 CPUtime=1482 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 122540 0 0 0 148009 191 0 0 20 0 1 0 290458675 454098944 110090 33554432000 4194304 8973514 140735631685280 140735631683200 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 110864 110090 448 1167 0 109645 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 443456
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14177
/proc/meminfo: memFree=27421740/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=443456 CPUtime=1541.98 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 122548 0 0 0 154000 198 0 0 20 0 1 0 290458675 454098944 110090 33554432000 4194304 8973514 140735631685280 140735631684544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 110864 110090 448 1167 0 109645 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 443456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14178
/proc/meminfo: memFree=27407844/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=457792 CPUtime=1601.97 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 126132 0 0 0 159992 205 0 0 20 0 1 0 290458675 468779008 113674 33554432000 4194304 8973514 140735631685280 140735631684544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 114448 113674 448 1167 0 113229 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 457792
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14178
/proc/meminfo: memFree=27395568/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=470080 CPUtime=1661.97 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 129204 0 0 0 165985 212 0 0 20 0 1 0 290458675 481361920 116746 33554432000 4194304 8973514 140735631685280 140735631667264 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 117520 116746 448 1167 0 116301 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 470080
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 14178
/proc/meminfo: memFree=27372132/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=493632 CPUtime=1721.95 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 135092 0 0 0 171977 218 0 0 20 0 1 0 290458675 505479168 122634 33554432000 4194304 8973514 140735631685280 140735631684776 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 123408 122634 448 1167 0 122189 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 493632
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14178
/proc/meminfo: memFree=27358492/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=505920 CPUtime=1781.94 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 138164 0 0 0 177967 227 0 0 20 0 1 0 290458675 518062080 125706 33554432000 4194304 8973514 140735631685280 140735631684776 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 126480 125706 448 1167 0 125261 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 505920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14178
/proc/meminfo: memFree=27354772/32873624 swapFree=7104/7104
[pid=14124] ppid=14122 vsize=510016 CPUtime=1800.05 cores=1,3,5,7
/proc/14124/stat : 14124 (toysat) R 14122 14124 13062 0 -1 4202496 139188 0 0 0 179775 230 0 0 20 0 1 0 290458675 522256384 126730 33554432000 4194304 8973514 140735631685280 140735631684544 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/14124/statm: 127504 126730 448 1167 0 126285 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 510016
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.07
CPU user time (s): 1797.76
CPU system time (s): 2.30765
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 510016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.76
system time used= 2.30765
maximum resident set size= 506920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139188
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= 95
involuntary context switches= 1848
runsolver used 3.36949 second user time and 9.11461 second system time
The end