runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3464661-1307387731/watcher-3464661-1307387731 -o /tmp/evaluation-result-3464661-1307387731/solver-3464661-1307387731 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3464661-1307387731.opb --verbosity=0 --format=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: 1.93 2.04 2.01 3/558 28633
/proc/meminfo: memFree=28768952/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=8336 CPUtime=0.01 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 645 0 0 0 1 0 0 0 25 0 1 0 929003743 8536064 598 33554432000 4194304 6539028 140735830606624 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 2084 599 236 573 0 1502 0
[startup+0.0395589 s]
/proc/loadavg: 1.93 2.04 2.01 3/558 28633
/proc/meminfo: memFree=28768952/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=9796 CPUtime=0.03 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 1034 0 0 0 3 0 0 0 25 0 1 0 929003743 10031104 983 33554432000 4194304 6539028 140735830606624 18446744073709551615 5638007 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 2449 983 251 573 0 1867 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9796
[startup+0.100534 s]
/proc/loadavg: 1.93 2.04 2.01 3/558 28633
/proc/meminfo: memFree=28768952/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=9956 CPUtime=0.09 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 1389 0 0 0 9 0 0 0 25 0 1 0 929003743 10194944 1338 33554432000 4194304 6539028 140735830606624 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 2489 1338 261 573 0 1907 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9956
[startup+0.300508 s]
/proc/loadavg: 1.93 2.04 2.01 3/558 28633
/proc/meminfo: memFree=28768952/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=12672 CPUtime=0.29 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 2668 0 0 0 29 0 0 0 25 0 1 0 929003743 12976128 2616 33554432000 4194304 6539028 140735830606624 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 3168 2616 270 573 0 2586 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12672
[startup+0.70044 s]
/proc/loadavg: 1.93 2.04 2.01 3/558 28633
/proc/meminfo: memFree=28768952/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=24344 CPUtime=0.68 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 5187 0 0 0 68 0 0 0 25 0 1 0 929003743 24928256 5134 33554432000 4194304 6539028 140735830606624 18446744073709551615 4700510 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 6086 5135 270 573 0 5504 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24344
[startup+1.50032 s]
/proc/loadavg: 1.93 2.04 2.01 3/559 28634
/proc/meminfo: memFree=28741540/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=24552 CPUtime=1.49 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 11477 0 0 0 148 1 0 0 25 0 1 0 929003743 25141248 4883 33554432000 4194304 6539028 140735830606624 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 6138 4883 271 573 0 5556 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24552
[startup+3.101 s]
/proc/loadavg: 1.93 2.04 2.01 3/559 28634
/proc/meminfo: memFree=28737068/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=66432 CPUtime=3.08 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 21222 0 0 0 306 2 0 0 25 0 1 0 929003743 68026368 9450 33554432000 4194304 6539028 140735830606624 18446744073709551615 4715612 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 16608 9450 271 573 0 16026 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 66432
[startup+6.30052 s]
/proc/loadavg: 1.94 2.04 2.01 3/559 28634
/proc/meminfo: memFree=28703040/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=66432 CPUtime=6.29 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 37093 0 0 0 624 5 0 0 25 0 1 0 929003743 68026368 16232 33554432000 4194304 6539028 140735830606624 18446744073709551615 4503925 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 16608 16232 271 573 0 16026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66432
[startup+12.7004 s]
/proc/loadavg: 1.94 2.03 2.01 3/559 28636
/proc/meminfo: memFree=28701712/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=66432 CPUtime=12.69 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 72075 0 0 0 1259 10 0 0 25 0 1 0 929003743 68026368 16232 33554432000 4194304 6539028 140735830606624 18446744073709551615 4700419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 16608 16232 271 573 0 16026 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66432
[startup+25.5003 s]
/proc/loadavg: 1.96 2.03 2.00 3/559 28636
/proc/meminfo: memFree=28701200/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=66432 CPUtime=25.49 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 181928 0 0 0 2524 25 0 0 25 0 1 0 929003743 68026368 16232 33554432000 4194304 6539028 140735830606624 18446744073709551615 4701562 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 16608 16232 271 573 0 16026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66432
[startup+51.101 s]
/proc/loadavg: 1.97 2.03 2.00 3/559 28636
/proc/meminfo: memFree=28664464/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=66432 CPUtime=51.08 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 409111 0 0 0 5052 56 0 0 25 0 1 0 929003743 68026368 16232 33554432000 4194304 6539028 140735830606624 18446744073709551615 4701536 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 16608 16232 271 573 0 16026 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66432
[startup+102.321 s]
/proc/loadavg: 1.98 2.02 2.00 3/559 28638
/proc/meminfo: memFree=28664816/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=115752 CPUtime=102.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 874051 0 0 0 10110 121 0 0 25 0 1 0 929003743 118530048 26008 33554432000 4194304 6539028 140735830606624 18446744073709551615 4702270 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 28938 26009 271 573 0 28356 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 115752
[startup+162.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/559 28668
/proc/meminfo: memFree=28556576/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=78220 CPUtime=162.29 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 1401683 0 0 0 16035 194 0 0 25 0 1 0 929003743 80097280 19179 33554432000 4194304 6539028 140735830606624 18446744073709551615 4701578 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 19555 19179 271 573 0 18973 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 78220
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/559 28668
/proc/meminfo: memFree=28581872/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=127540 CPUtime=222.29 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 1954219 0 0 0 21959 270 0 0 25 0 1 0 929003743 130600960 28639 33554432000 4194304 6539028 140735830606624 18446744073709551615 4701890 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 31885 28639 271 573 0 31303 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 127540
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 28670
/proc/meminfo: memFree=28547996/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=78220 CPUtime=282.29 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 2504510 0 0 0 27876 353 0 0 25 0 1 0 929003743 80097280 19179 33554432000 4194304 6539028 140735830606624 18446744073709551615 4718154 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 19555 19179 271 573 0 18973 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 78220
[startup+342.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/559 28672
/proc/meminfo: memFree=28579832/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=127540 CPUtime=342.29 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 3060399 0 0 0 33795 434 0 0 25 0 1 0 929003743 130600960 27124 33554432000 4194304 6539028 140735830606624 18446744073709551615 4701496 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 31885 27124 271 573 0 31303 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 127540
[startup+402.3 s]
/proc/loadavg: 2.19 2.07 2.02 3/559 28674
/proc/meminfo: memFree=28529696/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158360 CPUtime=402.3 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 3592373 0 0 0 39715 515 0 0 25 0 1 0 929003743 162160640 32981 33554432000 4194304 6539028 140735830606624 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39590 32981 271 573 0 39008 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 158360
[startup+462.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/559 28676
/proc/meminfo: memFree=28559032/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=127540 CPUtime=462.3 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 4125324 0 0 0 45637 593 0 0 25 0 1 0 929003743 130600960 29050 33554432000 4194304 6539028 140735830606624 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 31885 29050 271 573 0 31303 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 127540
[startup+522.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/559 28676
/proc/meminfo: memFree=28521664/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158360 CPUtime=522.29 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 4638487 0 0 0 51556 673 0 0 25 0 1 0 929003743 162160640 34382 33554432000 4194304 6539028 140735830606624 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39590 34382 271 573 0 39008 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 158360
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/559 28678
/proc/meminfo: memFree=28553876/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=127540 CPUtime=582.3 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 5155995 0 0 0 57480 750 0 0 25 0 1 0 929003743 130600960 29122 33554432000 4194304 6539028 140735830606624 18446744073709551615 4700402 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 31885 29124 271 573 0 31303 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 127540
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/559 28684
/proc/meminfo: memFree=28464468/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=822.3 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 7267733 0 0 0 81154 1076 0 0 25 0 1 0 929003743 193826816 45533 33554432000 4194304 6539028 140735830606624 18446744073709551615 4282142 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 45533 271 573 0 46739 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 189284
[startup+882.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/559 28686
/proc/meminfo: memFree=28457996/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158464 CPUtime=882.3 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 7803295 0 0 0 87075 1155 0 0 25 0 1 0 929003743 162267136 38879 33554432000 4194304 6539028 140735830606624 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39616 38879 271 573 0 39034 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 158464
[startup+942.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/559 28688
/proc/meminfo: memFree=28468244/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158464 CPUtime=942.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 8335196 0 0 0 92993 1238 0 0 25 0 1 0 929003743 162267136 38219 33554432000 4194304 6539028 140735830606624 18446744073709551615 4701979 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39616 38219 271 573 0 39034 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 158464
[startup+1002.3 s]
/proc/loadavg: 2.19 2.08 2.02 3/559 28690
/proc/meminfo: memFree=28480852/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158464 CPUtime=1002.3 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 8870456 0 0 0 98907 1323 0 0 25 0 1 0 929003743 162267136 37539 33554432000 4194304 6539028 140735830606624 18446744073709551615 4713819 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39616 37539 271 573 0 39034 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 158464
[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/559 28692
/proc/meminfo: memFree=28485268/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1062.3 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 9397412 0 0 0 104824 1406 0 0 25 0 1 0 929003743 193826816 42149 33554432000 4194304 6539028 140735830606624 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 42149 271 573 0 46739 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 189284
[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/559 28692
/proc/meminfo: memFree=28495640/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158464 CPUtime=1122.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 9942807 0 0 0 110739 1492 0 0 25 0 1 0 929003743 162267136 36285 33554432000 4194304 6539028 140735830606624 18446744073709551615 4707277 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39616 36285 271 573 0 39034 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 158464
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/559 28694
/proc/meminfo: memFree=28470556/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1182.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 10480009 0 0 0 116657 1574 0 0 25 0 1 0 929003743 193826816 42877 33554432000 4194304 6539028 140735830606624 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 42877 271 573 0 46739 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 189284
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 28696
/proc/meminfo: memFree=28388936/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=239372 CPUtime=1242.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 11012015 0 0 0 122577 1654 0 0 25 0 1 0 929003743 245116928 49571 33554432000 4194304 6539028 140735830606624 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 59843 49571 271 573 0 59261 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 239372
[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/559 28698
/proc/meminfo: memFree=28440724/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158464 CPUtime=1302.33 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 11552200 0 0 0 128494 1739 0 0 25 0 1 0 929003743 162267136 35875 33554432000 4194304 6539028 140735830606624 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39616 35875 271 573 0 39034 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 158464
[startup+1362.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/559 28700
/proc/meminfo: memFree=28415896/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1362.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 12081348 0 0 0 134414 1817 0 0 25 0 1 0 929003743 193826816 45356 33554432000 4194304 6539028 140735830606624 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 45356 271 573 0 46739 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 189284
[startup+1422.32 s]
/proc/loadavg: 2.10 2.06 2.01 3/559 28703
/proc/meminfo: memFree=28439272/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1422.33 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 12611794 0 0 0 140331 1902 0 0 25 0 1 0 929003743 193826816 40155 33554432000 4194304 6539028 140735830606624 18446744073709551615 4700439 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 40156 271 573 0 46739 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 189284
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/559 28705
/proc/meminfo: memFree=28425552/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1482.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 13138131 0 0 0 146247 1984 0 0 25 0 1 0 929003743 193826816 41913 33554432000 4194304 6539028 140735830606624 18446744073709551615 4702311 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 41914 271 573 0 46739 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 189284
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/559 28707
/proc/meminfo: memFree=28424144/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1542.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 13668245 0 0 0 152164 2067 0 0 25 0 1 0 929003743 193826816 45107 33554432000 4194304 6539028 140735830606624 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 45107 271 573 0 46739 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 189284
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/559 28709
/proc/meminfo: memFree=28447168/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1602.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 14195129 0 0 0 158086 2145 0 0 25 0 1 0 929003743 193826816 39602 33554432000 4194304 6539028 140735830606624 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 39604 271 573 0 46739 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 189284
[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/559 28711
/proc/meminfo: memFree=28428772/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=158464 CPUtime=1662.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 14723149 0 0 0 164003 2228 0 0 25 0 1 0 929003743 162267136 34705 33554432000 4194304 6539028 140735830606624 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 39616 34706 271 573 0 39034 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 158464
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/559 28711
/proc/meminfo: memFree=28455772/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1722.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 15261399 0 0 0 169918 2313 0 0 25 0 1 0 929003743 193826816 40725 33554432000 4194304 6539028 140735830606624 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 40725 271 573 0 46739 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 189284
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 28713
/proc/meminfo: memFree=28408756/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=189284 CPUtime=1782.31 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 15803868 0 0 0 175829 2402 0 0 25 0 1 0 929003743 193826816 45123 33554432000 4194304 6539028 140735830606624 18446744073709551615 4700400 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 47321 45124 271 573 0 46739 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 189284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 28713
/proc/meminfo: memFree=28400440/32951124 swapFree=34426104/67111528
[pid=28633] ppid=28631 vsize=239372 CPUtime=1800.03 cores=0,2,4,6
/proc/28633/stat : 28633 (minisatid) R 28631 28633 27910 0 -1 4202496 15958929 0 0 0 177575 2428 0 0 25 0 1 0 929003743 245116928 49670 33554432000 4194304 6539028 140735830606624 18446744073709551615 4704172 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/28633/statm: 59843 49670 271 573 0 59261 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 239372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1775.76
CPU system time (s): 24.2963
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 288692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.76
system time used= 24.2963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15958965
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= 5
involuntary context switches= 2240
runsolver used 10.7694 second user time and 22.5026 second system time
The end