8.73/9.11 c COMMAND LINE: portfolio_solver.py -t 1200 -s 1860536490 HOME/instance-3449080-1307053383.cnf
8.73/9.11 c tmpdir WORKING-DIR
8.73/9.11 c timelimit 1200
8.73/9.11 c seed 1860536490
8.73/9.11 c verbosity 0
8.73/9.11 c Parsed command line and set default values...
8.73/9.11 c Starting *WALL CLOCK* TIMER
8.73/9.11 c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
8.73/9.11 c indicating coach-executables-test.sh was run successfully earlier
8.73/9.11 c Making sure all necessary files and folders are present...
8.73/9.11 c Checking for ./features OK
8.73/9.11 c Checking for COACH/coach OK
8.73/9.11 c Checking for preprocessors/SatELite_v1.0_linux OK
8.73/9.11 c Checking for solvers/adaptg2wsat2009 OK
8.73/9.11 c Checking for solvers/adaptg2wsat2009++ OK
8.73/9.11 c Checking for solvers/clasp-1.3.6-x86-linux OK
8.73/9.11 c Checking for solvers/cryptominisat OK
8.73/9.11 c Checking for solvers/glucose_static OK
8.73/9.11 c Checking for solvers/gnovelty+2 OK
8.73/9.11 c Checking for solvers/gnovelty+2-H OK
8.73/9.11 c Checking for solvers/hybridGM3 OK
8.73/9.11 c Checking for solvers/kcnfs04SAT07 OK
8.73/9.11 c Checking for solvers/lingeling OK
8.73/9.11 c Checking for solvers/LySATc OK
8.73/9.11 c Checking for solvers/LySATi OK
8.73/9.11 c Checking for solvers/march_hi OK
8.73/9.11 c Checking for solvers/march_nn OK
8.73/9.11 c Checking for solvers/minisat_static OK
8.73/9.11 c Checking for solvers/mxc-sat09 OK
8.73/9.11 c Checking for solvers/picosat OK
8.73/9.11 c Checking for solvers/precosat OK
8.73/9.11 c Checking for solvers/SATenstein OK
8.73/9.11 c Checking for solvers/TNM OK
8.73/9.11 c Checking for solvers/ubcsatOrig OK
8.73/9.11 c Checking for utilities/timerun OK
8.73/9.11 c Checking for folder COACH/DATA OK
8.73/9.11 c Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
8.73/9.11 c Check successful
8.73/9.11 c TIMER: 0.0 sec total, 0.0 sec since previous report
8.73/9.11 c Computing instance features...
8.73/9.11 c ./features HOME/instance-3449080-1307053383.cnf
8.73/9.11 c Features found: 35000 147000 0.238095238 8.57142857e-05 0.280749892 6.80272109e-06 0.000210884354 2.67491973 8.57142857e-05 1.42301535e-15 8.57142857e-05 8.57142857e-05 -0 0.49846712 0.577339349 0.333333333 1 0.559794956 0.232790066 0.182246268 0 1 3.36973535 0 0 1 4.29446064e-05 0.398802798 0 0.000129251701 2.32616187 0.501020408 0.000171363265 0.28064432 1.36054422e-05 0.000414965986 3.10857143 0.000128579018 0.229677162 2.72108844e-05 0.000272108844 2.88286634 0.105892378 0.244347454 0.0487804878 0.4 2.23178766 2.56914286
8.73/9.11 c TIMER: 8.75 sec total, 8.75 sec since previous report
8.73/9.11 c Computing most promising solver to run...
8.73/9.11 c COACH/coach 35000 147000 0.238095238 8.57142857e-05 0.280749892 6.80272109e-06 0.000210884354 2.67491973 8.57142857e-05 1.42301535e-15 8.57142857e-05 8.57142857e-05 -0 0.49846712 0.577339349 0.333333333 1 0.559794956 0.232790066 0.182246268 0 1 3.36973535 0 0 1 4.29446064e-05 0.398802798 0 0.000129251701 2.32616187 0.501020408 0.000171363265 0.28064432 1.36054422e-05 0.000414965986 3.10857143 0.000128579018 0.229677162 2.72108844e-05 0.000272108844 2.88286634 0.105892378 0.244347454 0.0487804878 0.4 2.23178766 2.56914286 COACH/DATA/ 1
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER cryptominisat 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER precosat 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER march_hi 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER hybridGM3 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER gnovelty+2 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER TNM 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER AshiHgen 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
8.73/9.11 c PORTFOLIO-SUGGESTION SOLVER TNM 100000 0
8.73/9.11 c TIMER: 9.08 sec total, 0.33 sec since previous report
8.73/9.11 c Preprocessing OFF
8.73/9.11 c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
1200.02/1200.14 c cryptominisat 4 False
1200.02/1200.14 c adaptg2wsat2009 4 False
1200.02/1200.14 c precosat 4 False
1200.02/1200.14 c march_hi 4 False
1200.02/1200.14 c hybridGM3 4 False
1200.02/1200.14 c lingeling 4 False
1200.02/1200.14 c gnovelty+2 4 False
1200.02/1200.14 c TNM 4 False
1200.02/1200.14 c AshiHgen 4 False
1200.02/1200.14 c mxc-sat09 4 False
1200.02/1200.14 c TNM 100000 False
1200.02/1200.14 c Default solver to fall back on, in case everything fails:
1200.02/1200.14 c lingeling no limit False
1200.02/1200.14 c Running cryptominisat for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/cryptominisat HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 13.09 sec total, 4.02 sec since previous report
1200.02/1200.14 c Running adaptg2wsat2009 for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/adaptg2wsat2009 HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 17.1 sec total, 4.0 sec since previous report
1200.02/1200.14 c Running precosat for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/precosat HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 21.1 sec total, 4.01 sec since previous report
1200.02/1200.14 c Running march_hi for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/march_hi HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 25.11 sec total, 4.01 sec since previous report
1200.02/1200.14 c Running hybridGM3 for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/hybridGM3 HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 29.12 sec total, 4.0 sec since previous report
1200.02/1200.14 c Running lingeling for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/lingeling HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 33.12 sec total, 4.0 sec since previous report
1200.02/1200.14 c Running gnovelty+2 for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/gnovelty+2 HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 37.12 sec total, 4.01 sec since previous report
1200.02/1200.14 c Running TNM for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/TNM HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 41.13 sec total, 4.01 sec since previous report
1200.02/1200.14 c Running AshiHgen for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/SATenstein -i HOME/instance-3449080-1307053383.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 1860536490
1200.02/1200.14 c TIMER: 45.13 sec total, 4.0 sec since previous report
1200.02/1200.14 c Running mxc-sat09 for 4 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 4 solvers/mxc-sat09 -i HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 49.14 sec total, 4.0 sec since previous report
1200.02/1200.14 c Running TNM for 100000 seconds on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c utilities/timerun 100000 solvers/TNM HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c TIMER: 1200.1 sec total, 1150.97 sec since previous report
1200.02/1200.14 c Running lingeling WITHOUT TIME LIMIT on HOME/instance-3449080-1307053383.cnf
1200.02/1200.14 c solvers/lingeling HOME/instance-3449080-1307053383.cnf
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-3449080-1307053383/watcher-3449080-1307053383 -o /tmp/evaluation-result-3449080-1307053383/solver-3449080-1307053383 -C 1200 -W 1300 -M 7680 python portfolio_solver.py -t 1200 -s 1860536490 HOME/instance-3449080-1307053383.cnf
running on 2 cores: 4,6
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.08 4.04 2.73 4/522 6102
/proc/meminfo: memFree=28867916/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=15780 CPUtime=0 cores=4,6
/proc/6102/stat : 6102 (python) R 6100 6102 5554 0 -1 4202496 935 0 0 0 0 0 0 0 21 0 1 0 816938027 16158720 814 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647189639 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6102/statm: 3944 814 356 364 0 431 0
[startup+0.0895209 s]
/proc/loadavg: 4.08 4.04 2.73 4/522 6102
/proc/meminfo: memFree=28867916/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=21896 CPUtime=0.01 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 1516 0 0 0 1 0 0 0 21 0 1 0 816938027 22421504 1350 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896
[startup+0.10052 s]
/proc/loadavg: 4.08 4.04 2.73 4/522 6102
/proc/meminfo: memFree=28867916/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=21896 CPUtime=0.01 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 1516 0 0 0 1 0 0 0 21 0 1 0 816938027 22421504 1350 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896
[startup+0.300486 s]
/proc/loadavg: 4.08 4.04 2.73 4/522 6102
/proc/meminfo: memFree=28867916/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=21896 CPUtime=0.01 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 1516 0 0 0 1 0 0 0 21 0 1 0 816938027 22421504 1350 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896
[startup+0.700416 s]
/proc/loadavg: 4.08 4.04 2.73 4/522 6102
/proc/meminfo: memFree=28867916/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=21896 CPUtime=0.01 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 1516 0 0 0 1 0 0 0 21 0 1 0 816938027 22421504 1350 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 5474 1350 443 364 0 929 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21896
[startup+1.50033 s]
/proc/loadavg: 4.08 4.04 2.73 5/524 6104
/proc/meminfo: memFree=28855004/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=21896 CPUtime=0.01 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 1516 0 0 0 1 0 0 0 21 0 1 0 816938027 22421504 1350 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 5474 1350 443 364 0 929 0
[pid=6104] ppid=6102 vsize=8364 CPUtime=1.44 cores=4,6
/proc/6104/stat : 6104 (features) R 6102 6102 5554 0 -1 4202496 2640 0 0 0 142 2 0 0 25 0 1 0 816938030 8564736 1524 33554432000 134512640 135907751 4291606896 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6104/statm: 2091 1524 111 341 0 1747 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 30260
[startup+3.10107 s]
/proc/loadavg: 4.07 4.03 2.74 5/524 6104
/proc/meminfo: memFree=28855872/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=21896 CPUtime=0.01 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 1516 0 0 0 1 0 0 0 21 0 1 0 816938027 22421504 1350 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 5474 1350 443 364 0 929 0
[pid=6104] ppid=6102 vsize=17416 CPUtime=3.04 cores=4,6
/proc/6104/stat : 6104 (features) R 6102 6102 5554 0 -1 4202496 5850 0 0 0 300 4 0 0 25 0 1 0 816938030 17833984 3829 33554432000 134512640 135907751 4291606896 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6104/statm: 4354 3829 112 341 0 4010 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39312
[startup+6.30053 s]
/proc/loadavg: 4.07 4.03 2.74 6/524 6104
/proc/meminfo: memFree=28845576/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=21896 CPUtime=0.01 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 1516 0 0 0 1 0 0 0 21 0 1 0 816938027 22421504 1350 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 5474 1350 443 364 0 929 0
[pid=6104] ppid=6102 vsize=14760 CPUtime=6.23 cores=4,6
/proc/6104/stat : 6104 (features) R 6102 6102 5554 0 -1 4202496 6404 0 0 0 618 5 0 0 25 0 1 0 816938030 15114240 2709 33554432000 134512640 135907751 4291606896 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6104/statm: 3690 2709 112 341 0 3346 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 36656
[startup+12.7005 s]
/proc/loadavg: 4.29 4.08 2.77 6/527 6107
/proc/meminfo: memFree=28825904/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=0.02 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 2162 0 0 0 2 0 0 0 18 0 1 0 816938027 35221504 1407 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/6102/statm: 8599 1407 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6106] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6106/stat : 6106 (timerun) S 6102 6102 5554 0 -1 4202496 748 0 0 0 0 0 0 0 17 0 1 0 816938939 8908800 248 33554432000 4194304 4922060 140733871751296 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/6106/statm: 2175 248 208 178 0 68 0
[pid=6107] ppid=6106 vsize=73788 CPUtime=3.56 cores=4,6
/proc/6107/stat : 6107 (cryptominisat) R 6106 6102 5554 0 -1 4202496 12407 0 0 0 355 1 0 0 25 0 1 0 816938939 75558912 9399 33554432000 134512640 134994940 4288460384 18446744073709551615 134641553 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/6107/statm: 18447 9399 351 118 0 17632 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 116884
[startup+25.5013 s]
/proc/loadavg: 4.25 4.08 2.78 5/527 6115
/proc/meminfo: memFree=28857352/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=16.02 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 2763 69737 0 0 2 0 1591 9 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6114] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6114/stat : 6114 (timerun) S 6102 6102 5554 0 -1 4202496 746 0 0 0 0 0 0 0 18 0 1 0 816940541 8908800 248 33554432000 4194304 4922060 140733901620928 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6114/statm: 2175 248 208 178 0 68 0
[pid=6115] ppid=6114 vsize=269432 CPUtime=0.34 cores=4,6
/proc/6115/stat : 6115 (hybridGM3) R 6114 6102 5554 0 -1 4194304 3527 0 0 0 34 0 0 0 22 0 1 0 816940542 275898368 3470 33554432000 134512640 134633796 4292094288 18446744073709551615 134546735 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6115/statm: 67358 3470 103 30 0 66938 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 312528
[startup+51.101 s]
/proc/loadavg: 4.16 4.07 2.81 5/527 6131
/proc/meminfo: memFree=28839852/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=1.9 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 190 0 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134528957 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 509084
[startup+102.32 s]
/proc/loadavg: 4.19 4.09 2.89 5/527 6133
/proc/meminfo: memFree=28838420/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=53.12 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 5312 0 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134530425 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 509084
[startup+162.301 s]
/proc/loadavg: 4.24 4.12 2.97 5/527 6133
/proc/meminfo: memFree=28837896/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=113.11 cores=4,6
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 5.11 4.68 3.86 5/525 6631
/proc/meminfo: memFree=28847104/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=893.13 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 89312 1 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134530606 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 942.19
Current children cumulated vsize (KiB) 509084
[startup+1002.3 s]
/proc/loadavg: 5.01 4.77 3.94 5/528 6684
/proc/meminfo: memFree=28814160/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=953.13 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 95312 1 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134528659 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 1002.19
Current children cumulated vsize (KiB) 509084
[startup+1062.3 s]
/proc/loadavg: 4.37 4.63 3.94 5/527 6688
/proc/meminfo: memFree=28468324/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=1013.13 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 101312 1 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134528726 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 1062.19
Current children cumulated vsize (KiB) 509084
[startup+1122.3 s]
/proc/loadavg: 4.13 4.51 3.94 5/527 6690
/proc/meminfo: memFree=28447360/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=1073.13 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 107312 1 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134530126 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 1122.19
Current children cumulated vsize (KiB) 509084
[startup+1182.3 s]
/proc/loadavg: 4.14 4.44 3.95 5/527 6692
/proc/meminfo: memFree=28375052/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=1133.13 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 113312 1 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134530712 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 1182.19
Current children cumulated vsize (KiB) 509084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.12 s]
/proc/loadavg: 4.11 4.42 3.95 5/527 6692
/proc/meminfo: memFree=28390300/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=1150.96 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 115095 1 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134526098 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 509084
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: 4.11 4.42 3.95 5/527 6692
/proc/meminfo: memFree=28390300/32951132 swapFree=57925096/67111528
[pid=6102] ppid=6100 vsize=34396 CPUtime=40.03 cores=4,6
/proc/6102/stat : 6102 (python) S 6100 6102 5554 0 -1 4202496 3643 115666 0 0 2 0 3984 17 18 0 1 0 816938027 35221504 1408 33554432000 4194304 5683644 140736036364752 18446744073709551615 210647146240 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/6102/statm: 8599 1408 468 364 0 933 0
[pid=6104] ppid=6102 vsize=0 CPUtime=8.72 cores=4,6
/proc/6104/stat : 6104 (features) Z 6102 6102 5554 0 -1 4202524 7192 0 0 0 863 9 0 0 25 0 1 0 816938030 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/6104/statm: 0 0 0 0 0 0 0
[pid=6105] ppid=6102 vsize=0 CPUtime=0.31 cores=4,6
/proc/6105/stat : 6105 (coach) Z 6102 6102 5554 0 -1 4202524 3737 0 0 0 31 0 0 0 18 0 1 0 816938905 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6105/statm: 0 0 0 0 0 0 0
[pid=6130] ppid=6102 vsize=8700 CPUtime=0 cores=4,6
/proc/6130/stat : 6130 (timerun) S 6102 6102 5554 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 816942944 8908800 248 33554432000 4194304 4922060 140733754275728 18446744073709551615 210646965381 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/6130/statm: 2175 248 208 178 0 68 0
[pid=6131] ppid=6130 vsize=465988 CPUtime=1150.96 cores=4,6
/proc/6131/stat : 6131 (TNM) R 6130 6102 5554 0 -1 4202496 5866 0 0 0 115095 1 0 0 25 0 1 0 816942944 477171712 5811 33554432000 134512640 134534564 4287298752 18446744073709551615 134526098 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6131/statm: 116497 5811 95 6 0 115163 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 509084
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6102 and gives
# childrusage.ru_utime.tv_sec=1190
# childrusage.ru_utime.tv_usec=837965
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=204968
# CPU time returned by wait4() is 1191.04
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.15
CPU time (s): 1200.02
CPU user time (s): 1199.75
CPU system time (s): 0.27
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 1072196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1190.84
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126072
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= 282
involuntary context switches= 1895
runsolver used 6.63499 second user time and 14.1628 second system time
The end