| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 649.004 | 116.321 |
| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-02.xml |
| MD5SUM | c67201b80d2f8cf37dc6fc32cd78d58c |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 422.969 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 85 |
| Minimum domain size | 1165 |
| Maximum domain size | 1263 |
| Distribution of domain sizes | [{"size":1165,"count":2},{"size":1166,"count":8},{"size":1167,"count":2},{"size":1168,"count":4},{"size":1169,"count":2},{"size":1170,"count":6},{"size":1171,"count":10},{"size":1172,"count":4},{"size":1173,"count":10},{"size":1174,"count":8},{"size":1176,"count":6},{"size":1178,"count":4},{"size":1179,"count":6},{"size":1180,"count":2},{"size":1181,"count":6},{"size":1182,"count":4},{"size":1183,"count":4},{"size":1185,"count":2},{"size":1186,"count":4},{"size":1187,"count":2},{"size":1188,"count":4},{"size":1191,"count":10},{"size":1192,"count":6},{"size":1193,"count":4},{"size":1194,"count":6},"...",{"size":1236,"count":8}, {"size":1237,"count":4}, {"size":1239,"count":6}, {"size":1240,"count":8}, {"size":1241,"count":12}, {"size":1242,"count":2}, {"size":1243,"count":6}, {"size":1244,"count":8}, {"size":1245,"count":8}, {"size":1247,"count":2}, {"size":1248,"count":6}, {"size":1250,"count":4}, {"size":1251,"count":6}, {"size":1252,"count":2}, {"size":1253,"count":6}, {"size":1254,"count":6}, {"size":1255,"count":2}, {"size":1256,"count":10}, {"size":1257,"count":4}, {"size":1258,"count":2}, {"size":1259,"count":4}, {"size":1260,"count":2}, {"size":1261,"count":4}, {"size":1262,"count":2}, {"size":1263,"count":4}] |
| 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-15140-serial-file.bin HOME/instance-4392784-1568442292.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: Sat Sep 14 08:24:10 CEST 2019 0.65/0.57 c PID: 15143 0.65/0.57 c IP: 172.20.3.121 0.65/0.57 c HOST: node121.alineos.net 0.65/0.58 c (0,0) Parsing Begin 5.61/1.87 c (1,1) Parsing End 5.61/1.88 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1263 5.61/1.88 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.61/1.88 c (1,1) Constraint Name Generate Begin 6.04/1.92 c (1,1) Ctr:HOME/instance-4392784-1568442292.xml,Add:Le:Ne:Num:Or:Var 6.04/1.92 c (1,1) Constraint Name Generate End 6.04/1.92 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.04/1.92 c (1,1) CSP to CSPinCNF Begin 6.60/2.19 c (1,1) translated 558 (10%) constraints 6.87/2.25 c (1,1) translated 1116 (20%) constraints 7.27/2.30 c (1,1) translated 1674 (30%) constraints 7.27/2.34 c (1,1) translated 2232 (40%) constraints 7.27/2.38 c (1,1) translated 2790 (50%) constraints 7.68/2.41 c (1,1) translated 3348 (60%) constraints 7.68/2.44 c (1,1) translated 3906 (70%) constraints 7.68/2.48 c (1,1) translated 4464 (80%) constraints 8.05/2.51 c (1,1) translated 5022 (90%) constraints 8.05/2.53 c (1,1) translated 5580 (100%) constraints 8.05/2.53 c (1,1) =========================================== 8.05/2.56 c (2,2) Hybrid: #OE=450, #LE=0 8.05/2.56 c (2,2) Hybrid 8.05/2.56 c (2,2) =========================================== 8.05/2.60 c (2,2) translated 558 (10%) constraints 8.46/2.61 c (2,2) translated 1116 (20%) constraints 8.46/2.63 c (2,2) translated 1674 (30%) constraints 8.46/2.65 c (2,2) translated 2232 (40%) constraints 8.46/2.66 c (2,2) translated 2790 (50%) constraints 8.46/2.68 c (2,2) translated 3348 (60%) constraints 8.46/2.69 c (2,2) translated 3906 (70%) constraints 8.70/2.71 c (2,2) translated 4464 (80%) constraints 8.70/2.72 c (2,2) translated 5022 (90%) constraints 8.70/2.74 c (2,2) translated 5580 (100%) constraints 8.70/2.74 c (2,2) CSP to CSPinCNF End 8.70/2.74 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 8.70/2.74 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.70/2.74 c (2,2) CSPinCNF Propagation Begin 9.05/2.83 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.05/2.83 c (2,2) CSPinCNF Propagation End 9.05/2.83 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 9.05/2.83 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.05/2.85 c (2,2) Hybrid: #OE=450, #LE=0 9.05/2.85 c (2,2) Simplify CSPinCNF Begin 10.10/3.11 c (2,2) Simplify CSPinCNF End 10.10/3.12 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 10.10/3.12 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.10/3.12 c (2,2) Calculate Precise Domain Begin 10.10/3.12 c (2,2) 0 values are removed by re-calculation 10.10/3.12 c (2,2) Calculate Precise Domain End 10.10/3.12 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 10.10/3.12 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.10/3.12 c (2,2) CSPinCNF to SatSolver Begin 15.42/6.67 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 980918 SAT clauses) 18.61/9.44 c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1625009 SAT clauses) 20.73/11.58 c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2200453 SAT clauses) 23.06/13.83 c (13,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2810903 SAT clauses) 25.63/16.35 c (15,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3400641 SAT clauses) 27.93/18.57 c (18,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4004848 SAT clauses) 30.48/21.03 c (20,19) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4677532 SAT clauses) 32.73/23.18 c (22,22) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5256139 SAT clauses) 35.22/25.62 c (25,24) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5922663 SAT clauses) 37.77/28.02 c (27,26) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6834210 SAT clauses) 37.77/28.02 c (27,26) CSPinCNF to SatSolver End 37.77/28.02 c (27,26) Heap : 1274 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 37.77/28.02 c (27,26) 356736 bool, 6834708 clause 37.77/28.02 c (27,26) Export Begin 37.94/28.13 c (27,27) Export to HOME/scop-15140-serial-file.bin 37.94/28.13 c (27,27) Export End 37.94/28.13 c (27,27) Export File Size: 0.07 MB 37.94/28.13 c (27,27) 1,1,2,2,2,2,27,STOP-AFTER(DIMACS) 37.94/28.13 c END-Prog: Sat Sep 14 08:24:38 CEST 2019 37.94/28.17 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15140-serial-file.bin 38.06/28.63 c (0,0) Read Serial File Begin 38.06/28.63 c (0,0) HOME/scop-15140-serial-file.bin 38.06/28.87 c (0,0) Read Serial File End 38.06/28.88 38.06/28.88 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 38.06/28.88 (Solving Process) 38.06/28.88 38.06/28.90 c BEGIN-Prog: Sat Sep 14 08:24:39 CEST 2019 38.06/28.90 c PID: 15165 38.06/28.90 c IP: 172.20.3.121 38.06/28.90 c HOST: node121.alineos.net 38.06/28.91 c (0,0) SatSolver.solve Begin 38.06/28.91 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392784-1568442292.xml-scop-15143.cnf 38.06/28.93 c (0,0) c 38.06/28.93 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) 38.06/28.93 c (0,0) c 38.06/28.93 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 38.06/28.93 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 38.06/28.93 c (0,0) c ========================================[ Problem Statistics ]=========================================== 38.06/28.93 c (0,0) c | | 41.99/31.60 c (3,0) c | Number of variables: 356736 | 41.99/31.60 c (3,0) c | Number of clauses: 6715002 | 41.99/31.60 c (3,0) c | Parse time: 2.42 s | 41.99/31.60 c (3,0) c | | 42.41/32.05 c (3,0) c | Too many clauses... No preprocessing | 42.41/32.05 c (3,0) c | Simplification time: 0.41 s | 42.41/32.05 c (3,0) c | | 42.41/32.05 c (3,0) c | Generating clones | 44.10/33.77 c (5,0) c | all clones generated. Memory = 3619.08Mb. | 44.10/33.77 c (5,0) c ========================================================================================================| 44.10/33.77 c (5,0) c 44.10/33.77 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 44.10/33.77 c (5,0) c 44.10/33.77 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.10/33.77 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 44.10/33.77 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.10/33.77 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 44.10/33.77 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 44.10/33.77 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 44.10/33.77 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 44.10/33.77 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 44.10/33.77 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 44.10/33.77 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 44.10/33.77 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 44.10/33.77 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 44.10/33.77 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 44.10/33.77 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 44.10/33.77 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 44.10/33.77 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 44.10/33.77 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 44.10/33.77 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 44.10/33.77 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 272.65/62.88 c (34,0) c 272.65/62.88 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 272.65/62.88 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 272.65/62.88 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 272.65/62.88 c (34,0) c | 0 | 2 | 5050 | 3132 | 65233 | 2132 | 95 | 516 | 29 | 154 | 20 | 34.045 | 272.65/62.88 c (34,0) c | 1 | 9 | 5359 | 3194 | 67241 | 2190 | 146 | 372 | 34 | 149 | 20 | 34.025 | 272.65/62.88 c (34,0) c | 2 | 10 | 5513 | 3410 | 73048 | 2409 | 160 | 775 | 45 | 166 | 20 | 34.082 | 272.65/62.88 c (34,0) c | 3 | 4 | 5183 | 3250 | 69460 | 2244 | 141 | 702 | 52 | 162 | 20 | 34.082 | 272.65/62.88 c (34,0) c | 4 | 3 | 6013 | 3566 | 71160 | 2565 | 120 | 777 | 46 | 169 | 20 | 34.079 | 272.65/62.88 c (34,0) c | 5 | 14 | 6205 | 3649 | 74469 | 2641 | 145 | 734 | 65 | 169 | 20 | 34.076 | 272.65/62.88 c (34,0) c | 6 | 8 | 5409 | 3309 | 64900 | 2301 | 105 | 822 | 51 | 159 | 20 | 34.082 | 272.65/62.88 c (34,0) c | 7 | 4 | 5559 | 3478 | 65178 | 2474 | 116 | 421 | 36 | 161 | 20 | 34.025 | 272.65/62.88 c (34,0) c 272.65/62.88 c (34,0) c synthesis 26988 conflicts 337970899 propagations 119 conflicts/sec 1483988 propagations/sec 272.65/62.88 c (34,0) c real: 33.952 s, cpu: 227.745 s, memory: 3677.71 Mb 489.85/91.88 c (63,0) c 489.85/91.88 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 489.85/91.88 c (63,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 489.85/91.88 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 489.85/91.88 c (63,0) c | 0 | 7 | 10790 | 6681 | 116539 | 2885 | 613 | 2815 | 189 | 302 | 20 | 34.160 | 489.85/91.88 c (63,0) c | 1 | 16 | 10859 | 6588 | 110399 | 5567 | 705 | 3577 | 126 | 298 | 20 | 34.182 | 489.85/91.88 c (63,0) c | 2 | 28 | 11393 | 6906 | 117450 | 3108 | 790 | 4162 | 184 | 318 | 20 | 34.184 | 489.85/91.88 c (63,0) c | 3 | 14 | 12466 | 7417 | 117866 | 3612 | 911 | 4090 | 191 | 316 | 20 | 34.184 | 489.85/91.88 c (63,0) c | 4 | 5 | 10852 | 6790 | 114475 | 2996 | 766 | 4619 | 183 | 318 | 20 | 34.203 | 489.85/91.88 c (63,0) c | 5 | 25 | 11249 | 6692 | 113194 | 2895 | 703 | 3970 | 209 | 317 | 20 | 34.173 | 489.85/91.88 c (63,0) c | 6 | 18 | 11721 | 7359 | 109526 | 3553 | 839 | 4433 | 225 | 318 | 20 | 34.196 | 489.85/91.88 c (63,0) c | 7 | 16 | 11815 | 6858 | 117735 | 3055 | 664 | 4377 | 242 | 316 | 20 | 34.185 | 489.85/91.88 c (63,0) c 489.85/91.88 c (63,0) c synthesis 55291 conflicts 717406421 propagations 125 conflicts/sec 1616875 propagations/sec 489.85/91.88 c (63,0) c real: 62.952 s, cpu: 443.699 s, memory: 3677.97 Mb 647.81/115.85 c (87,0) c 647.81/115.85 c (87,0) c real time : 86.9187 s 647.81/115.85 c (87,0) c cpu time : 600.519 s 647.81/115.85 c (87,0) c 647.81/115.85 c (87,0) c 647.81/115.85 c (87,0) c 647.81/115.85 c (87,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 647.81/115.85 c (87,0) c 647.81/115.85 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.85 c (87,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 647.81/115.85 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.85 c (87,0) c | Conflicts | 75633 | 9179 | 9687 | 9360 | 9932 | 9599 | 8923 | 9726 | 9227 | 647.81/115.85 c (87,0) c | Decisions | 130224 | 14599 | 15349 | 15436 | 15898 | 14993 | 22144 | 15619 | 16186 | 647.81/115.85 c (87,0) c | Propagations | 1009011869 | 125370729 | 129587495 | 124443610 | 128759516 | 124069994 | 124178407 | 127696403 | 124905715 | 647.81/115.85 c (87,0) c | ReduceDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 647.81/115.85 c (87,0) c | SimpDBs | 57 | 5 | 7 | 8 | 6 | 6 | 9 | 8 | 8 | 647.81/115.85 c (87,0) c | Restarts | 169 | 10 | 22 | 38 | 14 | 7 | 28 | 26 | 24 | 647.81/115.85 c (87,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 647.81/115.85 c (87,0) c | PropBinClauses| 3440592685 | 433471097 | 442528788 | 421636345 | 437425826 | 420986516 | 425555049 | 433684923 | 425304141 | 647.81/115.85 c (87,0) c | PropPreBlocker| 13583107390 | 1710048588 | 1670889738 | 1705606234 | 1693726823 | 1728535912 | 1691675442 | 1680574043 | 1702050610 | 647.81/115.85 c (87,0) c | PropNotBlocker| 2130546424 | 272150433 | 279467434 | 262199042 | 273374042 | 258098758 | 255427118 | 275450524 | 254379073 | 647.81/115.85 c (87,0) c | LitFullScans | 20217813719 | 2524663635 | 2524731313 | 2530661250 | 2524996870 | 2530602437 | 2526666284 | 2530908060 | 2524583870 | 647.81/115.85 c (87,0) c | LitScanFracts | 2055944 | 202067 | 229346 | 303648 | 242406 | 228374 | 348464 | 275381 | 226258 | 647.81/115.85 c (87,0) c | DecisionLevel0| 337 | 22 | 48 | 56 | 31 | 19 | 57 | 50 | 54 | 647.81/115.85 c (87,0) c | Periods | 3363 | 420 | 420 | 421 | 420 | 421 | 420 | 421 | 420 | 647.81/115.85 c (87,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 647.81/115.85 c (87,0) c | Avg_Trail | | 223338 | 219060 | 225766 | 223794 | 226660 | 228810 | 219158 | 228706 | 647.81/115.85 c (87,0) c | Avg_DL | | 21 | 15 | 19 | 20 | 23 | 19 | 17 | 24 | 647.81/115.85 c (87,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 647.81/115.85 c (87,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 647.81/115.85 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.85 c (87,0) c | Exported | 11301 | 1319 | 1459 | 1397 | 1534 | 1531 | 1372 | 1405 | 1284 | 647.81/115.85 c (87,0) c | Imported | 63584 | 8189 | 8671 | 8189 | 4090 | 8595 | 9099 | 7993 | 8758 | 647.81/115.85 c (87,0) c | Good | 631 | 80 | 82 | 79 | 56 | 85 | 78 | 84 | 87 | 647.81/115.85 c (87,0) c | Purge | 62953 | 8109 | 8589 | 8110 | 4034 | 8510 | 9021 | 7909 | 8671 | 647.81/115.85 c (87,0) c | Promoted | 3712 | 418 | 493 | 517 | 362 | 476 | 441 | 514 | 491 | 647.81/115.85 c (87,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 647.81/115.85 c (87,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 647.81/115.85 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.85 c (87,0) c | Unaries | | 12 | 26 | 18 | 17 | 12 | 29 | 24 | 30 | 647.81/115.85 c (87,0) c | Binaries | | 13 | 12 | 16 | 13 | 9 | 22 | 11 | 8 | 647.81/115.85 c (87,0) c | Glues | | 271 | 362 | 372 | 353 | 284 | 371 | 329 | 406 | 647.81/115.85 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.85 c (87,0) c | Orig_Seen | 3 % | 140285 | 137188 | 139802 | 134591 | 137980 | 131390 | 131227 | 142552 | 647.81/115.85 c (87,0) c | Diff Orig seen| | 8895 | 5798 | 8412 | 3201 | 6590 | X | - 163 | 11162 | 647.81/115.85 c (87,0) c | Hamming | 13 % | 41617 | 42200 | 43399 | 46821 | 50853 | X | 52528 | 58591 | 647.81/115.85 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.85 c (87,0) c | RunningTime | | 80.6 100%| 82.0 100%| 73.8 93%| 76.3 96%| 72.1 91%| 73.0 92%| 76.1 96%| 73.0 92%| 647.81/115.85 c (87,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 5.5 7%| 2.8 4%| 7.2 9%| 6.2 8%| 3.2 4%| 6.2 8%| 647.81/115.85 c (87,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%| 647.81/115.85 c (87,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%| 647.81/115.85 c (87,0) c | SolvingTime | | 80.6 | 82.1 | 79.3 | 79.2 | 79.3 | 79.2 | 79.3 | 79.2 | 647.81/115.85 c (87,0) c | PropagationTim| | 76.5 95%| 77.8 95%| 74.3 94%| 74.3 94%| 74.3 94%| 73.9 93%| 74.5 94%| 74.3 94%| 647.81/115.85 c (87,0) c | AnalysisTime | | 1.2 1%| 1.1 1%| 1.1 1%| 1.2 2%| 1.2 2%| 1.1 1%| 1.2 1%| 1.1 1%| 647.81/115.85 c (87,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%| 647.81/115.85 c (87,0) c | SimplifyTime | | 1.2 1%| 1.4 2%| 2.2 3%| 2.0 2%| 2.2 3%| 2.5 3%| 2.0 2%| 2.2 3%| 647.81/115.85 c (87,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%| 647.81/115.85 c (87,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%| 647.81/115.85 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.85 c (87,0) c 647.81/115.85 c (87,0) c 647.81/115.85 c (87,0) c Threads : 8 647.81/115.85 c (87,0) c Winner : 5 647.81/115.85 c (87,0) c Conflicts_0 : 9179 647.81/115.85 c (87,0) c Conflicts_1 : 9687 647.81/115.85 c (87,0) c Conflicts_2 : 9360 647.81/115.85 c (87,0) c Conflicts_3 : 9932 647.81/115.85 c (87,0) c Conflicts_4 : 9599 647.81/115.85 c (87,0) c Conflicts_5 : 8923 647.81/115.85 c (87,0) c Conflicts_6 : 9726 647.81/115.85 c (87,0) c Conflicts_7 : 9227 647.81/115.85 c (87,0) c Conflicts_total : 75633 647.81/115.85 c (87,0) c Conflicts_winner : 8923 647.81/115.85 c (87,0) c Decisions_0 : 14599 647.81/115.85 c (87,0) c Decisions_1 : 15349 647.81/115.85 c (87,0) c Decisions_2 : 15436 647.81/115.85 c (87,0) c Decisions_3 : 15898 647.81/115.85 c (87,0) c Decisions_4 : 14993 647.81/115.85 c (87,0) c Decisions_5 : 22144 647.81/115.85 c (87,0) c Decisions_6 : 15619 647.81/115.85 c (87,0) c Decisions_7 : 16186 647.81/115.85 c (87,0) c Decisions_total : 130224 647.81/115.85 c (87,0) c Decisions_winner : 22144 647.81/115.85 c (87,0) c Propagations_0 : 125370729 647.81/115.85 c (87,0) c Propagations_1 : 129587495 647.81/115.85 c (87,0) c Propagations_2 : 124443610 647.81/115.85 c (87,0) c Propagations_3 : 128759516 647.81/115.85 c (87,0) c Propagations_4 : 124069994 647.81/115.85 c (87,0) c Propagations_5 : 124178407 647.81/115.85 c (87,0) c Propagations_6 : 127696403 647.81/115.85 c (87,0) c Propagations_7 : 124905715 647.81/115.85 c (87,0) c Propagations_total : 1009011869 647.81/115.85 c (87,0) c Propagations_winner : 124178407 647.81/115.85 c (87,0) c ReduceDBs_0 : 2 647.81/115.85 c (87,0) c ReduceDBs_1 : 2 647.81/115.85 c (87,0) c ReduceDBs_2 : 2 647.81/115.85 c (87,0) c ReduceDBs_3 : 2 647.81/115.85 c (87,0) c ReduceDBs_4 : 2 647.81/115.85 c (87,0) c ReduceDBs_5 : 2 647.81/115.85 c (87,0) c ReduceDBs_6 : 2 647.81/115.85 c (87,0) c ReduceDBs_7 : 2 647.81/115.85 c (87,0) c ReduceDBs_total : 16 647.81/115.85 c (87,0) c ReduceDBs_winner : 2 647.81/115.85 c (87,0) c SimpDBs_0 : 5 647.81/115.85 c (87,0) c SimpDBs_1 : 7 647.81/115.85 c (87,0) c SimpDBs_2 : 8 647.81/115.85 c (87,0) c SimpDBs_3 : 6 647.81/115.85 c (87,0) c SimpDBs_4 : 6 647.81/115.85 c (87,0) c SimpDBs_5 : 9 647.81/115.85 c (87,0) c SimpDBs_6 : 8 647.81/115.85 c (87,0) c SimpDBs_7 : 8 647.81/115.85 c (87,0) c SimpDBs_total : 57 647.81/115.85 c (87,0) c SimpDBs_winner : 9 647.81/115.85 c (87,0) c Restarts_0 : 10 647.81/115.85 c (87,0) c Restarts_1 : 22 647.81/115.85 c (87,0) c Restarts_2 : 38 647.81/115.85 c (87,0) c Restarts_3 : 14 647.81/115.85 c (87,0) c Restarts_4 : 7 647.81/115.85 c (87,0) c Restarts_5 : 28 647.81/115.85 c (87,0) c Restarts_6 : 26 647.81/115.85 c (87,0) c Restarts_7 : 24 647.81/115.85 c (87,0) c Restarts_total : 169 647.81/115.85 c (87,0) c Restarts_winner : 28 647.81/115.85 c (87,0) c ForcedImports_0 : 0 647.81/115.85 c (87,0) c ForcedImports_1 : 0 647.81/115.85 c (87,0) c ForcedImports_2 : 0 647.81/115.85 c (87,0) c ForcedImports_3 : 0 647.81/115.85 c (87,0) c ForcedImports_4 : 0 647.81/115.85 c (87,0) c ForcedImports_5 : 0 647.81/115.85 c (87,0) c ForcedImports_6 : 0 647.81/115.85 c (87,0) c ForcedImports_7 : 0 647.81/115.85 c (87,0) c ForcedImports_total : 0 647.81/115.85 c (87,0) c ForcedImports_winner : 0 647.81/115.85 c (87,0) c PropsBinClauses_0 : 433471097 647.81/115.85 c (87,0) c PropsBinClauses_1 : 442528788 647.81/115.85 c (87,0) c PropsBinClauses_2 : 421636345 647.81/115.85 c (87,0) c PropsBinClauses_3 : 437425826 647.81/115.85 c (87,0) c PropsBinClauses_4 : 420986516 647.81/115.85 c (87,0) c PropsBinClauses_5 : 425555049 647.81/115.85 c (87,0) c PropsBinClauses_6 : 433684923 647.81/115.85 c (87,0) c PropsBinClauses_7 : 425304141 647.81/115.85 c (87,0) c PropsBinClauses_total : 3440592685 647.81/115.85 c (87,0) c PropsBinClauses_winner : 425555049 647.81/115.85 c (87,0) c PropsPreBlocker_0 : 1710048588 647.81/115.85 c (87,0) c PropsPreBlocker_1 : 1670889738 647.81/115.85 c (87,0) c PropsPreBlocker_2 : 1705606234 647.81/115.85 c (87,0) c PropsPreBlocker_3 : 1693726823 647.81/115.85 c (87,0) c PropsPreBlocker_4 : 1728535912 647.81/115.85 c (87,0) c PropsPreBlocker_5 : 1691675442 647.81/115.85 c (87,0) c PropsPreBlocker_6 : 1680574043 647.81/115.85 c (87,0) c PropsPreBlocker_7 : 1702050610 647.81/115.85 c (87,0) c PropsPreBlocker_total : 13583107390 647.81/115.85 c (87,0) c PropsPreBlocker_winner : 1691675442 647.81/115.85 c (87,0) c PropsNotBlocker_0 : 272150433 647.81/115.85 c (87,0) c PropsNotBlocker_1 : 279467434 647.81/115.85 c (87,0) c PropsNotBlocker_2 : 262199042 647.81/115.85 c (87,0) c PropsNotBlocker_3 : 273374042 647.81/115.85 c (87,0) c PropsNotBlocker_4 : 258098758 647.81/115.85 c (87,0) c PropsNotBlocker_5 : 255427118 647.81/115.85 c (87,0) c PropsNotBlocker_6 : 275450524 647.81/115.85 c (87,0) c PropsNotBlocker_7 : 254379073 647.81/115.86 c (87,0) c PropsNotBlocker_total : 2130546424 647.81/115.86 c (87,0) c PropsNotBlocker_winner : 255427118 647.81/115.86 c (87,0) c PropsLitFullScans_0 : 2524663635 647.81/115.86 c (87,0) c PropsLitFullScans_1 : 2524731313 647.81/115.86 c (87,0) c PropsLitFullScans_2 : 2530661250 647.81/115.86 c (87,0) c PropsLitFullScans_3 : 2524996870 647.81/115.86 c (87,0) c PropsLitFullScans_4 : 2530602437 647.81/115.86 c (87,0) c PropsLitFullScans_5 : 2526666284 647.81/115.86 c (87,0) c PropsLitFullScans_6 : 2530908060 647.81/115.86 c (87,0) c PropsLitFullScans_7 : 2524583870 647.81/115.86 c (87,0) c PropsLitFullScans_total : 20217813719 647.81/115.86 c (87,0) c PropsLitFullScans_winner : 2526666284 647.81/115.86 c (87,0) c LitScanFractions_0 : 202067 647.81/115.86 c (87,0) c LitScanFractions_1 : 229346 647.81/115.86 c (87,0) c LitScanFractions_2 : 303648 647.81/115.86 c (87,0) c LitScanFractions_3 : 242406 647.81/115.86 c (87,0) c LitScanFractions_4 : 228374 647.81/115.86 c (87,0) c LitScanFractions_5 : 348464 647.81/115.86 c (87,0) c LitScanFractions_6 : 275381 647.81/115.86 c (87,0) c LitScanFractions_7 : 226258 647.81/115.86 c (87,0) c LitScanFractions_total : 2055944 647.81/115.86 c (87,0) c LitScanFractions_winner : 348464 647.81/115.86 c (87,0) c DecisionLevel0_0 : 22 647.81/115.86 c (87,0) c DecisionLevel0_1 : 48 647.81/115.86 c (87,0) c DecisionLevel0_2 : 56 647.81/115.86 c (87,0) c DecisionLevel0_3 : 31 647.81/115.86 c (87,0) c DecisionLevel0_4 : 19 647.81/115.86 c (87,0) c DecisionLevel0_5 : 57 647.81/115.86 c (87,0) c DecisionLevel0_6 : 50 647.81/115.86 c (87,0) c DecisionLevel0_7 : 54 647.81/115.86 c (87,0) c DecisionLevel0_total : 337 647.81/115.86 c (87,0) c DecisionLevel0_winner : 57 647.81/115.86 c (87,0) c Periods_0 : 420 647.81/115.86 c (87,0) c Periods_1 : 420 647.81/115.86 c (87,0) c Periods_2 : 421 647.81/115.86 c (87,0) c Periods_3 : 420 647.81/115.86 c (87,0) c Periods_4 : 421 647.81/115.86 c (87,0) c Periods_5 : 420 647.81/115.86 c (87,0) c Periods_6 : 421 647.81/115.86 c (87,0) c Periods_7 : 420 647.81/115.86 c (87,0) c Periods_total : 3363 647.81/115.86 c (87,0) c Periods_winner : 420 647.81/115.86 c (87,0) c Margin_0 : 20 647.81/115.86 c (87,0) c Margin_1 : 20 647.81/115.86 c (87,0) c Margin_2 : 20 647.81/115.86 c (87,0) c Margin_3 : 20 647.81/115.86 c (87,0) c Margin_4 : 20 647.81/115.86 c (87,0) c Margin_5 : 20 647.81/115.86 c (87,0) c Margin_6 : 20 647.81/115.86 c (87,0) c Margin_7 : 20 647.81/115.86 c (87,0) c Margin_total : 160 647.81/115.86 c (87,0) c Margin_winner : 20 647.81/115.86 c (87,0) c Exported_0 : 1319 647.81/115.86 c (87,0) c Exported_1 : 1459 647.81/115.86 c (87,0) c Exported_2 : 1397 647.81/115.86 c (87,0) c Exported_3 : 1534 647.81/115.86 c (87,0) c Exported_4 : 1531 647.81/115.86 c (87,0) c Exported_5 : 1372 647.81/115.86 c (87,0) c Exported_6 : 1405 647.81/115.86 c (87,0) c Exported_7 : 1284 647.81/115.86 c (87,0) c Exported_total : 11301 647.81/115.86 c (87,0) c Exported_winner : 1372 647.81/115.86 c (87,0) c Imported_0 : 8189 647.81/115.86 c (87,0) c Imported_1 : 8671 647.81/115.86 c (87,0) c Imported_2 : 8189 647.81/115.86 c (87,0) c Imported_3 : 4090 647.81/115.86 c (87,0) c Imported_4 : 8595 647.81/115.86 c (87,0) c Imported_5 : 9099 647.81/115.86 c (87,0) c Imported_6 : 7993 647.81/115.86 c (87,0) c Imported_7 : 8758 647.81/115.86 c (87,0) c Imported_total : 63584 647.81/115.86 c (87,0) c Imported_winner : 9099 647.81/115.86 c (87,0) c Good_0 : 80 647.81/115.86 c (87,0) c Good_1 : 82 647.81/115.86 c (87,0) c Good_2 : 79 647.81/115.86 c (87,0) c Good_3 : 56 647.81/115.86 c (87,0) c Good_4 : 85 647.81/115.86 c (87,0) c Good_5 : 78 647.81/115.86 c (87,0) c Good_6 : 84 647.81/115.86 c (87,0) c Good_7 : 87 647.81/115.86 c (87,0) c Good_total : 631 647.81/115.86 c (87,0) c Good_winner : 78 647.81/115.86 c (87,0) c Purge_0 : 8109 647.81/115.86 c (87,0) c Purge_1 : 8589 647.81/115.86 c (87,0) c Purge_2 : 8110 647.81/115.86 c (87,0) c Purge_3 : 4034 647.81/115.86 c (87,0) c Purge_4 : 8510 647.81/115.86 c (87,0) c Purge_5 : 9021 647.81/115.86 c (87,0) c Purge_6 : 7909 647.81/115.86 c (87,0) c Purge_7 : 8671 647.81/115.86 c (87,0) c Purge_total : 62953 647.81/115.86 c (87,0) c Purge_winner : 9021 647.81/115.86 c (87,0) c Promoted_0 : 418 647.81/115.86 c (87,0) c Promoted_1 : 493 647.81/115.86 c (87,0) c Promoted_2 : 517 647.81/115.86 c (87,0) c Promoted_3 : 362 647.81/115.86 c (87,0) c Promoted_4 : 476 647.81/115.86 c (87,0) c Promoted_5 : 441 647.81/115.86 c (87,0) c Promoted_6 : 514 647.81/115.86 c (87,0) c Promoted_7 : 491 647.81/115.86 c (87,0) c Promoted_total : 3712 647.81/115.86 c (87,0) c Promoted_winner : 441 647.81/115.86 c (87,0) c Remove_Imp_0 : 0 647.81/115.86 c (87,0) c Remove_Imp_1 : 0 647.81/115.86 c (87,0) c Remove_Imp_2 : 0 647.81/115.86 c (87,0) c Remove_Imp_3 : 0 647.81/115.86 c (87,0) c Remove_Imp_4 : 0 647.81/115.86 c (87,0) c Remove_Imp_5 : 0 647.81/115.86 c (87,0) c Remove_Imp_6 : 0 647.81/115.86 c (87,0) c Remove_Imp_7 : 0 647.81/115.86 c (87,0) c Remove_Imp_total : 0 647.81/115.86 c (87,0) c Remove_Imp_winner : 0 647.81/115.86 c (87,0) c Blocked_Reuse_0 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_1 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_2 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_3 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_4 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_5 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_6 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_7 : 0 647.81/115.86 c (87,0) c Blocked_Reuse_total : 0 647.81/115.86 c (87,0) c Blocked_Reuse_winner : 0 647.81/115.86 c (87,0) c Unaries_0 : 12 647.81/115.86 c (87,0) c Unaries_1 : 26 647.81/115.86 c (87,0) c Unaries_2 : 18 647.81/115.86 c (87,0) c Unaries_3 : 17 647.81/115.86 c (87,0) c Unaries_4 : 12 647.81/115.86 c (87,0) c Unaries_5 : 29 647.81/115.86 c (87,0) c Unaries_6 : 24 647.81/115.86 c (87,0) c Unaries_7 : 30 647.81/115.86 c (87,0) c Unaries_total : 168 647.81/115.86 c (87,0) c Unaries_winner : 29 647.81/115.86 c (87,0) c Binaries_0 : 13 647.81/115.86 c (87,0) c Binaries_1 : 12 647.81/115.86 c (87,0) c Binaries_2 : 16 647.81/115.86 c (87,0) c Binaries_3 : 13 647.81/115.86 c (87,0) c Binaries_4 : 9 647.81/115.86 c (87,0) c Binaries_5 : 22 647.81/115.86 c (87,0) c Binaries_6 : 11 647.81/115.86 c (87,0) c Binaries_7 : 8 647.81/115.86 c (87,0) c Binaries_total : 104 647.81/115.86 c (87,0) c Binaries_winner : 22 647.81/115.86 c (87,0) c Glues_0 : 271 647.81/115.86 c (87,0) c Glues_1 : 362 647.81/115.86 c (87,0) c Glues_2 : 372 647.81/115.86 c (87,0) c Glues_3 : 353 647.81/115.86 c (87,0) c Glues_4 : 284 647.81/115.86 c (87,0) c Glues_5 : 371 647.81/115.86 c (87,0) c Glues_6 : 329 647.81/115.86 c (87,0) c Glues_7 : 406 647.81/115.86 c (87,0) c Glues_total : 2748 647.81/115.86 c (87,0) c Glues_winner : 371 647.81/115.86 c (87,0) c RunningTime_0 : 80.562422 647.81/115.86 c (87,0) c RunningTime_1 : 82.040950 647.81/115.86 c (87,0) c RunningTime_2 : 73.816513 647.81/115.86 c (87,0) c RunningTime_3 : 76.325849 647.81/115.86 c (87,0) c RunningTime_4 : 72.059943 647.81/115.86 c (87,0) c RunningTime_5 : 72.991005 647.81/115.86 c (87,0) c RunningTime_6 : 76.142772 647.81/115.86 c (87,0) c RunningTime_7 : 73.000386 647.81/115.86 c (87,0) c RunningTime_total : 606.939841 647.81/115.86 c (87,0) c RunningTime_winner : 72.991005 647.81/115.86 c (87,0) c WaitingTime_0 : 0.000821 647.81/115.86 c (87,0) c WaitingTime_1 : 0.000564 647.81/115.86 c (87,0) c WaitingTime_2 : 5.474784 647.81/115.86 c (87,0) c WaitingTime_3 : 2.832357 647.81/115.86 c (87,0) c WaitingTime_4 : 7.233048 647.81/115.86 c (87,0) c WaitingTime_5 : 6.164681 647.81/115.86 c (87,0) c WaitingTime_6 : 3.158773 647.81/115.86 c (87,0) c WaitingTime_7 : 6.176573 647.81/115.86 c (87,0) c WaitingTime_total : 31.041602 647.81/115.86 c (87,0) c WaitingTime_winner : 6.164681 647.81/115.86 c (87,0) c ExchangingTime_0 : 0.010208 647.81/115.86 c (87,0) c ExchangingTime_1 : 0.010323 647.81/115.86 c (87,0) c ExchangingTime_2 : 0.011724 647.81/115.86 c (87,0) c ExchangingTime_3 : 0.009179 647.81/115.86 c (87,0) c ExchangingTime_4 : 0.010610 647.81/115.86 c (87,0) c ExchangingTime_5 : 0.010782 647.81/115.86 c (87,0) c ExchangingTime_6 : 0.010229 647.81/115.86 c (87,0) c ExchangingTime_7 : 0.010602 647.81/115.86 c (87,0) c ExchangingTime_total : 0.083657 647.81/115.86 c (87,0) c ExchangingTime_winner : 0.010782 647.81/115.86 c (87,0) c PeriodProcTime_0 : 0.004886 647.81/115.86 c (87,0) c PeriodProcTime_1 : 0.007734 647.81/115.86 c (87,0) c PeriodProcTime_2 : 0.005173 647.81/115.86 c (87,0) c PeriodProcTime_3 : 0.004833 647.81/115.86 c (87,0) c PeriodProcTime_4 : 0.004852 647.81/115.86 c (87,0) c PeriodProcTime_5 : 0.004733 647.81/115.86 c (87,0) c PeriodProcTime_6 : 0.004956 647.81/115.86 c (87,0) c PeriodProcTime_7 : 0.004674 647.81/115.86 c (87,0) c PeriodProcTime_total : 0.041840 647.81/115.86 c (87,0) c PeriodProcTime_winner : 0.004733 647.81/115.86 c (87,0) c SolvingTime_0 : 80.578337 647.81/115.86 c (87,0) c SolvingTime_1 : 82.059570 647.81/115.86 c (87,0) c SolvingTime_2 : 79.308194 647.81/115.86 c (87,0) c SolvingTime_3 : 79.172218 647.81/115.86 c (87,0) c SolvingTime_4 : 79.308454 647.81/115.86 c (87,0) c SolvingTime_5 : 79.171202 647.81/115.86 c (87,0) c SolvingTime_6 : 79.316730 647.81/115.86 c (87,0) c SolvingTime_7 : 79.192235 647.81/115.86 c (87,0) c SolvingTime_total : 638.106940 647.81/115.86 c (87,0) c SolvingTime_winner : 79.171202 647.81/115.86 c (87,0) c PropagationTime_0 : 76.540303 647.81/115.86 c (87,0) c PropagationTime_1 : 77.804105 647.81/115.86 c (87,0) c PropagationTime_2 : 74.303659 647.81/115.86 c (87,0) c PropagationTime_3 : 74.305270 647.81/115.86 c (87,0) c PropagationTime_4 : 74.265055 647.81/115.86 c (87,0) c PropagationTime_5 : 73.912072 647.81/115.86 c (87,0) c PropagationTime_6 : 74.465532 647.81/115.86 c (87,0) c PropagationTime_7 : 74.267621 647.81/115.86 c (87,0) c PropagationTime_total : 599.863616 647.81/115.86 c (87,0) c PropagationTime_winner : 73.912072 647.81/115.86 c (87,0) c AnalysisTime_0 : 1.179160 647.81/115.86 c (87,0) c AnalysisTime_1 : 1.122510 647.81/115.86 c (87,0) c AnalysisTime_2 : 1.124459 647.81/115.86 c (87,0) c AnalysisTime_3 : 1.187674 647.81/115.86 c (87,0) c AnalysisTime_4 : 1.241393 647.81/115.86 c (87,0) c AnalysisTime_5 : 1.117563 647.81/115.86 c (87,0) c AnalysisTime_6 : 1.152392 647.81/115.86 c (87,0) c AnalysisTime_7 : 1.109848 647.81/115.86 c (87,0) c AnalysisTime_total : 9.234999 647.81/115.86 c (87,0) c AnalysisTime_winner : 1.117563 647.81/115.86 c (87,0) c ReductionTime_0 : 0.001781 647.81/115.86 c (87,0) c ReductionTime_1 : 0.001508 647.81/115.86 c (87,0) c ReductionTime_2 : 0.001815 647.81/115.86 c (87,0) c ReductionTime_3 : 0.001719 647.81/115.86 c (87,0) c ReductionTime_4 : 0.002033 647.81/115.86 c (87,0) c ReductionTime_5 : 0.002880 647.81/115.86 c (87,0) c ReductionTime_6 : 0.001604 647.81/115.86 c (87,0) c ReductionTime_7 : 0.001801 647.81/115.86 c (87,0) c ReductionTime_total : 0.015141 647.81/115.86 c (87,0) c ReductionTime_winner : 0.002880 647.81/115.86 c (87,0) c SimplifyTime_0 : 1.171500 647.81/115.86 c (87,0) c SimplifyTime_1 : 1.437513 647.81/115.86 c (87,0) c SimplifyTime_2 : 2.217771 647.81/115.86 c (87,0) c SimplifyTime_3 : 1.978320 647.81/115.86 c (87,0) c SimplifyTime_4 : 2.186936 647.81/115.86 c (87,0) c SimplifyTime_5 : 2.457162 647.81/115.86 c (87,0) c SimplifyTime_6 : 1.975148 647.81/115.86 c (87,0) c SimplifyTime_7 : 2.182558 647.81/115.86 c (87,0) c SimplifyTime_total : 15.606907 647.81/115.86 c (87,0) c SimplifyTime_winner : 2.457162 647.81/115.86 c (87,0) c UsedRateTime_0 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_1 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_2 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_3 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_4 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_5 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_6 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_7 : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_total : 0.000000 647.81/115.86 c (87,0) c UsedRateTime_winner : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_0 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_1 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_2 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_3 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_4 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_5 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_6 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_7 : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_total : 0.000000 647.81/115.86 c (87,0) c OverlapRateTime_winner : 0.000000 647.81/115.86 c (87,0) c 647.81/115.86 c (87,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 647.81/115.86 c (87,0) c 647.81/115.86 c (87,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.86 c (87,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 647.81/115.86 c (87,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.86 c (87,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 647.81/115.86 c (87,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 647.81/115.86 c (87,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 647.81/115.86 c (87,0) c | Initial random_seed | 1344867263 | 615039600 | 1978384153 | 1379628006 | 1159223918 | 482307768 | 79378310 | 1525302601 | 647.81/115.86 c (87,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 647.81/115.86 c (87,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 647.81/115.86 c (87,0) c | glureduce | True | True | True | True | True | True | True | True | 647.81/115.86 c (87,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 647.81/115.86 c (87,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 647.81/115.86 c (87,0) c | luby_restart | False | False | False | False | False | False | False | False | 647.81/115.86 c (87,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 647.81/115.86 c (87,0) c | var_decay | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 647.81/115.86 c (87,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 647.81/115.86 c (87,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 647.81/115.86 c (87,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 647.81/115.86 c (87,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 647.81/115.86 c (87,0) 647.81/115.86 c (87,0) s SATISFIABLE 39.87/116.12 c (87,0) SatSolver.solve End 39.87/116.12 c (87,0) Heap : 183 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 39.87/116.12 c (87,0) Show results Begin 648.76/116.26 c (87,0) x0 = 14 648.76/116.26 c (87,0) x1 = 15 648.76/116.26 c (87,0) x10 = 526 648.76/116.26 c (87,0) x100 = 555 648.76/116.26 c (87,0) x101 = 554 648.76/116.26 c (87,0) x102 = 626 648.76/116.26 c (87,0) x103 = 625 648.76/116.26 c (87,0) x104 = 704 648.76/116.26 c (87,0) x105 = 705 648.76/116.26 c (87,0) x106 = 813 648.76/116.26 c (87,0) x107 = 814 648.76/116.26 c (87,0) x108 = 935 648.76/116.26 c (87,0) x109 = 936 648.76/116.26 c (87,0) x11 = 527 648.76/116.26 c (87,0) x110 = 1011 648.76/116.26 c (87,0) x111 = 1012 648.76/116.26 c (87,0) x112 = 1102 648.76/116.26 c (87,0) x113 = 1103 648.76/116.26 c (87,0) x114 = 1193 648.76/116.26 c (87,0) x115 = 1192 648.76/116.26 c (87,0) x116 = 1251 648.76/116.26 c (87,0) x117 = 1252 648.76/116.26 c (87,0) x118 = 1259 648.76/116.26 c (87,0) x119 = 1258 648.76/116.26 c (87,0) x12 = 629 648.76/116.26 c (87,0) x120 = 36 648.76/116.26 c (87,0) x121 = 35 648.76/116.26 c (87,0) x122 = 129 648.76/116.26 c (87,0) x123 = 130 648.76/116.26 c (87,0) x124 = 182 648.76/116.26 c (87,0) x125 = 183 648.76/116.26 c (87,0) x126 = 299 648.76/116.26 c (87,0) x127 = 298 648.76/116.26 c (87,0) x128 = 312 648.76/116.26 c (87,0) x129 = 313 648.76/116.26 c (87,0) x13 = 630 648.76/116.26 c (87,0) x130 = 332 648.76/116.26 c (87,0) x131 = 331 648.76/116.26 c (87,0) x132 = 389 648.76/116.26 c (87,0) x133 = 390 648.76/116.26 c (87,0) x134 = 461 648.76/116.26 c (87,0) x135 = 462 648.76/116.26 c (87,0) x136 = 521 648.76/116.26 c (87,0) x137 = 522 648.76/116.26 c (87,0) x138 = 728 648.76/116.26 c (87,0) x139 = 729 648.76/116.26 c (87,0) x14 = 701 648.76/116.26 c (87,0) x140 = 861 648.76/116.26 c (87,0) x141 = 862 648.76/116.26 c (87,0) x142 = 947 648.76/116.26 c (87,0) x143 = 948 648.76/116.26 c (87,0) x144 = 1057 648.76/116.26 c (87,0) x145 = 1056 648.76/116.26 c (87,0) x146 = 1130 648.76/116.26 c (87,0) x147 = 1131 648.76/116.27 c (87,0) x148 = 1242 648.76/116.27 c (87,0) x149 = 1243 648.76/116.27 c (87,0) x15 = 700 648.76/116.27 c (87,0) x150 = 72 648.76/116.27 c (87,0) x151 = 71 648.76/116.27 c (87,0) x152 = 134 648.76/116.27 c (87,0) x153 = 135 648.76/116.27 c (87,0) x154 = 195 648.76/116.27 c (87,0) x155 = 196 648.76/116.27 c (87,0) x156 = 312 648.76/116.27 c (87,0) x157 = 313 648.76/116.27 c (87,0) x158 = 371 648.76/116.27 c (87,0) x159 = 372 648.76/116.27 c (87,0) x16 = 726 648.76/116.27 c (87,0) x160 = 394 648.76/116.27 c (87,0) x161 = 393 648.76/116.27 c (87,0) x162 = 466 648.76/116.27 c (87,0) x163 = 467 648.76/116.27 c (87,0) x164 = 594 648.76/116.27 c (87,0) x165 = 593 648.76/116.27 c (87,0) x166 = 699 648.76/116.27 c (87,0) x167 = 700 648.76/116.27 c (87,0) x168 = 758 648.76/116.27 c (87,0) x169 = 759 648.76/116.27 c (87,0) x17 = 727 648.76/116.27 c (87,0) x170 = 810 648.76/116.27 c (87,0) x171 = 809 648.76/116.27 c (87,0) x172 = 880 648.76/116.27 c (87,0) x173 = 881 648.76/116.27 c (87,0) x174 = 944 648.76/116.27 c (87,0) x175 = 943 648.76/116.27 c (87,0) x176 = 1020 648.76/116.27 c (87,0) x177 = 1021 648.76/116.27 c (87,0) x178 = 1191 648.76/116.27 c (87,0) x179 = 1192 648.76/116.27 c (87,0) x18 = 825 648.76/116.27 c (87,0) x180 = 17 648.76/116.27 c (87,0) x181 = 16 648.76/116.27 c (87,0) x182 = 167 648.76/116.27 c (87,0) x183 = 168 648.76/116.27 c (87,0) x184 = 246 648.76/116.27 c (87,0) x185 = 245 648.76/116.27 c (87,0) x186 = 336 648.76/116.27 c (87,0) x187 = 337 648.76/116.27 c (87,0) x188 = 371 648.76/116.27 c (87,0) x189 = 370 648.76/116.27 c (87,0) x19 = 826 648.76/116.27 c (87,0) x190 = 416 648.76/116.27 c (87,0) x191 = 417 648.76/116.27 c (87,0) x192 = 426 648.76/116.27 c (87,0) x193 = 425 648.76/116.27 c (87,0) x194 = 434 648.76/116.27 c (87,0) x195 = 435 648.76/116.27 c (87,0) x196 = 504 648.76/116.27 c (87,0) x197 = 503 648.76/116.27 c (87,0) x198 = 574 648.76/116.27 c (87,0) x199 = 575 648.76/116.27 c (87,0) x2 = 205 648.76/116.27 c (87,0) x20 = 875 648.76/116.27 c (87,0) x200 = 649 648.76/116.27 c (87,0) x201 = 648 648.76/116.27 c (87,0) x202 = 927 648.76/116.27 c (87,0) x203 = 926 648.76/116.27 c (87,0) x204 = 1028 648.76/116.27 c (87,0) x205 = 1029 648.76/116.27 c (87,0) x206 = 1098 648.76/116.27 c (87,0) x207 = 1099 648.76/116.27 c (87,0) x208 = 1193 648.76/116.27 c (87,0) x209 = 1192 648.76/116.27 c (87,0) x21 = 874 648.76/116.27 c (87,0) x210 = 0 648.76/116.27 c (87,0) x211 = 1 648.76/116.27 c (87,0) x212 = 61 648.76/116.27 c (87,0) x213 = 60 648.76/116.27 c (87,0) x214 = 165 648.76/116.27 c (87,0) x215 = 190 648.76/116.27 c (87,0) x216 = 354 648.76/116.27 c (87,0) x217 = 353 648.76/116.27 c (87,0) x218 = 434 648.76/116.27 c (87,0) x219 = 433 648.76/116.27 c (87,0) x22 = 918 648.76/116.27 c (87,0) x220 = 497 648.76/116.27 c (87,0) x221 = 498 648.76/116.27 c (87,0) x222 = 604 648.76/116.27 c (87,0) x223 = 605 648.76/116.27 c (87,0) x224 = 628 648.76/116.27 c (87,0) x225 = 627 648.76/116.27 c (87,0) x226 = 692 648.76/116.27 c (87,0) x227 = 691 648.76/116.27 c (87,0) x228 = 833 648.76/116.27 c (87,0) x229 = 832 648.76/116.27 c (87,0) x23 = 919 648.76/116.27 c (87,0) x230 = 858 648.76/116.27 c (87,0) x231 = 857 648.76/116.27 c (87,0) x232 = 918 648.76/116.27 c (87,0) x233 = 917 648.76/116.27 c (87,0) x234 = 930 648.76/116.27 c (87,0) x235 = 931 648.76/116.27 c (87,0) x236 = 992 648.76/116.27 c (87,0) x237 = 993 648.76/116.27 c (87,0) x238 = 1004 648.76/116.27 c (87,0) x239 = 1003 648.76/116.27 c (87,0) x24 = 930 648.76/116.27 c (87,0) x240 = 249 648.76/116.27 c (87,0) x241 = 250 648.76/116.27 c (87,0) x242 = 343 648.76/116.27 c (87,0) x243 = 342 648.76/116.27 c (87,0) x244 = 434 648.76/116.27 c (87,0) x245 = 433 648.76/116.27 c (87,0) x246 = 512 648.76/116.27 c (87,0) x247 = 513 648.76/116.27 c (87,0) x248 = 592 648.76/116.27 c (87,0) x249 = 591 648.76/116.27 c (87,0) x25 = 929 648.76/116.27 c (87,0) x250 = 683 648.76/116.27 c (87,0) x251 = 684 648.76/116.27 c (87,0) x252 = 774 648.76/116.27 c (87,0) x253 = 773 648.76/116.27 c (87,0) x254 = 837 648.76/116.27 c (87,0) x255 = 838 648.76/116.27 c (87,0) x256 = 878 648.76/116.27 c (87,0) x257 = 877 648.76/116.27 c (87,0) x258 = 948 648.76/116.27 c (87,0) x259 = 949 648.76/116.27 c (87,0) x26 = 1168 648.76/116.27 c (87,0) x260 = 967 648.76/116.27 c (87,0) x261 = 966 648.76/116.27 c (87,0) x262 = 1019 648.76/116.27 c (87,0) x263 = 1020 648.76/116.27 c (87,0) x264 = 1103 648.76/116.27 c (87,0) x265 = 1102 648.76/116.27 c (87,0) x266 = 1166 648.76/116.27 c (87,0) x267 = 1167 648.76/116.27 c (87,0) x268 = 1191 648.76/116.27 c (87,0) x269 = 1190 648.76/116.27 c (87,0) x27 = 1169 648.76/116.27 c (87,0) x270 = 0 648.76/116.27 c (87,0) x271 = 1 648.76/116.27 c (87,0) x272 = 6 648.76/116.27 c (87,0) x273 = 5 648.76/116.27 c (87,0) x274 = 41 648.76/116.27 c (87,0) x275 = 42 648.76/116.27 c (87,0) x276 = 236 648.76/116.27 c (87,0) x277 = 235 648.76/116.27 c (87,0) x278 = 318 648.76/116.27 c (87,0) x279 = 319 648.76/116.27 c (87,0) x28 = 1190 648.76/116.27 c (87,0) x280 = 434 648.76/116.27 c (87,0) x281 = 435 648.76/116.27 c (87,0) x282 = 471 648.76/116.27 c (87,0) x283 = 470 648.76/116.27 c (87,0) x284 = 660 648.76/116.27 c (87,0) x285 = 661 648.76/116.27 c (87,0) x286 = 781 648.76/116.27 c (87,0) x287 = 782 648.76/116.27 c (87,0) x288 = 845 648.76/116.27 c (87,0) x289 = 844 648.76/116.27 c (87,0) x29 = 1189 648.76/116.27 c (87,0) x290 = 910 648.76/116.27 c (87,0) x291 = 909 648.76/116.27 c (87,0) x292 = 992 648.76/116.27 c (87,0) x293 = 991 648.76/116.27 c (87,0) x294 = 1086 648.76/116.27 c (87,0) x295 = 1087 648.76/116.27 c (87,0) x296 = 1104 648.76/116.27 c (87,0) x297 = 1103 648.76/116.27 c (87,0) x298 = 1226 648.76/116.27 c (87,0) x299 = 1225 648.76/116.27 c (87,0) x3 = 101 648.76/116.27 c (87,0) x30 = 0 648.76/116.27 c (87,0) x300 = 0 648.76/116.27 c (87,0) x301 = 1 648.76/116.27 c (87,0) x302 = 41 648.76/116.27 c (87,0) x303 = 42 648.76/116.27 c (87,0) x304 = 84 648.76/116.27 c (87,0) x305 = 83 648.76/116.27 c (87,0) x306 = 146 648.76/116.27 c (87,0) x307 = 147 648.76/116.27 c (87,0) x308 = 226 648.76/116.27 c (87,0) x309 = 227 648.76/116.27 c (87,0) x31 = 1 648.76/116.27 c (87,0) x310 = 341 648.76/116.27 c (87,0) x311 = 342 648.76/116.27 c (87,0) x312 = 373 648.76/116.27 c (87,0) x313 = 374 648.76/116.27 c (87,0) x314 = 458 648.76/116.28 c (87,0) x315 = 457 648.76/116.28 c (87,0) x316 = 521 648.76/116.28 c (87,0) x317 = 522 648.76/116.28 c (87,0) x318 = 700 648.76/116.28 c (87,0) x319 = 701 648.76/116.28 c (87,0) x32 = 100 648.76/116.28 c (87,0) x320 = 788 648.76/116.28 c (87,0) x321 = 790 648.76/116.28 c (87,0) x322 = 876 648.76/116.28 c (87,0) x323 = 877 648.76/116.28 c (87,0) x324 = 972 648.76/116.28 c (87,0) x325 = 971 648.76/116.28 c (87,0) x326 = 1022 648.76/116.28 c (87,0) x327 = 1023 648.76/116.28 c (87,0) x328 = 1153 648.76/116.28 c (87,0) x329 = 1152 648.76/116.28 c (87,0) x33 = 99 648.76/116.28 c (87,0) x330 = 61 648.76/116.28 c (87,0) x331 = 60 648.76/116.28 c (87,0) x332 = 85 648.76/116.28 c (87,0) x333 = 84 648.76/116.28 c (87,0) x334 = 264 648.76/116.28 c (87,0) x335 = 265 648.76/116.28 c (87,0) x336 = 300 648.76/116.28 c (87,0) x337 = 301 648.76/116.28 c (87,0) x338 = 338 648.76/116.28 c (87,0) x339 = 337 648.76/116.28 c (87,0) x34 = 130 648.76/116.28 c (87,0) x340 = 384 648.76/116.28 c (87,0) x341 = 385 648.76/116.28 c (87,0) x342 = 640 648.76/116.28 c (87,0) x343 = 639 648.76/116.28 c (87,0) x344 = 661 648.76/116.28 c (87,0) x345 = 660 648.76/116.28 c (87,0) x346 = 670 648.76/116.28 c (87,0) x347 = 669 648.76/116.28 c (87,0) x348 = 729 648.76/116.28 c (87,0) x349 = 728 648.76/116.28 c (87,0) x35 = 129 648.76/116.28 c (87,0) x350 = 851 648.76/116.28 c (87,0) x351 = 879 648.76/116.28 c (87,0) x352 = 934 648.76/116.28 c (87,0) x353 = 935 648.76/116.28 c (87,0) x354 = 986 648.76/116.28 c (87,0) x355 = 987 648.76/116.28 c (87,0) x356 = 995 648.76/116.28 c (87,0) x357 = 994 648.76/116.28 c (87,0) x358 = 1035 648.76/116.28 c (87,0) x359 = 1036 648.76/116.28 c (87,0) x36 = 168 648.76/116.28 c (87,0) x360 = 0 648.76/116.28 c (87,0) x361 = 1 648.76/116.28 c (87,0) x362 = 29 648.76/116.28 c (87,0) x363 = 28 648.76/116.28 c (87,0) x364 = 68 648.76/116.28 c (87,0) x365 = 67 648.76/116.28 c (87,0) x366 = 125 648.76/116.28 c (87,0) x367 = 126 648.76/116.28 c (87,0) x368 = 168 648.76/116.28 c (87,0) x369 = 169 648.76/116.28 c (87,0) x37 = 169 648.76/116.28 c (87,0) x370 = 282 648.76/116.28 c (87,0) x371 = 257 648.76/116.28 c (87,0) x372 = 367 648.76/116.28 c (87,0) x373 = 368 648.76/116.28 c (87,0) x374 = 392 648.76/116.28 c (87,0) x375 = 393 648.76/116.28 c (87,0) x376 = 438 648.76/116.28 c (87,0) x377 = 437 648.76/116.28 c (87,0) x378 = 573 648.76/116.28 c (87,0) x379 = 574 648.76/116.28 c (87,0) x38 = 205 648.76/116.28 c (87,0) x380 = 589 648.76/116.28 c (87,0) x381 = 588 648.76/116.28 c (87,0) x382 = 799 648.76/116.28 c (87,0) x383 = 809 648.76/116.28 c (87,0) x384 = 878 648.76/116.28 c (87,0) x385 = 877 648.76/116.28 c (87,0) x386 = 899 648.76/116.28 c (87,0) x387 = 900 648.76/116.28 c (87,0) x388 = 968 648.76/116.28 c (87,0) x389 = 969 648.76/116.28 c (87,0) x39 = 204 648.76/116.28 c (87,0) x390 = 6 648.76/116.28 c (87,0) x391 = 5 648.76/116.28 c (87,0) x392 = 215 648.76/116.28 c (87,0) x393 = 214 648.76/116.28 c (87,0) x394 = 310 648.76/116.28 c (87,0) x395 = 311 648.76/116.28 c (87,0) x396 = 398 648.76/116.28 c (87,0) x397 = 399 648.76/116.28 c (87,0) x398 = 470 648.76/116.28 c (87,0) x399 = 469 648.76/116.28 c (87,0) x4 = 300 648.76/116.28 c (87,0) x40 = 339 648.76/116.28 c (87,0) x400 = 568 648.76/116.28 c (87,0) x401 = 569 648.76/116.28 c (87,0) x402 = 597 648.76/116.28 c (87,0) x403 = 596 648.76/116.28 c (87,0) x404 = 632 648.76/116.28 c (87,0) x405 = 631 648.76/116.28 c (87,0) x406 = 701 648.76/116.28 c (87,0) x407 = 700 648.76/116.28 c (87,0) x408 = 796 648.76/116.28 c (87,0) x409 = 797 648.76/116.28 c (87,0) x41 = 338 648.76/116.28 c (87,0) x410 = 862 648.76/116.28 c (87,0) x411 = 861 648.76/116.28 c (87,0) x412 = 923 648.76/116.28 c (87,0) x413 = 922 648.76/116.28 c (87,0) x414 = 1020 648.76/116.28 c (87,0) x415 = 1021 648.76/116.28 c (87,0) x416 = 1127 648.76/116.28 c (87,0) x417 = 1128 648.76/116.28 c (87,0) x418 = 1191 648.76/116.28 c (87,0) x419 = 1190 648.76/116.28 c (87,0) x42 = 415 648.76/116.28 c (87,0) x420 = 0 648.76/116.28 c (87,0) x421 = 1 648.76/116.28 c (87,0) x422 = 69 648.76/116.28 c (87,0) x423 = 68 648.76/116.28 c (87,0) x424 = 188 648.76/116.28 c (87,0) x425 = 181 648.76/116.28 c (87,0) x426 = 226 648.76/116.28 c (87,0) x427 = 227 648.76/116.28 c (87,0) x428 = 251 648.76/116.28 c (87,0) x429 = 250 648.76/116.28 c (87,0) x43 = 416 648.76/116.28 c (87,0) x430 = 335 648.76/116.28 c (87,0) x431 = 336 648.76/116.28 c (87,0) x432 = 385 648.76/116.28 c (87,0) x433 = 386 648.76/116.28 c (87,0) x434 = 468 648.76/116.28 c (87,0) x435 = 469 648.76/116.28 c (87,0) x436 = 470 648.76/116.28 c (87,0) x437 = 471 648.76/116.28 c (87,0) x438 = 563 648.76/116.28 c (87,0) x439 = 562 648.76/116.28 c (87,0) x44 = 453 648.76/116.28 c (87,0) x440 = 733 648.76/116.28 c (87,0) x441 = 732 648.76/116.28 c (87,0) x442 = 853 648.76/116.28 c (87,0) x443 = 852 648.76/116.28 c (87,0) x444 = 947 648.76/116.28 c (87,0) x445 = 946 648.76/116.28 c (87,0) x446 = 967 648.76/116.28 c (87,0) x447 = 968 648.76/116.28 c (87,0) x448 = 1086 648.76/116.28 c (87,0) x449 = 1087 648.76/116.28 c (87,0) x45 = 452 648.76/116.28 c (87,0) x46 = 482 648.76/116.28 c (87,0) x47 = 481 648.76/116.28 c (87,0) x48 = 544 648.76/116.28 c (87,0) x49 = 545 648.76/116.28 c (87,0) x5 = 299 648.76/116.28 c (87,0) x50 = 633 648.76/116.28 c (87,0) x51 = 634 648.76/116.28 c (87,0) x52 = 699 648.76/116.28 c (87,0) x53 = 698 648.76/116.28 c (87,0) x54 = 710 648.76/116.28 c (87,0) x55 = 711 648.76/116.28 c (87,0) x56 = 731 648.76/116.28 c (87,0) x57 = 730 648.76/116.28 c (87,0) x58 = 1239 648.76/116.28 c (87,0) x59 = 1240 648.76/116.28 c (87,0) x6 = 374 648.76/116.28 c (87,0) x60 = 0 648.76/116.28 c (87,0) x61 = 1 648.76/116.28 c (87,0) x62 = 154 648.76/116.28 c (87,0) x63 = 155 648.76/116.28 c (87,0) x64 = 222 648.76/116.28 c (87,0) x65 = 221 648.76/116.28 c (87,0) x66 = 328 648.76/116.28 c (87,0) x67 = 329 648.76/116.28 c (87,0) x68 = 420 648.76/116.28 c (87,0) x69 = 419 648.76/116.28 c (87,0) x7 = 375 648.76/116.28 c (87,0) x70 = 550 648.76/116.28 c (87,0) x71 = 549 648.76/116.28 c (87,0) x72 = 631 648.76/116.28 c (87,0) x73 = 632 648.76/116.28 c (87,0) x74 = 693 648.76/116.28 c (87,0) x75 = 692 648.76/116.28 c (87,0) x76 = 820 648.76/116.28 c (87,0) x77 = 821 648.76/116.28 c (87,0) x78 = 867 648.76/116.28 c (87,0) x79 = 866 648.76/116.28 c (87,0) x8 = 461 648.76/116.28 c (87,0) x80 = 930 648.76/116.28 c (87,0) x81 = 929 648.76/116.28 c (87,0) x82 = 952 648.76/116.28 c (87,0) x83 = 953 648.76/116.28 c (87,0) x84 = 1064 648.76/116.28 c (87,0) x85 = 1063 648.76/116.28 c (87,0) x86 = 1102 648.76/116.28 c (87,0) x87 = 1103 648.76/116.28 c (87,0) x88 = 1181 648.76/116.28 c (87,0) x89 = 1180 648.76/116.28 c (87,0) x9 = 460 648.76/116.28 c (87,0) x90 = 1 648.76/116.28 c (87,0) x91 = 0 648.76/116.28 c (87,0) x92 = 235 648.76/116.28 c (87,0) x93 = 234 648.76/116.28 c (87,0) x94 = 283 648.76/116.28 c (87,0) x95 = 282 648.76/116.28 c (87,0) x96 = 382 648.76/116.28 c (87,0) x97 = 383 648.76/116.28 c (87,0) x98 = 519 648.76/116.28 c (87,0) x99 = 531 648.76/116.28 s SATISFIABLE 648.76/116.28 v <instantiation> 648.76/116.28 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449</list> 648.76/116.28 v <values>14 15 205 101 300 299 374 375 461 460 526 527 629 630 701 700 726 727 825 826 875 874 918 919 930 929 1168 1169 1190 1189 0 1 100 99 130 129 168 169 205 204 339 338 415 416 453 452 482 481 544 545 633 634 699 698 710 711 731 730 1239 1240 0 1 154 155 222 221 328 329 420 419 550 549 631 632 693 692 820 821 867 866 930 929 952 953 1064 1063 1102 1103 1181 1180 1 0 235 234 283 282 382 383 519 531 555 554 626 625 704 705 813 814 935 936 1011 1012 1102 1103 1193 1192 1251 1252 1259 1258 36 35 129 130 182 183 299 298 312 313 332 331 389 390 461 462 521 522 728 729 861 862 947 948 1057 1056 1130 1131 1242 1243 72 71 134 135 195 196 312 313 371 372 394 393 466 467 594 593 699 700 758 759 810 809 880 881 944 943 1020 1021 1191 1192 17 16 167 168 246 245 336 337 371 370 416 417 426 425 434 435 504 503 574 575 649 648 927 926 1028 1029 1098 1099 1193 1192 0 1 61 60 165 190 354 353 434 433 497 498 604 605 628 627 692 691 833 832 858 857 918 917 930 931 992 993 1004 1003 249 250 343 342 434 433 512 513 592 591 683 684 774 773 837 838 878 877 948 949 967 966 1019 1020 1103 1102 1166 1167 1191 1190 0 1 6 5 41 42 236 235 318 319 434 435 471 470 660 661 781 782 845 844 910 909 992 991 1086 1087 1104 1103 1226 1225 0 1 41 42 84 83 146 147 226 227 341 342 373 374 458 457 521 522 700 701 788 790 876 877 972 971 1022 1023 1153 1152 61 60 85 84 264 265 300 301 338 337 384 385 640 639 661 660 670 669 729 728 851 879 934 935 986 987 995 994 1035 1036 0 1 29 28 68 67 125 126 168 169 282 257 367 368 392 393 438 437 573 574 589 588 799 809 878 877 899 900 968 969 6 5 215 214 310 311 398 399 470 469 568 569 597 596 632 631 701 700 796 797 862 861 923 922 1020 1021 1127 1128 1191 1190 0 1 69 68 188 181 226 227 251 250 335 336 385 386 468 469 470 471 563 562 733 732 853 852 947 946 967 968 1086 1087</values> 648.76/116.28 v </instantiation> 648.76/116.28 c (87,0) Show results End 648.76/116.28 c (87,0) Heap : 204 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 648.76/116.28 c (87,0) 87,87,STOP-AFTER(ALL) 648.76/116.28 c END-Prog: Sat Sep 14 08:26:06 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15132 MiB free)
memory of node 1: 16384 MiB (15594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392784-1568442292/watcher-4392784-1568442292 -o /tmp/evaluation-result-4392784-1568442292/solver-4392784-1568442292 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568437491-14080 --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-4392784-1568442292.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=15140, runsolver pid=15137
[startup+0.100064 s]*
/proc/loadavg: 8.21 8.34 8.28 2/212 15162
/proc/meminfo: memFree=31370780/32770624 swapFree=66982492/67108860
[pid=15140] ppid=15137 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15140/stat : 15140 (scop.sh) S 15137 15140 14053 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420491826 115843072 349 33554432000 4194304 5098028 140731740320032 140731740317288 140195213083260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16949248 140731740328740 140731740329068 140731740329068 140731740331981 0
/proc/15140/statm: 28282 349 296 221 0 87 0
[pid=15143] ppid=15140 vsize=27314120 memory=105324 CPUtime=0.1 cores=0-7
/proc/15143/stat : 15143 (java) S 15140 15140 14053 0 -1 1077944320 6924 0 0 0 8 2 0 0 20 0 20 0 420491827 27969658880 26331 33554432000 4194304 4196468 140731167618192 140731167600736 139679097851639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
/proc/15143/statm: 6828530 26331 2804 1 0 6790935 0
[pid=15143/tid=15144] ppid=15140 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/15143/task/15144/stat : 15144 (java) R 15140 15140 14053 0 -1 4202560 5014 0 0 0 7 2 0 0 20 0 20 0 420491827 27969658880 26331 33554432000 4194304 4196468 140731167618192 139679069674688 139679097863574 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15145] ppid=15140 vsize=27314120 memory=732370760110742501 CPUtime=0 cores=0-7
/proc/15143/task/15145/stat : 15145 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139679102093584 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15146] ppid=15140 vsize=27314120 memory=140621773289088 CPUtime=0 cores=0-7
/proc/15143/task/15146/stat : 15146 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139678916250000 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15147] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15147/stat : 15147 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139678915197456 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15148] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15148/stat : 15148 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139678517459600 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15149] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15149/stat : 15149 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139678516407056 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15150] ppid=15140 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15143/task/15150/stat : 15150 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139678515354512 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15151] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15151/stat : 15151 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139678514301968 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15152] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15152/stat : 15152 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 26331 33554432000 4194304 4196468 140731167618192 139678513249424 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15153] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15153/stat : 15153 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491831 27969658880 26331 33554432000 4194304 4196468 140731167618192 139677552003056 139679097862786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15154] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15154/stat : 15154 (java) S 15140 15140 14053 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420491831 27969658880 26331 33554432000 4194304 4196468 140731167618192 139676765643680 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15155] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15155/stat : 15155 (java) S 15140 15140 14053 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420491832 27969658880 26331 33554432000 4194304 4196468 140731167618192 139676631421936 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15156] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15156/stat : 15156 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 26331 33554432000 4194304 4196468 140731167618192 139676256917712 139679097870235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15157] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15157/stat : 15157 (java) S 15140 15140 14053 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 26331 33554432000 4194304 4196468 140731167618192 139677550950896 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15158] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15158/stat : 15158 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 26331 33554432000 4194304 4196468 140731167618192 139677549898352 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15159] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15159/stat : 15159 (java) R 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 26331 33554432000 4194304 4196468 140731167618192 139677548845808 139679097862786 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15160] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15160/stat : 15160 (java) R 15140 15140 14053 0 -1 4202560 260 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 26331 33554432000 4194304 4196468 140731167618192 139677547793264 139679097872986 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15161] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15161/stat : 15161 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 26331 33554432000 4194304 4196468 140731167618192 139675759012064 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15162] ppid=15140 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15143/task/15162/stat : 15162 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491835 27969658880 26331 33554432000 4194304 4196468 140731167618192 139677546740144 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106720 KiB
[startup+0.209909 s]*
/proc/loadavg: 8.21 8.34 8.28 2/212 15162
/proc/meminfo: memFree=31348788/32770624 swapFree=66982492/67108860
[pid=15140] ppid=15137 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15140/stat : 15140 (scop.sh) S 15137 15140 14053 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420491826 115843072 349 33554432000 4194304 5098028 140731740320032 140731740317288 140195213083260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16949248 140731740328740 140731740329068 140731740329068 140731740331981 0
/proc/15140/statm: 28282 349 296 221 0 87 0
[pid=15143] ppid=15140 vsize=27314120 memory=124636 CPUtime=0.25 cores=0-7
/proc/15143/stat : 15143 (java) S 15140 15140 14053 0 -1 1077944320 12414 0 0 0 20 5 0 0 20 0 20 0 420491827 27969658880 31159 33554432000 4194304 4196468 140731167618192 140731167600736 139679097851639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
/proc/15143/statm: 6828530 31159 2972 1 0 6790935 0
[pid=15143/tid=15144] ppid=15140 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/15143/task/15144/stat : 15144 (java) R 15140 15140 14053 0 -1 4202560 10130 0 0 0 16 4 0 0 20 0 20 0 420491827 27969658880 31159 33554432000 4194304 4196468 140731167618192 139679069672544 139679079415149 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15145] ppid=15140 vsize=27314120 memory=732370760110742501 CPUtime=0 cores=0-7
/proc/15143/task/15145/stat : 15145 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139679102093584 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15146] ppid=15140 vsize=27314120 memory=140621773289088 CPUtime=0 cores=0-7
/proc/15143/task/15146/stat : 15146 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139678916250000 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15147] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15147/stat : 15147 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139678915197456 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15148] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15148/stat : 15148 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139678517459600 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15149] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15149/stat : 15149 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139678516407056 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15150] ppid=15140 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15143/task/15150/stat : 15150 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139678515354512 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15151] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15151/stat : 15151 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139678514301968 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15152] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15152/stat : 15152 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 31159 33554432000 4194304 4196468 140731167618192 139678513249424 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15153] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15153/stat : 15153 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491831 27969658880 31159 33554432000 4194304 4196468 140731167618192 139677552003056 139679097862786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15154] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15154/stat : 15154 (java) S 15140 15140 14053 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420491831 27969658880 31159 33554432000 4194304 4196468 140731167618192 139676765643680 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15155] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15155/stat : 15155 (java) S 15140 15140 14053 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420491832 27969658880 31159 33554432000 4194304 4196468 140731167618192 139676631421936 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15156] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15156/stat : 15156 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 31159 33554432000 4194304 4196468 140731167618192 139676256917712 139679097870235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15157] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15157/stat : 15157 (java) S 15140 15140 14053 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 31159 33554432000 4194304 4196468 140731167618192 139677550950896 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15158] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15158/stat : 15158 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 31159 33554432000 4194304 4196468 140731167618192 139677549898352 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15159] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15159/stat : 15159 (java) S 15140 15140 14053 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 31159 33554432000 4194304 4196468 140731167618192 139677548845808 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15160] ppid=15140 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15143/task/15160/stat : 15160 (java) S 15140 15140 14053 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 420491834 27969658880 31159 33554432000 4194304 4196468 140731167618192 139677547793264 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15161] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15161/stat : 15161 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 31159 33554432000 4194304 4196468 140731167618192 139675759012064 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15162] ppid=15140 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15143/task/15162/stat : 15162 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491835 27969658880 31159 33554432000 4194304 4196468 140731167618192 139677546740144 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126032 KiB
[startup+0.309556 s]*
/proc/loadavg: 8.21 8.34 8.28 2/212 15162
/proc/meminfo: memFree=31346492/32770624 swapFree=66982492/67108860
[pid=15140] ppid=15137 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15140/stat : 15140 (scop.sh) S 15137 15140 14053 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420491826 115843072 349 33554432000 4194304 5098028 140731740320032 140731740317288 140195213083260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16949248 140731740328740 140731740329068 140731740329068 140731740331981 0
/proc/15140/statm: 28282 349 296 221 0 87 0
[pid=15143] ppid=15140 vsize=27314120 memory=128056 CPUtime=0.43 cores=0-7
/proc/15143/stat : 15143 (java) S 15140 15140 14053 0 -1 1077944320 13384 0 0 0 37 6 0 0 20 0 20 0 420491827 27969658880 32014 33554432000 4194304 4196468 140731167618192 140731167600736 139679097851639 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
/proc/15143/statm: 6828530 32014 3025 1 0 6790935 0
[pid=15143/tid=15144] ppid=15140 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/15143/task/15144/stat : 15144 (java) R 15140 15140 14053 0 -1 4202560 10931 0 0 0 25 4 0 0 20 0 20 0 420491827 27969658880 32014 33554432000 4194304 4196468 140731167618192 139679069681712 139679081932126 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15145] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15145/stat : 15145 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139679102093584 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15146] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15146/stat : 15146 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139678916250000 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15147] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15147/stat : 15147 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139678915197456 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15148] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15148/stat : 15148 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139678517459600 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15149] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15149/stat : 15149 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139678516407056 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15150] ppid=15140 vsize=27314120 memory=140621658548911 CPUtime=0 cores=0-7
/proc/15143/task/15150/stat : 15150 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139678515354512 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15151] ppid=15140 vsize=27314120 memory=140621658551216 CPUtime=0 cores=0-7
/proc/15143/task/15151/stat : 15151 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139678514301968 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15152] ppid=15140 vsize=27314120 memory=140621658553520 CPUtime=0 cores=0-7
/proc/15143/task/15152/stat : 15152 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27969658880 32014 33554432000 4194304 4196468 140731167618192 139678513249424 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15153] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15153/stat : 15153 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491831 27969658880 32014 33554432000 4194304 4196468 140731167618192 139677552003056 139679097862786 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15154] ppid=15140 vsize=27314120 memory=281243317120912 CPUtime=0 cores=0-7
/proc/15143/task/15154/stat : 15154 (java) S 15140 15140 14053 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420491831 27969658880 32014 33554432000 4194304 4196468 140731167618192 139676765643680 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15155] ppid=15140 vsize=27314120 memory=281243317118608 CPUtime=0 cores=0-7
/proc/15143/task/15155/stat : 15155 (java) S 15140 15140 14053 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420491832 27969658880 32014 33554432000 4194304 4196468 140731167618192 139676631421936 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15156] ppid=15140 vsize=27314120 memory=281243317125520 CPUtime=0 cores=0-7
/proc/15143/task/15156/stat : 15156 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 32014 33554432000 4194304 4196468 140731167618192 139676256917712 139679097870235 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15157] ppid=15140 vsize=27314120 memory=281243317066768 CPUtime=0.01 cores=0-7
/proc/15143/task/15157/stat : 15157 (java) S 15140 15140 14053 0 -1 1077944384 379 0 0 0 1 0 0 0 20 0 20 0 420491834 27969658880 32014 33554432000 4194304 4196468 140731167618192 139677550950896 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15158] ppid=15140 vsize=27314120 memory=281243317139344 CPUtime=0 cores=0-7
/proc/15143/task/15158/stat : 15158 (java) S 15140 15140 14053 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 32014 33554432000 4194304 4196468 140731167618192 139677549898352 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15159] ppid=15140 vsize=27314120 memory=281243317146256 CPUtime=0.01 cores=0-7
/proc/15143/task/15159/stat : 15159 (java) S 15140 15140 14053 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 20 0 420491834 27969658880 32014 33554432000 4194304 4196468 140731167618192 139677548845808 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15160] ppid=15140 vsize=27314120 memory=281243317143952 CPUtime=0.07 cores=0-7
/proc/15143/task/15160/stat : 15160 (java) S 15140 15140 14053 0 -1 1077944384 471 0 0 0 7 0 0 0 20 0 20 0 420491834 27969658880 32014 33554432000 4194304 4196468 140731167618192 139677547793264 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15161] ppid=15140 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15161/stat : 15161 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491834 27969658880 32014 33554432000 4194304 4196468 140731167618192 139675759012064 139679097861845 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15162] ppid=15140 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15143/task/15162/stat : 15162 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491835 27969658880 32014 33554432000 4194304 4196468 140731167618192 139677546740144 139679097862786 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129452 KiB
[startup+0.700927 s]
/proc/loadavg: 8.21 8.34 8.28 2/212 15162
/proc/meminfo: memFree=31326536/32770624 swapFree=66982492/67108860
[pid=15140] ppid=15137 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15140/stat : 15140 (scop.sh) S 15137 15140 14053 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420491826 115843072 349 33554432000 4194304 5098028 140731740320032 140731740317288 140195213083260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16949248 140731740328740 140731740329068 140731740329068 140731740331981 0
/proc/15140/statm: 28282 349 296 221 0 87 0
[pid=15143] ppid=15140 vsize=27320392 memory=164996 CPUtime=0.99 cores=0-7
/proc/15143/stat : 15143 (java) S 15140 15140 14053 0 -1 1077944320 20325 0 0 0 91 8 0 0 20 0 20 0 420491827 27976081408 41249 33554432000 4194304 4196468 140731167618192 140731167600736 139679097851639 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
/proc/15143/statm: 6830098 41249 3183 1 0 6791447 0
[pid=15143/tid=15144] ppid=15140 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/15143/task/15144/stat : 15144 (java) R 15140 15140 14053 0 -1 4202560 17355 0 0 0 61 7 0 0 20 0 20 0 420491827 27976081408 41249 33554432000 4194304 4196468 140731167618192 139679069689168 139679097863574 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15145] ppid=15140 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15145/stat : 15145 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420491829 27976081408 41249 33554432000 4194304 4196468 140731167618192 139679102093584 139679097861845 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15146] ppid=15140 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15146/stat : 15146 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420491829 27976081408 41249 33554432000 4194304 4196468 140731167618192 139678916250000 139679097861845 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
[pid=15143/tid=15147] ppid=15140 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15143/task/15147/stat : 15147 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420491829 27976081408 41249 33554432000 4194304 4196468 140731167618192 139678915197456 139679097861845 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11300864 140731167625962 140731167626390 140731167626390 140731167629263 0
################
# More data... #
################
[pid=15165/tid=15166] ppid=15140 vsize=8414124 memory=8317482817917895235 CPUtime=0.78 cores=0-7
/proc/15165/task/15166/stat : 15166 (java) S 15140 15140 14053 0 -1 1077944384 17226 0 0 0 72 6 0 0 20 0 24 0 420494644 8616062976 48254 33554432000 4194304 4196468 140725165556864 139858314088352 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15167] ppid=15140 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/15165/task/15167/stat : 15167 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420494645 8616062976 48254 33554432000 4194304 4196468 140725165556864 139858346490384 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15168] ppid=15140 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/15165/task/15168/stat : 15168 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420494645 8616062976 48254 33554432000 4194304 4196468 140725165556864 139858164578960 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15169] ppid=15140 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/15165/task/15169/stat : 15169 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420494645 8616062976 48254 33554432000 4194304 4196468 140725165556864 139858163525904 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15170] ppid=15140 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/15165/task/15170/stat : 15170 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420494645 8616062976 48254 33554432000 4194304 4196468 140725165556864 139858162473360 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15171] ppid=15140 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/15165/task/15171/stat : 15171 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420494645 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857824218128 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15172] ppid=15140 vsize=8414124 memory=4160 CPUtime=0 cores=0-7
/proc/15165/task/15172/stat : 15172 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420494646 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857823165584 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15173] ppid=15140 vsize=8414124 memory=1692 CPUtime=0 cores=0-7
/proc/15165/task/15173/stat : 15173 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420494646 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857822112528 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15174] ppid=15140 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/15165/task/15174/stat : 15174 (java) S 15140 15140 14053 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420494646 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857821059984 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15175] ppid=15140 vsize=8414124 memory=2404 CPUtime=0 cores=0-7
/proc/15165/task/15175/stat : 15175 (java) S 15140 15140 14053 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420494647 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857637112048 139858342259330 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15176] ppid=15140 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/15165/task/15176/stat : 15176 (java) S 15140 15140 14053 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420494647 8616062976 48254 33554432000 4194304 4196468 140725165556864 139856952943776 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15177] ppid=15140 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/15165/task/15177/stat : 15177 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420494648 8616062976 48254 33554432000 4194304 4196468 140725165556864 139856684507888 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15178] ppid=15140 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/15165/task/15178/stat : 15178 (java) S 15140 15140 14053 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420494650 8616062976 48254 33554432000 4194304 4196468 140725165556864 139856309999568 139858342266779 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15179] ppid=15140 vsize=8414124 memory=1804 CPUtime=0.12 cores=0-7
/proc/15165/task/15179/stat : 15179 (java) S 15140 15140 14053 0 -1 1077944384 885 0 0 0 12 0 0 0 20 0 24 0 420494650 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857636059888 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15180] ppid=15140 vsize=8414124 memory=920 CPUtime=0.08 cores=0-7
/proc/15165/task/15180/stat : 15180 (java) R 15140 15140 14053 0 -1 4202560 367 0 0 0 8 0 0 0 20 0 24 0 420494650 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857635007344 139858327155280 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15181] ppid=15140 vsize=8414124 memory=4136 CPUtime=0.15 cores=0-7
/proc/15165/task/15181/stat : 15181 (java) S 15140 15140 14053 0 -1 1077944384 680 0 0 0 15 0 0 0 20 0 24 0 420494650 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857633954288 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15182] ppid=15140 vsize=8414124 memory=4104 CPUtime=0.26 cores=0-7
/proc/15165/task/15182/stat : 15182 (java) S 15140 15140 14053 0 -1 1077944384 1091 0 0 0 26 0 0 0 20 0 24 0 420494650 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857632901744 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15183] ppid=15140 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/15165/task/15183/stat : 15183 (java) S 15140 15140 14053 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420494650 8616062976 48254 33554432000 4194304 4196468 140725165556864 139855812094432 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15184] ppid=15140 vsize=8414124 memory=3444 CPUtime=0.05 cores=0-7
/proc/15165/task/15184/stat : 15184 (java) S 15140 15140 14053 0 -1 1077944384 5 0 0 0 2 3 0 0 20 0 24 0 420494651 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857631849136 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15186] ppid=15140 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15165/task/15186/stat : 15186 (java) S 15140 15140 14053 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420494720 8616062976 48254 33554432000 4194304 4196468 140725165556864 139857626006464 139858342272793 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15188] ppid=15140 vsize=8414124 memory=123836 CPUtime=0.12 cores=0-7
/proc/15165/task/15188/stat : 15188 (java) R 15140 15140 14053 0 -1 4202560 91 0 0 0 10 2 0 0 20 0 24 0 420494720 8616062976 48254 33554432000 4194304 4196468 140725165556864 139855140995072 139857842281069 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15189] ppid=15140 vsize=8414124 memory=3088608 CPUtime=0 cores=0-7
/proc/15165/task/15189/stat : 15189 (java) S 15140 15140 14053 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 420494720 8616062976 48254 33554432000 4194304 4196468 140725165556864 139855409430704 139858342270109 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15190] ppid=15140 vsize=8414124 memory=1628 CPUtime=0 cores=0-7
/proc/15165/task/15190/stat : 15190 (java) S 15140 15140 14053 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420494722 8616062976 48254 33554432000 4194304 4196468 140725165556864 139854872567216 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
Current children cumulated CPU time: 39.69 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 194492 KiB
[startup+116.201 s]
/proc/loadavg: 7.09 7.61 8.00 4/217 15204
/proc/meminfo: memFree=28727804/32770624 swapFree=66982504/67108860
[pid=15140] ppid=15137 vsize=113128 memory=1476 CPUtime=38.06 cores=0-7
/proc/15140/stat : 15140 (scop.sh) S 15137 15140 14053 0 -1 4202496 582 34966 0 0 0 0 3648 158 20 0 1 0 420491826 115843072 369 33554432000 4194304 5098028 140731740320032 140731740316776 140195213083260 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16949248 140731740328740 140731740329068 140731740329068 140731740331981 0
/proc/15140/statm: 28282 369 311 221 0 87 0
[pid=15165] ppid=15140 vsize=8283048 memory=210664 CPUtime=610.7 cores=0-7
/proc/15165/stat : 15165 (java) S 15140 15140 14053 0 -1 1077944320 22181 4600322 0 0 187 12 60059 812 20 0 22 0 420494644 8481841152 52666 33554432000 4194304 4196468 140725165556864 140725165539408 139858342248183 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
/proc/15165/statm: 2070762 52666 3230 1 0 2032106 0
[pid=15165/tid=15166] ppid=15140 vsize=8283048 memory=1476 CPUtime=609.57 cores=0-7
/proc/15165/task/15166/stat : 15166 (java) R 15140 15140 14053 0 -1 4202560 17389 4600322 0 0 80 6 60059 812 20 0 22 0 420494644 8481841152 52666 33554432000 4194304 4196468 140725165556864 139858314086672 139857845906584 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15167] ppid=15140 vsize=8283048 memory=6791534058613427641 CPUtime=608.71 cores=0-7
/proc/15165/task/15167/stat : 15167 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 52666 33554432000 4194304 4196468 140725165556864 139858346490384 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15168] ppid=15140 vsize=8283048 memory=288230617509003574 CPUtime=608.71 cores=0-7
/proc/15165/task/15168/stat : 15168 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 52666 33554432000 4194304 4196468 140725165556864 139858164578960 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15169] ppid=15140 vsize=8283048 memory=15252640887999028 CPUtime=608.71 cores=0-7
/proc/15165/task/15169/stat : 15169 (java) S 15140 15140 14053 0 -1 1077944384 3 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 52666 33554432000 4194304 4196468 140725165556864 139858163525904 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15170] ppid=15140 vsize=8283048 memory=1564 CPUtime=608.71 cores=0-7
/proc/15165/task/15170/stat : 15170 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 52666 33554432000 4194304 4196468 140725165556864 139858162473360 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15171] ppid=15140 vsize=8283048 memory=928 CPUtime=608.71 cores=0-7
/proc/15165/task/15171/stat : 15171 (java) S 15140 15140 14053 0 -1 1077944384 3 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857824218128 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15172] ppid=15140 vsize=8283048 memory=3772 CPUtime=608.71 cores=0-7
/proc/15165/task/15172/stat : 15172 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494646 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857823165584 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15173] ppid=15140 vsize=8283048 memory=1440 CPUtime=608.71 cores=0-7
/proc/15165/task/15173/stat : 15173 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494646 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857822112528 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15174] ppid=15140 vsize=8283048 memory=920 CPUtime=608.71 cores=0-7
/proc/15165/task/15174/stat : 15174 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494646 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857821059984 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15175] ppid=15140 vsize=8283048 memory=1984 CPUtime=608.71 cores=0-7
/proc/15165/task/15175/stat : 15175 (java) S 15140 15140 14053 0 -1 1077944384 6 4600322 0 0 0 0 60059 812 20 0 22 0 420494647 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857637112048 139858342259330 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15176] ppid=15140 vsize=8283048 memory=2404 CPUtime=608.71 cores=0-7
/proc/15165/task/15176/stat : 15176 (java) S 15140 15140 14053 0 -1 1077944384 13 4600322 0 0 0 0 60059 812 20 0 22 0 420494647 8481841152 52666 33554432000 4194304 4196468 140725165556864 139856952943776 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15177] ppid=15140 vsize=8283048 memory=1764 CPUtime=608.71 cores=0-7
/proc/15165/task/15177/stat : 15177 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494648 8481841152 52666 33554432000 4194304 4196468 140725165556864 139856684507888 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15178] ppid=15140 vsize=8283048 memory=111632 CPUtime=608.71 cores=0-7
/proc/15165/task/15178/stat : 15178 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494650 8481841152 52666 33554432000 4194304 4196468 140725165556864 139856309999568 139858342266779 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15179] ppid=15140 vsize=8283048 memory=804 CPUtime=608.89 cores=0-7
/proc/15165/task/15179/stat : 15179 (java) S 15140 15140 14053 0 -1 1077944384 910 4600322 0 0 18 0 60059 812 20 0 22 0 420494650 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857636059888 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15180] ppid=15140 vsize=8283048 memory=1804 CPUtime=608.85 cores=0-7
/proc/15165/task/15180/stat : 15180 (java) S 15140 15140 14053 0 -1 1077944384 392 4600322 0 0 14 0 60059 812 20 0 22 0 420494650 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857635007344 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15181] ppid=15140 vsize=8283048 memory=3088700 CPUtime=608.9 cores=0-7
/proc/15165/task/15181/stat : 15181 (java) S 15140 15140 14053 0 -1 1077944384 694 4600322 0 0 19 0 60059 812 20 0 22 0 420494650 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857633954288 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15182] ppid=15140 vsize=8283048 memory=3620 CPUtime=609.02 cores=0-7
/proc/15165/task/15182/stat : 15182 (java) S 15140 15140 14053 0 -1 1077944384 1157 4600322 0 0 30 1 60059 812 20 0 22 0 420494650 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857632901744 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15183] ppid=15140 vsize=8283048 memory=22168 CPUtime=608.71 cores=0-7
/proc/15165/task/15183/stat : 15183 (java) S 15140 15140 14053 0 -1 1077944384 3 4600322 0 0 0 0 60059 812 20 0 22 0 420494650 8481841152 52666 33554432000 4194304 4196468 140725165556864 139855812094432 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15184] ppid=15140 vsize=8283048 memory=2004 CPUtime=608.76 cores=0-7
/proc/15165/task/15184/stat : 15184 (java) S 15140 15140 14053 0 -1 1077944384 5 4600322 0 0 2 3 60059 812 20 0 22 0 420494651 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857631849136 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15186] ppid=15140 vsize=8283048 memory=984 CPUtime=608.71 cores=0-7
/proc/15165/task/15186/stat : 15186 (java) S 15140 15140 14053 0 -1 1077944384 31 4600322 0 0 0 0 60059 812 20 0 22 0 420494720 8481841152 52666 33554432000 4194304 4196468 140725165556864 139857626005648 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15190] ppid=15140 vsize=8283048 memory=4160 CPUtime=608.71 cores=0-7
/proc/15165/task/15190/stat : 15190 (java) S 15140 15140 14053 0 -1 1077944384 13 4600322 0 0 0 0 60059 812 20 0 22 0 420494722 8481841152 52666 33554432000 4194304 4196468 140725165556864 139854872569008 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
Current children cumulated CPU time: 648.76 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 212140 KiB
[startup+116.301 s]
/proc/loadavg: 7.09 7.61 8.00 4/217 15204
/proc/meminfo: memFree=28727804/32770624 swapFree=66982504/67108860
[pid=15140] ppid=15137 vsize=113128 memory=1476 CPUtime=38.06 cores=0-7
/proc/15140/stat : 15140 (scop.sh) S 15137 15140 14053 0 -1 4202496 582 34966 0 0 0 0 3648 158 20 0 1 0 420491826 115843072 369 33554432000 4194304 5098028 140731740320032 140731740316776 140195213083260 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16949248 140731740328740 140731740329068 140731740329068 140731740331981 0
/proc/15140/statm: 28282 369 311 221 0 87 0
[pid=15165] ppid=15140 vsize=8283048 memory=226048 CPUtime=610.89 cores=0-7
/proc/15165/stat : 15165 (java) S 15140 15140 14053 0 -1 1077944320 23528 4600322 0 0 203 15 60059 812 20 0 22 0 420494644 8481841152 56512 33554432000 4194304 4196468 140725165556864 140725165539408 139858342248183 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
/proc/15165/statm: 2070762 56512 3231 1 0 2032106 0
[pid=15165/tid=15166] ppid=15140 vsize=8283048 memory=1476 CPUtime=609.66 cores=0-7
/proc/15165/task/15166/stat : 15166 (java) R 15140 15140 14053 0 -1 4202560 18600 4600322 0 0 87 8 60059 812 20 0 22 0 420494644 8481841152 56512 33554432000 4194304 4196468 140725165556864 139858314085792 139858334933815 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15167] ppid=15140 vsize=8283048 memory=3089016 CPUtime=608.71 cores=0-7
/proc/15165/task/15167/stat : 15167 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 56512 33554432000 4194304 4196468 140725165556864 139858346490384 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15168] ppid=15140 vsize=8283048 memory=123836 CPUtime=608.71 cores=0-7
/proc/15165/task/15168/stat : 15168 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 56512 33554432000 4194304 4196468 140725165556864 139858164578960 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15169] ppid=15140 vsize=8283048 memory=3087528 CPUtime=608.71 cores=0-7
/proc/15165/task/15169/stat : 15169 (java) S 15140 15140 14053 0 -1 1077944384 3 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 56512 33554432000 4194304 4196468 140725165556864 139858163525904 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15170] ppid=15140 vsize=8283048 memory=123836 CPUtime=608.71 cores=0-7
/proc/15165/task/15170/stat : 15170 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 56512 33554432000 4194304 4196468 140725165556864 139858162473360 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15171] ppid=15140 vsize=8283048 memory=3085480 CPUtime=608.71 cores=0-7
/proc/15165/task/15171/stat : 15171 (java) S 15140 15140 14053 0 -1 1077944384 3 4600322 0 0 0 0 60059 812 20 0 22 0 420494645 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857824218128 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15172] ppid=15140 vsize=8283048 memory=8317482817917895235 CPUtime=608.71 cores=0-7
/proc/15165/task/15172/stat : 15172 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494646 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857823165584 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15173] ppid=15140 vsize=8283048 memory=-7003737579269690708 CPUtime=608.71 cores=0-7
/proc/15165/task/15173/stat : 15173 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494646 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857822112528 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15174] ppid=15140 vsize=8283048 memory=3088400 CPUtime=608.71 cores=0-7
/proc/15165/task/15174/stat : 15174 (java) S 15140 15140 14053 0 -1 1077944384 2 4600322 0 0 0 0 60059 812 20 0 22 0 420494646 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857821059984 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15175] ppid=15140 vsize=8283048 memory=1476 CPUtime=608.71 cores=0-7
/proc/15165/task/15175/stat : 15175 (java) S 15140 15140 14053 0 -1 1077944384 6 4600322 0 0 0 0 60059 812 20 0 22 0 420494647 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857637112048 139858342259330 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15176] ppid=15140 vsize=8283048 memory=1476 CPUtime=608.71 cores=0-7
/proc/15165/task/15176/stat : 15176 (java) S 15140 15140 14053 0 -1 1077944384 13 4600322 0 0 0 0 60059 812 20 0 22 0 420494647 8481841152 56512 33554432000 4194304 4196468 140725165556864 139856952943776 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15177] ppid=15140 vsize=8283048 memory=1476 CPUtime=608.71 cores=0-7
/proc/15165/task/15177/stat : 15177 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494648 8481841152 56512 33554432000 4194304 4196468 140725165556864 139856684507888 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15178] ppid=15140 vsize=8283048 memory=-7161732098442470212 CPUtime=608.71 cores=0-7
/proc/15165/task/15178/stat : 15178 (java) S 15140 15140 14053 0 -1 1077944384 1 4600322 0 0 0 0 60059 812 20 0 22 0 420494650 8481841152 56512 33554432000 4194304 4196468 140725165556864 139856309999568 139858342266779 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15179] ppid=15140 vsize=8283048 memory=4369218023233159200 CPUtime=608.9 cores=0-7
/proc/15165/task/15179/stat : 15179 (java) S 15140 15140 14053 0 -1 1077944384 919 4600322 0 0 19 0 60059 812 20 0 22 0 420494650 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857636059888 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15180] ppid=15140 vsize=8283048 memory=756 CPUtime=608.85 cores=0-7
/proc/15165/task/15180/stat : 15180 (java) S 15140 15140 14053 0 -1 1077944384 397 4600322 0 0 14 0 60059 812 20 0 22 0 420494650 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857635007344 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15181] ppid=15140 vsize=8283048 memory=1548 CPUtime=608.92 cores=0-7
/proc/15165/task/15181/stat : 15181 (java) S 15140 15140 14053 0 -1 1077944384 702 4600322 0 0 21 0 60059 812 20 0 22 0 420494650 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857633954288 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15182] ppid=15140 vsize=8283048 memory=1476 CPUtime=609.06 cores=0-7
/proc/15165/task/15182/stat : 15182 (java) S 15140 15140 14053 0 -1 1077944384 1271 4600322 0 0 34 1 60059 812 20 0 22 0 420494650 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857632901744 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15183] ppid=15140 vsize=8283048 memory=3087576 CPUtime=608.71 cores=0-7
/proc/15165/task/15183/stat : 15183 (java) S 15140 15140 14053 0 -1 1077944384 3 4600322 0 0 0 0 60059 812 20 0 22 0 420494650 8481841152 56512 33554432000 4194304 4196468 140725165556864 139855812094432 139858342258389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15184] ppid=15140 vsize=8283048 memory=56 CPUtime=608.76 cores=0-7
/proc/15165/task/15184/stat : 15184 (java) S 15140 15140 14053 0 -1 1077944384 5 4600322 0 0 2 3 60059 812 20 0 22 0 420494651 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857631849136 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15186] ppid=15140 vsize=8283048 memory=6935652554312077392 CPUtime=608.71 cores=0-7
/proc/15165/task/15186/stat : 15186 (java) S 15140 15140 14053 0 -1 1077944384 31 4600322 0 0 0 0 60059 812 20 0 22 0 420494720 8481841152 56512 33554432000 4194304 4196468 140725165556864 139857626005648 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
[pid=15165/tid=15190] ppid=15140 vsize=8283048 memory=1476 CPUtime=608.71 cores=0-7
/proc/15165/task/15190/stat : 15190 (java) S 15140 15140 14053 0 -1 1077944384 13 4600322 0 0 0 0 60059 812 20 0 22 0 420494722 8481841152 56512 33554432000 4194304 4196468 140725165556864 139854872569008 139858342259330 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11628544 140725165564919 140725165565078 140725165565078 140725165567951 0
Current children cumulated CPU time: 648.95 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 227524 KiB
Child status: 0
Real time (s): 116.321
CPU time (s): 649.004
CPU user time (s): 639.116
CPU system time (s): 9.88819
CPU usage (%): 557.942
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6060076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 639.116
system time used= 9.88819
maximum resident set size= 6059464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4659416
page faults= 0
swaps= 0
block input operations= 0
block output operations= 313080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62296
involuntary context switches= 6083
# summary of solver processes directly reported to runsolver:
# pid: 15140
# total CPU time (s): 649.004
# total CPU user time (s): 639.116
# total CPU system time (s): 9.88819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01756 second user time and 1.55014 second system time
The end
Begin job on node121 at 2019-09-14 08:24:10 IDJOB=4392784 IDBENCH=138492 IDSOLVER=2839 FILE ID=node121/4392784-1568442292 RUNJOBID= node121-1568437491-14080 PBS_JOBID= 21702323 Free space on /tmp= 61412 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-02.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-4392784-1568442292/watcher-4392784-1568442292 -o /tmp/evaluation-result-4392784-1568442292/solver-4392784-1568442292 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568437491-14080 --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-4392784-1568442292.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c67201b80d2f8cf37dc6fc32cd78d58c RANDOM SEED=1578925813 node121.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.75 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.75 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.75 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.75 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: 31464132 kB MemAvailable: 31913384 kB Buffers: 177148 kB Cached: 567108 kB SwapCached: 18252 kB Active: 408928 kB Inactive: 356416 kB Active(anon): 6968 kB Inactive(anon): 45748 kB Active(file): 401960 kB Inactive(file): 310668 kB Unevictable: 109108 kB Mlocked: 109108 kB SwapTotal: 67108860 kB SwapFree: 66982492 kB Dirty: 20848 kB Writeback: 0 kB AnonPages: 121108 kB Mapped: 35416 kB Shmem: 22916 kB Slab: 133988 kB SReclaimable: 104920 kB SUnreclaim: 29068 kB KernelStack: 3728 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498088 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61392 MiB End job on node121 at 2019-09-14 08:26:06