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-3464095-1307411974/watcher-3464095-1307411974 -o /tmp/evaluation-result-3464095-1307411974/solver-3464095-1307411974 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464095-1307411974.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: 1.90 2.02 1.99 2/561 25901
/proc/meminfo: memFree=29963588/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=8672 CPUtime=0.01 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 726 0 0 0 1 0 0 0 25 0 1 0 852796083 8880128 675 33554432000 4194304 6539028 140734136403600 18446744073709551615 4526993 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 2168 675 235 573 0 1586 0
[startup+0.0879839 s]
/proc/loadavg: 1.90 2.02 1.99 2/561 25901
/proc/meminfo: memFree=29963588/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=12812 CPUtime=0.08 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 1688 0 0 0 8 0 0 0 25 0 1 0 852796083 13119488 1637 33554432000 4194304 6539028 140734136403600 18446744073709551615 4357150 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 3203 1637 235 573 0 2621 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12812
[startup+0.10099 s]
/proc/loadavg: 1.90 2.02 1.99 2/561 25901
/proc/meminfo: memFree=29963588/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=13552 CPUtime=0.09 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 1809 0 0 0 9 0 0 0 25 0 1 0 852796083 13877248 1758 33554432000 4194304 6539028 140734136403600 18446744073709551615 5229526 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 3388 1758 235 573 0 2806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13552
[startup+0.300957 s]
/proc/loadavg: 1.90 2.02 1.99 2/561 25901
/proc/meminfo: memFree=29963588/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=44472 CPUtime=0.29 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 9667 0 0 0 28 1 0 0 25 0 1 0 852796083 45539328 9398 33554432000 4194304 6539028 140734136403600 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 11118 9400 235 573 0 10536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44472
[startup+0.700888 s]
/proc/loadavg: 1.90 2.02 1.99 2/561 25901
/proc/meminfo: memFree=29963588/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=128364 CPUtime=0.69 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 30784 0 0 0 66 3 0 0 25 0 1 0 852796083 131444736 30064 33554432000 4194304 6539028 140734136403600 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 32091 30068 251 573 0 31509 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128364
[startup+1.50075 s]
/proc/loadavg: 1.90 2.02 1.99 3/562 25902
/proc/meminfo: memFree=29811800/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=182448 CPUtime=1.49 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 44969 0 0 0 145 4 0 0 25 0 1 0 852796083 186826752 44234 33554432000 4194304 6539028 140734136403600 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 45612 44235 260 573 0 45030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 182448
[startup+3.10037 s]
/proc/loadavg: 1.90 2.02 1.99 3/562 25902
/proc/meminfo: memFree=29752528/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=282324 CPUtime=3.09 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 66213 0 0 0 303 6 0 0 25 0 1 0 852796083 289099776 65436 33554432000 4194304 6539028 140734136403600 18446744073709551615 4700405 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 70581 65437 260 573 0 69999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 282324
[startup+6.30094 s]
/proc/loadavg: 2.07 2.05 2.00 3/562 25902
/proc/meminfo: memFree=29812232/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=6.29 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82111 0 0 0 620 9 0 0 25 0 1 0 852796083 155746304 37113 33554432000 4194304 6539028 140734136403600 18446744073709551615 4492418 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37113 269 573 0 37442 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152096
[startup+12.7009 s]
/proc/loadavg: 2.06 2.05 2.00 3/562 25902
/proc/meminfo: memFree=29810808/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=12.69 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 1260 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4698665 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152096
[startup+25.5007 s]
/proc/loadavg: 2.05 2.05 2.00 3/562 25902
/proc/meminfo: memFree=29810812/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=25.49 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 2540 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4715612 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 152096
[startup+51.1004 s]
/proc/loadavg: 2.18 2.08 2.01 3/562 25903
/proc/meminfo: memFree=29810436/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=51.09 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 5100 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4698535 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 152096
[startup+102.321 s]
/proc/loadavg: 2.20 2.09 2.02 3/562 25913
/proc/meminfo: memFree=29810708/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=102.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 10222 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4494369 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 152096
[startup+162.301 s]
/proc/loadavg: 2.14 2.09 2.02 3/562 26387
/proc/meminfo: memFree=29804172/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=162.29 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 16220 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 152096
[startup+222.301 s]
/proc/loadavg: 2.05 2.07 2.01 3/562 26389
/proc/meminfo: memFree=29807664/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=222.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 22222 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4523904 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 152096
[startup+282.301 s]
/proc/loadavg: 2.02 2.06 2.00 3/562 26392
/proc/meminfo: memFree=29808644/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=282.29 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 28220 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4523904 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 152096
[startup+342.321 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 26395
/proc/meminfo: memFree=29809372/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=342.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 34222 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4714768 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 152096
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 26396
/proc/meminfo: memFree=29809584/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=402.29 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 40220 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4501540 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 152096
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 26398
/proc/meminfo: memFree=29810552/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=462.3 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 46221 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4494895 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 152096
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 26400
/proc/meminfo: memFree=29810764/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=522.3 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 52221 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4716047 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 152096
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 26401
/proc/meminfo: memFree=29810240/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=582.3 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82112 0 0 0 58221 9 0 0 25 0 1 0 852796083 155746304 37114 33554432000 4194304 6539028 140734136403600 18446744073709551615 4501504 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37114 270 573 0 37442 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 152096
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/562 26408
/proc/meminfo: memFree=29810512/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=822.3 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 82221 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4625692 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 152096
[startup+882.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 26409
/proc/meminfo: memFree=29809344/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=882.32 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 88223 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 152096
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 26411
/proc/meminfo: memFree=29810532/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=942.3 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 94221 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 152096
[startup+1002.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 26412
/proc/meminfo: memFree=29810492/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1002.32 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 100223 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4718147 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 152096
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 26414
/proc/meminfo: memFree=29811080/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1062.3 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 106221 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4715600 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 152096
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/562 26416
/proc/meminfo: memFree=29811020/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1122.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 112222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4707375 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 152096
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/562 26417
/proc/meminfo: memFree=29809752/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1182.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 118222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4716052 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 152096
[startup+1242.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/562 26419
/proc/meminfo: memFree=29809344/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1242.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 124222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4698598 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 152096
[startup+1302.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/562 26420
/proc/meminfo: memFree=29808072/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1302.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 130222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4718197 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 152096
[startup+1362.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/562 26422
/proc/meminfo: memFree=29809628/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1362.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 136222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4492683 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 152096
[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/562 26424
/proc/meminfo: memFree=29810484/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1422.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 142222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 152096
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 26425
/proc/meminfo: memFree=29809452/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1482.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 148222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4707328 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 152096
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 26427
/proc/meminfo: memFree=29811044/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1542.33 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 154224 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 152096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 26428
/proc/meminfo: memFree=29810772/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1602.31 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 160222 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 152096
[startup+1662.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 26430
/proc/meminfo: memFree=29810628/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1662.33 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 166224 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 152096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 26432
/proc/meminfo: memFree=29810476/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1722.32 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 172223 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4714768 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 152096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/562 26433
/proc/meminfo: memFree=29808208/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1782.32 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 178223 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4501483 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 152096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.04 2.01 2/560 26435
/proc/meminfo: memFree=29821112/32950928 swapFree=41528364/67111528
[pid=25901] ppid=25899 vsize=152096 CPUtime=1800.04 cores=0,2,4,6
/proc/25901/stat : 25901 (minisatid) R 25899 25901 23457 0 -1 4202496 82123 0 0 0 179995 9 0 0 25 0 1 0 852796083 155746304 37125 33554432000 4194304 6539028 140734136403600 18446744073709551615 4698682 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/25901/statm: 38024 37125 270 573 0 37442 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 152096
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): 1799.95
CPU system time (s): 0.103984
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 363712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82126
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= 3
involuntary context switches= 4376
runsolver used 10.4564 second user time and 22.2956 second system time
The end