| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 1759.63 | 259.248 |
| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-08.xml |
| MD5SUM | 79bafde88fa7f495a04ad4879b5697b3 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 257.025 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 84 |
| Minimum domain size | 1123 |
| Maximum domain size | 1221 |
| Distribution of domain sizes | [{"size":1123,"count":10},{"size":1124,"count":4},{"size":1125,"count":4},{"size":1126,"count":10},{"size":1127,"count":8},{"size":1130,"count":6},{"size":1131,"count":4},{"size":1132,"count":6},{"size":1133,"count":8},{"size":1134,"count":6},{"size":1135,"count":2},{"size":1136,"count":2},{"size":1137,"count":6},{"size":1138,"count":6},{"size":1139,"count":10},{"size":1140,"count":6},{"size":1141,"count":10},{"size":1142,"count":10},{"size":1143,"count":6},{"size":1145,"count":4},{"size":1146,"count":10},{"size":1147,"count":6},{"size":1148,"count":2},{"size":1149,"count":2},{"size":1150,"count":2},"...",{"size":1192,"count":4}, {"size":1194,"count":6}, {"size":1195,"count":6}, {"size":1196,"count":2}, {"size":1198,"count":8}, {"size":1199,"count":6}, {"size":1200,"count":4}, {"size":1201,"count":6}, {"size":1202,"count":4}, {"size":1203,"count":2}, {"size":1204,"count":2}, {"size":1206,"count":8}, {"size":1207,"count":6}, {"size":1208,"count":10}, {"size":1211,"count":6}, {"size":1212,"count":2}, {"size":1213,"count":6}, {"size":1214,"count":4}, {"size":1215,"count":2}, {"size":1216,"count":10}, {"size":1217,"count":10}, {"size":1218,"count":12}, {"size":1219,"count":6}, {"size":1220,"count":4}, {"size":1221,"count":8}] |
| Minimum variable degree | 16 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":5580}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5580 |
| Distribution of constraint types | [{"type":"intension","count":5580}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-23671-serial-file.bin HOME/instance-4405581-1569358059.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Tue Sep 24 22:47:00 CEST 2019 0.65/0.57 c PID: 23674 0.65/0.57 c IP: 172.20.3.123 0.65/0.57 c HOST: node123.alineos.net 0.65/0.57 c (0,0) Parsing Begin 6.02/1.91 c (1,1) Parsing End 6.02/1.92 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1221 6.02/1.92 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 6.02/1.92 c (1,1) Constraint Name Generate Begin 6.02/1.97 c (1,1) Ctr:HOME/instance-4405581-1569358059.xml,Add:Le:Ne:Num:Or:Var 6.02/1.97 c (1,1) Constraint Name Generate End 6.02/1.97 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.02/1.97 c (1,1) CSP to CSPinCNF Begin 6.77/2.23 c (1,1) translated 558 (10%) constraints 7.13/2.30 c (1,1) translated 1116 (20%) constraints 7.13/2.34 c (1,1) translated 1674 (30%) constraints 7.13/2.39 c (1,1) translated 2232 (40%) constraints 7.51/2.43 c (1,1) translated 2790 (50%) constraints 7.51/2.46 c (1,1) translated 3348 (60%) constraints 7.91/2.50 c (1,1) translated 3906 (70%) constraints 7.91/2.54 c (1,1) translated 4464 (80%) constraints 7.91/2.57 c (2,2) translated 5022 (90%) constraints 7.91/2.59 c (2,2) translated 5580 (100%) constraints 7.91/2.59 c (2,2) =========================================== 8.33/2.63 c (2,2) Hybrid: #OE=450, #LE=0 8.33/2.63 c (2,2) Hybrid 8.33/2.63 c (2,2) =========================================== 8.33/2.67 c (2,2) translated 558 (10%) constraints 8.33/2.68 c (2,2) translated 1116 (20%) constraints 8.70/2.70 c (2,2) translated 1674 (30%) constraints 8.70/2.72 c (2,2) translated 2232 (40%) constraints 8.70/2.74 c (2,2) translated 2790 (50%) constraints 8.70/2.75 c (2,2) translated 3348 (60%) constraints 8.70/2.77 c (2,2) translated 3906 (70%) constraints 8.70/2.78 c (2,2) translated 4464 (80%) constraints 8.70/2.79 c (2,2) translated 5022 (90%) constraints 8.89/2.81 c (2,2) translated 5580 (100%) constraints 8.89/2.81 c (2,2) CSP to CSPinCNF End 8.89/2.81 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138 8.89/2.81 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.89/2.81 c (2,2) CSPinCNF Propagation Begin 8.89/2.90 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 8.89/2.90 c (2,2) CSPinCNF Propagation End 8.89/2.90 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1138 8.89/2.90 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.31/2.92 c (2,2) Hybrid: #OE=450, #LE=0 9.31/2.92 c (2,2) Simplify CSPinCNF Begin 10.01/3.19 c (2,2) Simplify CSPinCNF End 10.01/3.19 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138 10.01/3.19 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.01/3.19 c (2,2) Calculate Precise Domain Begin 10.01/3.20 c (2,2) 0 values are removed by re-calculation 10.01/3.20 c (2,2) Calculate Precise Domain End 10.37/3.20 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1138 10.37/3.20 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.37/3.20 c (2,2) CSPinCNF to SatSolver Begin 15.26/6.64 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 849861 SAT clauses) 18.45/9.89 c (9,9) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1448149 SAT clauses) 21.64/12.68 c (12,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 1994752 SAT clauses) 24.36/15.35 c (14,14) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2558593 SAT clauses) 27.51/18.18 c (17,17) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3148307 SAT clauses) 30.42/21.10 c (20,20) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 3731837 SAT clauses) 33.33/23.93 c (23,23) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4256729 SAT clauses) 36.01/26.45 c (25,25) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 4789257 SAT clauses) 39.11/29.59 c (29,28) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5460521 SAT clauses) 42.02/32.43 c (31,31) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6332144 SAT clauses) 42.02/32.44 c (31,31) CSPinCNF to SatSolver End 42.02/32.44 c (31,31) Heap : 5262 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 42.02/32.44 c (31,31) 338696 bool, 6332716 clause 42.02/32.44 c (31,31) Export Begin 42.16/32.55 c (32,31) Export to HOME/scop-23671-serial-file.bin 42.16/32.55 c (32,31) Export End 42.16/32.55 c (32,31) Export File Size: 0.07 MB 42.16/32.55 c (32,31) 1,1,2,2,2,2,31,STOP-AFTER(DIMACS) 42.16/32.55 c END-Prog: Tue Sep 24 22:47:32 CEST 2019 42.16/32.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23671-serial-file.bin 42.92/33.06 c (0,0) Read Serial File Begin 42.92/33.06 c (0,0) HOME/scop-23671-serial-file.bin 43.17/33.29 c (0,0) Read Serial File End 43.41/33.31 43.66/33.67 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 43.66/33.67 (Solving Process) 43.66/33.67 43.66/33.67 c BEGIN-Prog: Tue Sep 24 22:47:33 CEST 2019 43.66/33.67 c PID: 23695 43.66/33.67 c IP: 172.20.3.123 43.66/33.67 c HOST: node123.alineos.net 43.66/33.67 c (0,0) SatSolver.solve Begin 43.66/33.67 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405581-1569358059.xml-scop-23674.cnf 43.66/33.67 c (0,0) c 43.66/33.67 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 43.66/33.67 c (0,0) c 43.66/33.67 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 43.66/33.67 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 43.66/33.67 c (0,0) c ========================================[ Problem Statistics ]=========================================== 43.66/33.67 c (0,0) c | | 46.10/36.14 c (3,0) c | Number of variables: 338696 | 46.10/36.14 c (3,0) c | Number of clauses: 6210770 | 46.10/36.14 c (3,0) c | Parse time: 2.24 s | 46.10/36.14 c (3,0) c | | 46.49/36.56 c (3,0) c | Too many clauses... No preprocessing | 46.49/36.56 c (3,0) c | Simplification time: 0.37 s | 46.49/36.56 c (3,0) c | | 46.49/36.56 c (3,0) c | Generating clones | 48.18/38.23 c (5,0) c | all clones generated. Memory = 3520.77Mb. | 48.18/38.23 c (5,0) c ========================================================================================================| 48.18/38.23 c (5,0) c 48.18/38.23 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 48.18/38.23 c (5,0) c 48.18/38.23 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.18/38.23 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 48.18/38.23 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 48.18/38.23 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 48.18/38.23 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 48.18/38.23 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 48.18/38.23 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 48.18/38.23 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 48.18/38.23 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 48.18/38.23 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 48.18/38.23 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 48.18/38.23 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 48.18/38.23 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 48.18/38.23 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 48.18/38.23 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 48.18/38.23 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 48.18/38.23 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 48.18/38.23 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 48.18/38.23 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 284.49/68.23 c (35,0) c 284.49/68.23 c (35,0) c |------------------------------------------------------------------------------------------------------------------------| 284.49/68.23 c (35,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 284.49/68.23 c (35,0) c |------------------------------------------------------------------------------------------------------------------------| 284.49/68.23 c (35,0) c | 0 | 3 | 5121 | 3057 | 67030 | 2059 | 78 | 247 | 28 | 190 | 20 | 36.681 | 284.49/68.23 c (35,0) c | 1 | 12 | 4939 | 2900 | 71494 | 1898 | 125 | 594 | 49 | 172 | 20 | 36.746 | 284.49/68.23 c (35,0) c | 2 | 3 | 4790 | 3110 | 62956 | 2101 | 87 | 732 | 23 | 185 | 20 | 36.767 | 284.49/68.23 c (35,0) c | 3 | 2 | 5496 | 3259 | 72435 | 2263 | 110 | 181 | 16 | 191 | 20 | 36.665 | 284.49/68.23 c (35,0) c | 4 | 10 | 5138 | 3198 | 75736 | 2193 | 72 | 642 | 43 | 171 | 20 | 36.742 | 284.49/68.23 c (35,0) c | 5 | 14 | 5611 | 3206 | 77177 | 2158 | 164 | 606 | 48 | 174 | 20 | 36.755 | 284.49/68.23 c (35,0) c | 6 | 12 | 5830 | 3363 | 75733 | 2359 | 117 | 642 | 50 | 182 | 20 | 36.755 | 284.49/68.23 c (35,0) c | 7 | 16 | 5668 | 3184 | 77139 | 2184 | 143 | 576 | 42 | 183 | 20 | 36.742 | 284.49/68.23 c (35,0) c 284.49/68.23 c (35,0) c synthesis 25277 conflicts 358127536 propagations 107 conflicts/sec 1514345 propagations/sec 284.49/68.23 c (35,0) c real: 34.8745 s, cpu: 236.49 s, memory: 3714.07 Mb 512.26/97.23 c (64,0) c 512.26/97.23 c (64,0) c |------------------------------------------------------------------------------------------------------------------------| 512.26/97.23 c (64,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 512.26/97.23 c (64,0) c |------------------------------------------------------------------------------------------------------------------------| 512.26/97.23 c (64,0) c | 0 | 4 | 9781 | 6009 | 109335 | 4987 | 516 | 2710 | 164 | 337 | 20 | 37.033 | 512.26/97.23 c (64,0) c | 1 | 17 | 10022 | 6062 | 112047 | 4736 | 531 | 2859 | 165 | 320 | 20 | 37.032 | 512.26/97.23 c (64,0) c | 2 | 13 | 10145 | 6385 | 110383 | 5341 | 698 | 3756 | 194 | 340 | 20 | 37.049 | 512.26/97.23 c (64,0) c | 3 | 4 | 10170 | 6253 | 114607 | 5239 | 621 | 1549 | 123 | 340 | 20 | 37.020 | 512.26/97.23 c (64,0) c | 4 | 16 | 10948 | 6618 | 119966 | 2809 | 717 | 3154 | 178 | 328 | 20 | 37.046 | 512.26/97.23 c (64,0) c | 5 | 26 | 11561 | 6598 | 119861 | 5443 | 805 | 3318 | 179 | 329 | 20 | 37.037 | 512.26/97.23 c (64,0) c | 6 | 24 | 11850 | 7032 | 119350 | 3197 | 916 | 3942 | 220 | 340 | 20 | 37.055 | 512.26/97.23 c (64,0) c | 7 | 27 | 11210 | 6619 | 120272 | 2810 | 748 | 3405 | 206 | 340 | 20 | 37.037 | 512.26/97.23 c (64,0) c 512.26/97.23 c (64,0) c synthesis 51576 conflicts 753263780 propagations 111 conflicts/sec 1625861 propagations/sec 512.26/97.23 c (64,0) c real: 63.8746 s, cpu: 463.302 s, memory: 3506.72 Mb 729.81/126.23 c (93,0) c 729.81/126.23 c (93,0) c |------------------------------------------------------------------------------------------------------------------------| 729.81/126.23 c (93,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 729.81/126.23 c (93,0) c |------------------------------------------------------------------------------------------------------------------------| 729.81/126.23 c (93,0) c | 0 | 10 | 14464 | 8978 | 143047 | 4643 | 1271 | 10144 | 538 | 481 | 20 | 37.162 | 729.81/126.23 c (93,0) c | 1 | 27 | 15218 | 9301 | 141570 | 5340 | 1358 | 9381 | 654 | 463 | 20 | 37.157 | 729.81/126.23 c (93,0) c | 2 | 20 | 14113 | 8931 | 135550 | 5108 | 1302 | 9399 | 565 | 462 | 20 | 37.157 | 729.81/126.23 c (93,0) c | 3 | 6 | 15014 | 9309 | 146263 | 5502 | 1482 | 8034 | 620 | 481 | 20 | 37.151 | 729.81/126.23 c (93,0) c | 4 | 23 | 15767 | 9649 | 145568 | 5840 | 1506 | 8055 | 592 | 461 | 20 | 37.075 | 729.81/126.23 c (93,0) c | 5 | 37 | 16873 | 9838 | 150046 | 5958 | 1682 | 9078 | 666 | 481 | 20 | 37.162 | 729.81/126.23 c (93,0) c | 6 | 40 | 16950 | 10104 | 148213 | 6256 | 1716 | 9670 | 703 | 481 | 20 | 37.174 | 729.81/126.23 c (93,0) c | 7 | 42 | 16329 | 9658 | 146304 | 5782 | 1579 | 9845 | 637 | 481 | 20 | 37.162 | 729.81/126.23 c (93,0) c 729.81/126.23 c (93,0) c synthesis 75768 conflicts 1140701139 propagations 111 conflicts/sec 1677726 propagations/sec 729.81/126.23 c (93,0) c real: 92.8745 s, cpu: 679.909 s, memory: 3506.85 Mb 942.30/155.23 c (122,0) c 942.30/155.23 c (122,0) c |------------------------------------------------------------------------------------------------------------------------| 942.30/155.23 c (122,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 942.30/155.23 c (122,0) c |------------------------------------------------------------------------------------------------------------------------| 942.30/155.23 c (122,0) c | 0 | 24 | 19102 | 11806 | 167101 | 7458 | 1878 | 14814 | 1213 | 615 | 20 | 37.204 | 942.30/155.23 c (122,0) c | 1 | 47 | 20590 | 12521 | 167085 | 8466 | 2029 | 14563 | 1303 | 611 | 20 | 37.204 | 942.30/155.23 c (122,0) c | 2 | 26 | 18694 | 11915 | 157522 | 7967 | 2020 | 14090 | 1154 | 597 | 20 | 37.204 | 942.30/155.23 c (122,0) c | 3 | 9 | 19697 | 12449 | 166544 | 8498 | 2184 | 14553 | 1215 | 616 | 20 | 37.204 | 942.30/155.23 c (122,0) c | 4 | 34 | 20924 | 12923 | 170277 | 9032 | 2255 | 14606 | 1233 | 613 | 20 | 37.209 | 942.30/155.23 c (122,0) c | 5 | 47 | 21302 | 12775 | 170399 | 8838 | 2358 | 13772 | 1261 | 613 | 20 | 37.204 | 942.30/155.23 c (122,0) c | 6 | 50 | 21735 | 13237 | 167104 | 9135 | 2510 | 13524 | 1276 | 614 | 20 | 37.199 | 942.30/155.23 c (122,0) c | 7 | 50 | 20664 | 12559 | 168161 | 8294 | 2323 | 14435 | 1187 | 615 | 20 | 37.204 | 942.30/155.23 c (122,0) c 942.30/155.23 c (122,0) c synthesis 100185 conflicts 1539123694 propagations 112 conflicts/sec 1727025 propagations/sec 942.30/155.23 c (122,0) c real: 121.875 s, cpu: 891.199 s, memory: 3556.03 Mb 1172.75/184.23 c (151,0) c 1172.75/184.23 c (151,0) c |------------------------------------------------------------------------------------------------------------------------| 1172.75/184.23 c (151,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1172.75/184.23 c (151,0) c |------------------------------------------------------------------------------------------------------------------------| 1172.75/184.23 c (151,0) c | 0 | 36 | 23839 | 14838 | 186700 | 5767 | 2449 | 19201 | 1806 | 763 | 20 | 37.222 | 1172.75/184.23 c (151,0) c | 1 | 56 | 25568 | 15752 | 185100 | 6826 | 2649 | 19090 | 1919 | 755 | 20 | 37.222 | 1172.75/184.23 c (151,0) c | 2 | 40 | 24112 | 15340 | 178681 | 6465 | 2722 | 18135 | 1816 | 752 | 20 | 37.220 | 1172.75/184.23 c (151,0) c | 3 | 16 | 24458 | 15646 | 184515 | 6767 | 2822 | 18563 | 1884 | 764 | 20 | 37.220 | 1172.75/184.23 c (151,0) c | 4 | 51 | 25868 | 16052 | 188144 | 7212 | 2892 | 18661 | 1793 | 752 | 20 | 37.222 | 1172.75/184.23 c (151,0) c | 5 | 61 | 26544 | 16134 | 187964 | 7264 | 3065 | 18528 | 1869 | 766 | 20 | 37.223 | 1172.75/184.23 c (151,0) c | 6 | 61 | 26201 | 16205 | 184979 | 7254 | 2998 | 18020 | 1842 | 750 | 20 | 37.220 | 1172.75/184.23 c (151,0) c | 7 | 67 | 26276 | 16069 | 188198 | 7040 | 2981 | 18934 | 1880 | 769 | 20 | 37.228 | 1172.75/184.23 c (151,0) c 1172.75/184.23 c (151,0) c synthesis 126036 conflicts 1972102945 propagations 112 conflicts/sec 1758676 propagations/sec 1172.75/184.23 c (151,0) c real: 150.875 s, cpu: 1121.36 s, memory: 3556.16 Mb 1403.71/213.24 c (180,0) c 1403.71/213.24 c (180,0) c |------------------------------------------------------------------------------------------------------------------------| 1403.71/213.24 c (180,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1403.71/213.24 c (180,0) c |------------------------------------------------------------------------------------------------------------------------| 1403.71/213.24 c (180,0) c | 0 | 49 | 29044 | 18166 | 201996 | 8276 | 3101 | 23863 | 2379 | 910 | 20 | 39.798 | 1403.71/213.24 c (180,0) c | 1 | 73 | 30444 | 18894 | 200210 | 9072 | 3339 | 23328 | 2520 | 903 | 20 | 39.702 | 1403.71/213.24 c (180,0) c | 2 | 52 | 29317 | 18745 | 193006 | 9129 | 3433 | 23212 | 2377 | 906 | 20 | 39.790 | 1403.71/213.24 c (180,0) c | 3 | 24 | 28780 | 18546 | 199698 | 9015 | 3287 | 22914 | 2451 | 899 | 20 | 39.388 | 1403.71/213.24 c (180,0) c | 4 | 63 | 31282 | 19646 | 202840 | 10171 | 3626 | 23133 | 2443 | 910 | 20 | 39.790 | 1403.71/213.24 c (180,0) c | 5 | 78 | 31622 | 19522 | 202807 | 9966 | 3646 | 23511 | 2458 | 917 | 20 | 39.823 | 1403.71/213.24 c (180,0) c | 6 | 85 | 31778 | 19680 | 201536 | 9977 | 3528 | 23357 | 2578 | 911 | 20 | 39.790 | 1403.71/213.24 c (180,0) c | 7 | 76 | 30864 | 19079 | 202781 | 9371 | 3487 | 23209 | 2373 | 904 | 20 | 39.798 | 1403.71/213.24 c (180,0) c 1403.71/213.24 c (180,0) c synthesis 152278 conflicts 2403048257 propagations 113 conflicts/sec 1777620 propagations/sec 1403.71/213.24 c (180,0) c real: 179.88 s, cpu: 1351.83 s, memory: 3556.29 Mb 1642.58/243.23 c (210,0) c 1642.58/243.23 c (210,0) c |------------------------------------------------------------------------------------------------------------------------| 1642.58/243.23 c (210,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1642.58/243.23 c (210,0) c |------------------------------------------------------------------------------------------------------------------------| 1642.58/243.23 c (210,0) c | 0 | 51 | 33500 | 21387 | 215905 | 9205 | 3818 | 27727 | 2915 | 1051 | 20 | 41.847 | 1642.58/243.23 c (210,0) c | 1 | 89 | 35682 | 22387 | 213708 | 11228 | 4081 | 27527 | 3251 | 1050 | 20 | 41.795 | 1642.58/243.23 c (210,0) c | 2 | 61 | 34631 | 22353 | 207617 | 11580 | 4154 | 27759 | 3064 | 1059 | 20 | 41.873 | 1642.58/243.23 c (210,0) c | 3 | 33 | 34273 | 22186 | 214466 | 11168 | 3843 | 27879 | 3169 | 1053 | 20 | 41.793 | 1642.58/243.23 c (210,0) c | 4 | 67 | 36939 | 23485 | 215928 | 12972 | 4430 | 27027 | 3154 | 1063 | 20 | 41.753 | 1642.58/243.23 c (210,0) c | 5 | 89 | 36642 | 22990 | 215936 | 12030 | 4221 | 27984 | 3150 | 1065 | 20 | 41.989 | 1642.58/243.23 c (210,0) c | 6 | 97 | 37440 | 23441 | 217159 | 12425 | 4116 | 28247 | 3360 | 1070 | 20 | 41.829 | 1642.58/243.23 c (210,0) c | 7 | 91 | 36335 | 22780 | 217245 | 11951 | 4079 | 27832 | 3130 | 1059 | 20 | 41.787 | 1642.58/243.23 c (210,0) c 1642.58/243.23 c (210,0) c synthesis 181009 conflicts 2859757809 propagations 114 conflicts/sec 1798461 propagations/sec 1642.58/243.23 c (210,0) c real: 209.875 s, cpu: 1590.11 s, memory: 3556.55 Mb 1759.29/259.04 c (226,0) c 1759.29/259.04 c (226,0) c real time : 225.677 s 1759.29/259.04 c (226,0) c cpu time : 1706.45 s 1759.29/259.04 c (226,0) c 1759.29/259.04 c (226,0) c 1759.29/259.04 c (226,0) c 1759.29/259.04 c (226,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1759.29/259.04 c (226,0) c 1759.29/259.04 c (226,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.04 c (226,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1759.29/259.04 c (226,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.04 c (226,0) c | Conflicts | 195085 | 23309 | 24271 | 24021 | 24156 | 25185 | 24613 | 25041 | 24489 | 1759.29/259.04 c (226,0) c | Decisions | 304617 | 36228 | 38313 | 36885 | 36980 | 39195 | 38868 | 39516 | 38632 | 1759.29/259.04 c (226,0) c | Propagations | 3083099122 | 375639699 | 390486553 | 381109079 | 375673995 | 389330704 | 392718442 | 390115371 | 388025279 | 1759.29/259.04 c (226,0) c | ReduceDBs | 31 | 3 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 1759.29/259.04 c (226,0) c | SimpDBs | 204 | 21 | 27 | 26 | 18 | 26 | 29 | 31 | 26 | 1759.29/259.04 c (226,0) c | Restarts | 590 | 52 | 92 | 62 | 34 | 69 | 91 | 98 | 92 | 1759.29/259.04 c (226,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1759.29/259.04 c (226,0) c | PropBinClauses| 10071655633 | 1238110315 | 1263709661 | 1241023477 | 1228935990 | 1278458476 | 1279376728 | 1271277985 | 1270763001 | 1759.29/259.04 c (226,0) c | PropPreBlocker| 35028313612 | 4445785473 | 4342176472 | 4384839642 | 4486691052 | 4354012698 | 4339919610 | 4326877165 | 4348011500 | 1759.29/259.04 c (226,0) c | PropNotBlocker| 5657533776 | 694143469 | 713909343 | 701319042 | 687340645 | 720537014 | 713264161 | 716504446 | 710515656 | 1759.29/259.04 c (226,0) c | LitFullScans | 54292870840 | 6773065891 | 6773566307 | 6773735607 | 6773238223 | 6803175227 | 6808358783 | 6810069970 | 6777660832 | 1759.29/259.04 c (226,0) c | LitScanFracts | 7279517 | 701619 | 954853 | 1396946 | 728511 | 758176 | 857826 | 925759 | 955827 | 1759.29/259.04 c (226,0) c | DecisionLevel0| 802 | 66 | 111 | 98 | 55 | 99 | 121 | 137 | 115 | 1759.29/259.04 c (226,0) c | Periods | 9040 | 1128 | 1128 | 1128 | 1128 | 1133 | 1133 | 1134 | 1128 | 1759.29/259.04 c (226,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1759.29/259.04 c (226,0) c | Avg_Trail | | 229609 | 227959 | 228021 | 229658 | 227302 | 228413 | 227386 | 228745 | 1759.29/259.04 c (226,0) c | Avg_DL | | 17 | 15 | 16 | 17 | 15 | 15 | 15 | 16 | 1759.29/259.04 c (226,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1759.29/259.04 c (226,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1759.29/259.04 c (226,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.04 c (226,0) c | Exported | 35344 | 4186 | 4483 | 4470 | 4180 | 4748 | 4467 | 4424 | 4386 | 1759.29/259.04 c (226,0) c | Imported | 238629 | 30088 | 29508 | 29666 | 28424 | 29988 | 30270 | 30429 | 30256 | 1759.29/259.04 c (226,0) c | Good | 3422 | 420 | 433 | 427 | 386 | 438 | 441 | 446 | 431 | 1759.29/259.04 c (226,0) c | Purge | 235207 | 29668 | 29075 | 29239 | 28038 | 29550 | 29829 | 29983 | 29825 | 1759.29/259.04 c (226,0) c | Promoted | 27782 | 3354 | 3576 | 3381 | 3557 | 3413 | 3420 | 3645 | 3436 | 1759.29/259.04 c (226,0) c | Remove_Imp | 97857 | 7527 | 13308 | 13322 | 12953 | 12179 | 13189 | 12392 | 12987 | 1759.29/259.04 c (226,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1759.29/259.04 c (226,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.04 c (226,0) c | Unaries | | 14 | 19 | 36 | 21 | 30 | 30 | 39 | 23 | 1759.29/259.04 c (226,0) c | Binaries | | 69 | 51 | 58 | 64 | 75 | 69 | 77 | 80 | 1759.29/259.04 c (226,0) c | Glues | | 598 | 663 | 558 | 645 | 619 | 717 | 668 | 686 | 1759.29/259.04 c (226,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.04 c (226,0) c | Orig_Seen | 7 % | 222149 | 219533 | 212393 | 220402 | 220783 | 221310 | 221295 | 222516 | 1759.29/259.04 c (226,0) c | Diff Orig seen| | - 367 | - 2983 | - 10123 | - 2114 | - 1733 | - 1206 | - 1221 | X | 1759.29/259.04 c (226,0) c | Hamming | 6 % | 22022 | 25645 | 24346 | 24096 | 21038 | 21304 | 19774 | X | 1759.29/259.04 c (226,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.04 c (226,0) c | RunningTime | | 216.4 98%| 220.7 100%| 217.7 99%| 208.6 95%| 218.7 100%| 212.7 97%| 208.4 95%| 213.8 98%| 1759.29/259.04 c (226,0) c | WaitingTime | | 4.3 2%| 0.0 0%| 1.2 1%| 11.8 5%| 0.2 0%| 6.5 3%| 10.3 5%| 5.1 2%| 1759.29/259.04 c (226,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1759.29/259.04 c (226,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1759.29/259.04 c (226,0) c | SolvingTime | | 220.8 | 220.8 | 219.0 | 220.4 | 218.9 | 219.3 | 218.7 | 218.9 | 1759.29/259.04 c (226,0) c | PropagationTim| | 208.8 95%| 208.9 95%| 206.4 94%| 208.4 95%| 206.5 94%| 206.0 94%| 204.5 94%| 206.2 94%| 1759.29/259.04 c (226,0) c | AnalysisTime | | 4.0 2%| 4.0 2%| 4.3 2%| 4.1 2%| 4.3 2%| 4.0 2%| 4.1 2%| 4.2 2%| 1759.29/259.04 c (226,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1759.29/259.04 c (226,0) c | SimplifyTime | | 3.2 1%| 3.1 1%| 3.2 1%| 3.0 1%| 3.1 1%| 4.4 2%| 5.2 2%| 3.7 2%| 1759.29/259.04 c (226,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1759.29/259.04 c (226,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1759.29/259.04 c (226,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.04 c (226,0) c 1759.29/259.04 c (226,0) c 1759.29/259.04 c (226,0) c Threads : 8 1759.29/259.04 c (226,0) c Winner : 7 1759.29/259.04 c (226,0) c Conflicts_0 : 23309 1759.29/259.04 c (226,0) c Conflicts_1 : 24271 1759.29/259.04 c (226,0) c Conflicts_2 : 24021 1759.29/259.04 c (226,0) c Conflicts_3 : 24156 1759.29/259.04 c (226,0) c Conflicts_4 : 25185 1759.29/259.04 c (226,0) c Conflicts_5 : 24613 1759.29/259.04 c (226,0) c Conflicts_6 : 25041 1759.29/259.04 c (226,0) c Conflicts_7 : 24489 1759.29/259.04 c (226,0) c Conflicts_total : 195085 1759.29/259.04 c (226,0) c Conflicts_winner : 24489 1759.29/259.04 c (226,0) c Decisions_0 : 36228 1759.29/259.04 c (226,0) c Decisions_1 : 38313 1759.29/259.04 c (226,0) c Decisions_2 : 36885 1759.29/259.04 c (226,0) c Decisions_3 : 36980 1759.29/259.04 c (226,0) c Decisions_4 : 39195 1759.29/259.04 c (226,0) c Decisions_5 : 38868 1759.29/259.04 c (226,0) c Decisions_6 : 39516 1759.29/259.04 c (226,0) c Decisions_7 : 38632 1759.29/259.04 c (226,0) c Decisions_total : 304617 1759.29/259.04 c (226,0) c Decisions_winner : 38632 1759.29/259.04 c (226,0) c Propagations_0 : 375639699 1759.29/259.04 c (226,0) c Propagations_1 : 390486553 1759.29/259.04 c (226,0) c Propagations_2 : 381109079 1759.29/259.04 c (226,0) c Propagations_3 : 375673995 1759.29/259.04 c (226,0) c Propagations_4 : 389330704 1759.29/259.04 c (226,0) c Propagations_5 : 392718442 1759.29/259.04 c (226,0) c Propagations_6 : 390115371 1759.29/259.04 c (226,0) c Propagations_7 : 388025279 1759.29/259.04 c (226,0) c Propagations_total : 3083099122 1759.29/259.04 c (226,0) c Propagations_winner : 388025279 1759.29/259.04 c (226,0) c ReduceDBs_0 : 3 1759.29/259.04 c (226,0) c ReduceDBs_1 : 4 1759.29/259.04 c (226,0) c ReduceDBs_2 : 4 1759.29/259.04 c (226,0) c ReduceDBs_3 : 4 1759.29/259.04 c (226,0) c ReduceDBs_4 : 4 1759.29/259.04 c (226,0) c ReduceDBs_5 : 4 1759.29/259.04 c (226,0) c ReduceDBs_6 : 4 1759.29/259.04 c (226,0) c ReduceDBs_7 : 4 1759.29/259.04 c (226,0) c ReduceDBs_total : 31 1759.29/259.04 c (226,0) c ReduceDBs_winner : 4 1759.29/259.04 c (226,0) c SimpDBs_0 : 21 1759.29/259.04 c (226,0) c SimpDBs_1 : 27 1759.29/259.04 c (226,0) c SimpDBs_2 : 26 1759.29/259.04 c (226,0) c SimpDBs_3 : 18 1759.29/259.04 c (226,0) c SimpDBs_4 : 26 1759.29/259.04 c (226,0) c SimpDBs_5 : 29 1759.29/259.04 c (226,0) c SimpDBs_6 : 31 1759.29/259.04 c (226,0) c SimpDBs_7 : 26 1759.29/259.04 c (226,0) c SimpDBs_total : 204 1759.29/259.04 c (226,0) c SimpDBs_winner : 26 1759.29/259.04 c (226,0) c Restarts_0 : 52 1759.29/259.04 c (226,0) c Restarts_1 : 92 1759.29/259.04 c (226,0) c Restarts_2 : 62 1759.29/259.04 c (226,0) c Restarts_3 : 34 1759.29/259.04 c (226,0) c Restarts_4 : 69 1759.29/259.04 c (226,0) c Restarts_5 : 91 1759.29/259.04 c (226,0) c Restarts_6 : 98 1759.29/259.04 c (226,0) c Restarts_7 : 92 1759.29/259.04 c (226,0) c Restarts_total : 590 1759.29/259.04 c (226,0) c Restarts_winner : 92 1759.29/259.04 c (226,0) c ForcedImports_0 : 0 1759.29/259.04 c (226,0) c ForcedImports_1 : 0 1759.29/259.04 c (226,0) c ForcedImports_2 : 0 1759.29/259.04 c (226,0) c ForcedImports_3 : 0 1759.29/259.04 c (226,0) c ForcedImports_4 : 0 1759.29/259.04 c (226,0) c ForcedImports_5 : 0 1759.29/259.04 c (226,0) c ForcedImports_6 : 0 1759.29/259.04 c (226,0) c ForcedImports_7 : 0 1759.29/259.04 c (226,0) c ForcedImports_total : 0 1759.29/259.04 c (226,0) c ForcedImports_winner : 0 1759.29/259.04 c (226,0) c PropsBinClauses_0 : 1238110315 1759.29/259.04 c (226,0) c PropsBinClauses_1 : 1263709661 1759.29/259.04 c (226,0) c PropsBinClauses_2 : 1241023477 1759.29/259.04 c (226,0) c PropsBinClauses_3 : 1228935990 1759.29/259.04 c (226,0) c PropsBinClauses_4 : 1278458476 1759.29/259.04 c (226,0) c PropsBinClauses_5 : 1279376728 1759.29/259.04 c (226,0) c PropsBinClauses_6 : 1271277985 1759.29/259.04 c (226,0) c PropsBinClauses_7 : 1270763001 1759.29/259.04 c (226,0) c PropsBinClauses_total : 10071655633 1759.29/259.04 c (226,0) c PropsBinClauses_winner : 1270763001 1759.29/259.04 c (226,0) c PropsPreBlocker_0 : 4445785473 1759.29/259.04 c (226,0) c PropsPreBlocker_1 : 4342176472 1759.29/259.04 c (226,0) c PropsPreBlocker_2 : 4384839642 1759.29/259.04 c (226,0) c PropsPreBlocker_3 : 4486691052 1759.29/259.04 c (226,0) c PropsPreBlocker_4 : 4354012698 1759.29/259.04 c (226,0) c PropsPreBlocker_5 : 4339919610 1759.29/259.04 c (226,0) c PropsPreBlocker_6 : 4326877165 1759.29/259.04 c (226,0) c PropsPreBlocker_7 : 4348011500 1759.29/259.04 c (226,0) c PropsPreBlocker_total : 35028313612 1759.29/259.04 c (226,0) c PropsPreBlocker_winner : 4348011500 1759.29/259.04 c (226,0) c PropsNotBlocker_0 : 694143469 1759.29/259.04 c (226,0) c PropsNotBlocker_1 : 713909343 1759.29/259.04 c (226,0) c PropsNotBlocker_2 : 701319042 1759.29/259.04 c (226,0) c PropsNotBlocker_3 : 687340645 1759.29/259.04 c (226,0) c PropsNotBlocker_4 : 720537014 1759.29/259.04 c (226,0) c PropsNotBlocker_5 : 713264161 1759.29/259.04 c (226,0) c PropsNotBlocker_6 : 716504446 1759.29/259.04 c (226,0) c PropsNotBlocker_7 : 710515656 1759.29/259.04 c (226,0) c PropsNotBlocker_total : 5657533776 1759.29/259.04 c (226,0) c PropsNotBlocker_winner : 710515656 1759.29/259.04 c (226,0) c PropsLitFullScans_0 : 6773065891 1759.29/259.04 c (226,0) c PropsLitFullScans_1 : 6773566307 1759.29/259.04 c (226,0) c PropsLitFullScans_2 : 6773735607 1759.29/259.04 c (226,0) c PropsLitFullScans_3 : 6773238223 1759.29/259.04 c (226,0) c PropsLitFullScans_4 : 6803175227 1759.29/259.04 c (226,0) c PropsLitFullScans_5 : 6808358783 1759.29/259.04 c (226,0) c PropsLitFullScans_6 : 6810069970 1759.29/259.04 c (226,0) c PropsLitFullScans_7 : 6777660832 1759.29/259.04 c (226,0) c PropsLitFullScans_total : 54292870840 1759.29/259.04 c (226,0) c PropsLitFullScans_winner : 6777660832 1759.29/259.04 c (226,0) c LitScanFractions_0 : 701619 1759.29/259.04 c (226,0) c LitScanFractions_1 : 954853 1759.29/259.04 c (226,0) c LitScanFractions_2 : 1396946 1759.29/259.04 c (226,0) c LitScanFractions_3 : 728511 1759.29/259.04 c (226,0) c LitScanFractions_4 : 758176 1759.29/259.04 c (226,0) c LitScanFractions_5 : 857826 1759.29/259.04 c (226,0) c LitScanFractions_6 : 925759 1759.29/259.04 c (226,0) c LitScanFractions_7 : 955827 1759.29/259.04 c (226,0) c LitScanFractions_total : 7279517 1759.29/259.04 c (226,0) c LitScanFractions_winner : 955827 1759.29/259.04 c (226,0) c DecisionLevel0_0 : 66 1759.29/259.04 c (226,0) c DecisionLevel0_1 : 111 1759.29/259.04 c (226,0) c DecisionLevel0_2 : 98 1759.29/259.04 c (226,0) c DecisionLevel0_3 : 55 1759.29/259.04 c (226,0) c DecisionLevel0_4 : 99 1759.29/259.04 c (226,0) c DecisionLevel0_5 : 121 1759.29/259.04 c (226,0) c DecisionLevel0_6 : 137 1759.29/259.04 c (226,0) c DecisionLevel0_7 : 115 1759.29/259.04 c (226,0) c DecisionLevel0_total : 802 1759.29/259.04 c (226,0) c DecisionLevel0_winner : 115 1759.29/259.04 c (226,0) c Periods_0 : 1128 1759.29/259.04 c (226,0) c Periods_1 : 1128 1759.29/259.04 c (226,0) c Periods_2 : 1128 1759.29/259.04 c (226,0) c Periods_3 : 1128 1759.29/259.04 c (226,0) c Periods_4 : 1133 1759.29/259.04 c (226,0) c Periods_5 : 1133 1759.29/259.04 c (226,0) c Periods_6 : 1134 1759.29/259.04 c (226,0) c Periods_7 : 1128 1759.29/259.04 c (226,0) c Periods_total : 9040 1759.29/259.04 c (226,0) c Periods_winner : 1128 1759.29/259.04 c (226,0) c Margin_0 : 20 1759.29/259.04 c (226,0) c Margin_1 : 20 1759.29/259.04 c (226,0) c Margin_2 : 20 1759.29/259.04 c (226,0) c Margin_3 : 20 1759.29/259.04 c (226,0) c Margin_4 : 20 1759.29/259.04 c (226,0) c Margin_5 : 20 1759.29/259.04 c (226,0) c Margin_6 : 20 1759.29/259.04 c (226,0) c Margin_7 : 20 1759.29/259.04 c (226,0) c Margin_total : 160 1759.29/259.04 c (226,0) c Margin_winner : 20 1759.29/259.04 c (226,0) c Exported_0 : 4186 1759.29/259.04 c (226,0) c Exported_1 : 4483 1759.29/259.04 c (226,0) c Exported_2 : 4470 1759.29/259.04 c (226,0) c Exported_3 : 4180 1759.29/259.04 c (226,0) c Exported_4 : 4748 1759.29/259.04 c (226,0) c Exported_5 : 4467 1759.29/259.04 c (226,0) c Exported_6 : 4424 1759.29/259.04 c (226,0) c Exported_7 : 4386 1759.29/259.04 c (226,0) c Exported_total : 35344 1759.29/259.04 c (226,0) c Exported_winner : 4386 1759.29/259.04 c (226,0) c Imported_0 : 30088 1759.29/259.04 c (226,0) c Imported_1 : 29508 1759.29/259.04 c (226,0) c Imported_2 : 29666 1759.29/259.04 c (226,0) c Imported_3 : 28424 1759.29/259.04 c (226,0) c Imported_4 : 29988 1759.29/259.04 c (226,0) c Imported_5 : 30270 1759.29/259.04 c (226,0) c Imported_6 : 30429 1759.29/259.04 c (226,0) c Imported_7 : 30256 1759.29/259.04 c (226,0) c Imported_total : 238629 1759.29/259.04 c (226,0) c Imported_winner : 30256 1759.29/259.04 c (226,0) c Good_0 : 420 1759.29/259.04 c (226,0) c Good_1 : 433 1759.29/259.04 c (226,0) c Good_2 : 427 1759.29/259.04 c (226,0) c Good_3 : 386 1759.29/259.04 c (226,0) c Good_4 : 438 1759.29/259.04 c (226,0) c Good_5 : 441 1759.29/259.04 c (226,0) c Good_6 : 446 1759.29/259.04 c (226,0) c Good_7 : 431 1759.29/259.04 c (226,0) c Good_total : 3422 1759.29/259.04 c (226,0) c Good_winner : 431 1759.29/259.04 c (226,0) c Purge_0 : 29668 1759.29/259.04 c (226,0) c Purge_1 : 29075 1759.29/259.04 c (226,0) c Purge_2 : 29239 1759.29/259.04 c (226,0) c Purge_3 : 28038 1759.29/259.04 c (226,0) c Purge_4 : 29550 1759.29/259.04 c (226,0) c Purge_5 : 29829 1759.29/259.04 c (226,0) c Purge_6 : 29983 1759.29/259.04 c (226,0) c Purge_7 : 29825 1759.29/259.04 c (226,0) c Purge_total : 235207 1759.29/259.04 c (226,0) c Purge_winner : 29825 1759.29/259.04 c (226,0) c Promoted_0 : 3354 1759.29/259.04 c (226,0) c Promoted_1 : 3576 1759.29/259.04 c (226,0) c Promoted_2 : 3381 1759.29/259.04 c (226,0) c Promoted_3 : 3557 1759.29/259.04 c (226,0) c Promoted_4 : 3413 1759.29/259.04 c (226,0) c Promoted_5 : 3420 1759.29/259.04 c (226,0) c Promoted_6 : 3645 1759.29/259.04 c (226,0) c Promoted_7 : 3436 1759.29/259.04 c (226,0) c Promoted_total : 27782 1759.29/259.04 c (226,0) c Promoted_winner : 3436 1759.29/259.04 c (226,0) c Remove_Imp_0 : 7527 1759.29/259.04 c (226,0) c Remove_Imp_1 : 13308 1759.29/259.04 c (226,0) c Remove_Imp_2 : 13322 1759.29/259.04 c (226,0) c Remove_Imp_3 : 12953 1759.29/259.04 c (226,0) c Remove_Imp_4 : 12179 1759.29/259.04 c (226,0) c Remove_Imp_5 : 13189 1759.29/259.04 c (226,0) c Remove_Imp_6 : 12392 1759.29/259.04 c (226,0) c Remove_Imp_7 : 12987 1759.29/259.04 c (226,0) c Remove_Imp_total : 97857 1759.29/259.04 c (226,0) c Remove_Imp_winner : 12987 1759.29/259.04 c (226,0) c Blocked_Reuse_0 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_1 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_2 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_3 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_4 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_5 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_6 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_7 : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_total : 0 1759.29/259.04 c (226,0) c Blocked_Reuse_winner : 0 1759.29/259.04 c (226,0) c Unaries_0 : 14 1759.29/259.05 c (226,0) c Unaries_1 : 19 1759.29/259.05 c (226,0) c Unaries_2 : 36 1759.29/259.05 c (226,0) c Unaries_3 : 21 1759.29/259.05 c (226,0) c Unaries_4 : 30 1759.29/259.05 c (226,0) c Unaries_5 : 30 1759.29/259.05 c (226,0) c Unaries_6 : 39 1759.29/259.05 c (226,0) c Unaries_7 : 23 1759.29/259.05 c (226,0) c Unaries_total : 212 1759.29/259.05 c (226,0) c Unaries_winner : 23 1759.29/259.05 c (226,0) c Binaries_0 : 69 1759.29/259.05 c (226,0) c Binaries_1 : 51 1759.29/259.05 c (226,0) c Binaries_2 : 58 1759.29/259.05 c (226,0) c Binaries_3 : 64 1759.29/259.05 c (226,0) c Binaries_4 : 75 1759.29/259.05 c (226,0) c Binaries_5 : 69 1759.29/259.05 c (226,0) c Binaries_6 : 77 1759.29/259.05 c (226,0) c Binaries_7 : 80 1759.29/259.05 c (226,0) c Binaries_total : 543 1759.29/259.05 c (226,0) c Binaries_winner : 80 1759.29/259.05 c (226,0) c Glues_0 : 598 1759.29/259.05 c (226,0) c Glues_1 : 663 1759.29/259.05 c (226,0) c Glues_2 : 558 1759.29/259.05 c (226,0) c Glues_3 : 645 1759.29/259.05 c (226,0) c Glues_4 : 619 1759.29/259.05 c (226,0) c Glues_5 : 717 1759.29/259.05 c (226,0) c Glues_6 : 668 1759.29/259.05 c (226,0) c Glues_7 : 686 1759.29/259.05 c (226,0) c Glues_total : 5154 1759.29/259.05 c (226,0) c Glues_winner : 686 1759.29/259.05 c (226,0) c RunningTime_0 : 216.437416 1759.29/259.05 c (226,0) c RunningTime_1 : 220.728484 1759.29/259.05 c (226,0) c RunningTime_2 : 217.723327 1759.29/259.05 c (226,0) c RunningTime_3 : 208.564899 1759.29/259.05 c (226,0) c RunningTime_4 : 218.679621 1759.29/259.05 c (226,0) c RunningTime_5 : 212.695091 1759.29/259.05 c (226,0) c RunningTime_6 : 208.400490 1759.29/259.05 c (226,0) c RunningTime_7 : 213.784930 1759.29/259.05 c (226,0) c RunningTime_total : 1717.014258 1759.29/259.05 c (226,0) c RunningTime_winner : 213.784930 1759.29/259.05 c (226,0) c WaitingTime_0 : 4.311111 1759.29/259.05 c (226,0) c WaitingTime_1 : 0.001896 1759.29/259.05 c (226,0) c WaitingTime_2 : 1.236595 1759.29/259.05 c (226,0) c WaitingTime_3 : 11.758934 1759.29/259.05 c (226,0) c WaitingTime_4 : 0.222463 1759.29/259.05 c (226,0) c WaitingTime_5 : 6.528482 1759.29/259.05 c (226,0) c WaitingTime_6 : 10.273412 1759.29/259.05 c (226,0) c WaitingTime_7 : 5.060331 1759.29/259.05 c (226,0) c WaitingTime_total : 39.393224 1759.29/259.05 c (226,0) c WaitingTime_winner : 5.060331 1759.29/259.05 c (226,0) c ExchangingTime_0 : 0.029891 1759.29/259.05 c (226,0) c ExchangingTime_1 : 0.030566 1759.29/259.05 c (226,0) c ExchangingTime_2 : 0.029273 1759.29/259.05 c (226,0) c ExchangingTime_3 : 0.027681 1759.29/259.05 c (226,0) c ExchangingTime_4 : 0.029976 1759.29/259.05 c (226,0) c ExchangingTime_5 : 0.030025 1759.29/259.05 c (226,0) c ExchangingTime_6 : 0.029841 1759.29/259.05 c (226,0) c ExchangingTime_7 : 0.030394 1759.29/259.05 c (226,0) c ExchangingTime_total : 0.237647 1759.29/259.05 c (226,0) c ExchangingTime_winner : 0.030394 1759.29/259.05 c (226,0) c PeriodProcTime_0 : 0.013012 1759.29/259.05 c (226,0) c PeriodProcTime_1 : 0.013380 1759.29/259.05 c (226,0) c PeriodProcTime_2 : 0.012577 1759.29/259.05 c (226,0) c PeriodProcTime_3 : 0.011636 1759.29/259.05 c (226,0) c PeriodProcTime_4 : 0.014499 1759.29/259.05 c (226,0) c PeriodProcTime_5 : 0.011166 1759.29/259.05 c (226,0) c PeriodProcTime_6 : 0.011434 1759.29/259.05 c (226,0) c PeriodProcTime_7 : 0.013223 1759.29/259.05 c (226,0) c PeriodProcTime_total : 0.100926 1759.29/259.05 c (226,0) c PeriodProcTime_winner : 0.013223 1759.29/259.05 c (226,0) c SolvingTime_0 : 220.791430 1759.29/259.05 c (226,0) c SolvingTime_1 : 220.774326 1759.29/259.05 c (226,0) c SolvingTime_2 : 219.001771 1759.29/259.05 c (226,0) c SolvingTime_3 : 220.363150 1759.29/259.05 c (226,0) c SolvingTime_4 : 218.946559 1759.29/259.05 c (226,0) c SolvingTime_5 : 219.264765 1759.29/259.05 c (226,0) c SolvingTime_6 : 218.715177 1759.29/259.05 c (226,0) c SolvingTime_7 : 218.888877 1759.29/259.05 c (226,0) c SolvingTime_total : 1756.746054 1759.29/259.05 c (226,0) c SolvingTime_winner : 218.888877 1759.29/259.05 c (226,0) c PropagationTime_0 : 208.846106 1759.29/259.05 c (226,0) c PropagationTime_1 : 208.937285 1759.29/259.05 c (226,0) c PropagationTime_2 : 206.375324 1759.29/259.05 c (226,0) c PropagationTime_3 : 208.423024 1759.29/259.05 c (226,0) c PropagationTime_4 : 206.518118 1759.29/259.05 c (226,0) c PropagationTime_5 : 205.983709 1759.29/259.05 c (226,0) c PropagationTime_6 : 204.539145 1759.29/259.05 c (226,0) c PropagationTime_7 : 206.201093 1759.29/259.05 c (226,0) c PropagationTime_total : 1655.823804 1759.29/259.05 c (226,0) c PropagationTime_winner : 206.201093 1759.29/259.05 c (226,0) c AnalysisTime_0 : 4.008980 1759.29/259.05 c (226,0) c AnalysisTime_1 : 3.953731 1759.29/259.05 c (226,0) c AnalysisTime_2 : 4.343385 1759.29/259.05 c (226,0) c AnalysisTime_3 : 4.137738 1759.29/259.05 c (226,0) c AnalysisTime_4 : 4.275492 1759.29/259.05 c (226,0) c AnalysisTime_5 : 4.015215 1759.29/259.05 c (226,0) c AnalysisTime_6 : 4.054378 1759.29/259.05 c (226,0) c AnalysisTime_7 : 4.158064 1759.29/259.05 c (226,0) c AnalysisTime_total : 32.946983 1759.29/259.05 c (226,0) c AnalysisTime_winner : 4.158064 1759.29/259.05 c (226,0) c ReductionTime_0 : 0.007892 1759.29/259.05 c (226,0) c ReductionTime_1 : 0.014323 1759.29/259.05 c (226,0) c ReductionTime_2 : 0.015301 1759.29/259.05 c (226,0) c ReductionTime_3 : 0.015757 1759.29/259.05 c (226,0) c ReductionTime_4 : 0.014591 1759.29/259.05 c (226,0) c ReductionTime_5 : 0.015624 1759.29/259.05 c (226,0) c ReductionTime_6 : 0.017010 1759.29/259.05 c (226,0) c ReductionTime_7 : 0.014623 1759.29/259.05 c (226,0) c ReductionTime_total : 0.115121 1759.29/259.05 c (226,0) c ReductionTime_winner : 0.014623 1759.29/259.05 c (226,0) c SimplifyTime_0 : 3.225601 1759.29/259.05 c (226,0) c SimplifyTime_1 : 3.125797 1759.29/259.05 c (226,0) c SimplifyTime_2 : 3.218107 1759.29/259.05 c (226,0) c SimplifyTime_3 : 3.044676 1759.29/259.05 c (226,0) c SimplifyTime_4 : 3.094624 1759.29/259.05 c (226,0) c SimplifyTime_5 : 4.447177 1759.29/259.05 c (226,0) c SimplifyTime_6 : 5.203327 1759.29/259.05 c (226,0) c SimplifyTime_7 : 3.673324 1759.29/259.05 c (226,0) c SimplifyTime_total : 29.032632 1759.29/259.05 c (226,0) c SimplifyTime_winner : 3.673324 1759.29/259.05 c (226,0) c UsedRateTime_0 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_1 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_2 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_3 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_4 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_5 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_6 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_7 : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_total : 0.000000 1759.29/259.05 c (226,0) c UsedRateTime_winner : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_0 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_1 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_2 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_3 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_4 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_5 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_6 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_7 : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_total : 0.000000 1759.29/259.05 c (226,0) c OverlapRateTime_winner : 0.000000 1759.29/259.05 c (226,0) c 1759.29/259.05 c (226,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1759.29/259.05 c (226,0) c 1759.29/259.05 c (226,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.05 c (226,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1759.29/259.05 c (226,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.05 c (226,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1759.29/259.05 c (226,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 1759.29/259.05 c (226,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1759.29/259.05 c (226,0) c | Initial random_seed | 1124695562 | 1111301663 | 1322778941 | 1358132517 | 777653325 | 1706267354 | 671211227 | 1849108925 | 1759.29/259.06 c (226,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1759.29/259.06 c (226,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1759.29/259.06 c (226,0) c | glureduce | True | True | True | True | True | True | True | True | 1759.29/259.06 c (226,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1759.29/259.06 c (226,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1759.29/259.06 c (226,0) c | luby_restart | False | False | False | False | False | False | False | False | 1759.29/259.06 c (226,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1759.29/259.06 c (226,0) c | var_decay | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8500 | 0.8400 | 0.8500 | 0.8400 | 1759.29/259.06 c (226,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1759.29/259.06 c (226,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1759.29/259.06 c (226,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1759.29/259.06 c (226,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1759.29/259.06 c (226,0) 1759.29/259.06 c (226,0) s UNSATISFIABLE 43.91/259.21 c (226,0) SatSolver.solve End 43.91/259.21 c (226,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 43.91/259.21 c (226,0) Show results Begin 43.91/259.21 s UNSATISFIABLE 43.91/259.21 c (226,0) Show results End 43.91/259.21 c (226,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 43.91/259.21 c (226,0) 226,226,STOP-AFTER(ALL) 43.91/259.21 c END-Prog: Tue Sep 24 22:51:18 CEST 2019
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 (10897 MiB free)
memory of node 1: 16384 MiB (14316 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405581-1569358059/watcher-4405581-1569358059 -o /tmp/evaluation-result-4405581-1569358059/solver-4405581-1569358059 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569358019-23654 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405581-1569358059.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=23671, runsolver pid=23668
[startup+0.100064 s]*
/proc/loadavg: 8.14 8.19 8.02 3/211 23693
/proc/meminfo: memFree=25723716/32770624 swapFree=66999816/67108860
[pid=23671] ppid=23668 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23671/stat : 23671 (scop.sh) S 23668 23671 23627 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512070691 115843072 348 33554432000 4194304 5098028 140731359235520 140731359232776 140525000102524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10125312 140731359236900 140731359237228 140731359237228 140731359240141 0
/proc/23671/statm: 28282 348 296 221 0 87 0
[pid=23674] ppid=23671 vsize=27314120 memory=106632 CPUtime=0.11 cores=0-7
/proc/23674/stat : 23674 (java) S 23671 23671 23627 0 -1 1077944320 6224 0 0 0 8 3 0 0 20 0 20 0 512070691 27969658880 26658 33554432000 4194304 4196468 140733714171744 140733714154288 140065368608503 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
/proc/23674/statm: 6828530 26658 2798 1 0 6790935 0
[pid=23674/tid=23675] ppid=23671 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/23674/task/23675/stat : 23675 (java) R 23671 23671 23627 0 -1 4202560 4327 0 0 0 7 2 0 0 20 0 20 0 512070691 27969658880 26658 33554432000 4194304 4196468 140733714171744 140065340432448 140065354040442 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23676] ppid=23671 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23674/task/23676/stat : 23676 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140065372851088 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23677] ppid=23671 vsize=27314120 memory=140326377875072 CPUtime=0 cores=0-7
/proc/23674/task/23677/stat : 23677 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140065193147152 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23678] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23678/stat : 23678 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064789941392 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23679] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23679/stat : 23679 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064788888592 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23680] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23680/stat : 23680 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064787835280 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23681] ppid=23671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23674/task/23681/stat : 23681 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064786782480 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23682] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23682/stat : 23682 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064785730192 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23683] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23683/stat : 23683 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064784677392 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23684] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23684/stat : 23684 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070695 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064292747888 140065368619650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23685] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23685/stat : 23685 (java) S 23671 23671 23627 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512070696 27969658880 26658 33554432000 4194304 4196468 140733714171744 140063312700704 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23686] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23686/stat : 23686 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070696 27969658880 26658 33554432000 4194304 4196468 140733714171744 140063044265584 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23687] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23687/stat : 23687 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070698 27969658880 26658 33554432000 4194304 4196468 140733714171744 140062669757008 140065368627099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23688] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23688/stat : 23688 (java) S 23671 23671 23627 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 512070698 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064291694704 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23689] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23689/stat : 23689 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070698 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064290641904 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23690] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23690/stat : 23690 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064289589616 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23691] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23691/stat : 23691 (java) S 23671 23671 23627 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064288536816 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23692] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23692/stat : 23692 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 26658 33554432000 4194304 4196468 140733714171744 140062171851616 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23693] ppid=23671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23674/task/23693/stat : 23693 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 26658 33554432000 4194304 4196468 140733714171744 140064287484720 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108024 KiB
[startup+0.210413 s]*
/proc/loadavg: 8.14 8.19 8.02 2/211 23693
/proc/meminfo: memFree=25702912/32770624 swapFree=66999816/67108860
[pid=23671] ppid=23668 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23671/stat : 23671 (scop.sh) S 23668 23671 23627 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512070691 115843072 348 33554432000 4194304 5098028 140731359235520 140731359232776 140525000102524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10125312 140731359236900 140731359237228 140731359237228 140731359240141 0
/proc/23671/statm: 28282 348 296 221 0 87 0
[pid=23674] ppid=23671 vsize=27314120 memory=125712 CPUtime=0.24 cores=0-7
/proc/23674/stat : 23674 (java) S 23671 23671 23627 0 -1 1077944320 11834 0 0 0 20 4 0 0 20 0 20 0 512070691 27969658880 31428 33554432000 4194304 4196468 140733714171744 140733714154288 140065368608503 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
/proc/23674/statm: 6828530 31428 2935 1 0 6790935 0
[pid=23674/tid=23675] ppid=23671 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/23674/task/23675/stat : 23675 (java) R 23671 23671 23627 0 -1 4202560 9549 0 0 0 16 3 0 0 20 0 20 0 512070691 27969658880 31428 33554432000 4194304 4196468 140733714171744 140065340407888 140065350172063 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23676] ppid=23671 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/23674/task/23676/stat : 23676 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140065372851088 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23677] ppid=23671 vsize=27314120 memory=140326377897776 CPUtime=0 cores=0-7
/proc/23674/task/23677/stat : 23677 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140065193147152 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23678] ppid=23671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23674/task/23678/stat : 23678 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064789941392 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23679] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23679/stat : 23679 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064788888592 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23680] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23680/stat : 23680 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064787835280 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23681] ppid=23671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23674/task/23681/stat : 23681 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064786782480 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23682] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23682/stat : 23682 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064785730192 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23683] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23683/stat : 23683 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064784677392 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23684] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23684/stat : 23684 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070695 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064292747888 140065368619650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23685] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23685/stat : 23685 (java) S 23671 23671 23627 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512070696 27969658880 31428 33554432000 4194304 4196468 140733714171744 140063312700704 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23686] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23686/stat : 23686 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070696 27969658880 31428 33554432000 4194304 4196468 140733714171744 140063044265584 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23687] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23687/stat : 23687 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070698 27969658880 31428 33554432000 4194304 4196468 140733714171744 140062669757008 140065368627099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23688] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23688/stat : 23688 (java) S 23671 23671 23627 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 512070698 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064291694704 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23689] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23689/stat : 23689 (java) S 23671 23671 23627 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 512070698 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064290641904 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23690] ppid=23671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23674/task/23690/stat : 23690 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064289589616 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23691] ppid=23671 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/23674/task/23691/stat : 23691 (java) S 23671 23671 23627 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 20 0 512070699 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064288536816 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23692] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23692/stat : 23692 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 31428 33554432000 4194304 4196468 140733714171744 140062171851616 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23693] ppid=23671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23674/task/23693/stat : 23693 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 31428 33554432000 4194304 4196468 140733714171744 140064287484720 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127104 KiB
[startup+0.310258 s]*
/proc/loadavg: 8.14 8.19 8.02 2/211 23693
/proc/meminfo: memFree=25699376/32770624 swapFree=66999816/67108860
[pid=23671] ppid=23668 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23671/stat : 23671 (scop.sh) S 23668 23671 23627 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512070691 115843072 348 33554432000 4194304 5098028 140731359235520 140731359232776 140525000102524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10125312 140731359236900 140731359237228 140731359237228 140731359240141 0
/proc/23671/statm: 28282 348 296 221 0 87 0
[pid=23674] ppid=23671 vsize=27314120 memory=129676 CPUtime=0.43 cores=0-7
/proc/23674/stat : 23674 (java) S 23671 23671 23627 0 -1 1077944320 12308 0 0 0 38 5 0 0 20 0 20 0 512070691 27969658880 32419 33554432000 4194304 4196468 140733714171744 140733714154288 140065368608503 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
/proc/23674/statm: 6828530 32419 3025 1 0 6790935 0
[pid=23674/tid=23675] ppid=23671 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/23674/task/23675/stat : 23675 (java) R 23671 23671 23627 0 -1 4202560 9826 0 0 0 26 4 0 0 20 0 20 0 512070691 27969658880 32419 33554432000 4194304 4196468 140733714171744 140065340438576 140065353774071 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23676] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23676/stat : 23676 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140065372851088 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23677] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23677/stat : 23677 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140065193147152 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23678] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23678/stat : 23678 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064789941392 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23679] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23679/stat : 23679 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064788888592 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23680] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23680/stat : 23680 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064787835280 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23681] ppid=23671 vsize=27314120 memory=140326245329583 CPUtime=0 cores=0-7
/proc/23674/task/23681/stat : 23681 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064786782480 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23682] ppid=23671 vsize=27314120 memory=140326245331888 CPUtime=0 cores=0-7
/proc/23674/task/23682/stat : 23682 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064785730192 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23683] ppid=23671 vsize=27314120 memory=140326245334192 CPUtime=0 cores=0-7
/proc/23674/task/23683/stat : 23683 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070694 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064784677392 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23684] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23684/stat : 23684 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070695 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064292747888 140065368619650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23685] ppid=23671 vsize=27314120 memory=280652490682256 CPUtime=0 cores=0-7
/proc/23674/task/23685/stat : 23685 (java) S 23671 23671 23627 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512070696 27969658880 32419 33554432000 4194304 4196468 140733714171744 140063312700704 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23686] ppid=23671 vsize=27314120 memory=280652490679952 CPUtime=0 cores=0-7
/proc/23674/task/23686/stat : 23686 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070696 27969658880 32419 33554432000 4194304 4196468 140733714171744 140063044265584 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23687] ppid=23671 vsize=27314120 memory=280652490686864 CPUtime=0 cores=0-7
/proc/23674/task/23687/stat : 23687 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070698 27969658880 32419 33554432000 4194304 4196468 140733714171744 140062669757008 140065368627099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23688] ppid=23671 vsize=27314120 memory=280652490628144 CPUtime=0.01 cores=0-7
/proc/23674/task/23688/stat : 23688 (java) S 23671 23671 23627 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 512070698 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064291694704 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23689] ppid=23671 vsize=27314120 memory=280652490700688 CPUtime=0.02 cores=0-7
/proc/23674/task/23689/stat : 23689 (java) S 23671 23671 23627 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 512070698 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064290641904 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23690] ppid=23671 vsize=27314120 memory=280652490707600 CPUtime=0 cores=0-7
/proc/23674/task/23690/stat : 23690 (java) S 23671 23671 23627 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064289589616 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23691] ppid=23671 vsize=27314120 memory=280652490705296 CPUtime=0.07 cores=0-7
/proc/23674/task/23691/stat : 23691 (java) S 23671 23671 23627 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 20 0 512070699 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064288536816 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23692] ppid=23671 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23692/stat : 23692 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 32419 33554432000 4194304 4196468 140733714171744 140062171851616 140065368618709 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23693] ppid=23671 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/23674/task/23693/stat : 23693 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070699 27969658880 32419 33554432000 4194304 4196468 140733714171744 140064287484720 140065368619650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131068 KiB
[startup+0.700956 s]
/proc/loadavg: 8.14 8.19 8.02 2/211 23693
/proc/meminfo: memFree=25678156/32770624 swapFree=66999816/67108860
[pid=23671] ppid=23668 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/23671/stat : 23671 (scop.sh) S 23668 23671 23627 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 512070691 115843072 348 33554432000 4194304 5098028 140731359235520 140731359232776 140525000102524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10125312 140731359236900 140731359237228 140731359237228 140731359240141 0
/proc/23671/statm: 28282 348 296 221 0 87 0
[pid=23674] ppid=23671 vsize=27320392 memory=165680 CPUtime=1 cores=0-7
/proc/23674/stat : 23674 (java) S 23671 23671 23627 0 -1 1077944320 19992 0 0 0 92 8 0 0 20 0 20 0 512070691 27976081408 41420 33554432000 4194304 4196468 140733714171744 140733714154288 140065368608503 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
/proc/23674/statm: 6830098 41420 3191 1 0 6791447 0
[pid=23674/tid=23675] ppid=23671 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/23674/task/23675/stat : 23675 (java) R 23671 23671 23627 0 -1 4202560 16887 0 0 0 61 6 0 0 20 0 20 0 512070691 27976081408 41420 33554432000 4194304 4196468 140733714171744 140065340446032 140064873093249 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23676] ppid=23671 vsize=27320392 memory=140326245540720 CPUtime=0 cores=0-7
/proc/23674/task/23676/stat : 23676 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27976081408 41420 33554432000 4194304 4196468 140733714171744 140065372851088 140065368618709 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23677] ppid=23671 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/23674/task/23677/stat : 23677 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512070694 27976081408 41420 33554432000 4194304 4196468 140733714171744 140065193147152 140065368618709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
[pid=23674/tid=23678] ppid=23671 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/23674/task/23678/stat : 23678 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512070694 27976081408 41420 33554432000 4194304 4196468 140733714171744 140064789941392 140065368618709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16109568 140733714178794 140733714179222 140733714179222 140733714182095 0
################
# More data... #
################
/proc/23695/task/23703/stat : 23703 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041283582992 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23704] ppid=23671 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/23695/task/23704/stat : 23704 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041282530448 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23705] ppid=23671 vsize=8414124 memory=119532 CPUtime=0 cores=0-7
/proc/23695/task/23705/stat : 23705 (java) S 23671 23671 23627 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512073954 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041031505904 140041804130946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23706] ppid=23671 vsize=8414124 memory=2810532 CPUtime=0 cores=0-7
/proc/23695/task/23706/stat : 23706 (java) S 23671 23671 23627 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512073954 8616062976 29883 33554432000 4194304 4196468 140736799178816 140040361468832 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23707] ppid=23671 vsize=8414124 memory=-8814780774625866130 CPUtime=0 cores=0-7
/proc/23695/task/23707/stat : 23707 (java) S 23671 23671 23627 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512073955 8616062976 29883 33554432000 4194304 4196468 140736799178816 140040227247088 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23708] ppid=23671 vsize=8414124 memory=63504 CPUtime=0 cores=0-7
/proc/23695/task/23708/stat : 23708 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140039852742864 140041804138395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23709] ppid=23671 vsize=8414124 memory=988 CPUtime=0.03 cores=0-7
/proc/23695/task/23709/stat : 23709 (java) S 23671 23671 23627 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041030453744 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23710] ppid=23671 vsize=8414124 memory=2020 CPUtime=0.14 cores=0-7
/proc/23695/task/23710/stat : 23710 (java) S 23671 23671 23627 0 -1 1077944384 711 0 0 0 14 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041029401200 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23711] ppid=23671 vsize=8414124 memory=1432 CPUtime=0.08 cores=0-7
/proc/23695/task/23711/stat : 23711 (java) S 23671 23671 23627 0 -1 1077944384 330 0 0 0 8 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041028348656 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23712] ppid=23671 vsize=8414124 memory=9396 CPUtime=0.23 cores=0-7
/proc/23695/task/23712/stat : 23712 (java) S 23671 23671 23627 0 -1 1077944384 1044 0 0 0 23 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041027296112 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23713] ppid=23671 vsize=8414124 memory=656 CPUtime=0 cores=0-7
/proc/23695/task/23713/stat : 23713 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140039354837216 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23714] ppid=23671 vsize=8414124 memory=-8814780774625866130 CPUtime=0.17 cores=0-7
/proc/23695/task/23714/stat : 23714 (java) S 23671 23671 23627 0 -1 1077944384 16 0 0 0 4 13 0 0 20 0 24 0 512073958 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041026242992 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23716] ppid=23671 vsize=8414124 memory=-8814780774625866130 CPUtime=0 cores=0-7
/proc/23695/task/23716/stat : 23716 (java) S 23671 23671 23627 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512074027 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041234175168 140041804144409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23718] ppid=23671 vsize=8414124 memory=6096 CPUtime=0.01 cores=0-7
/proc/23695/task/23718/stat : 23718 (java) S 23671 23671 23627 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 512074027 8616062976 29883 33554432000 4194304 4196468 140736799178816 140038683737904 140041804141725 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23719] ppid=23671 vsize=8414124 memory=1544 CPUtime=0 cores=0-7
/proc/23695/task/23719/stat : 23719 (java) S 23671 23671 23627 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512074027 8616062976 29883 33554432000 4194304 4196468 140736799178816 140038952173488 140041804141725 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23720] ppid=23671 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/23695/task/23720/stat : 23720 (java) S 23671 23671 23627 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512074029 8616062976 29883 33554432000 4194304 4196468 140736799178816 140038415310512 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
Current children cumulated CPU time: 1757.87 s
Current children cumulated vsize: 12068984 KiB
Current children cumulated memory: 2931536 KiB
[startup+258.801 s]
/proc/loadavg: 7.86 7.68 7.79 4/220 23748
/proc/meminfo: memFree=22751500/32770624 swapFree=66999816/67108860
[pid=23671] ppid=23668 vsize=113128 memory=1472 CPUtime=42.38 cores=0-7
/proc/23671/stat : 23671 (scop.sh) S 23668 23671 23627 0 -1 4202496 582 38790 0 0 0 0 4031 207 20 0 1 0 512070691 115843072 368 33554432000 4194304 5098028 140731359235520 140731359232264 140525000102524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10125312 140731359236900 140731359237228 140731359237228 140731359240141 0
/proc/23671/statm: 28282 368 311 221 0 87 0
[pid=23695] ppid=23671 vsize=8414124 memory=119532 CPUtime=1.47 cores=0-7
/proc/23695/stat : 23695 (java) S 23671 23671 23627 0 -1 1077944320 21788 0 0 0 137 10 0 0 20 0 24 0 512073951 8616062976 29883 33554432000 4194304 4196468 140736799178816 140736799161360 140041804119799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
/proc/23695/statm: 2103531 29883 3214 1 0 2064875 0
[pid=23715] ppid=23695 vsize=3541732 memory=2810532 CPUtime=1715.02 cores=0-7
/proc/23715/stat : 23715 (manyglucose-4.1) S 23695 23671 23627 0 -1 1077944320 6916263 0 0 0 170599 903 0 0 20 0 3 0 512074027 3626733568 702633 33554432000 4194304 4454172 140728549172176 140728549170560 140249765584631 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 31 0 0 6552832 6554400 31465472 140728549176169 140728549176368 140728549176368 140728549179322 0
/proc/23715/statm: 885433 702633 419 64 0 881101 0
[pid=23715/tid=23721] ppid=23695 vsize=3541732 memory=1432 CPUtime=215.94 cores=0-7
/proc/23715/task/23721/stat : 23721 (manyglucose-4.1) R 23695 23671 23627 0 -1 4202560 797358 0 0 0 21519 75 0 0 20 0 3 0 512074514 3626733568 702633 33554432000 4194304 4454172 140728549172176 140249683467000 4350983 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 31465472 140728549176169 140728549176368 140728549176368 140728549179322 0
[pid=23715/tid=23722] ppid=23695 vsize=3541732 memory=1472 CPUtime=220.39 cores=0-7
/proc/23715/task/23722/stat : 23722 (manyglucose-4.1) R 23695 23671 23627 0 -1 4202560 964220 0 0 0 21959 80 0 0 20 0 3 0 512074514 3626733568 702633 33554432000 4194304 4454172 140728549172176 140249675074696 4351049 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 31465472 140728549176169 140728549176368 140728549176368 140728549179322 0
[pid=23695/tid=23696] ppid=23671 vsize=8414124 memory=1072 CPUtime=0.78 cores=0-7
/proc/23695/task/23696/stat : 23696 (java) S 23671 23671 23627 0 -1 1077944384 17830 0 0 0 72 6 0 0 20 0 24 0 512073951 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041775959968 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23697] ppid=23671 vsize=8414124 memory=6096 CPUtime=0 cores=0-7
/proc/23695/task/23697/stat : 23697 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041808361744 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23698] ppid=23671 vsize=8414124 memory=1544 CPUtime=0 cores=0-7
/proc/23695/task/23698/stat : 23698 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041288845712 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23699] ppid=23671 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/23695/task/23699/stat : 23699 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041287793168 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23700] ppid=23671 vsize=8414124 memory=119532 CPUtime=0 cores=0-7
/proc/23695/task/23700/stat : 23700 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041286740624 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23701] ppid=23671 vsize=8414124 memory=1760 CPUtime=0 cores=0-7
/proc/23695/task/23701/stat : 23701 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041285688080 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23702] ppid=23671 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/23695/task/23702/stat : 23702 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041284635536 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23703] ppid=23671 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/23695/task/23703/stat : 23703 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041283582992 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23704] ppid=23671 vsize=8414124 memory=4104 CPUtime=0 cores=0-7
/proc/23695/task/23704/stat : 23704 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041282530448 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23705] ppid=23671 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/23695/task/23705/stat : 23705 (java) S 23671 23671 23627 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512073954 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041031505904 140041804130946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23706] ppid=23671 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/23695/task/23706/stat : 23706 (java) S 23671 23671 23627 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512073954 8616062976 29883 33554432000 4194304 4196468 140736799178816 140040361468832 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23707] ppid=23671 vsize=8414124 memory=3908 CPUtime=0 cores=0-7
/proc/23695/task/23707/stat : 23707 (java) S 23671 23671 23627 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512073955 8616062976 29883 33554432000 4194304 4196468 140736799178816 140040227247088 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23708] ppid=23671 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/23695/task/23708/stat : 23708 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140039852742864 140041804138395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23709] ppid=23671 vsize=8414124 memory=3796 CPUtime=0.03 cores=0-7
/proc/23695/task/23709/stat : 23709 (java) S 23671 23671 23627 0 -1 1077944384 434 0 0 0 3 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041030453744 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23710] ppid=23671 vsize=8414124 memory=1472 CPUtime=0.14 cores=0-7
/proc/23695/task/23710/stat : 23710 (java) S 23671 23671 23627 0 -1 1077944384 711 0 0 0 14 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041029401200 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23711] ppid=23671 vsize=8414124 memory=119532 CPUtime=0.08 cores=0-7
/proc/23695/task/23711/stat : 23711 (java) S 23671 23671 23627 0 -1 1077944384 330 0 0 0 8 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041028348656 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23712] ppid=23671 vsize=8414124 memory=2835460 CPUtime=0.23 cores=0-7
/proc/23695/task/23712/stat : 23712 (java) S 23671 23671 23627 0 -1 1077944384 1044 0 0 0 23 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041027296112 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23713] ppid=23671 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/23695/task/23713/stat : 23713 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512073957 8616062976 29883 33554432000 4194304 4196468 140736799178816 140039354837216 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23714] ppid=23671 vsize=8414124 memory=1398722017469774279 CPUtime=0.17 cores=0-7
/proc/23695/task/23714/stat : 23714 (java) S 23671 23671 23627 0 -1 1077944384 16 0 0 0 4 13 0 0 20 0 24 0 512073958 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041026242992 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23716] ppid=23671 vsize=8414124 memory=119532 CPUtime=0 cores=0-7
/proc/23695/task/23716/stat : 23716 (java) S 23671 23671 23627 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512074027 8616062976 29883 33554432000 4194304 4196468 140736799178816 140041234175168 140041804144409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23718] ppid=23671 vsize=8414124 memory=2810532 CPUtime=0.01 cores=0-7
/proc/23695/task/23718/stat : 23718 (java) S 23671 23671 23627 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 24 0 512074027 8616062976 29883 33554432000 4194304 4196468 140736799178816 140038683737904 140041804141725 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23719] ppid=23671 vsize=8414124 memory=14413717844530249 CPUtime=0 cores=0-7
/proc/23695/task/23719/stat : 23719 (java) S 23671 23671 23627 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512074027 8616062976 29883 33554432000 4194304 4196468 140736799178816 140038952173488 140041804141725 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23720] ppid=23671 vsize=8414124 memory=419 CPUtime=0 cores=0-7
/proc/23695/task/23720/stat : 23720 (java) S 23671 23671 23627 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512074029 8616062976 29883 33554432000 4194304 4196468 140736799178816 140038415310512 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
Current children cumulated CPU time: 1758.87 s
Current children cumulated vsize: 12068984 KiB
Current children cumulated memory: 2931536 KiB
[startup+259.204 s]
/proc/loadavg: 7.86 7.68 7.79 3/219 23748
/proc/meminfo: memFree=22751556/32770624 swapFree=66999816/67108860
[pid=23671] ppid=23668 vsize=113128 memory=1472 CPUtime=42.38 cores=0-7
/proc/23671/stat : 23671 (scop.sh) S 23668 23671 23627 0 -1 4202496 582 38790 0 0 0 0 4031 207 20 0 1 0 512070691 115843072 368 33554432000 4194304 5098028 140731359235520 140731359232264 140525000102524 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10125312 140731359236900 140731359237228 140731359237228 140731359240141 0
/proc/23671/statm: 28282 368 311 221 0 87 0
[pid=23695] ppid=23671 vsize=8414124 memory=122384 CPUtime=1.53 cores=0-7
/proc/23695/stat : 23695 (java) S 23671 23671 23627 0 -1 1077944320 23543 0 0 0 142 11 0 0 20 0 24 0 512073951 8616062976 30596 33554432000 4194304 4196468 140736799178816 140736799161360 140041804119799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
/proc/23695/statm: 2103531 30596 3218 1 0 2064875 0
[pid=23695/tid=23696] ppid=23671 vsize=8414124 memory=2832 CPUtime=0.78 cores=0-7
/proc/23695/task/23696/stat : 23696 (java) S 23671 23671 23627 0 -1 1077944384 17830 0 0 0 72 6 0 0 20 0 24 0 512073951 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041775959968 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23697] ppid=23671 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/23695/task/23697/stat : 23697 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041808361744 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23698] ppid=23671 vsize=8414124 memory=119532 CPUtime=0 cores=0-7
/proc/23695/task/23698/stat : 23698 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041288845712 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23699] ppid=23671 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/23695/task/23699/stat : 23699 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041287793168 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23700] ppid=23671 vsize=8414124 memory=119532 CPUtime=0 cores=0-7
/proc/23695/task/23700/stat : 23700 (java) S 23671 23671 23627 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041286740624 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23701] ppid=23671 vsize=8414124 memory=2835616 CPUtime=0 cores=0-7
/proc/23695/task/23701/stat : 23701 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041285688080 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23702] ppid=23671 vsize=8414124 memory=119532 CPUtime=0 cores=0-7
/proc/23695/task/23702/stat : 23702 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041284635536 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23703] ppid=23671 vsize=8414124 memory=8324248170998758286 CPUtime=0 cores=0-7
/proc/23695/task/23703/stat : 23703 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041283582992 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23704] ppid=23671 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/23695/task/23704/stat : 23704 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073952 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041282530448 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23705] ppid=23671 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23695/task/23705/stat : 23705 (java) S 23671 23671 23627 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 512073954 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041031505904 140041804130946 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23706] ppid=23671 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/23695/task/23706/stat : 23706 (java) S 23671 23671 23627 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512073954 8616062976 30596 33554432000 4194304 4196468 140736799178816 140040361468832 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23707] ppid=23671 vsize=8414124 memory=2835492 CPUtime=0 cores=0-7
/proc/23695/task/23707/stat : 23707 (java) S 23671 23671 23627 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512073955 8616062976 30596 33554432000 4194304 4196468 140736799178816 140040227247088 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23708] ppid=23671 vsize=8414124 memory=140326245450737 CPUtime=0 cores=0-7
/proc/23695/task/23708/stat : 23708 (java) S 23671 23671 23627 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512073957 8616062976 30596 33554432000 4194304 4196468 140736799178816 140039852742864 140041804138395 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23709] ppid=23671 vsize=8414124 memory=-7101718590825193272 CPUtime=0.04 cores=0-7
/proc/23695/task/23709/stat : 23709 (java) S 23671 23671 23627 0 -1 1077944384 467 0 0 0 4 0 0 0 20 0 24 0 512073957 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041030453744 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23710] ppid=23671 vsize=8414124 memory=-7101718590825193272 CPUtime=0.15 cores=0-7
/proc/23695/task/23710/stat : 23710 (java) S 23671 23671 23627 0 -1 1077944384 718 0 0 0 15 0 0 0 20 0 24 0 512073957 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041029401200 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23711] ppid=23671 vsize=8414124 memory=7449893197695705431 CPUtime=0.08 cores=0-7
/proc/23695/task/23711/stat : 23711 (java) S 23671 23671 23627 0 -1 1077944384 332 0 0 0 8 0 0 0 20 0 24 0 512073957 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041028348656 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23712] ppid=23671 vsize=8414124 memory=1472 CPUtime=0.24 cores=0-7
/proc/23695/task/23712/stat : 23712 (java) S 23671 23671 23627 0 -1 1077944384 1067 0 0 0 24 0 0 0 20 0 24 0 512073957 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041027296112 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23713] ppid=23671 vsize=8414124 memory=119532 CPUtime=0 cores=0-7
/proc/23695/task/23713/stat : 23713 (java) S 23671 23671 23627 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512073957 8616062976 30596 33554432000 4194304 4196468 140736799178816 140039354837216 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23714] ppid=23671 vsize=8414124 memory=2835468 CPUtime=0.17 cores=0-7
/proc/23695/task/23714/stat : 23714 (java) S 23671 23671 23627 0 -1 1077944384 16 0 0 0 4 13 0 0 20 0 24 0 512073958 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041026242992 140041804130946 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23716] ppid=23671 vsize=8414124 memory=-7966001967256141664 CPUtime=0 cores=0-7
/proc/23695/task/23716/stat : 23716 (java) S 23671 23671 23627 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512074027 8616062976 30596 33554432000 4194304 4196468 140736799178816 140041234175168 140041804144409 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23718] ppid=23671 vsize=8414124 memory=6944652177228980320 CPUtime=0.03 cores=0-7
/proc/23695/task/23718/stat : 23718 (java) S 23671 23671 23627 0 -1 4202560 1698 0 0 0 2 1 0 0 20 0 24 0 512074027 8616062976 30596 33554432000 4194304 4196468 140736799178816 140038683737936 140041804141725 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23719] ppid=23671 vsize=8414124 memory=6944656592452807320 CPUtime=0 cores=0-7
/proc/23695/task/23719/stat : 23719 (java) S 23671 23671 23627 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512074027 8616062976 30596 33554432000 4194304 4196468 140736799178816 140038952173488 140041804141725 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
[pid=23695/tid=23720] ppid=23671 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/23695/task/23720/stat : 23720 (java) S 23671 23671 23627 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512074029 8616062976 30596 33554432000 4194304 4196468 140736799178816 140038415310512 140041804130005 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28807168 140736799183863 140736799184022 140736799184022 140736799186895 0
Current children cumulated CPU time: 43.91 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 123856 KiB
Child status: 0
Real time (s): 259.248
CPU time (s): 1759.63
CPU user time (s): 1748.19
CPU system time (s): 11.4356
CPU usage (%): 678.743
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 6056612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.19
system time used= 11.4356
maximum resident set size= 6055764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6979495
page faults= 0
swaps= 0
block input operations= 8
block output operations= 289424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54473
involuntary context switches= 17464
# summary of solver processes directly reported to runsolver:
# pid: 23671
# total CPU time (s): 1759.63
# total CPU user time (s): 1748.19
# total CPU system time (s): 11.4356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47624 second user time and 3.3897 second system time
The end
Begin job on node123 at 2019-09-24 22:46:59 IDJOB=4405581 IDBENCH=138477 IDSOLVER=2868 FILE ID=node123/4405581-1569358059 RUNJOBID= node123-1569358019-23654 PBS_JOBID= 21705110 Free space on /tmp= 25920 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-08.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405581-1569358059/watcher-4405581-1569358059 -o /tmp/evaluation-result-4405581-1569358059/solver-4405581-1569358059 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569358019-23654 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405581-1569358059.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 79bafde88fa7f495a04ad4879b5697b3 RANDOM SEED=2139675991 node123.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.49 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.49 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.49 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.49 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: 25818276 kB MemAvailable: 31836824 kB Buffers: 98184 kB Cached: 6080448 kB SwapCached: 6608 kB Active: 3213676 kB Inactive: 2975308 kB Active(anon): 3048 kB Inactive(anon): 63892 kB Active(file): 3210628 kB Inactive(file): 2911416 kB Unevictable: 107956 kB Mlocked: 107956 kB SwapTotal: 67108860 kB SwapFree: 66999816 kB Dirty: 20604 kB Writeback: 0 kB AnonPages: 112708 kB Mapped: 56104 kB Shmem: 47948 kB Slab: 354852 kB SReclaimable: 324964 kB SUnreclaim: 29888 kB KernelStack: 3328 kB PageTables: 5044 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 513976 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 25900 MiB End job on node123 at 2019-09-24 22:51:19