Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 671.027 | 115.571 |
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-23395-serial-file.bin HOME/instance-4405644-1569358594.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.56 c BEGIN-Prog: Tue Sep 24 22:55:54 CEST 2019 0.65/0.56 c PID: 23398 0.65/0.56 c IP: 172.20.3.127 0.65/0.56 c HOST: node127.alineos.net 0.65/0.57 c (0,0) Parsing Begin 5.39/1.87 c (1,1) Parsing End 5.39/1.88 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1263 5.39/1.88 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.39/1.88 c (1,1) Constraint Name Generate Begin 5.79/1.93 c (1,1) Ctr:HOME/instance-4405644-1569358594.xml,Add:Le:Ne:Num:Or:Var 5.79/1.93 c (1,1) Constraint Name Generate End 5.79/1.93 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 5.79/1.93 c (1,1) CSP to CSPinCNF Begin 6.51/2.19 c (1,1) translated 558 (10%) constraints 6.84/2.25 c (1,1) translated 1116 (20%) constraints 7.25/2.30 c (1,1) translated 1674 (30%) constraints 8.06/2.58 c (1,1) translated 2232 (40%) constraints 8.06/2.58 c (1,1) translated 2790 (50%) constraints 8.06/2.58 c (1,1) translated 3348 (60%) constraints 8.06/2.58 c (1,1) translated 3906 (70%) constraints 8.06/2.58 c (1,1) translated 4464 (80%) constraints 8.06/2.58 c (1,1) translated 5022 (90%) constraints 8.06/2.58 c (1,1) translated 5580 (100%) constraints 8.06/2.58 c (1,1) =========================================== 8.06/2.58 c (2,2) Hybrid: #OE=450, #LE=0 8.06/2.58 c (2,2) Hybrid 8.06/2.58 c (2,2) =========================================== 8.49/2.61 c (2,2) translated 558 (10%) constraints 8.49/2.63 c (2,2) translated 1116 (20%) constraints 8.49/2.64 c (2,2) translated 1674 (30%) constraints 8.49/2.66 c (2,2) translated 2232 (40%) constraints 8.49/2.68 c (2,2) translated 2790 (50%) constraints 8.49/2.69 c (2,2) translated 3348 (60%) constraints 8.74/2.71 c (2,2) translated 3906 (70%) constraints 8.74/2.72 c (2,2) translated 4464 (80%) constraints 8.74/2.73 c (2,2) translated 5022 (90%) constraints 8.74/2.75 c (2,2) translated 5580 (100%) constraints 8.74/2.75 c (2,2) CSP to CSPinCNF End 8.74/2.75 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 8.74/2.75 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.74/2.75 c (2,2) CSPinCNF Propagation Begin 9.08/2.83 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.08/2.83 c (2,2) CSPinCNF Propagation End 9.08/2.83 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 9.08/2.83 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.08/2.86 c (2,2) Hybrid: #OE=450, #LE=0 9.08/2.86 c (2,2) Simplify CSPinCNF Begin 10.11/3.12 c (2,2) Simplify CSPinCNF End 10.11/3.13 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 10.11/3.13 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.11/3.13 c (2,2) Calculate Precise Domain Begin 10.11/3.13 c (2,2) 0 values are removed by re-calculation 10.11/3.13 c (2,2) Calculate Precise Domain End 10.11/3.13 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 10.11/3.13 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.11/3.13 c (2,2) CSPinCNF to SatSolver Begin 15.50/6.60 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 980918 SAT clauses) 18.74/9.64 c (9,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1625009 SAT clauses) 20.95/11.80 c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2200453 SAT clauses) 23.24/14.41 c (13,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2810903 SAT clauses) 25.81/16.67 c (16,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3400641 SAT clauses) 28.39/19.15 c (18,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4004848 SAT clauses) 31.17/21.72 c (21,20) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4677532 SAT clauses) 33.41/24.01 c (23,22) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5256139 SAT clauses) 36.21/26.86 c (26,25) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5922663 SAT clauses) 39.00/29.64 c (29,28) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6834210 SAT clauses) 39.00/29.64 c (29,28) CSPinCNF to SatSolver End 39.00/29.64 c (29,28) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 39.00/29.64 c (29,28) 356736 bool, 6834708 clause 39.00/29.64 c (29,28) Export Begin 39.14/29.75 c (29,28) Export to HOME/scop-23395-serial-file.bin 39.14/29.75 c (29,28) Export End 39.14/29.75 c (29,28) Export File Size: 0.07 MB 39.14/29.75 c (29,28) 1,1,2,2,2,2,29,STOP-AFTER(DIMACS) 39.14/29.75 c END-Prog: Tue Sep 24 22:56:23 CEST 2019 39.14/29.79 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-23395-serial-file.bin 39.92/30.25 c (0,0) Read Serial File Begin 39.92/30.25 c (0,0) HOME/scop-23395-serial-file.bin 40.18/30.48 c (0,0) Read Serial File End 40.18/30.49 40.18/30.49 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 40.18/30.49 (Solving Process) 40.18/30.49 40.44/30.52 c BEGIN-Prog: Tue Sep 24 22:56:24 CEST 2019 40.44/30.52 c PID: 23420 40.44/30.52 c IP: 172.20.3.127 40.44/30.52 c HOST: node127.alineos.net 40.44/30.52 c (0,0) SatSolver.solve Begin 40.44/30.52 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405644-1569358594.xml-scop-23398.cnf 40.44/30.55 c (0,0) c 40.44/30.55 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) 40.44/30.55 c (0,0) c 40.44/30.55 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 40.44/30.55 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 40.44/30.55 c (0,0) c ========================================[ Problem Statistics ]=========================================== 40.44/30.55 c (0,0) c | | 43.29/33.21 c (3,0) c | Number of variables: 356736 | 43.29/33.21 c (3,0) c | Number of clauses: 6715002 | 43.29/33.21 c (3,0) c | Parse time: 2.42 s | 43.29/33.21 c (3,0) c | | 43.70/33.66 c (3,0) c | Too many clauses... No preprocessing | 43.70/33.66 c (3,0) c | Simplification time: 0.41 s | 43.70/33.66 c (3,0) c | | 43.70/33.66 c (3,0) c | Generating clones | 45.41/35.38 c (5,0) c | all clones generated. Memory = 3619.08Mb. | 45.41/35.38 c (5,0) c ========================================================================================================| 45.41/35.38 c (5,0) c 45.41/35.38 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 45.41/35.38 c (5,0) c 45.41/35.38 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 45.41/35.38 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 45.41/35.38 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 45.41/35.38 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 45.41/35.38 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 45.41/35.38 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 45.41/35.38 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 45.41/35.38 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 45.41/35.38 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 45.41/35.38 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 45.41/35.38 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 45.41/35.38 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 45.41/35.38 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 45.41/35.38 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 45.41/35.38 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 45.41/35.38 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 45.41/35.38 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 45.41/35.38 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 45.41/35.38 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 280.44/65.04 c (34,0) c 280.44/65.04 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 280.44/65.04 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 280.44/65.04 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 280.44/65.04 c (34,0) c | 0 | 2 | 5102 | 3173 | 65713 | 2173 | 98 | 516 | 30 | 156 | 20 | 34.045 | 280.44/65.04 c (34,0) c | 1 | 9 | 5702 | 3405 | 70669 | 2399 | 148 | 736 | 34 | 160 | 20 | 34.082 | 280.44/65.04 c (34,0) c | 2 | 10 | 5363 | 3332 | 71500 | 2331 | 155 | 775 | 44 | 163 | 20 | 34.082 | 280.44/65.04 c (34,0) c | 3 | 4 | 5647 | 3494 | 74091 | 2488 | 168 | 702 | 54 | 169 | 20 | 34.082 | 280.44/65.04 c (34,0) c | 4 | 3 | 6045 | 3595 | 71568 | 2594 | 120 | 777 | 48 | 170 | 20 | 34.079 | 280.44/65.04 c (34,0) c | 5 | 14 | 6041 | 3510 | 73491 | 2502 | 144 | 734 | 64 | 164 | 20 | 34.076 | 280.44/65.04 c (34,0) c | 6 | 8 | 5804 | 3592 | 67122 | 2584 | 112 | 822 | 59 | 168 | 20 | 34.082 | 280.44/65.04 c (34,0) c | 7 | 4 | 5266 | 3262 | 61468 | 2257 | 112 | 421 | 31 | 152 | 20 | 34.025 | 280.44/65.04 c (34,0) c 280.44/65.04 c (34,0) c synthesis 27363 conflicts 342113164 propagations 117 conflicts/sec 1465214 propagations/sec 280.44/65.04 c (34,0) c real: 34.4926 s, cpu: 233.49 s, memory: 3677.60 Mb 509.97/94.04 c (63,0) c 509.97/94.04 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 509.97/94.04 c (63,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 509.97/94.04 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 509.97/94.04 c (63,0) c | 0 | 7 | 11106 | 6890 | 118592 | 3094 | 680 | 2815 | 212 | 311 | 20 | 34.160 | 509.97/94.04 c (63,0) c | 1 | 16 | 11369 | 6962 | 115029 | 3155 | 795 | 3577 | 151 | 314 | 20 | 34.182 | 509.97/94.04 c (63,0) c | 2 | 28 | 11289 | 6832 | 116499 | 3035 | 778 | 4162 | 180 | 316 | 20 | 34.184 | 509.97/94.04 c (63,0) c | 3 | 14 | 12663 | 7551 | 119372 | 3746 | 942 | 4090 | 200 | 322 | 20 | 34.184 | 509.97/94.04 c (63,0) c | 4 | 4 | 10779 | 6726 | 113882 | 2932 | 747 | 3487 | 179 | 315 | 20 | 34.171 | 509.97/94.04 c (63,0) c | 5 | 25 | 11153 | 6639 | 112831 | 2842 | 683 | 3970 | 206 | 314 | 20 | 34.173 | 509.97/94.04 c (63,0) c | 6 | 20 | 12295 | 7690 | 113577 | 3884 | 909 | 4673 | 261 | 331 | 20 | 34.203 | 509.97/94.04 c (63,0) c | 7 | 16 | 11848 | 6883 | 118114 | 3080 | 669 | 4377 | 245 | 317 | 20 | 34.185 | 509.97/94.04 c (63,0) c 509.97/94.04 c (63,0) c synthesis 56173 conflicts 731184536 propagations 122 conflicts/sec 1582993 propagations/sec 509.97/94.04 c (63,0) c real: 63.4926 s, cpu: 461.9 s, memory: 3677.98 Mb 669.88/115.11 c (84,0) c 669.88/115.11 c (84,0) c real time : 84.5645 s 669.88/115.11 c (84,0) c cpu time : 620.58 s 669.88/115.11 c (84,0) c 669.88/115.11 c (84,0) c 669.88/115.11 c (84,0) c 669.88/115.11 c (84,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 669.88/115.11 c (84,0) c 669.88/115.11 c (84,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.11 c (84,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 669.88/115.11 c (84,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.11 c (84,0) c | Conflicts | 76459 | 9179 | 9687 | 9559 | 10005 | 9642 | 8923 | 9993 | 9471 | 669.88/115.11 c (84,0) c | Decisions | 131524 | 14599 | 15349 | 15801 | 16009 | 15054 | 22144 | 16018 | 16550 | 669.88/115.11 c (84,0) c | Propagations | 1021427829 | 125370729 | 129587495 | 127035664 | 130023360 | 124652291 | 124178407 | 131826986 | 128752897 | 669.88/115.11 c (84,0) c | ReduceDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 669.88/115.11 c (84,0) c | SimpDBs | 57 | 5 | 7 | 8 | 6 | 6 | 9 | 8 | 8 | 669.88/115.11 c (84,0) c | Restarts | 171 | 10 | 22 | 40 | 14 | 7 | 28 | 26 | 24 | 669.88/115.11 c (84,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 669.88/115.11 c (84,0) c | PropBinClauses| 3482634988 | 433471097 | 442528788 | 430608877 | 442010488 | 423106459 | 425555049 | 446899359 | 438454871 | 669.88/115.11 c (84,0) c | PropPreBlocker| 13745071785 | 1710048588 | 1670889738 | 1744296644 | 1709793283 | 1736716029 | 1691675442 | 1729514391 | 1752137670 | 669.88/115.11 c (84,0) c | PropNotBlocker| 2154189414 | 272150433 | 279467434 | 267036846 | 276060718 | 259438723 | 255427118 | 283294283 | 261313859 | 669.88/115.11 c (84,0) c | LitFullScans | 20451547814 | 2524663635 | 2524731313 | 2584704967 | 2548883013 | 2542614943 | 2526666284 | 2602696263 | 2596587396 | 669.88/115.11 c (84,0) c | LitScanFracts | 2066272 | 202067 | 229346 | 304945 | 242871 | 228667 | 348464 | 279136 | 230776 | 669.88/115.11 c (84,0) c | DecisionLevel0| 339 | 22 | 48 | 58 | 31 | 19 | 57 | 50 | 54 | 669.88/115.11 c (84,0) c | Periods | 3402 | 420 | 420 | 430 | 424 | 423 | 420 | 433 | 432 | 669.88/115.11 c (84,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 669.88/115.11 c (84,0) c | Avg_Trail | | 223338 | 219060 | 226556 | 223801 | 226729 | 228810 | 219391 | 228933 | 669.88/115.11 c (84,0) c | Avg_DL | | 21 | 15 | 19 | 20 | 23 | 19 | 16 | 24 | 669.88/115.11 c (84,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 669.88/115.11 c (84,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 669.88/115.11 c (84,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.11 c (84,0) c | Exported | 11518 | 1319 | 1459 | 1432 | 1554 | 1539 | 1372 | 1489 | 1354 | 669.88/115.11 c (84,0) c | Imported | 64786 | 8189 | 8671 | 9391 | 4090 | 8595 | 9099 | 7993 | 8758 | 669.88/115.11 c (84,0) c | Good | 635 | 80 | 82 | 83 | 56 | 85 | 78 | 84 | 87 | 669.88/115.11 c (84,0) c | Purge | 64151 | 8109 | 8589 | 9308 | 4034 | 8510 | 9021 | 7909 | 8671 | 669.88/115.11 c (84,0) c | Promoted | 3784 | 418 | 493 | 532 | 369 | 480 | 441 | 534 | 517 | 669.88/115.11 c (84,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 669.88/115.11 c (84,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 669.88/115.11 c (84,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.11 c (84,0) c | Unaries | | 12 | 26 | 18 | 17 | 12 | 29 | 24 | 30 | 669.88/115.11 c (84,0) c | Binaries | | 13 | 12 | 16 | 13 | 9 | 22 | 12 | 8 | 669.88/115.11 c (84,0) c | Glues | | 271 | 362 | 377 | 354 | 284 | 371 | 335 | 417 | 669.88/115.11 c (84,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.11 c (84,0) c | Orig_Seen | 3 % | 140285 | 137188 | 142308 | 135268 | 138277 | 131390 | 133242 | 145877 | 669.88/115.11 c (84,0) c | Diff Orig seen| | 8895 | 5798 | 10918 | 3878 | 6887 | X | 1852 | 14487 | 669.88/115.11 c (84,0) c | Hamming | 13 % | 41617 | 42200 | 45510 | 41847 | 45912 | X | 45216 | 64344 | 669.88/115.11 c (84,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.11 c (84,0) c | RunningTime | | 79.4 100%| 79.7 100%| 78.6 100%| 78.7 100%| 77.1 98%| 78.3 100%| 77.4 98%| 78.2 99%| 669.88/115.11 c (84,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.1 0%| 1.5 2%| 0.3 0%| 1.3 2%| 0.4 1%| 669.88/115.11 c (84,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%| 669.88/115.11 c (84,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%| 669.88/115.11 c (84,0) c | SolvingTime | | 79.4 | 79.7 | 78.6 | 78.7 | 78.6 | 78.6 | 78.7 | 78.6 | 669.88/115.11 c (84,0) c | PropagationTim| | 75.4 95%| 75.5 95%| 73.9 94%| 74.4 94%| 74.1 94%| 73.8 94%| 73.9 94%| 74.0 94%| 669.88/115.11 c (84,0) c | AnalysisTime | | 1.2 2%| 1.1 1%| 1.2 2%| 1.2 2%| 1.3 2%| 1.2 1%| 1.1 1%| 1.2 2%| 669.88/115.11 c (84,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%| 669.88/115.11 c (84,0) c | SimplifyTime | | 1.2 1%| 1.4 2%| 1.7 2%| 1.4 2%| 1.6 2%| 1.9 2%| 1.9 2%| 1.7 2%| 669.88/115.11 c (84,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%| 669.88/115.11 c (84,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%| 669.88/115.11 c (84,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.11 c (84,0) c 669.88/115.11 c (84,0) c 669.88/115.11 c (84,0) c Threads : 8 669.88/115.11 c (84,0) c Winner : 5 669.88/115.11 c (84,0) c Conflicts_0 : 9179 669.88/115.11 c (84,0) c Conflicts_1 : 9687 669.88/115.11 c (84,0) c Conflicts_2 : 9559 669.88/115.11 c (84,0) c Conflicts_3 : 10005 669.88/115.11 c (84,0) c Conflicts_4 : 9642 669.88/115.11 c (84,0) c Conflicts_5 : 8923 669.88/115.11 c (84,0) c Conflicts_6 : 9993 669.88/115.11 c (84,0) c Conflicts_7 : 9471 669.88/115.11 c (84,0) c Conflicts_total : 76459 669.88/115.11 c (84,0) c Conflicts_winner : 8923 669.88/115.11 c (84,0) c Decisions_0 : 14599 669.88/115.11 c (84,0) c Decisions_1 : 15349 669.88/115.11 c (84,0) c Decisions_2 : 15801 669.88/115.11 c (84,0) c Decisions_3 : 16009 669.88/115.11 c (84,0) c Decisions_4 : 15054 669.88/115.11 c (84,0) c Decisions_5 : 22144 669.88/115.11 c (84,0) c Decisions_6 : 16018 669.88/115.11 c (84,0) c Decisions_7 : 16550 669.88/115.11 c (84,0) c Decisions_total : 131524 669.88/115.11 c (84,0) c Decisions_winner : 22144 669.88/115.11 c (84,0) c Propagations_0 : 125370729 669.88/115.11 c (84,0) c Propagations_1 : 129587495 669.88/115.11 c (84,0) c Propagations_2 : 127035664 669.88/115.11 c (84,0) c Propagations_3 : 130023360 669.88/115.11 c (84,0) c Propagations_4 : 124652291 669.88/115.11 c (84,0) c Propagations_5 : 124178407 669.88/115.11 c (84,0) c Propagations_6 : 131826986 669.88/115.11 c (84,0) c Propagations_7 : 128752897 669.88/115.11 c (84,0) c Propagations_total : 1021427829 669.88/115.11 c (84,0) c Propagations_winner : 124178407 669.88/115.11 c (84,0) c ReduceDBs_0 : 2 669.88/115.11 c (84,0) c ReduceDBs_1 : 2 669.88/115.11 c (84,0) c ReduceDBs_2 : 2 669.88/115.11 c (84,0) c ReduceDBs_3 : 2 669.88/115.11 c (84,0) c ReduceDBs_4 : 2 669.88/115.11 c (84,0) c ReduceDBs_5 : 2 669.88/115.11 c (84,0) c ReduceDBs_6 : 2 669.88/115.11 c (84,0) c ReduceDBs_7 : 2 669.88/115.11 c (84,0) c ReduceDBs_total : 16 669.88/115.11 c (84,0) c ReduceDBs_winner : 2 669.88/115.11 c (84,0) c SimpDBs_0 : 5 669.88/115.11 c (84,0) c SimpDBs_1 : 7 669.88/115.11 c (84,0) c SimpDBs_2 : 8 669.88/115.11 c (84,0) c SimpDBs_3 : 6 669.88/115.11 c (84,0) c SimpDBs_4 : 6 669.88/115.11 c (84,0) c SimpDBs_5 : 9 669.88/115.11 c (84,0) c SimpDBs_6 : 8 669.88/115.11 c (84,0) c SimpDBs_7 : 8 669.88/115.11 c (84,0) c SimpDBs_total : 57 669.88/115.11 c (84,0) c SimpDBs_winner : 9 669.88/115.11 c (84,0) c Restarts_0 : 10 669.88/115.11 c (84,0) c Restarts_1 : 22 669.88/115.11 c (84,0) c Restarts_2 : 40 669.88/115.11 c (84,0) c Restarts_3 : 14 669.88/115.11 c (84,0) c Restarts_4 : 7 669.88/115.11 c (84,0) c Restarts_5 : 28 669.88/115.11 c (84,0) c Restarts_6 : 26 669.88/115.11 c (84,0) c Restarts_7 : 24 669.88/115.11 c (84,0) c Restarts_total : 171 669.88/115.11 c (84,0) c Restarts_winner : 28 669.88/115.11 c (84,0) c ForcedImports_0 : 0 669.88/115.11 c (84,0) c ForcedImports_1 : 0 669.88/115.11 c (84,0) c ForcedImports_2 : 0 669.88/115.11 c (84,0) c ForcedImports_3 : 0 669.88/115.11 c (84,0) c ForcedImports_4 : 0 669.88/115.11 c (84,0) c ForcedImports_5 : 0 669.88/115.11 c (84,0) c ForcedImports_6 : 0 669.88/115.11 c (84,0) c ForcedImports_7 : 0 669.88/115.11 c (84,0) c ForcedImports_total : 0 669.88/115.11 c (84,0) c ForcedImports_winner : 0 669.88/115.11 c (84,0) c PropsBinClauses_0 : 433471097 669.88/115.11 c (84,0) c PropsBinClauses_1 : 442528788 669.88/115.11 c (84,0) c PropsBinClauses_2 : 430608877 669.88/115.11 c (84,0) c PropsBinClauses_3 : 442010488 669.88/115.11 c (84,0) c PropsBinClauses_4 : 423106459 669.88/115.11 c (84,0) c PropsBinClauses_5 : 425555049 669.88/115.11 c (84,0) c PropsBinClauses_6 : 446899359 669.88/115.11 c (84,0) c PropsBinClauses_7 : 438454871 669.88/115.11 c (84,0) c PropsBinClauses_total : 3482634988 669.88/115.11 c (84,0) c PropsBinClauses_winner : 425555049 669.88/115.11 c (84,0) c PropsPreBlocker_0 : 1710048588 669.88/115.11 c (84,0) c PropsPreBlocker_1 : 1670889738 669.88/115.11 c (84,0) c PropsPreBlocker_2 : 1744296644 669.88/115.11 c (84,0) c PropsPreBlocker_3 : 1709793283 669.88/115.11 c (84,0) c PropsPreBlocker_4 : 1736716029 669.88/115.11 c (84,0) c PropsPreBlocker_5 : 1691675442 669.88/115.11 c (84,0) c PropsPreBlocker_6 : 1729514391 669.88/115.11 c (84,0) c PropsPreBlocker_7 : 1752137670 669.88/115.11 c (84,0) c PropsPreBlocker_total : 13745071785 669.88/115.11 c (84,0) c PropsPreBlocker_winner : 1691675442 669.88/115.11 c (84,0) c PropsNotBlocker_0 : 272150433 669.88/115.11 c (84,0) c PropsNotBlocker_1 : 279467434 669.88/115.11 c (84,0) c PropsNotBlocker_2 : 267036846 669.88/115.11 c (84,0) c PropsNotBlocker_3 : 276060718 669.88/115.11 c (84,0) c PropsNotBlocker_4 : 259438723 669.88/115.11 c (84,0) c PropsNotBlocker_5 : 255427118 669.88/115.11 c (84,0) c PropsNotBlocker_6 : 283294283 669.88/115.11 c (84,0) c PropsNotBlocker_7 : 261313859 669.88/115.11 c (84,0) c PropsNotBlocker_total : 2154189414 669.88/115.11 c (84,0) c PropsNotBlocker_winner : 255427118 669.88/115.11 c (84,0) c PropsLitFullScans_0 : 2524663635 669.88/115.11 c (84,0) c PropsLitFullScans_1 : 2524731313 669.88/115.11 c (84,0) c PropsLitFullScans_2 : 2584704967 669.88/115.11 c (84,0) c PropsLitFullScans_3 : 2548883013 669.88/115.11 c (84,0) c PropsLitFullScans_4 : 2542614943 669.88/115.11 c (84,0) c PropsLitFullScans_5 : 2526666284 669.88/115.11 c (84,0) c PropsLitFullScans_6 : 2602696263 669.88/115.11 c (84,0) c PropsLitFullScans_7 : 2596587396 669.88/115.11 c (84,0) c PropsLitFullScans_total : 20451547814 669.88/115.11 c (84,0) c PropsLitFullScans_winner : 2526666284 669.88/115.11 c (84,0) c LitScanFractions_0 : 202067 669.88/115.11 c (84,0) c LitScanFractions_1 : 229346 669.88/115.11 c (84,0) c LitScanFractions_2 : 304945 669.88/115.11 c (84,0) c LitScanFractions_3 : 242871 669.88/115.11 c (84,0) c LitScanFractions_4 : 228667 669.88/115.11 c (84,0) c LitScanFractions_5 : 348464 669.88/115.11 c (84,0) c LitScanFractions_6 : 279136 669.88/115.11 c (84,0) c LitScanFractions_7 : 230776 669.88/115.11 c (84,0) c LitScanFractions_total : 2066272 669.88/115.11 c (84,0) c LitScanFractions_winner : 348464 669.88/115.11 c (84,0) c DecisionLevel0_0 : 22 669.88/115.11 c (84,0) c DecisionLevel0_1 : 48 669.88/115.11 c (84,0) c DecisionLevel0_2 : 58 669.88/115.11 c (84,0) c DecisionLevel0_3 : 31 669.88/115.11 c (84,0) c DecisionLevel0_4 : 19 669.88/115.11 c (84,0) c DecisionLevel0_5 : 57 669.88/115.11 c (84,0) c DecisionLevel0_6 : 50 669.88/115.11 c (84,0) c DecisionLevel0_7 : 54 669.88/115.12 c (84,0) c DecisionLevel0_total : 339 669.88/115.12 c (84,0) c DecisionLevel0_winner : 57 669.88/115.12 c (84,0) c Periods_0 : 420 669.88/115.12 c (84,0) c Periods_1 : 420 669.88/115.12 c (84,0) c Periods_2 : 430 669.88/115.12 c (84,0) c Periods_3 : 424 669.88/115.12 c (84,0) c Periods_4 : 423 669.88/115.12 c (84,0) c Periods_5 : 420 669.88/115.12 c (84,0) c Periods_6 : 433 669.88/115.12 c (84,0) c Periods_7 : 432 669.88/115.12 c (84,0) c Periods_total : 3402 669.88/115.12 c (84,0) c Periods_winner : 420 669.88/115.12 c (84,0) c Margin_0 : 20 669.88/115.12 c (84,0) c Margin_1 : 20 669.88/115.12 c (84,0) c Margin_2 : 20 669.88/115.12 c (84,0) c Margin_3 : 20 669.88/115.12 c (84,0) c Margin_4 : 20 669.88/115.12 c (84,0) c Margin_5 : 20 669.88/115.12 c (84,0) c Margin_6 : 20 669.88/115.12 c (84,0) c Margin_7 : 20 669.88/115.12 c (84,0) c Margin_total : 160 669.88/115.12 c (84,0) c Margin_winner : 20 669.88/115.12 c (84,0) c Exported_0 : 1319 669.88/115.12 c (84,0) c Exported_1 : 1459 669.88/115.12 c (84,0) c Exported_2 : 1432 669.88/115.12 c (84,0) c Exported_3 : 1554 669.88/115.12 c (84,0) c Exported_4 : 1539 669.88/115.12 c (84,0) c Exported_5 : 1372 669.88/115.12 c (84,0) c Exported_6 : 1489 669.88/115.12 c (84,0) c Exported_7 : 1354 669.88/115.12 c (84,0) c Exported_total : 11518 669.88/115.12 c (84,0) c Exported_winner : 1372 669.88/115.12 c (84,0) c Imported_0 : 8189 669.88/115.12 c (84,0) c Imported_1 : 8671 669.88/115.12 c (84,0) c Imported_2 : 9391 669.88/115.12 c (84,0) c Imported_3 : 4090 669.88/115.12 c (84,0) c Imported_4 : 8595 669.88/115.12 c (84,0) c Imported_5 : 9099 669.88/115.12 c (84,0) c Imported_6 : 7993 669.88/115.12 c (84,0) c Imported_7 : 8758 669.88/115.12 c (84,0) c Imported_total : 64786 669.88/115.12 c (84,0) c Imported_winner : 9099 669.88/115.12 c (84,0) c Good_0 : 80 669.88/115.12 c (84,0) c Good_1 : 82 669.88/115.12 c (84,0) c Good_2 : 83 669.88/115.12 c (84,0) c Good_3 : 56 669.88/115.12 c (84,0) c Good_4 : 85 669.88/115.12 c (84,0) c Good_5 : 78 669.88/115.12 c (84,0) c Good_6 : 84 669.88/115.12 c (84,0) c Good_7 : 87 669.88/115.12 c (84,0) c Good_total : 635 669.88/115.12 c (84,0) c Good_winner : 78 669.88/115.12 c (84,0) c Purge_0 : 8109 669.88/115.12 c (84,0) c Purge_1 : 8589 669.88/115.12 c (84,0) c Purge_2 : 9308 669.88/115.12 c (84,0) c Purge_3 : 4034 669.88/115.12 c (84,0) c Purge_4 : 8510 669.88/115.12 c (84,0) c Purge_5 : 9021 669.88/115.12 c (84,0) c Purge_6 : 7909 669.88/115.12 c (84,0) c Purge_7 : 8671 669.88/115.12 c (84,0) c Purge_total : 64151 669.88/115.12 c (84,0) c Purge_winner : 9021 669.88/115.12 c (84,0) c Promoted_0 : 418 669.88/115.12 c (84,0) c Promoted_1 : 493 669.88/115.12 c (84,0) c Promoted_2 : 532 669.88/115.12 c (84,0) c Promoted_3 : 369 669.88/115.12 c (84,0) c Promoted_4 : 480 669.88/115.12 c (84,0) c Promoted_5 : 441 669.88/115.12 c (84,0) c Promoted_6 : 534 669.88/115.12 c (84,0) c Promoted_7 : 517 669.88/115.12 c (84,0) c Promoted_total : 3784 669.88/115.12 c (84,0) c Promoted_winner : 441 669.88/115.12 c (84,0) c Remove_Imp_0 : 0 669.88/115.12 c (84,0) c Remove_Imp_1 : 0 669.88/115.12 c (84,0) c Remove_Imp_2 : 0 669.88/115.12 c (84,0) c Remove_Imp_3 : 0 669.88/115.12 c (84,0) c Remove_Imp_4 : 0 669.88/115.12 c (84,0) c Remove_Imp_5 : 0 669.88/115.12 c (84,0) c Remove_Imp_6 : 0 669.88/115.12 c (84,0) c Remove_Imp_7 : 0 669.88/115.12 c (84,0) c Remove_Imp_total : 0 669.88/115.12 c (84,0) c Remove_Imp_winner : 0 669.88/115.12 c (84,0) c Blocked_Reuse_0 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_1 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_2 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_3 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_4 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_5 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_6 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_7 : 0 669.88/115.12 c (84,0) c Blocked_Reuse_total : 0 669.88/115.12 c (84,0) c Blocked_Reuse_winner : 0 669.88/115.12 c (84,0) c Unaries_0 : 12 669.88/115.12 c (84,0) c Unaries_1 : 26 669.88/115.12 c (84,0) c Unaries_2 : 18 669.88/115.12 c (84,0) c Unaries_3 : 17 669.88/115.12 c (84,0) c Unaries_4 : 12 669.88/115.12 c (84,0) c Unaries_5 : 29 669.88/115.12 c (84,0) c Unaries_6 : 24 669.88/115.12 c (84,0) c Unaries_7 : 30 669.88/115.12 c (84,0) c Unaries_total : 168 669.88/115.12 c (84,0) c Unaries_winner : 29 669.88/115.12 c (84,0) c Binaries_0 : 13 669.88/115.12 c (84,0) c Binaries_1 : 12 669.88/115.12 c (84,0) c Binaries_2 : 16 669.88/115.12 c (84,0) c Binaries_3 : 13 669.88/115.12 c (84,0) c Binaries_4 : 9 669.88/115.12 c (84,0) c Binaries_5 : 22 669.88/115.12 c (84,0) c Binaries_6 : 12 669.88/115.12 c (84,0) c Binaries_7 : 8 669.88/115.12 c (84,0) c Binaries_total : 105 669.88/115.12 c (84,0) c Binaries_winner : 22 669.88/115.12 c (84,0) c Glues_0 : 271 669.88/115.12 c (84,0) c Glues_1 : 362 669.88/115.12 c (84,0) c Glues_2 : 377 669.88/115.12 c (84,0) c Glues_3 : 354 669.88/115.12 c (84,0) c Glues_4 : 284 669.88/115.12 c (84,0) c Glues_5 : 371 669.88/115.12 c (84,0) c Glues_6 : 335 669.88/115.12 c (84,0) c Glues_7 : 417 669.88/115.12 c (84,0) c Glues_total : 2771 669.88/115.12 c (84,0) c Glues_winner : 371 669.88/115.12 c (84,0) c RunningTime_0 : 79.412006 669.88/115.12 c (84,0) c RunningTime_1 : 79.695249 669.88/115.12 c (84,0) c RunningTime_2 : 78.564532 669.88/115.12 c (84,0) c RunningTime_3 : 78.665568 669.88/115.12 c (84,0) c RunningTime_4 : 77.144334 669.88/115.12 c (84,0) c RunningTime_5 : 78.295626 669.88/115.12 c (84,0) c RunningTime_6 : 77.431822 669.88/115.12 c (84,0) c RunningTime_7 : 78.209012 669.88/115.12 c (84,0) c RunningTime_total : 627.418148 669.88/115.12 c (84,0) c RunningTime_winner : 78.295626 669.88/115.12 c (84,0) c WaitingTime_0 : 0.000742 669.88/115.12 c (84,0) c WaitingTime_1 : 0.000769 669.88/115.12 c (84,0) c WaitingTime_2 : 0.000845 669.88/115.12 c (84,0) c WaitingTime_3 : 0.065375 669.88/115.12 c (84,0) c WaitingTime_4 : 1.473746 669.88/115.12 c (84,0) c WaitingTime_5 : 0.263439 669.88/115.12 c (84,0) c WaitingTime_6 : 1.261203 669.88/115.12 c (84,0) c WaitingTime_7 : 0.408509 669.88/115.12 c (84,0) c WaitingTime_total : 3.474629 669.88/115.12 c (84,0) c WaitingTime_winner : 0.263439 669.88/115.12 c (84,0) c ExchangingTime_0 : 0.009670 669.88/115.12 c (84,0) c ExchangingTime_1 : 0.010175 669.88/115.12 c (84,0) c ExchangingTime_2 : 0.011509 669.88/115.12 c (84,0) c ExchangingTime_3 : 0.009378 669.88/115.12 c (84,0) c ExchangingTime_4 : 0.011390 669.88/115.12 c (84,0) c ExchangingTime_5 : 0.011030 669.88/115.12 c (84,0) c ExchangingTime_6 : 0.010971 669.88/115.12 c (84,0) c ExchangingTime_7 : 0.010954 669.88/115.12 c (84,0) c ExchangingTime_total : 0.085076 669.88/115.12 c (84,0) c ExchangingTime_winner : 0.011030 669.88/115.12 c (84,0) c PeriodProcTime_0 : 0.005053 669.88/115.12 c (84,0) c PeriodProcTime_1 : 0.005016 669.88/115.12 c (84,0) c PeriodProcTime_2 : 0.005224 669.88/115.12 c (84,0) c PeriodProcTime_3 : 0.004931 669.88/115.12 c (84,0) c PeriodProcTime_4 : 0.005397 669.88/115.12 c (84,0) c PeriodProcTime_5 : 0.005101 669.88/115.12 c (84,0) c PeriodProcTime_6 : 0.004956 669.88/115.12 c (84,0) c PeriodProcTime_7 : 0.005382 669.88/115.12 c (84,0) c PeriodProcTime_total : 0.041061 669.88/115.12 c (84,0) c PeriodProcTime_winner : 0.005101 669.88/115.12 c (84,0) c SolvingTime_0 : 79.427471 669.88/115.12 c (84,0) c SolvingTime_1 : 79.711208 669.88/115.12 c (84,0) c SolvingTime_2 : 78.582110 669.88/115.12 c (84,0) c SolvingTime_3 : 78.745252 669.88/115.12 c (84,0) c SolvingTime_4 : 78.634868 669.88/115.12 c (84,0) c SolvingTime_5 : 78.575197 669.88/115.12 c (84,0) c SolvingTime_6 : 78.708952 669.88/115.12 c (84,0) c SolvingTime_7 : 78.633856 669.88/115.12 c (84,0) c SolvingTime_total : 631.018914 669.88/115.12 c (84,0) c SolvingTime_winner : 78.575197 669.88/115.12 c (84,0) c PropagationTime_0 : 75.370705 669.88/115.12 c (84,0) c PropagationTime_1 : 75.522390 669.88/115.12 c (84,0) c PropagationTime_2 : 73.901118 669.88/115.12 c (84,0) c PropagationTime_3 : 74.355860 669.88/115.12 c (84,0) c PropagationTime_4 : 74.051008 669.88/115.12 c (84,0) c PropagationTime_5 : 73.761263 669.88/115.12 c (84,0) c PropagationTime_6 : 73.938728 669.88/115.12 c (84,0) c PropagationTime_7 : 73.998134 669.88/115.12 c (84,0) c PropagationTime_total : 594.899205 669.88/115.12 c (84,0) c PropagationTime_winner : 73.761263 669.88/115.12 c (84,0) c AnalysisTime_0 : 1.200571 669.88/115.12 c (84,0) c AnalysisTime_1 : 1.117830 669.88/115.12 c (84,0) c AnalysisTime_2 : 1.192194 669.88/115.12 c (84,0) c AnalysisTime_3 : 1.245641 669.88/115.12 c (84,0) c AnalysisTime_4 : 1.283479 669.88/115.12 c (84,0) c AnalysisTime_5 : 1.167944 669.88/115.12 c (84,0) c AnalysisTime_6 : 1.135615 669.88/115.12 c (84,0) c AnalysisTime_7 : 1.183346 669.88/115.12 c (84,0) c AnalysisTime_total : 9.526620 669.88/115.12 c (84,0) c AnalysisTime_winner : 1.167944 669.88/115.12 c (84,0) c ReductionTime_0 : 0.001795 669.88/115.12 c (84,0) c ReductionTime_1 : 0.001637 669.88/115.12 c (84,0) c ReductionTime_2 : 0.001661 669.88/115.12 c (84,0) c ReductionTime_3 : 0.001667 669.88/115.12 c (84,0) c ReductionTime_4 : 0.002848 669.88/115.12 c (84,0) c ReductionTime_5 : 0.001857 669.88/115.12 c (84,0) c ReductionTime_6 : 0.001684 669.88/115.12 c (84,0) c ReductionTime_7 : 0.001697 669.88/115.12 c (84,0) c ReductionTime_total : 0.014846 669.88/115.12 c (84,0) c ReductionTime_winner : 0.001857 669.88/115.12 c (84,0) c SimplifyTime_0 : 1.173053 669.88/115.12 c (84,0) c SimplifyTime_1 : 1.398915 669.88/115.12 c (84,0) c SimplifyTime_2 : 1.727319 669.88/115.12 c (84,0) c SimplifyTime_3 : 1.377086 669.88/115.12 c (84,0) c SimplifyTime_4 : 1.586363 669.88/115.12 c (84,0) c SimplifyTime_5 : 1.873172 669.88/115.12 c (84,0) c SimplifyTime_6 : 1.903065 669.88/115.12 c (84,0) c SimplifyTime_7 : 1.700080 669.88/115.12 c (84,0) c SimplifyTime_total : 12.739054 669.88/115.12 c (84,0) c SimplifyTime_winner : 1.873172 669.88/115.12 c (84,0) c UsedRateTime_0 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_1 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_2 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_3 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_4 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_5 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_6 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_7 : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_total : 0.000000 669.88/115.12 c (84,0) c UsedRateTime_winner : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_0 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_1 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_2 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_3 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_4 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_5 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_6 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_7 : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_total : 0.000000 669.88/115.12 c (84,0) c OverlapRateTime_winner : 0.000000 669.88/115.12 c (84,0) c 669.88/115.12 c (84,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 669.88/115.12 c (84,0) c 669.88/115.12 c (84,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.12 c (84,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 669.88/115.12 c (84,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.12 c (84,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 669.88/115.12 c (84,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 669.88/115.12 c (84,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 669.88/115.12 c (84,0) c | Initial random_seed | 1344867263 | 615039600 | 406738599 | 1968464822 | 1113622487 | 482307768 | 258503899 | 2061677367 | 669.88/115.12 c (84,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 669.88/115.12 c (84,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 669.88/115.12 c (84,0) c | glureduce | True | True | True | True | True | True | True | True | 669.88/115.12 c (84,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 669.88/115.12 c (84,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 669.88/115.12 c (84,0) c | luby_restart | False | False | False | False | False | False | False | False | 669.88/115.12 c (84,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 669.88/115.12 c (84,0) c | var_decay | 0.8100 | 0.8100 | 0.8100 | 0.8200 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 669.88/115.12 c (84,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 669.88/115.12 c (84,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 669.88/115.12 c (84,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 669.88/115.12 c (84,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 669.88/115.12 c (84,0) 669.88/115.12 c (84,0) s SATISFIABLE 41.07/115.38 c (85,0) SatSolver.solve End 41.07/115.38 c (85,0) Heap : 183 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 41.07/115.38 c (85,0) Show results Begin 670.89/115.51 c (85,0) x0 = 14 670.89/115.51 c (85,0) x1 = 15 670.89/115.51 c (85,0) x10 = 526 670.89/115.51 c (85,0) x100 = 555 670.89/115.51 c (85,0) x101 = 554 670.89/115.51 c (85,0) x102 = 626 670.89/115.51 c (85,0) x103 = 625 670.89/115.51 c (85,0) x104 = 704 670.89/115.51 c (85,0) x105 = 705 670.89/115.51 c (85,0) x106 = 813 670.89/115.51 c (85,0) x107 = 814 670.89/115.51 c (85,0) x108 = 935 670.89/115.51 c (85,0) x109 = 936 670.89/115.51 c (85,0) x11 = 527 670.89/115.51 c (85,0) x110 = 1011 670.89/115.51 c (85,0) x111 = 1012 670.89/115.51 c (85,0) x112 = 1102 670.89/115.51 c (85,0) x113 = 1103 670.89/115.51 c (85,0) x114 = 1193 670.89/115.51 c (85,0) x115 = 1192 670.89/115.51 c (85,0) x116 = 1251 670.89/115.51 c (85,0) x117 = 1252 670.89/115.51 c (85,0) x118 = 1259 670.89/115.51 c (85,0) x119 = 1258 670.89/115.51 c (85,0) x12 = 629 670.89/115.51 c (85,0) x120 = 36 670.89/115.51 c (85,0) x121 = 35 670.89/115.51 c (85,0) x122 = 129 670.89/115.51 c (85,0) x123 = 130 670.89/115.51 c (85,0) x124 = 182 670.89/115.51 c (85,0) x125 = 183 670.89/115.51 c (85,0) x126 = 299 670.89/115.51 c (85,0) x127 = 298 670.89/115.51 c (85,0) x128 = 312 670.89/115.51 c (85,0) x129 = 313 670.89/115.51 c (85,0) x13 = 630 670.89/115.51 c (85,0) x130 = 332 670.89/115.51 c (85,0) x131 = 331 670.89/115.51 c (85,0) x132 = 389 670.89/115.51 c (85,0) x133 = 390 670.89/115.51 c (85,0) x134 = 461 670.89/115.51 c (85,0) x135 = 462 670.89/115.51 c (85,0) x136 = 521 670.89/115.51 c (85,0) x137 = 522 670.89/115.51 c (85,0) x138 = 728 670.89/115.51 c (85,0) x139 = 729 670.89/115.51 c (85,0) x14 = 701 670.89/115.51 c (85,0) x140 = 861 670.89/115.51 c (85,0) x141 = 862 670.89/115.51 c (85,0) x142 = 947 670.89/115.51 c (85,0) x143 = 948 670.89/115.51 c (85,0) x144 = 1057 670.89/115.51 c (85,0) x145 = 1056 670.89/115.51 c (85,0) x146 = 1130 670.89/115.51 c (85,0) x147 = 1131 670.89/115.52 c (85,0) x148 = 1242 670.89/115.52 c (85,0) x149 = 1243 670.89/115.52 c (85,0) x15 = 700 670.89/115.52 c (85,0) x150 = 72 670.89/115.52 c (85,0) x151 = 71 670.89/115.52 c (85,0) x152 = 134 670.89/115.52 c (85,0) x153 = 135 670.89/115.52 c (85,0) x154 = 195 670.89/115.52 c (85,0) x155 = 196 670.89/115.52 c (85,0) x156 = 312 670.89/115.52 c (85,0) x157 = 313 670.89/115.52 c (85,0) x158 = 371 670.89/115.52 c (85,0) x159 = 372 670.89/115.52 c (85,0) x16 = 726 670.89/115.52 c (85,0) x160 = 394 670.89/115.52 c (85,0) x161 = 393 670.89/115.52 c (85,0) x162 = 466 670.89/115.52 c (85,0) x163 = 467 670.89/115.52 c (85,0) x164 = 594 670.89/115.52 c (85,0) x165 = 593 670.89/115.52 c (85,0) x166 = 699 670.89/115.52 c (85,0) x167 = 700 670.89/115.52 c (85,0) x168 = 758 670.89/115.52 c (85,0) x169 = 759 670.89/115.52 c (85,0) x17 = 727 670.89/115.52 c (85,0) x170 = 810 670.89/115.52 c (85,0) x171 = 809 670.89/115.52 c (85,0) x172 = 880 670.89/115.52 c (85,0) x173 = 881 670.89/115.52 c (85,0) x174 = 944 670.89/115.52 c (85,0) x175 = 943 670.89/115.52 c (85,0) x176 = 1020 670.89/115.52 c (85,0) x177 = 1021 670.89/115.52 c (85,0) x178 = 1191 670.89/115.52 c (85,0) x179 = 1192 670.89/115.52 c (85,0) x18 = 825 670.89/115.52 c (85,0) x180 = 17 670.89/115.52 c (85,0) x181 = 16 670.89/115.52 c (85,0) x182 = 167 670.89/115.52 c (85,0) x183 = 168 670.89/115.52 c (85,0) x184 = 246 670.89/115.52 c (85,0) x185 = 245 670.89/115.52 c (85,0) x186 = 336 670.89/115.52 c (85,0) x187 = 337 670.89/115.52 c (85,0) x188 = 371 670.89/115.52 c (85,0) x189 = 370 670.89/115.52 c (85,0) x19 = 826 670.89/115.52 c (85,0) x190 = 416 670.89/115.52 c (85,0) x191 = 417 670.89/115.52 c (85,0) x192 = 426 670.89/115.52 c (85,0) x193 = 425 670.89/115.52 c (85,0) x194 = 434 670.89/115.52 c (85,0) x195 = 435 670.89/115.52 c (85,0) x196 = 504 670.89/115.52 c (85,0) x197 = 503 670.89/115.52 c (85,0) x198 = 574 670.89/115.52 c (85,0) x199 = 575 670.89/115.52 c (85,0) x2 = 205 670.89/115.52 c (85,0) x20 = 875 670.89/115.52 c (85,0) x200 = 649 670.89/115.52 c (85,0) x201 = 648 670.89/115.52 c (85,0) x202 = 927 670.89/115.52 c (85,0) x203 = 926 670.89/115.52 c (85,0) x204 = 1028 670.89/115.52 c (85,0) x205 = 1029 670.89/115.52 c (85,0) x206 = 1098 670.89/115.52 c (85,0) x207 = 1099 670.89/115.52 c (85,0) x208 = 1193 670.89/115.52 c (85,0) x209 = 1192 670.89/115.52 c (85,0) x21 = 874 670.89/115.52 c (85,0) x210 = 0 670.89/115.52 c (85,0) x211 = 1 670.89/115.52 c (85,0) x212 = 61 670.89/115.52 c (85,0) x213 = 60 670.89/115.52 c (85,0) x214 = 165 670.89/115.52 c (85,0) x215 = 190 670.89/115.52 c (85,0) x216 = 354 670.89/115.52 c (85,0) x217 = 353 670.89/115.52 c (85,0) x218 = 434 670.89/115.52 c (85,0) x219 = 433 670.89/115.52 c (85,0) x22 = 918 670.89/115.52 c (85,0) x220 = 497 670.89/115.52 c (85,0) x221 = 498 670.89/115.52 c (85,0) x222 = 604 670.89/115.52 c (85,0) x223 = 605 670.89/115.52 c (85,0) x224 = 628 670.89/115.52 c (85,0) x225 = 627 670.89/115.52 c (85,0) x226 = 692 670.89/115.52 c (85,0) x227 = 691 670.89/115.52 c (85,0) x228 = 833 670.89/115.52 c (85,0) x229 = 832 670.89/115.52 c (85,0) x23 = 919 670.89/115.52 c (85,0) x230 = 858 670.89/115.52 c (85,0) x231 = 857 670.89/115.52 c (85,0) x232 = 918 670.89/115.52 c (85,0) x233 = 917 670.89/115.52 c (85,0) x234 = 930 670.89/115.52 c (85,0) x235 = 931 670.89/115.52 c (85,0) x236 = 992 670.89/115.52 c (85,0) x237 = 993 670.89/115.52 c (85,0) x238 = 1004 670.89/115.52 c (85,0) x239 = 1003 670.89/115.52 c (85,0) x24 = 930 670.89/115.52 c (85,0) x240 = 249 670.89/115.52 c (85,0) x241 = 250 670.89/115.52 c (85,0) x242 = 343 670.89/115.52 c (85,0) x243 = 342 670.89/115.52 c (85,0) x244 = 434 670.89/115.52 c (85,0) x245 = 433 670.89/115.52 c (85,0) x246 = 512 670.89/115.52 c (85,0) x247 = 513 670.89/115.52 c (85,0) x248 = 592 670.89/115.52 c (85,0) x249 = 591 670.89/115.52 c (85,0) x25 = 929 670.89/115.52 c (85,0) x250 = 683 670.89/115.52 c (85,0) x251 = 684 670.89/115.52 c (85,0) x252 = 774 670.89/115.52 c (85,0) x253 = 773 670.89/115.52 c (85,0) x254 = 837 670.89/115.52 c (85,0) x255 = 838 670.89/115.52 c (85,0) x256 = 878 670.89/115.52 c (85,0) x257 = 877 670.89/115.52 c (85,0) x258 = 948 670.89/115.52 c (85,0) x259 = 949 670.89/115.52 c (85,0) x26 = 1168 670.89/115.52 c (85,0) x260 = 967 670.89/115.52 c (85,0) x261 = 966 670.89/115.52 c (85,0) x262 = 1019 670.89/115.52 c (85,0) x263 = 1020 670.89/115.52 c (85,0) x264 = 1103 670.89/115.52 c (85,0) x265 = 1102 670.89/115.52 c (85,0) x266 = 1166 670.89/115.52 c (85,0) x267 = 1167 670.89/115.52 c (85,0) x268 = 1191 670.89/115.52 c (85,0) x269 = 1190 670.89/115.52 c (85,0) x27 = 1169 670.89/115.52 c (85,0) x270 = 0 670.89/115.52 c (85,0) x271 = 1 670.89/115.52 c (85,0) x272 = 6 670.89/115.52 c (85,0) x273 = 5 670.89/115.52 c (85,0) x274 = 41 670.89/115.52 c (85,0) x275 = 42 670.89/115.52 c (85,0) x276 = 236 670.89/115.52 c (85,0) x277 = 235 670.89/115.52 c (85,0) x278 = 318 670.89/115.52 c (85,0) x279 = 319 670.89/115.52 c (85,0) x28 = 1190 670.89/115.52 c (85,0) x280 = 434 670.89/115.52 c (85,0) x281 = 435 670.89/115.52 c (85,0) x282 = 471 670.89/115.52 c (85,0) x283 = 470 670.89/115.52 c (85,0) x284 = 660 670.89/115.52 c (85,0) x285 = 661 670.89/115.52 c (85,0) x286 = 781 670.89/115.52 c (85,0) x287 = 782 670.89/115.52 c (85,0) x288 = 845 670.89/115.52 c (85,0) x289 = 844 670.89/115.52 c (85,0) x29 = 1189 670.89/115.52 c (85,0) x290 = 910 670.89/115.52 c (85,0) x291 = 909 670.89/115.52 c (85,0) x292 = 992 670.89/115.52 c (85,0) x293 = 991 670.89/115.52 c (85,0) x294 = 1086 670.89/115.52 c (85,0) x295 = 1087 670.89/115.52 c (85,0) x296 = 1104 670.89/115.52 c (85,0) x297 = 1103 670.89/115.52 c (85,0) x298 = 1226 670.89/115.52 c (85,0) x299 = 1225 670.89/115.52 c (85,0) x3 = 101 670.89/115.52 c (85,0) x30 = 0 670.89/115.52 c (85,0) x300 = 0 670.89/115.52 c (85,0) x301 = 1 670.89/115.52 c (85,0) x302 = 41 670.89/115.52 c (85,0) x303 = 42 670.89/115.52 c (85,0) x304 = 84 670.89/115.52 c (85,0) x305 = 83 670.89/115.52 c (85,0) x306 = 146 670.89/115.52 c (85,0) x307 = 147 670.89/115.52 c (85,0) x308 = 226 670.89/115.52 c (85,0) x309 = 227 670.89/115.52 c (85,0) x31 = 1 670.89/115.52 c (85,0) x310 = 341 670.89/115.52 c (85,0) x311 = 342 670.89/115.52 c (85,0) x312 = 373 670.89/115.52 c (85,0) x313 = 374 670.89/115.52 c (85,0) x314 = 458 670.89/115.53 c (85,0) x315 = 457 670.89/115.53 c (85,0) x316 = 521 670.89/115.53 c (85,0) x317 = 522 670.89/115.53 c (85,0) x318 = 700 670.89/115.53 c (85,0) x319 = 701 670.89/115.53 c (85,0) x32 = 100 670.89/115.53 c (85,0) x320 = 788 670.89/115.53 c (85,0) x321 = 790 670.89/115.53 c (85,0) x322 = 876 670.89/115.53 c (85,0) x323 = 877 670.89/115.53 c (85,0) x324 = 972 670.89/115.53 c (85,0) x325 = 971 670.89/115.53 c (85,0) x326 = 1022 670.89/115.53 c (85,0) x327 = 1023 670.89/115.53 c (85,0) x328 = 1153 670.89/115.53 c (85,0) x329 = 1152 670.89/115.53 c (85,0) x33 = 99 670.89/115.53 c (85,0) x330 = 61 670.89/115.53 c (85,0) x331 = 60 670.89/115.53 c (85,0) x332 = 85 670.89/115.53 c (85,0) x333 = 84 670.89/115.53 c (85,0) x334 = 264 670.89/115.53 c (85,0) x335 = 265 670.89/115.53 c (85,0) x336 = 300 670.89/115.53 c (85,0) x337 = 301 670.89/115.53 c (85,0) x338 = 338 670.89/115.53 c (85,0) x339 = 337 670.89/115.53 c (85,0) x34 = 130 670.89/115.53 c (85,0) x340 = 384 670.89/115.53 c (85,0) x341 = 385 670.89/115.53 c (85,0) x342 = 640 670.89/115.53 c (85,0) x343 = 639 670.89/115.53 c (85,0) x344 = 661 670.89/115.53 c (85,0) x345 = 660 670.89/115.53 c (85,0) x346 = 670 670.89/115.53 c (85,0) x347 = 669 670.89/115.53 c (85,0) x348 = 729 670.89/115.53 c (85,0) x349 = 728 670.89/115.53 c (85,0) x35 = 129 670.89/115.53 c (85,0) x350 = 851 670.89/115.53 c (85,0) x351 = 879 670.89/115.53 c (85,0) x352 = 934 670.89/115.53 c (85,0) x353 = 935 670.89/115.53 c (85,0) x354 = 986 670.89/115.53 c (85,0) x355 = 987 670.89/115.53 c (85,0) x356 = 995 670.89/115.53 c (85,0) x357 = 994 670.89/115.53 c (85,0) x358 = 1035 670.89/115.53 c (85,0) x359 = 1036 670.89/115.53 c (85,0) x36 = 168 670.89/115.53 c (85,0) x360 = 0 670.89/115.53 c (85,0) x361 = 1 670.89/115.53 c (85,0) x362 = 29 670.89/115.53 c (85,0) x363 = 28 670.89/115.53 c (85,0) x364 = 68 670.89/115.53 c (85,0) x365 = 67 670.89/115.53 c (85,0) x366 = 125 670.89/115.53 c (85,0) x367 = 126 670.89/115.53 c (85,0) x368 = 168 670.89/115.53 c (85,0) x369 = 169 670.89/115.53 c (85,0) x37 = 169 670.89/115.53 c (85,0) x370 = 282 670.89/115.53 c (85,0) x371 = 257 670.89/115.53 c (85,0) x372 = 367 670.89/115.53 c (85,0) x373 = 368 670.89/115.53 c (85,0) x374 = 392 670.89/115.53 c (85,0) x375 = 393 670.89/115.53 c (85,0) x376 = 438 670.89/115.53 c (85,0) x377 = 437 670.89/115.53 c (85,0) x378 = 573 670.89/115.53 c (85,0) x379 = 574 670.89/115.53 c (85,0) x38 = 205 670.89/115.53 c (85,0) x380 = 589 670.89/115.53 c (85,0) x381 = 588 670.89/115.53 c (85,0) x382 = 799 670.89/115.53 c (85,0) x383 = 809 670.89/115.53 c (85,0) x384 = 878 670.89/115.53 c (85,0) x385 = 877 670.89/115.53 c (85,0) x386 = 899 670.89/115.53 c (85,0) x387 = 900 670.89/115.53 c (85,0) x388 = 968 670.89/115.53 c (85,0) x389 = 969 670.89/115.53 c (85,0) x39 = 204 670.89/115.53 c (85,0) x390 = 6 670.89/115.53 c (85,0) x391 = 5 670.89/115.53 c (85,0) x392 = 215 670.89/115.53 c (85,0) x393 = 214 670.89/115.53 c (85,0) x394 = 310 670.89/115.53 c (85,0) x395 = 311 670.89/115.53 c (85,0) x396 = 398 670.89/115.53 c (85,0) x397 = 399 670.89/115.53 c (85,0) x398 = 470 670.89/115.53 c (85,0) x399 = 469 670.89/115.53 c (85,0) x4 = 300 670.89/115.53 c (85,0) x40 = 339 670.89/115.53 c (85,0) x400 = 568 670.89/115.53 c (85,0) x401 = 569 670.89/115.53 c (85,0) x402 = 597 670.89/115.53 c (85,0) x403 = 596 670.89/115.53 c (85,0) x404 = 632 670.89/115.53 c (85,0) x405 = 631 670.89/115.53 c (85,0) x406 = 701 670.89/115.53 c (85,0) x407 = 700 670.89/115.53 c (85,0) x408 = 796 670.89/115.53 c (85,0) x409 = 797 670.89/115.53 c (85,0) x41 = 338 670.89/115.53 c (85,0) x410 = 862 670.89/115.53 c (85,0) x411 = 861 670.89/115.53 c (85,0) x412 = 923 670.89/115.53 c (85,0) x413 = 922 670.89/115.53 c (85,0) x414 = 1020 670.89/115.53 c (85,0) x415 = 1021 670.89/115.53 c (85,0) x416 = 1127 670.89/115.53 c (85,0) x417 = 1128 670.89/115.53 c (85,0) x418 = 1191 670.89/115.53 c (85,0) x419 = 1190 670.89/115.53 c (85,0) x42 = 415 670.89/115.53 c (85,0) x420 = 0 670.89/115.53 c (85,0) x421 = 1 670.89/115.53 c (85,0) x422 = 69 670.89/115.53 c (85,0) x423 = 68 670.89/115.53 c (85,0) x424 = 188 670.89/115.53 c (85,0) x425 = 181 670.89/115.53 c (85,0) x426 = 226 670.89/115.53 c (85,0) x427 = 227 670.89/115.53 c (85,0) x428 = 251 670.89/115.53 c (85,0) x429 = 250 670.89/115.53 c (85,0) x43 = 416 670.89/115.53 c (85,0) x430 = 335 670.89/115.53 c (85,0) x431 = 336 670.89/115.53 c (85,0) x432 = 385 670.89/115.53 c (85,0) x433 = 386 670.89/115.53 c (85,0) x434 = 468 670.89/115.53 c (85,0) x435 = 469 670.89/115.53 c (85,0) x436 = 470 670.89/115.53 c (85,0) x437 = 471 670.89/115.53 c (85,0) x438 = 563 670.89/115.53 c (85,0) x439 = 562 670.89/115.53 c (85,0) x44 = 453 670.89/115.53 c (85,0) x440 = 733 670.89/115.53 c (85,0) x441 = 732 670.89/115.53 c (85,0) x442 = 853 670.89/115.53 c (85,0) x443 = 852 670.89/115.53 c (85,0) x444 = 947 670.89/115.53 c (85,0) x445 = 946 670.89/115.53 c (85,0) x446 = 967 670.89/115.53 c (85,0) x447 = 968 670.89/115.53 c (85,0) x448 = 1086 670.89/115.53 c (85,0) x449 = 1087 670.89/115.53 c (85,0) x45 = 452 670.89/115.53 c (85,0) x46 = 482 670.89/115.53 c (85,0) x47 = 481 670.89/115.53 c (85,0) x48 = 544 670.89/115.53 c (85,0) x49 = 545 670.89/115.53 c (85,0) x5 = 299 670.89/115.53 c (85,0) x50 = 633 670.89/115.53 c (85,0) x51 = 634 670.89/115.53 c (85,0) x52 = 699 670.89/115.53 c (85,0) x53 = 698 670.89/115.53 c (85,0) x54 = 710 670.89/115.53 c (85,0) x55 = 711 670.89/115.53 c (85,0) x56 = 731 670.89/115.53 c (85,0) x57 = 730 670.89/115.53 c (85,0) x58 = 1239 670.89/115.53 c (85,0) x59 = 1240 670.89/115.53 c (85,0) x6 = 374 670.89/115.53 c (85,0) x60 = 0 670.89/115.53 c (85,0) x61 = 1 670.89/115.53 c (85,0) x62 = 154 670.89/115.53 c (85,0) x63 = 155 670.89/115.53 c (85,0) x64 = 222 670.89/115.53 c (85,0) x65 = 221 670.89/115.53 c (85,0) x66 = 328 670.89/115.53 c (85,0) x67 = 329 670.89/115.53 c (85,0) x68 = 420 670.89/115.53 c (85,0) x69 = 419 670.89/115.53 c (85,0) x7 = 375 670.89/115.53 c (85,0) x70 = 550 670.89/115.53 c (85,0) x71 = 549 670.89/115.53 c (85,0) x72 = 631 670.89/115.53 c (85,0) x73 = 632 670.89/115.53 c (85,0) x74 = 693 670.89/115.53 c (85,0) x75 = 692 670.89/115.53 c (85,0) x76 = 820 670.89/115.53 c (85,0) x77 = 821 670.89/115.53 c (85,0) x78 = 867 670.89/115.53 c (85,0) x79 = 866 670.89/115.53 c (85,0) x8 = 461 670.89/115.53 c (85,0) x80 = 930 670.89/115.53 c (85,0) x81 = 929 670.89/115.53 c (85,0) x82 = 952 670.89/115.53 c (85,0) x83 = 953 670.89/115.53 c (85,0) x84 = 1064 670.89/115.53 c (85,0) x85 = 1063 670.89/115.53 c (85,0) x86 = 1102 670.89/115.53 c (85,0) x87 = 1103 670.89/115.53 c (85,0) x88 = 1181 670.89/115.53 c (85,0) x89 = 1180 670.89/115.53 c (85,0) x9 = 460 670.89/115.53 c (85,0) x90 = 1 670.89/115.53 c (85,0) x91 = 0 670.89/115.53 c (85,0) x92 = 235 670.89/115.53 c (85,0) x93 = 234 670.89/115.53 c (85,0) x94 = 283 670.89/115.53 c (85,0) x95 = 282 670.89/115.53 c (85,0) x96 = 382 670.89/115.53 c (85,0) x97 = 383 670.89/115.53 c (85,0) x98 = 519 670.89/115.53 c (85,0) x99 = 531 670.89/115.53 s SATISFIABLE 670.89/115.53 v <instantiation> 670.89/115.53 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> 670.89/115.53 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> 670.89/115.53 v </instantiation> 670.89/115.53 c (85,0) Show results End 670.89/115.53 c (85,0) Heap : 224 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 670.89/115.53 c (85,0) 85,85,STOP-AFTER(ALL) 670.89/115.53 c END-Prog: Tue Sep 24 22:57:49 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 (13800 MiB free) memory of node 1: 16384 MiB (11317 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405644-1569358594/watcher-4405644-1569358594 -o /tmp/evaluation-result-4405644-1569358594/solver-4405644-1569358594 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569358553-23378 --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-4405644-1569358594.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 solver pid=23395, runsolver pid=23392 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.103776 s]* /proc/loadavg: 8.07 8.17 8.24 2/211 23417 /proc/meminfo: memFree=25626576/32770624 swapFree=66959708/67108860 [pid=23395] ppid=23392 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23395/stat : 23395 (scop.sh) S 23392 23395 23351 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512128211 115843072 349 33554432000 4194304 5098028 140729353709232 140729353706488 139820702581372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21868544 140729353712420 140729353712748 140729353712748 140729353715661 0 /proc/23395/statm: 28282 349 296 221 0 87 0 [pid=23398] ppid=23395 vsize=27314120 memory=107236 CPUtime=0.11 cores=0-7 /proc/23398/stat : 23398 (java) S 23395 23395 23351 0 -1 1077944320 6364 0 0 0 9 2 0 0 20 0 20 0 512128211 27969658880 26809 33554432000 4194304 4196468 140737362643952 140737362626496 140471295127287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 /proc/23398/statm: 6828530 26809 2819 1 0 6790935 0 [pid=23398/tid=23399] ppid=23395 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/23398/task/23399/stat : 23399 (java) R 23395 23395 23351 0 -1 4202560 4398 0 0 0 7 2 0 0 20 0 20 0 512128211 27969658880 26809 33554432000 4194304 4196468 140737362643952 140471266952144 140471280559242 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23400] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23400/stat : 23400 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140471299369360 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23401] ppid=23395 vsize=27314120 memory=140580791886687 CPUtime=0 cores=0-7 /proc/23398/task/23401/stat : 23401 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140471067384080 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23402] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23402/stat : 23402 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140470716631696 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23403] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23403/stat : 23403 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140470715578896 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23404] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23404/stat : 23404 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140470714526608 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23405] ppid=23395 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23398/task/23405/stat : 23405 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140470713473808 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23406] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23406/stat : 23406 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140470712421520 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23407] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23407/stat : 23407 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 26809 33554432000 4194304 4196468 140737362643952 140470711368720 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23408] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23408/stat : 23408 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128215 27969658880 26809 33554432000 4194304 4196468 140737362643952 140469930002544 140471295138434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23409] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23409/stat : 23409 (java) S 23395 23395 23351 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512128216 27969658880 26809 33554432000 4194304 4196468 140737362643952 140469052891936 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23410] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23410/stat : 23410 (java) S 23395 23395 23351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512128216 27969658880 26809 33554432000 4194304 4196468 140737362643952 140468918670448 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23411] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23411/stat : 23411 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 26809 33554432000 4194304 4196468 140737362643952 140468544165968 140471295145883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23412] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23412/stat : 23412 (java) S 23395 23395 23351 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 26809 33554432000 4194304 4196468 140737362643952 140469928950384 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23413] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23413/stat : 23413 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 26809 33554432000 4194304 4196468 140737362643952 140469927897584 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23414] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23414/stat : 23414 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 26809 33554432000 4194304 4196468 140737362643952 140469926845296 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23415] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23415/stat : 23415 (java) R 23395 23395 23351 0 -1 4202560 316 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 26809 33554432000 4194304 4196468 140737362643952 140469812062960 140471274262132 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23416] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23416/stat : 23416 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128219 27969658880 26809 33554432000 4194304 4196468 140737362643952 140468046260576 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23417] ppid=23395 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23398/task/23417/stat : 23417 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128219 27969658880 26809 33554432000 4194304 4196468 140737362643952 140469811009840 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108632 KiB [startup+0.210467 s]* /proc/loadavg: 8.07 8.17 8.24 2/211 23417 /proc/meminfo: memFree=25605524/32770624 swapFree=66959708/67108860 [pid=23395] ppid=23392 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23395/stat : 23395 (scop.sh) S 23392 23395 23351 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512128211 115843072 349 33554432000 4194304 5098028 140729353709232 140729353706488 139820702581372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21868544 140729353712420 140729353712748 140729353712748 140729353715661 0 /proc/23395/statm: 28282 349 296 221 0 87 0 [pid=23398] ppid=23395 vsize=27314120 memory=124016 CPUtime=0.24 cores=0-7 /proc/23398/stat : 23398 (java) S 23395 23395 23351 0 -1 1077944320 11749 0 0 0 20 4 0 0 20 0 20 0 512128211 27969658880 31004 33554432000 4194304 4196468 140737362643952 140737362626496 140471295127287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 /proc/23398/statm: 6828530 31004 2972 1 0 6790935 0 [pid=23398/tid=23399] ppid=23395 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/23398/task/23399/stat : 23399 (java) R 23395 23395 23351 0 -1 4202560 9462 0 0 0 16 3 0 0 20 0 20 0 512128211 27969658880 31004 33554432000 4194304 4196468 140737362643952 140471266951232 140471275403168 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23400] ppid=23395 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/23398/task/23400/stat : 23400 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140471299369360 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23401] ppid=23395 vsize=27314120 memory=3978564192298755744 CPUtime=0 cores=0-7 /proc/23398/task/23401/stat : 23401 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140471067384080 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23402] ppid=23395 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23398/task/23402/stat : 23402 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140470716631696 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23403] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23403/stat : 23403 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140470715578896 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23404] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23404/stat : 23404 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140470714526608 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23405] ppid=23395 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23398/task/23405/stat : 23405 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140470713473808 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23406] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23406/stat : 23406 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140470712421520 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23407] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23407/stat : 23407 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31004 33554432000 4194304 4196468 140737362643952 140470711368720 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23408] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23408/stat : 23408 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128215 27969658880 31004 33554432000 4194304 4196468 140737362643952 140469930002544 140471295138434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23409] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23409/stat : 23409 (java) S 23395 23395 23351 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512128216 27969658880 31004 33554432000 4194304 4196468 140737362643952 140469052891936 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23410] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23410/stat : 23410 (java) S 23395 23395 23351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512128216 27969658880 31004 33554432000 4194304 4196468 140737362643952 140468918670448 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23411] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23411/stat : 23411 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 31004 33554432000 4194304 4196468 140737362643952 140468544165968 140471295145883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23412] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23412/stat : 23412 (java) S 23395 23395 23351 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 31004 33554432000 4194304 4196468 140737362643952 140469928950384 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23413] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23413/stat : 23413 (java) S 23395 23395 23351 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 31004 33554432000 4194304 4196468 140737362643952 140469927897584 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23414] ppid=23395 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23398/task/23414/stat : 23414 (java) S 23395 23395 23351 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 31004 33554432000 4194304 4196468 140737362643952 140469926845296 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23415] ppid=23395 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/23398/task/23415/stat : 23415 (java) S 23395 23395 23351 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 20 0 512128218 27969658880 31004 33554432000 4194304 4196468 140737362643952 140469812062960 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23416] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23416/stat : 23416 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128219 27969658880 31004 33554432000 4194304 4196468 140737362643952 140468046260576 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23417] ppid=23395 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23398/task/23417/stat : 23417 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128219 27969658880 31004 33554432000 4194304 4196468 140737362643952 140469811009840 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125412 KiB [startup+0.310184 s]* /proc/loadavg: 8.07 8.17 8.24 2/211 23417 /proc/meminfo: memFree=25602856/32770624 swapFree=66959708/67108860 [pid=23395] ppid=23392 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23395/stat : 23395 (scop.sh) S 23392 23395 23351 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512128211 115843072 349 33554432000 4194304 5098028 140729353709232 140729353706488 139820702581372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21868544 140729353712420 140729353712748 140729353712748 140729353715661 0 /proc/23395/statm: 28282 349 296 221 0 87 0 [pid=23398] ppid=23395 vsize=27314120 memory=127640 CPUtime=0.42 cores=0-7 /proc/23398/stat : 23398 (java) S 23395 23395 23351 0 -1 1077944320 12800 0 0 0 37 5 0 0 20 0 20 0 512128211 27969658880 31910 33554432000 4194304 4196468 140737362643952 140737362626496 140471295127287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 /proc/23398/statm: 6828530 31910 3025 1 0 6790935 0 [pid=23398/tid=23399] ppid=23395 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/23398/task/23399/stat : 23399 (java) R 23395 23395 23351 0 -1 4202560 10320 0 0 0 25 4 0 0 20 0 20 0 512128211 27969658880 31910 33554432000 4194304 4196468 140737362643952 140471266910304 140471275402422 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23400] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23400/stat : 23400 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140471299369360 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23401] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23401/stat : 23401 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140471067384080 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23402] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23402/stat : 23402 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140470716631696 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23403] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23403/stat : 23403 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140470715578896 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23404] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23404/stat : 23404 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140470714526608 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23405] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23405/stat : 23405 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140470713473808 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23406] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23406/stat : 23406 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140470712421520 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23407] ppid=23395 vsize=27314120 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/23398/task/23407/stat : 23407 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27969658880 31910 33554432000 4194304 4196468 140737362643952 140470711368720 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23408] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23408/stat : 23408 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128215 27969658880 31910 33554432000 4194304 4196468 140737362643952 140469930002544 140471295138434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23409] ppid=23395 vsize=27314120 memory=281161310084480 CPUtime=0 cores=0-7 /proc/23398/task/23409/stat : 23409 (java) S 23395 23395 23351 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512128216 27969658880 31910 33554432000 4194304 4196468 140737362643952 140469052891936 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23410] ppid=23395 vsize=27314120 memory=281161310089088 CPUtime=0 cores=0-7 /proc/23398/task/23410/stat : 23410 (java) S 23395 23395 23351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512128216 27969658880 31910 33554432000 4194304 4196468 140737362643952 140468918670448 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23411] ppid=23395 vsize=27314120 memory=281161310093696 CPUtime=0 cores=0-7 /proc/23398/task/23411/stat : 23411 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128218 27969658880 31910 33554432000 4194304 4196468 140737362643952 140468544165968 140471295145883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23412] ppid=23395 vsize=27314120 memory=281161310098304 CPUtime=0.01 cores=0-7 /proc/23398/task/23412/stat : 23412 (java) S 23395 23395 23351 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 20 0 512128218 27969658880 31910 33554432000 4194304 4196468 140737362643952 140469928950384 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23413] ppid=23395 vsize=27314120 memory=281161310102912 CPUtime=0.01 cores=0-7 /proc/23398/task/23413/stat : 23413 (java) R 23395 23395 23351 0 -1 4202560 39 0 0 0 1 0 0 0 20 0 20 0 512128218 27969658880 31910 33554432000 4194304 4196468 140737362643952 140469927897584 140471274782657 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23414] ppid=23395 vsize=27314120 memory=281161310107520 CPUtime=0.01 cores=0-7 /proc/23398/task/23414/stat : 23414 (java) S 23395 23395 23351 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 512128218 27969658880 31910 33554432000 4194304 4196468 140737362643952 140469926845296 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23415] ppid=23395 vsize=27314120 memory=281161310112128 CPUtime=0.07 cores=0-7 /proc/23398/task/23415/stat : 23415 (java) S 23395 23395 23351 0 -1 1077944384 483 0 0 0 7 0 0 0 20 0 20 0 512128218 27969658880 31910 33554432000 4194304 4196468 140737362643952 140469812062960 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23416] ppid=23395 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23416/stat : 23416 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512128219 27969658880 31910 33554432000 4194304 4196468 140737362643952 140468046260576 140471295137493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23417] ppid=23395 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/23398/task/23417/stat : 23417 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128219 27969658880 31910 33554432000 4194304 4196468 140737362643952 140469811009840 140471295138434 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129036 KiB [startup+0.700954 s] /proc/loadavg: 8.07 8.17 8.24 2/211 23417 /proc/meminfo: memFree=25581256/32770624 swapFree=66959708/67108860 [pid=23395] ppid=23392 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/23395/stat : 23395 (scop.sh) S 23392 23395 23351 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 512128211 115843072 349 33554432000 4194304 5098028 140729353709232 140729353706488 139820702581372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21868544 140729353712420 140729353712748 140729353712748 140729353715661 0 /proc/23395/statm: 28282 349 296 221 0 87 0 [pid=23398] ppid=23395 vsize=27320392 memory=162852 CPUtime=0.99 cores=0-7 /proc/23398/stat : 23398 (java) S 23395 23395 23351 0 -1 1077944320 19852 0 0 0 92 7 0 0 20 0 20 0 512128211 27976081408 40713 33554432000 4194304 4196468 140737362643952 140737362626496 140471295127287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 /proc/23398/statm: 6830098 40713 3168 1 0 6791447 0 [pid=23398/tid=23399] ppid=23395 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7 /proc/23398/task/23399/stat : 23399 (java) R 23395 23395 23351 0 -1 4202560 16888 0 0 0 62 6 0 0 20 0 20 0 512128211 27976081408 40713 33554432000 4194304 4196468 140737362643952 140471266964544 140470747534023 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23400] ppid=23395 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23400/stat : 23400 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27976081408 40713 33554432000 4194304 4196468 140737362643952 140471299369360 140471295137493 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23401] ppid=23395 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/23398/task/23401/stat : 23401 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512128214 27976081408 40713 33554432000 4194304 4196468 140737362643952 140471067384080 140471295137493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 [pid=23398/tid=23402] ppid=23395 vsize=27320392 memory=1188 CPUtime=0 cores=0-7 /proc/23398/task/23402/stat : 23402 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512128214 27976081408 40713 33554432000 4194304 4196468 140737362643952 140470716631696 140471295137493 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21753856 140737362649834 140737362650262 140737362650262 140737362653135 0 ################ # More data... # ################ [pid=23420/tid=23421] ppid=23395 vsize=8414124 memory=8322833090943875982 CPUtime=0.77 cores=0-7 /proc/23420/task/23421/stat : 23421 (java) S 23395 23395 23351 0 -1 1077944384 16783 0 0 0 72 5 0 0 20 0 24 0 512131191 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669554745248 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23422] ppid=23395 vsize=8414124 memory=3088872 CPUtime=0 cores=0-7 /proc/23420/task/23422/stat : 23422 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669587147408 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23423] ppid=23395 vsize=8414124 memory=3088872 CPUtime=0 cores=0-7 /proc/23420/task/23423/stat : 23423 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669387315728 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23424] ppid=23395 vsize=8414124 memory=4100 CPUtime=0 cores=0-7 /proc/23420/task/23424/stat : 23424 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669386262928 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23425] ppid=23395 vsize=8414124 memory=3624 CPUtime=0 cores=0-7 /proc/23420/task/23425/stat : 23425 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669385210128 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23426] ppid=23395 vsize=8414124 memory=65388 CPUtime=0 cores=0-7 /proc/23420/task/23426/stat : 23426 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669064903824 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23427] ppid=23395 vsize=8414124 memory=9592 CPUtime=0 cores=0-7 /proc/23420/task/23427/stat : 23427 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669063851024 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23428] ppid=23395 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/23420/task/23428/stat : 23428 (java) S 23395 23395 23351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669062798224 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23429] ppid=23395 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/23420/task/23429/stat : 23429 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512131192 8616062976 35254 33554432000 4194304 4196468 140735670044352 139669061745424 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23430] ppid=23395 vsize=8414124 memory=620 CPUtime=0 cores=0-7 /proc/23420/task/23430/stat : 23430 (java) S 23395 23395 23351 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 512131193 8616062976 35254 33554432000 4194304 4196468 140735670044352 139668810635632 139669582916226 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23431] ppid=23395 vsize=8414124 memory=1496 CPUtime=0 cores=0-7 /proc/23420/task/23431/stat : 23431 (java) S 23395 23395 23351 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512131194 8616062976 35254 33554432000 4194304 4196468 140735670044352 139667907273760 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23432] ppid=23395 vsize=8414124 memory=1016 CPUtime=0 cores=0-7 /proc/23420/task/23432/stat : 23432 (java) S 23395 23395 23351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512131194 8616062976 35254 33554432000 4194304 4196468 140735670044352 139667773051760 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23433] ppid=23395 vsize=8414124 memory=6072 CPUtime=0 cores=0-7 /proc/23420/task/23433/stat : 23433 (java) S 23395 23395 23351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512131196 8616062976 35254 33554432000 4194304 4196468 140735670044352 139667398547280 139669582923675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23434] ppid=23395 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7 /proc/23420/task/23434/stat : 23434 (java) S 23395 23395 23351 0 -1 1077944384 705 0 0 0 9 0 0 0 20 0 24 0 512131196 8616062976 35254 33554432000 4194304 4196468 140735670044352 139668809583472 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23435] ppid=23395 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7 /proc/23420/task/23435/stat : 23435 (java) S 23395 23395 23351 0 -1 1077944384 526 0 0 0 8 0 0 0 20 0 24 0 512131196 8616062976 35254 33554432000 4194304 4196468 140735670044352 139668808530672 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23436] ppid=23395 vsize=8414124 memory=0 CPUtime=0.16 cores=0-7 /proc/23420/task/23436/stat : 23436 (java) S 23395 23395 23351 0 -1 1077944384 585 0 0 0 16 0 0 0 20 0 24 0 512131196 8616062976 35254 33554432000 4194304 4196468 140735670044352 139668807477872 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23437] ppid=23395 vsize=8414124 memory=0 CPUtime=0.25 cores=0-7 /proc/23420/task/23437/stat : 23437 (java) S 23395 23395 23351 0 -1 1077944384 1013 0 0 0 25 0 0 0 20 0 24 0 512131196 8616062976 35254 33554432000 4194304 4196468 140735670044352 139668806425072 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23438] ppid=23395 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23420/task/23438/stat : 23438 (java) S 23395 23395 23351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512131197 8616062976 35254 33554432000 4194304 4196468 140735670044352 139666900642400 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23439] ppid=23395 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/23420/task/23439/stat : 23439 (java) S 23395 23395 23351 0 -1 1077944384 7 0 0 0 4 0 0 0 20 0 24 0 512131197 8616062976 35254 33554432000 4194304 4196468 140735670044352 139668805372464 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23441] ppid=23395 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/23420/task/23441/stat : 23441 (java) S 23395 23395 23351 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512131265 8616062976 35254 33554432000 4194304 4196468 140735670044352 139668797338688 139669582929689 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23443] ppid=23395 vsize=8414124 memory=3086112 CPUtime=0.05 cores=0-7 /proc/23420/task/23443/stat : 23443 (java) R 23395 23395 23351 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 24 0 512131266 8616062976 35254 33554432000 4194304 4196468 140735670044352 139666229543040 139669575607559 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23444] ppid=23395 vsize=8414124 memory=65388 CPUtime=0 cores=0-7 /proc/23420/task/23444/stat : 23444 (java) S 23395 23395 23351 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 512131266 8616062976 35254 33554432000 4194304 4196468 140735670044352 139666497978416 139669582927005 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23445] ppid=23395 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/23420/task/23445/stat : 23445 (java) S 23395 23395 23351 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512131268 8616062976 35254 33554432000 4194304 4196468 140735670044352 139665961115184 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 Current children cumulated CPU time: 670.14 s Current children cumulated vsize: 12261204 KiB Current children cumulated memory: 3231956 KiB [startup+115.402 s] /proc/loadavg: 7.13 7.51 7.96 2/218 23458 /proc/meminfo: memFree=22359808/32770624 swapFree=66959708/67108860 [pid=23395] ppid=23392 vsize=113128 memory=1476 CPUtime=39.38 cores=0-7 /proc/23395/stat : 23395 (scop.sh) S 23392 23395 23351 0 -1 4202496 583 36222 0 0 0 0 3717 221 20 0 1 0 512128211 115843072 369 33554432000 4194304 5098028 140729353709232 140729353705976 139820702581372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21868544 140729353712420 140729353712748 140729353712748 140729353715661 0 /proc/23395/statm: 28282 369 311 221 0 87 0 [pid=23420] ppid=23395 vsize=8283048 memory=197452 CPUtime=631.25 cores=0-7 /proc/23420/stat : 23420 (java) S 23395 23395 23351 0 -1 1077944320 21465 5061520 0 0 173 10 62065 877 20 0 22 0 512131190 8481841152 49363 33554432000 4194304 4196468 140735670044352 140735670026896 139669582905079 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 /proc/23420/statm: 2070762 49363 3229 1 0 2032106 0 [pid=23420/tid=23421] ppid=23395 vsize=8283048 memory=1476 CPUtime=630.21 cores=0-7 /proc/23420/task/23421/stat : 23421 (java) R 23395 23395 23351 0 -1 4202560 16901 5061520 0 0 74 5 62065 877 20 0 22 0 512131191 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669554707248 139669575155669 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23422] ppid=23395 vsize=8283048 memory=119952 CPUtime=629.42 cores=0-7 /proc/23420/task/23422/stat : 23422 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669587147408 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23423] ppid=23395 vsize=8283048 memory=119952 CPUtime=629.42 cores=0-7 /proc/23420/task/23423/stat : 23423 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669387315728 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23424] ppid=23395 vsize=8283048 memory=3086044 CPUtime=629.42 cores=0-7 /proc/23420/task/23424/stat : 23424 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669386262928 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23425] ppid=23395 vsize=8283048 memory=524 CPUtime=629.42 cores=0-7 /proc/23420/task/23425/stat : 23425 (java) S 23395 23395 23351 0 -1 1077944384 3 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669385210128 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23426] ppid=23395 vsize=8283048 memory=1568 CPUtime=629.42 cores=0-7 /proc/23420/task/23426/stat : 23426 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669064903824 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23427] ppid=23395 vsize=8283048 memory=928 CPUtime=629.42 cores=0-7 /proc/23420/task/23427/stat : 23427 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669063851024 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23428] ppid=23395 vsize=8283048 memory=3656 CPUtime=629.42 cores=0-7 /proc/23420/task/23428/stat : 23428 (java) S 23395 23395 23351 0 -1 1077944384 2 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669062798224 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23429] ppid=23395 vsize=8283048 memory=1976 CPUtime=629.42 cores=0-7 /proc/23420/task/23429/stat : 23429 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 49363 33554432000 4194304 4196468 140735670044352 139669061745424 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23430] ppid=23395 vsize=8283048 memory=800 CPUtime=629.42 cores=0-7 /proc/23420/task/23430/stat : 23430 (java) S 23395 23395 23351 0 -1 1077944384 8 5061520 0 0 0 0 62065 877 20 0 22 0 512131193 8481841152 49363 33554432000 4194304 4196468 140735670044352 139668810635632 139669582916226 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23431] ppid=23395 vsize=8283048 memory=4100 CPUtime=629.42 cores=0-7 /proc/23420/task/23431/stat : 23431 (java) S 23395 23395 23351 0 -1 1077944384 13 5061520 0 0 0 0 62065 877 20 0 22 0 512131194 8481841152 49363 33554432000 4194304 4196468 140735670044352 139667907273760 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23432] ppid=23395 vsize=8283048 memory=1804 CPUtime=629.42 cores=0-7 /proc/23420/task/23432/stat : 23432 (java) S 23395 23395 23351 0 -1 1077944384 21 5061520 0 0 0 0 62065 877 20 0 22 0 512131194 8481841152 49363 33554432000 4194304 4196468 140735670044352 139667773051760 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23433] ppid=23395 vsize=8283048 memory=916 CPUtime=629.42 cores=0-7 /proc/23420/task/23433/stat : 23433 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131196 8481841152 49363 33554432000 4194304 4196468 140735670044352 139667398547280 139669582923675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23434] ppid=23395 vsize=8283048 memory=3908 CPUtime=629.54 cores=0-7 /proc/23420/task/23434/stat : 23434 (java) S 23395 23395 23351 0 -1 1077944384 719 5061520 0 0 12 0 62065 877 20 0 22 0 512131196 8481841152 49363 33554432000 4194304 4196468 140735670044352 139668809583472 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23435] ppid=23395 vsize=8283048 memory=1412 CPUtime=629.53 cores=0-7 /proc/23420/task/23435/stat : 23435 (java) S 23395 23395 23351 0 -1 1077944384 538 5061520 0 0 11 0 62065 877 20 0 22 0 512131196 8481841152 49363 33554432000 4194304 4196468 140735670044352 139668808530672 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23436] ppid=23395 vsize=8283048 memory=3604 CPUtime=629.62 cores=0-7 /proc/23420/task/23436/stat : 23436 (java) S 23395 23395 23351 0 -1 1077944384 603 5061520 0 0 20 0 62065 877 20 0 22 0 512131196 8481841152 49363 33554432000 4194304 4196468 140735670044352 139668807477872 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23437] ppid=23395 vsize=8283048 memory=1476 CPUtime=629.7 cores=0-7 /proc/23420/task/23437/stat : 23437 (java) S 23395 23395 23351 0 -1 1077944384 1058 5061520 0 0 28 0 62065 877 20 0 22 0 512131196 8481841152 49363 33554432000 4194304 4196468 140735670044352 139668806425072 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23438] ppid=23395 vsize=8283048 memory=3080480 CPUtime=629.42 cores=0-7 /proc/23420/task/23438/stat : 23438 (java) S 23395 23395 23351 0 -1 1077944384 3 5061520 0 0 0 0 62065 877 20 0 22 0 512131197 8481841152 49363 33554432000 4194304 4196468 140735670044352 139666900642400 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23439] ppid=23395 vsize=8283048 memory=4420 CPUtime=629.46 cores=0-7 /proc/23420/task/23439/stat : 23439 (java) S 23395 23395 23351 0 -1 1077944384 7 5061520 0 0 4 0 62065 877 20 0 22 0 512131197 8481841152 49363 33554432000 4194304 4196468 140735670044352 139668805372464 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23441] ppid=23395 vsize=8283048 memory=6628 CPUtime=629.42 cores=0-7 /proc/23420/task/23441/stat : 23441 (java) S 23395 23395 23351 0 -1 1077944384 24 5061520 0 0 0 0 62065 877 20 0 22 0 512131265 8481841152 49363 33554432000 4194304 4196468 140735670044352 139668797337872 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23445] ppid=23395 vsize=8283048 memory=13348 CPUtime=629.42 cores=0-7 /proc/23420/task/23445/stat : 23445 (java) S 23395 23395 23351 0 -1 1077944384 10 5061520 0 0 0 0 62065 877 20 0 22 0 512131268 8481841152 49363 33554432000 4194304 4196468 140735670044352 139665961116976 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 Current children cumulated CPU time: 670.63 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 198928 KiB [startup+115.502 s] /proc/loadavg: 7.13 7.51 7.96 2/218 23458 /proc/meminfo: memFree=22359808/32770624 swapFree=66959708/67108860 [pid=23395] ppid=23392 vsize=113128 memory=1476 CPUtime=39.38 cores=0-7 /proc/23395/stat : 23395 (scop.sh) S 23392 23395 23351 0 -1 4202496 583 36222 0 0 0 0 3717 221 20 0 1 0 512128211 115843072 369 33554432000 4194304 5098028 140729353709232 140729353705976 139820702581372 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21868544 140729353712420 140729353712748 140729353712748 140729353715661 0 /proc/23395/statm: 28282 369 311 221 0 87 0 [pid=23420] ppid=23395 vsize=8283048 memory=221132 CPUtime=631.51 cores=0-7 /proc/23420/stat : 23420 (java) S 23395 23395 23351 0 -1 1077944320 21782 5061520 0 0 198 11 62065 877 20 0 22 0 512131190 8481841152 55283 33554432000 4194304 4196468 140735670044352 140735670026896 139669582905079 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 /proc/23420/statm: 2070762 55283 3232 1 0 2032106 0 [pid=23420/tid=23421] ppid=23395 vsize=8283048 memory=281161311421328 CPUtime=630.31 cores=0-7 /proc/23420/task/23421/stat : 23421 (java) R 23395 23395 23351 0 -1 4202560 17044 5061520 0 0 84 5 62065 877 20 0 22 0 512131191 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669554744016 139669582917014 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23422] ppid=23395 vsize=8283048 memory=3085972 CPUtime=629.42 cores=0-7 /proc/23420/task/23422/stat : 23422 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669587147408 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23423] ppid=23395 vsize=8283048 memory=119172 CPUtime=629.42 cores=0-7 /proc/23420/task/23423/stat : 23423 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669387315728 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23424] ppid=23395 vsize=8283048 memory=15556 CPUtime=629.42 cores=0-7 /proc/23420/task/23424/stat : 23424 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669386262928 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23425] ppid=23395 vsize=8283048 memory=0 CPUtime=629.42 cores=0-7 /proc/23420/task/23425/stat : 23425 (java) S 23395 23395 23351 0 -1 1077944384 3 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669385210128 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23426] ppid=23395 vsize=8283048 memory=14068 CPUtime=629.42 cores=0-7 /proc/23420/task/23426/stat : 23426 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669064903824 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23427] ppid=23395 vsize=8283048 memory=524 CPUtime=629.42 cores=0-7 /proc/23420/task/23427/stat : 23427 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669063851024 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23428] ppid=23395 vsize=8283048 memory=1568 CPUtime=629.42 cores=0-7 /proc/23420/task/23428/stat : 23428 (java) S 23395 23395 23351 0 -1 1077944384 2 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669062798224 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23429] ppid=23395 vsize=8283048 memory=65388 CPUtime=629.42 cores=0-7 /proc/23420/task/23429/stat : 23429 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131192 8481841152 55283 33554432000 4194304 4196468 140735670044352 139669061745424 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23430] ppid=23395 vsize=8283048 memory=988 CPUtime=629.42 cores=0-7 /proc/23420/task/23430/stat : 23430 (java) S 23395 23395 23351 0 -1 1077944384 8 5061520 0 0 0 0 62065 877 20 0 22 0 512131193 8481841152 55283 33554432000 4194304 4196468 140735670044352 139668810635632 139669582916226 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23431] ppid=23395 vsize=8283048 memory=2024 CPUtime=629.42 cores=0-7 /proc/23420/task/23431/stat : 23431 (java) S 23395 23395 23351 0 -1 1077944384 13 5061520 0 0 0 0 62065 877 20 0 22 0 512131194 8481841152 55283 33554432000 4194304 4196468 140735670044352 139667907273760 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23432] ppid=23395 vsize=8283048 memory=8322833090943875982 CPUtime=629.42 cores=0-7 /proc/23420/task/23432/stat : 23432 (java) S 23395 23395 23351 0 -1 1077944384 21 5061520 0 0 0 0 62065 877 20 0 22 0 512131194 8481841152 55283 33554432000 4194304 4196468 140735670044352 139667773051760 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23433] ppid=23395 vsize=8283048 memory=1384 CPUtime=629.42 cores=0-7 /proc/23420/task/23433/stat : 23433 (java) S 23395 23395 23351 0 -1 1077944384 1 5061520 0 0 0 0 62065 877 20 0 22 0 512131196 8481841152 55283 33554432000 4194304 4196468 140735670044352 139667398547280 139669582923675 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23434] ppid=23395 vsize=8283048 memory=3672 CPUtime=629.57 cores=0-7 /proc/23420/task/23434/stat : 23434 (java) S 23395 23395 23351 0 -1 1077944384 777 5061520 0 0 15 0 62065 877 20 0 22 0 512131196 8481841152 55283 33554432000 4194304 4196468 140735670044352 139668809583472 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23435] ppid=23395 vsize=8283048 memory=1056 CPUtime=629.56 cores=0-7 /proc/23420/task/23435/stat : 23435 (java) R 23395 23395 23351 0 -1 4202560 556 5061520 0 0 14 0 62065 877 20 0 22 0 512131196 8481841152 55283 33554432000 4194304 4196468 140735670044352 139668808530672 139669582917014 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23436] ppid=23395 vsize=8283048 memory=-9177041268675735954 CPUtime=629.67 cores=0-7 /proc/23420/task/23436/stat : 23436 (java) S 23395 23395 23351 0 -1 1077944384 625 5061520 0 0 25 0 62065 877 20 0 22 0 512131196 8481841152 55283 33554432000 4194304 4196468 140735670044352 139668807477872 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23437] ppid=23395 vsize=8283048 memory=3075784 CPUtime=629.74 cores=0-7 /proc/23420/task/23437/stat : 23437 (java) R 23395 23395 23351 0 -1 4202560 1136 5061520 0 0 32 0 62065 877 20 0 22 0 512131196 8481841152 55283 33554432000 4194304 4196468 140735670044352 139668806425072 139669575622231 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23438] ppid=23395 vsize=8283048 memory=1412 CPUtime=629.42 cores=0-7 /proc/23420/task/23438/stat : 23438 (java) S 23395 23395 23351 0 -1 1077944384 3 5061520 0 0 0 0 62065 877 20 0 22 0 512131197 8481841152 55283 33554432000 4194304 4196468 140735670044352 139666900642400 139669582915285 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23439] ppid=23395 vsize=8283048 memory=1476 CPUtime=629.46 cores=0-7 /proc/23420/task/23439/stat : 23439 (java) S 23395 23395 23351 0 -1 1077944384 7 5061520 0 0 4 0 62065 877 20 0 22 0 512131197 8481841152 55283 33554432000 4194304 4196468 140735670044352 139668805372464 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23441] ppid=23395 vsize=8283048 memory=119952 CPUtime=629.42 cores=0-7 /proc/23420/task/23441/stat : 23441 (java) S 23395 23395 23351 0 -1 1077944384 24 5061520 0 0 0 0 62065 877 20 0 22 0 512131265 8481841152 55283 33554432000 4194304 4196468 140735670044352 139668797337872 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 [pid=23420/tid=23445] ppid=23395 vsize=8283048 memory=3624 CPUtime=629.42 cores=0-7 /proc/23420/task/23445/stat : 23445 (java) S 23395 23395 23351 0 -1 1077944384 10 5061520 0 0 0 0 62065 877 20 0 22 0 512131268 8481841152 55283 33554432000 4194304 4196468 140735670044352 139665961116976 139669582916226 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8151040 140735670047735 140735670047894 140735670047894 140735670050767 0 Current children cumulated CPU time: 670.89 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 222608 KiB Child status: 0 Real time (s): 115.571 CPU time (s): 671.027 CPU user time (s): 659.87 CPU system time (s): 11.1571 CPU usage (%): 580.617 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 6056408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 659.87 system time used= 11.1571 maximum resident set size= 6056164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5121328 page faults= 0 swaps= 0 block input operations= 8 block output operations= 313040 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 62141 involuntary context switches= 6810 # summary of solver processes directly reported to runsolver: # pid: 23395 # total CPU time (s): 671.027 # total CPU user time (s): 659.87 # total CPU system time (s): 11.1571 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.06756 second user time and 1.44049 second system time The end
Begin job on node127 at 2019-09-24 22:55:53 IDJOB=4405644 IDBENCH=138492 IDSOLVER=2868 FILE ID=node127/4405644-1569358594 RUNJOBID= node127-1569358553-23378 PBS_JOBID= 21705112 Free space on /tmp= 35920 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) 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-4405644-1569358594/watcher-4405644-1569358594 -o /tmp/evaluation-result-4405644-1569358594/solver-4405644-1569358594 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569358553-23378 --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-4405644-1569358594.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c67201b80d2f8cf37dc6fc32cd78d58c RANDOM SEED=1579720895 node127.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.55 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.55 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.55 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.55 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: 25721104 kB MemAvailable: 31798040 kB Buffers: 93368 kB Cached: 6184252 kB SwapCached: 44644 kB Active: 3055736 kB Inactive: 3271804 kB Active(anon): 2900 kB Inactive(anon): 105040 kB Active(file): 3052836 kB Inactive(file): 3166764 kB Unevictable: 107764 kB Mlocked: 107764 kB SwapTotal: 67108860 kB SwapFree: 66959708 kB Dirty: 21072 kB Writeback: 0 kB AnonPages: 115100 kB Mapped: 57428 kB Shmem: 49032 kB Slab: 315016 kB SReclaimable: 285796 kB SUnreclaim: 29220 kB KernelStack: 3280 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 35900 MiB End job on node127 at 2019-09-24 22:57:49