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-3464760-1307388746/watcher-3464760-1307388746 -o /tmp/evaluation-result-3464760-1307388746/solver-3464760-1307388746 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464760-1307388746.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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.05 2.01 2/572 19292
/proc/meminfo: memFree=31521816/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=8576 CPUtime=0.01 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 716 0 0 0 1 0 0 0 25 0 1 0 850473384 8781824 666 33554432000 4194304 6539028 140736126081104 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 2144 667 236 573 0 1562 0
[startup+0.0509409 s]
/proc/loadavg: 2.09 2.05 2.01 2/572 19292
/proc/meminfo: memFree=31521816/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=9896 CPUtime=0.04 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 1085 0 0 0 4 0 0 0 25 0 1 0 850473384 10133504 1031 33554432000 4194304 6539028 140736126081104 18446744073709551615 4702044 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 2474 1031 261 573 0 1892 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9896
[startup+0.100922 s]
/proc/loadavg: 2.09 2.05 2.01 2/572 19292
/proc/meminfo: memFree=31521816/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=10020 CPUtime=0.09 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 1502 0 0 0 9 0 0 0 25 0 1 0 850473384 10260480 1448 33554432000 4194304 6539028 140736126081104 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 2505 1448 270 573 0 1923 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10020
[startup+0.300774 s]
/proc/loadavg: 2.09 2.05 2.01 2/572 19292
/proc/meminfo: memFree=31521816/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=17160 CPUtime=0.29 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 2902 0 0 0 29 0 0 0 25 0 1 0 850473384 17571840 2847 33554432000 4194304 6539028 140736126081104 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 4290 2847 270 573 0 3708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17160
[startup+0.700822 s]
/proc/loadavg: 2.09 2.05 2.01 2/572 19292
/proc/meminfo: memFree=31521816/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=24384 CPUtime=0.69 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 5674 0 0 0 69 0 0 0 25 0 1 0 850473384 24969216 5618 33554432000 4194304 6539028 140736126081104 18446744073709551615 4718144 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 6096 5618 270 573 0 5514 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24384
[startup+1.50067 s]
/proc/loadavg: 2.09 2.05 2.01 3/573 19293
/proc/meminfo: memFree=31540036/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=36252 CPUtime=1.49 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 12427 0 0 0 148 1 0 0 25 0 1 0 850473384 37122048 6493 33554432000 4194304 6539028 140736126081104 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 9063 6495 271 573 0 8481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36252
[startup+3.10033 s]
/proc/loadavg: 2.09 2.05 2.01 3/573 19293
/proc/meminfo: memFree=31512996/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=66420 CPUtime=3.09 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 21219 0 0 0 307 2 0 0 25 0 1 0 850473384 68014080 9521 33554432000 4194304 6539028 140736126081104 18446744073709551615 4715600 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 16605 9521 271 573 0 16023 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66420
[startup+6.30077 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 19293
/proc/meminfo: memFree=31455660/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=66420 CPUtime=6.29 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 37000 0 0 0 625 4 0 0 25 0 1 0 850473384 68014080 16230 33554432000 4194304 6539028 140736126081104 18446744073709551615 4707368 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 16605 16230 271 573 0 16023 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 66420
[startup+12.7007 s]
/proc/loadavg: 2.24 2.08 2.02 3/573 19294
/proc/meminfo: memFree=31438064/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=66420 CPUtime=12.69 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 47134 0 0 0 1263 6 0 0 25 0 1 0 850473384 68014080 16230 33554432000 4194304 6539028 140736126081104 18446744073709551615 4617578 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 16605 16230 271 573 0 16023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66420
[startup+25.5004 s]
/proc/loadavg: 2.12 2.06 2.01 3/573 19322
/proc/meminfo: memFree=31536564/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=66420 CPUtime=25.5 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 141756 0 0 0 2532 18 0 0 25 0 1 0 850473384 68014080 16230 33554432000 4194304 6539028 140736126081104 18446744073709551615 4713832 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 16605 16230 271 573 0 16023 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 66420
[startup+51.1007 s]
/proc/loadavg: 2.08 2.05 2.01 3/573 19323
/proc/meminfo: memFree=31537168/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=115740 CPUtime=51.09 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 397668 0 0 0 5061 48 0 0 25 0 1 0 850473384 118517760 26874 33554432000 4194304 6539028 140736126081104 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 28935 26874 271 573 0 28353 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115740
[startup+102.322 s]
/proc/loadavg: 2.15 2.09 2.02 3/573 19324
/proc/meminfo: memFree=31486188/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=146560 CPUtime=102.31 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 897166 0 0 0 10120 111 0 0 25 0 1 0 850473384 150077440 29762 33554432000 4194304 6539028 140736126081104 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 36640 29764 271 573 0 36058 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 146560
[startup+162.301 s]
/proc/loadavg: 2.09 2.08 2.02 3/573 19326
/proc/meminfo: memFree=31522868/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=127608 CPUtime=162.29 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 1495115 0 0 0 16039 190 0 0 25 0 1 0 850473384 130670592 28370 33554432000 4194304 6539028 140736126081104 18446744073709551615 4282464 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 31902 28370 271 573 0 31320 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 127608
[startup+222.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/573 19327
/proc/meminfo: memFree=31468648/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=158428 CPUtime=222.29 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 2071946 0 0 0 21967 262 0 0 25 0 1 0 850473384 162230272 34495 33554432000 4194304 6539028 140736126081104 18446744073709551615 4707600 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39607 34495 271 573 0 39025 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 158428
[startup+282.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/573 19329
/proc/meminfo: memFree=31472680/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=127608 CPUtime=282.29 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 2651806 0 0 0 27891 338 0 0 25 0 1 0 850473384 130670592 27410 33554432000 4194304 6539028 140736126081104 18446744073709551615 4707446 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 31902 27410 271 573 0 31320 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 127608
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 19330
/proc/meminfo: memFree=31469152/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=158428 CPUtime=342.3 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 3240029 0 0 0 33816 414 0 0 25 0 1 0 850473384 162230272 34820 33554432000 4194304 6539028 140736126081104 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39607 34821 271 573 0 39025 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 158428
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19332
/proc/meminfo: memFree=31522444/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=158428 CPUtime=402.3 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 3834256 0 0 0 39736 494 0 0 25 0 1 0 850473384 162230272 32725 33554432000 4194304 6539028 140736126081104 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39607 32725 271 573 0 39025 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 158428
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19334
/proc/meminfo: memFree=31465860/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=158428 CPUtime=462.31 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 4417894 0 0 0 45663 568 0 0 25 0 1 0 850473384 162230272 36518 33554432000 4194304 6539028 140736126081104 18446744073709551615 4700443 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39607 36519 271 573 0 39025 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 158428
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19335
/proc/meminfo: memFree=31470516/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=208516 CPUtime=522.3 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 4995135 0 0 0 51585 645 0 0 25 0 1 0 850473384 213520384 39286 33554432000 4194304 6539028 140736126081104 18446744073709551615 4707337 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 52129 39286 271 573 0 51547 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 208516
[startup+582.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/573 19337
/proc/meminfo: memFree=31493904/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=127608 CPUtime=582.31 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 5584944 0 0 0 57505 726 0 0 25 0 1 0 850473384 130670592 30318 33554432000 4194304 6539028 140736126081104 18446744073709551615 4718154 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 31902 30318 271 573 0 31320 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 127608
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/573 19343
/proc/meminfo: memFree=31416848/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=159100 CPUtime=822.32 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 7920541 0 0 0 81192 1040 0 0 25 0 1 0 850473384 162918400 37122 33554432000 4194304 6539028 140736126081104 18446744073709551615 4713248 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39775 37122 271 573 0 39193 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 159100
[startup+882.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 19345
/proc/meminfo: memFree=31422004/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=189920 CPUtime=882.31 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 8492004 0 0 0 87114 1117 0 0 25 0 1 0 850473384 194478080 46099 33554432000 4194304 6539028 140736126081104 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 47480 46100 271 573 0 46898 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 189920
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19346
/proc/meminfo: memFree=31414260/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=159100 CPUtime=942.31 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 9089113 0 0 0 93032 1199 0 0 25 0 1 0 850473384 162918400 38455 33554432000 4194304 6539028 140736126081104 18446744073709551615 4713836 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39775 38456 271 573 0 39193 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 159100
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19348
/proc/meminfo: memFree=31436796/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=189920 CPUtime=1002.32 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 9678638 0 0 0 98958 1274 0 0 25 0 1 0 850473384 194478080 43169 33554432000 4194304 6539028 140736126081104 18446744073709551615 4499120 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 47480 43169 271 573 0 46898 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 189920
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19350
/proc/meminfo: memFree=31459188/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=189920 CPUtime=1062.32 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 10262567 0 0 0 104878 1354 0 0 25 0 1 0 850473384 194478080 41628 33554432000 4194304 6539028 140736126081104 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 47480 41628 271 573 0 46898 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 189920
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 19351
/proc/meminfo: memFree=31415360/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=240008 CPUtime=1122.32 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 10845101 0 0 0 110799 1433 0 0 25 0 1 0 850473384 245768192 49167 33554432000 4194304 6539028 140736126081104 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 60002 49167 271 573 0 59420 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 240008
[startup+1182.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/573 19353
/proc/meminfo: memFree=31438384/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=240008 CPUtime=1182.32 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 11429644 0 0 0 116718 1514 0 0 25 0 1 0 850473384 245768192 47444 33554432000 4194304 6539028 140736126081104 18446744073709551615 4707371 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 60002 47444 271 573 0 59420 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 240008
[startup+1242.3 s]
/proc/loadavg: 2.28 2.11 2.03 3/573 19354
/proc/meminfo: memFree=31418616/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=240008 CPUtime=1242.32 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 12006344 0 0 0 122642 1590 0 0 25 0 1 0 850473384 245768192 48998 33554432000 4194304 6539028 140736126081104 18446744073709551615 4702311 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 60002 48999 271 573 0 59420 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 240008
[startup+1302.3 s]
/proc/loadavg: 2.10 2.09 2.03 3/573 19356
/proc/meminfo: memFree=31442768/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=109780 CPUtime=1302.33 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 12594001 0 0 0 128564 1669 0 0 25 0 1 0 850473384 112414720 27070 33554432000 4194304 6539028 140736126081104 18446744073709551615 4700430 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 27445 27070 271 573 0 26863 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 109780
[startup+1362.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/573 19358
/proc/meminfo: memFree=31451032/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=189920 CPUtime=1362.33 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 13183918 0 0 0 134486 1747 0 0 25 0 1 0 850473384 194478080 41745 33554432000 4194304 6539028 140736126081104 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 47480 41745 271 573 0 46898 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 189920
[startup+1422.32 s]
/proc/loadavg: 2.01 2.05 2.01 3/573 19359
/proc/meminfo: memFree=31409440/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=109780 CPUtime=1422.34 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 13758507 0 0 0 140405 1829 0 0 25 0 1 0 850473384 112414720 27070 33554432000 4194304 6539028 140736126081104 18446744073709551615 4498605 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 27445 27070 271 573 0 26863 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 109780
[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/573 19361
/proc/meminfo: memFree=31462460/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=189920 CPUtime=1482.33 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 14338746 0 0 0 146322 1911 0 0 25 0 1 0 850473384 194478080 39510 33554432000 4194304 6539028 140736126081104 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 47480 39511 271 573 0 46898 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 189920
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 19362
/proc/meminfo: memFree=31462164/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=159100 CPUtime=1542.33 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 14923236 0 0 0 152242 1991 0 0 25 0 1 0 850473384 162918400 36360 33554432000 4194304 6539028 140736126081104 18446744073709551615 4282091 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39775 36360 271 573 0 39193 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 159100
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19364
/proc/meminfo: memFree=31431260/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=240008 CPUtime=1602.33 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 15510764 0 0 0 158165 2068 0 0 25 0 1 0 850473384 245768192 47657 33554432000 4194304 6539028 140736126081104 18446744073709551615 4287668 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 60002 47657 271 573 0 59420 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 240008
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 19366
/proc/meminfo: memFree=31407660/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=240008 CPUtime=1662.34 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 16091803 0 0 0 164089 2145 0 0 25 0 1 0 850473384 245768192 50627 33554432000 4194304 6539028 140736126081104 18446744073709551615 4704172 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 60002 50627 271 573 0 59420 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 240008
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/573 19376
/proc/meminfo: memFree=31426920/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=240008 CPUtime=1722.34 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 16676364 0 0 0 170011 2223 0 0 25 0 1 0 850473384 245768192 49572 33554432000 4194304 6539028 140736126081104 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 60002 49572 271 573 0 59420 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 240008
[startup+1782.3 s]
/proc/loadavg: 2.20 2.09 2.02 3/573 19378
/proc/meminfo: memFree=31455488/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=159100 CPUtime=1782.33 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 17258477 0 0 0 175927 2306 0 0 25 0 1 0 850473384 162918400 38958 33554432000 4194304 6539028 140736126081104 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 39775 38958 271 573 0 39193 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 159100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.29 2.12 2.03 3/573 19378
/proc/meminfo: memFree=31430684/32950928 swapFree=43925852/67111528
[pid=19292] ppid=19290 vsize=189920 CPUtime=1800.05 cores=0,2,4,6
/proc/19292/stat : 19292 (minisatid) R 19290 19292 18512 0 -1 4202496 17430399 0 0 0 177676 2329 0 0 25 0 1 0 850473384 194478080 42638 33554432000 4194304 6539028 140736126081104 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/19292/statm: 47480 42638 271 573 0 46898 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 189920
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.07
CPU user time (s): 1776.78
CPU system time (s): 23.2985
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 289328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.78
system time used= 23.2985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17430442
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= 7
involuntary context switches= 1636
runsolver used 10.3274 second user time and 22.5496 second system time
The end