Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-07) | SAT | 4.75927 | 1.96719 |
Name | StripPacking/ StripPacking-C1P1_c18.xml |
MD5SUM | 889218b6c90316b766a017c27e87ee44 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.66562 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 49 |
Number of domains | 18 |
Minimum domain size | 1 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":1,"count":4},{"size":2,"count":44},{"size":20,"count":32}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":16},{"degree":2,"count":32},{"degree":3,"count":32}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":2,"count":32},{"arity":3,"count":16},{"arity":64,"count":1}] |
Number of extensional constraints | 16 |
Number of intensional constraints | 32 |
Distribution of constraint types | [{"type":"extension","count":16},{"type":"intension","count":32},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.66/0.52 0.66/0.53 scop both+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Thu Jul 26 21:21:53 CEST 2018 0.66/0.55 c PID: 5675 0.66/0.55 c IP: 172.20.3.106 0.66/0.55 c HOST: node106.alineos.net 0.66/0.56 c (0,0) Parsing Begin 1.37/0.95 c (0,0) Parsing End 1.37/0.96 c (0,0) CSP: 64 int (0 aux), 16 bool (0 aux), 49 ctr, max domain size 20 1.37/0.96 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.37/0.96 c (0,0) Constraint Name Generate Begin 1.37/0.96 c (0,0) Ctr:HOME/instance-4297250-1532632912.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num 1.37/0.96 c (0,0) Constraint Name Generate End 1.37/0.96 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.37/0.96 c (0,0) CSP to CSPinCNF Begin 1.57/1.04 c (0,0) translated 5 (10%) constraints 1.57/1.05 c (0,0) translated 10 (20%) constraints 1.57/1.05 c (0,0) translated 15 (30%) constraints 1.57/1.06 c (0,0) translated 20 (40%) constraints 1.57/1.06 c (0,0) translated 25 (50%) constraints 1.57/1.06 c (0,0) translated 30 (60%) constraints 1.74/1.16 c (0,0) translated 35 (70%) constraints 1.93/1.20 c (0,0) translated 40 (80%) constraints 1.93/1.25 c (0,0) translated 45 (90%) constraints 1.93/1.27 c (0,0) translated 49 (100%) constraints 2.55/1.43 c (0,0) STATISTICS1:HOME/instance-4297250-1532632912.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,136,364,38,19,4,3,38:60;36:160;34:22;32:70;30:52;28:56;17:22;16:30;15:4;14:4;2:28;1:4,19:372;18:310;17:62;16:124;15:62;14:62;2:924;1:64,4:120;3:70;2:140;1:34,3:480;2:32;1:476;0:16, 2.55/1.43 c (0,0) =========================================== 2.55/1.43 c (0,0) Both Encoding selects: 2.55/1.43 c (0,0) Order 2.55/1.43 c (0,0) =========================================== 2.55/1.44 c (0,0) translated 37 (10%) constraints 2.55/1.44 c (0,0) translated 73 (20%) constraints 2.55/1.44 c (0,0) translated 110 (30%) constraints 2.55/1.45 c (0,0) translated 146 (40%) constraints 2.55/1.45 c (0,0) translated 182 (50%) constraints 2.55/1.45 c (0,0) translated 219 (60%) constraints 2.55/1.46 c (0,0) translated 255 (70%) constraints 2.55/1.46 c (0,0) translated 292 (80%) constraints 2.55/1.47 c (0,0) translated 328 (90%) constraints 2.55/1.47 c (0,0) translated 364 (100%) constraints 2.55/1.47 c (0,0) CSP to CSPinCNF End 2.55/1.47 c (0,0) CSP: 64 int (0 aux), 72 bool (56 aux), 364 ctr, max domain size 19 2.55/1.47 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 2.55/1.47 c (0,0) CSPinCNF Propagation Begin 2.87/1.53 c (1,0) 0 values, 14 unsatisfiable literals, and 6 valid clauses are removed 2.87/1.53 c (1,0) CSPinCNF Propagation End 2.87/1.54 c (1,0) CSP: 64 int (0 aux), 72 bool (56 aux), 358 ctr, max domain size 19 2.87/1.54 c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 2.87/1.54 c (1,0) Simplify CSPinCNF Begin 2.87/1.60 c (1,1) Simplify CSPinCNF End 3.19/1.60 c (1,1) CSP: 64 int (0 aux), 552 bool (536 aux), 838 ctr, max domain size 19 3.19/1.60 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.19/1.60 c (1,1) Calculate Precise Domain Begin 3.19/1.60 c (1,1) 0 values are removed by re-calculation 3.19/1.60 c (1,1) Calculate Precise Domain End 3.19/1.60 c (1,1) CSP: 64 int (0 aux), 552 bool (536 aux), 838 ctr, max domain size 19 3.19/1.60 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.19/1.60 c (1,1) CSPinCNF to SatSolver Begin 3.19/1.64 c (1,1) 84 (10 %) CSP clauses are encoded (1112 SAT variables, 583 SAT clauses) 3.19/1.65 c (1,1) 168 (20 %) CSP clauses are encoded (1112 SAT variables, 667 SAT clauses) 3.19/1.66 c (1,1) 252 (30 %) CSP clauses are encoded (1112 SAT variables, 958 SAT clauses) 3.19/1.69 c (1,1) 336 (40 %) CSP clauses are encoded (1112 SAT variables, 2567 SAT clauses) 3.61/1.71 c (1,1) 419 (50 %) CSP clauses are encoded (1112 SAT variables, 3946 SAT clauses) 3.61/1.73 c (1,1) 503 (60 %) CSP clauses are encoded (1112 SAT variables, 5708 SAT clauses) 3.61/1.74 c (1,1) 587 (70 %) CSP clauses are encoded (1112 SAT variables, 7428 SAT clauses) 3.61/1.75 c (1,1) 671 (80 %) CSP clauses are encoded (1112 SAT variables, 9023 SAT clauses) 3.61/1.76 c (1,1) 755 (90 %) CSP clauses are encoded (1112 SAT variables, 10878 SAT clauses) 3.61/1.78 c (1,1) 838 (100 %) CSP clauses are encoded (1112 SAT variables, 12789 SAT clauses) 3.61/1.78 c (1,1) CSPinCNF to SatSolver End 3.61/1.78 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.05/1.80 c (1,1) STATISTICS2:HOME/instance-4297250-1532632912.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,616,838,38,19,4,3,38:60;36:160;34:22;32:70;30:52;28:56;17:22;16:30;15:4;14:4;2:28,19:372;18:310;17:60;16:122;15:62;14:62;2:1884;1:60,4:120;3:56;2:634;1:28,3:480;2:28;1:1436, 4.05/1.80 c (1,1) SatSolver.solve Begin 4.05/1.80 c (1,1) 1112 bool, 12816 clause 4.05/1.80 c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297250-1532632912.xml-scop-5675.cnf HOME/instance-4297250-1532632912.xml-scop-5675.cnf.out 4.05/1.90 c (1,0) c 4.05/1.90 c (1,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.05/1.90 c (1,0) c 4.05/1.90 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 4.05/1.90 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 4.05/1.90 c (1,0) c ========================================[ Problem Statistics ]=========================================== 4.05/1.90 c (1,0) c | | 4.05/1.90 c (1,0) c | Number of variables: 1112 | 4.05/1.90 c (1,0) c | Number of clauses: 12816 | 4.05/1.90 c (1,0) c | Parse time: 0.00 s | 4.05/1.90 c (1,0) c | | 4.05/1.90 c (1,0) c | Eliminated clauses: 0.01 Mb | 4.05/1.90 c (1,0) c | Simplification time: 0.01 s | 4.05/1.90 c (1,0) c | | 4.05/1.90 c (1,0) c | Generating clones | 4.05/1.90 c (1,0) c | all clones generated. Memory = 33.11Mb. | 4.05/1.90 c (1,0) c ========================================================================================================| 4.05/1.90 c (1,0) c last restart ## conflicts : 644 84 4.05/1.90 c (1,0) c Thread 4 is 100% pure glucose! First thread to finish! (SAT answer). 4.05/1.90 c (1,0) c Total Memory so far : 611.05Mb 4.05/1.90 c (1,0) c 4.05/1.90 c (1,0) c real time : 0.0747571 s 4.05/1.90 c (1,0) c cpu time : 0.311673 s 4.05/1.90 c (1,0) c 4.05/1.90 c (1,0) c 4.05/1.90 c (1,0) c 4.05/1.90 c (1,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.05/1.90 c (1,0) c 4.05/1.90 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.05/1.90 c (1,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.05/1.90 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.05/1.90 c (1,0) c | Conflicts | 13788 | 1683 | 1674 | 1832 | 1257 | 1409 | 2001 | 2001 | 1931 | 4.30/1.90 c (1,0) c | Decisions | 33089 | 4151 | 4022 | 4405 | 3188 | 3211 | 4754 | 4754 | 4604 | 4.30/1.90 c (1,0) c | Propagations | 869060 | 101580 | 107632 | 117951 | 77608 | 86692 | 127152 | 127152 | 123293 | 4.30/1.90 c (1,0) c | Avg_Trail | | 610 | 523 | 524 | 532 | 553 | 524 | 524 | 524 | 4.30/1.90 c (1,0) c | Avg_DL | | 51 | 39 | 40 | 40 | 36 | 40 | 40 | 40 | 4.30/1.90 c (1,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.30/1.90 c (1,0) c | Exported | 2 | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c | Imported | 11 | 0 | 2 | 2 | 0 | 1 | 2 | 2 | 2 | 4.30/1.90 c (1,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c | Purge | 11 | 0 | 2 | 2 | 0 | 1 | 2 | 2 | 2 | 4.30/1.90 c (1,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.30/1.90 c (1,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c | Glues | | 2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.30/1.90 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.30/1.90 c (1,0) c | Orig_Seen | 32 % | 4580 | 3986 | 4190 | 3616 | 3787 | 4435 | 4435 | 4340 | 4.30/1.90 c (1,0) c | Diff Orig seen| | 793 | 199 | 403 | - 171 | X | 648 | 648 | 553 | 4.30/1.90 c (1,0) c | Hamming | 26 % | 289 | 304 | 305 | 283 | X | 303 | 303 | 295 | 4.30/1.90 c (1,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.30/1.90 c (1,0) 4.30/1.90 c (1,0) s SATISFIABLE 4.30/1.90 c (1,1) SatSolver.solve End 4.30/1.90 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 4.30/1.90 c (1,1) Show results Begin 4.30/1.92 c (1,1) h[0] = 12 4.30/1.92 c (1,1) h[1] = 12 4.30/1.92 c (1,1) h[2] = 8 4.30/1.92 c (1,1) h[3] = 3 4.30/1.92 c (1,1) h[4] = 3 4.30/1.92 c (1,1) h[5] = 5 4.30/1.92 c (1,1) h[6] = 3 4.30/1.92 c (1,1) h[7] = 3 4.30/1.92 c (1,1) h[8] = 5 4.30/1.92 c (1,1) h[9] = 6 4.30/1.92 c (1,1) h[10] = 3 4.30/1.92 c (1,1) h[11] = 4 4.30/1.92 c (1,1) h[12] = 4 4.30/1.92 c (1,1) h[13] = 4 4.30/1.92 c (1,1) h[14] = 9 4.30/1.92 c (1,1) h[15] = 2 4.30/1.92 c (1,1) r[0] = 0 4.30/1.92 c (1,1) r[1] = 0 4.30/1.92 c (1,1) r[2] = 1 4.30/1.92 c (1,1) r[3] = 1 4.30/1.92 c (1,1) r[4] = 1 4.30/1.92 c (1,1) r[5] = 0 4.30/1.92 c (1,1) r[6] = 1 4.30/1.92 c (1,1) r[7] = 1 4.30/1.92 c (1,1) r[8] = 1 4.30/1.92 c (1,1) r[9] = 0 4.30/1.92 c (1,1) r[10] = 1 4.30/1.92 c (1,1) r[11] = 1 4.30/1.92 c (1,1) r[12] = 0 4.30/1.92 c (1,1) r[13] = 0 4.30/1.92 c (1,1) r[14] = 1 4.30/1.92 c (1,1) r[15] = 0 4.30/1.92 c (1,1) w[0] = 2 4.30/1.92 c (1,1) w[1] = 7 4.30/1.92 c (1,1) w[2] = 6 4.30/1.92 c (1,1) w[3] = 6 4.30/1.92 c (1,1) w[4] = 5 4.30/1.92 c (1,1) w[5] = 5 4.30/1.92 c (1,1) w[6] = 12 4.30/1.92 c (1,1) w[7] = 7 4.30/1.92 c (1,1) w[8] = 7 4.30/1.92 c (1,1) w[9] = 2 4.30/1.92 c (1,1) w[10] = 2 4.30/1.92 c (1,1) w[11] = 2 4.30/1.92 c (1,1) w[12] = 3 4.30/1.92 c (1,1) w[13] = 4 4.30/1.92 c (1,1) w[14] = 2 4.30/1.92 c (1,1) w[15] = 11 4.30/1.92 c (1,1) x[0] = 0 4.30/1.92 c (1,1) x[1] = 13 4.30/1.92 c (1,1) x[2] = 2 4.30/1.92 c (1,1) x[3] = 2 4.30/1.92 c (1,1) x[4] = 8 4.30/1.92 c (1,1) x[5] = 15 4.30/1.92 c (1,1) x[6] = 8 4.30/1.92 c (1,1) x[7] = 4 4.30/1.92 c (1,1) x[8] = 8 4.30/1.92 c (1,1) x[9] = 0 4.30/1.92 c (1,1) x[10] = 2 4.30/1.92 c (1,1) x[11] = 6 4.30/1.92 c (1,1) x[12] = 8 4.30/1.92 c (1,1) x[13] = 2 4.30/1.92 c (1,1) x[14] = 11 4.30/1.92 c (1,1) x[15] = 0 4.30/1.92 c (1,1) y[0] = 2 4.30/1.92 c (1,1) y[1] = 0 4.30/1.92 c (1,1) y[2] = 8 4.30/1.92 c (1,1) y[3] = 5 4.30/1.92 c (1,1) y[4] = 9 4.30/1.92 c (1,1) y[5] = 12 4.30/1.92 c (1,1) y[6] = 17 4.30/1.92 c (1,1) y[7] = 2 4.30/1.92 c (1,1) y[8] = 12 4.30/1.92 c (1,1) y[9] = 14 4.30/1.92 c (1,1) y[10] = 2 4.30/1.92 c (1,1) y[11] = 16 4.30/1.92 c (1,1) y[12] = 5 4.30/1.92 c (1,1) y[13] = 16 4.30/1.92 c (1,1) y[14] = 0 4.30/1.92 c (1,1) y[15] = 0 4.30/1.92 s SATISFIABLE 4.30/1.92 v <instantiation> 4.30/1.92 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] w[0] w[1] w[2] w[3] w[4] w[5] w[6] w[7] w[8] w[9] w[10] w[11] w[12] w[13] w[14] w[15] h[0] h[1] h[2] h[3] h[4] h[5] h[6] h[7] h[8] h[9] h[10] h[11] h[12] h[13] h[14] h[15] r[0] r[1] r[2] r[3] r[4] r[5] r[6] r[7] r[8] r[9] r[10] r[11] r[12] r[13] r[14] r[15]</list> 4.30/1.92 v <values>0 13 2 2 8 15 8 4 8 0 2 6 8 2 11 0 2 0 8 5 9 12 17 2 12 14 2 16 5 16 0 0 2 7 6 6 5 5 12 7 7 2 2 2 3 4 2 11 12 12 8 3 3 5 3 3 5 6 3 4 4 4 9 2 0 0 1 1 1 0 1 1 1 0 1 1 0 0 1 0</values> 4.30/1.92 v </instantiation> 4.30/1.92 c (1,1) Show results End 4.30/1.92 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 4.30/1.92 c (1,1) 0,0,0,1,1,1,1,1,1,STOP-AFTER(ALL) 4.30/1.92 c END-Prog: Thu Jul 26 21:21:54 CEST 2018
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (2370 MiB free) memory of node 1: 16384 MiB (6398 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297250-1532632912/watcher-4297250-1532632912 -o /tmp/evaluation-result-4297250-1532632912/solver-4297250-1532632912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532632909-5558 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297250-1532632912.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5675, runsolver pid=5672 [startup+0.100108 s]* /proc/loadavg: 8.16 8.65 8.66 2/199 5695 /proc/meminfo: memFree=8884352/32770624 swapFree=67108860/67108860 [pid=5675] ppid=5672 vsize=27312552 memory=108508 CPUtime=0.1 cores=0-7 /proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 6650 0 0 0 8 2 0 0 20 0 20 0 80854063 27968053248 27127 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 /proc/5675/statm: 6828138 27127 2747 1 0 6790598 0 [pid=5675/tid=5677] ppid=5672 vsize=27312552 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 4765 0 0 0 7 2 0 0 20 0 20 0 80854063 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015752708896 140015764985182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5678] ppid=5672 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5679] ppid=5672 vsize=27312552 memory=139777629582976 CPUtime=0 cores=0-7 /proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5680] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5681] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5682] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5683] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5684] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5685] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 27127 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5686] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854067 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5687] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 27127 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5688] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 27127 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5689] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5690] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5691] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5692] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5692/stat : 5692 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014031636720 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5693] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5693/stat : 5693 (java) S 5672 5675 5531 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014030584176 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5694] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 27127 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5695] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 27127 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 108508 KiB [startup+0.209809 s]* /proc/loadavg: 8.16 8.65 8.66 4/199 5695 /proc/meminfo: memFree=8868264/32770624 swapFree=67108860/67108860 [pid=5675] ppid=5672 vsize=27312552 memory=123396 CPUtime=0.24 cores=0-7 /proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 10559 0 0 0 21 3 0 0 20 0 20 0 80854063 27968053248 30849 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 /proc/5675/statm: 6828138 30849 2939 1 0 6790598 0 [pid=5675/tid=5677] ppid=5672 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 8440 0 0 0 17 2 0 0 20 0 20 0 80854063 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015752727232 140015780916630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5678] ppid=5672 vsize=27312552 memory=12918 CPUtime=0 cores=0-7 /proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5679] ppid=5672 vsize=27312552 memory=139777629588700 CPUtime=0 cores=0-7 /proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5680] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5681] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5682] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5683] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5684] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5685] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 30849 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5686] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854067 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5687] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 30849 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5688] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 30849 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5689] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5690] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5691] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5692] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5692/stat : 5692 (java) S 5672 5675 5531 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014031636720 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5693] ppid=5672 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/5675/task/5693/stat : 5693 (java) S 5672 5675 5531 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 20 0 80854070 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014030584176 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5694] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 30849 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5695] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 30849 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 123396 KiB [startup+0.309333 s]* /proc/loadavg: 8.16 8.65 8.66 2/199 5695 /proc/meminfo: memFree=8864852/32770624 swapFree=67108860/67108860 [pid=5675] ppid=5672 vsize=27312552 memory=127308 CPUtime=0.42 cores=0-7 /proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 11211 0 0 0 38 4 0 0 20 0 20 0 80854063 27968053248 31827 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 /proc/5675/statm: 6828138 31827 2975 1 0 6790598 0 [pid=5675/tid=5677] ppid=5672 vsize=27312552 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 8884 0 0 0 26 3 0 0 20 0 20 0 80854063 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015752708848 140015764985182 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5678] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5679] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5680] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5681] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5682] ppid=5672 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5683] ppid=5672 vsize=27312552 memory=139777496150959 CPUtime=0 cores=0-7 /proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5684] ppid=5672 vsize=27312552 memory=139777496153264 CPUtime=0 cores=0-7 /proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5685] ppid=5672 vsize=27312552 memory=139777496155568 CPUtime=0 cores=0-7 /proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27968053248 31827 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5686] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854067 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5687] ppid=5672 vsize=27312552 memory=279554992318096 CPUtime=0 cores=0-7 /proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 31827 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5688] ppid=5672 vsize=27312552 memory=279554992325008 CPUtime=0 cores=0-7 /proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27968053248 31827 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5689] ppid=5672 vsize=27312552 memory=279554992266160 CPUtime=0 cores=0-7 /proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5690] ppid=5672 vsize=27312552 memory=279554992338832 CPUtime=0.01 cores=0-7 /proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5691] ppid=5672 vsize=27312552 memory=279554992345744 CPUtime=0.01 cores=0-7 /proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5692] ppid=5672 vsize=27312552 memory=279554992343440 CPUtime=0.01 cores=0-7 /proc/5675/task/5692/stat : 5692 (java) S 5672 5675 5531 0 -1 1077944384 155 0 0 0 1 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014031636720 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5693] ppid=5672 vsize=27312552 memory=279554992360048 CPUtime=0.07 cores=0-7 /proc/5675/task/5693/stat : 5693 (java) S 5672 5675 5531 0 -1 1077944384 352 0 0 0 7 0 0 0 20 0 20 0 80854070 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014030584176 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5694] ppid=5672 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 31827 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5695] ppid=5672 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27968053248 31827 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 127308 KiB [startup+0.700798 s] /proc/loadavg: 8.16 8.65 8.66 2/199 5695 /proc/meminfo: memFree=8840296/32770624 swapFree=67108860/67108860 [pid=5675] ppid=5672 vsize=27320948 memory=165968 CPUtime=0.99 cores=0-7 /proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 18512 0 0 0 93 6 0 0 20 0 20 0 80854063 27976650752 41492 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 /proc/5675/statm: 6830237 41492 3167 1 0 6791622 0 [pid=5675/tid=5677] ppid=5672 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7 /proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 15662 0 0 0 62 5 0 0 20 0 20 0 80854063 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015752732688 140015764948325 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5678] ppid=5672 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5679] ppid=5672 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5680] ppid=5672 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5681] ppid=5672 vsize=27320948 memory=5668 CPUtime=0 cores=0-7 /proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5682] ppid=5672 vsize=27320948 memory=4616 CPUtime=0 cores=0-7 /proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5683] ppid=5672 vsize=27320948 memory=14076 CPUtime=0 cores=0-7 /proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5684] ppid=5672 vsize=27320948 memory=1204 CPUtime=0 cores=0-7 /proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5685] ppid=5672 vsize=27320948 memory=15872 CPUtime=0 cores=0-7 /proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27976650752 41492 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5686] ppid=5672 vsize=27320948 memory=4008 CPUtime=0 cores=0-7 /proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80854067 27976650752 41492 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 ################ # More data... # ################ [pid=5675/tid=5694] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 53442 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5695] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 53442 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 Current children cumulated CPU time: 2.87 s Current children cumulated vsize: 27325044 KiB Current children cumulated memory: 213724 KiB [startup+1.96714 s] # the end of solver process 5675 was just reported to runsolver # cumulated CPU time of all completed processes: user=4.60488 s, system=0.154389 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1.601 s] /proc/loadavg: 8.16 8.65 8.66 3/199 5695 /proc/meminfo: memFree=8811264/32770624 swapFree=67108860/67108860 [pid=5675] ppid=5672 vsize=27325044 memory=224732 CPUtime=3.19 cores=0-7 /proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 22997 0 0 0 308 11 0 0 20 0 20 0 80854063 27980845056 56183 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 /proc/5675/statm: 6831261 56183 3200 1 0 6792646 0 [pid=5675/tid=5677] ppid=5672 vsize=27325044 memory=0 CPUtime=1.56 cores=0-7 /proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 17111 0 0 0 150 6 0 0 20 0 20 0 80854063 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015752735872 140015279615767 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5678] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5679] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5680] ppid=5672 vsize=27325044 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5681] ppid=5672 vsize=27325044 memory=4140 CPUtime=0 cores=0-7 /proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5682] ppid=5672 vsize=27325044 memory=23868 CPUtime=0 cores=0-7 /proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5683] ppid=5672 vsize=27325044 memory=6425271076021 CPUtime=0 cores=0-7 /proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5684] ppid=5672 vsize=27325044 memory=288230583166042425 CPUtime=0 cores=0-7 /proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5685] ppid=5672 vsize=27325044 memory=16104758104558012 CPUtime=0 cores=0-7 /proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27980845056 56183 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5686] ppid=5672 vsize=27325044 memory=792 CPUtime=0 cores=0-7 /proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80854067 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5687] ppid=5672 vsize=27325044 memory=1228 CPUtime=0 cores=0-7 /proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27980845056 56183 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5688] ppid=5672 vsize=27325044 memory=8552 CPUtime=0 cores=0-7 /proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27980845056 56183 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5689] ppid=5672 vsize=27325044 memory=1444 CPUtime=0 cores=0-7 /proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5690] ppid=5672 vsize=27325044 memory=20036 CPUtime=0.27 cores=0-7 /proc/5675/task/5690/stat : 5690 (java) R 5672 5675 5531 0 -1 4202560 679 0 0 0 26 1 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014033730512 140015760741058 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5691] ppid=5672 vsize=27325044 memory=6944656592455359580 CPUtime=0.3 cores=0-7 /proc/5675/task/5691/stat : 5691 (java) R 5672 5675 5531 0 -1 4202560 564 0 0 0 30 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014032676848 140015758652143 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5692] ppid=5672 vsize=27325044 memory=6944656592455359580 CPUtime=0.25 cores=0-7 /proc/5675/task/5692/stat : 5692 (java) R 5672 5675 5531 0 -1 4202560 517 0 0 0 25 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014031622672 140015764405115 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5693] ppid=5672 vsize=27325044 memory=6944656592455360604 CPUtime=0.74 cores=0-7 /proc/5675/task/5693/stat : 5693 (java) R 5672 5675 5531 0 -1 4202560 2780 0 0 0 74 0 0 0 20 0 20 0 80854070 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014030584176 140015774004395 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5694] ppid=5672 vsize=27325044 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 56183 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5695] ppid=5672 vsize=27325044 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27980845056 56183 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 Current children cumulated CPU time: 3.19 s Current children cumulated vsize: 27325044 KiB Current children cumulated memory: 224732 KiB [startup+1.80213 s] /proc/loadavg: 8.16 8.65 8.66 3/199 5695 /proc/meminfo: memFree=8811264/32770624 swapFree=67108860/67108860 [pid=5675] ppid=5672 vsize=27327160 memory=267472 CPUtime=4.05 cores=0-7 /proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 24477 0 0 0 393 12 0 0 20 0 20 0 80854063 27983011840 66868 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 /proc/5675/statm: 6831790 66868 3218 1 0 6792646 0 [pid=5675/tid=5677] ppid=5672 vsize=27327160 memory=8112282956445269571 CPUtime=1.76 cores=0-7 /proc/5675/task/5677/stat : 5677 (java) R 5672 5675 5531 0 -1 4202560 17370 0 0 0 169 7 0 0 20 0 20 0 80854063 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015752742368 140015280671103 0 4 0 25189583 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5678] ppid=5672 vsize=27327160 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5679] ppid=5672 vsize=27327160 memory=4580 CPUtime=0 cores=0-7 /proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5680] ppid=5672 vsize=27327160 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5681] ppid=5672 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5682] ppid=5672 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5683] ppid=5672 vsize=27327160 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5684] ppid=5672 vsize=27327160 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5685] ppid=5672 vsize=27327160 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854066 27983011840 66868 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5686] ppid=5672 vsize=27327160 memory=9126232286719478932 CPUtime=0 cores=0-7 /proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80854067 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5687] ppid=5672 vsize=27327160 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80854068 27983011840 66868 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5688] ppid=5672 vsize=27327160 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854068 27983011840 66868 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5689] ppid=5672 vsize=27327160 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5690] ppid=5672 vsize=27327160 memory=3475195960817247586 CPUtime=0.45 cores=0-7 /proc/5675/task/5690/stat : 5690 (java) R 5672 5675 5531 0 -1 4202560 926 0 0 0 44 1 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014033731072 140015780916630 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5691] ppid=5672 vsize=27327160 memory=-7027409196973593448 CPUtime=0.49 cores=0-7 /proc/5675/task/5691/stat : 5691 (java) R 5672 5675 5531 0 -1 4202560 771 0 0 0 49 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014032677968 140015762435793 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5692] ppid=5672 vsize=27327160 memory=-7522837583129502606 CPUtime=0.43 cores=0-7 /proc/5675/task/5692/stat : 5692 (java) R 5672 5675 5531 0 -1 4202560 1074 0 0 0 43 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014031628672 140015764401483 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5693] ppid=5672 vsize=27327160 memory=1399103955520229747 CPUtime=0.85 cores=0-7 /proc/5675/task/5693/stat : 5693 (java) R 5672 5675 5531 0 -1 4202560 2990 0 0 0 85 0 0 0 20 0 20 0 80854070 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014030584304 140015780926042 0 4 0 25189583 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5694] ppid=5672 vsize=27327160 memory=-7233780906022726806 CPUtime=0 cores=0-7 /proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80854071 27983011840 66868 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5695] ppid=5672 vsize=27327160 memory=14904 CPUtime=0 cores=0-7 /proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80854071 27983011840 66868 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 Current children cumulated CPU time: 4.05 s Current children cumulated vsize: 27327160 KiB Current children cumulated memory: 267472 KiB [startup+1.90085 s] /proc/loadavg: 8.16 8.65 8.66 3/199 5695 /proc/meminfo: memFree=8811264/32770624 swapFree=67108860/67108860 [pid=5675] ppid=5672 vsize=27984808 memory=284588 CPUtime=4.3 cores=0-7 /proc/5675/stat : 5675 (java) S 5672 5675 5531 0 -1 1077944320 25249 0 0 0 418 12 0 0 20 0 24 0 80854063 28656443392 71147 33554432000 4194304 4196468 140720675370384 140720675352928 140015780904695 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 /proc/5675/statm: 6996202 71147 3222 1 0 6957058 0 [pid=5675/tid=5677] ppid=5672 vsize=27984808 memory=0 CPUtime=1.83 cores=0-7 /proc/5675/task/5677/stat : 5677 (java) S 5672 5675 5531 0 -1 1077944384 17719 0 0 0 175 8 0 0 20 0 24 0 80854063 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015752743936 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5678] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5678/stat : 5678 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015785147152 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5679] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5679/stat : 5679 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015202630544 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5680] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5680/stat : 5680 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015201578000 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5681] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5681/stat : 5681 (java) S 5672 5675 5531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015200525456 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5682] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5682/stat : 5682 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015199471888 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5683] ppid=5672 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/5675/task/5683/stat : 5683 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015198419344 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5684] ppid=5672 vsize=27984808 memory=139781924550271 CPUtime=0 cores=0-7 /proc/5675/task/5684/stat : 5684 (java) S 5672 5675 5531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015197366800 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5685] ppid=5672 vsize=27984808 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/5675/task/5685/stat : 5685 (java) S 5672 5675 5531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80854066 28656443392 71147 33554432000 4194304 4196468 140720675370384 140015196314256 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5686] ppid=5672 vsize=27984808 memory=6944652177228980320 CPUtime=0.32 cores=0-7 /proc/5675/task/5686/stat : 5686 (java) S 5672 5675 5531 0 -1 1077944384 5 4773 0 0 0 0 31 1 20 0 24 0 80854067 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014034794992 140015780915842 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5687] ppid=5672 vsize=27984808 memory=6944656591801717405 CPUtime=0.32 cores=0-7 /proc/5675/task/5687/stat : 5687 (java) S 5672 5675 5531 0 -1 1077944384 13 4773 0 0 0 0 31 1 20 0 24 0 80854068 28656443392 71147 33554432000 4194304 4196468 140720675370384 140013719250336 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5688] ppid=5672 vsize=27984808 memory=7682475212697334586 CPUtime=0.32 cores=0-7 /proc/5675/task/5688/stat : 5688 (java) S 5672 5675 5531 0 -1 1077944384 1 4773 0 0 0 0 31 1 20 0 24 0 80854068 28656443392 71147 33554432000 4194304 4196468 140720675370384 140013450814960 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5689] ppid=5672 vsize=27984808 memory=6944613755328037012 CPUtime=0.32 cores=0-7 /proc/5675/task/5689/stat : 5689 (java) S 5672 5675 5531 0 -1 1077944384 1 4773 0 0 0 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140013076306640 140015780923291 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5690] ppid=5672 vsize=27984808 memory=206116 CPUtime=0.8 cores=0-7 /proc/5675/task/5690/stat : 5690 (java) S 5672 5675 5531 0 -1 1077944384 942 4773 0 0 47 1 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014033741808 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5691] ppid=5672 vsize=27984808 memory=279554992279968 CPUtime=0.84 cores=0-7 /proc/5675/task/5691/stat : 5691 (java) S 5672 5675 5531 0 -1 1077944384 778 4773 0 0 52 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014032689264 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5692] ppid=5672 vsize=27984808 memory=6656426216303648864 CPUtime=0.85 cores=0-7 /proc/5675/task/5692/stat : 5692 (java) R 5672 5675 5531 0 -1 4202560 1368 4773 0 0 53 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014031628672 140015780918559 0 4 0 25189583 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5693] ppid=5672 vsize=27984808 memory=279554992476864 CPUtime=1.2 cores=0-7 /proc/5675/task/5693/stat : 5693 (java) R 5672 5675 5531 0 -1 4202560 3046 4773 0 0 88 0 31 1 20 0 24 0 80854070 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014030584176 140015780916630 0 4 0 25189583 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5694] ppid=5672 vsize=27984808 memory=279554992477056 CPUtime=0.32 cores=0-7 /proc/5675/task/5694/stat : 5694 (java) S 5672 5675 5531 0 -1 1077944384 3 4773 0 0 0 0 31 1 20 0 24 0 80854071 28656443392 71147 33554432000 4194304 4196468 140720675370384 140012578400992 140015780914901 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 [pid=5675/tid=5695] ppid=5672 vsize=27984808 memory=279554992477248 CPUtime=0.32 cores=0-7 /proc/5675/task/5695/stat : 5695 (java) S 5672 5675 5531 0 -1 1077944384 1 4773 0 0 0 0 31 1 20 0 24 0 80854071 28656443392 71147 33554432000 4194304 4196468 140720675370384 140014029532080 140015780915842 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36995072 140720675374042 140720675374341 140720675374341 140720675377103 0 Current children cumulated CPU time: 4.3 s Current children cumulated vsize: 27984808 KiB Current children cumulated memory: 284588 KiB Child status: 0 Real time (s): 1.96719 CPU time (s): 4.75927 CPU user time (s): 4.60488 CPU system time (s): 0.154389 CPU usage (%): 241.933 Max. virtual memory (cumulated for all children) (KiB): 27984808 Max. memory (cumulated for all children) (KiB): 284588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.60488 system time used= 0.154389 maximum resident set size= 291584 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31156 page faults= 0 swaps= 0 block input operations= 0 block output operations= 496 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7435 involuntary context switches= 19 # summary of solver processes directly reported to runsolver: # pid: 5675 # total CPU time (s): 4.75927 # total CPU user time (s): 4.60488 # total CPU system time (s): 0.154389 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.039834 second user time and 0.051785 second system time The end
Begin job on node106 at 2018-07-26 21:21:52 IDJOB=4297250 IDBENCH=141128 IDSOLVER=2759 FILE ID=node106/4297250-1532632912 RUNJOBID= node106-1532632909-5558 PBS_JOBID= 21022173 Free space on /tmp= 46168 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/StripPacking/StripPacking-C1P1_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -both -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297250-1532632912/watcher-4297250-1532632912 -o /tmp/evaluation-result-4297250-1532632912/solver-4297250-1532632912 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1532632909-5558 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -both -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297250-1532632912.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 889218b6c90316b766a017c27e87ee44 RANDOM SEED=1714905562 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.11 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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: 32770624 kB MemFree: 8979384 kB MemAvailable: 31922820 kB Buffers: 241636 kB Cached: 22601456 kB SwapCached: 0 kB Active: 2991672 kB Inactive: 19907968 kB Active(anon): 34316 kB Inactive(anon): 50636 kB Active(file): 2957356 kB Inactive(file): 19857332 kB Unevictable: 6944 kB Mlocked: 6944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8296 kB Writeback: 0 kB AnonPages: 63388 kB Mapped: 40716 kB Shmem: 25228 kB Slab: 584076 kB SReclaimable: 557208 kB SUnreclaim: 26868 kB KernelStack: 3232 kB PageTables: 5136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324000 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 46160 MiB End job on node106 at 2018-07-26 21:21:54