2.59/2.97 c COMMAND LINE: portfolio_solver.py -t 1200 -s 2077919175 HOME/instance-3449803-1307055197.cnf
2.59/2.97 c tmpdir WORKING-DIR
2.59/2.97 c timelimit 1200
2.59/2.97 c seed 2077919175
2.59/2.97 c verbosity 0
2.59/2.97 c Parsed command line and set default values...
2.59/2.97 c Starting *WALL CLOCK* TIMER
2.59/2.97 c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
2.59/2.97 c indicating coach-executables-test.sh was run successfully earlier
2.59/2.97 c Making sure all necessary files and folders are present...
2.59/2.97 c Checking for ./features OK
2.59/2.97 c Checking for COACH/coach OK
2.59/2.97 c Checking for preprocessors/SatELite_v1.0_linux OK
2.59/2.97 c Checking for solvers/adaptg2wsat2009 OK
2.59/2.97 c Checking for solvers/adaptg2wsat2009++ OK
2.59/2.97 c Checking for solvers/clasp-1.3.6-x86-linux OK
2.59/2.97 c Checking for solvers/cryptominisat OK
2.59/2.97 c Checking for solvers/glucose_static OK
2.59/2.97 c Checking for solvers/gnovelty+2 OK
2.59/2.97 c Checking for solvers/gnovelty+2-H OK
2.59/2.97 c Checking for solvers/hybridGM3 OK
2.59/2.97 c Checking for solvers/kcnfs04SAT07 OK
2.59/2.97 c Checking for solvers/lingeling OK
2.59/2.97 c Checking for solvers/LySATc OK
2.59/2.97 c Checking for solvers/LySATi OK
2.59/2.97 c Checking for solvers/march_hi OK
2.59/2.97 c Checking for solvers/march_nn OK
2.59/2.97 c Checking for solvers/minisat_static OK
2.59/2.97 c Checking for solvers/mxc-sat09 OK
2.59/2.97 c Checking for solvers/picosat OK
2.59/2.97 c Checking for solvers/precosat OK
2.59/2.97 c Checking for solvers/SATenstein OK
2.59/2.97 c Checking for solvers/TNM OK
2.59/2.97 c Checking for solvers/ubcsatOrig OK
2.59/2.97 c Checking for utilities/timerun OK
2.59/2.97 c Checking for folder COACH/DATA OK
2.59/2.97 c Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
2.59/2.97 c Check successful
2.59/2.97 c TIMER: 0.0 sec total, 0.0 sec since previous report
2.59/2.97 c Computing instance features...
2.59/2.97 c ./features HOME/instance-3449803-1307055197.cnf
2.59/2.97 c Features found: 260 486 0.534979424 0.00872111428 0.185784005 0.00411522634 0.0102880658 1.09649082 0.00872111428 0.300224498 0.00769230769 0.0153846154 0.393444024 0.461934156 1.04175694 0 1 0.891144978 0.507692308 0.114095361 0 0.6 1.09649082 0 0.866255144 0.866255144 0.00552389997 0.444440225 0 0.0102880658 1.56351959 0.676954733 0.012804685 0.127257657 0.00823045267 0.0144032922 0 0.00711273688 1.09274626 0.00205761317 0.0329218107 0.669871925 0.598447602 0.299261348 0.117647059 1 0.669871925 0
2.59/2.97 c TIMER: 2.59 sec total, 2.59 sec since previous report
2.59/2.97 c Computing most promising solver to run...
2.59/2.97 c COACH/coach 260 486 0.534979424 0.00872111428 0.185784005 0.00411522634 0.0102880658 1.09649082 0.00872111428 0.300224498 0.00769230769 0.0153846154 0.393444024 0.461934156 1.04175694 0 1 0.891144978 0.507692308 0.114095361 0 0.6 1.09649082 0 0.866255144 0.866255144 0.00552389997 0.444440225 0 0.0102880658 1.56351959 0.676954733 0.012804685 0.127257657 0.00823045267 0.0144032922 0 0.00711273688 1.09274626 0.00205761317 0.0329218107 0.669871925 0.598447602 0.299261348 0.117647059 1 0.669871925 0 COACH/DATA/ 1
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER cryptominisat 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER precosat 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER march_hi 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER hybridGM3 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER gnovelty+2 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER TNM 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER AshiHgen 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
2.59/2.97 c PORTFOLIO-SUGGESTION SOLVER AshiCbmc 100000 0
2.59/2.97 c TIMER: 2.94 sec total, 0.35 sec since previous report
2.59/2.97 c Preprocessing OFF
2.59/2.97 c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
2.59/2.97 c cryptominisat 4 False
42.92/43.02 c adaptg2wsat2009 4 False
42.92/43.02 c precosat 4 False
42.92/43.02 c march_hi 4 False
42.92/43.02 c hybridGM3 4 False
42.92/43.02 c lingeling 4 False
42.92/43.02 c gnovelty+2 4 False
42.92/43.02 c TNM 4 False
42.92/43.02 c AshiHgen 4 False
42.92/43.02 c mxc-sat09 4 False
42.92/43.02 c AshiCbmc 100000 False
42.92/43.02 c Default solver to fall back on, in case everything fails:
42.92/43.02 c lingeling no limit False
42.92/43.02 c Running cryptominisat for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/cryptominisat HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 6.95 sec total, 4.01 sec since previous report
42.92/43.02 c Running adaptg2wsat2009 for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/adaptg2wsat2009 HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 10.95 sec total, 4.0 sec since previous report
42.92/43.02 c Running precosat for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/precosat HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 14.96 sec total, 4.01 sec since previous report
42.92/43.02 c Running march_hi for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/march_hi HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 18.96 sec total, 4.0 sec since previous report
42.92/43.02 c Running hybridGM3 for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/hybridGM3 HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 22.97 sec total, 4.01 sec since previous report
42.92/43.02 c Running lingeling for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/lingeling HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 26.97 sec total, 4.0 sec since previous report
42.92/43.02 c Running gnovelty+2 for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/gnovelty+2 HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 30.98 sec total, 4.01 sec since previous report
42.92/43.02 c Running TNM for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/TNM HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 34.98 sec total, 4.01 sec since previous report
42.92/43.02 c Running AshiHgen for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/SATenstein -i HOME/instance-3449803-1307055197.cnf -alg satenstein -varinfalse 1 -adaptwalkprob 0 -theta 3 -singleclause 1 -randomwalk 3 -performrandomwalk 1 -selectclause 1 -promisinglist 0 -adaptiveprom 0 -heuristic 7 -adaptive 1 -phi 10 -tabusearch 0 -rdp 0.15 -r satcomp -cutoff max -runs 100 -solve -seed 2077919175
42.92/43.02 c TIMER: 38.98 sec total, 4.0 sec since previous report
42.92/43.02 c Running mxc-sat09 for 4 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 4 solvers/mxc-sat09 -i HOME/instance-3449803-1307055197.cnf
42.92/43.02 c TIMER: 42.99 sec total, 4.0 sec since previous report
42.92/43.02 c Running AshiCbmc for 100000 seconds on HOME/instance-3449803-1307055197.cnf
42.92/43.02 c utilities/timerun 100000 solvers/SATenstein -i HOME/instance-3449803-1307055197.cnf -alg satenstein -varinfalse 1 -rwp 0.01 -singleclause 0 -randomwalk 1 -alpha 1.126 -performrandomwalk 1 -smoothingscheme 1 -rho 1 -clausepen 1 -selectclause 1 -promisinglist 0 -adaptive 1 -tiebreaking 1 -tabusearch 0 -scoringmeasure 1 -wp 0.01 -r satcomp -cutoff max -runs 100 -solve -seed 2
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-3449803-1307055197/watcher-3449803-1307055197 -o /tmp/evaluation-result-3449803-1307055197/solver-3449803-1307055197 -C 1200 -W 1300 -M 7680 python portfolio_solver.py -t 1200 -s 2077919175 HOME/instance-3449803-1307055197.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.30 4.12 3.86 5/501 17262
/proc/meminfo: memFree=21280928/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=15912 CPUtime=0 cores=0,2
/proc/17262/stat : 17262 (python) R 17260 17262 16298 0 -1 4202496 959 0 0 0 0 0 0 0 18 0 1 0 797934997 16293888 835 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261659783 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17262/statm: 3978 835 357 364 0 465 0
[startup+0.0910109 s]
/proc/loadavg: 4.30 4.12 3.86 5/501 17262
/proc/meminfo: memFree=21280928/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=21900 CPUtime=0.01 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 1516 0 0 0 1 0 0 0 18 0 1 0 797934997 22425600 1350 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+0.101002 s]
/proc/loadavg: 4.30 4.12 3.86 5/501 17262
/proc/meminfo: memFree=21280928/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=21900 CPUtime=0.01 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 1516 0 0 0 1 0 0 0 18 0 1 0 797934997 22425600 1350 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+0.30097 s]
/proc/loadavg: 4.30 4.12 3.86 5/501 17262
/proc/meminfo: memFree=21280928/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=21900 CPUtime=0.01 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 1516 0 0 0 1 0 0 0 18 0 1 0 797934997 22425600 1350 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+0.700903 s]
/proc/loadavg: 4.30 4.12 3.86 5/501 17262
/proc/meminfo: memFree=21280928/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=21900 CPUtime=0.01 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 1516 0 0 0 1 0 0 0 18 0 1 0 797934997 22425600 1350 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+1.50076 s]
/proc/loadavg: 4.19 4.11 3.85 4/497 17266
/proc/meminfo: memFree=21272528/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=21900 CPUtime=0.01 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 1516 0 0 0 1 0 0 0 18 0 1 0 797934997 22425600 1350 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 5475 1350 443 364 0 930 0
[pid=17264] ppid=17262 vsize=8364 CPUtime=1.45 cores=0,2
/proc/17264/stat : 17264 (features) R 17262 17262 16298 0 -1 4202496 2621 0 0 0 144 1 0 0 23 0 1 0 797935000 8564736 1504 33554432000 134512640 135907751 4292217760 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17264/statm: 2091 1504 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30264
[startup+3.10042 s]
/proc/loadavg: 4.19 4.11 3.85 4/497 17266
/proc/meminfo: memFree=21273768/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=0.01 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 2163 0 0 0 1 0 0 0 18 0 1 0 797934997 35225600 1407 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1407 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 34400
[startup+6.30091 s]
/proc/loadavg: 4.19 4.11 3.85 5/503 17297
/proc/meminfo: memFree=21266132/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=0.01 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 2164 0 0 0 1 0 0 0 18 0 1 0 797934997 35225600 1408 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1408 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17296] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17296/stat : 17296 (timerun) S 17262 17262 16298 0 -1 4202496 754 0 0 0 0 0 0 0 17 0 1 0 797935295 8908800 247 33554432000 4194304 4922060 140734492330656 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17296/statm: 2175 247 208 178 0 68 0
[pid=17297] ppid=17296 vsize=19612 CPUtime=3.3 cores=0,2
/proc/17297/stat : 17297 (cryptominisat) R 17296 17262 16298 0 -1 4202496 5560 0 0 0 330 0 0 0 25 0 1 0 797935295 20082688 2289 33554432000 134512640 134994940 4289988912 18446744073709551615 134642749 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/17297/statm: 4903 2289 355 118 0 4088 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 62712
[startup+12.7008 s]
/proc/loadavg: 4.16 4.10 3.85 5/503 17301
/proc/meminfo: memFree=21270496/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=8.02 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 2470 8153 0 0 2 1 798 1 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17300] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17300/stat : 17300 (timerun) S 17262 17262 16298 0 -1 4202496 752 0 0 0 0 0 0 0 20 0 1 0 797936096 8908800 248 33554432000 4194304 4922060 140735707719200 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17300/statm: 2175 248 208 178 0 68 0
[pid=17301] ppid=17300 vsize=4700 CPUtime=1.7 cores=0,2
/proc/17301/stat : 17301 (precosat) R 17300 17262 16298 0 -1 4202496 1104 0 0 0 170 0 0 0 25 0 1 0 797936096 4812800 1058 33554432000 134512640 135142049 4294767792 18446744073709551615 134555841 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/17301/statm: 1175 1058 82 154 0 1019 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 47800
[startup+25.5005 s]
/proc/loadavg: 4.22 4.11 3.86 5/506 17315
/proc/meminfo: memFree=21270944/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=20.03 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 2930 17397 0 0 2 1 1997 3 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17312] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17312/stat : 17312 (timerun) S 17262 17262 16298 0 -1 4202496 749 0 0 0 0 0 0 0 18 0 1 0 797937297 8908800 247 33554432000 4194304 4922060 140736706109168 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/17312/statm: 2175 247 208 178 0 68 0
[pid=17313] ppid=17312 vsize=4448 CPUtime=2.49 cores=0,2
/proc/17313/stat : 17313 (lingeling) R 17312 17262 16298 0 -1 4202496 1221 0 0 0 249 0 0 0 25 0 1 0 797937297 4554752 830 33554432000 134512640 134650204 4293254608 18446744073709551615 134630242 0 0 16781312 17506 0 0 0 17 0 0 0 0
/proc/17313/statm: 1112 830 112 34 0 727 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 47548
[startup+51.101 s]
/proc/loadavg: 4.21 4.12 3.87 5/506 17337
/proc/meminfo: memFree=21273532/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=8.07 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 363 0 0 0 807 0 0 0 25 0 1 0 797939300 6897664 306 33554432000 134512640 134864348 4287553136 18446744073709551615 134531440 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 306 180 86 0 1208 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 49836
[startup+102.318 s]
/proc/loadavg: 4.20 4.13 3.89 5/506 17343
/proc/meminfo: memFree=21271772/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=59.28 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 363 0 0 0 5928 0 0 0 25 0 1 0 797939300 6897664 306 33554432000 134512640 134864348 4287553136 18446744073709551615 134544326 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 306 180 86 0 1208 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 49836
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 3.90 5/506 17344
/proc/meminfo: memFree=21272252/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.79 3.05 3.57 2/476 17432
/proc/meminfo: memFree=21514644/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=899.28 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 364 0 0 0 89927 1 0 0 25 0 1 0 797939300 6897664 307 33554432000 134512640 134864348 4287553136 18446744073709551615 134603136 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 307 181 86 0 1208 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 49836
[startup+1002.3 s]
/proc/loadavg: 1.29 2.68 3.40 2/476 17434
/proc/meminfo: memFree=21514720/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=959.29 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 364 0 0 0 95928 1 0 0 25 0 1 0 797939300 6897664 307 33554432000 134512640 134864348 4287553136 18446744073709551615 134609548 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 307 181 86 0 1208 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 49836
[startup+1062.3 s]
/proc/loadavg: 1.10 2.37 3.25 2/476 17435
/proc/meminfo: memFree=21514932/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=1019.29 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 364 0 0 0 101928 1 0 0 25 0 1 0 797939300 6897664 307 33554432000 134512640 134864348 4287553136 18446744073709551615 134759608 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 307 181 86 0 1208 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 49836
[startup+1122.3 s]
/proc/loadavg: 1.04 2.12 3.11 2/476 17437
/proc/meminfo: memFree=21514896/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=1079.29 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 364 0 0 0 107928 1 0 0 25 0 1 0 797939300 6897664 307 33554432000 134512640 134864348 4287553136 18446744073709551615 134603292 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 307 181 86 0 1208 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 49836
[startup+1182.3 s]
/proc/loadavg: 1.01 1.91 2.97 2/476 17439
/proc/meminfo: memFree=21515108/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=1139.29 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 364 0 0 0 113928 1 0 0 25 0 1 0 797939300 6897664 307 33554432000 134512640 134864348 4287553136 18446744073709551615 134603305 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 307 181 86 0 1208 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 49836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.12 s]
/proc/loadavg: 1.01 1.86 2.94 2/476 17439
/proc/meminfo: memFree=21515084/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=1157.12 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 364 0 0 0 115711 1 0 0 25 0 1 0 797939300 6897664 307 33554432000 134512640 134864348 4287553136 18446744073709551615 134606649 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 307 181 86 0 1208 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 49836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.12 s]
/proc/loadavg: 1.01 1.86 2.94 2/476 17439
/proc/meminfo: memFree=21515084/32951124 swapFree=67057928/67111528
[pid=17262] ppid=17260 vsize=34400 CPUtime=40.05 cores=0,2
/proc/17262/stat : 17262 (python) S 17260 17262 16298 0 -1 4202496 3669 25177 0 0 2 1 3998 4 18 0 1 0 797934997 35225600 1410 33554432000 4194304 5683644 140733653243520 18446744073709551615 254261616384 0 0 16781312 2 18446744071562362840 0 0 17 0 0 0 0
/proc/17262/statm: 8600 1410 468 364 0 934 0
[pid=17264] ppid=17262 vsize=0 CPUtime=2.58 cores=0,2
/proc/17264/stat : 17264 (features) Z 17262 17262 16298 0 -1 4202524 2927 0 0 0 255 3 0 0 25 0 1 0 797935000 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17264/statm: 0 0 0 0 0 0 0
[pid=17289] ppid=17262 vsize=0 CPUtime=0.33 cores=0,2
/proc/17289/stat : 17289 (coach) Z 17262 17262 16298 0 -1 4202524 3736 0 0 0 33 0 0 0 20 0 1 0 797935259 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/17289/statm: 0 0 0 0 0 0 0
[pid=17332] ppid=17262 vsize=8700 CPUtime=0 cores=0,2
/proc/17332/stat : 17332 (timerun) S 17262 17262 16298 0 -1 4202496 755 0 0 0 0 0 0 0 19 0 1 0 797939299 8908800 252 33554432000 4194304 4922060 140737073810592 18446744073709551615 254261435525 0 65536 16781316 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/17332/statm: 2175 252 208 178 0 68 0
[pid=17333] ppid=17332 vsize=6736 CPUtime=1157.12 cores=0,2
/proc/17333/stat : 17333 (SATenstein) R 17332 17262 16298 0 -1 4202496 364 0 0 0 115711 1 0 0 25 0 1 0 797939300 6897664 307 33554432000 134512640 134864348 4287553136 18446744073709551615 134606649 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17333/statm: 1684 307 181 86 0 1208 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 49836
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17262 and gives
# childrusage.ru_utime.tv_sec=1197
# childrusage.ru_utime.tv_usec=123009
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=69989
# CPU time returned by wait4() is 1197.19
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.14
CPU time (s): 1200.08
CPU user time (s): 1199.99
CPU system time (s): 0.09
CPU usage (%): 99.9946
Max. virtual memory (cumulated for all children) (KiB): 1062528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.12
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30121
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= 391
involuntary context switches= 3368
runsolver used 6.21406 second user time and 12.0922 second system time
The end