11.10/11.46 c COMMAND LINE: portfolio_solver.py -t 1200 -s 1704637705 HOME/instance-3449806-1307055209.cnf
11.10/11.46 c tmpdir WORKING-DIR
11.10/11.46 c timelimit 1200
11.10/11.46 c seed 1704637705
11.10/11.46 c verbosity 0
11.10/11.46 c Parsed command line and set default values...
11.10/11.46 c Starting *WALL CLOCK* TIMER
11.10/11.46 c Found WORKING-DIR/coach-executables-test-SUCCESS.txt
11.10/11.46 c indicating coach-executables-test.sh was run successfully earlier
11.10/11.46 c Making sure all necessary files and folders are present...
11.10/11.46 c Checking for ./features OK
11.10/11.46 c Checking for COACH/coach OK
11.10/11.46 c Checking for preprocessors/SatELite_v1.0_linux OK
11.10/11.46 c Checking for solvers/adaptg2wsat2009 OK
11.10/11.46 c Checking for solvers/adaptg2wsat2009++ OK
11.10/11.46 c Checking for solvers/clasp-1.3.6-x86-linux OK
11.10/11.46 c Checking for solvers/cryptominisat OK
11.10/11.46 c Checking for solvers/glucose_static OK
11.10/11.46 c Checking for solvers/gnovelty+2 OK
11.10/11.46 c Checking for solvers/gnovelty+2-H OK
11.10/11.46 c Checking for solvers/hybridGM3 OK
11.10/11.46 c Checking for solvers/kcnfs04SAT07 OK
11.10/11.46 c Checking for solvers/lingeling OK
11.10/11.46 c Checking for solvers/LySATc OK
11.10/11.46 c Checking for solvers/LySATi OK
11.10/11.46 c Checking for solvers/march_hi OK
11.10/11.46 c Checking for solvers/march_nn OK
11.10/11.46 c Checking for solvers/minisat_static OK
11.10/11.46 c Checking for solvers/mxc-sat09 OK
11.10/11.46 c Checking for solvers/picosat OK
11.10/11.46 c Checking for solvers/precosat OK
11.10/11.46 c Checking for solvers/SATenstein OK
11.10/11.46 c Checking for solvers/TNM OK
11.10/11.46 c Checking for solvers/ubcsatOrig OK
11.10/11.46 c Checking for utilities/timerun OK
11.10/11.46 c Checking for folder COACH/DATA OK
11.10/11.46 c Checking for file unif-k3-r4.2-v18000-c75600-S914323646-060.cnf OK
11.10/11.46 c Check successful
11.10/11.46 c TIMER: 0.0 sec total, 0.0 sec since previous report
11.10/11.46 c Computing instance features...
11.10/11.46 c ./features HOME/instance-3449806-1307055209.cnf
11.10/11.46 c Features found: 4499 18603 0.241842714 0.000650625091 2.35866229 0.000322528624 0.0167714885 0.82323697 0.000650625091 0.0887787922 0.000444543232 0.000666814848 0.260918142 0.485423498 0.630859356 0 1 0.738256399 0.0171031902 0.0652770091 0 0.384615385 0.511138161 0 0.0728377143 1 0.000218555738 2.55369896 0.000107509541 0.0117722948 1.05782474 0.352039994 0.000321477186 2.33286484 0.000107509541 0.00838574423 0.0537062937 0.00606463502 0.45135833 0.000268773854 0.0146750524 3.28646586 0.0943186963 1.226516 0.0212650439 0.666666667 1.59002995 7.6979021
11.10/11.46 c TIMER: 11.1 sec total, 11.1 sec since previous report
11.10/11.46 c Computing most promising solver to run...
11.10/11.46 c COACH/coach 4499 18603 0.241842714 0.000650625091 2.35866229 0.000322528624 0.0167714885 0.82323697 0.000650625091 0.0887787922 0.000444543232 0.000666814848 0.260918142 0.485423498 0.630859356 0 1 0.738256399 0.0171031902 0.0652770091 0 0.384615385 0.511138161 0 0.0728377143 1 0.000218555738 2.55369896 0.000107509541 0.0117722948 1.05782474 0.352039994 0.000321477186 2.33286484 0.000107509541 0.00838574423 0.0537062937 0.00606463502 0.45135833 0.000268773854 0.0146750524 3.28646586 0.0943186963 1.226516 0.0212650439 0.666666667 1.59002995 7.6979021 COACH/DATA/ 1
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER cryptominisat 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER adaptg2wsat2009 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER precosat 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER march_hi 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER hybridGM3 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER lingeling 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER gnovelty+2 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER TNM 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER AshiHgen 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER mxc-sat09 4 0
11.10/11.46 c PORTFOLIO-SUGGESTION SOLVER march_hi 100000 1
11.10/11.46 c TIMER: 11.42 sec total, 0.32 sec since previous report
11.10/11.46 c Preprocessing ON (for solvers that need to use it)
51.47/51.62 c Solvers and corresponding runtimes to be used, and whether on the preprocessed instance:
51.47/51.62 c cryptominisat 4 False
51.47/51.62 c adaptg2wsat2009 4 False
51.47/51.62 c precosat 4 False
51.47/51.62 c march_hi 4 False
51.47/51.62 c hybridGM3 4 False
51.47/51.62 c lingeling 4 False
51.47/51.62 c gnovelty+2 4 False
51.47/51.62 c TNM 4 False
51.47/51.62 c AshiHgen 4 False
51.47/51.62 c mxc-sat09 4 False
51.47/51.62 c march_hi 100000 True
51.47/51.62 c Default solver to fall back on, in case everything fails:
51.47/51.62 c lingeling no limit False
51.47/51.62 c Running cryptominisat for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/cryptominisat HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 15.43 sec total, 4.01 sec since previous report
51.47/51.62 c Running adaptg2wsat2009 for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/adaptg2wsat2009 HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 19.44 sec total, 4.01 sec since previous report
51.47/51.62 c Running precosat for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/precosat HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 23.44 sec total, 4.0 sec since previous report
51.47/51.62 c Running march_hi for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/march_hi HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 27.45 sec total, 4.0 sec since previous report
51.47/51.62 c Running hybridGM3 for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/hybridGM3 HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 31.49 sec total, 4.04 sec since previous report
51.47/51.62 c Running lingeling for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/lingeling HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 35.49 sec total, 4.0 sec since previous report
51.47/51.62 c Running gnovelty+2 for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/gnovelty+2 HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 39.5 sec total, 4.0 sec since previous report
51.47/51.62 c Running TNM for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/TNM HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 43.5 sec total, 4.0 sec since previous report
51.47/51.62 c Running AshiHgen for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/SATenstein -i HOME/instance-3449806-1307055209.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 1704637705
51.47/51.62 c TIMER: 47.51 sec total, 4.01 sec since previous report
51.47/51.62 c Running mxc-sat09 for 4 seconds on HOME/instance-3449806-1307055209.cnf
51.47/51.62 c utilities/timerun 4 solvers/mxc-sat09 -i HOME/instance-3449806-1307055209.cnf
51.47/51.62 c TIMER: 51.51 sec total, 4.01 sec since previous report
51.47/51.62 c <<<< Running SatElite to preprocess instance >>>>
51.47/51.62 c preprocessors/SatELite_v1.0_linux +pre --verbosity=0 HOME/instance-3449806-1307055209.cnf WORKING-DIR/instance-3449806-1307055209.cnf.pre WORKING-DIR/instance-3449806-1307055209.cnf.pre.varmap
51.47/51.62 c Satelite return code: 0
51.47/51.62 c Running march_hi for 100000 seconds on WORKING-DIR/instance-3449806-1307055209.cnf.pre
437.97/438.17 c utilities/timerun 100000 solvers/march_hi WORKING-DIR/instance-3449806-1307055209.cnf.pre
437.97/438.17 c TIMER: 438.12 sec total, 386.61 sec since previous report
437.97/438.17 c Instance solved!
437.97/438.17 s UNSATISFIABLE
437.97/438.17 c TIMER: 438.12 sec total, 0.0 sec since previous report
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-3449806-1307055209/watcher-3449806-1307055209 -o /tmp/evaluation-result-3449806-1307055209/solver-3449806-1307055209 -C 1200 -W 1300 -M 7680 python portfolio_solver.py -t 1200 -s 1704637705 HOME/instance-3449806-1307055209.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.07 4.13 3.88 5/578 32118
/proc/meminfo: memFree=24936288/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=15780 CPUtime=0 cores=4,6
/proc/32118/stat : 32118 (python) R 32116 32118 31102 0 -1 4202496 861 0 0 0 0 0 0 0 25 0 1 0 817118002 16158720 744 33554432000 4194304 5683644 140734986278832 18446744073709551615 4543312 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32118/statm: 3945 746 340 364 0 432 0
[startup+0.027875 s]
/proc/loadavg: 4.07 4.13 3.88 5/578 32118
/proc/meminfo: memFree=24936288/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=16248 CPUtime=0 cores=4,6
/proc/32118/stat : 32118 (python) R 32116 32118 31102 0 -1 4202496 1017 0 0 0 0 0 0 0 25 0 1 0 817118002 16637952 891 33554432000 4194304 5683644 140734986278832 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32118/statm: 4062 894 372 364 0 549 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16248
[startup+0.100866 s]
/proc/loadavg: 4.07 4.13 3.88 5/578 32118
/proc/meminfo: memFree=24936288/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=21900 CPUtime=0.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 1516 0 0 0 1 0 0 0 17 0 1 0 817118002 22425600 1350 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+0.300822 s]
/proc/loadavg: 4.07 4.13 3.88 5/578 32118
/proc/meminfo: memFree=24936288/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=21900 CPUtime=0.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 1516 0 0 0 1 0 0 0 17 0 1 0 817118002 22425600 1350 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+0.700753 s]
/proc/loadavg: 4.07 4.13 3.88 5/578 32118
/proc/meminfo: memFree=24936288/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=21900 CPUtime=0.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 1516 0 0 0 1 0 0 0 17 0 1 0 817118002 22425600 1350 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 5475 1350 443 364 0 930 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21900
[startup+1.50059 s]
/proc/loadavg: 4.07 4.13 3.88 5/580 32120
/proc/meminfo: memFree=24921888/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=21900 CPUtime=0.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 1516 0 0 0 1 0 0 0 17 0 1 0 817118002 22425600 1350 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 5475 1350 443 364 0 930 0
[pid=32120] ppid=32118 vsize=8364 CPUtime=1.44 cores=4,6
/proc/32120/stat : 32120 (features) R 32118 32118 31102 0 -1 4202496 2637 0 0 0 143 1 0 0 21 0 1 0 817118007 8564736 1519 33554432000 134512640 135907751 4289991856 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32120/statm: 2091 1519 111 341 0 1747 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 30264
[startup+3.10029 s]
/proc/loadavg: 4.14 4.15 3.88 5/580 32120
/proc/meminfo: memFree=24923376/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=21900 CPUtime=0.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 1516 0 0 0 1 0 0 0 17 0 1 0 817118002 22425600 1350 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 5475 1350 443 364 0 930 0
[pid=32120] ppid=32118 vsize=4844 CPUtime=3.04 cores=4,6
/proc/32120/stat : 32120 (features) R 32118 32118 31102 0 -1 4202496 2915 0 0 0 301 3 0 0 25 0 1 0 817118007 4960256 892 33554432000 134512640 135907751 4289991856 18446744073709551615 134851251 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32120/statm: 1211 892 112 341 0 867 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 26744
[startup+6.30067 s]
/proc/loadavg: 4.14 4.15 3.88 5/580 32121
/proc/meminfo: memFree=24926972/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=21900 CPUtime=0.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 1516 0 0 0 1 0 0 0 17 0 1 0 817118002 22425600 1350 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 5475 1350 443 364 0 930 0
[pid=32120] ppid=32118 vsize=4844 CPUtime=6.24 cores=4,6
/proc/32120/stat : 32120 (features) R 32118 32118 31102 0 -1 4202496 2915 0 0 0 621 3 0 0 25 0 1 0 817118007 4960256 892 33554432000 134512640 135907751 4289991856 18446744073709551615 134518699 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32120/statm: 1211 892 112 341 0 867 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 26744
[startup+12.7004 s]
/proc/loadavg: 4.12 4.14 3.88 5/583 32124
/proc/meminfo: memFree=24923348/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=0.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 2165 0 0 0 1 0 0 0 18 0 1 0 817118002 35225600 1407 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1407 468 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32123] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32123/stat : 32123 (timerun) S 32118 32118 31102 0 -1 4202496 748 0 0 0 0 0 0 0 17 0 1 0 817119150 8908800 248 33554432000 4194304 4922060 140736479094480 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/32123/statm: 2175 248 208 178 0 68 0
[pid=32124] ppid=32123 vsize=18324 CPUtime=1.21 cores=4,6
/proc/32124/stat : 32124 (cryptominisat) R 32123 32118 31102 0 -1 4202496 3113 0 0 0 121 0 0 0 25 0 1 0 817119150 18763776 2099 33554432000 134512640 134994940 4294251760 18446744073709551615 134642799 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/32124/statm: 4581 2099 356 118 0 3766 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 61424
[startup+25.501 s]
/proc/loadavg: 4.10 4.14 3.88 5/583 32130
/proc/meminfo: memFree=24923456/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=12.01 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 2619 11716 0 0 1 1 1198 1 18 0 1 0 817118002 35225600 1410 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1410 468 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32129] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32129/stat : 32129 (timerun) S 32118 32118 31102 0 -1 4202496 744 0 0 0 0 0 0 0 19 0 1 0 817120352 8908800 247 33554432000 4194304 4922060 140733768309984 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/32129/statm: 2175 247 208 178 0 68 0
[pid=32130] ppid=32129 vsize=7712 CPUtime=2 cores=4,6
/proc/32130/stat : 32130 (march_hi) R 32129 32118 31102 0 -1 4202496 2252 0 0 0 200 0 0 0 25 0 1 0 817120352 7897088 1454 33554432000 134512640 134628092 4293442672 18446744073709551615 134534197 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32130/statm: 1928 1454 126 29 0 1509 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 50812
[startup+51.1011 s]
/proc/loadavg: 4.07 4.12 3.89 5/583 32143
/proc/meminfo: memFree=24919824/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=36.03 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3506 31857 0 0 1 1 3596 5 19 0 1 0 817118002 35225600 1410 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1410 468 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32142] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32142/stat : 32142 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 18 0 1 0 817122758 8908800 248 33554432000 4194304 4922060 140734186391744 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32142/statm: 2175 248 208 178 0 68 0
[pid=32143] ppid=32142 vsize=12240 CPUtime=3.54 cores=4,6
/proc/32143/stat : 32143 (mxc-sat09) R 32142 32118 31102 0 -1 4202496 2580 0 0 0 354 0 0 0 25 0 1 0 817122758 12533760 2443 33554432000 134512640 134581694 4294362976 18446744073709551615 134533922 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32143/statm: 3060 2443 209 17 0 2407 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 55340
[startup+102.321 s]
/proc/loadavg: 3.96 4.09 3.89 5/583 32184
/proc/meminfo: memFree=24919220/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3753 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=10292 CPUtime=50.69 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 1700 0 0 0 5069 0 0 0 25 0 1 0 817123165 10539008 1641 33554432000 134512640 134628092 4293703792 18446744073709551615 134528050 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 2573 1641 146 29 0 2154 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 53392
[startup+162.301 s]
/proc/loadavg: 4.12 4.10 3.90 5/583 32203
/proc/meminfo: memFree=24909492/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3755 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=10784 CPUtime=110.67 cores=4,6
################
# More data... #
################
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12312 CPUtime=357.87 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2099 0 0 0 35787 0 0 0 25 0 1 0 817123165 12607488 2040 33554432000 134512640 134628092 4293703792 18446744073709551615 134559984 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3078 2040 147 29 0 2659 0
Current children cumulated CPU time (s) 409.36
Current children cumulated vsize (KiB) 55412
[startup+422.301 s]
/proc/loadavg: 4.25 4.17 3.97 5/583 32212
/proc/meminfo: memFree=24838052/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3758 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12608 CPUtime=370.69 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2116 0 0 0 37069 0 0 0 25 0 1 0 817123165 12910592 2057 33554432000 134512640 134628092 4293703792 18446744073709551615 134556867 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3152 2057 147 29 0 2733 0
Current children cumulated CPU time (s) 422.18
Current children cumulated vsize (KiB) 55708
[startup+428.701 s]
/proc/loadavg: 4.23 4.17 3.97 5/583 32212
/proc/meminfo: memFree=24833456/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3758 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12608 CPUtime=377.07 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2133 0 0 0 37707 0 0 0 25 0 1 0 817123165 12910592 2074 33554432000 134512640 134628092 4293703792 18446744073709551615 134556825 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3152 2074 147 29 0 2733 0
Current children cumulated CPU time (s) 428.56
Current children cumulated vsize (KiB) 55708
[startup+435.101 s]
/proc/loadavg: 4.21 4.16 3.97 5/583 32212
/proc/meminfo: memFree=24833332/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3758 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12608 CPUtime=383.48 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2141 0 0 0 38347 1 0 0 25 0 1 0 817123165 12910592 2082 33554432000 134512640 134628092 4293703792 18446744073709551615 134556861 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3152 2082 147 29 0 2733 0
Current children cumulated CPU time (s) 434.97
Current children cumulated vsize (KiB) 55708
[startup+436.722 s]
/proc/loadavg: 4.19 4.16 3.97 5/583 32212
/proc/meminfo: memFree=24828108/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3758 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12608 CPUtime=385.1 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2144 0 0 0 38509 1 0 0 25 0 1 0 817123165 12910592 2085 33554432000 134512640 134628092 4293703792 18446744073709551615 134541811 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3152 2085 147 29 0 2733 0
Current children cumulated CPU time (s) 436.59
Current children cumulated vsize (KiB) 55708
[startup+437.501 s]
/proc/loadavg: 4.19 4.16 3.97 5/583 32212
/proc/meminfo: memFree=24828108/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3759 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12608 CPUtime=385.88 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2146 0 0 0 38587 1 0 0 25 0 1 0 817123165 12910592 2087 33554432000 134512640 134628092 4293703792 18446744073709551615 134601802 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3152 2087 147 29 0 2733 0
Current children cumulated CPU time (s) 437.37
Current children cumulated vsize (KiB) 55708
[startup+437.901 s]
/proc/loadavg: 4.19 4.16 3.97 5/583 32212
/proc/meminfo: memFree=24827116/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3759 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12608 CPUtime=386.28 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2146 0 0 0 38627 1 0 0 25 0 1 0 817123165 12910592 2087 33554432000 134512640 134628092 4293703792 18446744073709551615 134528038 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3152 2087 147 29 0 2733 0
Current children cumulated CPU time (s) 437.77
Current children cumulated vsize (KiB) 55708
[startup+438.101 s]
/proc/loadavg: 4.19 4.16 3.97 5/583 32212
/proc/meminfo: memFree=24827116/32950928 swapFree=67056580/67111528
[pid=32118] ppid=32116 vsize=34400 CPUtime=40.09 cores=4,6
/proc/32118/stat : 32118 (python) S 32116 32118 31102 0 -1 4202496 3759 36390 0 0 1 1 4002 5 18 0 1 0 817118002 35225600 1412 33554432000 4194304 5683644 140734986278832 18446744073709551615 239476694784 0 0 16781312 2 18446744071562362840 0 0 17 4 0 0 0
/proc/32118/statm: 8600 1412 469 364 0 934 0
[pid=32120] ppid=32118 vsize=0 CPUtime=11.09 cores=4,6
/proc/32120/stat : 32120 (features) Z 32118 32118 31102 0 -1 4202524 2928 0 0 0 1105 4 0 0 25 0 1 0 817118007 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32120/statm: 0 0 0 0 0 0 0
[pid=32122] ppid=32118 vsize=0 CPUtime=0.31 cores=4,6
/proc/32122/stat : 32122 (coach) Z 32118 32118 31102 0 -1 4202524 3738 0 0 0 31 0 0 0 20 0 1 0 817119117 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/32122/statm: 0 0 0 0 0 0 0
[pid=32145] ppid=32118 vsize=8700 CPUtime=0 cores=4,6
/proc/32145/stat : 32145 (timerun) S 32118 32118 31102 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 817123165 8908800 248 33554432000 4194304 4922060 140736183699648 18446744073709551615 239476513925 0 65536 16781316 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32145/statm: 2175 248 208 178 0 68 0
[pid=32146] ppid=32145 vsize=12608 CPUtime=386.48 cores=4,6
/proc/32146/stat : 32146 (march_hi) R 32145 32118 31102 0 -1 4202496 2147 0 0 0 38647 1 0 0 25 0 1 0 817123165 12910592 2088 33554432000 134512640 134628092 4293703792 18446744073709551615 134606843 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32146/statm: 3152 2088 147 29 0 2733 0
Current children cumulated CPU time (s) 437.97
Current children cumulated vsize (KiB) 55708
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32118 and gives
# childrusage.ru_utime.tv_sec=51
# childrusage.ru_utime.tv_usec=415183
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=119981
# CPU time returned by wait4() is 51.5352
# while last known CPU time is 437.97
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 438.176
CPU time (s): 437.97
CPU user time (s): 437.86
CPU system time (s): 0.11
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 1077596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.4152
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47418
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= 1102
involuntary context switches= 740
runsolver used 2.66459 second user time and 5.58515 second system time
The end