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-3466297-1307396638/watcher-3466297-1307396638 -o /tmp/evaluation-result-3466297-1307396638/solver-3466297-1307396638 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466297-1307396638.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.92 2.00 1.99 2/515 5062
/proc/meminfo: memFree=22832916/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=8280 CPUtime=0 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 586 0 0 0 0 0 0 0 24 0 1 0 929894533 8478720 533 33554432000 4194304 6736272 140736983788304 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 2070 534 248 621 0 1440 0
[startup+0.0829071 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 5062
/proc/meminfo: memFree=22832916/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=18576 CPUtime=0.07 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 3028 0 0 0 7 0 0 0 24 0 1 0 929894533 19021824 2931 33554432000 4194304 6736272 140736983788304 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 4644 2933 248 621 0 4014 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18576
[startup+0.100901 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 5062
/proc/meminfo: memFree=22832916/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=20776 CPUtime=0.09 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 3785 0 0 0 9 0 0 0 25 0 1 0 929894533 21274624 3533 33554432000 4194304 6736272 140736983788304 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 5194 3534 248 621 0 4564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20776
[startup+0.300862 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 5062
/proc/meminfo: memFree=22832916/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=37996 CPUtime=0.29 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 9636 0 0 0 29 0 0 0 25 0 1 0 929894533 38907904 7664 33554432000 4194304 6736272 140736983788304 18446744073709551615 5231296 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 9499 7664 248 621 0 8869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37996
[startup+0.700783 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 5062
/proc/meminfo: memFree=22832916/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=43568 CPUtime=0.69 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 11051 0 0 0 68 1 0 0 25 0 1 0 929894533 44613632 9079 33554432000 4194304 6736272 140736983788304 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 10892 9079 248 621 0 10262 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43568
[startup+1.50063 s]
/proc/loadavg: 1.92 2.00 1.99 3/516 5063
/proc/meminfo: memFree=22778844/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=106404 CPUtime=1.49 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 34477 0 0 0 145 4 0 0 25 0 1 0 929894533 108957696 24871 33554432000 4194304 6736272 140736983788304 18446744073709551615 4661570 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 26601 24871 265 621 0 25971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106404
[startup+3.10033 s]
/proc/loadavg: 1.92 2.00 1.99 3/516 5063
/proc/meminfo: memFree=22673940/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=244296 CPUtime=3.09 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 68743 0 0 0 301 8 0 0 25 0 1 0 929894533 250159104 59137 33554432000 4194304 6736272 140736983788304 18446744073709551615 5817966 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61074 59137 274 621 0 60444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 244296
[startup+6.30074 s]
/proc/loadavg: 1.93 2.00 1.99 3/516 5063
/proc/meminfo: memFree=22594200/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=244296 CPUtime=6.29 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 68743 0 0 0 621 8 0 0 25 0 1 0 929894533 250159104 59137 33554432000 4194304 6736272 140736983788304 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61074 59137 274 621 0 60444 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 244296
[startup+12.7005 s]
/proc/loadavg: 1.93 2.00 1.99 3/516 5064
/proc/meminfo: memFree=22593340/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=246000 CPUtime=12.69 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 69071 0 0 0 1261 8 0 0 25 0 1 0 929894533 251904000 59465 33554432000 4194304 6736272 140736983788304 18446744073709551615 5219536 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61500 59465 274 621 0 60870 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 246000
[startup+25.5011 s]
/proc/loadavg: 1.95 2.00 1.99 3/516 5064
/proc/meminfo: memFree=22592844/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=246256 CPUtime=25.49 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 69124 0 0 0 2541 8 0 0 25 0 1 0 929894533 252166144 59518 33554432000 4194304 6736272 140736983788304 18446744073709551615 4758642 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61564 59518 274 621 0 60934 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 246256
[startup+51.1002 s]
/proc/loadavg: 1.96 2.00 1.99 3/516 5065
/proc/meminfo: memFree=22591960/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=51.09 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 69375 0 0 0 5101 8 0 0 25 0 1 0 929894533 253739008 59769 33554432000 4194304 6736272 140736983788304 18446744073709551615 5148051 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 59769 274 621 0 61318 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 247792
[startup+102.32 s]
/proc/loadavg: 2.11 2.03 2.00 3/516 5066
/proc/meminfo: memFree=22586464/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=102.31 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 70343 0 0 0 10223 8 0 0 25 0 1 0 929894533 253739008 60737 33554432000 4194304 6736272 140736983788304 18446744073709551615 4750634 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 60737 284 621 0 61318 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 247792
[startup+162.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/516 5068
/proc/meminfo: memFree=22585796/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=162.29 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 70343 0 0 0 16221 8 0 0 25 0 1 0 929894533 253739008 60737 33554432000 4194304 6736272 140736983788304 18446744073709551615 4754015 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 60737 284 621 0 61318 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 247792
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/516 5069
/proc/meminfo: memFree=22586600/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=222.3 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 70389 0 0 0 22222 8 0 0 25 0 1 0 929894533 253739008 60783 33554432000 4194304 6736272 140736983788304 18446744073709551615 5818012 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 60783 284 621 0 61318 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 247792
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5071
/proc/meminfo: memFree=22587692/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=282.3 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 70389 0 0 0 28222 8 0 0 25 0 1 0 929894533 253739008 60783 33554432000 4194304 6736272 140736983788304 18446744073709551615 5149361 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 60783 284 621 0 61318 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 247792
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 5072
/proc/meminfo: memFree=22584788/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=342.3 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 70472 0 0 0 34222 8 0 0 25 0 1 0 929894533 253739008 60864 33554432000 4194304 6736272 140736983788304 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 60864 284 621 0 61318 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 247792
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/516 5074
/proc/meminfo: memFree=22583384/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=402.3 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 70481 0 0 0 40222 8 0 0 25 0 1 0 929894533 253739008 60873 33554432000 4194304 6736272 140736983788304 18446744073709551615 5806372 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 60873 284 621 0 61318 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 247792
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/516 5076
/proc/meminfo: memFree=22583976/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=247792 CPUtime=462.3 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 70546 0 0 0 46222 8 0 0 25 0 1 0 929894533 253739008 60938 33554432000 4194304 6736272 140736983788304 18446744073709551615 5818012 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 61948 60938 284 621 0 61318 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 247792
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/516 5077
/proc/meminfo: memFree=22580216/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=522.3 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 71372 0 0 0 52222 8 0 0 25 0 1 0 929894533 261050368 61760 33554432000 4194304 6736272 140736983788304 18446744073709551615 5141856 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 61760 284 621 0 63103 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 254932
[startup+582.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/516 5079
/proc/meminfo: memFree=22581168/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=582.31 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 71372 0 0 0 58223 8 0 0 25 0 1 0 929894533 261050368 61760 33554432000 4194304 6736272 140736983788304 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 61760 284 621 0 63103 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 254932
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 5085
/proc/meminfo: memFree=22579908/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=822.32 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 71421 0 0 0 82224 8 0 0 25 0 1 0 929894533 261050368 61809 33554432000 4194304 6736272 140736983788304 18446744073709551615 5221904 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 61809 284 621 0 63103 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 254932
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 5087
/proc/meminfo: memFree=22579256/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=882.32 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 71422 0 0 0 88224 8 0 0 25 0 1 0 929894533 261050368 61810 33554432000 4194304 6736272 140736983788304 18446744073709551615 5803245 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 61810 284 621 0 63103 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 254932
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 5088
/proc/meminfo: memFree=22579716/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=942.32 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 71424 0 0 0 94224 8 0 0 25 0 1 0 929894533 261050368 61812 33554432000 4194304 6736272 140736983788304 18446744073709551615 5155018 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 61812 284 621 0 63103 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 254932
[startup+1002.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/516 5090
/proc/meminfo: memFree=22578824/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=1002.32 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 71678 0 0 0 100224 8 0 0 25 0 1 0 929894533 261050368 62066 33554432000 4194304 6736272 140736983788304 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 62066 284 621 0 63103 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 254932
[startup+1062.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/516 5101
/proc/meminfo: memFree=22578628/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=1062.32 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 71679 0 0 0 106224 8 0 0 25 0 1 0 929894533 261050368 62067 33554432000 4194304 6736272 140736983788304 18446744073709551615 5806354 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 62067 284 621 0 63103 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 254932
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 5102
/proc/meminfo: memFree=22577476/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=1122.34 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 72084 0 0 0 112225 9 0 0 25 0 1 0 929894533 261050368 62472 33554432000 4194304 6736272 140736983788304 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 62472 284 621 0 63103 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 254932
[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 5104
/proc/meminfo: memFree=22576952/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=1182.34 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 72086 0 0 0 118225 9 0 0 25 0 1 0 929894533 261050368 62474 33554432000 4194304 6736272 140736983788304 18446744073709551615 5154864 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 62474 284 621 0 63103 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 254932
[startup+1242.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/516 5105
/proc/meminfo: memFree=22576904/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=254932 CPUtime=1242.34 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 72097 0 0 0 124225 9 0 0 25 0 1 0 929894533 261050368 62485 33554432000 4194304 6736272 140736983788304 18446744073709551615 4750634 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 63733 62485 284 621 0 63103 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 254932
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 2/516 5108
/proc/meminfo: memFree=22635640/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=262112 CPUtime=1302.35 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 72647 0 0 0 130226 9 0 0 25 0 1 0 929894533 268402688 63035 33554432000 4194304 6736272 140736983788304 18446744073709551615 5816819 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 65528 63035 284 621 0 64898 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 262112
[startup+1362.3 s]
/proc/loadavg: 1.37 1.84 1.94 2/510 5127
/proc/meminfo: memFree=22626568/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1362.34 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 136222 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 5816988 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 273608
[startup+1422.32 s]
/proc/loadavg: 1.13 1.69 1.87 2/510 5128
/proc/meminfo: memFree=22627632/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1422.36 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 142224 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 273608
[startup+1482.3 s]
/proc/loadavg: 1.05 1.56 1.82 2/510 5130
/proc/meminfo: memFree=22627592/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1482.35 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 148223 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 5142094 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 273608
[startup+1542.3 s]
/proc/loadavg: 1.18 1.49 1.77 2/510 5131
/proc/meminfo: memFree=22627408/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1542.35 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 154223 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 4734706 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 273608
[startup+1602.3 s]
/proc/loadavg: 1.06 1.40 1.72 2/510 5133
/proc/meminfo: memFree=22627360/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1602.35 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 160223 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 273608
[startup+1662.3 s]
/proc/loadavg: 1.02 1.32 1.67 2/510 5135
/proc/meminfo: memFree=22627536/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1662.35 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 166223 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 273608
[startup+1722.3 s]
/proc/loadavg: 1.01 1.26 1.63 2/510 5136
/proc/meminfo: memFree=22627352/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1722.35 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 172223 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 4754024 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 273608
[startup+1782.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/510 5138
/proc/meminfo: memFree=22626304/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1782.36 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 178224 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 5818041 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 273608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.20 1.57 2/510 5138
/proc/meminfo: memFree=22627048/32950928 swapFree=58671692/67111528
[pid=5062] ppid=5060 vsize=273608 CPUtime=1800.06 cores=0,2,4,6
/proc/5062/stat : 5062 (minisatid-gmp) R 5060 5062 3766 0 -1 4202496 91152 0 0 0 179994 12 0 0 25 0 1 0 929894533 280174592 67441 33554432000 4194304 6736272 140736983788304 18446744073709551615 5806359 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5062/statm: 68402 67441 286 621 0 67772 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 273608
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.1
CPU user time (s): 1799.96
CPU system time (s): 0.138978
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 303960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91157
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= 2849
runsolver used 9.69652 second user time and 20.4999 second system time
The end