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-3706410-1338214499/watcher-3706410-1338214499 -o /tmp/evaluation-result-3706410-1338214499/solver-3706410-1338214499 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706410-1338214499.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 29231
/proc/meminfo: memFree=26140760/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=7232 CPUtime=0 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 818 0 0 0 0 0 0 0 20 0 1 0 287578469 7405568 740 33554432000 4194304 8973514 140735930014128 140734633052072 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 1808 740 412 1167 0 589 0
[startup+0.0653869 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29231
/proc/meminfo: memFree=26140760/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=11328 CPUtime=0.05 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 1857 0 0 0 5 0 0 0 20 0 1 0 287578469 11599872 1779 33554432000 4194304 8973514 140735930014128 140735930013624 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 2832 1779 414 1167 0 1613 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11328
[startup+0.100244 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29231
/proc/meminfo: memFree=26140760/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=14400 CPUtime=0.09 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 2681 0 0 0 9 0 0 0 20 0 1 0 287578469 14745600 2603 33554432000 4194304 8973514 140735930014128 140735930013624 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 3600 2603 417 1167 0 2381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14400
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29231
/proc/meminfo: memFree=26140760/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=23616 CPUtime=0.28 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 5170 0 0 0 28 0 0 0 20 0 1 0 287578469 24182784 5092 33554432000 4194304 8973514 140735930014128 140735930013624 4591520 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 5904 5092 418 1167 0 4685 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23616
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29231
/proc/meminfo: memFree=26140760/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=45120 CPUtime=0.69 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 10546 0 0 0 67 2 0 0 20 0 1 0 287578469 46202880 10468 33554432000 4194304 8973514 140735930014128 140735930013624 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 11280 10468 418 1167 0 10061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45120
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26077528/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=93248 CPUtime=1.49 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 22594 0 0 0 145 4 0 0 20 0 1 0 287578469 95485952 22516 33554432000 4194304 8973514 140735930014128 140735930013392 5400654 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 23312 22516 428 1167 0 22093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93248
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26043544/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=101440 CPUtime=3.09 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 24644 0 0 0 304 5 0 0 20 0 1 0 287578469 103874560 24566 33554432000 4194304 8973514 140735930014128 140735930013624 4481596 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 25360 24566 430 1167 0 24141 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101440
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26043180/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=104512 CPUtime=6.28 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 25412 0 0 0 623 5 0 0 20 0 1 0 287578469 107020288 25334 33554432000 4194304 8973514 140735930014128 140735930013624 5382647 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 26128 25334 430 1167 0 24909 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104512
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26040096/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=104512 CPUtime=12.69 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 25412 0 0 0 1261 8 0 0 20 0 1 0 287578469 107020288 25334 33554432000 4194304 8973514 140735930014128 140735930013624 4208816 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 26128 25334 430 1167 0 24909 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104512
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26040344/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=104512 CPUtime=25.49 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 25412 0 0 0 2535 14 0 0 20 0 1 0 287578469 107020288 25334 33554432000 4194304 8973514 140735930014128 140735930013392 4481716 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 26128 25334 430 1167 0 24909 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 104512
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26029184/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=115776 CPUtime=51.08 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 28245 0 0 0 5089 19 0 0 20 0 1 0 287578469 118554624 28167 33554432000 4194304 8973514 140735930014128 140735930012096 4209212 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 28944 28167 447 1167 0 27725 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 115776
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26012444/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=132160 CPUtime=102.28 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 32351 0 0 0 10197 31 0 0 20 0 1 0 287578469 135331840 32273 33554432000 4194304 8973514 140735930014128 140735930012096 4437256 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 33040 32273 457 1167 0 31821 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 132160
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29232
/proc/meminfo: memFree=26003392/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=141376 CPUtime=162.26 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 34655 0 0 0 16177 49 0 0 20 0 1 0 287578469 144769024 34577 33554432000 4194304 8973514 140735930014128 140735930013392 4437316 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 35344 34577 457 1167 0 34125 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 141376
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29233
/proc/meminfo: memFree=25991488/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=153664 CPUtime=222.25 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 37727 0 0 0 22157 68 0 0 20 0 1 0 287578469 157351936 37649 33554432000 4194304 8973514 140735930014128 140735930012096 4209136 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 38416 37649 457 1167 0 37197 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 153664
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29233
/proc/meminfo: memFree=25986528/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=158784 CPUtime=282.25 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 39007 0 0 0 28134 91 0 0 20 0 1 0 287578469 162594816 38929 33554432000 4194304 8973514 140735930014128 140735930013624 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 39696 38929 457 1167 0 38477 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 158784
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29236
/proc/meminfo: memFree=25984164/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=160832 CPUtime=342.23 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 39519 0 0 0 34113 110 0 0 20 0 1 0 287578469 164691968 39441 33554432000 4194304 8973514 140735930014128 140735930013624 4434665 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 40208 39441 457 1167 0 38989 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 160832
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29236
/proc/meminfo: memFree=25984048/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=160832 CPUtime=402.22 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 39519 0 0 0 40094 128 0 0 20 0 1 0 287578469 164691968 39441 33554432000 4194304 8973514 140735930014128 140735930013624 4434764 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 40208 39441 457 1167 0 38989 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 160832
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29236
/proc/meminfo: memFree=25984296/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=160832 CPUtime=462.21 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 39519 0 0 0 46074 147 0 0 20 0 1 0 287578469 164691968 39441 33554432000 4194304 8973514 140735930014128 140735930013392 4209168 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 40208 39441 457 1167 0 38989 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 160832
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29237
/proc/meminfo: memFree=25967680/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=177216 CPUtime=522.2 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 43615 0 0 0 52055 165 0 0 20 0 1 0 287578469 181469184 43537 33554432000 4194304 8973514 140735930014128 140735930013624 4208870 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 44304 43537 457 1167 0 43085 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 177216
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29237
/proc/meminfo: memFree=25967588/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=177216 CPUtime=582.19 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 43624 0 0 0 58037 182 0 0 20 0 1 0 287578469 181469184 43537 33554432000 4194304 8973514 140735930014128 140735930013392 4434691 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 44304 43537 457 1167 0 43085 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 177216
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29278
/proc/meminfo: memFree=26792828/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=188480 CPUtime=822.14 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 46470 0 0 0 81949 265 0 0 20 0 1 0 287578469 193003520 46353 33554432000 4194304 8973514 140735930014128 140735930013624 4416101 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 47120 46353 457 1167 0 45901 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 188480
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29278
/proc/meminfo: memFree=26768028/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=196672 CPUtime=882.13 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 48519 0 0 0 87931 282 0 0 20 0 1 0 287578469 201392128 48401 33554432000 4194304 8973514 140735930014128 140735930013624 4434782 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 49168 48401 457 1167 0 47949 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 196672
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29281
/proc/meminfo: memFree=26768324/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=196672 CPUtime=942.12 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 48519 0 0 0 93905 307 0 0 20 0 1 0 287578469 201392128 48401 33554432000 4194304 8973514 140735930014128 140735930013624 4434768 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 49168 48401 457 1167 0 47949 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 196672
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29281
/proc/meminfo: memFree=26762232/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=202816 CPUtime=1002.11 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50055 0 0 0 99884 327 0 0 20 0 1 0 287578469 207683584 49937 33554432000 4194304 8973514 140735930014128 140735930013624 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 50704 49937 457 1167 0 49485 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 202816
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29281
/proc/meminfo: memFree=26762232/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=203840 CPUtime=1062.1 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50311 0 0 0 105861 349 0 0 20 0 1 0 287578469 208732160 50193 33554432000 4194304 8973514 140735930014128 140735930013624 4208850 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 50960 50193 457 1167 0 49741 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 203840
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29282
/proc/meminfo: memFree=26761048/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=203840 CPUtime=1122.09 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50312 0 0 0 111836 373 0 0 20 0 1 0 287578469 208732160 50193 33554432000 4194304 8973514 140735930014128 140735930012096 4209220 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 50960 50193 457 1167 0 49741 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 203840
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29282
/proc/meminfo: memFree=26760180/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1182.08 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 117818 390 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930013624 4208816 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 204864
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29282
/proc/meminfo: memFree=26759932/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1242.07 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 123795 412 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930012096 4209332 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 204864
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29282
/proc/meminfo: memFree=26729180/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1302.06 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 129773 433 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930012096 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 204864
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29282
/proc/meminfo: memFree=26729116/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1362.04 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 135751 453 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930013392 4434768 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 204864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29283
/proc/meminfo: memFree=26729116/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1422.05 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 141730 475 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930013624 4434773 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 204864
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29283
/proc/meminfo: memFree=26729148/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1482.03 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 147708 495 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930013392 4434755 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 204864
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 29286
/proc/meminfo: memFree=26728148/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1542.02 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 153685 517 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930013392 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 204864
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29286
/proc/meminfo: memFree=26728156/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1602.01 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 159663 538 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930013392 4434700 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 204864
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29286
/proc/meminfo: memFree=26728280/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=204864 CPUtime=1661.99 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 50568 0 0 0 165644 555 0 0 20 0 1 0 287578469 209780736 50449 33554432000 4194304 8973514 140735930014128 140735930013392 4209198 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51216 50449 457 1167 0 49997 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 204864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29286
/proc/meminfo: memFree=26725056/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=207936 CPUtime=1721.99 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 51336 0 0 0 171625 574 0 0 20 0 1 0 287578469 212926464 51217 33554432000 4194304 8973514 140735930014128 140735930013392 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51984 51217 457 1167 0 50765 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 207936
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29287
/proc/meminfo: memFree=26725056/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=207936 CPUtime=1781.98 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 51336 0 0 0 177603 595 0 0 20 0 1 0 287578469 212926464 51217 33554432000 4194304 8973514 140735930014128 140735930012096 4209272 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 51984 51217 457 1167 0 50765 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 207936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29287
/proc/meminfo: memFree=26718980/32873844 swapFree=6088/6088
[pid=29231] ppid=29229 vsize=214080 CPUtime=1800.08 cores=0,2,4,6
/proc/29231/stat : 29231 (toysat) R 29229 29231 27853 0 -1 4202496 52872 0 0 0 179409 599 0 0 20 0 1 0 287578469 219217920 52753 33554432000 4194304 8973514 140735930014128 140735930013624 4208857 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/29231/statm: 53520 52753 457 1167 0 52301 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 214080
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.09
CPU user time (s): 1794.09
CPU system time (s): 5.99909
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 214080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.09
system time used= 5.99909
maximum resident set size= 211012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52872
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= 44
involuntary context switches= 2505
runsolver used 3.73943 second user time and 8.97463 second system time
The end