| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| scop order+glucose-syrup (2018-07-07) | SAT | 38.6077 | 12.7557 |
| Name | MisteryShopper/ MisteryShopper-06c_c18.xml |
| MD5SUM | 9b1ba7009c0c118539aa61bd7976011a |
| 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 | 10.4895 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 864 |
| Number of constraints | 529 |
| Number of domains | 3 |
| Minimum domain size | 6 |
| Maximum domain size | 36 |
| Distribution of domain sizes | [{"size":6,"count":216},{"size":7,"count":216},{"size":36,"count":432}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":2,"count":432},{"degree":3,"count":216},{"degree":4,"count":186},{"degree":5,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 216 |
| Distribution of constraint arities | [{"arity":2,"count":432},{"arity":5,"count":6},{"arity":6,"count":72},{"arity":36,"count":12},{"arity":72,"count":6},{"arity":216,"count":1}] |
| Number of extensional constraints | 432 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":432},{"type":"allDifferent","count":84},{"type":"ordered","count":6},{"type":"lex","count":1},{"type":"channel","count":6}] |
| Optimization problem | NO |
| Type of objective |
0.66/0.52 0.66/0.52 scop order+glucose-syrup (2018-07-07) 0.66/0.52 0.66/0.55 c BEGIN-Prog: Fri Jul 27 04:14:36 CEST 2018 0.66/0.55 c PID: 11541 0.66/0.55 c IP: 172.20.3.138 0.66/0.55 c HOST: node138.alineos.net 0.66/0.56 c (0,0) Parsing Begin 3.14/1.24 c (0,0) Parsing End 3.14/1.25 c (0,0) CSP: 864 int (0 aux), 0 bool (0 aux), 529 ctr, max domain size 36 3.14/1.25 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 3.14/1.25 c (0,0) Constraint Name Generate Begin 3.14/1.26 c (0,0) Ctr:HOME/instance-4297100-1532657676.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr 3.14/1.26 c (0,0) Constraint Name Generate End 3.14/1.26 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 3.14/1.26 c (0,0) CSP to CSPinCNF Begin 5.17/1.90 c (1,1) translated 53 (10%) constraints 9.57/3.32 c (2,2) translated 106 (20%) constraints 10.04/3.50 c (2,2) translated 159 (30%) constraints 10.88/3.62 c (3,3) translated 212 (40%) constraints 11.29/3.73 c (3,3) translated 265 (50%) constraints 11.70/3.84 c (3,3) translated 318 (60%) constraints 12.10/3.95 c (3,3) translated 371 (70%) constraints 12.69/4.11 c (3,3) translated 424 (80%) constraints 13.05/4.21 c (3,3) translated 477 (90%) constraints 13.43/4.30 c (3,3) translated 529 (100%) constraints 14.67/4.62 c (4,4) STATISTICS1:HOME/instance-4297100-1532657676.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,3982,35884,36,36,36,2,36:7176;35:241;34:219;33:225;32:463;7:540;6:540,36:53878;35:957;34:828;33:828;32:1629;7:4104;6:3672;2:14106,36:24;8:216;7:216;6:144;4:310;3:19480;2:15430;1:64,2:9404;1:76746;0:432, 14.67/4.62 c (4,4) =========================================== 14.67/4.62 c (4,4) Order 14.67/4.62 c (4,4) =========================================== 15.57/4.82 c (4,4) translated 3589 (10%) constraints 15.96/4.97 c (4,4) translated 7177 (20%) constraints 17.19/5.26 c (4,4) translated 10766 (30%) constraints 18.79/5.61 c (5,5) translated 14354 (40%) constraints 19.41/5.90 c (5,5) translated 17942 (50%) constraints 19.81/6.18 c (5,5) translated 21531 (60%) constraints 20.14/6.42 c (5,5) translated 25119 (70%) constraints 20.54/6.52 c (5,5) translated 28708 (80%) constraints 20.88/6.60 c (6,5) translated 32296 (90%) constraints 20.88/6.66 c (6,6) translated 35884 (100%) constraints 20.88/6.66 c (6,6) CSP to CSPinCNF End 20.88/6.67 c (6,6) CSP: 864 int (0 aux), 18670 bool (18670 aux), 66988 ctr, max domain size 36 20.88/6.67 c (6,6) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 20.88/6.67 c (6,6) CSPinCNF Propagation Begin 22.38/7.16 c (6,6) 225 values, 1865 unsatisfiable literals, and 1359 valid clauses are removed 22.38/7.16 c (6,6) CSPinCNF Propagation End 22.38/7.17 c (6,6) CSP: 1029 int (165 aux), 18505 bool (18505 aux), 65629 ctr, max domain size 36 22.38/7.17 c (6,6) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 22.38/7.17 c (6,6) Simplify CSPinCNF Begin 23.28/7.64 c (7,7) Simplify CSPinCNF End 23.28/7.65 c (7,7) CSP: 1029 int (165 aux), 36175 bool (36175 aux), 83299 ctr, max domain size 36 23.28/7.65 c (7,7) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 23.28/7.65 c (7,7) Calculate Precise Domain Begin 23.28/7.65 c (7,7) 0 values are removed by re-calculation 23.28/7.65 c (7,7) Calculate Precise Domain End 23.28/7.65 c (7,7) CSP: 1029 int (165 aux), 36175 bool (36175 aux), 83299 ctr, max domain size 36 23.28/7.65 c (7,7) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 23.28/7.65 c (7,7) CSPinCNF to SatSolver Begin 24.94/8.38 c (7,7) 8330 (10 %) CSP clauses are encoded (53506 SAT variables, 213875 SAT clauses) 25.65/8.93 c (8,8) 16660 (20 %) CSP clauses are encoded (53506 SAT variables, 412313 SAT clauses) 26.10/9.42 c (8,8) 24990 (30 %) CSP clauses are encoded (53506 SAT variables, 567152 SAT clauses) 26.10/9.49 c (8,8) 33320 (40 %) CSP clauses are encoded (53506 SAT variables, 579688 SAT clauses) 26.19/9.54 c (9,8) 41650 (50 %) CSP clauses are encoded (53506 SAT variables, 588018 SAT clauses) 26.19/9.59 c (9,8) 49980 (60 %) CSP clauses are encoded (53506 SAT variables, 596348 SAT clauses) 26.30/9.65 c (9,8) 58310 (70 %) CSP clauses are encoded (53506 SAT variables, 604678 SAT clauses) 26.40/9.70 c (9,9) 66640 (80 %) CSP clauses are encoded (53506 SAT variables, 613008 SAT clauses) 26.50/9.84 c (9,9) 74970 (90 %) CSP clauses are encoded (53506 SAT variables, 647252 SAT clauses) 26.50/9.89 c (9,9) 83299 (100 %) CSP clauses are encoded (53506 SAT variables, 655581 SAT clauses) 26.50/9.89 c (9,9) CSPinCNF to SatSolver End 26.50/9.89 c (9,9) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 27.48/10.28 c (9,9) STATISTICS2:HOME/instance-4297100-1532657676.xml,AllDifferent:ChannelTwoLists:ExtensionSupport:IntVar:LexMatrix:OrderedCtr,37204,83299,36,36,36,2,36:12051;35:446;34:853;33:819;32:1715;7:1080;6:1080,36:89286;35:1618;34:2976;33:2700;32:5302;7:5184;6:4752;2:95048,36:6;32:17;30:1;7:216;6:360;4:310;3:18406;2:63919;1:64,2:18044;1:170778, 27.48/10.28 c (9,9) SatSolver.solve Begin 27.48/10.28 c (9,9) 53506 bool, 655582 clause 27.48/10.28 c (9,9) HOME/glucose-syrup -model -nthreads=8 -maxmemory=10000 HOME/instance-4297100-1532657676.xml-scop-11541.cnf HOME/instance-4297100-1532657676.xml-scop-11541.cnf.out 38.01/12.61 c (12,0) c 38.01/12.61 c (12,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 38.01/12.61 c (12,0) c 38.01/12.61 c (12,0) c WARNING: for repeatability, setting FPU to use double precision 38.01/12.61 c (12,0) c 8 solvers engines and 1 companion as a blackboard created. 38.01/12.61 c (12,0) c ========================================[ Problem Statistics ]=========================================== 38.01/12.61 c (12,0) c | | 38.01/12.61 c (12,0) c | Number of variables: 53506 | 38.01/12.61 c (12,0) c | Number of clauses: 654801 | 38.01/12.61 c (12,0) c | Parse time: 0.21 s | 38.01/12.61 c (12,0) c | | 38.01/12.61 c (12,0) c | Eliminated clauses: 0.58 Mb | 38.01/12.61 c (12,0) c | Simplification time: 0.68 s | 38.01/12.61 c (12,0) c | | 38.01/12.61 c (12,0) c | Generating clones | 38.01/12.61 c (12,0) c | all clones generated. Memory = 445.83Mb. | 38.01/12.61 c (12,0) c ========================================================================================================| 38.01/12.61 c (12,0) c last restart ## conflicts : 428 609 38.01/12.61 c (12,0) c Thread 0 is 100% pure glucose! First thread to finish! (SAT answer). 38.01/12.61 c (12,0) c Total Memory so far : 1025.34Mb 38.01/12.61 c (12,0) c 38.01/12.61 c (12,0) c real time : 2.30843 s 38.01/12.61 c (12,0) c cpu time : 10.007 s 38.01/12.61 c (12,0) c 38.01/12.61 c (12,0) c 38.01/12.61 c (12,0) c 38.01/12.61 c (12,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 38.01/12.61 c (12,0) c 38.01/12.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.01/12.61 c (12,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 38.01/12.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.01/12.61 c (12,0) c | Conflicts | 21814 | 1768 | 3218 | 2519 | 2695 | 2822 | 3405 | 2346 | 3041 | 38.01/12.61 c (12,0) c | Decisions | 327634 | 36503 | 44224 | 32108 | 45162 | 39008 | 49027 | 35253 | 46349 | 38.01/12.61 c (12,0) c | Propagations | 16062972 | 1650792 | 2264379 | 1730159 | 2241629 | 1819907 | 2331338 | 1748236 | 2276532 | 38.01/12.61 c (12,0) c | Avg_Trail | | 15435 | 15018 | 14631 | 14733 | 14551 | 14086 | 14673 | 13618 | 38.01/12.61 c (12,0) c | Avg_DL | | 232 | 219 | 214 | 228 | 208 | 195 | 217 | 192 | 38.01/12.61 c (12,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.01/12.61 c (12,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.01/12.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.01/12.61 c (12,0) c | Exported | 1286 | 89 | 167 | 142 | 147 | 180 | 231 | 135 | 195 | 38.01/12.61 c (12,0) c | Imported | 8751 | 1194 | 1081 | 1116 | 1125 | 1065 | 993 | 1087 | 1090 | 38.01/12.61 c (12,0) c | Good | 5306 | 724 | 654 | 684 | 670 | 648 | 624 | 666 | 636 | 38.01/12.61 c (12,0) c | Purge | 3445 | 470 | 427 | 432 | 455 | 417 | 369 | 421 | 454 | 38.01/12.61 c (12,0) c | Promoted | 168 | 12 | 24 | 12 | 30 | 26 | 23 | 14 | 27 | 38.01/12.61 c (12,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.01/12.61 c (12,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.01/12.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.01/12.61 c (12,0) c | Unaries | | 18 | 4 | 4 | 9 | 4 | 8 | 5 | 11 | 38.01/12.61 c (12,0) c | Binaries | | 53 | 105 | 77 | 99 | 105 | 121 | 77 | 142 | 38.01/12.61 c (12,0) c | Glues | | 89 | 167 | 142 | 147 | 180 | 231 | 135 | 195 | 38.01/12.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.01/12.61 c (12,0) c | Orig_Seen | 2 % | 13687 | 20917 | 17157 | 20702 | 19964 | 22143 | 16987 | 22317 | 38.01/12.61 c (12,0) c | Diff Orig seen| | X | 7230 | 3470 | 7015 | 6277 | 8456 | 3300 | 8630 | 38.01/12.61 c (12,0) c | Hamming | 15 % | X | 7901 | 9138 | 8659 | 8380 | 8023 | 8224 | 8673 | 38.01/12.61 c (12,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.01/12.61 c (12,0) 38.01/12.61 c (12,0) s SATISFIABLE 38.01/12.66 c (12,9) SatSolver.solve End 38.01/12.66 c (12,9) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 38.01/12.66 c (12,9) Show results Begin 38.01/12.70 c (12,9) gve[0][0] = 0 38.01/12.70 c (12,9) gve[0][1] = 3 38.01/12.70 c (12,9) gve[0][2] = 4 38.01/12.70 c (12,9) gve[0][3] = 2 38.01/12.70 c (12,9) gve[0][4] = 6 38.01/12.70 c (12,9) gve[0][5] = 5 38.01/12.70 c (12,9) gve[1][0] = 0 38.01/12.70 c (12,9) gve[1][1] = 2 38.01/12.70 c (12,9) gve[1][2] = 1 38.01/12.70 c (12,9) gve[1][3] = 5 38.01/12.70 c (12,9) gve[1][4] = 6 38.01/12.70 c (12,9) gve[1][5] = 4 38.01/12.70 c (12,9) gve[2][0] = 0 38.01/12.70 c (12,9) gve[2][1] = 5 38.01/12.70 c (12,9) gve[2][2] = 4 38.01/12.70 c (12,9) gve[2][3] = 2 38.01/12.70 c (12,9) gve[2][4] = 6 38.01/12.70 c (12,9) gve[2][5] = 3 38.01/12.70 c (12,9) gve[3][0] = 0 38.01/12.70 c (12,9) gve[3][1] = 4 38.01/12.70 c (12,9) gve[3][2] = 1 38.01/12.70 c (12,9) gve[3][3] = 3 38.01/12.70 c (12,9) gve[3][4] = 6 38.01/12.70 c (12,9) gve[3][5] = 2 38.01/12.70 c (12,9) gve[4][0] = 0 38.01/12.70 c (12,9) gve[4][1] = 4 38.01/12.70 c (12,9) gve[4][2] = 2 38.01/12.70 c (12,9) gve[4][3] = 3 38.01/12.70 c (12,9) gve[4][4] = 1 38.01/12.70 c (12,9) gve[4][5] = 5 38.01/12.70 c (12,9) gve[5][0] = 1 38.01/12.70 c (12,9) gve[5][1] = 4 38.01/12.70 c (12,9) gve[5][2] = 3 38.01/12.70 c (12,9) gve[5][3] = 2 38.01/12.70 c (12,9) gve[5][4] = 6 38.01/12.70 c (12,9) gve[5][5] = 5 38.01/12.70 c (12,9) gve[6][0] = 1 38.01/12.70 c (12,9) gve[6][1] = 0 38.01/12.70 c (12,9) gve[6][2] = 2 38.01/12.70 c (12,9) gve[6][3] = 6 38.01/12.70 c (12,9) gve[6][4] = 5 38.01/12.70 c (12,9) gve[6][5] = 4 38.01/12.70 c (12,9) gve[7][0] = 1 38.01/12.70 c (12,9) gve[7][1] = 4 38.01/12.70 c (12,9) gve[7][2] = 0 38.01/12.70 c (12,9) gve[7][3] = 6 38.01/12.70 c (12,9) gve[7][4] = 3 38.01/12.70 c (12,9) gve[7][5] = 2 38.01/12.70 c (12,9) gve[8][0] = 1 38.01/12.70 c (12,9) gve[8][1] = 5 38.01/12.70 c (12,9) gve[8][2] = 0 38.01/12.70 c (12,9) gve[8][3] = 2 38.01/12.70 c (12,9) gve[8][4] = 4 38.01/12.70 c (12,9) gve[8][5] = 3 38.01/12.70 c (12,9) gve[9][0] = 2 38.01/12.70 c (12,9) gve[9][1] = 5 38.01/12.70 c (12,9) gve[9][2] = 3 38.01/12.70 c (12,9) gve[9][3] = 6 38.01/12.70 c (12,9) gve[9][4] = 4 38.01/12.70 c (12,9) gve[9][5] = 0 38.01/12.70 c (12,9) gve[10][0] = 2 38.01/12.70 c (12,9) gve[10][1] = 3 38.01/12.70 c (12,9) gve[10][2] = 4 38.01/12.70 c (12,9) gve[10][3] = 6 38.01/12.70 c (12,9) gve[10][4] = 5 38.01/12.70 c (12,9) gve[10][5] = 0 38.01/12.70 c (12,9) gve[11][0] = 2 38.01/12.70 c (12,9) gve[11][1] = 5 38.01/12.70 c (12,9) gve[11][2] = 1 38.01/12.70 c (12,9) gve[11][3] = 6 38.01/12.70 c (12,9) gve[11][4] = 3 38.01/12.70 c (12,9) gve[11][5] = 4 38.01/12.70 c (12,9) gve[12][0] = 2 38.01/12.70 c (12,9) gve[12][1] = 6 38.01/12.70 c (12,9) gve[12][2] = 0 38.01/12.70 c (12,9) gve[12][3] = 4 38.01/12.70 c (12,9) gve[12][4] = 1 38.01/12.70 c (12,9) gve[12][5] = 5 38.01/12.70 c (12,9) gve[13][0] = 2 38.01/12.70 c (12,9) gve[13][1] = 0 38.01/12.70 c (12,9) gve[13][2] = 3 38.01/12.70 c (12,9) gve[13][3] = 1 38.01/12.70 c (12,9) gve[13][4] = 5 38.01/12.70 c (12,9) gve[13][5] = 4 38.01/12.70 c (12,9) gve[14][0] = 2 38.01/12.70 c (12,9) gve[14][1] = 6 38.01/12.70 c (12,9) gve[14][2] = 3 38.01/12.70 c (12,9) gve[14][3] = 5 38.01/12.70 c (12,9) gve[14][4] = 4 38.01/12.70 c (12,9) gve[14][5] = 0 38.01/12.70 c (12,9) gve[15][0] = 3 38.01/12.70 c (12,9) gve[15][1] = 6 38.01/12.70 c (12,9) gve[15][2] = 2 38.01/12.70 c (12,9) gve[15][3] = 1 38.01/12.70 c (12,9) gve[15][4] = 5 38.01/12.70 c (12,9) gve[15][5] = 4 38.01/12.70 c (12,9) gve[16][0] = 3 38.01/12.70 c (12,9) gve[16][1] = 6 38.01/12.70 c (12,9) gve[16][2] = 4 38.01/12.70 c (12,9) gve[16][3] = 0 38.01/12.70 c (12,9) gve[16][4] = 2 38.01/12.70 c (12,9) gve[16][5] = 1 38.01/12.70 c (12,9) gve[17][0] = 3 38.01/12.70 c (12,9) gve[17][1] = 6 38.01/12.70 c (12,9) gve[17][2] = 4 38.01/12.70 c (12,9) gve[17][3] = 2 38.01/12.70 c (12,9) gve[17][4] = 5 38.01/12.70 c (12,9) gve[17][5] = 0 38.01/12.70 c (12,9) gve[18][0] = 3 38.01/12.70 c (12,9) gve[18][1] = 2 38.01/12.70 c (12,9) gve[18][2] = 6 38.01/12.70 c (12,9) gve[18][3] = 0 38.01/12.70 c (12,9) gve[18][4] = 4 38.01/12.70 c (12,9) gve[18][5] = 1 38.01/12.70 c (12,9) gve[19][0] = 3 38.01/12.70 c (12,9) gve[19][1] = 4 38.01/12.70 c (12,9) gve[19][2] = 6 38.01/12.70 c (12,9) gve[19][3] = 5 38.01/12.70 c (12,9) gve[19][4] = 0 38.01/12.70 c (12,9) gve[19][5] = 2 38.01/12.70 c (12,9) gve[20][0] = 4 38.01/12.70 c (12,9) gve[20][1] = 5 38.01/12.70 c (12,9) gve[20][2] = 6 38.01/12.70 c (12,9) gve[20][3] = 0 38.01/12.70 c (12,9) gve[20][4] = 3 38.01/12.70 c (12,9) gve[20][5] = 2 38.01/12.70 c (12,9) gve[21][0] = 4 38.01/12.70 c (12,9) gve[21][1] = 2 38.01/12.70 c (12,9) gve[21][2] = 6 38.01/12.70 c (12,9) gve[21][3] = 3 38.01/12.70 c (12,9) gve[21][4] = 1 38.01/12.70 c (12,9) gve[21][5] = 5 38.01/12.70 c (12,9) gve[22][0] = 4 38.01/12.70 c (12,9) gve[22][1] = 0 38.01/12.70 c (12,9) gve[22][2] = 6 38.01/12.70 c (12,9) gve[22][3] = 5 38.01/12.70 c (12,9) gve[22][4] = 1 38.01/12.70 c (12,9) gve[22][5] = 2 38.01/12.70 c (12,9) gve[23][0] = 4 38.01/12.70 c (12,9) gve[23][1] = 2 38.01/12.70 c (12,9) gve[23][2] = 3 38.01/12.70 c (12,9) gve[23][3] = 5 38.01/12.70 c (12,9) gve[23][4] = 0 38.01/12.70 c (12,9) gve[23][5] = 1 38.01/12.70 c (12,9) gve[24][0] = 4 38.01/12.70 c (12,9) gve[24][1] = 0 38.01/12.70 c (12,9) gve[24][2] = 1 38.01/12.70 c (12,9) gve[24][3] = 2 38.01/12.70 c (12,9) gve[24][4] = 3 38.01/12.70 c (12,9) gve[24][5] = 6 38.01/12.70 c (12,9) gve[25][0] = 4 38.01/12.70 c (12,9) gve[25][1] = 3 38.01/12.70 c (12,9) gve[25][2] = 5 38.01/12.70 c (12,9) gve[25][3] = 0 38.01/12.70 c (12,9) gve[25][4] = 2 38.01/12.70 c (12,9) gve[25][5] = 6 38.01/12.70 c (12,9) gve[26][0] = 5 38.01/12.70 c (12,9) gve[26][1] = 3 38.01/12.70 c (12,9) gve[26][2] = 2 38.01/12.70 c (12,9) gve[26][3] = 4 38.01/12.70 c (12,9) gve[26][4] = 0 38.01/12.70 c (12,9) gve[26][5] = 6 38.01/12.70 c (12,9) gve[27][0] = 5 38.01/12.70 c (12,9) gve[27][1] = 3 38.01/12.70 c (12,9) gve[27][2] = 4 38.01/12.70 c (12,9) gve[27][3] = 1 38.01/12.70 c (12,9) gve[27][4] = 2 38.01/12.70 c (12,9) gve[27][5] = 6 38.01/12.70 c (12,9) gve[28][0] = 5 38.01/12.70 c (12,9) gve[28][1] = 1 38.01/12.70 c (12,9) gve[28][2] = 0 38.01/12.70 c (12,9) gve[28][3] = 4 38.01/12.70 c (12,9) gve[28][4] = 2 38.01/12.70 c (12,9) gve[28][5] = 6 38.01/12.70 c (12,9) gve[29][0] = 5 38.01/12.70 c (12,9) gve[29][1] = 1 38.01/12.70 c (12,9) gve[29][2] = 2 38.01/12.70 c (12,9) gve[29][3] = 0 38.01/12.70 c (12,9) gve[29][4] = 4 38.01/12.70 c (12,9) gve[29][5] = 3 38.01/12.70 c (12,9) gve[30][0] = 5 38.01/12.70 c (12,9) gve[30][1] = 1 38.01/12.70 c (12,9) gve[30][2] = 0 38.01/12.70 c (12,9) gve[30][3] = 4 38.01/12.70 c (12,9) gve[30][4] = 2 38.01/12.70 c (12,9) gve[30][5] = 3 38.01/12.70 c (12,9) gve[31][0] = 6 38.01/12.70 c (12,9) gve[31][1] = 4 38.01/12.70 c (12,9) gve[31][2] = 2 38.01/12.70 c (12,9) gve[31][3] = 3 38.01/12.70 c (12,9) gve[31][4] = 0 38.01/12.70 c (12,9) gve[31][5] = 1 38.01/12.70 c (12,9) gve[32][0] = 6 38.01/12.70 c (12,9) gve[32][1] = 2 38.01/12.70 c (12,9) gve[32][2] = 5 38.01/12.70 c (12,9) gve[32][3] = 1 38.01/12.70 c (12,9) gve[32][4] = 0 38.01/12.70 c (12,9) gve[32][5] = 4 38.01/12.70 c (12,9) gve[33][0] = 6 38.01/12.70 c (12,9) gve[33][1] = 1 38.01/12.70 c (12,9) gve[33][2] = 5 38.01/12.70 c (12,9) gve[33][3] = 4 38.01/12.70 c (12,9) gve[33][4] = 3 38.01/12.70 c (12,9) gve[33][5] = 2 38.01/12.70 c (12,9) gve[34][0] = 6 38.01/12.70 c (12,9) gve[34][1] = 2 38.01/12.70 c (12,9) gve[34][2] = 5 38.01/12.70 c (12,9) gve[34][3] = 3 38.01/12.70 c (12,9) gve[34][4] = 4 38.01/12.70 c (12,9) gve[34][5] = 0 38.01/12.70 c (12,9) gve[35][0] = 6 38.01/12.70 c (12,9) gve[35][1] = 0 38.01/12.70 c (12,9) gve[35][2] = 5 38.01/12.70 c (12,9) gve[35][3] = 4 38.01/12.70 c (12,9) gve[35][4] = 2 38.01/12.70 c (12,9) gve[35][5] = 3 38.01/12.70 c (12,9) gvr[0][0] = 0 38.01/12.70 c (12,9) gvr[0][1] = 1 38.01/12.70 c (12,9) gvr[0][2] = 2 38.01/12.70 c (12,9) gvr[0][3] = 3 38.01/12.70 c (12,9) gvr[0][4] = 4 38.01/12.70 c (12,9) gvr[0][5] = 5 38.01/12.70 c (12,9) gvr[1][0] = 0 38.01/12.70 c (12,9) gvr[1][1] = 4 38.01/12.70 c (12,9) gvr[1][2] = 1 38.01/12.70 c (12,9) gvr[1][3] = 3 38.01/12.70 c (12,9) gvr[1][4] = 5 38.01/12.70 c (12,9) gvr[1][5] = 2 38.01/12.70 c (12,9) gvr[2][0] = 0 38.01/12.70 c (12,9) gvr[2][1] = 5 38.01/12.70 c (12,9) gvr[2][2] = 4 38.01/12.70 c (12,9) gvr[2][3] = 2 38.01/12.70 c (12,9) gvr[2][4] = 3 38.01/12.70 c (12,9) gvr[2][5] = 1 38.01/12.70 c (12,9) gvr[3][0] = 0 38.01/12.70 c (12,9) gvr[3][1] = 3 38.01/12.70 c (12,9) gvr[3][2] = 1 38.01/12.70 c (12,9) gvr[3][3] = 4 38.01/12.70 c (12,9) gvr[3][4] = 5 38.01/12.70 c (12,9) gvr[3][5] = 2 38.01/12.70 c (12,9) gvr[4][0] = 0 38.01/12.70 c (12,9) gvr[4][1] = 2 38.01/12.70 c (12,9) gvr[4][2] = 5 38.01/12.70 c (12,9) gvr[4][3] = 4 38.01/12.70 c (12,9) gvr[4][4] = 3 38.01/12.70 c (12,9) gvr[4][5] = 1 38.01/12.70 c (12,9) gvr[5][0] = 0 38.01/12.70 c (12,9) gvr[5][1] = 5 38.01/12.70 c (12,9) gvr[5][2] = 1 38.01/12.70 c (12,9) gvr[5][3] = 4 38.01/12.70 c (12,9) gvr[5][4] = 2 38.01/12.70 c (12,9) gvr[5][5] = 3 38.01/12.70 c (12,9) gvr[6][0] = 1 38.01/12.70 c (12,9) gvr[6][1] = 4 38.01/12.70 c (12,9) gvr[6][2] = 0 38.01/12.70 c (12,9) gvr[6][3] = 5 38.01/12.70 c (12,9) gvr[6][4] = 3 38.01/12.70 c (12,9) gvr[6][5] = 2 38.01/12.70 c (12,9) gvr[7][0] = 1 38.01/12.70 c (12,9) gvr[7][1] = 4 38.01/12.70 c (12,9) gvr[7][2] = 0 38.01/12.70 c (12,9) gvr[7][3] = 2 38.01/12.70 c (12,9) gvr[7][4] = 3 38.01/12.70 c (12,9) gvr[7][5] = 5 38.01/12.70 c (12,9) gvr[8][0] = 1 38.01/12.70 c (12,9) gvr[8][1] = 5 38.01/12.70 c (12,9) gvr[8][2] = 4 38.01/12.70 c (12,9) gvr[8][3] = 2 38.01/12.70 c (12,9) gvr[8][4] = 0 38.01/12.70 c (12,9) gvr[8][5] = 3 38.01/12.70 c (12,9) gvr[9][0] = 1 38.01/12.70 c (12,9) gvr[9][1] = 3 38.01/12.70 c (12,9) gvr[9][2] = 4 38.01/12.70 c (12,9) gvr[9][3] = 2 38.01/12.70 c (12,9) gvr[9][4] = 5 38.01/12.70 c (12,9) gvr[9][5] = 0 38.01/12.70 c (12,9) gvr[10][0] = 1 38.01/12.70 c (12,9) gvr[10][1] = 5 38.01/12.70 c (12,9) gvr[10][2] = 4 38.01/12.70 c (12,9) gvr[10][3] = 0 38.01/12.70 c (12,9) gvr[10][4] = 2 38.01/12.70 c (12,9) gvr[10][5] = 3 38.01/12.70 c (12,9) gvr[11][0] = 1 38.01/12.70 c (12,9) gvr[11][1] = 5 38.01/12.70 c (12,9) gvr[11][2] = 2 38.01/12.70 c (12,9) gvr[11][3] = 0 38.01/12.70 c (12,9) gvr[11][4] = 4 38.01/12.70 c (12,9) gvr[11][5] = 3 38.01/12.70 c (12,9) gvr[12][0] = 2 38.01/12.70 c (12,9) gvr[12][1] = 3 38.01/12.70 c (12,9) gvr[12][2] = 5 38.01/12.70 c (12,9) gvr[12][3] = 0 38.01/12.70 c (12,9) gvr[12][4] = 4 38.01/12.70 c (12,9) gvr[12][5] = 1 38.01/12.70 c (12,9) gvr[13][0] = 2 38.01/12.70 c (12,9) gvr[13][1] = 0 38.01/12.70 c (12,9) gvr[13][2] = 1 38.01/12.70 c (12,9) gvr[13][3] = 4 38.01/12.70 c (12,9) gvr[13][4] = 5 38.01/12.70 c (12,9) gvr[13][5] = 3 38.01/12.70 c (12,9) gvr[14][0] = 2 38.01/12.70 c (12,9) gvr[14][1] = 3 38.01/12.70 c (12,9) gvr[14][2] = 0 38.01/12.70 c (12,9) gvr[14][3] = 1 38.01/12.70 c (12,9) gvr[14][4] = 4 38.01/12.70 c (12,9) gvr[14][5] = 5 38.01/12.70 c (12,9) gvr[15][0] = 2 38.01/12.70 c (12,9) gvr[15][1] = 0 38.01/12.70 c (12,9) gvr[15][2] = 1 38.01/12.70 c (12,9) gvr[15][3] = 3 38.01/12.70 c (12,9) gvr[15][4] = 4 38.01/12.70 c (12,9) gvr[15][5] = 5 38.01/12.70 c (12,9) gvr[16][0] = 2 38.01/12.70 c (12,9) gvr[16][1] = 4 38.01/12.70 c (12,9) gvr[16][2] = 0 38.01/12.70 c (12,9) gvr[16][3] = 5 38.01/12.70 c (12,9) gvr[16][4] = 3 38.01/12.70 c (12,9) gvr[16][5] = 1 38.01/12.70 c (12,9) gvr[17][0] = 2 38.01/12.70 c (12,9) gvr[17][1] = 1 38.01/12.70 c (12,9) gvr[17][2] = 3 38.01/12.70 c (12,9) gvr[17][3] = 0 38.01/12.70 c (12,9) gvr[17][4] = 5 38.49/12.70 c (12,9) gvr[17][5] = 4 38.49/12.70 c (12,9) gvr[18][0] = 3 38.49/12.70 c (12,9) gvr[18][1] = 4 38.49/12.70 c (12,9) gvr[18][2] = 2 38.49/12.70 c (12,9) gvr[18][3] = 0 38.49/12.70 c (12,9) gvr[18][4] = 1 38.49/12.70 c (12,9) gvr[18][5] = 5 38.49/12.70 c (12,9) gvr[19][0] = 3 38.49/12.70 c (12,9) gvr[19][1] = 4 38.49/12.70 c (12,9) gvr[19][2] = 2 38.49/12.70 c (12,9) gvr[19][3] = 5 38.49/12.70 c (12,9) gvr[19][4] = 1 38.49/12.70 c (12,9) gvr[19][5] = 0 38.49/12.70 c (12,9) gvr[20][0] = 3 38.49/12.70 c (12,9) gvr[20][1] = 5 38.49/12.70 c (12,9) gvr[20][2] = 1 38.49/12.70 c (12,9) gvr[20][3] = 4 38.49/12.70 c (12,9) gvr[20][4] = 2 38.49/12.70 c (12,9) gvr[20][5] = 0 38.49/12.70 c (12,9) gvr[21][0] = 3 38.49/12.70 c (12,9) gvr[21][1] = 0 38.49/12.70 c (12,9) gvr[21][2] = 2 38.49/12.70 c (12,9) gvr[21][3] = 5 38.49/12.70 c (12,9) gvr[21][4] = 4 38.49/12.70 c (12,9) gvr[21][5] = 1 38.49/12.70 c (12,9) gvr[22][0] = 3 38.49/12.70 c (12,9) gvr[22][1] = 0 38.49/12.70 c (12,9) gvr[22][2] = 4 38.49/12.70 c (12,9) gvr[22][3] = 5 38.49/12.70 c (12,9) gvr[22][4] = 1 38.49/12.70 c (12,9) gvr[22][5] = 2 38.49/12.70 c (12,9) gvr[23][0] = 3 38.49/12.70 c (12,9) gvr[23][1] = 0 38.49/12.70 c (12,9) gvr[23][2] = 2 38.49/12.70 c (12,9) gvr[23][3] = 4 38.49/12.70 c (12,9) gvr[23][4] = 5 38.49/12.70 c (12,9) gvr[23][5] = 1 38.49/12.70 c (12,9) gvr[24][0] = 4 38.49/12.70 c (12,9) gvr[24][1] = 1 38.49/12.70 c (12,9) gvr[24][2] = 0 38.49/12.70 c (12,9) gvr[24][3] = 2 38.49/12.70 c (12,9) gvr[24][4] = 3 38.49/12.70 c (12,9) gvr[24][5] = 5 38.49/12.70 c (12,9) gvr[25][0] = 4 38.49/12.70 c (12,9) gvr[25][1] = 3 38.49/12.70 c (12,9) gvr[25][2] = 0 38.49/12.70 c (12,9) gvr[25][3] = 5 38.49/12.70 c (12,9) gvr[25][4] = 1 38.49/12.70 c (12,9) gvr[25][5] = 2 38.49/12.70 c (12,9) gvr[26][0] = 4 38.49/12.70 c (12,9) gvr[26][1] = 0 38.49/12.70 c (12,9) gvr[26][2] = 5 38.49/12.70 c (12,9) gvr[26][3] = 3 38.49/12.70 c (12,9) gvr[26][4] = 1 38.49/12.70 c (12,9) gvr[26][5] = 2 38.49/12.70 c (12,9) gvr[27][0] = 4 38.49/12.70 c (12,9) gvr[27][1] = 3 38.49/12.70 c (12,9) gvr[27][2] = 5 38.49/12.70 c (12,9) gvr[27][3] = 2 38.49/12.70 c (12,9) gvr[27][4] = 1 38.49/12.70 c (12,9) gvr[27][5] = 0 38.49/12.70 c (12,9) gvr[28][0] = 4 38.49/12.70 c (12,9) gvr[28][1] = 1 38.49/12.70 c (12,9) gvr[28][2] = 5 38.49/12.70 c (12,9) gvr[28][3] = 0 38.49/12.70 c (12,9) gvr[28][4] = 2 38.49/12.70 c (12,9) gvr[28][5] = 3 38.49/12.70 c (12,9) gvr[29][0] = 4 38.49/12.70 c (12,9) gvr[29][1] = 1 38.49/12.70 c (12,9) gvr[29][2] = 5 38.49/12.70 c (12,9) gvr[29][3] = 3 38.49/12.70 c (12,9) gvr[29][4] = 2 38.49/12.70 c (12,9) gvr[29][5] = 0 38.49/12.70 c (12,9) gvr[30][0] = 5 38.49/12.70 c (12,9) gvr[30][1] = 1 38.49/12.70 c (12,9) gvr[30][2] = 4 38.49/12.70 c (12,9) gvr[30][3] = 3 38.49/12.70 c (12,9) gvr[30][4] = 2 38.49/12.70 c (12,9) gvr[30][5] = 0 38.49/12.70 c (12,9) gvr[31][0] = 5 38.49/12.70 c (12,9) gvr[31][1] = 2 38.49/12.70 c (12,9) gvr[31][2] = 3 38.49/12.70 c (12,9) gvr[31][3] = 1 38.49/12.70 c (12,9) gvr[31][4] = 0 38.49/12.70 c (12,9) gvr[31][5] = 4 38.49/12.70 c (12,9) gvr[32][0] = 5 38.49/12.70 c (12,9) gvr[32][1] = 2 38.49/12.70 c (12,9) gvr[32][2] = 3 38.49/12.70 c (12,9) gvr[32][3] = 1 38.49/12.70 c (12,9) gvr[32][4] = 0 38.49/12.70 c (12,9) gvr[32][5] = 4 38.49/12.70 c (12,9) gvr[33][0] = 5 38.49/12.70 c (12,9) gvr[33][1] = 2 38.49/12.70 c (12,9) gvr[33][2] = 3 38.49/12.70 c (12,9) gvr[33][3] = 1 38.49/12.70 c (12,9) gvr[33][4] = 0 38.49/12.70 c (12,9) gvr[33][5] = 4 38.49/12.70 c (12,9) gvr[34][0] = 5 38.49/12.70 c (12,9) gvr[34][1] = 2 38.49/12.70 c (12,9) gvr[34][2] = 3 38.49/12.70 c (12,9) gvr[34][3] = 1 38.49/12.70 c (12,9) gvr[34][4] = 0 38.49/12.70 c (12,9) gvr[34][5] = 4 38.49/12.70 c (12,9) gvr[35][0] = 5 38.49/12.70 c (12,9) gvr[35][1] = 2 38.49/12.70 c (12,9) gvr[35][2] = 3 38.49/12.70 c (12,9) gvr[35][3] = 1 38.49/12.70 c (12,9) gvr[35][4] = 0 38.49/12.70 c (12,9) gvr[35][5] = 4 38.49/12.70 c (12,9) ve[0][0] = 0 38.49/12.70 c (12,9) ve[0][1] = 15 38.49/12.70 c (12,9) ve[0][2] = 24 38.49/12.71 c (12,9) ve[0][3] = 10 38.49/12.71 c (12,9) ve[0][4] = 31 38.49/12.71 c (12,9) ve[0][5] = 30 38.49/12.71 c (12,9) ve[1][0] = 1 38.49/12.71 c (12,9) ve[1][1] = 13 38.49/12.71 c (12,9) ve[1][2] = 6 38.49/12.71 c (12,9) ve[1][3] = 28 38.49/12.71 c (12,9) ve[1][4] = 32 38.49/12.71 c (12,9) ve[1][5] = 20 38.49/12.71 c (12,9) ve[2][0] = 2 38.49/12.71 c (12,9) ve[2][1] = 26 38.49/12.71 c (12,9) ve[2][2] = 25 38.49/12.71 c (12,9) ve[2][3] = 11 38.49/12.71 c (12,9) ve[2][4] = 33 38.49/12.71 c (12,9) ve[2][5] = 19 38.49/12.71 c (12,9) ve[3][0] = 3 38.49/12.71 c (12,9) ve[3][1] = 23 38.49/12.71 c (12,9) ve[3][2] = 7 38.49/12.71 c (12,9) ve[3][3] = 17 38.49/12.71 c (12,9) ve[3][4] = 34 38.49/12.71 c (12,9) ve[3][5] = 9 38.49/12.71 c (12,9) ve[4][0] = 4 38.49/12.71 c (12,9) ve[4][1] = 22 38.49/12.71 c (12,9) ve[4][2] = 14 38.49/12.71 c (12,9) ve[4][3] = 18 38.49/12.71 c (12,9) ve[4][4] = 8 38.49/12.71 c (12,9) ve[4][5] = 27 38.49/12.71 c (12,9) ve[5][0] = 5 38.49/12.71 c (12,9) ve[5][1] = 21 38.49/12.71 c (12,9) ve[5][2] = 16 38.49/12.71 c (12,9) ve[5][3] = 12 38.49/12.71 c (12,9) ve[5][4] = 35 38.49/12.71 c (12,9) ve[5][5] = 29 38.49/12.71 c (12,9) ve[6][0] = 6 38.49/12.71 c (12,9) ve[6][1] = 0 38.49/12.71 c (12,9) ve[6][2] = 13 38.49/12.71 c (12,9) ve[6][3] = 31 38.49/12.71 c (12,9) ve[6][4] = 27 38.49/12.71 c (12,9) ve[6][5] = 21 38.49/12.71 c (12,9) ve[7][0] = 7 38.49/12.71 c (12,9) ve[7][1] = 24 38.49/12.71 c (12,9) ve[7][2] = 1 38.49/12.71 c (12,9) ve[7][3] = 32 38.49/12.71 c (12,9) ve[7][4] = 18 38.49/12.71 c (12,9) ve[7][5] = 12 38.49/12.71 c (12,9) ve[8][0] = 8 38.49/12.71 c (12,9) ve[8][1] = 29 38.49/12.71 c (12,9) ve[8][2] = 3 38.49/12.71 c (12,9) ve[8][3] = 14 38.49/12.71 c (12,9) ve[8][4] = 22 38.49/12.71 c (12,9) ve[8][5] = 16 38.49/12.71 c (12,9) ve[9][0] = 9 38.49/12.71 c (12,9) ve[9][1] = 30 38.49/12.71 c (12,9) ve[9][2] = 15 38.49/12.71 c (12,9) ve[9][3] = 33 38.49/12.71 c (12,9) ve[9][4] = 25 38.49/12.71 c (12,9) ve[9][5] = 4 38.49/12.71 c (12,9) ve[10][0] = 10 38.49/12.71 c (12,9) ve[10][1] = 17 38.49/12.71 c (12,9) ve[10][2] = 20 38.49/12.71 c (12,9) ve[10][3] = 34 38.49/12.71 c (12,9) ve[10][4] = 26 38.49/12.71 c (12,9) ve[10][5] = 2 38.49/12.71 c (12,9) ve[11][0] = 11 38.49/12.71 c (12,9) ve[11][1] = 28 38.49/12.71 c (12,9) ve[11][2] = 5 38.49/12.71 c (12,9) ve[11][3] = 35 38.49/12.71 c (12,9) ve[11][4] = 19 38.49/12.71 c (12,9) ve[11][5] = 23 38.49/12.71 c (12,9) ve[12][0] = 12 38.49/12.71 c (12,9) ve[12][1] = 31 38.49/12.71 c (12,9) ve[12][2] = 0 38.49/12.71 c (12,9) ve[12][3] = 24 38.49/12.71 c (12,9) ve[12][4] = 5 38.49/12.71 c (12,9) ve[12][5] = 26 38.49/12.71 c (12,9) ve[13][0] = 13 38.49/12.71 c (12,9) ve[13][1] = 4 38.49/12.71 c (12,9) ve[13][2] = 19 38.49/12.71 c (12,9) ve[13][3] = 8 38.49/12.71 c (12,9) ve[13][4] = 28 38.49/12.71 c (12,9) ve[13][5] = 22 38.49/12.71 c (12,9) ve[14][0] = 14 38.49/12.71 c (12,9) ve[14][1] = 32 38.49/12.71 c (12,9) ve[14][2] = 18 38.49/12.71 c (12,9) ve[14][3] = 27 38.49/12.71 c (12,9) ve[14][4] = 20 38.49/12.71 c (12,9) ve[14][5] = 1 38.49/12.71 c (12,9) ve[15][0] = 15 38.49/12.71 c (12,9) ve[15][1] = 33 38.49/12.71 c (12,9) ve[15][2] = 11 38.49/12.71 c (12,9) ve[15][3] = 7 38.49/12.71 c (12,9) ve[15][4] = 30 38.49/12.71 c (12,9) ve[15][5] = 25 38.49/12.71 c (12,9) ve[16][0] = 16 38.49/12.71 c (12,9) ve[16][1] = 34 38.49/12.71 c (12,9) ve[16][2] = 21 38.49/12.71 c (12,9) ve[16][3] = 2 38.49/12.71 c (12,9) ve[16][4] = 10 38.49/12.71 c (12,9) ve[16][5] = 6 38.49/12.71 c (12,9) ve[17][0] = 17 38.49/12.71 c (12,9) ve[17][1] = 35 38.49/12.71 c (12,9) ve[17][2] = 23 38.49/12.71 c (12,9) ve[17][3] = 9 38.49/12.71 c (12,9) ve[17][4] = 29 38.49/12.71 c (12,9) ve[17][5] = 3 38.49/12.71 c (12,9) ve[18][0] = 18 38.49/12.71 c (12,9) ve[18][1] = 14 38.49/12.71 c (12,9) ve[18][2] = 31 38.49/12.71 c (12,9) ve[18][3] = 0 38.49/12.71 c (12,9) ve[18][4] = 24 38.49/12.71 c (12,9) ve[18][5] = 5 38.49/12.71 c (12,9) ve[19][0] = 19 38.49/12.71 c (12,9) ve[19][1] = 25 38.49/12.71 c (12,9) ve[19][2] = 32 38.49/12.71 c (12,9) ve[19][3] = 30 38.49/12.71 c (12,9) ve[19][4] = 2 38.49/12.71 c (12,9) ve[19][5] = 11 38.49/12.71 c (12,9) ve[20][0] = 20 38.49/12.71 c (12,9) ve[20][1] = 27 38.49/12.71 c (12,9) ve[20][2] = 33 38.49/12.71 c (12,9) ve[20][3] = 1 38.49/12.71 c (12,9) ve[20][4] = 16 38.49/12.71 c (12,9) ve[20][5] = 10 38.49/12.71 c (12,9) ve[21][0] = 21 38.49/12.71 c (12,9) ve[21][1] = 12 38.49/12.71 c (12,9) ve[21][2] = 34 38.49/12.71 c (12,9) ve[21][3] = 15 38.49/12.71 c (12,9) ve[21][4] = 7 38.49/12.71 c (12,9) ve[21][5] = 28 38.49/12.71 c (12,9) ve[22][0] = 22 38.49/12.71 c (12,9) ve[22][1] = 3 38.49/12.71 c (12,9) ve[22][2] = 35 38.49/12.71 c (12,9) ve[22][3] = 29 38.49/12.71 c (12,9) ve[22][4] = 6 38.49/12.71 c (12,9) ve[22][5] = 13 38.49/12.71 c (12,9) ve[23][0] = 23 38.49/12.71 c (12,9) ve[23][1] = 9 38.49/12.71 c (12,9) ve[23][2] = 17 38.49/12.71 c (12,9) ve[23][3] = 26 38.49/12.71 c (12,9) ve[23][4] = 4 38.49/12.71 c (12,9) ve[23][5] = 8 38.49/12.71 c (12,9) ve[24][0] = 24 38.49/12.71 c (12,9) ve[24][1] = 1 38.49/12.71 c (12,9) ve[24][2] = 8 38.49/12.71 c (12,9) ve[24][3] = 13 38.49/12.71 c (12,9) ve[24][4] = 15 38.49/12.71 c (12,9) ve[24][5] = 31 38.49/12.71 c (12,9) ve[25][0] = 25 38.49/12.71 c (12,9) ve[25][1] = 16 38.49/12.71 c (12,9) ve[25][2] = 30 38.49/12.71 c (12,9) ve[25][3] = 4 38.49/12.71 c (12,9) ve[25][4] = 12 38.49/12.71 c (12,9) ve[25][5] = 32 38.49/12.71 c (12,9) ve[26][0] = 26 38.49/12.71 c (12,9) ve[26][1] = 18 38.49/12.71 c (12,9) ve[26][2] = 9 38.49/12.71 c (12,9) ve[26][3] = 23 38.49/12.71 c (12,9) ve[26][4] = 0 38.49/12.71 c (12,9) ve[26][5] = 33 38.49/12.71 c (12,9) ve[27][0] = 27 38.49/12.71 c (12,9) ve[27][1] = 19 38.49/12.71 c (12,9) ve[27][2] = 22 38.49/12.71 c (12,9) ve[27][3] = 5 38.49/12.71 c (12,9) ve[27][4] = 14 38.49/12.71 c (12,9) ve[27][5] = 34 38.49/12.71 c (12,9) ve[28][0] = 28 38.49/12.71 c (12,9) ve[28][1] = 6 38.49/12.71 c (12,9) ve[28][2] = 2 38.49/12.71 c (12,9) ve[28][3] = 20 38.49/12.71 c (12,9) ve[28][4] = 11 38.49/12.71 c (12,9) ve[28][5] = 35 38.49/12.71 c (12,9) ve[29][0] = 29 38.49/12.71 c (12,9) ve[29][1] = 7 38.49/12.71 c (12,9) ve[29][2] = 10 38.49/12.71 c (12,9) ve[29][3] = 3 38.49/12.71 c (12,9) ve[29][4] = 21 38.49/12.71 c (12,9) ve[29][5] = 17 38.49/12.71 c (12,9) ve[30][0] = 30 38.49/12.71 c (12,9) ve[30][1] = 8 38.49/12.71 c (12,9) ve[30][2] = 4 38.49/12.71 c (12,9) ve[30][3] = 25 38.49/12.71 c (12,9) ve[30][4] = 13 38.49/12.71 c (12,9) ve[30][5] = 15 38.49/12.71 c (12,9) ve[31][0] = 31 38.49/12.71 c (12,9) ve[31][1] = 20 38.49/12.71 c (12,9) ve[31][2] = 12 38.49/12.71 c (12,9) ve[31][3] = 16 38.49/12.71 c (12,9) ve[31][4] = 3 38.49/12.71 c (12,9) ve[31][5] = 7 38.49/12.71 c (12,9) ve[32][0] = 32 38.49/12.71 c (12,9) ve[32][1] = 11 38.49/12.71 c (12,9) ve[32][2] = 28 38.49/12.71 c (12,9) ve[32][3] = 6 38.49/12.71 c (12,9) ve[32][4] = 1 38.49/12.71 c (12,9) ve[32][5] = 24 38.49/12.71 c (12,9) ve[33][0] = 33 38.49/12.71 c (12,9) ve[33][1] = 5 38.49/12.71 c (12,9) ve[33][2] = 29 38.49/12.71 c (12,9) ve[33][3] = 21 38.49/12.71 c (12,9) ve[33][4] = 17 38.49/12.71 c (12,9) ve[33][5] = 14 38.49/12.71 c (12,9) ve[34][0] = 34 38.49/12.71 c (12,9) ve[34][1] = 10 38.49/12.71 c (12,9) ve[34][2] = 27 38.49/12.71 c (12,9) ve[34][3] = 19 38.49/12.71 c (12,9) ve[34][4] = 23 38.49/12.71 c (12,9) ve[34][5] = 0 38.49/12.71 c (12,9) ve[35][0] = 35 38.49/12.71 c (12,9) ve[35][1] = 2 38.49/12.71 c (12,9) ve[35][2] = 26 38.49/12.71 c (12,9) ve[35][3] = 22 38.49/12.71 c (12,9) ve[35][4] = 9 38.49/12.71 c (12,9) ve[35][5] = 18 38.49/12.71 c (12,9) vr[0][0] = 0 38.49/12.71 c (12,9) vr[0][1] = 6 38.49/12.71 c (12,9) vr[0][2] = 12 38.49/12.71 c (12,9) vr[0][3] = 18 38.49/12.71 c (12,9) vr[0][4] = 26 38.49/12.71 c (12,9) vr[0][5] = 34 38.49/12.71 c (12,9) vr[1][0] = 1 38.49/12.71 c (12,9) vr[1][1] = 24 38.49/12.71 c (12,9) vr[1][2] = 7 38.49/12.71 c (12,9) vr[1][3] = 20 38.49/12.71 c (12,9) vr[1][4] = 32 38.49/12.71 c (12,9) vr[1][5] = 14 38.49/12.71 c (12,9) vr[2][0] = 2 38.49/12.71 c (12,9) vr[2][1] = 35 38.49/12.71 c (12,9) vr[2][2] = 28 38.49/12.71 c (12,9) vr[2][3] = 16 38.49/12.71 c (12,9) vr[2][4] = 19 38.49/12.71 c (12,9) vr[2][5] = 10 38.49/12.71 c (12,9) vr[3][0] = 3 38.49/12.71 c (12,9) vr[3][1] = 22 38.49/12.71 c (12,9) vr[3][2] = 8 38.49/12.71 c (12,9) vr[3][3] = 29 38.49/12.71 c (12,9) vr[3][4] = 31 38.49/12.71 c (12,9) vr[3][5] = 17 38.49/12.71 c (12,9) vr[4][0] = 4 38.49/12.71 c (12,9) vr[4][1] = 13 38.49/12.71 c (12,9) vr[4][2] = 30 38.49/12.71 c (12,9) vr[4][3] = 25 38.49/12.71 c (12,9) vr[4][4] = 23 38.49/12.71 c (12,9) vr[4][5] = 9 38.49/12.71 c (12,9) vr[5][0] = 5 38.49/12.71 c (12,9) vr[5][1] = 33 38.49/12.71 c (12,9) vr[5][2] = 11 38.49/12.71 c (12,9) vr[5][3] = 27 38.49/12.71 c (12,9) vr[5][4] = 12 38.49/12.71 c (12,9) vr[5][5] = 18 38.49/12.71 c (12,9) vr[6][0] = 6 38.49/12.71 c (12,9) vr[6][1] = 28 38.49/12.71 c (12,9) vr[6][2] = 1 38.49/12.71 c (12,9) vr[6][3] = 32 38.49/12.71 c (12,9) vr[6][4] = 22 38.49/12.71 c (12,9) vr[6][5] = 16 38.49/12.71 c (12,9) vr[7][0] = 7 38.49/12.71 c (12,9) vr[7][1] = 29 38.49/12.71 c (12,9) vr[7][2] = 3 38.49/12.71 c (12,9) vr[7][3] = 15 38.49/12.71 c (12,9) vr[7][4] = 21 38.49/12.71 c (12,9) vr[7][5] = 31 38.49/12.71 c (12,9) vr[8][0] = 8 38.49/12.71 c (12,9) vr[8][1] = 30 38.49/12.71 c (12,9) vr[8][2] = 24 38.49/12.71 c (12,9) vr[8][3] = 13 38.49/12.71 c (12,9) vr[8][4] = 4 38.49/12.71 c (12,9) vr[8][5] = 23 38.49/12.71 c (12,9) vr[9][0] = 9 38.49/12.71 c (12,9) vr[9][1] = 23 38.49/12.71 c (12,9) vr[9][2] = 26 38.49/12.71 c (12,9) vr[9][3] = 17 38.49/12.71 c (12,9) vr[9][4] = 35 38.49/12.71 c (12,9) vr[9][5] = 3 38.49/12.71 c (12,9) vr[10][0] = 10 38.49/12.71 c (12,9) vr[10][1] = 34 38.49/12.71 c (12,9) vr[10][2] = 29 38.49/12.71 c (12,9) vr[10][3] = 0 38.49/12.71 c (12,9) vr[10][4] = 16 38.49/12.71 c (12,9) vr[10][5] = 20 38.49/12.71 c (12,9) vr[11][0] = 11 38.49/12.71 c (12,9) vr[11][1] = 32 38.49/12.71 c (12,9) vr[11][2] = 15 38.49/12.71 c (12,9) vr[11][3] = 2 38.49/12.71 c (12,9) vr[11][4] = 28 38.49/12.71 c (12,9) vr[11][5] = 19 38.49/12.71 c (12,9) vr[12][0] = 12 38.49/12.71 c (12,9) vr[12][1] = 21 38.49/12.71 c (12,9) vr[12][2] = 31 38.49/12.71 c (12,9) vr[12][3] = 5 38.49/12.71 c (12,9) vr[12][4] = 25 38.49/12.71 c (12,9) vr[12][5] = 7 38.49/12.71 c (12,9) vr[13][0] = 13 38.49/12.71 c (12,9) vr[13][1] = 1 38.49/12.71 c (12,9) vr[13][2] = 6 38.49/12.71 c (12,9) vr[13][3] = 24 38.49/12.71 c (12,9) vr[13][4] = 30 38.49/12.71 c (12,9) vr[13][5] = 22 38.49/12.71 c (12,9) vr[14][0] = 14 38.49/12.71 c (12,9) vr[14][1] = 18 38.49/12.71 c (12,9) vr[14][2] = 4 38.49/12.71 c (12,9) vr[14][3] = 8 38.49/12.71 c (12,9) vr[14][4] = 27 38.49/12.71 c (12,9) vr[14][5] = 33 38.49/12.71 c (12,9) vr[15][0] = 15 38.49/12.71 c (12,9) vr[15][1] = 0 38.49/12.71 c (12,9) vr[15][2] = 9 38.49/12.71 c (12,9) vr[15][3] = 21 38.49/12.71 c (12,9) vr[15][4] = 24 38.49/12.71 c (12,9) vr[15][5] = 30 38.49/12.71 c (12,9) vr[16][0] = 16 38.49/12.71 c (12,9) vr[16][1] = 25 38.49/12.71 c (12,9) vr[16][2] = 5 38.49/12.71 c (12,9) vr[16][3] = 31 38.49/12.71 c (12,9) vr[16][4] = 20 38.49/12.71 c (12,9) vr[16][5] = 8 38.49/12.71 c (12,9) vr[17][0] = 17 38.49/12.71 c (12,9) vr[17][1] = 10 38.49/12.71 c (12,9) vr[17][2] = 23 38.49/12.71 c (12,9) vr[17][3] = 3 38.49/12.71 c (12,9) vr[17][4] = 33 38.49/12.71 c (12,9) vr[17][5] = 29 38.49/12.71 c (12,9) vr[18][0] = 18 38.49/12.71 c (12,9) vr[18][1] = 26 38.49/12.71 c (12,9) vr[18][2] = 14 38.49/12.71 c (12,9) vr[18][3] = 4 38.49/12.71 c (12,9) vr[18][4] = 7 38.49/12.71 c (12,9) vr[18][5] = 35 38.49/12.71 c (12,9) vr[19][0] = 19 38.49/12.71 c (12,9) vr[19][1] = 27 38.49/12.71 c (12,9) vr[19][2] = 13 38.49/12.71 c (12,9) vr[19][3] = 34 38.49/12.71 c (12,9) vr[19][4] = 11 38.49/12.71 c (12,9) vr[19][5] = 2 38.49/12.71 c (12,9) vr[20][0] = 20 38.49/12.71 c (12,9) vr[20][1] = 31 38.49/12.71 c (12,9) vr[20][2] = 10 38.49/12.71 c (12,9) vr[20][3] = 28 38.49/12.71 c (12,9) vr[20][4] = 14 38.49/12.71 c (12,9) vr[20][5] = 1 38.49/12.71 c (12,9) vr[21][0] = 21 38.49/12.71 c (12,9) vr[21][1] = 5 38.49/12.71 c (12,9) vr[21][2] = 16 38.49/12.71 c (12,9) vr[21][3] = 33 38.49/12.71 c (12,9) vr[21][4] = 29 38.49/12.71 c (12,9) vr[21][5] = 6 38.49/12.71 c (12,9) vr[22][0] = 22 38.49/12.71 c (12,9) vr[22][1] = 4 38.49/12.71 c (12,9) vr[22][2] = 27 38.49/12.71 c (12,9) vr[22][3] = 35 38.49/12.71 c (12,9) vr[22][4] = 8 38.49/12.71 c (12,9) vr[22][5] = 13 38.49/12.71 c (12,9) vr[23][0] = 23 38.49/12.71 c (12,9) vr[23][1] = 3 38.49/12.71 c (12,9) vr[23][2] = 17 38.49/12.71 c (12,9) vr[23][3] = 26 38.49/12.71 c (12,9) vr[23][4] = 34 38.49/12.71 c (12,9) vr[23][5] = 11 38.49/12.71 c (12,9) vr[24][0] = 24 38.49/12.71 c (12,9) vr[24][1] = 7 38.49/12.71 c (12,9) vr[24][2] = 0 38.49/12.71 c (12,9) vr[24][3] = 12 38.49/12.71 c (12,9) vr[24][4] = 18 38.49/12.71 c (12,9) vr[24][5] = 32 38.49/12.71 c (12,9) vr[25][0] = 25 38.49/12.71 c (12,9) vr[25][1] = 19 38.49/12.71 c (12,9) vr[25][2] = 2 38.49/12.71 c (12,9) vr[25][3] = 30 38.49/12.71 c (12,9) vr[25][4] = 9 38.49/12.71 c (12,9) vr[25][5] = 15 38.49/12.71 c (12,9) vr[26][0] = 26 38.49/12.71 c (12,9) vr[26][1] = 2 38.49/12.71 c (12,9) vr[26][2] = 35 38.49/12.71 c (12,9) vr[26][3] = 23 38.49/12.71 c (12,9) vr[26][4] = 10 38.49/12.71 c (12,9) vr[26][5] = 12 38.49/12.71 c (12,9) vr[27][0] = 27 38.49/12.71 c (12,9) vr[27][1] = 20 38.49/12.71 c (12,9) vr[27][2] = 34 38.49/12.71 c (12,9) vr[27][3] = 14 38.49/12.71 c (12,9) vr[27][4] = 6 38.49/12.71 c (12,9) vr[27][5] = 4 38.49/12.71 c (12,9) vr[28][0] = 28 38.49/12.71 c (12,9) vr[28][1] = 11 38.49/12.71 c (12,9) vr[28][2] = 32 38.49/12.71 c (12,9) vr[28][3] = 1 38.49/12.71 c (12,9) vr[28][4] = 13 38.49/12.71 c (12,9) vr[28][5] = 21 38.49/12.71 c (12,9) vr[29][0] = 29 38.49/12.71 c (12,9) vr[29][1] = 8 38.49/12.71 c (12,9) vr[29][2] = 33 38.49/12.71 c (12,9) vr[29][3] = 22 38.49/12.71 c (12,9) vr[29][4] = 17 38.49/12.71 c (12,9) vr[29][5] = 5 38.49/12.71 c (12,9) vr[30][0] = 30 38.49/12.71 c (12,9) vr[30][1] = 9 38.49/12.71 c (12,9) vr[30][2] = 25 38.49/12.71 c (12,9) vr[30][3] = 19 38.49/12.71 c (12,9) vr[30][4] = 15 38.49/12.71 c (12,9) vr[30][5] = 0 38.49/12.71 c (12,9) vr[31][0] = 31 38.49/12.71 c (12,9) vr[31][1] = 12 38.49/12.71 c (12,9) vr[31][2] = 18 38.49/12.71 c (12,9) vr[31][3] = 6 38.49/12.71 c (12,9) vr[31][4] = 0 38.49/12.71 c (12,9) vr[31][5] = 24 38.49/12.71 c (12,9) vr[32][0] = 32 38.49/12.71 c (12,9) vr[32][1] = 14 38.49/12.71 c (12,9) vr[32][2] = 19 38.49/12.71 c (12,9) vr[32][3] = 7 38.49/12.71 c (12,9) vr[32][4] = 1 38.49/12.71 c (12,9) vr[32][5] = 25 38.49/12.71 c (12,9) vr[33][0] = 33 38.49/12.71 c (12,9) vr[33][1] = 15 38.49/12.71 c (12,9) vr[33][2] = 20 38.49/12.71 c (12,9) vr[33][3] = 9 38.49/12.71 c (12,9) vr[33][4] = 2 38.49/12.71 c (12,9) vr[33][5] = 26 38.49/12.71 c (12,9) vr[34][0] = 34 38.49/12.71 c (12,9) vr[34][1] = 16 38.49/12.71 c (12,9) vr[34][2] = 21 38.49/12.71 c (12,9) vr[34][3] = 10 38.49/12.71 c (12,9) vr[34][4] = 3 38.49/12.71 c (12,9) vr[34][5] = 27 38.49/12.71 c (12,9) vr[35][0] = 35 38.49/12.71 c (12,9) vr[35][1] = 17 38.49/12.71 c (12,9) vr[35][2] = 22 38.49/12.71 c (12,9) vr[35][3] = 11 38.49/12.71 c (12,9) vr[35][4] = 5 38.49/12.71 c (12,9) vr[35][5] = 28 38.49/12.71 s SATISFIABLE 38.49/12.71 v <instantiation> 38.49/12.71 v <list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5]</list> 38.49/12.71 v <values>0 6 12 18 26 34 1 24 7 20 32 14 2 35 28 16 19 10 3 22 8 29 31 17 4 13 30 25 23 9 5 33 11 27 12 18 6 28 1 32 22 16 7 29 3 15 21 31 8 30 24 13 4 23 9 23 26 17 35 3 10 34 29 0 16 20 11 32 15 2 28 19 12 21 31 5 25 7 13 1 6 24 30 22 14 18 4 8 27 33 15 0 9 21 24 30 16 25 5 31 20 8 17 10 23 3 33 29 18 26 14 4 7 35 19 27 13 34 11 2 20 31 10 28 14 1 21 5 16 33 29 6 22 4 27 35 8 13 23 3 17 26 34 11 24 7 0 12 18 32 25 19 2 30 9 15 26 2 35 23 10 12 27 20 34 14 6 4 28 11 32 1 13 21 29 8 33 22 17 5 30 9 25 19 15 0 31 12 18 6 0 24 32 14 19 7 1 25 33 15 20 9 2 26 34 16 21 10 3 27 35 17 22 11 5 28 0 15 24 10 31 30 1 13 6 28 32 20 2 26 25 11 33 19 3 23 7 17 34 9 4 22 14 18 8 27 5 21 16 12 35 29 6 0 13 31 27 21 7 24 1 32 18 12 8 29 3 14 22 16 9 30 15 33 25 4 10 17 20 34 26 2 11 28 5 35 19 23 12 31 0 24 5 26 13 4 19 8 28 22 14 32 18 27 20 1 15 33 11 7 30 25 16 34 21 2 10 6 17 35 23 9 29 3 18 14 31 0 24 5 19 25 32 30 2 11 20 27 33 1 16 10 21 12 34 15 7 28 22 3 35 29 6 13 23 9 17 26 4 8 24 1 8 13 15 31 25 16 30 4 12 32 26 18 9 23 0 33 27 19 22 5 14 34 28 6 2 20 11 35 29 7 10 3 21 17 30 8 4 25 13 15 31 20 12 16 3 7 32 11 28 6 1 24 33 5 29 21 17 14 34 10 27 19 23 0 35 2 26 22 9 18 0 1 2 3 4 5 0 4 1 3 5 2 0 5 4 2 3 1 0 3 1 4 5 2 0 2 5 4 3 1 0 5 1 4 2 3 1 4 0 5 3 2 1 4 0 2 3 5 1 5 4 2 0 3 1 3 4 2 5 0 1 5 4 0 2 3 1 5 2 0 4 3 2 3 5 0 4 1 2 0 1 4 5 3 2 3 0 1 4 5 2 0 1 3 4 5 2 4 0 5 3 1 2 1 3 0 5 4 3 4 2 0 1 5 3 4 2 5 1 0 3 5 1 4 2 0 3 0 2 5 4 1 3 0 4 5 1 2 3 0 2 4 5 1 4 1 0 2 3 5 4 3 0 5 1 2 4 0 5 3 1 2 4 3 5 2 1 0 4 1 5 0 2 3 4 1 5 3 2 0 5 1 4 3 2 0 5 2 3 1 0 4 5 2 3 1 0 4 5 2 3 1 0 4 5 2 3 1 0 4 5 2 3 1 0 4 0 3 4 2 6 5 0 2 1 5 6 4 0 5 4 2 6 3 0 4 1 3 6 2 0 4 2 3 1 5 1 4 3 2 6 5 1 0 2 6 5 4 1 4 0 6 3 2 1 5 0 2 4 3 2 5 3 6 4 0 2 3 4 6 5 0 2 5 1 6 3 4 2 6 0 4 1 5 2 0 3 1 5 4 2 6 3 5 4 0 3 6 2 1 5 4 3 6 4 0 2 1 3 6 4 2 5 0 3 2 6 0 4 1 3 4 6 5 0 2 4 5 6 0 3 2 4 2 6 3 1 5 4 0 6 5 1 2 4 2 3 5 0 1 4 0 1 2 3 6 4 3 5 0 2 6 5 3 2 4 0 6 5 3 4 1 2 6 5 1 0 4 2 6 5 1 2 0 4 3 5 1 0 4 2 3 6 4 2 3 0 1 6 2 5 1 0 4 6 1 5 4 3 2 6 2 5 3 4 0 6 0 5 4 2 3</values> 38.49/12.71 v </instantiation> 38.49/12.71 c (12,9) Show results End 38.49/12.71 c (12,9) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 38.49/12.71 c (12,9) 0,0,6,6,7,7,9,12,12,STOP-AFTER(ALL) 38.49/12.71 c END-Prog: Fri Jul 27 04:14:48 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 (6665 MiB free)
memory of node 1: 16384 MiB (10452 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297100-1532657676/watcher-4297100-1532657676 -o /tmp/evaluation-result-4297100-1532657676/solver-4297100-1532657676 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532654260-10682 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297100-1532657676.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11541, runsolver pid=11538
[startup+0.100116 s]*
/proc/loadavg: 6.03 7.46 7.96 2/199 11561
/proc/meminfo: memFree=17435828/32770624 swapFree=67108796/67108860
[pid=11541] ppid=11538 vsize=27312552 memory=106724 CPUtime=0.1 cores=0-7
/proc/11541/stat : 11541 (java) S 11538 11541 10655 0 -1 1077944320 6254 0 0 0 8 2 0 0 20 0 20 0 83330742 27968053248 26681 33554432000 4194304 4196468 140728206575776 140728206558320 139673924566775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
/proc/11541/statm: 6828138 26681 2748 1 0 6790598 0
[pid=11541/tid=11543] ppid=11538 vsize=27312552 memory=8040502517855853211 CPUtime=0.08 cores=0-7
/proc/11541/task/11543/stat : 11543 (java) R 11538 11541 10655 0 -1 4202560 4326 0 0 0 7 1 0 0 20 0 20 0 83330743 27968053248 26681 33554432000 4194304 4196468 140728206575776 139673896377896 139673904842524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11544] ppid=11538 vsize=27312552 memory=732370209810226149 CPUtime=0 cores=0-7
/proc/11541/task/11544/stat : 11544 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26681 33554432000 4194304 4196468 140728206575776 139673928808976 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11545] ppid=11538 vsize=27312552 memory=140071472772736 CPUtime=0 cores=0-7
/proc/11541/task/11545/stat : 11545 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26681 33554432000 4194304 4196468 140728206575776 139673746897552 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11546] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11546/stat : 11546 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26681 33554432000 4194304 4196468 140728206575776 139673346144528 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11547] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11547/stat : 11547 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26681 33554432000 4194304 4196468 140728206575776 139673345091984 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11548] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11548/stat : 11548 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673344039952 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11549] ppid=11538 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11541/task/11549/stat : 11549 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673342987408 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11550] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11550/stat : 11550 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673341934352 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11551] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11551/stat : 11551 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673340881808 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11552] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11552/stat : 11552 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673184663792 139673924577922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11553] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11553/stat : 11553 (java) S 11538 11541 10655 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 26747 33554432000 4194304 4196468 140728206575776 139671665370272 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11554] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11554/stat : 11554 (java) S 11538 11541 10655 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 26747 33554432000 4194304 4196468 140728206575776 139671531148016 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11555] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11555/stat : 11555 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 26747 33554432000 4194304 4196468 140728206575776 139671156643792 139673924585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11556] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11556/stat : 11556 (java) S 11538 11541 10655 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673183611632 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11557] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11557/stat : 11557 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673182559088 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11558] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11558/stat : 11558 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 26747 33554432000 4194304 4196468 140728206575776 139673181506032 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11559] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11559/stat : 11559 (java) S 11538 11541 10655 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 26813 33554432000 4194304 4196468 140728206575776 139673180453488 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11560] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11560/stat : 11560 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 26813 33554432000 4194304 4196468 140728206575776 139670658738656 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11561] ppid=11538 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11541/task/11561/stat : 11561 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 26813 33554432000 4194304 4196468 140728206575776 139673179400880 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 106724 KiB
[startup+0.210427 s]*
/proc/loadavg: 6.03 7.46 7.96 3/199 11561
/proc/meminfo: memFree=17419704/32770624 swapFree=67108796/67108860
[pid=11541] ppid=11538 vsize=27312552 memory=121088 CPUtime=0.25 cores=0-7
/proc/11541/stat : 11541 (java) S 11538 11541 10655 0 -1 1077944320 10079 0 0 0 21 4 0 0 20 0 20 0 83330742 27968053248 30272 33554432000 4194304 4196468 140728206575776 140728206558320 139673924566775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
/proc/11541/statm: 6828138 30272 2854 1 0 6790598 0
[pid=11541/tid=11543] ppid=11538 vsize=27312552 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/11541/task/11543/stat : 11543 (java) R 11538 11541 10655 0 -1 4202560 7940 0 0 0 17 2 0 0 20 0 20 0 83330743 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673896356480 139673924578710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11544] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11544/stat : 11544 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673928808976 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11545] ppid=11538 vsize=27312552 memory=288370447624484480 CPUtime=0 cores=0-7
/proc/11541/task/11545/stat : 11545 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673746897552 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11546] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11546/stat : 11546 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673346144528 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11547] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11547/stat : 11547 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673345091984 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11548] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11548/stat : 11548 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673344039952 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11549] ppid=11538 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11541/task/11549/stat : 11549 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673342987408 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11550] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11550/stat : 11550 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673341934352 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11551] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11551/stat : 11551 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673340881808 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11552] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11552/stat : 11552 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673184663792 139673924577922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11553] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11553/stat : 11553 (java) S 11538 11541 10655 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 30272 33554432000 4194304 4196468 140728206575776 139671665370272 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11554] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11554/stat : 11554 (java) S 11538 11541 10655 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 30272 33554432000 4194304 4196468 140728206575776 139671531148016 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11555] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11555/stat : 11555 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 30272 33554432000 4194304 4196468 140728206575776 139671156643792 139673924585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11556] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11556/stat : 11556 (java) R 11538 11541 10655 0 -1 4202560 365 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673183611632 139673924578710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11557] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11557/stat : 11557 (java) S 11538 11541 10655 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673182559088 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11558] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11558/stat : 11558 (java) R 11538 11541 10655 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673181506032 139673924578710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11559] ppid=11538 vsize=27312552 memory=0 CPUtime=0.02 cores=0-7
/proc/11541/task/11559/stat : 11559 (java) S 11538 11541 10655 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 20 0 83330750 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673180453488 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11560] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11560/stat : 11560 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 30272 33554432000 4194304 4196468 140728206575776 139670658738656 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11561] ppid=11538 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11541/task/11561/stat : 11561 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 30272 33554432000 4194304 4196468 140728206575776 139673179400880 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 121088 KiB
[startup+0.31027 s]*
/proc/loadavg: 6.03 7.46 7.96 2/199 11561
/proc/meminfo: memFree=17415960/32770624 swapFree=67108796/67108860
[pid=11541] ppid=11538 vsize=27312552 memory=125288 CPUtime=0.42 cores=0-7
/proc/11541/stat : 11541 (java) S 11538 11541 10655 0 -1 1077944320 10727 0 0 0 38 4 0 0 20 0 20 0 83330742 27968053248 31322 33554432000 4194304 4196468 140728206575776 140728206558320 139673924566775 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
/proc/11541/statm: 6828138 31322 3008 1 0 6790598 0
[pid=11541/tid=11543] ppid=11538 vsize=27312552 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/11541/task/11543/stat : 11543 (java) R 11538 11541 10655 0 -1 4202560 8381 0 0 0 27 3 0 0 20 0 20 0 83330743 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673896370704 139673908647262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11544] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11544/stat : 11544 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673928808976 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11545] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11545/stat : 11545 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673746897552 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11546] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11546/stat : 11546 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673346144528 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11547] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11547/stat : 11547 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673345091984 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11548] ppid=11538 vsize=27312552 memory=2244 CPUtime=0 cores=0-7
/proc/11541/task/11548/stat : 11548 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673344039952 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11549] ppid=11538 vsize=27312552 memory=140071365866415 CPUtime=0 cores=0-7
/proc/11541/task/11549/stat : 11549 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673342987408 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11550] ppid=11538 vsize=27312552 memory=140071365868720 CPUtime=0 cores=0-7
/proc/11541/task/11550/stat : 11550 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673341934352 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11551] ppid=11538 vsize=27312552 memory=140071365871024 CPUtime=0 cores=0-7
/proc/11541/task/11551/stat : 11551 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673340881808 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11552] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11552/stat : 11552 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673184663792 139673924577922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11553] ppid=11538 vsize=27312552 memory=280142731749008 CPUtime=0 cores=0-7
/proc/11541/task/11553/stat : 11553 (java) S 11538 11541 10655 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 31322 33554432000 4194304 4196468 140728206575776 139671665370272 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11554] ppid=11538 vsize=27312552 memory=280142731755920 CPUtime=0 cores=0-7
/proc/11541/task/11554/stat : 11554 (java) S 11538 11541 10655 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83330747 27968053248 31322 33554432000 4194304 4196468 140728206575776 139671531148016 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11555] ppid=11538 vsize=27312552 memory=280142731697200 CPUtime=0 cores=0-7
/proc/11541/task/11555/stat : 11555 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 31322 33554432000 4194304 4196468 140728206575776 139671156643792 139673924585371 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11556] ppid=11538 vsize=27312552 memory=280142731769744 CPUtime=0.01 cores=0-7
/proc/11541/task/11556/stat : 11556 (java) S 11538 11541 10655 0 -1 1077944384 421 0 0 0 1 0 0 0 20 0 20 0 83330750 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673183611632 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11557] ppid=11538 vsize=27312552 memory=280142731776656 CPUtime=0.01 cores=0-7
/proc/11541/task/11557/stat : 11557 (java) S 11538 11541 10655 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 83330750 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673182559088 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11558] ppid=11538 vsize=27312552 memory=280142731774352 CPUtime=0 cores=0-7
/proc/11541/task/11558/stat : 11558 (java) S 11538 11541 10655 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673181506032 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11559] ppid=11538 vsize=27312552 memory=280142731790912 CPUtime=0.07 cores=0-7
/proc/11541/task/11559/stat : 11559 (java) S 11538 11541 10655 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 20 0 83330750 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673180453488 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11560] ppid=11538 vsize=27312552 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11560/stat : 11560 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 31322 33554432000 4194304 4196468 140728206575776 139670658738656 139673924576981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11561] ppid=11538 vsize=27312552 memory=-1 CPUtime=0 cores=0-7
/proc/11541/task/11561/stat : 11561 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27968053248 31322 33554432000 4194304 4196468 140728206575776 139673179400880 139673924577922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27312552 KiB
Current children cumulated memory: 125288 KiB
[startup+0.700945 s]
/proc/loadavg: 6.03 7.46 7.96 2/199 11561
/proc/meminfo: memFree=17391776/32770624 swapFree=67108796/67108860
[pid=11541] ppid=11538 vsize=27320872 memory=165240 CPUtime=1.04 cores=0-7
/proc/11541/stat : 11541 (java) S 11538 11541 10655 0 -1 1077944320 17857 0 0 0 98 6 0 0 20 0 20 0 83330742 27976572928 41310 33554432000 4194304 4196468 140728206575776 140728206558320 139673924566775 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
/proc/11541/statm: 6830218 41310 3138 1 0 6791622 0
[pid=11541/tid=11543] ppid=11538 vsize=27320872 memory=7230638415873469015 CPUtime=0.67 cores=0-7
/proc/11541/task/11543/stat : 11543 (java) R 11538 11541 10655 0 -1 4202560 14965 0 0 0 63 4 0 0 20 0 20 0 83330743 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673896403968 139673924578710 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11544] ppid=11538 vsize=27320872 memory=49649821964880 CPUtime=0 cores=0-7
/proc/11541/task/11544/stat : 11544 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673928808976 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11545] ppid=11538 vsize=27320872 memory=140071365880142 CPUtime=0 cores=0-7
/proc/11541/task/11545/stat : 11545 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673746897552 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11546] ppid=11538 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11546/stat : 11546 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673346144528 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11547] ppid=11538 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11547/stat : 11547 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673345091984 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11548] ppid=11538 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11548/stat : 11548 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673344039952 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11549] ppid=11538 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11549/stat : 11549 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673342987408 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11550] ppid=11538 vsize=27320872 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11550/stat : 11550 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673341934352 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11551] ppid=11538 vsize=27320872 memory=1628 CPUtime=0 cores=0-7
/proc/11541/task/11551/stat : 11551 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673340881808 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11552] ppid=11538 vsize=27320872 memory=8876 CPUtime=0 cores=0-7
/proc/11541/task/11552/stat : 11552 (java) S 11538 11541 10655 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 83330747 27976572928 41310 33554432000 4194304 4196468 140728206575776 139673184663792 139673924577922 0 0 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
################
# More data... #
################
[startup+6.30094 s]
/proc/loadavg: 5.79 7.39 7.93 2/199 11561
/proc/meminfo: memFree=15939688/32770624 swapFree=67108796/67108860
[pid=11541] ppid=11538 vsize=27325044 memory=1713032 CPUtime=20.01 cores=0-7
/proc/11541/stat : 11541 (java) S 11538 11541 10655 0 -1 1077944320 39974 0 0 0 1965 36 0 0 20 0 20 0 83330742 27980845056 428258 33554432000 4194304 4196468 140728206575776 140728206558320 139673924566775 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
/proc/11541/statm: 6831261 428258 3215 1 0 6792646 0
[pid=11541/tid=11543] ppid=11538 vsize=27325044 memory=280142732019072 CPUtime=6.19 cores=0-7
/proc/11541/task/11543/stat : 11543 (java) R 11538 11541 10655 0 -1 4202560 18058 0 0 0 593 26 0 0 20 0 20 0 83330743 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673896397472 139673444069724 0 4 0 25189583 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11544] ppid=11538 vsize=27325044 memory=-7745171288851715203 CPUtime=0 cores=0-7
/proc/11541/task/11544/stat : 11544 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673928808976 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11545] ppid=11538 vsize=27325044 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11541/task/11545/stat : 11545 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673746897552 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11546] ppid=11538 vsize=27325044 memory=8546823402028195750 CPUtime=0 cores=0-7
/proc/11541/task/11546/stat : 11546 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673346144528 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11547] ppid=11538 vsize=27325044 memory=-7361174377247368086 CPUtime=0 cores=0-7
/proc/11541/task/11547/stat : 11547 (java) S 11538 11541 10655 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673345091984 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11548] ppid=11538 vsize=27325044 memory=1266356 CPUtime=0 cores=0-7
/proc/11541/task/11548/stat : 11548 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673344039952 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11549] ppid=11538 vsize=27325044 memory=1090220 CPUtime=0 cores=0-7
/proc/11541/task/11549/stat : 11549 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673342987408 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11550] ppid=11538 vsize=27325044 memory=7812460468544950379 CPUtime=0 cores=0-7
/proc/11541/task/11550/stat : 11550 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673341934352 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11551] ppid=11538 vsize=27325044 memory=6935649255777194064 CPUtime=0 cores=0-7
/proc/11541/task/11551/stat : 11551 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330745 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673340881808 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11552] ppid=11538 vsize=27325044 memory=56 CPUtime=0 cores=0-7
/proc/11541/task/11552/stat : 11552 (java) S 11538 11541 10655 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 83330747 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673184663792 139673924577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11553] ppid=11538 vsize=27325044 memory=4137280412607091059 CPUtime=0 cores=0-7
/proc/11541/task/11553/stat : 11553 (java) S 11538 11541 10655 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 83330747 27980845056 428770 33554432000 4194304 4196468 140728206575776 139671665370272 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11554] ppid=11538 vsize=27325044 memory=1528712 CPUtime=0 cores=0-7
/proc/11541/task/11554/stat : 11554 (java) S 11538 11541 10655 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 83330747 27980845056 428770 33554432000 4194304 4196468 140728206575776 139671531148016 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11555] ppid=11538 vsize=27325044 memory=8187704045996132563 CPUtime=0 cores=0-7
/proc/11541/task/11555/stat : 11555 (java) S 11538 11541 10655 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 83330750 27980845056 428770 33554432000 4194304 4196468 140728206575776 139671156643792 139673924585371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11556] ppid=11538 vsize=27325044 memory=6933690279252828305 CPUtime=4.15 cores=0-7
/proc/11541/task/11556/stat : 11556 (java) S 11538 11541 10655 0 -1 1077944384 4394 0 0 0 413 2 0 0 20 0 20 0 83330750 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673183611632 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11557] ppid=11538 vsize=27325044 memory=0 CPUtime=4.12 cores=0-7
/proc/11541/task/11557/stat : 11557 (java) S 11538 11541 10655 0 -1 1077944384 5528 0 0 0 410 2 0 0 20 0 20 0 83330750 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673182559088 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11558] ppid=11538 vsize=27325044 memory=0 CPUtime=3.98 cores=0-7
/proc/11541/task/11558/stat : 11558 (java) S 11538 11541 10655 0 -1 1077944384 4109 0 0 0 397 1 0 0 20 0 20 0 83330750 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673181506032 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11559] ppid=11538 vsize=27325044 memory=0 CPUtime=1.5 cores=0-7
/proc/11541/task/11559/stat : 11559 (java) S 11538 11541 10655 0 -1 1077944384 6515 0 0 0 149 1 0 0 20 0 20 0 83330750 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673180453488 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11560] ppid=11538 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11560/stat : 11560 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330750 27980845056 428770 33554432000 4194304 4196468 140728206575776 139670658738656 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11561] ppid=11538 vsize=27325044 memory=0 CPUtime=0 cores=0-7
/proc/11541/task/11561/stat : 11561 (java) S 11538 11541 10655 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 83330750 27980845056 428770 33554432000 4194304 4196468 140728206575776 139673179400880 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
Current children cumulated CPU time: 20.01 s
Current children cumulated vsize: 27325044 KiB
Current children cumulated memory: 1713032 KiB
[startup+12.7069 s]
/proc/loadavg: 5.48 7.30 7.90 9/212 11575
/proc/meminfo: memFree=12826472/32770624 swapFree=67108796/67108860
[pid=11541] ppid=11538 vsize=27853732 memory=4244048 CPUtime=38.49 cores=0-7
/proc/11541/stat : 11541 (java) S 11538 11541 10655 0 -1 1077944320 42637 108206 0 0 2717 87 1001 44 20 0 22 0 83330742 28522221568 1061012 33554432000 4194304 4196468 140728206575776 140728206558320 139673924566775 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
/proc/11541/statm: 6963433 1061012 3235 1 0 6924289 0
[pid=11541/tid=11543] ppid=11538 vsize=27853732 memory=-2461829820114675750 CPUtime=20.68 cores=0-7
/proc/11541/task/11543/stat : 11543 (java) R 11538 11541 10655 0 -1 4202560 20057 108206 0 0 947 76 1001 44 20 0 22 0 83330743 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673896404472 140728207570882 0 4 0 25189583 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11544] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11544/stat : 11544 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673928808976 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11545] ppid=11538 vsize=27853732 memory=838432 CPUtime=10.45 cores=0-7
/proc/11541/task/11545/stat : 11545 (java) S 11538 11541 10655 0 -1 1077944384 2 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673746897552 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11546] ppid=11538 vsize=27853732 memory=33 CPUtime=10.45 cores=0-7
/proc/11541/task/11546/stat : 11546 (java) S 11538 11541 10655 0 -1 1077944384 2 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673346144528 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11547] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11547/stat : 11547 (java) S 11538 11541 10655 0 -1 1077944384 2 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673345091984 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11548] ppid=11538 vsize=27853732 memory=6943526294502006880 CPUtime=10.45 cores=0-7
/proc/11541/task/11548/stat : 11548 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673344039952 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11549] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11549/stat : 11549 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673342987408 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11550] ppid=11538 vsize=27853732 memory=7233736994252652628 CPUtime=10.45 cores=0-7
/proc/11541/task/11550/stat : 11550 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673341934352 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11551] ppid=11538 vsize=27853732 memory=288291090698880186 CPUtime=10.45 cores=0-7
/proc/11541/task/11551/stat : 11551 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673340881808 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11552] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11552/stat : 11552 (java) S 11538 11541 10655 0 -1 1077944384 7 108206 0 0 0 0 1001 44 20 0 22 0 83330747 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673184663792 139673924577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11553] ppid=11538 vsize=27853732 memory=280142732625376 CPUtime=10.45 cores=0-7
/proc/11541/task/11553/stat : 11553 (java) S 11538 11541 10655 0 -1 1077944384 13 108206 0 0 0 0 1001 44 20 0 22 0 83330747 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139671665370272 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11554] ppid=11538 vsize=27853732 memory=6933690287860520857 CPUtime=10.45 cores=0-7
/proc/11541/task/11554/stat : 11554 (java) S 11538 11541 10655 0 -1 1077944384 21 108206 0 0 0 0 1001 44 20 0 22 0 83330747 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139671531148016 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11555] ppid=11538 vsize=27853732 memory=7679937539709960979 CPUtime=10.45 cores=0-7
/proc/11541/task/11555/stat : 11555 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139671156643792 139673924585371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11556] ppid=11538 vsize=27853732 memory=-7025448733113094249 CPUtime=15.84 cores=0-7
/proc/11541/task/11556/stat : 11556 (java) R 11538 11541 10655 0 -1 4202560 4419 108206 0 0 537 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673183600152 139673902161520 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11557] ppid=11538 vsize=27853732 memory=6944613755328037015 CPUtime=15.75 cores=0-7
/proc/11541/task/11557/stat : 11557 (java) R 11538 11541 10655 0 -1 4202560 5972 108206 0 0 528 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673182539616 139673905267079 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11558] ppid=11538 vsize=27853732 memory=466944 CPUtime=15.68 cores=0-7
/proc/11541/task/11558/stat : 11558 (java) R 11538 11541 10655 0 -1 4202560 4181 108206 0 0 521 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673181495888 139673924588122 0 4 0 25189583 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11559] ppid=11538 vsize=27853732 memory=4229568 CPUtime=12.23 cores=0-7
/proc/11541/task/11559/stat : 11559 (java) R 11538 11541 10655 0 -1 4202560 6559 108206 0 0 176 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673180453488 139673924588122 0 4 0 25189583 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11560] ppid=11538 vsize=27853732 memory=461664 CPUtime=10.45 cores=0-7
/proc/11541/task/11560/stat : 11560 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139670658738656 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11561] ppid=11538 vsize=27853732 memory=8172744036393112402 CPUtime=10.45 cores=0-7
/proc/11541/task/11561/stat : 11561 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673179400880 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11563] ppid=11538 vsize=27853732 memory=8172744036393112402 CPUtime=10.45 cores=0-7
/proc/11541/task/11563/stat : 11563 (java) S 11538 11541 10655 0 -1 1077944384 30 108206 0 0 0 0 1001 44 20 0 22 0 83331773 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673276694672 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11567] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11567/stat : 11567 (java) S 11538 11541 10655 0 -1 1077944384 8 108206 0 0 0 0 1001 44 20 0 22 0 83331775 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139669719213232 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
Current children cumulated CPU time: 38.49 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 4244048 KiB
[startup+12.7557 s]
# the end of solver process 11541 was just reported to runsolver
# cumulated CPU time of all completed processes: user=37.2574 s, system=1.35027 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.7069 s]
/proc/loadavg: 5.48 7.30 7.90 9/212 11575
/proc/meminfo: memFree=12826472/32770624 swapFree=67108796/67108860
[pid=11541] ppid=11538 vsize=27853732 memory=4244048 CPUtime=38.49 cores=0-7
/proc/11541/stat : 11541 (java) S 11538 11541 10655 0 -1 1077944320 42637 108206 0 0 2717 87 1001 44 20 0 22 0 83330742 28522221568 1061012 33554432000 4194304 4196468 140728206575776 140728206558320 139673924566775 0 0 0 25189583 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
/proc/11541/statm: 6963433 1061012 3235 1 0 6924289 0
[pid=11541/tid=11543] ppid=11538 vsize=27853732 memory=-2461829820114675750 CPUtime=20.68 cores=0-7
/proc/11541/task/11543/stat : 11543 (java) R 11538 11541 10655 0 -1 4202560 20057 108206 0 0 947 76 1001 44 20 0 22 0 83330743 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673896404472 140728207570882 0 4 0 25189583 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11544] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11544/stat : 11544 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673928808976 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11545] ppid=11538 vsize=27853732 memory=838432 CPUtime=10.45 cores=0-7
/proc/11541/task/11545/stat : 11545 (java) S 11538 11541 10655 0 -1 1077944384 2 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673746897552 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11546] ppid=11538 vsize=27853732 memory=33 CPUtime=10.45 cores=0-7
/proc/11541/task/11546/stat : 11546 (java) S 11538 11541 10655 0 -1 1077944384 2 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673346144528 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11547] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11547/stat : 11547 (java) S 11538 11541 10655 0 -1 1077944384 2 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673345091984 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11548] ppid=11538 vsize=27853732 memory=6943526294502006880 CPUtime=10.45 cores=0-7
/proc/11541/task/11548/stat : 11548 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673344039952 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11549] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11549/stat : 11549 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673342987408 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11550] ppid=11538 vsize=27853732 memory=7233736994252652628 CPUtime=10.45 cores=0-7
/proc/11541/task/11550/stat : 11550 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673341934352 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11551] ppid=11538 vsize=27853732 memory=288291090698880186 CPUtime=10.45 cores=0-7
/proc/11541/task/11551/stat : 11551 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330745 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673340881808 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11552] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11552/stat : 11552 (java) S 11538 11541 10655 0 -1 1077944384 7 108206 0 0 0 0 1001 44 20 0 22 0 83330747 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673184663792 139673924577922 0 0 0 25189583 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11553] ppid=11538 vsize=27853732 memory=280142732625376 CPUtime=10.45 cores=0-7
/proc/11541/task/11553/stat : 11553 (java) S 11538 11541 10655 0 -1 1077944384 13 108206 0 0 0 0 1001 44 20 0 22 0 83330747 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139671665370272 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11554] ppid=11538 vsize=27853732 memory=6933690287860520857 CPUtime=10.45 cores=0-7
/proc/11541/task/11554/stat : 11554 (java) S 11538 11541 10655 0 -1 1077944384 21 108206 0 0 0 0 1001 44 20 0 22 0 83330747 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139671531148016 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11555] ppid=11538 vsize=27853732 memory=7679937539709960979 CPUtime=10.45 cores=0-7
/proc/11541/task/11555/stat : 11555 (java) S 11538 11541 10655 0 -1 1077944384 1 108206 0 0 0 0 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139671156643792 139673924585371 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11556] ppid=11538 vsize=27853732 memory=-7025448733113094249 CPUtime=15.84 cores=0-7
/proc/11541/task/11556/stat : 11556 (java) R 11538 11541 10655 0 -1 4202560 4419 108206 0 0 537 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673183600152 139673902161520 0 4 0 25189583 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11557] ppid=11538 vsize=27853732 memory=6944613755328037015 CPUtime=15.75 cores=0-7
/proc/11541/task/11557/stat : 11557 (java) R 11538 11541 10655 0 -1 4202560 5972 108206 0 0 528 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673182539616 139673905267079 0 4 0 25189583 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11558] ppid=11538 vsize=27853732 memory=466944 CPUtime=15.68 cores=0-7
/proc/11541/task/11558/stat : 11558 (java) R 11538 11541 10655 0 -1 4202560 4181 108206 0 0 521 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673181495888 139673924588122 0 4 0 25189583 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11559] ppid=11538 vsize=27853732 memory=4229568 CPUtime=12.23 cores=0-7
/proc/11541/task/11559/stat : 11559 (java) R 11538 11541 10655 0 -1 4202560 6559 108206 0 0 176 2 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673180453488 139673924588122 0 4 0 25189583 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11560] ppid=11538 vsize=27853732 memory=461664 CPUtime=10.45 cores=0-7
/proc/11541/task/11560/stat : 11560 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139670658738656 139673924576981 0 4 0 25189583 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11561] ppid=11538 vsize=27853732 memory=8172744036393112402 CPUtime=10.45 cores=0-7
/proc/11541/task/11561/stat : 11561 (java) S 11538 11541 10655 0 -1 1077944384 3 108206 0 0 0 0 1001 44 20 0 22 0 83330750 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673179400880 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11563] ppid=11538 vsize=27853732 memory=8172744036393112402 CPUtime=10.45 cores=0-7
/proc/11541/task/11563/stat : 11563 (java) S 11538 11541 10655 0 -1 1077944384 30 108206 0 0 0 0 1001 44 20 0 22 0 83331773 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139673276694672 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
[pid=11541/tid=11567] ppid=11538 vsize=27853732 memory=0 CPUtime=10.45 cores=0-7
/proc/11541/task/11567/stat : 11567 (java) S 11538 11541 10655 0 -1 1077944384 8 108206 0 0 0 0 1001 44 20 0 22 0 83331775 28522221568 1061012 33554432000 4194304 4196468 140728206575776 139669719213232 139673924577922 0 4 0 25189583 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36564992 140728206578649 140728206578949 140728206578949 140728206581711 0
Current children cumulated CPU time: 38.49 s
Current children cumulated vsize: 27853732 KiB
Current children cumulated memory: 4244048 KiB
Child status: 0
Real time (s): 12.7557
CPU time (s): 38.6077
CPU user time (s): 37.2574
CPU system time (s): 1.35027
CPU usage (%): 302.669
Max. virtual memory (cumulated for all children) (KiB): 29034756
Max. memory (cumulated for all children) (KiB): 4698276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2574
system time used= 1.35027
maximum resident set size= 4248980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19318
involuntary context switches= 116
# summary of solver processes directly reported to runsolver:
# pid: 11541
# total CPU time (s): 38.6077
# total CPU user time (s): 37.2574
# total CPU system time (s): 1.35027
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124726 second user time and 0.16838 second system time
The end
Begin job on node138 at 2018-07-27 04:14:36 IDJOB=4297100 IDBENCH=141392 IDSOLVER=2758 FILE ID=node138/4297100-1532657676 RUNJOBID= node138-1532654260-10682 PBS_JOBID= 21022217 Free space on /tmp= 53800 MiB SOLVER NAME= scop order+glucose-syrup (2018-07-07) BENCH NAME= XCSP18/MisteryShopper/MisteryShopper-06c_c18.xml COMMAND LINE= java -Xms22g -Xmx22g -Xss128m -jar DIR/scop.jar -order -solver DIR/glucose-syrup -solverOption -model:-nthreads=NBCORE:-maxmemory=10000 -tmp TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297100-1532657676/watcher-4297100-1532657676 -o /tmp/evaluation-result-4297100-1532657676/solver-4297100-1532657676 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node138-1532654260-10682 --watchdog 2580 java -Xms22g -Xmx22g -Xss128m -jar HOME/scop.jar -order -solver HOME/glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=10000 -tmp HOME HOME/instance-4297100-1532657676.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 9b1ba7009c0c118539aa61bd7976011a RANDOM SEED=346214067 node138.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.71 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.71 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.71 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.71 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: 17528992 kB MemAvailable: 31919472 kB Buffers: 207972 kB Cached: 14325668 kB SwapCached: 44 kB Active: 2436920 kB Inactive: 12157944 kB Active(anon): 11380 kB Inactive(anon): 77300 kB Active(file): 2425540 kB Inactive(file): 12080644 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 8384 kB Writeback: 0 kB AnonPages: 77732 kB Mapped: 36068 kB Shmem: 25164 kB Slab: 341252 kB SReclaimable: 312756 kB SUnreclaim: 28496 kB KernelStack: 3536 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325236 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53792 MiB End job on node138 at 2018-07-27 04:14:49