Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-07) | SAT | 15.6905 | 3.59673 |
Name | StripPacking/ StripPacking-C2P1_c18.xml |
MD5SUM | bb34988e6b0e49ae8f3222e70708ff44 |
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 | 12.2518 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 125 |
Number of constraints | 76 |
Number of domains | 25 |
Minimum domain size | 1 |
Maximum domain size | 40 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":73},{"size":15,"count":25},{"size":40,"count":25}] |
Minimum variable degree | 1 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":1,"count":25},{"degree":2,"count":50},{"degree":3,"count":50}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 100 |
Distribution of constraint arities | [{"arity":2,"count":50},{"arity":3,"count":25},{"arity":100,"count":1}] |
Number of extensional constraints | 25 |
Number of intensional constraints | 50 |
Distribution of constraint types | [{"type":"extension","count":25},{"type":"intension","count":50},{"type":"noOverlap","count":1}] |
Optimization problem | NO |
Type of objective |
0.66/0.53 0.66/0.53 scop order+glucose-syrup (2018-07-07) 0.66/0.53 0.66/0.55 c BEGIN-Prog: Thu Jul 26 21:05:55 CEST 2018 0.66/0.55 c PID: 9081 0.66/0.55 c IP: 172.20.3.103 0.66/0.55 c HOST: node103.alineos.net 0.66/0.56 c (0,0) Parsing Begin 1.64/1.01 c (0,0) Parsing End 1.64/1.01 c (0,0) CSP: 100 int (0 aux), 25 bool (0 aux), 76 ctr, max domain size 40 1.64/1.01 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.64/1.01 c (0,0) Constraint Name Generate Begin 1.64/1.02 c (0,0) Ctr:HOME/instance-4297017-1532631955.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num 1.64/1.02 c (0,0) Constraint Name Generate End 1.64/1.02 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.64/1.02 c (0,0) CSP to CSPinCNF Begin 1.64/1.10 c (0,0) translated 8 (10%) constraints 1.80/1.11 c (0,0) translated 16 (20%) constraints 1.80/1.11 c (0,0) translated 23 (30%) constraints 1.80/1.12 c (0,0) translated 31 (40%) constraints 1.80/1.12 c (0,0) translated 38 (50%) constraints 1.80/1.13 c (0,0) translated 46 (60%) constraints 1.97/1.23 c (0,0) translated 54 (70%) constraints 2.20/1.30 c (0,0) translated 61 (80%) constraints 2.20/1.36 c (0,0) translated 69 (90%) constraints 2.52/1.40 c (0,0) translated 76 (100%) constraints 3.23/1.60 c (1,1) STATISTICS1:HOME/instance-4297017-1532631955.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,221,711,80,40,4,3,80:2;78:119;76:203;74:205;72:47;39:11;38:7;37:5;36:1;30:2;28:119;26:203;24:205;22:47;14:11;13:7;12:5;11:1;2:48;1:2,40:98;39:490;38:343;37:245;36:49;15:98;14:490;13:343;12:245;11:49;2:2016;1:50,4:300;3:120;2:240;1:51,3:1200;2:50;1:816;0:25, 3.23/1.60 c (1,1) =========================================== 3.23/1.60 c (1,1) Order 3.23/1.60 c (1,1) =========================================== 3.23/1.62 c (1,1) translated 72 (10%) constraints 3.23/1.62 c (1,1) translated 143 (20%) constraints 3.23/1.63 c (1,1) translated 214 (30%) constraints 3.23/1.63 c (1,1) translated 285 (40%) constraints 3.23/1.64 c (1,1) translated 356 (50%) constraints 3.23/1.64 c (1,1) translated 427 (60%) constraints 3.23/1.65 c (1,1) translated 498 (70%) constraints 3.23/1.66 c (1,1) translated 569 (80%) constraints 3.23/1.66 c (1,1) translated 640 (90%) constraints 3.23/1.67 c (1,1) translated 711 (100%) constraints 3.23/1.67 c (1,1) CSP to CSPinCNF End 3.23/1.67 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 711 ctr, max domain size 40 3.23/1.67 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.23/1.67 c (1,1) CSPinCNF Propagation Begin 3.64/1.75 c (1,1) 0 values, 24 unsatisfiable literals, and 3 valid clauses are removed 3.64/1.75 c (1,1) CSPinCNF Propagation End 3.64/1.75 c (1,1) CSP: 100 int (0 aux), 121 bool (96 aux), 708 ctr, max domain size 40 3.64/1.75 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 3.64/1.75 c (1,1) Simplify CSPinCNF Begin 4.02/1.85 c (1,1) Simplify CSPinCNF End 4.02/1.85 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40 4.02/1.85 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.02/1.85 c (1,1) Calculate Precise Domain Begin 4.02/1.85 c (1,1) 0 values are removed by re-calculation 4.02/1.85 c (1,1) Calculate Precise Domain End 4.02/1.85 c (1,1) CSP: 100 int (0 aux), 1321 bool (1296 aux), 1908 ctr, max domain size 40 4.02/1.85 c (1,1) Heap : 225 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 4.02/1.85 c (1,1) CSPinCNF to SatSolver Begin 4.46/1.91 c (1,1) 191 (10 %) CSP clauses are encoded (2608 SAT variables, 1379 SAT clauses) 4.46/1.92 c (1,1) 382 (20 %) CSP clauses are encoded (2608 SAT variables, 1570 SAT clauses) 4.46/1.98 c (1,1) 573 (30 %) CSP clauses are encoded (2608 SAT variables, 6895 SAT clauses) 4.92/2.03 c (1,1) 764 (40 %) CSP clauses are encoded (2608 SAT variables, 13308 SAT clauses) 4.92/2.07 c (1,1) 954 (50 %) CSP clauses are encoded (2608 SAT variables, 19804 SAT clauses) 4.92/2.10 c (1,1) 1145 (60 %) CSP clauses are encoded (2608 SAT variables, 26241 SAT clauses) 5.33/2.14 c (1,1) 1336 (70 %) CSP clauses are encoded (2608 SAT variables, 32368 SAT clauses) 5.33/2.17 c (1,1) 1527 (80 %) CSP clauses are encoded (2608 SAT variables, 38789 SAT clauses) 5.70/2.20 c (1,1) 1718 (90 %) CSP clauses are encoded (2608 SAT variables, 45131 SAT clauses) 5.70/2.23 c (1,1) 1908 (100 %) CSP clauses are encoded (2608 SAT variables, 51834 SAT clauses) 5.70/2.23 c (1,1) CSPinCNF to SatSolver End 5.70/2.23 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 5.70/2.26 c (1,1) STATISTICS2:HOME/instance-4297017-1532631955.xml,Add:ExtensionSupport:IntVar:Le:NoOverlap:Num,1421,1908,80,40,4,3,80:2;78:119;76:203;74:205;72:47;39:11;38:7;37:5;36:1;30:2;28:119;26:203;24:205;22:47;14:11;13:7;12:5;11:1;2:48,40:98;39:489;38:343;37:245;36:49;15:98;14:489;13:343;12:245;11:49;2:4416;1:48,4:300;3:96;2:1464;1:48,3:1200;2:48;1:3216, 5.70/2.26 c (1,1) SatSolver.solve Begin 5.70/2.26 c (1,1) 2608 bool, 51856 clause 5.70/2.26 c (1,1) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297017-1532631955.xml-scop-9081.cnf HOME/instance-4297017-1532631955.xml-scop-9081.cnf.out 15.18/3.55 c (3,0) c 15.18/3.55 c (3,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 15.18/3.55 c (3,0) c 15.18/3.55 c (3,0) c WARNING: for repeatability, setting FPU to use double precision 15.18/3.55 c (3,0) c 8 solvers engines and 1 companion as a blackboard created. 15.18/3.55 c (3,0) c ========================================[ Problem Statistics ]=========================================== 15.18/3.55 c (3,0) c | | 15.18/3.55 c (3,0) c | Number of variables: 2608 | 15.18/3.55 c (3,0) c | Number of clauses: 51856 | 15.18/3.55 c (3,0) c | Parse time: 0.02 s | 15.18/3.55 c (3,0) c | | 15.18/3.55 c (3,0) c | Eliminated clauses: 0.01 Mb | 15.18/3.55 c (3,0) c | Simplification time: 0.05 s | 15.18/3.55 c (3,0) c | | 15.18/3.55 c (3,0) c | Generating clones | 15.18/3.55 c (3,0) c | all clones generated. Memory = 50.27Mb. | 15.18/3.55 c (3,0) c ========================================================================================================| 15.18/3.55 c (3,0) c last restart ## conflicts : 305 168 15.18/3.55 c (3,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer). 15.18/3.55 c (3,0) c Total Memory so far : 625.94Mb 15.18/3.55 c (3,0) c 15.18/3.55 c (3,0) c real time : 1.26624 s 15.18/3.55 c (3,0) c cpu time : 9.32736 s 15.18/3.55 c (3,0) c 15.18/3.55 c (3,0) c 15.18/3.55 c (3,0) c 15.18/3.55 c (3,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 15.18/3.55 c (3,0) c 15.18/3.55 c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.18/3.55 c (3,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 15.18/3.55 c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.18/3.55 c (3,0) c | Conflicts | 229028 | 28353 | 29144 | 26652 | 29338 | 29223 | 28354 | 27734 | 30230 | 15.18/3.55 c (3,0) c | Decisions | 650156 | 79576 | 80554 | 76420 | 77921 | 83542 | 79872 | 81191 | 91080 | 15.18/3.55 c (3,0) c | Propagations | 20653429 | 2479112 | 2648295 | 2464850 | 2713615 | 2655705 | 2551807 | 2478475 | 2661570 | 15.18/3.55 c (3,0) c | Avg_Trail | | 1255 | 1250 | 1270 | 1248 | 1264 | 1249 | 1241 | 1264 | 15.18/3.55 c (3,0) c | Avg_DL | | 65 | 64 | 65 | 64 | 63 | 64 | 67 | 69 | 15.18/3.55 c (3,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.18/3.55 c (3,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.18/3.55 c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.18/3.55 c (3,0) c | Exported | 38351 | 4844 | 4940 | 4463 | 5055 | 4741 | 4768 | 4528 | 5012 | 15.18/3.55 c (3,0) c | Imported | 267027 | 33175 | 33285 | 33553 | 33174 | 33452 | 33543 | 33715 | 33130 | 15.18/3.55 c (3,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.18/3.55 c (3,0) c | Purge | 267027 | 33175 | 33285 | 33553 | 33174 | 33452 | 33543 | 33715 | 33130 | 15.18/3.55 c (3,0) c | Promoted | 3244 | 380 | 433 | 404 | 373 | 384 | 461 | 374 | 435 | 15.18/3.55 c (3,0) c | Remove_Imp | 95740 | 12033 | 11564 | 14229 | 11397 | 11898 | 12527 | 12069 | 10023 | 15.18/3.55 c (3,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.18/3.55 c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.18/3.55 c (3,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.18/3.55 c (3,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 15.18/3.55 c (3,0) c | Glues | | 12 | 10 | 10 | 13 | 12 | 19 | 6 | 9 | 15.18/3.55 c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.18/3.55 c (3,0) c | Orig_Seen | 55 % | 28396 | 29647 | 29590 | 29255 | 29168 | 28694 | 28681 | 28865 | 15.18/3.55 c (3,0) c | Diff Orig seen| | - 1194 | 57 | X | - 335 | - 422 | - 896 | - 909 | - 725 | 15.18/3.55 c (3,0) c | Hamming | 29 % | 818 | 728 | X | 815 | 736 | 728 | 802 | 768 | 15.18/3.55 c (3,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.18/3.55 c (3,0) 15.18/3.55 c (3,0) s SATISFIABLE 15.18/3.56 c (3,1) SatSolver.solve End 15.18/3.56 c (3,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 15.18/3.56 c (3,1) Show results Begin 15.18/3.57 c (3,1) h[0] = 3 15.18/3.57 c (3,1) h[1] = 3 15.18/3.57 c (3,1) h[2] = 9 15.18/3.57 c (3,1) h[3] = 2 15.18/3.57 c (3,1) h[4] = 9 15.18/3.57 c (3,1) h[5] = 3 15.18/3.57 c (3,1) h[6] = 2 15.18/3.57 c (3,1) h[7] = 2 15.18/3.57 c (3,1) h[8] = 11 15.18/3.57 c (3,1) h[9] = 4 15.18/3.57 c (3,1) h[10] = 5 15.18/3.57 c (3,1) h[11] = 11 15.18/3.57 c (3,1) h[12] = 2 15.18/3.57 c (3,1) h[13] = 11 15.18/3.57 c (3,1) h[14] = 2 15.18/3.57 c (3,1) h[15] = 4 15.18/3.57 c (3,1) h[16] = 4 15.18/3.57 c (3,1) h[17] = 12 15.18/3.57 c (3,1) h[18] = 1 15.18/3.57 c (3,1) h[19] = 5 15.18/3.57 c (3,1) h[20] = 5 15.18/3.57 c (3,1) h[21] = 12 15.18/3.57 c (3,1) h[22] = 1 15.18/3.57 c (3,1) h[23] = 2 15.18/3.57 c (3,1) h[24] = 6 15.18/3.57 c (3,1) r[0] = 0 15.18/3.57 c (3,1) r[1] = 0 15.18/3.57 c (3,1) r[2] = 1 15.18/3.57 c (3,1) r[3] = 0 15.18/3.57 c (3,1) r[4] = 1 15.18/3.57 c (3,1) r[5] = 0 15.18/3.57 c (3,1) r[6] = 0 15.18/3.58 c (3,1) r[7] = 0 15.18/3.58 c (3,1) r[8] = 1 15.18/3.58 c (3,1) r[9] = 0 15.18/3.58 c (3,1) r[10] = 0 15.18/3.58 c (3,1) r[11] = 1 15.18/3.58 c (3,1) r[12] = 0 15.18/3.58 c (3,1) r[13] = 1 15.18/3.58 c (3,1) r[14] = 1 15.18/3.58 c (3,1) r[15] = 0 15.18/3.58 c (3,1) r[16] = 0 15.18/3.58 c (3,1) r[17] = 1 15.18/3.58 c (3,1) r[18] = 1 15.18/3.58 c (3,1) r[19] = 0 15.18/3.58 c (3,1) r[20] = 0 15.18/3.58 c (3,1) r[21] = 1 15.18/3.58 c (3,1) r[22] = 1 15.18/3.58 c (3,1) r[23] = 0 15.18/3.58 c (3,1) r[24] = 1 15.18/3.58 c (3,1) w[0] = 11 15.18/3.58 c (3,1) w[1] = 13 15.18/3.58 c (3,1) w[2] = 2 15.18/3.58 c (3,1) w[3] = 7 15.18/3.58 c (3,1) w[4] = 3 15.18/3.58 c (3,1) w[5] = 7 15.18/3.58 c (3,1) w[6] = 11 15.18/3.58 c (3,1) w[7] = 13 15.18/3.58 c (3,1) w[8] = 4 15.18/3.58 c (3,1) w[9] = 13 15.18/3.58 c (3,1) w[10] = 3 15.18/3.58 c (3,1) w[11] = 2 15.18/3.58 c (3,1) w[12] = 2 15.18/3.58 c (3,1) w[13] = 3 15.18/3.58 c (3,1) w[14] = 3 15.18/3.58 c (3,1) w[15] = 5 15.18/3.58 c (3,1) w[16] = 6 15.18/3.58 c (3,1) w[17] = 2 15.18/3.58 c (3,1) w[18] = 2 15.18/3.58 c (3,1) w[19] = 3 15.18/3.58 c (3,1) w[20] = 13 15.18/3.58 c (3,1) w[21] = 4 15.18/3.58 c (3,1) w[22] = 4 15.18/3.58 c (3,1) w[23] = 5 15.18/3.58 c (3,1) w[24] = 2 15.18/3.58 c (3,1) x[0] = 29 15.18/3.58 c (3,1) x[1] = 0 15.18/3.58 c (3,1) x[2] = 27 15.18/3.58 c (3,1) x[3] = 27 15.18/3.58 c (3,1) x[4] = 20 15.18/3.58 c (3,1) x[5] = 6 15.18/3.58 c (3,1) x[6] = 6 15.18/3.58 c (3,1) x[7] = 0 15.18/3.58 c (3,1) x[8] = 23 15.18/3.58 c (3,1) x[9] = 23 15.18/3.58 c (3,1) x[10] = 3 15.18/3.58 c (3,1) x[11] = 18 15.18/3.58 c (3,1) x[12] = 29 15.18/3.58 c (3,1) x[13] = 15 15.18/3.58 c (3,1) x[14] = 20 15.18/3.58 c (3,1) x[15] = 29 15.18/3.58 c (3,1) x[16] = 17 15.18/3.58 c (3,1) x[17] = 13 15.18/3.58 c (3,1) x[18] = 15 15.18/3.58 c (3,1) x[19] = 0 15.18/3.58 c (3,1) x[20] = 0 15.18/3.58 c (3,1) x[21] = 36 15.18/3.58 c (3,1) x[22] = 13 15.18/3.58 c (3,1) x[23] = 31 15.18/3.58 c (3,1) x[24] = 34 15.18/3.58 c (3,1) y[0] = 12 15.18/3.58 c (3,1) y[1] = 7 15.18/3.58 c (3,1) y[2] = 6 15.18/3.58 c (3,1) y[3] = 4 15.18/3.58 c (3,1) y[4] = 6 15.18/3.58 c (3,1) y[5] = 2 15.18/3.58 c (3,1) y[6] = 0 15.18/3.58 c (3,1) y[7] = 5 15.18/3.58 c (3,1) y[8] = 4 15.18/3.58 c (3,1) y[9] = 0 15.18/3.58 c (3,1) y[10] = 0 15.18/3.58 c (3,1) y[11] = 4 15.18/3.58 c (3,1) y[12] = 10 15.18/3.58 c (3,1) y[13] = 4 15.18/3.58 c (3,1) y[14] = 4 15.18/3.58 c (3,1) y[15] = 6 15.18/3.58 c (3,1) y[16] = 0 15.18/3.58 c (3,1) y[17] = 3 15.18/3.58 c (3,1) y[18] = 3 15.18/3.58 c (3,1) y[19] = 0 15.18/3.58 c (3,1) y[20] = 10 15.18/3.58 c (3,1) y[21] = 0 15.18/3.58 c (3,1) y[22] = 2 15.18/3.58 c (3,1) y[23] = 10 15.18/3.58 c (3,1) y[24] = 4 15.18/3.58 s SATISFIABLE 15.18/3.58 v <instantiation> 15.18/3.58 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] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] 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] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] 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] w[16] w[17] w[18] w[19] w[20] w[21] w[22] w[23] w[24] 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] h[16] h[17] h[18] h[19] h[20] h[21] h[22] h[23] h[24] 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] r[16] r[17] r[18] r[19] r[20] r[21] r[22] r[23] r[24]</list> 15.18/3.58 v <values>29 0 27 27 20 6 6 0 23 23 3 18 29 15 20 29 17 13 15 0 0 36 13 31 34 12 7 6 4 6 2 0 5 4 0 0 4 10 4 4 6 0 3 3 0 10 0 2 10 4 11 13 2 7 3 7 11 13 4 13 3 2 2 3 3 5 6 2 2 3 13 4 4 5 2 3 3 9 2 9 3 2 2 11 4 5 11 2 11 2 4 4 12 1 5 5 12 1 2 6 0 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1</values> 15.18/3.58 v </instantiation> 15.18/3.58 c (3,1) Show results End 15.18/3.58 c (3,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 15.18/3.58 c (3,1) 0,0,1,1,1,1,1,3,3,STOP-AFTER(ALL) 15.18/3.58 c END-Prog: Thu Jul 26 21:05:58 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 (9622 MiB free) memory of node 1: 16384 MiB (10186 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297017-1532631955/watcher-4297017-1532631955 -o /tmp/evaluation-result-4297017-1532631955/solver-4297017-1532631955 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532631955-9064 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297017-1532631955.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=9081, runsolver pid=9078 [startup+0.100178 s]* /proc/loadavg: 7.69 8.26 8.50 4/199 9101 /proc/meminfo: memFree=20191492/32770624 swapFree=67108860/67108860 [pid=9081] ppid=9078 vsize=27312552 memory=107680 CPUtime=0.11 cores=0-7 /proc/9081/stat : 9081 (java) S 9078 9081 9037 0 -1 1077944320 6473 0 0 0 8 3 0 0 20 0 20 0 80758670 27968053248 26920 33554432000 4194304 4196468 140731257040096 140731257022640 140241836592887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 /proc/9081/statm: 6828138 26920 2745 1 0 6790598 0 [pid=9081/tid=9083] ppid=9078 vsize=27312552 memory=4134692831991783777 CPUtime=0.08 cores=0-7 /proc/9081/task/9083/stat : 9083 (java) R 9078 9081 9037 0 -1 4202560 4565 0 0 0 6 2 0 0 20 0 20 0 80758670 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241808425088 140241816115230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9084] ppid=9078 vsize=27312552 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/9081/task/9084/stat : 9084 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241840835600 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9085] ppid=9078 vsize=27312552 memory=139789657376384 CPUtime=0 cores=0-7 /proc/9081/task/9085/stat : 9085 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241624231056 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9086] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9086/stat : 9086 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241623178000 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9087] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9087/stat : 9087 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241622125456 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9088] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9088/stat : 9088 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241256045072 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9089] ppid=9078 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9081/task/9089/stat : 9089 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241254992528 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9090] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9090/stat : 9090 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241253939472 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9091] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9091/stat : 9091 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 26920 33554432000 4194304 4196468 140731257040096 140241252886928 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9092] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9092/stat : 9092 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758674 27968053248 26920 33554432000 4194304 4196468 140731257040096 140240963468016 140241836604034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9093] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9093/stat : 9093 (java) S 9078 9081 9037 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80758675 27968053248 26920 33554432000 4194304 4196468 140731257040096 140239741904544 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9094] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9094/stat : 9094 (java) S 9078 9081 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80758675 27968053248 26920 33554432000 4194304 4196468 140731257040096 140239607682288 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9095] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9095/stat : 9095 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 26920 33554432000 4194304 4196468 140731257040096 140239233178064 140241836611483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9096] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9096/stat : 9096 (java) S 9078 9081 9037 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 26920 33554432000 4194304 4196468 140731257040096 140240962414832 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9097] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9097/stat : 9097 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 26920 33554432000 4194304 4196468 140731257040096 140240961362288 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9098] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9098/stat : 9098 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 26920 33554432000 4194304 4196468 140731257040096 140240960309232 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9099] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9099/stat : 9099 (java) S 9078 9081 9037 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 26920 33554432000 4194304 4196468 140731257040096 140240959256688 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9100] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9100/stat : 9100 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758678 27968053248 26920 33554432000 4194304 4196468 140731257040096 140238735272928 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9101] ppid=9078 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9081/task/9101/stat : 9101 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758678 27968053248 26920 33554432000 4194304 4196468 140731257040096 140240958205104 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 107680 KiB [startup+0.210238 s]* /proc/loadavg: 7.69 8.26 8.50 2/199 9101 /proc/meminfo: memFree=20175368/32770624 swapFree=67108860/67108860 [pid=9081] ppid=9078 vsize=27312552 memory=121804 CPUtime=0.25 cores=0-7 /proc/9081/stat : 9081 (java) S 9078 9081 9037 0 -1 1077944320 10253 0 0 0 21 4 0 0 20 0 20 0 80758670 27968053248 30451 33554432000 4194304 4196468 140731257040096 140731257022640 140241836592887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 /proc/9081/statm: 6828138 30451 2904 1 0 6790598 0 [pid=9081/tid=9083] ppid=9078 vsize=27312552 memory=4026531975 CPUtime=0.19 cores=0-7 /proc/9081/task/9083/stat : 9083 (java) R 9078 9081 9037 0 -1 4202560 8134 0 0 0 16 3 0 0 20 0 20 0 80758670 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241808414688 140241820673374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9084] ppid=9078 vsize=27312552 memory=12970 CPUtime=0 cores=0-7 /proc/9081/task/9084/stat : 9084 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241840835600 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9085] ppid=9078 vsize=27312552 memory=139789657385498 CPUtime=0 cores=0-7 /proc/9081/task/9085/stat : 9085 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241624231056 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9086] ppid=9078 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9081/task/9086/stat : 9086 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241623178000 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9087] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9087/stat : 9087 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241622125456 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9088] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9088/stat : 9088 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241256045072 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9089] ppid=9078 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9081/task/9089/stat : 9089 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241254992528 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9090] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9090/stat : 9090 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241253939472 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9091] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9091/stat : 9091 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 30516 33554432000 4194304 4196468 140731257040096 140241252886928 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9092] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9092/stat : 9092 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758674 27968053248 30516 33554432000 4194304 4196468 140731257040096 140240963468016 140241836604034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9093] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9093/stat : 9093 (java) S 9078 9081 9037 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80758675 27968053248 30516 33554432000 4194304 4196468 140731257040096 140239741904544 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9094] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9094/stat : 9094 (java) S 9078 9081 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80758675 27968053248 30516 33554432000 4194304 4196468 140731257040096 140239607682288 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9095] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9095/stat : 9095 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 30516 33554432000 4194304 4196468 140731257040096 140239233178064 140241836611483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9096] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9096/stat : 9096 (java) S 9078 9081 9037 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 30516 33554432000 4194304 4196468 140731257040096 140240962414832 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9097] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9097/stat : 9097 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 30516 33554432000 4194304 4196468 140731257040096 140240961362288 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9098] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9098/stat : 9098 (java) S 9078 9081 9037 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 30516 33554432000 4194304 4196468 140731257040096 140240960309232 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9099] ppid=9078 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7 /proc/9081/task/9099/stat : 9099 (java) S 9078 9081 9037 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 20 0 80758677 27968053248 30516 33554432000 4194304 4196468 140731257040096 140240959256688 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9100] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9100/stat : 9100 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758678 27968053248 30516 33554432000 4194304 4196468 140731257040096 140238735272928 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9101] ppid=9078 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9081/task/9101/stat : 9101 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758678 27968053248 30516 33554432000 4194304 4196468 140731257040096 140240958205104 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 121804 KiB [startup+0.309313 s]* /proc/loadavg: 7.69 8.26 8.50 2/199 9101 /proc/meminfo: memFree=20171832/32770624 swapFree=67108860/67108860 [pid=9081] ppid=9078 vsize=27312552 memory=125552 CPUtime=0.42 cores=0-7 /proc/9081/stat : 9081 (java) S 9078 9081 9037 0 -1 1077944320 10817 0 0 0 38 4 0 0 20 0 20 0 80758670 27968053248 31388 33554432000 4194304 4196468 140731257040096 140731257022640 140241836592887 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 /proc/9081/statm: 6828138 31388 2984 1 0 6790598 0 [pid=9081/tid=9083] ppid=9078 vsize=27312552 memory=8112282956445269571 CPUtime=0.3 cores=0-7 /proc/9081/task/9083/stat : 9083 (java) R 9078 9081 9037 0 -1 4202560 8504 0 0 0 26 4 0 0 20 0 20 0 80758670 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241808396816 140241820673374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9084] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9084/stat : 9084 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241840835600 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9085] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9085/stat : 9085 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241624231056 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9086] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9086/stat : 9086 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241623178000 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9087] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9087/stat : 9087 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241622125456 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9088] ppid=9078 vsize=27312552 memory=2244 CPUtime=0 cores=0-7 /proc/9081/task/9088/stat : 9088 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241256045072 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9089] ppid=9078 vsize=27312552 memory=139789508637615 CPUtime=0 cores=0-7 /proc/9081/task/9089/stat : 9089 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241254992528 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9090] ppid=9078 vsize=27312552 memory=139789508639920 CPUtime=0 cores=0-7 /proc/9081/task/9090/stat : 9090 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241253939472 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9091] ppid=9078 vsize=27312552 memory=139789508642224 CPUtime=0 cores=0-7 /proc/9081/task/9091/stat : 9091 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27968053248 31388 33554432000 4194304 4196468 140731257040096 140241252886928 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9092] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9092/stat : 9092 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758674 27968053248 31388 33554432000 4194304 4196468 140731257040096 140240963468016 140241836604034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9093] ppid=9078 vsize=27312552 memory=279579017291408 CPUtime=0 cores=0-7 /proc/9081/task/9093/stat : 9093 (java) S 9078 9081 9037 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 80758675 27968053248 31388 33554432000 4194304 4196468 140731257040096 140239741904544 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9094] ppid=9078 vsize=27312552 memory=279579017298320 CPUtime=0 cores=0-7 /proc/9081/task/9094/stat : 9094 (java) S 9078 9081 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 80758675 27968053248 31388 33554432000 4194304 4196468 140731257040096 140239607682288 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9095] ppid=9078 vsize=27312552 memory=279579017239600 CPUtime=0 cores=0-7 /proc/9081/task/9095/stat : 9095 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758677 27968053248 31388 33554432000 4194304 4196468 140731257040096 140239233178064 140241836611483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9096] ppid=9078 vsize=27312552 memory=279579017312144 CPUtime=0.01 cores=0-7 /proc/9081/task/9096/stat : 9096 (java) R 9078 9081 9037 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 20 0 80758677 27968053248 31388 33554432000 4194304 4196468 140731257040096 140240962414832 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9097] ppid=9078 vsize=27312552 memory=279579017319056 CPUtime=0.01 cores=0-7 /proc/9081/task/9097/stat : 9097 (java) S 9078 9081 9037 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 80758677 27968053248 31388 33554432000 4194304 4196468 140731257040096 140240961362288 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9098] ppid=9078 vsize=27312552 memory=279579017316752 CPUtime=0.01 cores=0-7 /proc/9081/task/9098/stat : 9098 (java) R 9078 9081 9037 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 20 0 80758677 27968053248 31388 33554432000 4194304 4196468 140731257040096 140240960309232 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9099] ppid=9078 vsize=27312552 memory=279579017333360 CPUtime=0.07 cores=0-7 /proc/9081/task/9099/stat : 9099 (java) S 9078 9081 9037 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 20 0 80758677 27968053248 31388 33554432000 4194304 4196468 140731257040096 140240959256688 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9100] ppid=9078 vsize=27312552 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9100/stat : 9100 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758678 27968053248 31388 33554432000 4194304 4196468 140731257040096 140238735272928 140241836603093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9101] ppid=9078 vsize=27312552 memory=-1 CPUtime=0 cores=0-7 /proc/9081/task/9101/stat : 9101 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758678 27968053248 31388 33554432000 4194304 4196468 140731257040096 140240958205104 140241836604034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27312552 KiB Current children cumulated memory: 125552 KiB [startup+0.700881 s] /proc/loadavg: 7.69 8.26 8.50 2/199 9101 /proc/meminfo: memFree=20147748/32770624 swapFree=67108860/67108860 [pid=9081] ppid=9078 vsize=27320948 memory=163344 CPUtime=1 cores=0-7 /proc/9081/stat : 9081 (java) S 9078 9081 9037 0 -1 1077944320 17941 0 0 0 94 6 0 0 20 0 20 0 80758670 27976650752 40836 33554432000 4194304 4196468 140731257040096 140731257022640 140241836592887 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 /proc/9081/statm: 6830237 40836 3153 1 0 6791622 0 [pid=9081/tid=9083] ppid=9078 vsize=27320948 memory=0 CPUtime=0.67 cores=0-7 /proc/9081/task/9083/stat : 9083 (java) D 9078 9081 9037 0 -1 1077944384 15159 0 0 0 62 5 0 0 20 0 20 0 80758670 27976650752 40836 33554432000 4194304 4196468 140731257040096 140241808410384 140241829272109 0 4 0 25189583 18446744072101625380 0 0 -1 4 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9084] ppid=9078 vsize=27320948 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9084/stat : 9084 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27976650752 40836 33554432000 4194304 4196468 140731257040096 140241840835600 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9085] ppid=9078 vsize=27320980 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9085/stat : 9085 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27976683520 40836 33554432000 4194304 4196468 140731257040096 140241624231056 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9086] ppid=9078 vsize=27320980 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9086/stat : 9086 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27976683520 40836 33554432000 4194304 4196468 140731257040096 140241623178000 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9087] ppid=9078 vsize=27320948 memory=792 CPUtime=0 cores=0-7 /proc/9081/task/9087/stat : 9087 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27976650752 40836 33554432000 4194304 4196468 140731257040096 140241622125456 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9088] ppid=9078 vsize=27320948 memory=1716 CPUtime=0 cores=0-7 /proc/9081/task/9088/stat : 9088 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27976650752 40836 33554432000 4194304 4196468 140731257040096 140241256045072 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9089] ppid=9078 vsize=27320948 memory=1952 CPUtime=0 cores=0-7 /proc/9081/task/9089/stat : 9089 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 80758673 27976650752 40836 33554432000 4194304 4196468 140731257040096 140241254992528 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9090] ppid=9078 vsize=27320948 memory=8572 CPUtime=0 cores=0-7 /proc/9081/task/9090/stat : 9090 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 80758673 27976650752 40836 33554432000 4194304 4196468 140731257040096 140241253939472 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9091] ppid=9078 vsize=27320948 memory=15872 CPUtime=0 cores=0-7 /proc/9081/task/9091/stat : 9091 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 80758673 27976650752 40836 33554432000 4194304 4196468 140731257040096 140241252886928 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9092] ppid=9078 vsize=27320948 memory=4012 CPUtime=0 cores=0-7 /proc/9081/task/9092/stat : 9092 (java) S 9078 9081 9037 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 80758674 27976650752 40836 33554432000 4194304 4196468 140731257040096 140240963468016 140241836604034 0 0 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 ################ # More data... # ################ [pid=9081/tid=9105] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9105/stat : 9105 (java) S 9078 9081 9037 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80758899 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238064172464 140241836614813 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9106] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9106/stat : 9106 (java) S 9078 9081 9037 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80758899 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238332608048 140241836614813 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9107] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9107/stat : 9107 (java) S 9078 9081 9037 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80758901 28656443392 105731 33554432000 4194304 4196468 140731257040096 140237795744672 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 Current children cumulated CPU time: 12.79 s Current children cumulated vsize: 28625768 KiB Current children cumulated memory: 538232 KiB [startup+3.40133 s] /proc/loadavg: 7.69 8.26 8.50 12/212 9115 /proc/meminfo: memFree=19765688/32770624 swapFree=67108860/67108860 [pid=9081] ppid=9078 vsize=27984808 memory=422924 CPUtime=6.1 cores=0-7 /proc/9081/stat : 9081 (java) S 9078 9081 9037 0 -1 1077944320 26170 0 0 0 594 16 0 0 20 0 24 0 80758670 28656443392 105731 33554432000 4194304 4196468 140731257040096 140731257022640 140241836592887 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 /proc/9081/statm: 6996202 105731 3226 1 0 6957058 0 [pid=9102] ppid=9081 vsize=640960 memory=134524 CPUtime=8.28 cores=0-7 /proc/9102/stat : 9102 (glucose-syrup) S 9081 9081 9037 0 -1 1077944320 38821 0 0 0 813 15 0 0 20 0 9 0 80758898 656343040 33631 33554432000 4194304 4373367 140731444693536 140731444692080 140099532094082 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 /proc/9102/statm: 160240 33631 385 44 0 155928 0 [pid=9102/tid=9108] ppid=9081 vsize=640960 memory=9051283677730746851 CPUtime=1.02 cores=0-7 /proc/9102/task/9108/stat : 9108 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 3675 0 0 0 100 2 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099510713616 4271619 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9109] ppid=9081 vsize=640960 memory=-8312670058677691234 CPUtime=1.02 cores=0-7 /proc/9102/task/9109/stat : 9109 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 3759 0 0 0 101 1 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099502321008 4271619 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9110] ppid=9081 vsize=640960 memory=0 CPUtime=1.02 cores=0-7 /proc/9102/task/9110/stat : 9110 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4266 0 0 0 100 2 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099493928080 4342796 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9111] ppid=9081 vsize=640960 memory=0 CPUtime=1.02 cores=0-7 /proc/9102/task/9111/stat : 9111 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4397 0 0 0 101 1 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099485535504 4271904 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9112] ppid=9081 vsize=640960 memory=0 CPUtime=1.01 cores=0-7 /proc/9102/task/9112/stat : 9112 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4222 0 0 0 100 1 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099477142672 4272011 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9113] ppid=9081 vsize=640960 memory=-7249806322133643294 CPUtime=1.02 cores=0-7 /proc/9102/task/9113/stat : 9113 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4098 0 0 0 101 1 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099468750096 4271897 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9114] ppid=9081 vsize=640960 memory=422924 CPUtime=1 cores=0-7 /proc/9102/task/9114/stat : 9114 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4030 0 0 0 99 1 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099460357264 4271897 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9115] ppid=9081 vsize=640960 memory=0 CPUtime=1.02 cores=0-7 /proc/9102/task/9115/stat : 9115 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 3994 0 0 0 101 1 0 0 20 0 9 0 80758906 656343040 33631 33554432000 4194304 4373367 140731444693536 140099451964560 4271828 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9081/tid=9083] ppid=9078 vsize=27984808 memory=55 CPUtime=2.28 cores=0-7 /proc/9081/task/9083/stat : 9083 (java) S 9078 9081 9037 0 -1 1077944384 17355 0 0 0 217 11 0 0 20 0 24 0 80758670 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241808432128 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9084] ppid=9078 vsize=27984808 memory=3054156605268465310 CPUtime=0 cores=0-7 /proc/9081/task/9084/stat : 9084 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241840835600 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9085] ppid=9078 vsize=27984808 memory=4426639978525455914 CPUtime=0 cores=0-7 /proc/9081/task/9085/stat : 9085 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241624231056 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9086] ppid=9078 vsize=27984808 memory=3047711553219693942 CPUtime=0 cores=0-7 /proc/9081/task/9086/stat : 9086 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241623178000 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9087] ppid=9078 vsize=27984808 memory=6153113566508499040 CPUtime=0 cores=0-7 /proc/9081/task/9087/stat : 9087 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241622125456 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9088] ppid=9078 vsize=27984808 memory=5859273620209619044 CPUtime=0 cores=0-7 /proc/9081/task/9088/stat : 9088 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241256045072 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9089] ppid=9078 vsize=27984808 memory=6297835844906604903 CPUtime=0 cores=0-7 /proc/9081/task/9089/stat : 9089 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241254992528 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9090] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9090/stat : 9090 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241253939472 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9091] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9091/stat : 9091 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241252886928 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9092] ppid=9078 vsize=27984808 memory=139789508725344 CPUtime=0 cores=0-7 /proc/9081/task/9092/stat : 9092 (java) S 9078 9081 9037 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 80758674 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240963468016 140241836604034 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9093] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9093/stat : 9093 (java) S 9078 9081 9037 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80758675 28656443392 105731 33554432000 4194304 4196468 140731257040096 140239741904544 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9094] ppid=9078 vsize=27984808 memory=739271074968256193 CPUtime=0 cores=0-7 /proc/9081/task/9094/stat : 9094 (java) S 9078 9081 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80758675 28656443392 105731 33554432000 4194304 4196468 140731257040096 140239607682288 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9095] ppid=9078 vsize=27984808 memory=24740 CPUtime=0 cores=0-7 /proc/9081/task/9095/stat : 9095 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140239233178064 140241836611483 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9096] ppid=9078 vsize=27984808 memory=279579017085168 CPUtime=0.94 cores=0-7 /proc/9081/task/9096/stat : 9096 (java) S 9078 9081 9037 0 -1 1077944384 2143 0 0 0 93 1 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240962414832 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9097] ppid=9078 vsize=27984808 memory=5866047801861236578 CPUtime=0.87 cores=0-7 /proc/9081/task/9097/stat : 9097 (java) S 9078 9081 9037 0 -1 1077944384 926 0 0 0 87 0 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240961362288 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9098] ppid=9078 vsize=27984808 memory=-3395018499197194015 CPUtime=0.94 cores=0-7 /proc/9081/task/9098/stat : 9098 (java) S 9078 9081 9037 0 -1 1077944384 1099 0 0 0 94 0 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240960309232 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9099] ppid=9078 vsize=27984808 memory=6944656592387989600 CPUtime=1 cores=0-7 /proc/9081/task/9099/stat : 9099 (java) S 9078 9081 9037 0 -1 1077944384 3228 0 0 0 99 1 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240959256688 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9100] ppid=9078 vsize=27984808 memory=7595721425057566823 CPUtime=0 cores=0-7 /proc/9081/task/9100/stat : 9100 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80758678 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238735272928 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9101] ppid=9078 vsize=27984808 memory=7665501960462035556 CPUtime=0 cores=0-7 /proc/9081/task/9101/stat : 9101 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758678 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240958205104 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9103] ppid=9078 vsize=27984808 memory=7593747827085566057 CPUtime=0 cores=0-7 /proc/9081/task/9103/stat : 9103 (java) S 9078 9081 9037 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80758898 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240950396352 140241836617497 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9105] ppid=9078 vsize=27984808 memory=7518027721480954473 CPUtime=0 cores=0-7 /proc/9081/task/9105/stat : 9105 (java) S 9078 9081 9037 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80758899 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238064172464 140241836614813 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9106] ppid=9078 vsize=27984808 memory=7518027721480954473 CPUtime=0 cores=0-7 /proc/9081/task/9106/stat : 9106 (java) S 9078 9081 9037 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80758899 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238332608048 140241836614813 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9107] ppid=9078 vsize=27984808 memory=2340 CPUtime=0 cores=0-7 /proc/9081/task/9107/stat : 9107 (java) S 9078 9081 9037 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80758901 28656443392 105731 33554432000 4194304 4196468 140731257040096 140237795744672 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 Current children cumulated CPU time: 14.38 s Current children cumulated vsize: 28625768 KiB Current children cumulated memory: 557448 KiB [startup+3.50233 s] /proc/loadavg: 7.69 8.26 8.50 12/212 9115 /proc/meminfo: memFree=19765688/32770624 swapFree=67108860/67108860 [pid=9081] ppid=9078 vsize=27984808 memory=422924 CPUtime=6.1 cores=0-7 /proc/9081/stat : 9081 (java) S 9078 9081 9037 0 -1 1077944320 26170 0 0 0 594 16 0 0 20 0 24 0 80758670 28656443392 105731 33554432000 4194304 4196468 140731257040096 140731257022640 140241836592887 0 0 0 25189583 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 /proc/9081/statm: 6996202 105731 3226 1 0 6957058 0 [pid=9102] ppid=9081 vsize=640960 memory=136652 CPUtime=9.08 cores=0-7 /proc/9102/stat : 9102 (glucose-syrup) S 9081 9081 9037 0 -1 1077944320 40320 0 0 0 893 15 0 0 20 0 9 0 80758898 656343040 34163 33554432000 4194304 4373367 140731444693536 140731444692080 140099532094082 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 /proc/9102/statm: 160240 34163 385 44 0 155928 0 [pid=9102/tid=9108] ppid=9081 vsize=640960 memory=92 CPUtime=1.12 cores=0-7 /proc/9102/task/9108/stat : 9108 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 3831 0 0 0 110 2 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099510713616 4296037 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9109] ppid=9081 vsize=640960 memory=92 CPUtime=1.12 cores=0-7 /proc/9102/task/9109/stat : 9109 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 3987 0 0 0 111 1 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099502320912 4271912 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9110] ppid=9081 vsize=640960 memory=92 CPUtime=1.12 cores=0-7 /proc/9102/task/9110/stat : 9110 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4795 0 0 0 110 2 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099493928080 4272316 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9111] ppid=9081 vsize=640960 memory=92 CPUtime=1.12 cores=0-7 /proc/9102/task/9111/stat : 9111 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4459 0 0 0 111 1 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099485535376 140099532104282 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9112] ppid=9081 vsize=640960 memory=55 CPUtime=1.11 cores=0-7 /proc/9102/task/9112/stat : 9112 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4380 0 0 0 110 1 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099477142672 4296037 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9113] ppid=9081 vsize=640960 memory=8562125494162282060 CPUtime=1.12 cores=0-7 /proc/9102/task/9113/stat : 9113 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4125 0 0 0 111 1 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099468749968 4271936 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9114] ppid=9081 vsize=640960 memory=7294805103678564499 CPUtime=1.1 cores=0-7 /proc/9102/task/9114/stat : 9114 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4196 0 0 0 109 1 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099460357264 4271808 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9102/tid=9115] ppid=9081 vsize=640960 memory=-8990763340995141536 CPUtime=1.12 cores=0-7 /proc/9102/task/9115/stat : 9115 (glucose-syrup) R 9081 9081 9037 0 -1 4202560 4160 0 0 0 111 1 0 0 20 0 9 0 80758906 656343040 34163 33554432000 4194304 4373367 140731444693536 140099451964688 4271925 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 16449536 140731444695985 140731444696236 140731444696236 140731444699079 0 [pid=9081/tid=9083] ppid=9078 vsize=27984808 memory=4140 CPUtime=2.28 cores=0-7 /proc/9081/task/9083/stat : 9083 (java) S 9078 9081 9037 0 -1 1077944384 17355 0 0 0 217 11 0 0 20 0 24 0 80758670 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241808432128 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9084] ppid=9078 vsize=27984808 memory=23940 CPUtime=0 cores=0-7 /proc/9081/task/9084/stat : 9084 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241840835600 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9085] ppid=9078 vsize=27984808 memory=1296 CPUtime=0 cores=0-7 /proc/9081/task/9085/stat : 9085 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241624231056 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9086] ppid=9078 vsize=27984808 memory=2412 CPUtime=0 cores=0-7 /proc/9081/task/9086/stat : 9086 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241623178000 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9087] ppid=9078 vsize=27984808 memory=1724 CPUtime=0 cores=0-7 /proc/9081/task/9087/stat : 9087 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241622125456 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9088] ppid=9078 vsize=27984808 memory=1228 CPUtime=0 cores=0-7 /proc/9081/task/9088/stat : 9088 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241256045072 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9089] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9089/stat : 9089 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241254992528 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9090] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9090/stat : 9090 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241253939472 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9091] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9091/stat : 9091 (java) S 9078 9081 9037 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 80758673 28656443392 105731 33554432000 4194304 4196468 140731257040096 140241252886928 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9092] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9092/stat : 9092 (java) S 9078 9081 9037 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 80758674 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240963468016 140241836604034 0 0 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9093] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9093/stat : 9093 (java) S 9078 9081 9037 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 80758675 28656443392 105731 33554432000 4194304 4196468 140731257040096 140239741904544 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9094] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9094/stat : 9094 (java) S 9078 9081 9037 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 80758675 28656443392 105731 33554432000 4194304 4196468 140731257040096 140239607682288 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9095] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9095/stat : 9095 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140239233178064 140241836611483 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9096] ppid=9078 vsize=27984808 memory=94 CPUtime=0.94 cores=0-7 /proc/9081/task/9096/stat : 9096 (java) S 9078 9081 9037 0 -1 1077944384 2143 0 0 0 93 1 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240962414832 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9097] ppid=9078 vsize=27984808 memory=56 CPUtime=0.87 cores=0-7 /proc/9081/task/9097/stat : 9097 (java) S 9078 9081 9037 0 -1 1077944384 926 0 0 0 87 0 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240961362288 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9098] ppid=9078 vsize=27984808 memory=31356350842106267 CPUtime=0.94 cores=0-7 /proc/9081/task/9098/stat : 9098 (java) S 9078 9081 9037 0 -1 1077944384 1099 0 0 0 94 0 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240960309232 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9099] ppid=9078 vsize=27984808 memory=2912 CPUtime=1 cores=0-7 /proc/9081/task/9099/stat : 9099 (java) S 9078 9081 9037 0 -1 1077944384 3228 0 0 0 99 1 0 0 20 0 24 0 80758677 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240959256688 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9100] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9100/stat : 9100 (java) S 9078 9081 9037 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 80758678 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238735272928 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9101] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9101/stat : 9101 (java) S 9078 9081 9037 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 80758678 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240958205104 140241836604034 0 4 0 25189583 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9103] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9103/stat : 9103 (java) S 9078 9081 9037 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 80758898 28656443392 105731 33554432000 4194304 4196468 140731257040096 140240950396352 140241836617497 0 4 0 25189583 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9105] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9105/stat : 9105 (java) S 9078 9081 9037 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 80758899 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238064172464 140241836614813 0 4 0 25189583 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9106] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9106/stat : 9106 (java) S 9078 9081 9037 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 80758899 28656443392 105731 33554432000 4194304 4196468 140731257040096 140238332608048 140241836614813 0 4 0 25189583 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 [pid=9081/tid=9107] ppid=9078 vsize=27984808 memory=0 CPUtime=0 cores=0-7 /proc/9081/task/9107/stat : 9107 (java) S 9078 9081 9037 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 80758901 28656443392 105731 33554432000 4194304 4196468 140731257040096 140237795744672 140241836603093 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39522304 140731257041881 140731257042181 140731257042181 140731257044943 0 Current children cumulated CPU time: 15.18 s Current children cumulated vsize: 28625768 KiB Current children cumulated memory: 559576 KiB Child status: 0 Real time (s): 3.59673 CPU time (s): 15.6905 CPU user time (s): 15.3391 CPU system time (s): 0.35144 CPU usage (%): 436.245 Max. virtual memory (cumulated for all children) (KiB): 28632844 Max. memory (cumulated for all children) (KiB): 559576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.3391 system time used= 0.35144 maximum resident set size= 432868 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67709 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10733 involuntary context switches= 103 # summary of solver processes directly reported to runsolver: # pid: 9081 # total CPU time (s): 15.6905 # total CPU user time (s): 15.3391 # total CPU system time (s): 0.35144 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.053144 second user time and 0.076069 second system time The end
Begin job on node103 at 2018-07-26 21:05:55 IDJOB=4297017 IDBENCH=141127 IDSOLVER=2758 FILE ID=node103/4297017-1532631955 RUNJOBID= node103-1532631955-9064 PBS_JOBID= 21022172 Free space on /tmp= 56536 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/StripPacking/StripPacking-C2P1_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297017-1532631955/watcher-4297017-1532631955 -o /tmp/evaluation-result-4297017-1532631955/solver-4297017-1532631955 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1532631955-9064 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297017-1532631955.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= bb34988e6b0e49ae8f3222e70708ff44 RANDOM SEED=2023796559 node103.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 : 5333.48 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 : 5333.48 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 : 5333.48 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 : 5333.48 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: 20285400 kB MemAvailable: 31927388 kB Buffers: 288968 kB Cached: 11539516 kB SwapCached: 0 kB Active: 3863796 kB Inactive: 8018204 kB Active(anon): 56040 kB Inactive(anon): 25180 kB Active(file): 3807756 kB Inactive(file): 7993024 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8292 kB Writeback: 0 kB AnonPages: 60948 kB Mapped: 40896 kB Shmem: 25228 kB Slab: 296796 kB SReclaimable: 269668 kB SUnreclaim: 27128 kB KernelStack: 3104 kB PageTables: 4376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 323924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56528 MiB End job on node103 at 2018-07-26 21:05:59