Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | -2953024 | 1800.64 | 900.573 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0334-0334.opb |
| MD5SUM | 9a97eeb14be1ddede273d67e6b1a7f28 |
| Bench Category | OPT-BIGINT-NLC (optimisation, big integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -2953024 |
| Best CPU time to get the best result obtained on this benchmark | 1800.64 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 108 |
| Total number of constraints | 36 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 36 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 324 |
| Biggest coefficient in the objective function | 244497 |
| Number of bits for the biggest coefficient in the objective function | 18 |
| Sum of the numbers in the objective function | 28420296 |
| Number of bits of the sum of numbers in the objective function | 25 |
| Biggest number in a constraint | 244497 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 28420296 |
| Number of bits of the biggest sum of numbers | 25 |
| Number of products (including duplicates) | 324 |
| Sum of products size (including duplicates) | 648 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4117999-1467216564.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.10/0.18 c ... done. Wall clock time 0.072s. 0.10/0.18 c declared #vars 108 0.10/0.18 c internal #vars 432 0.10/0.18 c #constraints 720 0.10/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 360 0.10/0.18 c org.sat4j.minisat.constraints.card.MinWatchCard => 36 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 324 0.10/0.18 c 720 constraints processed. 0.10/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 360 0.10/0.18 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 324 0.10/0.18 c 720 constraints processed. 0.10/0.18 c objective function length is 324 literals 0.24/0.20 c And the winner is solver0 0.27/0.69 c SATISFIABLE 0.27/0.69 c OPTIMIZING... 0.27/0.69 c Got one! Elapsed wall clock time (in seconds):0.577 0.27/0.69 o -2625038 0.28/0.72 c And the winner is solver0 0.42/1.19 c Got one! Elapsed wall clock time (in seconds):1.082 0.42/1.19 o -2635624 0.42/1.20 c And the winner is solver0 0.45/1.70 c Got one! Elapsed wall clock time (in seconds):1.586 0.45/1.70 o -2863952 3.07/2.46 c cleaning 2502 clauses out of 5014 with flag 11952/5014 4.22/2.86 c And the winner is solver1 4.39/3.20 c Got one! Elapsed wall clock time (in seconds):3.089 4.39/3.20 o -2953024 4.39/3.29 c cleaning 4152 clauses out of 8303 with flag 2425/10805 5.30/3.69 c cleaning 5074 clauses out of 10153 with flag 16397/16807 6.55/4.20 c cleaning 6040 clauses out of 12079 with flag 32566/23807 7.81/4.88 c cleaning 7019 clauses out of 14038 with flag 52153/31806 9.67/5.74 c cleaning 8009 clauses out of 16018 with flag 75528/40805 11.50/6.67 c cleaning 9005 clauses out of 18010 with flag 98103/50806 13.96/7.81 c cleaning 10002 clauses out of 20004 with flag 123867/61805 16.65/9.16 c cleaning 10997 clauses out of 22003 with flag 150756/73806 19.45/10.57 c cleaning 11999 clauses out of 24007 with flag 181753/86807 22.77/12.16 c cleaning 12999 clauses out of 26008 with flag 217459/100807 26.36/13.92 c cleaning 14003 clauses out of 28008 with flag 257775/115806 30.16/15.82 c cleaning 14993 clauses out of 30004 with flag 301131/131805 35.29/18.38 c cleaning 16002 clauses out of 32011 with flag 348395/148805 41.01/21.19 c cleaning 17005 clauses out of 34011 with flag 400952/166807 46.61/23.97 c cleaning 18002 clauses out of 36004 with flag 449613/185805 53.01/27.17 c cleaning 19001 clauses out of 38005 with flag 506989/205808 59.71/30.40 c cleaning 20003 clauses out of 40005 with flag 571574/226809 66.71/33.95 c cleaning 20995 clauses out of 41998 with flag 638955/248805 73.51/37.34 c cleaning 21998 clauses out of 44003 with flag 705781/271805 81.11/41.19 c cleaning 22999 clauses out of 46005 with flag 772997/295805 89.32/45.25 c cleaning 24001 clauses out of 48007 with flag 852002/320806 97.71/49.47 c cleaning 25003 clauses out of 50005 with flag 930139/346805 107.51/54.34 c cleaning 25996 clauses out of 52002 with flag 995792/373805 116.86/58.96 c cleaning 27005 clauses out of 54010 with flag 1061692/401809 127.85/64.47 c cleaning 27997 clauses out of 56002 with flag 1128452/430806 139.25/70.11 c cleaning 28998 clauses out of 58006 with flag 1199677/460807 150.45/75.77 c cleaning 29996 clauses out of 60006 with flag 1271960/491805 164.85/82.90 c cleaning 31001 clauses out of 62010 with flag 1346964/523805 178.85/89.93 c cleaning 32005 clauses out of 64009 with flag 1420684/556805 194.67/97.87 c cleaning 32999 clauses out of 66005 with flag 1501057/590806 210.02/105.42 c cleaning 33998 clauses out of 68005 with flag 1579656/625805 223.97/112.52 c cleaning 35001 clauses out of 70007 with flag 1667512/661805 240.42/120.74 c cleaning 36003 clauses out of 72006 with flag 1753537/698805 253.28/127.16 c cleaning 37001 clauses out of 74006 with flag 1841444/736808 265.67/133.33 c cleaning 38000 clauses out of 76002 with flag 1928536/775805 284.46/142.77 c cleaning 38993 clauses out of 78003 with flag 2040535/815806 304.89/152.99 c cleaning 40001 clauses out of 80009 with flag 2166184/856805 325.08/163.03 c cleaning 41002 clauses out of 82008 with flag 2270847/898805 342.29/171.63 c cleaning 42001 clauses out of 84007 with flag 2384568/941806 359.67/180.34 c cleaning 43001 clauses out of 86006 with flag 2494867/985806 377.27/189.20 c cleaning 43993 clauses out of 88004 with flag 2616428/1030805 395.86/198.42 c cleaning 45005 clauses out of 90011 with flag 2747048/1076805 416.27/208.64 c cleaning 46004 clauses out of 92008 with flag 2881312/1123807 439.08/220.05 c cleaning 47000 clauses out of 94002 with flag 3008667/1171805 467.46/234.20 c cleaning 47996 clauses out of 96002 with flag 3176506/1220805 492.45/246.73 c cleaning 49001 clauses out of 98011 with flag 3330131/1270810 516.65/258.83 c cleaning 50000 clauses out of 100006 with flag 3472176/1321806 547.45/274.28 c cleaning 51002 clauses out of 102006 with flag 3644902/1373806 581.04/291.05 c cleaning 52001 clauses out of 104003 with flag 3780087/1426805 610.44/305.74 c cleaning 52997 clauses out of 106002 with flag 3921796/1480805 654.77/327.92 c cleaning 53996 clauses out of 108005 with flag 4075116/1535805 700.55/350.85 c cleaning 55001 clauses out of 110009 with flag 4235589/1591805 750.74/375.94 c cleaning 55998 clauses out of 112008 with flag 4419264/1648805 798.14/399.65 c cleaning 57001 clauses out of 114010 with flag 4605230/1706805 848.73/424.99 c cleaning 58004 clauses out of 116012 with flag 4788402/1765808 894.13/447.70 c cleaning 59005 clauses out of 118009 with flag 4983057/1825809 935.33/468.27 c cleaning 59997 clauses out of 120001 with flag 5160597/1886806 977.32/489.29 c cleaning 61000 clauses out of 122003 with flag 5331332/1948805 1009.73/505.45 c cleaning 61999 clauses out of 124004 with flag 5496580/2011806 1054.33/527.70 c cleaning 62994 clauses out of 126004 with flag 5680782/2075805 1099.31/550.22 c cleaning 63992 clauses out of 128010 with flag 5919794/2140805 1145.92/573.51 c cleaning 65005 clauses out of 130018 with flag 6171256/2206805 1192.32/596.74 c cleaning 66004 clauses out of 132013 with flag 6433192/2273805 1237.91/619.52 c cleaning 66999 clauses out of 134010 with flag 6701655/2341806 1281.07/641.05 c cleaning 68002 clauses out of 136010 with flag 6945439/2410805 1327.46/664.27 c cleaning 68999 clauses out of 138008 with flag 7216188/2480805 1368.26/684.60 c cleaning 70005 clauses out of 140013 with flag 7479089/2551809 1417.25/709.18 c cleaning 70993 clauses out of 142004 with flag 7780066/2623805 1465.44/733.22 c cleaning 72003 clauses out of 144011 with flag 8068954/2696805 1514.64/757.87 c cleaning 72998 clauses out of 146008 with flag 8339559/2770805 1564.04/782.52 c cleaning 74001 clauses out of 148010 with flag 8640020/2845805 1605.25/803.14 c cleaning 75002 clauses out of 150011 with flag 8872930/2921807 1650.44/825.79 c cleaning 75995 clauses out of 152007 with flag 9162337/2998805 1696.04/848.53 c cleaning 77003 clauses out of 154013 with flag 9456619/3076806 1741.04/871.07 c cleaning 78004 clauses out of 156009 with flag 9735345/3155805 1793.24/897.12 c cleaning 79002 clauses out of 158006 with flag 9947341/3235806 1800.04/900.50 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.04/900.50 c starts : 11063 1800.04/900.50 c conflicts : 3256308 1800.04/900.50 c decisions : 4248113 1800.04/900.50 c propagations : 141816533 1800.04/900.50 c inspects : 13939038027 1800.04/900.50 c shortcuts : 0 1800.04/900.50 c learnt literals : 0 1800.04/900.50 c learnt binary clauses : 0 1800.04/900.50 c learnt ternary clauses : 0 1800.04/900.50 c learnt constraints : 3256308 1800.04/900.50 c ignored constraints : 0 1800.04/900.50 c root simplifications : 0 1800.04/900.50 c removed literals (reason simplification) : 3922538 1800.04/900.50 c reason swapping (by a shorter reason) : 0 1800.04/900.50 c Calls to reduceDB : 77 1800.04/900.50 c Number of update (reduction) of LBD : 148016 1800.04/900.50 c Imported unit clauses : 0 1800.04/900.50 c number of reductions to clauses (during analyze) : 0 1800.04/900.50 c number of learned constraints concerned by reduction : 0 1800.04/900.50 c number of learning phase by resolution : 0 1800.04/900.50 c number of learning phase by cutting planes : 0 1800.04/900.50 c speed (assignments/second) : 158047.54135448116 1800.04/900.50 c non guided choices 0 1800.04/900.53 c learnt constraints type 1800.04/900.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 99506 1800.04/900.53 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.04/900.53 c starts : 18 1800.04/900.53 c conflicts : 2275 1800.04/900.53 c decisions : 5112 1800.04/900.53 c propagations : 85898 1800.04/900.53 c inspects : 19831281 1800.04/900.53 c shortcuts : 0 1800.04/900.53 c learnt literals : 0 1800.04/900.53 c learnt binary clauses : 0 1800.04/900.53 c learnt ternary clauses : 0 1800.04/900.53 c learnt constraints : 2274 1800.04/900.53 c ignored constraints : 0 1800.04/900.53 c root simplifications : 0 1800.04/900.53 c removed literals (reason simplification) : 0 1800.04/900.53 c reason swapping (by a shorter reason) : 0 1800.04/900.53 c Calls to reduceDB : 0 1800.04/900.53 c Number of update (reduction) of LBD : 0 1800.04/900.53 c Imported unit clauses : 0 1800.04/900.53 c number of reductions to clauses (during analyze) : 0 1800.04/900.53 c number of learned constraints concerned by reduction : 0 1800.04/900.53 c number of learning phase by resolution : 0 1800.04/900.53 c number of learning phase by cutting planes : 0 1800.04/900.53 c speed (assignments/second) : 95.56677758901324 1800.04/900.53 c non guided choices 0 1800.04/900.53 c learnt constraints type 1800.04/900.53 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2 1800.04/900.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2272 1800.04/900.53 s SATISFIABLE 1800.04/900.53 c Found 4 solution(s) 1800.04/900.53 v -x1 -x2 x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 x27 x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 x63 x64 -x65 -x66 -x67 x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 x77 -x78 -x79 x80 -x81 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 x107 -x108 1800.04/900.53 c objective function=-2953024 1800.04/900.53 c Total wall clock time (in seconds): 900.419
OK -2953024
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4117999-1467216564/watcher-4117999-1467216564 -o /tmp/evaluation-result-4117999-1467216564/solver-4117999-1467216564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117999-1467216564.opb pid=7871 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.37 4.30 4.18 3/193 7874 /proc/meminfo: memFree=28458032/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9160 CPUtime=0 cores=0,2,4,6 /proc/7874/stat : 7874 (java) R 7871 7874 5962 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 2607686 9379840 122 33554432000 1073741824 1073778376 140736841326240 140736841323368 225445014960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2290 123 94 9 0 38 0 [startup+0.100164 s] /proc/loadavg: 4.37 4.30 4.18 3/193 7874 /proc/meminfo: memFree=28458032/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 4449 0 1 0 9 1 0 0 20 0 18 0 2607686 9787879424 6090 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2389619 6090 2141 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200225 s] /proc/loadavg: 4.37 4.30 4.18 3/193 7874 /proc/meminfo: memFree=28458032/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 4736 0 1 0 23 1 0 0 20 0 22 0 2607686 10060525568 7873 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 7873 2209 9 0 2446860 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9824732 [startup+0.300305 s] /proc/loadavg: 4.37 4.30 4.18 3/193 7874 /proc/meminfo: memFree=28458032/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 4743 0 1 0 24 3 0 0 20 0 19 0 2607686 10060525568 7870 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 7870 2216 9 0 2446860 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9824732 [startup+0.700166 s] /proc/loadavg: 4.37 4.30 4.18 3/193 7874 /proc/meminfo: memFree=28458032/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 4751 0 1 0 25 3 0 0 20 0 21 0 2607686 10060525568 8900 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 8900 2218 9 0 2446860 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 4.37 4.30 4.18 2/212 7899 /proc/meminfo: memFree=28423180/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 5575 0 1 0 40 5 0 0 20 0 19 0 2607686 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 10478 2236 9 0 2446860 0 [pid=7874/tid=7876] ppid=7871 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/7874/task/7876/stat : 7876 (java) S 7871 7874 5962 0 -1 4202560 2422 0 1 0 17 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182049710968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7877] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7877/stat : 7877 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182038772520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7878] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7878/stat : 7878 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182037719720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7879] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7879/stat : 7879 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182036667432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7880] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7880/stat : 7880 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182035614632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7881] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7881/stat : 7881 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182034561320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7882] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7882/stat : 7882 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182033508520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7883] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7883/stat : 7883 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182032456232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7884] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7884/stat : 7884 (java) S 7871 7874 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140182031403432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7885] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7885/stat : 7885 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2607688 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181873797864 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7886] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7886/stat : 7886 (java) S 7871 7874 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 2607689 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181872743928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7887] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7887/stat : 7887 (java) S 7871 7874 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2607689 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181871691528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7888] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7888/stat : 7888 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607691 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181870640016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7889] ppid=7871 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/7874/task/7889/stat : 7889 (java) S 7871 7874 5962 0 -1 4202560 851 0 0 0 7 0 0 0 20 0 19 0 2607691 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181869586616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7890] ppid=7871 vsize=9824732 CPUtime=0.07 cores=0,2,4,6 /proc/7874/task/7890/stat : 7890 (java) S 7871 7874 5962 0 -1 4202560 954 0 0 0 7 0 0 0 20 0 19 0 2607691 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181868533816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7891] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7891/stat : 7891 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607691 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181867481720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7892] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7892/stat : 7892 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607691 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181866429128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7895] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7895/stat : 7895 (java) S 7871 7874 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2607705 10060525568 10478 33554432000 1073741824 1073778376 140736841326240 140181863270056 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9824732 [startup+3.1008 s] /proc/loadavg: 4.37 4.30 4.18 5/216 7909 /proc/meminfo: memFree=28341976/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=4.39 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 26854 0 1 0 425 14 0 0 20 0 19 0 2607686 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 45575 2285 9 0 2446860 0 [pid=7874/tid=7876] ppid=7871 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/7874/task/7876/stat : 7876 (java) S 7871 7874 5962 0 -1 4202560 2422 0 1 0 17 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182049710968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7877] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7877/stat : 7877 (java) S 7871 7874 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182038772520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7878] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7878/stat : 7878 (java) S 7871 7874 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182037719720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7879] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7879/stat : 7879 (java) S 7871 7874 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182036667432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7880] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7880/stat : 7880 (java) S 7871 7874 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182035614632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7881] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7881/stat : 7881 (java) S 7871 7874 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182034561320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7882] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7882/stat : 7882 (java) S 7871 7874 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182033508520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7883] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7883/stat : 7883 (java) S 7871 7874 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182032456232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7884] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7884/stat : 7884 (java) S 7871 7874 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 2607687 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140182031403432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7885] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7885/stat : 7885 (java) S 7871 7874 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2607688 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181873797864 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7886] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7886/stat : 7886 (java) S 7871 7874 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2607689 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181872743928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7887] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7887/stat : 7887 (java) S 7871 7874 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 2607689 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181871691528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7888] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7888/stat : 7888 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607691 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181870640016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7889] ppid=7871 vsize=9824732 CPUtime=0.78 cores=0,2,4,6 /proc/7874/task/7889/stat : 7889 (java) S 7871 7874 5962 0 -1 4202560 10191 0 0 0 76 2 0 0 20 0 19 0 2607691 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181869586616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7890] ppid=7871 vsize=9824732 CPUtime=0.97 cores=0,2,4,6 /proc/7874/task/7890/stat : 7890 (java) S 7871 7874 5962 0 -1 4202560 12773 0 0 0 94 3 0 0 20 0 19 0 2607691 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181868533816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7891] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7891/stat : 7891 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607691 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181867481720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7892] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7892/stat : 7892 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2607691 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181866429128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7905] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7905/stat : 7905 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 2607856 10060525568 45575 33554432000 1073741824 1073778376 140736841326240 140181862216616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 9824732 [startup+6.30094 s] /proc/loadavg: 4.26 4.28 4.17 3/216 7930 /proc/meminfo: memFree=28008440/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=10.87 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 28584 0 1 0 1064 23 0 0 20 0 22 0 2607686 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 89097 2285 9 0 2446860 0 [pid=7874/tid=7876] ppid=7871 vsize=9824732 CPUtime=0.18 cores=0,2,4,6 /proc/7874/task/7876/stat : 7876 (java) S 7871 7874 5962 0 -1 4202560 2422 0 1 0 18 0 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182049710968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7877] ppid=7871 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/7874/task/7877/stat : 7877 (java) S 7871 7874 5962 0 -1 4202560 32 0 0 0 3 2 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182038772520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7878] ppid=7871 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/7874/task/7878/stat : 7878 (java) S 7871 7874 5962 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182037719720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7879] ppid=7871 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/7874/task/7879/stat : 7879 (java) S 7871 7874 5962 0 -1 4202560 109 0 0 0 4 1 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182036667432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7880] ppid=7871 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/7874/task/7880/stat : 7880 (java) S 7871 7874 5962 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182035614632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7881] ppid=7871 vsize=9824732 CPUtime=0.09 cores=0,2,4,6 /proc/7874/task/7881/stat : 7881 (java) S 7871 7874 5962 0 -1 4202560 133 0 0 0 7 2 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182034561320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7882] ppid=7871 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/7874/task/7882/stat : 7882 (java) S 7871 7874 5962 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182033508520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7883] ppid=7871 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/7874/task/7883/stat : 7883 (java) S 7871 7874 5962 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182032456232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7884] ppid=7871 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/7874/task/7884/stat : 7884 (java) S 7871 7874 5962 0 -1 4202560 126 0 0 0 2 1 0 0 20 0 22 0 2607687 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140182031403432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7885] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7885/stat : 7885 (java) S 7871 7874 5962 0 -1 4202560 210 0 0 0 0 0 0 0 20 0 22 0 2607688 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181873797864 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7886] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7886/stat : 7886 (java) S 7871 7874 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181872743928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7887] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7887/stat : 7887 (java) S 7871 7874 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181871691528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7888] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7888/stat : 7888 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181870640016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7889] ppid=7871 vsize=9824732 CPUtime=0.8 cores=0,2,4,6 /proc/7874/task/7889/stat : 7889 (java) S 7871 7874 5962 0 -1 4202560 10192 0 0 0 78 2 0 0 20 0 22 0 2607691 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181869586616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7890] ppid=7871 vsize=9824732 CPUtime=1.08 cores=0,2,4,6 /proc/7874/task/7890/stat : 7890 (java) S 7871 7874 5962 0 -1 4202560 13735 0 0 0 105 3 0 0 20 0 22 0 2607691 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181868533816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7891] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7891/stat : 7891 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181867481720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7892] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7892/stat : 7892 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181866429128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7905] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7905/stat : 7905 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2607856 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181862216616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7916] ppid=7871 vsize=9824732 CPUtime=2.96 cores=0,2,4,6 /proc/7874/task/7916/stat : 7916 (java) R 7871 7874 5962 0 -1 4202560 14 0 0 0 296 0 0 0 20 0 22 0 2608006 10060525568 89097 33554432000 1073741824 1073778376 140736841326240 140181864312464 140181911354983 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7917] ppid=7871 vsize=9824732 CPUtime=2.96 cores=0,2,4,6 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.21 4.24 4.18 5/219 8109 /proc/meminfo: memFree=22543468/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=1763.65 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 34702 0 1 0 176210 155 0 0 20 0 22 0 2607686 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 805824 2294 9 0 2446860 0 [pid=7874/tid=7876] ppid=7871 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/7874/task/7876/stat : 7876 (java) S 7871 7874 5962 0 -1 4202560 2423 0 1 0 18 3 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182049710968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7877] ppid=7871 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/7874/task/7877/stat : 7877 (java) S 7871 7874 5962 0 -1 4202560 399 0 0 0 28 12 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182038772520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7878] ppid=7871 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/7874/task/7878/stat : 7878 (java) S 7871 7874 5962 0 -1 4202560 488 0 0 0 37 10 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182037719720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7879] ppid=7871 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/7874/task/7879/stat : 7879 (java) S 7871 7874 5962 0 -1 4202560 382 0 0 0 25 11 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182036667432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7880] ppid=7871 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/7874/task/7880/stat : 7880 (java) S 7871 7874 5962 0 -1 4202560 562 0 0 0 36 14 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182035614632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7881] ppid=7871 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/7874/task/7881/stat : 7881 (java) S 7871 7874 5962 0 -1 4202560 393 0 0 0 35 12 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182034561320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7882] ppid=7871 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/7874/task/7882/stat : 7882 (java) S 7871 7874 5962 0 -1 4202560 416 0 0 0 33 11 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182033508520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7883] ppid=7871 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/7874/task/7883/stat : 7883 (java) S 7871 7874 5962 0 -1 4202560 666 0 0 0 41 15 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182032456232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7884] ppid=7871 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/7874/task/7884/stat : 7884 (java) S 7871 7874 5962 0 -1 4202560 495 0 0 0 29 14 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182031403432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7885] ppid=7871 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/7874/task/7885/stat : 7885 (java) S 7871 7874 5962 0 -1 4202560 1548 0 0 0 68 1 0 0 20 0 22 0 2607688 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181873797864 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7886] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7886/stat : 7886 (java) S 7871 7874 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181872743928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7887] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7887/stat : 7887 (java) S 7871 7874 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181871691528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7888] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7888/stat : 7888 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181870640016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7889] ppid=7871 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/7874/task/7889/stat : 7889 (java) S 7871 7874 5962 0 -1 4202560 10192 0 0 0 79 2 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181869586616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7890] ppid=7871 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/7874/task/7890/stat : 7890 (java) S 7871 7874 5962 0 -1 4202560 13740 0 0 0 109 3 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181868533816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7891] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7891/stat : 7891 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181867481720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7892] ppid=7871 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/7874/task/7892/stat : 7892 (java) S 7871 7874 5962 0 -1 4202560 51 0 0 0 15 14 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181866429128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7905] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7905/stat : 7905 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2607856 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181862216616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7916] ppid=7871 vsize=9824732 CPUtime=877.27 cores=0,2,4,6 /proc/7874/task/7916/stat : 7916 (java) R 7871 7874 5962 0 -1 4202560 59 0 0 0 87710 17 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181864312464 140181911355099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7917] ppid=7871 vsize=9824732 CPUtime=877.43 cores=0,2,4,6 /proc/7874/task/7917/stat : 7917 (java) R 7871 7874 5962 0 -1 4202560 1469 0 0 0 87702 41 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181865371792 140181911795271 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7918] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7918/stat : 7918 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181863269416 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1763.65 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.501 s] /proc/loadavg: 4.37 4.27 4.19 5/219 8109 /proc/meminfo: memFree=22543472/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 34704 0 1 0 179849 155 0 0 20 0 22 0 2607686 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 805824 2294 9 0 2446860 0 [pid=7874/tid=7876] ppid=7871 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/7874/task/7876/stat : 7876 (java) S 7871 7874 5962 0 -1 4202560 2423 0 1 0 19 3 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182049710968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7877] ppid=7871 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/7874/task/7877/stat : 7877 (java) S 7871 7874 5962 0 -1 4202560 399 0 0 0 28 12 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182038772520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7878] ppid=7871 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/7874/task/7878/stat : 7878 (java) S 7871 7874 5962 0 -1 4202560 488 0 0 0 37 10 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182037719720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7879] ppid=7871 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/7874/task/7879/stat : 7879 (java) S 7871 7874 5962 0 -1 4202560 382 0 0 0 25 11 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182036667432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7880] ppid=7871 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/7874/task/7880/stat : 7880 (java) S 7871 7874 5962 0 -1 4202560 562 0 0 0 36 14 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182035614632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7881] ppid=7871 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/7874/task/7881/stat : 7881 (java) S 7871 7874 5962 0 -1 4202560 393 0 0 0 35 12 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182034561320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7882] ppid=7871 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/7874/task/7882/stat : 7882 (java) S 7871 7874 5962 0 -1 4202560 416 0 0 0 33 11 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182033508520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7883] ppid=7871 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/7874/task/7883/stat : 7883 (java) S 7871 7874 5962 0 -1 4202560 666 0 0 0 41 15 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182032456232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7884] ppid=7871 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/7874/task/7884/stat : 7884 (java) S 7871 7874 5962 0 -1 4202560 495 0 0 0 29 14 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182031403432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7885] ppid=7871 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/7874/task/7885/stat : 7885 (java) S 7871 7874 5962 0 -1 4202560 1548 0 0 0 68 1 0 0 20 0 22 0 2607688 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181873797864 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7886] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7886/stat : 7886 (java) S 7871 7874 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181872743928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7887] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7887/stat : 7887 (java) S 7871 7874 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181871691528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7888] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7888/stat : 7888 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181870640016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7889] ppid=7871 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/7874/task/7889/stat : 7889 (java) S 7871 7874 5962 0 -1 4202560 10192 0 0 0 79 2 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181869586616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7890] ppid=7871 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/7874/task/7890/stat : 7890 (java) S 7871 7874 5962 0 -1 4202560 13740 0 0 0 109 3 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181868533816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7891] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7891/stat : 7891 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181867481720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7892] ppid=7871 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/7874/task/7892/stat : 7892 (java) S 7871 7874 5962 0 -1 4202560 53 0 0 0 15 14 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181866429128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7905] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7905/stat : 7905 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2607856 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181862216616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7916] ppid=7871 vsize=9824732 CPUtime=895.46 cores=0,2,4,6 /proc/7874/task/7916/stat : 7916 (java) R 7871 7874 5962 0 -1 4202560 59 0 0 0 89529 17 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181864312464 140181911334383 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7917] ppid=7871 vsize=9824732 CPUtime=895.62 cores=0,2,4,6 /proc/7874/task/7917/stat : 7917 (java) R 7871 7874 5962 0 -1 4202560 1469 0 0 0 89521 41 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181865371792 140181911382957 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7918] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7918/stat : 7918 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181863269416 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7874 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+900.501 s] /proc/loadavg: 4.37 4.27 4.19 5/219 8109 /proc/meminfo: memFree=22543472/32872528 swapFree=1499084/1695308 [pid=7874] ppid=7871 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6 /proc/7874/stat : 7874 (java) S 7871 7874 5962 0 -1 4202496 34704 0 1 0 179849 155 0 0 20 0 22 0 2607686 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140736841317376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7874/statm: 2456183 805824 2294 9 0 2446860 0 [pid=7874/tid=7876] ppid=7871 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/7874/task/7876/stat : 7876 (java) S 7871 7874 5962 0 -1 4202560 2423 0 1 0 19 3 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182049710968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7877] ppid=7871 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/7874/task/7877/stat : 7877 (java) S 7871 7874 5962 0 -1 4202560 399 0 0 0 28 12 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182038772520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7878] ppid=7871 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/7874/task/7878/stat : 7878 (java) S 7871 7874 5962 0 -1 4202560 488 0 0 0 37 10 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182037719720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7879] ppid=7871 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/7874/task/7879/stat : 7879 (java) S 7871 7874 5962 0 -1 4202560 382 0 0 0 25 11 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182036667432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7880] ppid=7871 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/7874/task/7880/stat : 7880 (java) S 7871 7874 5962 0 -1 4202560 562 0 0 0 36 14 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182035614632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7881] ppid=7871 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/7874/task/7881/stat : 7881 (java) S 7871 7874 5962 0 -1 4202560 393 0 0 0 35 12 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182034561320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7882] ppid=7871 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/7874/task/7882/stat : 7882 (java) S 7871 7874 5962 0 -1 4202560 416 0 0 0 33 11 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182033508520 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7883] ppid=7871 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/7874/task/7883/stat : 7883 (java) S 7871 7874 5962 0 -1 4202560 666 0 0 0 41 15 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182032456232 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7884] ppid=7871 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/7874/task/7884/stat : 7884 (java) S 7871 7874 5962 0 -1 4202560 495 0 0 0 29 14 0 0 20 0 22 0 2607687 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140182031403432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7885] ppid=7871 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/7874/task/7885/stat : 7885 (java) S 7871 7874 5962 0 -1 4202560 1548 0 0 0 68 1 0 0 20 0 22 0 2607688 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181873797864 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7886] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7886/stat : 7886 (java) S 7871 7874 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181872743928 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7887] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7887/stat : 7887 (java) S 7871 7874 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 2607689 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181871691528 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7888] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7888/stat : 7888 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181870640016 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7889] ppid=7871 vsize=9824732 CPUtime=0.81 cores=0,2,4,6 /proc/7874/task/7889/stat : 7889 (java) S 7871 7874 5962 0 -1 4202560 10192 0 0 0 79 2 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181869586616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7890] ppid=7871 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/7874/task/7890/stat : 7890 (java) S 7871 7874 5962 0 -1 4202560 13740 0 0 0 109 3 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181868533816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7891] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7891/stat : 7891 (java) S 7871 7874 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181867481720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7892] ppid=7871 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/7874/task/7892/stat : 7892 (java) S 7871 7874 5962 0 -1 4202560 53 0 0 0 15 14 0 0 20 0 22 0 2607691 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181866429128 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7874/tid=7905] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7905/stat : 7905 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2607856 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181862216616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7874/tid=7916] ppid=7871 vsize=9824732 CPUtime=895.46 cores=0,2,4,6 /proc/7874/task/7916/stat : 7916 (java) R 7871 7874 5962 0 -1 4202560 59 0 0 0 89529 17 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181864312464 140181911334383 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7874/tid=7917] ppid=7871 vsize=9824732 CPUtime=895.62 cores=0,2,4,6 /proc/7874/task/7917/stat : 7917 (java) R 7871 7874 5962 0 -1 4202560 1469 0 0 0 89521 41 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181865371792 140181911382957 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7874/tid=7918] ppid=7871 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/7874/task/7918/stat : 7918 (java) S 7871 7874 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 2608006 10060525568 805824 33554432000 1073741824 1073778376 140736841326240 140181863269416 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 900.573 CPU time (s): 1800.64 CPU user time (s): 1798.57 CPU system time (s): 2.07268 CPU usage (%): 199.944 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.57 system time used= 2.07268 maximum resident set size= 3223424 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34748 page faults= 1 swaps= 0 block input operations= 0 block output operations= 616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21694 involuntary context switches= 11414 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.00094 second user time and 5.9381 second system time The end
Begin job on node137 at 2016-06-29 18:09:24 IDJOB=4117999 IDBENCH=111425 IDSOLVER=2543 FILE ID=node137/4117999-1467216564 RUNJOBID= node137-1467212962-6646 PBS_JOBID= 19997573 Free space on /tmp= 71696 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-graphpart_3g-0334-0334.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117999-1467216564/watcher-4117999-1467216564 -o /tmp/evaluation-result-4117999-1467216564/solver-4117999-1467216564 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4117999-1467216564.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a97eeb14be1ddede273d67e6b1a7f28 RANDOM SEED=1498343284 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28458676 kB Buffers: 91516 kB Cached: 1783196 kB SwapCached: 0 kB Active: 301308 kB Inactive: 1670420 kB Active(anon): 99828 kB Inactive(anon): 4 kB Active(file): 201480 kB Inactive(file): 1670416 kB Unevictable: 1695308 kB Mlocked: 1499084 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2040 kB Writeback: 0 kB AnonPages: 1798740 kB Mapped: 21968 kB Shmem: 204 kB Slab: 608724 kB SReclaimable: 52192 kB SUnreclaim: 556532 kB KernelStack: 1560 kB PageTables: 8092 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2382712 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71692 MiB End job on node137 at 2016-06-29 18:24:25