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-3464677-1307390534/watcher-3464677-1307390534 -o /tmp/evaluation-result-3464677-1307390534/solver-3464677-1307390534 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464677-1307390534.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.00 2.02 2.00 2/461 11091
/proc/meminfo: memFree=28560616/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=7932 CPUtime=0 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 564 0 0 0 0 0 0 0 25 0 1 0 850651356 8122368 513 33554432000 4194304 6539028 140733501361536 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 1983 513 236 573 0 1401 0
[startup+0.065817 s]
/proc/loadavg: 2.00 2.02 2.00 2/461 11091
/proc/meminfo: memFree=28560616/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=12292 CPUtime=0.06 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 1674 0 0 0 6 0 0 0 25 0 1 0 850651356 12587008 1617 33554432000 4194304 6539028 140733501361536 18446744073709551615 5474739 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 3073 1617 258 573 0 2491 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12292
[startup+0.100825 s]
/proc/loadavg: 2.00 2.02 2.00 2/461 11091
/proc/meminfo: memFree=28560616/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=12292 CPUtime=0.09 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 1688 0 0 0 9 0 0 0 25 0 1 0 850651356 12587008 1630 33554432000 4194304 6539028 140733501361536 18446744073709551615 4624816 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 3073 1630 269 573 0 2491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12292
[startup+0.300779 s]
/proc/loadavg: 2.00 2.02 2.00 2/461 11091
/proc/meminfo: memFree=28560616/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=12500 CPUtime=0.29 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 2519 0 0 0 29 0 0 0 25 0 1 0 850651356 12800000 2461 33554432000 4194304 6539028 140733501361536 18446744073709551615 4617533 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 3125 2461 270 573 0 2543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12500
[startup+0.700742 s]
/proc/loadavg: 2.00 2.02 2.00 2/461 11091
/proc/meminfo: memFree=28560616/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=19632 CPUtime=0.69 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 4468 0 0 0 69 0 0 0 25 0 1 0 850651356 20103168 4406 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 4908 4406 270 573 0 4326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19632
[startup+1.50059 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 11092
/proc/meminfo: memFree=28549448/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=12796 CPUtime=1.49 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 9184 0 0 0 148 1 0 0 25 0 1 0 850651356 13103104 2802 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 3199 2802 270 573 0 2617 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12796
[startup+3.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 11092
/proc/meminfo: memFree=28533948/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=45760 CPUtime=3.09 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 13909 0 0 0 308 1 0 0 25 0 1 0 850651356 46858240 7525 33554432000 4194304 6539028 140733501361536 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 11440 7525 271 573 0 10858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45760
[startup+6.3007 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 11092
/proc/meminfo: memFree=28522176/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=64612 CPUtime=6.29 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 22326 0 0 0 627 2 0 0 25 0 1 0 850651356 66162688 11049 33554432000 4194304 6539028 140733501361536 18446744073709551615 4698832 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 16153 11049 271 573 0 15571 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64612
[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 11092
/proc/meminfo: memFree=28495868/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=64612 CPUtime=12.69 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 42961 0 0 0 1264 5 0 0 25 0 1 0 850651356 66162688 15760 33554432000 4194304 6539028 140733501361536 18446744073709551615 4717216 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 16153 15760 271 573 0 15571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64612
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 11093
/proc/meminfo: memFree=28457552/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=113932 CPUtime=25.49 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 123103 0 0 0 2535 14 0 0 25 0 1 0 850651356 116666368 27022 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 28483 27022 271 573 0 27901 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 113932
[startup+51.1006 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 11093
/proc/meminfo: memFree=28496152/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=113932 CPUtime=51.1 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 270393 0 0 0 5075 35 0 0 25 0 1 0 850651356 116666368 24910 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 28483 24910 271 573 0 27901 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 113932
[startup+102.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 11095
/proc/meminfo: memFree=28494900/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=64612 CPUtime=102.31 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 349834 0 0 0 10186 45 0 0 25 0 1 0 850651356 66162688 15761 33554432000 4194304 6539028 140733501361536 18446744073709551615 5649722 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 16153 15761 271 573 0 15571 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 64612
[startup+162.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/462 11099
/proc/meminfo: memFree=28493212/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=64612 CPUtime=162.29 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 584361 0 0 0 16155 74 0 0 25 0 1 0 850651356 66162688 15761 33554432000 4194304 6539028 140733501361536 18446744073709551615 4505472 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 16153 15761 271 573 0 15571 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 64612
[startup+222.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/462 11156
/proc/meminfo: memFree=28460568/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=113932 CPUtime=222.3 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 689072 0 0 0 22143 87 0 0 25 0 1 0 850651356 116666368 23443 33554432000 4194304 6539028 140733501361536 18446744073709551615 4492539 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 28483 23443 271 573 0 27901 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 113932
[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/462 11157
/proc/meminfo: memFree=28452004/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=69124 CPUtime=282.3 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 724721 0 0 0 28139 91 0 0 25 0 1 0 850651356 70782976 16889 33554432000 4194304 6539028 140733501361536 18446744073709551615 4715696 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 17281 16889 271 573 0 16699 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 69124
[startup+342.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/462 11159
/proc/meminfo: memFree=28420488/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=76304 CPUtime=342.3 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 919888 0 0 0 34113 117 0 0 25 0 1 0 850651356 78135296 18684 33554432000 4194304 6539028 140733501361536 18446744073709551615 4701831 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 19076 18684 271 573 0 18494 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 76304
[startup+402.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/462 11161
/proc/meminfo: memFree=28376208/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=402.31 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 992578 0 0 0 40103 128 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 88240
[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/462 11162
/proc/meminfo: memFree=28360192/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=462.3 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 1251745 0 0 0 46069 161 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 4281594 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 88240
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 11164
/proc/meminfo: memFree=28401716/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=137560 CPUtime=522.3 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 1528580 0 0 0 52033 197 0 0 25 0 1 0 850651356 140861440 31283 33554432000 4194304 6539028 140733501361536 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 34390 31283 271 573 0 33808 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 137560
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 11165
/proc/meminfo: memFree=28360516/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=137560 CPUtime=582.31 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 1797518 0 0 0 57998 233 0 0 25 0 1 0 850651356 140861440 33987 33554432000 4194304 6539028 140733501361536 18446744073709551615 4717323 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 34390 33987 271 573 0 33808 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 137560
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/462 11172
/proc/meminfo: memFree=28400712/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=137560 CPUtime=822.31 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 2750078 0 0 0 81871 360 0 0 25 0 1 0 850651356 140861440 31010 33554432000 4194304 6539028 140733501361536 18446744073709551615 4698572 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 34390 31010 271 573 0 33808 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 137560
[startup+882.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/462 11173
/proc/meminfo: memFree=28362248/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=137560 CPUtime=882.32 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 3027758 0 0 0 87836 396 0 0 25 0 1 0 850651356 140861440 32027 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 34390 32027 271 573 0 33808 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 137560
[startup+942.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/462 11175
/proc/meminfo: memFree=28352560/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=942.31 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 3296511 0 0 0 93799 432 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 5649596 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 88240
[startup+1002.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/462 11177
/proc/meminfo: memFree=28432876/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=1002.32 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 3566186 0 0 0 99765 467 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 4717216 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 88240
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 11178
/proc/meminfo: memFree=28350144/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=1062.32 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 3847468 0 0 0 105723 509 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 88240
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 11180
/proc/meminfo: memFree=28400336/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=1122.33 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 4130754 0 0 0 111682 551 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 88240
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 11181
/proc/meminfo: memFree=28333852/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=1182.33 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 4406281 0 0 0 117644 589 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 4702600 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 88240
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/462 11183
/proc/meminfo: memFree=28334064/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=88240 CPUtime=1242.33 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 4686714 0 0 0 123604 629 0 0 25 0 1 0 850651356 90357760 21668 33554432000 4194304 6539028 140733501361536 18446744073709551615 4701578 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 22060 21668 271 573 0 21478 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 88240
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/462 11185
/proc/meminfo: memFree=28334044/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=168380 CPUtime=1302.34 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 4961842 0 0 0 129567 667 0 0 25 0 1 0 850651356 172421120 38429 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 42095 38429 271 573 0 41513 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 168380
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/462 11186
/proc/meminfo: memFree=28340708/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=168380 CPUtime=1362.33 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 5241417 0 0 0 135527 706 0 0 25 0 1 0 850651356 172421120 39074 33554432000 4194304 6539028 140733501361536 18446744073709551615 4700451 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 42095 39074 271 573 0 41513 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 168380
[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 11188
/proc/meminfo: memFree=28381236/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=106916 CPUtime=1422.34 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 5534609 0 0 0 141493 741 0 0 25 0 1 0 850651356 109481984 26337 33554432000 4194304 6539028 140733501361536 18446744073709551615 4490696 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 26729 26337 271 573 0 26147 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 106916
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/462 11189
/proc/meminfo: memFree=28336184/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=167964 CPUtime=1482.33 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 5884226 0 0 0 147446 787 0 0 25 0 1 0 850651356 171995136 37357 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 41991 37357 271 573 0 41409 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 167964
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/462 11191
/proc/meminfo: memFree=28315580/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=167964 CPUtime=1542.34 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 6198740 0 0 0 153404 830 0 0 25 0 1 0 850651356 171995136 37670 33554432000 4194304 6539028 140733501361536 18446744073709551615 4701550 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 41991 37671 271 573 0 41409 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 167964
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/462 11193
/proc/meminfo: memFree=28294960/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=118644 CPUtime=1602.34 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 6467567 0 0 0 159365 869 0 0 25 0 1 0 850651356 121491456 29269 33554432000 4194304 6539028 140733501361536 18446744073709551615 4700430 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 29661 29269 271 573 0 29079 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 118644
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 11194
/proc/meminfo: memFree=28316768/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=198784 CPUtime=1662.34 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 6745097 0 0 0 165324 910 0 0 25 0 1 0 850651356 203554816 43675 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 49696 43675 271 573 0 49114 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 198784
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 11196
/proc/meminfo: memFree=28313892/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=198784 CPUtime=1722.35 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 7003840 0 0 0 171286 949 0 0 25 0 1 0 850651356 203554816 46956 33554432000 4194304 6539028 140733501361536 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 49696 46956 271 573 0 49114 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 198784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 11197
/proc/meminfo: memFree=28313124/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=198784 CPUtime=1782.34 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 7286130 0 0 0 177244 990 0 0 25 0 1 0 850651356 203554816 44798 33554432000 4194304 6539028 140733501361536 18446744073709551615 4702314 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 49696 44799 271 573 0 49114 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 198784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.15 2.04 2.01 3/462 11198
/proc/meminfo: memFree=28330964/32951124 swapFree=41830676/67111528
[pid=11091] ppid=11089 vsize=167964 CPUtime=1800.05 cores=0,2,4,6
/proc/11091/stat : 11091 (minisatid) R 11089 11091 10199 0 -1 4202496 7373862 0 0 0 179002 1003 0 0 25 0 1 0 850651356 171995136 39014 33554432000 4194304 6539028 140733501361536 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/11091/statm: 41991 39014 271 573 0 41409 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 167964
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.08
CPU user time (s): 1790.04
CPU system time (s): 10.0405
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 248872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.04
system time used= 10.0405
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7373892
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= 2018
runsolver used 8.49071 second user time and 17.7193 second system time
The end