Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop order+glucose-syrup (2018-07-31) | SAT | 74.1029 | 41.7977 |
Name | Bibd/ Bibd-sum-10-03-08_c18.xml |
MD5SUM | 6905926ecf5563edf040969d33d8e2ad |
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 | 62.6593 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 176 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":1200}] |
Minimum variable degree | 12 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":12,"count":1200}] |
Minimum constraint arity | 10 |
Maximum constraint arity | 1200 |
Distribution of constraint arities | [{"arity":10,"count":120},{"arity":120,"count":10},{"arity":240,"count":45},{"arity":1200,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"lex","count":1},{"type":"sum","count":175}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -order -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-22926-serial-file.bin HOME/instance-4307075-1534190052.xml 0.64/0.54 0.64/0.54 scop order+glucose-syrup (2018-07-31) 0.64/0.54 (Encoding Process) 0.64/0.54 0.64/0.57 c BEGIN-Prog: Mon Aug 13 21:54:13 CEST 2018 0.64/0.57 c PID: 22929 0.64/0.57 c IP: 172.20.3.132 0.64/0.57 c HOST: node132.alineos.net 0.64/0.57 c (0,0) Parsing Begin 2.03/1.20 c (0,0) Parsing End 2.44/1.21 c (0,0) CSP: 0 int (0 aux), 1200 bool (0 aux), 176 ctr, max domain size 2 2.44/1.21 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.44/1.21 c (0,0) Constraint Name Generate Begin 2.44/1.22 c (0,0) Ctr:HOME/instance-4307075-1534190052.xml,IntVar:LexMatrix:Num:WeightedSum 2.44/1.22 c (0,0) Constraint Name Generate End 2.44/1.22 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.44/1.22 c (0,0) CSP to CSPinCNF Begin 3.48/1.51 c (0,0) translated 18 (10%) constraints 3.48/1.52 c (0,0) translated 36 (20%) constraints 3.48/1.53 c (0,0) translated 53 (30%) constraints 3.48/1.54 c (0,0) translated 71 (40%) constraints 3.48/1.54 c (0,0) translated 88 (50%) constraints 3.48/1.55 c (1,0) translated 106 (60%) constraints 3.48/1.56 c (1,1) translated 124 (70%) constraints 6.04/2.25 c (1,1) translated 141 (80%) constraints 7.69/2.85 c (2,2) translated 159 (90%) constraints 8.65/3.33 c (2,2) translated 176 (100%) constraints 27.05/18.75 c (18,18) STATISTICS1:HOME/instance-4307075-1534190052.xml,IntVar:LexMatrix:Num:WeightedSum,14014,26059,9223372036854775807,2,4,120,9223372036854775807:110;512:240;2:4412,2:71266,4:2014;3:10928;2:12814;1:303,120:110;10:240;2:4412;1:60042,6400:110 27.05/18.75 c (18,18) ========================================== 27.05/18.75 c (18,18) Order 27.05/18.75 c (18,18) ========================================== 28.39/19.10 c (18,18) translated 2606 (10%) constraints 29.17/19.24 c (18,18) translated 5212 (20%) constraints 29.65/19.37 c (18,18) translated 7818 (30%) constraints 30.45/19.51 c (18,18) translated 10424 (40%) constraints 30.81/19.63 c (19,18) translated 13030 (50%) constraints 31.05/19.74 c (19,19) translated 15636 (60%) constraints 31.19/19.83 c (19,19) translated 18242 (70%) constraints 31.34/19.93 c (19,19) translated 20848 (80%) constraints 31.50/20.03 c (19,19) translated 23454 (90%) constraints 31.73/20.12 c (19,19) translated 26059 (100%) constraints 31.73/20.13 c (19,19) CSP to CSPinCNF End 31.73/20.13 c (19,19) CSP: 1155 int (1155 aux), 19414 bool (18214 aux), 39344 ctr, max domain size 37 31.73/20.13 c (19,19) Heap : 659 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 31.73/20.13 c (19,19) CSPinCNF Propagation Begin 32.68/20.43 c (19,19) 0 values, 5400 unsatisfiable literals, and 5400 valid clauses are removed 32.68/20.43 c (19,19) CSPinCNF Propagation End 32.68/20.44 c (19,19) CSP: 1155 int (1155 aux), 19414 bool (18214 aux), 33944 ctr, max domain size 37 32.68/20.44 c (19,19) Heap : 879 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 32.68/20.44 c (19,19) Simplify CSPinCNF Begin 33.06/20.61 c (20,19) Simplify CSPinCNF End 33.06/20.62 c (20,19) CSP: 1155 int (1155 aux), 23826 bool (22626 aux), 38356 ctr, max domain size 37 33.06/20.62 c (20,19) Heap : 879 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 33.06/20.62 c (20,19) Calculate Precise Domain Begin 33.06/20.69 c (20,19) 0 values are removed by re-calculation 33.06/20.69 c (20,19) Calculate Precise Domain End 33.06/20.69 c (20,19) CSP: 1155 int (1155 aux), 23826 bool (22626 aux), 38356 ctr, max domain size 37 33.06/20.69 c (20,19) Heap : 879 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 33.06/20.69 c (20,19) CSPinCNF to SatSolver Begin 37.43/22.89 c (22,22) 3836 (10 %) CSP clauses are encoded (35946 SAT variables, 471480 SAT clauses) 38.07/23.47 c (22,22) 7672 (20 %) CSP clauses are encoded (35946 SAT variables, 627716 SAT clauses) 38.68/24.05 c (23,23) 11507 (30 %) CSP clauses are encoded (35946 SAT variables, 783951 SAT clauses) 39.27/24.63 c (24,23) 15343 (40 %) CSP clauses are encoded (35946 SAT variables, 940187 SAT clauses) 39.88/25.21 c (24,24) 19178 (50 %) CSP clauses are encoded (35946 SAT variables, 1096422 SAT clauses) 40.37/25.79 c (25,25) 23014 (60 %) CSP clauses are encoded (35946 SAT variables, 1252658 SAT clauses) 41.47/26.44 c (25,25) 26850 (70 %) CSP clauses are encoded (35946 SAT variables, 1408894 SAT clauses) 41.87/26.86 c (26,26) 30685 (80 %) CSP clauses are encoded (35946 SAT variables, 1514839 SAT clauses) 42.04/26.94 c (26,26) 34521 (90 %) CSP clauses are encoded (35946 SAT variables, 1520583 SAT clauses) 42.26/27.02 c (26,26) 38356 (100 %) CSP clauses are encoded (35946 SAT variables, 1526284 SAT clauses) 42.26/27.02 c (26,26) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 42.26/27.02 c (26,26) CSPinCNF to SatSolver End 42.26/27.02 c (26,26) Heap : 759 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 42.99/27.24 c (26,26) STATISTICS2:HOME/instance-4307075-1534190052.xml,IntVar:LexMatrix:Num:WeightedSum,24981,38356,1369,37,4,11,1369:20;1024:1320;512:240;441:60;121:120;99:540;81:360;2:6554,37:120;21:240;11:2640;9:1620;2:102974,4:2014;3:5528;2:28026;1:2788,11:1320;10:240;3:1100;2:6554;1:74266, 42.99/27.24 c (26,26) 35946 bool, 1526285 clause 42.99/27.24 c (26,26) Export Begin 43.28/27.38 c (26,26) Export to HOME/scop-22926-serial-file.bin 43.28/27.38 c (26,26) Export End 43.28/27.39 c (26,26) Export File Size: 0.19 MB 43.28/27.39 c (26,26) 0,0,19,19,20,20,26,STOP-AFTER(DIMACS) 43.28/27.39 c END-Prog: Mon Aug 13 21:54:40 CEST 2018 43.56/27.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-22926-serial-file.bin 43.60/27.92 c (0,0) Read Serial File Begin 43.60/27.92 c (0,0) HOME/scop-22926-serial-file.bin 44.61/28.15 c (0,0) Read Serial File End 44.61/28.16 44.61/28.16 scop order+glucose-syrup (2018-07-31) 44.61/28.16 (Solving Process) 44.61/28.16 44.61/28.18 c BEGIN-Prog: Mon Aug 13 21:54:41 CEST 2018 44.61/28.18 c PID: 22949 44.61/28.18 c IP: 172.20.3.132 44.61/28.18 c HOST: node132.alineos.net 44.61/28.19 c (0,0) SatSolver.solve Begin 44.61/28.19 c (0,0) 0 bool, 0 clause 44.61/28.19 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307075-1534190052.xml-scop-22929.cnf 72.85/41.58 c (13,0) c 72.85/41.58 c (13,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 72.85/41.58 c (13,0) c 72.85/41.58 c (13,0) c WARNING: for repeatability, setting FPU to use double precision 72.85/41.58 c (13,0) c 8 solvers engines and 1 companion as a blackboard created. 72.85/41.58 c (13,0) c ========================================[ Problem Statistics ]=========================================== 72.85/41.58 c (13,0) c | | 72.85/41.58 c (13,0) c | Number of variables: 35946 | 72.85/41.58 c (13,0) c | Number of clauses: 1525745 | 72.85/41.58 c (13,0) c | Parse time: 0.60 s | 72.85/41.58 c (13,0) c | | 72.85/41.58 c (13,0) c | Eliminated clauses: 0.37 Mb | 72.85/41.58 c (13,0) c | Simplification time: 9.95 s | 72.85/41.58 c (13,0) c | | 72.85/41.58 c (13,0) c | Generating clones | 72.85/41.58 c (13,0) c | all clones generated. Memory = 756.39Mb. | 72.85/41.58 c (13,0) c ========================================================================================================| 72.85/41.58 c (13,0) c last restart ## conflicts : 1286 502 72.85/41.58 c (13,0) c Thread 2 is 100% pure glucose! First thread to finish! (SAT answer). 72.85/41.58 c (13,0) c Total Memory so far : 1473.26Mb 72.85/41.58 c (13,0) c 72.85/41.58 c (13,0) c real time : 13.3697 s 72.85/41.58 c (13,0) c cpu time : 26.1043 s 72.85/41.58 c (13,0) c 72.85/41.58 c (13,0) c 72.85/41.58 c (13,0) c 72.85/41.58 c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 72.85/41.58 c (13,0) c 72.85/41.58 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 72.85/41.58 c (13,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 72.85/41.58 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 72.85/41.58 c (13,0) c | Conflicts | 31016 | 3813 | 4188 | 3550 | 4291 | 3830 | 3885 | 3667 | 3792 | 72.85/41.58 c (13,0) c | Decisions | 151616 | 22759 | 22307 | 17685 | 19078 | 14148 | 21259 | 17933 | 16447 | 72.85/41.58 c (13,0) c | Propagations | 17885484 | 2286442 | 2357641 | 2064772 | 2449450 | 2190673 | 2321714 | 2109012 | 2105780 | 72.85/41.58 c (13,0) c | Avg_Trail | | 12902 | 13161 | 12512 | 12655 | 12025 | 12946 | 12810 | 12809 | 72.85/41.58 c (13,0) c | Avg_DL | | 67 | 61 | 51 | 54 | 47 | 63 | 55 | 59 | 72.85/41.58 c (13,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 72.85/41.58 c (13,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 72.85/41.58 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 72.85/41.58 c (13,0) c | Exported | 1208 | 172 | 176 | 116 | 163 | 144 | 153 | 132 | 152 | 72.85/41.58 c (13,0) c | Imported | 8320 | 1021 | 1030 | 1061 | 1038 | 1021 | 1040 | 1056 | 1053 | 72.85/41.58 c (13,0) c | Good | 3357 | 410 | 419 | 426 | 414 | 421 | 417 | 419 | 431 | 72.85/41.58 c (13,0) c | Purge | 4963 | 611 | 611 | 635 | 624 | 600 | 623 | 637 | 622 | 72.85/41.58 c (13,0) c | Promoted | 766 | 98 | 97 | 80 | 97 | 95 | 99 | 107 | 93 | 72.85/41.58 c (13,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 72.85/41.58 c (13,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 72.85/41.58 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 72.85/41.58 c (13,0) c | Unaries | | 27 | 23 | 19 | 18 | 27 | 17 | 23 | 19 | 72.85/41.58 c (13,0) c | Binaries | | 72 | 70 | 48 | 70 | 47 | 65 | 60 | 57 | 72.85/41.58 c (13,0) c | Glues | | 172 | 176 | 116 | 163 | 144 | 153 | 132 | 152 | 72.85/41.58 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 72.85/41.58 c (13,0) c | Orig_Seen | 0 % | 14671 | 15852 | 13217 | 14139 | 11811 | 14694 | 13499 | 14154 | 72.85/41.58 c (13,0) c | Diff Orig seen| | 1454 | 2635 | X | 922 | - 1406 | 1477 | 282 | 937 | 72.85/41.58 c (13,0) c | Hamming | 4 % | 2050 | 1792 | X | 1778 | 1695 | 1724 | 1501 | 1514 | 72.85/41.58 c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 72.85/41.58 c (13,0) 72.85/41.58 c (13,0) s SATISFIABLE 45.06/41.64 c (13,0) SatSolver.solve End 45.06/41.64 c (13,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 45.06/41.64 c (13,0) Show results Begin 73.86/41.74 s SATISFIABLE 73.86/41.77 v <instantiation> 73.86/41.77 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119]</list> 73.86/41.77 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0</values> 73.86/41.77 v </instantiation> 73.86/41.77 c (13,0) Show results End 73.86/41.77 c (13,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 73.86/41.77 c (13,0) 13,13,STOP-AFTER(ALL) 73.86/41.77 c END-Prog: Mon Aug 13 21:54: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 (6906 MiB free) memory of node 1: 16384 MiB (10040 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307075-1534190052/watcher-4307075-1534190052 -o /tmp/evaluation-result-4307075-1534190052/solver-4307075-1534190052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307075-1534190052.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 solver pid=22926, runsolver pid=22923 Current StackSize limit: 8192 KiB [startup+0.110653 s]* /proc/loadavg: 8.00 8.27 7.90 2/204 22948 /proc/meminfo: memFree=17256928/32770624 swapFree=67108860/67108860 [pid=22926] ppid=22923 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22926/stat : 22926 (scop.sh) S 22923 22926 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236568411 115843072 348 33554432000 4194304 5098028 140727307333200 140727307330456 140412702388860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24899584 140727307334690 140727307334915 140727307334915 140727307337677 0 /proc/22926/statm: 28282 348 296 221 0 87 0 [pid=22929] ppid=22926 vsize=27313900 memory=107776 CPUtime=0.12 cores=0-7 /proc/22929/stat : 22929 (java) S 22926 22926 22710 0 -1 1077944320 6878 0 0 0 10 2 0 0 20 0 20 0 236568411 27969433600 26944 33554432000 4194304 4196468 140736882817616 140736882800160 139695633235703 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 /proc/22929/statm: 6828475 26944 2770 1 0 6790935 0 [pid=22929/tid=22930] ppid=22926 vsize=27313900 memory=4134930498285298233 CPUtime=0.1 cores=0-7 /proc/22929/task/22930/stat : 22930 (java) R 22926 22926 22710 0 -1 4202560 4939 0 0 0 8 2 0 0 20 0 20 0 236568412 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695605047688 139695614800665 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22931] ppid=22926 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/22929/task/22931/stat : 22931 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695637478416 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22932] ppid=22926 vsize=27313900 memory=140370953791104 CPUtime=0 cores=0-7 /proc/22929/task/22932/stat : 22932 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695451634832 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22933] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22933/stat : 22933 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695450581776 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22934] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22934/stat : 22934 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695449529232 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22935] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22935/stat : 22935 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695448476176 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22936] ppid=22926 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/22929/task/22936/stat : 22936 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695447423632 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22937] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22937/stat : 22937 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695446370576 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22938] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22938/stat : 22938 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 26944 33554432000 4194304 4196468 140736882817616 139695445318032 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22939] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22939/stat : 22939 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 26944 33554432000 4194304 4196468 140736882817616 139694624537328 139695633246850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22940] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22940/stat : 22940 (java) S 22926 22926 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 26944 33554432000 4194304 4196468 140736882817616 139693542860448 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22941] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22941/stat : 22941 (java) S 22926 22926 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 26944 33554432000 4194304 4196468 140736882817616 139693408638192 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22942] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22942/stat : 22942 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 26944 33554432000 4194304 4196468 140736882817616 139693034133968 139695633254299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22943] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22943/stat : 22943 (java) S 22926 22926 22710 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 26944 33554432000 4194304 4196468 140736882817616 139694623484144 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22944] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22944/stat : 22944 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 26944 33554432000 4194304 4196468 140736882817616 139694622431600 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22945] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22945/stat : 22945 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 26944 33554432000 4194304 4196468 140736882817616 139694621378544 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22946] ppid=22926 vsize=27313900 memory=0 CPUtime=0.01 cores=0-7 /proc/22929/task/22946/stat : 22946 (java) S 22926 22926 22710 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 236568419 27969433600 26944 33554432000 4194304 4196468 140736882817616 139694620326000 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22947] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22947/stat : 22947 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 26944 33554432000 4194304 4196468 140736882817616 139692536228832 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22948] ppid=22926 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/22929/task/22948/stat : 22948 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 26944 33554432000 4194304 4196468 140736882817616 139694619274416 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 109168 KiB [startup+0.210453 s]* /proc/loadavg: 8.00 8.27 7.90 2/204 22948 /proc/meminfo: memFree=17243584/32770624 swapFree=67108860/67108860 [pid=22926] ppid=22923 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22926/stat : 22926 (scop.sh) S 22923 22926 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236568411 115843072 348 33554432000 4194304 5098028 140727307333200 140727307330456 140412702388860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24899584 140727307334690 140727307334915 140727307334915 140727307337677 0 /proc/22926/statm: 28282 348 296 221 0 87 0 [pid=22929] ppid=22926 vsize=27313900 memory=120796 CPUtime=0.24 cores=0-7 /proc/22929/stat : 22929 (java) S 22926 22926 22710 0 -1 1077944320 10404 0 0 0 21 3 0 0 20 0 20 0 236568411 27969433600 30199 33554432000 4194304 4196468 140736882817616 140736882800160 139695633235703 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 /proc/22929/statm: 6828475 30199 2899 1 0 6790935 0 [pid=22929/tid=22930] ppid=22926 vsize=27313900 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/22929/task/22930/stat : 22930 (java) R 22926 22926 22710 0 -1 4202560 8283 0 0 0 17 3 0 0 20 0 20 0 236568412 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695605025408 139695617316190 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22931] ppid=22926 vsize=27313900 memory=339 CPUtime=0 cores=0-7 /proc/22929/task/22931/stat : 22931 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695637478416 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22932] ppid=22926 vsize=27313900 memory=140370953813850 CPUtime=0 cores=0-7 /proc/22929/task/22932/stat : 22932 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695451634832 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22933] ppid=22926 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/22929/task/22933/stat : 22933 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695450581776 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22934] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22934/stat : 22934 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695449529232 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22935] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22935/stat : 22935 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695448476176 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22936] ppid=22926 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/22929/task/22936/stat : 22936 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695447423632 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22937] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22937/stat : 22937 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695446370576 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22938] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22938/stat : 22938 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 30199 33554432000 4194304 4196468 140736882817616 139695445318032 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22939] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22939/stat : 22939 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 30199 33554432000 4194304 4196468 140736882817616 139694624537328 139695633246850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22940] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22940/stat : 22940 (java) S 22926 22926 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 30199 33554432000 4194304 4196468 140736882817616 139693542860448 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22941] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22941/stat : 22941 (java) S 22926 22926 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 30199 33554432000 4194304 4196468 140736882817616 139693408638192 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22942] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22942/stat : 22942 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 30199 33554432000 4194304 4196468 140736882817616 139693034133968 139695633254299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22943] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22943/stat : 22943 (java) S 22926 22926 22710 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 30199 33554432000 4194304 4196468 140736882817616 139694623484144 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22944] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22944/stat : 22944 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 30199 33554432000 4194304 4196468 140736882817616 139694622431600 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22945] ppid=22926 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/22929/task/22945/stat : 22945 (java) S 22926 22926 22710 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 30199 33554432000 4194304 4196468 140736882817616 139694621378544 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22946] ppid=22926 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/22929/task/22946/stat : 22946 (java) S 22926 22926 22710 0 -1 1077944384 304 0 0 0 2 0 0 0 20 0 20 0 236568419 27969433600 30199 33554432000 4194304 4196468 140736882817616 139694620326000 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22947] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22947/stat : 22947 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 30199 33554432000 4194304 4196468 140736882817616 139692536228832 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22948] ppid=22926 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/22929/task/22948/stat : 22948 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 30199 33554432000 4194304 4196468 140736882817616 139694619274416 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 122188 KiB [startup+0.309859 s]* /proc/loadavg: 8.00 8.27 7.90 2/204 22948 /proc/meminfo: memFree=17239524/32770624 swapFree=67108860/67108860 [pid=22926] ppid=22923 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22926/stat : 22926 (scop.sh) S 22923 22926 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236568411 115843072 348 33554432000 4194304 5098028 140727307333200 140727307330456 140412702388860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24899584 140727307334690 140727307334915 140727307334915 140727307337677 0 /proc/22926/statm: 28282 348 296 221 0 87 0 [pid=22929] ppid=22926 vsize=27313900 memory=125272 CPUtime=0.41 cores=0-7 /proc/22929/stat : 22929 (java) S 22926 22926 22710 0 -1 1077944320 11127 0 0 0 38 3 0 0 20 0 20 0 236568411 27969433600 31318 33554432000 4194304 4196468 140736882817616 140736882800160 139695633235703 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 /proc/22929/statm: 6828475 31318 2976 1 0 6790935 0 [pid=22929/tid=22930] ppid=22926 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/22929/task/22930/stat : 22930 (java) R 22926 22926 22710 0 -1 4202560 8807 0 0 0 26 3 0 0 20 0 20 0 236568412 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695605031152 139695613511506 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22931] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22931/stat : 22931 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695637478416 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22932] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22932/stat : 22932 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695451634832 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22933] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22933/stat : 22933 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695450581776 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22934] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22934/stat : 22934 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695449529232 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22935] ppid=22926 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/22929/task/22935/stat : 22935 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695448476176 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22936] ppid=22926 vsize=27313900 memory=140370805617583 CPUtime=0 cores=0-7 /proc/22929/task/22936/stat : 22936 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695447423632 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22937] ppid=22926 vsize=27313900 memory=140370805619888 CPUtime=0 cores=0-7 /proc/22929/task/22937/stat : 22937 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695446370576 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22938] ppid=22926 vsize=27313900 memory=140370805622192 CPUtime=0 cores=0-7 /proc/22929/task/22938/stat : 22938 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27969433600 31318 33554432000 4194304 4196468 140736882817616 139695445318032 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22939] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22939/stat : 22939 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 31318 33554432000 4194304 4196468 140736882817616 139694624537328 139695633246850 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22940] ppid=22926 vsize=27313900 memory=280741611251344 CPUtime=0 cores=0-7 /proc/22929/task/22940/stat : 22940 (java) S 22926 22926 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 31318 33554432000 4194304 4196468 140736882817616 139693542860448 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22941] ppid=22926 vsize=27313900 memory=280741611258256 CPUtime=0 cores=0-7 /proc/22929/task/22941/stat : 22941 (java) S 22926 22926 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 236568416 27969433600 31318 33554432000 4194304 4196468 140736882817616 139693408638192 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22942] ppid=22926 vsize=27313900 memory=280741611199536 CPUtime=0 cores=0-7 /proc/22929/task/22942/stat : 22942 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 31318 33554432000 4194304 4196468 140736882817616 139693034133968 139695633254299 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22943] ppid=22926 vsize=27313900 memory=280741611272080 CPUtime=0.01 cores=0-7 /proc/22929/task/22943/stat : 22943 (java) S 22926 22926 22710 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 236568419 27969433600 31318 33554432000 4194304 4196468 140736882817616 139694623484144 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22944] ppid=22926 vsize=27313900 memory=280741611278992 CPUtime=0 cores=0-7 /proc/22929/task/22944/stat : 22944 (java) S 22926 22926 22710 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 31318 33554432000 4194304 4196468 140736882817616 139694622431600 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22945] ppid=22926 vsize=27313900 memory=280741611276688 CPUtime=0.02 cores=0-7 /proc/22929/task/22945/stat : 22945 (java) S 22926 22926 22710 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 236568419 27969433600 31318 33554432000 4194304 4196468 140736882817616 139694621378544 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22946] ppid=22926 vsize=27313900 memory=280741611292848 CPUtime=0.07 cores=0-7 /proc/22929/task/22946/stat : 22946 (java) S 22926 22926 22710 0 -1 1077944384 353 0 0 0 7 0 0 0 20 0 20 0 236568419 27969433600 31318 33554432000 4194304 4196468 140736882817616 139694620326000 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22947] ppid=22926 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22947/stat : 22947 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 31318 33554432000 4194304 4196468 140736882817616 139692536228832 139695633245909 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22948] ppid=22926 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/22929/task/22948/stat : 22948 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568419 27969433600 31318 33554432000 4194304 4196468 140736882817616 139694619274416 139695633246850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 126664 KiB [startup+0.700962 s] /proc/loadavg: 8.00 8.27 7.90 2/204 22948 /proc/meminfo: memFree=17215464/32770624 swapFree=67108860/67108860 [pid=22926] ppid=22923 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/22926/stat : 22926 (scop.sh) S 22923 22926 22710 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 236568411 115843072 348 33554432000 4194304 5098028 140727307333200 140727307330456 140412702388860 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24899584 140727307334690 140727307334915 140727307334915 140727307337677 0 /proc/22926/statm: 28282 348 296 221 0 87 0 [pid=22929] ppid=22926 vsize=27320172 memory=162844 CPUtime=0.98 cores=0-7 /proc/22929/stat : 22929 (java) S 22926 22926 22710 0 -1 1077944320 18260 0 0 0 92 6 0 0 20 0 20 0 236568411 27975856128 40711 33554432000 4194304 4196468 140736882817616 140736882800160 139695633235703 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 /proc/22929/statm: 6830043 40711 3128 1 0 6791447 0 [pid=22929/tid=22930] ppid=22926 vsize=27320172 memory=280741611650736 CPUtime=0.67 cores=0-7 /proc/22929/task/22930/stat : 22930 (java) R 22926 22926 22710 0 -1 4202560 15382 0 0 0 62 5 0 0 20 0 20 0 236568412 27975856128 40711 33554432000 4194304 4196468 140736882817616 139695605065168 139695633257629 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22931] ppid=22926 vsize=27320172 memory=140370805826416 CPUtime=0 cores=0-7 /proc/22929/task/22931/stat : 22931 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27975856128 40711 33554432000 4194304 4196468 140736882817616 139695637478416 139695633245909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22932] ppid=22926 vsize=27320172 memory=0 CPUtime=0 cores=0-7 /proc/22929/task/22932/stat : 22932 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27975856128 40711 33554432000 4194304 4196468 140736882817616 139695451634832 139695633245909 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 [pid=22929/tid=22933] ppid=22926 vsize=27320172 memory=10784 CPUtime=0 cores=0-7 /proc/22929/task/22933/stat : 22933 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 236568414 27975856128 40711 33554432000 4194304 4196468 140736882817616 139695450581776 139695633245909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7520256 140736882824168 140736882824493 140736882824493 140736882827215 0 ################ # More data... # ################ [pid=22949/tid=22952] ppid=22926 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/22949/task/22952/stat : 22952 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 30496 33554432000 4194304 4196468 140720498413728 139847362652816 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22953] ppid=22926 vsize=8413904 memory=1468 CPUtime=0 cores=0-7 /proc/22949/task/22953/stat : 22953 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 30496 33554432000 4194304 4196468 140720498413728 139847361599760 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22954] ppid=22926 vsize=8413904 memory=121984 CPUtime=0 cores=0-7 /proc/22949/task/22954/stat : 22954 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 30496 33554432000 4194304 4196468 140720498413728 139847360547216 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22955] ppid=22926 vsize=8413904 memory=890216 CPUtime=0 cores=0-7 /proc/22949/task/22955/stat : 22955 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 30496 33554432000 4194304 4196468 140720498413728 139847359495184 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22956] ppid=22926 vsize=8413904 memory=140370805678372 CPUtime=0 cores=0-7 /proc/22949/task/22956/stat : 22956 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 30496 33554432000 4194304 4196468 140720498413728 139847358442640 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22957] ppid=22926 vsize=8413904 memory=140370805676868 CPUtime=0 cores=0-7 /proc/22949/task/22957/stat : 22957 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 30496 33554432000 4194304 4196468 140720498413728 139847037610768 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22958] ppid=22926 vsize=8413904 memory=140370805676404 CPUtime=0 cores=0-7 /proc/22949/task/22958/stat : 22958 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 30496 33554432000 4194304 4196468 140720498413728 139847036558224 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22959] ppid=22926 vsize=8413904 memory=140370805675828 CPUtime=0 cores=0-7 /proc/22949/task/22959/stat : 22959 (java) S 22926 22926 22710 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236571158 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846785960176 139847558253186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22960] ppid=22926 vsize=8413904 memory=140370805676352 CPUtime=0 cores=0-7 /proc/22949/task/22960/stat : 22960 (java) S 22926 22926 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236571158 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846014198944 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22961] ppid=22926 vsize=8413904 memory=280741611198072 CPUtime=0 cores=0-7 /proc/22949/task/22961/stat : 22961 (java) S 22926 22926 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236571158 8615837696 30496 33554432000 4194304 4196468 140720498413728 139845879976688 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22962] ppid=22926 vsize=8413904 memory=280741611198168 CPUtime=0 cores=0-7 /proc/22949/task/22962/stat : 22962 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571161 8615837696 30496 33554432000 4194304 4196468 140720498413728 139845505472464 139847558260635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22963] ppid=22926 vsize=8413904 memory=7374759097259810897 CPUtime=0.1 cores=0-7 /proc/22949/task/22963/stat : 22963 (java) S 22926 22926 22710 0 -1 1077944384 638 0 0 0 10 0 0 0 20 0 24 0 236571161 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846784908016 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22964] ppid=22926 vsize=8413904 memory=7594848331236732248 CPUtime=0.12 cores=0-7 /proc/22949/task/22964/stat : 22964 (java) S 22926 22926 22710 0 -1 1077944384 385 0 0 0 12 0 0 0 20 0 24 0 236571161 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846783855472 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22965] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0.13 cores=0-7 /proc/22949/task/22965/stat : 22965 (java) S 22926 22926 22710 0 -1 1077944384 681 0 0 0 13 0 0 0 20 0 24 0 236571161 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846782802416 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22966] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0.21 cores=0-7 /proc/22949/task/22966/stat : 22966 (java) S 22926 22926 22710 0 -1 1077944384 575 0 0 0 21 0 0 0 20 0 24 0 236571161 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846781749872 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22967] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0 cores=0-7 /proc/22949/task/22967/stat : 22967 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236571161 8615837696 30496 33554432000 4194304 4196468 140720498413728 139845007567328 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22968] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0 cores=0-7 /proc/22949/task/22968/stat : 22968 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236571161 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846780697264 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22970] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0 cores=0-7 /proc/22949/task/22970/stat : 22970 (java) S 22926 22926 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236571232 8615837696 30496 33554432000 4194304 4196468 140720498413728 139846772888512 139847558266649 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22972] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0 cores=0-7 /proc/22949/task/22972/stat : 22972 (java) S 22926 22926 22710 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 236571233 8615837696 30496 33554432000 4194304 4196468 140720498413728 139844336468016 139847558263965 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22973] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0 cores=0-7 /proc/22949/task/22973/stat : 22973 (java) S 22926 22926 22710 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236571233 8615837696 30496 33554432000 4194304 4196468 140720498413728 139844604903600 139847558263965 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22974] ppid=22926 vsize=8413904 memory=7309178837960058450 CPUtime=0 cores=0-7 /proc/22949/task/22974/stat : 22974 (java) S 22926 22926 22710 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 236571235 8615837696 30496 33554432000 4194304 4196468 140720498413728 139844068040096 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 Current children cumulated CPU time: 70.46 s Current children cumulated vsize: 10032856 KiB Current children cumulated memory: 1021684 KiB [startup+41.6013 s] /proc/loadavg: 4.76 7.41 7.62 9/217 22982 /proc/meminfo: memFree=16294156/32770624 swapFree=67108860/67108860 [pid=22926] ppid=22923 vsize=113128 memory=1468 CPUtime=43.6 cores=0-7 /proc/22926/stat : 22926 (scop.sh) S 22923 22926 22710 0 -1 4202496 589 50026 0 0 0 0 4192 168 20 0 1 0 236568411 115843072 367 33554432000 4194304 5098028 140727307333200 140727307329944 140412702388860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24899584 140727307334690 140727307334915 140727307334915 140727307337677 0 /proc/22926/statm: 28282 367 311 221 0 87 0 [pid=22949] ppid=22926 vsize=8413904 memory=124352 CPUtime=1.46 cores=0-7 /proc/22949/stat : 22949 (java) S 22926 22926 22710 0 -1 1077944320 18820 0 0 0 137 9 0 0 20 0 24 0 236571155 8615837696 31088 33554432000 4194304 4196468 140720498413728 140720498396272 139847558242039 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 /proc/22949/statm: 2103476 31088 3170 1 0 2064875 0 [pid=22949/tid=22950] ppid=22926 vsize=8413904 memory=0 CPUtime=0.79 cores=0-7 /proc/22949/task/22950/stat : 22950 (java) S 22926 22926 22710 0 -1 1077944384 14503 0 0 0 73 6 0 0 20 0 24 0 236571155 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847530082192 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22951] ppid=22926 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/22949/task/22951/stat : 22951 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847562484240 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22952] ppid=22926 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/22949/task/22952/stat : 22952 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847362652816 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22953] ppid=22926 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/22949/task/22953/stat : 22953 (java) S 22926 22926 22710 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847361599760 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22954] ppid=22926 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/22949/task/22954/stat : 22954 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847360547216 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22955] ppid=22926 vsize=8413904 memory=121984 CPUtime=0 cores=0-7 /proc/22949/task/22955/stat : 22955 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847359495184 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22956] ppid=22926 vsize=8413904 memory=897056 CPUtime=0 cores=0-7 /proc/22949/task/22956/stat : 22956 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847358442640 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22957] ppid=22926 vsize=8413904 memory=4132 CPUtime=0 cores=0-7 /proc/22949/task/22957/stat : 22957 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847037610768 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22958] ppid=22926 vsize=8413904 memory=64040 CPUtime=0 cores=0-7 /proc/22949/task/22958/stat : 22958 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236571156 8615837696 31088 33554432000 4194304 4196468 140720498413728 139847036558224 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22959] ppid=22926 vsize=8413904 memory=1236 CPUtime=0 cores=0-7 /proc/22949/task/22959/stat : 22959 (java) S 22926 22926 22710 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 236571158 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846785960176 139847558253186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22960] ppid=22926 vsize=8413904 memory=2444 CPUtime=0 cores=0-7 /proc/22949/task/22960/stat : 22960 (java) S 22926 22926 22710 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 236571158 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846014198944 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22961] ppid=22926 vsize=8413904 memory=1832 CPUtime=0 cores=0-7 /proc/22949/task/22961/stat : 22961 (java) S 22926 22926 22710 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 236571158 8615837696 31088 33554432000 4194304 4196468 140720498413728 139845879976688 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22962] ppid=22926 vsize=8413904 memory=1920 CPUtime=0 cores=0-7 /proc/22949/task/22962/stat : 22962 (java) S 22926 22926 22710 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 236571161 8615837696 31088 33554432000 4194304 4196468 140720498413728 139845505472464 139847558260635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22963] ppid=22926 vsize=8413904 memory=150976 CPUtime=0.11 cores=0-7 /proc/22949/task/22963/stat : 22963 (java) R 22926 22926 22710 0 -1 4202560 835 0 0 0 11 0 0 0 20 0 24 0 236571161 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846784889032 139847539785762 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22964] ppid=22926 vsize=8413904 memory=1392 CPUtime=0.12 cores=0-7 /proc/22949/task/22964/stat : 22964 (java) R 22926 22926 22710 0 -1 4202560 386 0 0 0 12 0 0 0 20 0 24 0 236571161 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846783845264 139847558255921 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22965] ppid=22926 vsize=8413904 memory=4077320 CPUtime=0.13 cores=0-7 /proc/22949/task/22965/stat : 22965 (java) R 22926 22926 22710 0 -1 4202560 684 0 0 0 13 0 0 0 20 0 24 0 236571161 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846782802416 139847541628576 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22966] ppid=22926 vsize=8413904 memory=0 CPUtime=0.23 cores=0-7 /proc/22949/task/22966/stat : 22966 (java) S 22926 22926 22710 0 -1 1077944384 990 0 0 0 23 0 0 0 20 0 24 0 236571161 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846781749872 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22967] ppid=22926 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/22949/task/22967/stat : 22967 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236571161 8615837696 31088 33554432000 4194304 4196468 140720498413728 139845007567328 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22968] ppid=22926 vsize=8413904 memory=8187704045996132563 CPUtime=0 cores=0-7 /proc/22949/task/22968/stat : 22968 (java) S 22926 22926 22710 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 236571161 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846780697264 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22970] ppid=22926 vsize=8413904 memory=6933690279252828305 CPUtime=0 cores=0-7 /proc/22949/task/22970/stat : 22970 (java) S 22926 22926 22710 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 236571232 8615837696 31088 33554432000 4194304 4196468 140720498413728 139846772888512 139847558266649 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22972] ppid=22926 vsize=8413904 memory=280741612264256 CPUtime=0.01 cores=0-7 /proc/22949/task/22972/stat : 22972 (java) R 22926 22926 22710 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 236571233 8615837696 31088 33554432000 4194304 4196468 140720498413728 139844336473968 139847040809112 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22973] ppid=22926 vsize=8413904 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/22949/task/22973/stat : 22973 (java) S 22926 22926 22710 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 236571233 8615837696 31088 33554432000 4194304 4196468 140720498413728 139844604903600 139847558263965 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22974] ppid=22926 vsize=8413904 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/22949/task/22974/stat : 22974 (java) S 22926 22926 22710 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 236571235 8615837696 31088 33554432000 4194304 4196468 140720498413728 139844068040096 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 Current children cumulated CPU time: 45.06 s Current children cumulated vsize: 8527032 KiB Current children cumulated memory: 125820 KiB [startup+41.7097 s] /proc/loadavg: 4.76 7.41 7.62 9/217 22982 /proc/meminfo: memFree=16294156/32770624 swapFree=67108860/67108860 [pid=22926] ppid=22923 vsize=113128 memory=1468 CPUtime=43.6 cores=0-7 /proc/22926/stat : 22926 (scop.sh) S 22923 22926 22710 0 -1 4202496 589 50026 0 0 0 0 4192 168 20 0 1 0 236568411 115843072 367 33554432000 4194304 5098028 140727307333200 140727307329944 140412702388860 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24899584 140727307334690 140727307334915 140727307334915 140727307337677 0 /proc/22926/statm: 28282 367 311 221 0 87 0 [pid=22949] ppid=22926 vsize=8282828 memory=134396 CPUtime=30.26 cores=0-7 /proc/22949/stat : 22949 (java) S 22926 22926 22710 0 -1 1077944320 19277 321357 0 0 161 10 2611 244 20 0 22 0 236571155 8481615872 33599 33554432000 4194304 4196468 140720498413728 140720498396272 139847558242039 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 /proc/22949/statm: 2070707 33599 3178 1 0 2032106 0 [pid=22949/tid=22950] ppid=22926 vsize=8282828 memory=900516 CPUtime=29.41 cores=0-7 /proc/22949/task/22950/stat : 22950 (java) R 22926 22926 22710 0 -1 4202560 14671 321357 0 0 80 6 2611 244 20 0 22 0 236571155 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847530073216 139847542285669 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22951] ppid=22926 vsize=8282828 memory=150976 CPUtime=28.55 cores=0-7 /proc/22949/task/22951/stat : 22951 (java) S 22926 22926 22710 0 -1 1077944384 1 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847562484240 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22952] ppid=22926 vsize=8282828 memory=4640467278541901904 CPUtime=28.55 cores=0-7 /proc/22949/task/22952/stat : 22952 (java) S 22926 22926 22710 0 -1 1077944384 2 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847362652816 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22953] ppid=22926 vsize=8282828 memory=6935649255759568960 CPUtime=28.55 cores=0-7 /proc/22949/task/22953/stat : 22953 (java) S 22926 22926 22710 0 -1 1077944384 2 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847361599760 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22954] ppid=22926 vsize=8282828 memory=1468 CPUtime=28.55 cores=0-7 /proc/22949/task/22954/stat : 22954 (java) S 22926 22926 22710 0 -1 1077944384 1 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847360547216 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22955] ppid=22926 vsize=8282828 memory=121984 CPUtime=28.55 cores=0-7 /proc/22949/task/22955/stat : 22955 (java) S 22926 22926 22710 0 -1 1077944384 1 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847359495184 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22956] ppid=22926 vsize=8282828 memory=257 CPUtime=28.55 cores=0-7 /proc/22949/task/22956/stat : 22956 (java) S 22926 22926 22710 0 -1 1077944384 1 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847358442640 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22957] ppid=22926 vsize=8282828 memory=6943526294502006880 CPUtime=28.55 cores=0-7 /proc/22949/task/22957/stat : 22957 (java) S 22926 22926 22710 0 -1 1077944384 1 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847037610768 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22958] ppid=22926 vsize=8282828 memory=0 CPUtime=28.55 cores=0-7 /proc/22949/task/22958/stat : 22958 (java) S 22926 22926 22710 0 -1 1077944384 3 321357 0 0 0 0 2611 244 20 0 22 0 236571156 8481615872 33599 33554432000 4194304 4196468 140720498413728 139847036558224 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22959] ppid=22926 vsize=8282828 memory=0 CPUtime=28.55 cores=0-7 /proc/22949/task/22959/stat : 22959 (java) S 22926 22926 22710 0 -1 1077944384 7 321357 0 0 0 0 2611 244 20 0 22 0 236571158 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846785960176 139847558253186 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22960] ppid=22926 vsize=8282828 memory=1920 CPUtime=28.55 cores=0-7 /proc/22949/task/22960/stat : 22960 (java) S 22926 22926 22710 0 -1 1077944384 13 321357 0 0 0 0 2611 244 20 0 22 0 236571158 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846014198944 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22961] ppid=22926 vsize=8282828 memory=1192 CPUtime=28.55 cores=0-7 /proc/22949/task/22961/stat : 22961 (java) S 22926 22926 22710 0 -1 1077944384 21 321357 0 0 0 0 2611 244 20 0 22 0 236571158 8481615872 33599 33554432000 4194304 4196468 140720498413728 139845879976688 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22962] ppid=22926 vsize=8282828 memory=0 CPUtime=28.55 cores=0-7 /proc/22949/task/22962/stat : 22962 (java) S 22926 22926 22710 0 -1 1077944384 1 321357 0 0 0 0 2611 244 20 0 22 0 236571161 8481615872 33599 33554432000 4194304 4196468 140720498413728 139845505472464 139847558260635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22963] ppid=22926 vsize=8282828 memory=-6876588628754522503 CPUtime=28.69 cores=0-7 /proc/22949/task/22963/stat : 22963 (java) S 22926 22926 22710 0 -1 1077944384 886 321357 0 0 14 0 2611 244 20 0 22 0 236571161 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846784908016 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22964] ppid=22926 vsize=8282828 memory=1384 CPUtime=28.71 cores=0-7 /proc/22949/task/22964/stat : 22964 (java) S 22926 22926 22710 0 -1 1077944384 407 321357 0 0 16 0 2611 244 20 0 22 0 236571161 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846783855472 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22965] ppid=22926 vsize=8282828 memory=752 CPUtime=28.71 cores=0-7 /proc/22949/task/22965/stat : 22965 (java) R 22926 22926 22710 0 -1 4202560 704 321357 0 0 16 0 2611 244 20 0 22 0 236571161 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846782802416 139847558253974 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22966] ppid=22926 vsize=8282828 memory=899176 CPUtime=28.82 cores=0-7 /proc/22949/task/22966/stat : 22966 (java) R 22926 22926 22710 0 -1 4202560 1093 321357 0 0 27 0 2611 244 20 0 22 0 236571161 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846781747832 139847542322526 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22967] ppid=22926 vsize=8282828 memory=1468 CPUtime=28.55 cores=0-7 /proc/22949/task/22967/stat : 22967 (java) S 22926 22926 22710 0 -1 1077944384 3 321357 0 0 0 0 2611 244 20 0 22 0 236571161 8481615872 33599 33554432000 4194304 4196468 140720498413728 139845007567328 139847558252245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22968] ppid=22926 vsize=8282828 memory=121984 CPUtime=28.55 cores=0-7 /proc/22949/task/22968/stat : 22968 (java) S 22926 22926 22710 0 -1 1077944384 3 321357 0 0 0 0 2611 244 20 0 22 0 236571161 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846780697264 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22970] ppid=22926 vsize=8282828 memory=1392 CPUtime=28.55 cores=0-7 /proc/22949/task/22970/stat : 22970 (java) S 22926 22926 22710 0 -1 1077944384 24 321357 0 0 0 0 2611 244 20 0 22 0 236571232 8481615872 33599 33554432000 4194304 4196468 140720498413728 139846772887696 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 [pid=22949/tid=22974] ppid=22926 vsize=8282828 memory=6791534058613427641 CPUtime=28.55 cores=0-7 /proc/22949/task/22974/stat : 22974 (java) S 22926 22926 22710 0 -1 1077944384 14 321357 0 0 0 0 2611 244 20 0 22 0 236571235 8481615872 33599 33554432000 4194304 4196468 140720498413728 139844068041904 139847558253186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26468352 140720498418865 140720498418989 140720498418989 140720498421711 0 Current children cumulated CPU time: 73.86 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 135864 KiB Child status: 0 Real time (s): 41.7977 CPU time (s): 74.1029 CPU user time (s): 69.8431 CPU system time (s): 4.25974 CPU usage (%): 177.289 Max. virtual memory (cumulated for all children) (KiB): 27443704 Max. memory (cumulated for all children) (KiB): 6170536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 69.8431 system time used= 4.25974 maximum resident set size= 6169648 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 391803 page faults= 0 swaps= 0 block input operations= 0 block output operations= 102040 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 257263 involuntary context switches= 186 # summary of solver processes directly reported to runsolver: # pid: 22926 # total CPU time (s): 74.1029 # total CPU user time (s): 69.8431 # total CPU system time (s): 4.25974 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.340978 second user time and 0.45426 second system time The end
Begin job on node132 at 2018-08-13 21:54:12 IDJOB=4307075 IDBENCH=141330 IDSOLVER=2788 FILE ID=node132/4307075-1534190052 RUNJOBID= node132-1534187531-22737 PBS_JOBID= 21037984 Free space on /tmp= 38332 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/Bibd/Bibd-sum-10-03-08_c18.xml COMMAND LINE= scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307075-1534190052/watcher-4307075-1534190052 -o /tmp/evaluation-result-4307075-1534190052/solver-4307075-1534190052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1534187531-22737 --watchdog 2580 scop.sh 22g scop.jar -order glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307075-1534190052.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6905926ecf5563edf040969d33d8e2ad RANDOM SEED=1947218437 node132.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.65 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.65 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.65 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.65 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: 17353564 kB MemAvailable: 31904656 kB Buffers: 262204 kB Cached: 14400320 kB SwapCached: 0 kB Active: 7396932 kB Inactive: 7320276 kB Active(anon): 3688 kB Inactive(anon): 102812 kB Active(file): 7393244 kB Inactive(file): 7217464 kB Unevictable: 6984 kB Mlocked: 6984 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8408 kB Writeback: 4 kB AnonPages: 60620 kB Mapped: 55764 kB Shmem: 49824 kB Slab: 396736 kB SReclaimable: 368844 kB SUnreclaim: 27892 kB KernelStack: 3296 kB PageTables: 4872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 348656 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 38320 MiB End job on node132 at 2018-08-13 21:54:54