Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 145.343 | 52.8055 |
Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-13.xml |
MD5SUM | 388994c608323cc5ca888624a3c66f06 |
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 | 110.493 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Number of domains | 89 |
Minimum domain size | 1197 |
Maximum domain size | 1295 |
Distribution of domain sizes | [{"size":1197,"count":4},{"size":1199,"count":2},{"size":1200,"count":14},{"size":1201,"count":2},{"size":1202,"count":4},{"size":1203,"count":4},{"size":1204,"count":4},{"size":1206,"count":6},{"size":1207,"count":6},{"size":1208,"count":4},{"size":1209,"count":4},{"size":1210,"count":6},{"size":1211,"count":2},{"size":1212,"count":6},{"size":1213,"count":6},{"size":1214,"count":6},{"size":1215,"count":6},{"size":1216,"count":8},{"size":1217,"count":2},{"size":1218,"count":6},{"size":1219,"count":2},{"size":1220,"count":6},{"size":1221,"count":6},{"size":1222,"count":4},{"size":1223,"count":4},"...",{"size":1269,"count":8}, {"size":1270,"count":6}, {"size":1271,"count":4}, {"size":1272,"count":4}, {"size":1273,"count":6}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1277,"count":6}, {"size":1278,"count":6}, {"size":1279,"count":8}, {"size":1280,"count":4}, {"size":1281,"count":6}, {"size":1282,"count":6}, {"size":1283,"count":4}, {"size":1284,"count":10}, {"size":1285,"count":6}, {"size":1286,"count":6}, {"size":1287,"count":4}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":2}, {"size":1291,"count":6}, {"size":1292,"count":4}, {"size":1293,"count":10}, {"size":1295,"count":2}] |
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-16745-serial-file.bin HOME/instance-4392673-1568442115.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Sat Sep 14 08:21:12 CEST 2019 0.66/0.57 c PID: 16748 0.66/0.57 c IP: 172.20.3.136 0.66/0.57 c HOST: node136.alineos.net 0.66/0.57 c (0,0) Parsing Begin 5.60/1.89 c (1,1) Parsing End 5.60/1.89 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1295 5.60/1.90 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.60/1.90 c (1,1) Constraint Name Generate Begin 6.01/1.95 c (1,1) Ctr:HOME/instance-4392673-1568442115.xml,Add:Le:Ne:Num:Or:Var 6.01/1.95 c (1,1) Constraint Name Generate End 6.01/1.95 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.01/1.95 c (1,1) CSP to CSPinCNF Begin 7.33/2.22 c (1,1) translated 558 (10%) constraints 7.33/2.28 c (1,1) translated 1116 (20%) constraints 7.75/2.34 c (1,1) translated 1674 (30%) constraints 7.75/2.38 c (1,1) translated 2232 (40%) constraints 8.15/2.42 c (1,1) translated 2790 (50%) constraints 8.15/2.46 c (1,1) translated 3348 (60%) constraints 8.15/2.49 c (1,1) translated 3906 (70%) constraints 8.56/2.53 c (1,1) translated 4464 (80%) constraints 8.56/2.57 c (2,2) translated 5022 (90%) constraints 8.56/2.59 c (2,2) translated 5580 (100%) constraints 8.56/2.59 c (2,2) =========================================== 8.96/2.62 c (2,2) Hybrid: #OE=450, #LE=0 8.96/2.62 c (2,2) Hybrid 8.96/2.62 c (2,2) =========================================== 8.96/2.66 c (2,2) translated 558 (10%) constraints 8.96/2.68 c (2,2) translated 1116 (20%) constraints 9.33/2.70 c (2,2) translated 1674 (30%) constraints 9.33/2.71 c (2,2) translated 2232 (40%) constraints 9.33/2.73 c (2,2) translated 2790 (50%) constraints 9.33/2.75 c (2,2) translated 3348 (60%) constraints 9.33/2.76 c (2,2) translated 3906 (70%) constraints 9.33/2.78 c (2,2) translated 4464 (80%) constraints 9.49/2.95 c (2,2) translated 5022 (90%) constraints 9.49/2.96 c (2,2) translated 5580 (100%) constraints 9.49/2.97 c (2,2) CSP to CSPinCNF End 9.49/2.97 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1230 9.49/2.97 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.49/2.97 c (2,2) CSPinCNF Propagation Begin 9.75/3.06 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.75/3.06 c (2,2) CSPinCNF Propagation End 9.75/3.06 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1230 9.75/3.06 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.75/3.07 c (2,2) Hybrid: #OE=450, #LE=0 9.75/3.07 c (2,2) Simplify CSPinCNF Begin 10.85/3.35 c (2,2) Simplify CSPinCNF End 10.85/3.35 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1230 10.85/3.35 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.85/3.35 c (2,2) Calculate Precise Domain Begin 10.85/3.35 c (2,2) 0 values are removed by re-calculation 10.85/3.35 c (2,2) Calculate Precise Domain End 10.85/3.36 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1230 10.85/3.36 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.85/3.36 c (2,2) CSPinCNF to SatSolver Begin 17.06/7.51 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1097700 SAT clauses) 20.71/10.72 c (10,9) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1796999 SAT clauses) 23.33/13.56 c (13,12) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2446381 SAT clauses) 25.96/16.19 c (15,15) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3086517 SAT clauses) 28.77/18.62 c (18,17) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3652935 SAT clauses) 31.76/21.56 c (21,20) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4308909 SAT clauses) 34.75/24.33 c (23,23) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4975280 SAT clauses) 37.48/27.09 c (26,26) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5649113 SAT clauses) 40.80/30.29 c (29,29) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6323858 SAT clauses) 43.73/33.18 c (32,32) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7298756 SAT clauses) 43.93/33.35 c (32,32) CSPinCNF to SatSolver End 43.93/33.35 c (32,32) Heap : 2938 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 43.93/33.35 c (32,32) 374202 bool, 7299138 clause 43.93/33.35 c (32,32) Export Begin 43.93/33.39 c (32,32) Export to HOME/scop-16745-serial-file.bin 43.93/33.39 c (32,32) Export End 43.93/33.39 c (32,32) Export File Size: 0.07 MB 43.93/33.39 c (32,32) 1,1,2,2,2,2,32,STOP-AFTER(DIMACS) 43.93/33.39 c END-Prog: Sat Sep 14 08:21:45 CEST 2019 44.05/33.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16745-serial-file.bin 44.08/33.89 c (0,0) Read Serial File Begin 44.08/33.89 c (0,0) HOME/scop-16745-serial-file.bin 45.05/34.13 c (0,0) Read Serial File End 45.05/34.14 45.05/34.14 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 45.05/34.14 (Solving Process) 45.05/34.14 45.05/34.16 c BEGIN-Prog: Sat Sep 14 08:21:45 CEST 2019 45.05/34.16 c PID: 16771 45.05/34.16 c IP: 172.20.3.136 45.05/34.16 c HOST: node136.alineos.net 45.05/34.17 c (0,0) SatSolver.solve Begin 45.05/34.17 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392673-1568442115.xml-scop-16748.cnf 45.05/34.20 c (0,0) c 45.05/34.20 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) 45.05/34.20 c (0,0) c 45.05/34.20 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 45.05/34.20 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 45.05/34.20 c (0,0) c ========================================[ Problem Statistics ]=========================================== 45.05/34.20 c (0,0) c | | 48.18/37.03 c (3,0) c | Number of variables: 374202 | 48.18/37.03 c (3,0) c | Number of clauses: 7181616 | 48.18/37.03 c (3,0) c | Parse time: 2.61 s | 48.18/37.03 c (3,0) c | | 48.57/37.50 c (3,0) c | Too many clauses... No preprocessing | 48.57/37.50 c (3,0) c | Simplification time: 0.42 s | 48.57/37.50 c (3,0) c | | 48.66/37.50 c (3,0) c | Generating clones | 50.37/39.28 c (5,0) c | all clones generated. Memory = 3822.32Mb. | 50.37/39.28 c (5,0) c ========================================================================================================| 50.37/39.28 c (5,0) c 50.37/39.28 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 50.37/39.28 c (5,0) c 50.37/39.28 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.37/39.28 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 50.37/39.28 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 50.37/39.28 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 50.37/39.28 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 50.37/39.28 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 50.37/39.28 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 50.37/39.28 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 50.37/39.28 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 50.37/39.28 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 50.37/39.28 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 50.37/39.28 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 50.37/39.28 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 50.37/39.28 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 50.37/39.28 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 50.37/39.28 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 50.37/39.28 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 50.37/39.28 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 50.37/39.28 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c 144.13/52.33 c (18,0) c real time : 18.1328 s 144.13/52.33 c (18,0) c cpu time : 93.7543 s 144.13/52.33 c (18,0) c 144.13/52.33 c (18,0) c 144.13/52.33 c (18,0) c 144.13/52.33 c (18,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 144.13/52.33 c (18,0) c 144.13/52.33 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 144.13/52.33 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c | Conflicts | 10805 | 1225 | 1362 | 1492 | 1170 | 1318 | 1416 | 1391 | 1431 | 144.13/52.33 c (18,0) c | Decisions | 36222 | 2526 | 3265 | 5908 | 2630 | 3090 | 10177 | 4561 | 4065 | 144.13/52.33 c (18,0) c | Propagations | 142191676 | 16855724 | 17584610 | 18016994 | 16472158 | 18261375 | 18437423 | 18778059 | 17785333 | 144.13/52.33 c (18,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144.13/52.33 c (18,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 144.13/52.33 c (18,0) c | Restarts | 36 | 2 | 6 | 3 | 3 | 6 | 5 | 5 | 6 | 144.13/52.33 c (18,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144.13/52.33 c (18,0) c | PropBinClauses| 466283066 | 59181349 | 58070851 | 56982056 | 57029427 | 59912707 | 57821214 | 59591552 | 57693910 | 144.13/52.33 c (18,0) c | PropPreBlocker| 2902686135 | 357411907 | 362740624 | 366820330 | 360980395 | 360202202 | 370327783 | 361544819 | 362658075 | 144.13/52.33 c (18,0) c | PropNotBlocker| 300255414 | 41524756 | 37168998 | 33989719 | 39302318 | 38320655 | 35077825 | 36937678 | 37933465 | 144.13/52.33 c (18,0) c | LitFullScans | 3738148057 | 466843732 | 466485349 | 466410322 | 466394211 | 466469700 | 472109236 | 466627139 | 466808368 | 144.13/52.33 c (18,0) c | LitScanFracts | 180827 | 22414 | 20637 | 20086 | 22017 | 21291 | 24925 | 19946 | 29511 | 144.13/52.33 c (18,0) c | DecisionLevel0| 123 | 6 | 23 | 16 | 10 | 15 | 11 | 23 | 19 | 144.13/52.33 c (18,0) c | Periods | 616 | 77 | 77 | 77 | 77 | 77 | 77 | 77 | 77 | 144.13/52.33 c (18,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 144.13/52.33 c (18,0) c | Avg_Trail | | 257365 | 269601 | 276101 | 267774 | 259888 | 279886 | 263966 | 274077 | 144.13/52.33 c (18,0) c | Avg_DL | | 63 | 42 | 42 | 78 | 25 | 47 | 43 | 44 | 144.13/52.33 c (18,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144.13/52.33 c (18,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144.13/52.33 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c | Exported | 956 | 37 | 102 | 169 | 41 | 111 | 172 | 179 | 145 | 144.13/52.33 c (18,0) c | Imported | 3215 | 544 | 481 | 314 | 0 | 501 | 482 | 410 | 483 | 144.13/52.33 c (18,0) c | Good | 71 | 13 | 11 | 6 | 0 | 9 | 10 | 11 | 11 | 144.13/52.33 c (18,0) c | Purge | 3144 | 531 | 470 | 308 | 0 | 492 | 472 | 399 | 472 | 144.13/52.33 c (18,0) c | Promoted | 55 | 3 | 5 | 11 | 0 | 7 | 13 | 7 | 9 | 144.13/52.33 c (18,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144.13/52.33 c (18,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144.13/52.33 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c | Unaries | | 4 | 17 | 13 | 7 | 9 | 6 | 18 | 13 | 144.13/52.33 c (18,0) c | Binaries | | 0 | 3 | 3 | 0 | 4 | 10 | 2 | 4 | 144.13/52.33 c (18,0) c | Glues | | 37 | 102 | 169 | 41 | 111 | 172 | 179 | 145 | 144.13/52.33 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c | Orig_Seen | 0 % | 35516 | 30527 | 31465 | 33846 | 33852 | 31375 | 32400 | 33272 | 144.13/52.33 c (18,0) c | Diff Orig seen| | 4141 | - 848 | 90 | 2471 | 2477 | X | 1025 | 1897 | 144.13/52.33 c (18,0) c | Hamming | 12 % | 56582 | 52062 | 37849 | 41470 | 39225 | X | 52511 | 35906 | 144.13/52.33 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c | RunningTime | | 12.4 100%| 13.0 100%| 12.1 100%| 11.3 100%| 11.3 100%| 11.2 100%| 12.6 100%| 11.4 100%| 144.13/52.33 c (18,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 144.13/52.33 c (18,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%| 144.13/52.33 c (18,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%| 144.13/52.33 c (18,0) c | SolvingTime | | 12.4 | 13.0 | 12.1 | 11.3 | 11.3 | 11.2 | 12.6 | 11.4 | 144.13/52.33 c (18,0) c | PropagationTim| | 12.0 97%| 12.6 97%| 11.6 96%| 10.9 96%| 10.9 96%| 10.8 96%| 12.2 96%| 11.0 97%| 144.13/52.33 c (18,0) c | AnalysisTime | | 0.2 1%| 0.2 1%| 0.2 1%| 0.2 2%| 0.2 1%| 0.1 1%| 0.2 1%| 0.1 1%| 144.13/52.33 c (18,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%| 144.13/52.33 c (18,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 144.13/52.33 c (18,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%| 144.13/52.33 c (18,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%| 144.13/52.33 c (18,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.33 c (18,0) c 144.13/52.33 c (18,0) c 144.13/52.33 c (18,0) c Threads : 8 144.13/52.33 c (18,0) c Winner : 5 144.13/52.33 c (18,0) c Conflicts_0 : 1225 144.13/52.33 c (18,0) c Conflicts_1 : 1362 144.13/52.33 c (18,0) c Conflicts_2 : 1492 144.13/52.33 c (18,0) c Conflicts_3 : 1170 144.13/52.33 c (18,0) c Conflicts_4 : 1318 144.13/52.33 c (18,0) c Conflicts_5 : 1416 144.13/52.33 c (18,0) c Conflicts_6 : 1391 144.13/52.33 c (18,0) c Conflicts_7 : 1431 144.13/52.33 c (18,0) c Conflicts_total : 10805 144.13/52.33 c (18,0) c Conflicts_winner : 1416 144.13/52.33 c (18,0) c Decisions_0 : 2526 144.13/52.33 c (18,0) c Decisions_1 : 3265 144.13/52.33 c (18,0) c Decisions_2 : 5908 144.13/52.33 c (18,0) c Decisions_3 : 2630 144.13/52.33 c (18,0) c Decisions_4 : 3090 144.13/52.33 c (18,0) c Decisions_5 : 10177 144.13/52.33 c (18,0) c Decisions_6 : 4561 144.13/52.33 c (18,0) c Decisions_7 : 4065 144.13/52.33 c (18,0) c Decisions_total : 36222 144.13/52.33 c (18,0) c Decisions_winner : 10177 144.13/52.33 c (18,0) c Propagations_0 : 16855724 144.13/52.33 c (18,0) c Propagations_1 : 17584610 144.13/52.33 c (18,0) c Propagations_2 : 18016994 144.13/52.33 c (18,0) c Propagations_3 : 16472158 144.13/52.33 c (18,0) c Propagations_4 : 18261375 144.13/52.33 c (18,0) c Propagations_5 : 18437423 144.13/52.33 c (18,0) c Propagations_6 : 18778059 144.13/52.33 c (18,0) c Propagations_7 : 17785333 144.13/52.33 c (18,0) c Propagations_total : 142191676 144.13/52.33 c (18,0) c Propagations_winner : 18437423 144.13/52.33 c (18,0) c ReduceDBs_0 : 0 144.13/52.33 c (18,0) c ReduceDBs_1 : 0 144.13/52.33 c (18,0) c ReduceDBs_2 : 0 144.13/52.33 c (18,0) c ReduceDBs_3 : 0 144.13/52.33 c (18,0) c ReduceDBs_4 : 0 144.13/52.33 c (18,0) c ReduceDBs_5 : 0 144.13/52.33 c (18,0) c ReduceDBs_6 : 0 144.13/52.33 c (18,0) c ReduceDBs_7 : 0 144.13/52.33 c (18,0) c ReduceDBs_total : 0 144.13/52.33 c (18,0) c ReduceDBs_winner : 0 144.13/52.33 c (18,0) c SimpDBs_0 : 1 144.13/52.33 c (18,0) c SimpDBs_1 : 1 144.13/52.33 c (18,0) c SimpDBs_2 : 1 144.13/52.33 c (18,0) c SimpDBs_3 : 1 144.13/52.33 c (18,0) c SimpDBs_4 : 1 144.13/52.33 c (18,0) c SimpDBs_5 : 1 144.13/52.33 c (18,0) c SimpDBs_6 : 1 144.13/52.33 c (18,0) c SimpDBs_7 : 1 144.13/52.33 c (18,0) c SimpDBs_total : 8 144.13/52.33 c (18,0) c SimpDBs_winner : 1 144.13/52.33 c (18,0) c Restarts_0 : 2 144.13/52.33 c (18,0) c Restarts_1 : 6 144.13/52.33 c (18,0) c Restarts_2 : 3 144.13/52.33 c (18,0) c Restarts_3 : 3 144.13/52.33 c (18,0) c Restarts_4 : 6 144.13/52.33 c (18,0) c Restarts_5 : 5 144.13/52.33 c (18,0) c Restarts_6 : 5 144.13/52.33 c (18,0) c Restarts_7 : 6 144.13/52.33 c (18,0) c Restarts_total : 36 144.13/52.33 c (18,0) c Restarts_winner : 5 144.13/52.33 c (18,0) c ForcedImports_0 : 0 144.13/52.33 c (18,0) c ForcedImports_1 : 0 144.13/52.33 c (18,0) c ForcedImports_2 : 0 144.13/52.33 c (18,0) c ForcedImports_3 : 0 144.13/52.33 c (18,0) c ForcedImports_4 : 0 144.13/52.33 c (18,0) c ForcedImports_5 : 0 144.13/52.33 c (18,0) c ForcedImports_6 : 0 144.13/52.33 c (18,0) c ForcedImports_7 : 0 144.13/52.33 c (18,0) c ForcedImports_total : 0 144.13/52.33 c (18,0) c ForcedImports_winner : 0 144.13/52.33 c (18,0) c PropsBinClauses_0 : 59181349 144.13/52.33 c (18,0) c PropsBinClauses_1 : 58070851 144.13/52.33 c (18,0) c PropsBinClauses_2 : 56982056 144.13/52.33 c (18,0) c PropsBinClauses_3 : 57029427 144.13/52.33 c (18,0) c PropsBinClauses_4 : 59912707 144.13/52.33 c (18,0) c PropsBinClauses_5 : 57821214 144.13/52.33 c (18,0) c PropsBinClauses_6 : 59591552 144.13/52.33 c (18,0) c PropsBinClauses_7 : 57693910 144.13/52.33 c (18,0) c PropsBinClauses_total : 466283066 144.13/52.33 c (18,0) c PropsBinClauses_winner : 57821214 144.13/52.33 c (18,0) c PropsPreBlocker_0 : 357411907 144.13/52.33 c (18,0) c PropsPreBlocker_1 : 362740624 144.13/52.33 c (18,0) c PropsPreBlocker_2 : 366820330 144.13/52.33 c (18,0) c PropsPreBlocker_3 : 360980395 144.13/52.33 c (18,0) c PropsPreBlocker_4 : 360202202 144.13/52.33 c (18,0) c PropsPreBlocker_5 : 370327783 144.13/52.33 c (18,0) c PropsPreBlocker_6 : 361544819 144.13/52.33 c (18,0) c PropsPreBlocker_7 : 362658075 144.13/52.33 c (18,0) c PropsPreBlocker_total : 2902686135 144.13/52.33 c (18,0) c PropsPreBlocker_winner : 370327783 144.13/52.33 c (18,0) c PropsNotBlocker_0 : 41524756 144.13/52.33 c (18,0) c PropsNotBlocker_1 : 37168998 144.13/52.33 c (18,0) c PropsNotBlocker_2 : 33989719 144.13/52.33 c (18,0) c PropsNotBlocker_3 : 39302318 144.13/52.33 c (18,0) c PropsNotBlocker_4 : 38320655 144.13/52.33 c (18,0) c PropsNotBlocker_5 : 35077825 144.13/52.33 c (18,0) c PropsNotBlocker_6 : 36937678 144.13/52.33 c (18,0) c PropsNotBlocker_7 : 37933465 144.13/52.33 c (18,0) c PropsNotBlocker_total : 300255414 144.13/52.33 c (18,0) c PropsNotBlocker_winner : 35077825 144.13/52.33 c (18,0) c PropsLitFullScans_0 : 466843732 144.13/52.33 c (18,0) c PropsLitFullScans_1 : 466485349 144.13/52.33 c (18,0) c PropsLitFullScans_2 : 466410322 144.13/52.33 c (18,0) c PropsLitFullScans_3 : 466394211 144.13/52.33 c (18,0) c PropsLitFullScans_4 : 466469700 144.13/52.33 c (18,0) c PropsLitFullScans_5 : 472109236 144.13/52.33 c (18,0) c PropsLitFullScans_6 : 466627139 144.13/52.33 c (18,0) c PropsLitFullScans_7 : 466808368 144.13/52.33 c (18,0) c PropsLitFullScans_total : 3738148057 144.13/52.33 c (18,0) c PropsLitFullScans_winner : 472109236 144.13/52.33 c (18,0) c LitScanFractions_0 : 22414 144.13/52.33 c (18,0) c LitScanFractions_1 : 20637 144.13/52.33 c (18,0) c LitScanFractions_2 : 20086 144.13/52.33 c (18,0) c LitScanFractions_3 : 22017 144.13/52.33 c (18,0) c LitScanFractions_4 : 21291 144.13/52.33 c (18,0) c LitScanFractions_5 : 24925 144.13/52.33 c (18,0) c LitScanFractions_6 : 19946 144.13/52.33 c (18,0) c LitScanFractions_7 : 29511 144.13/52.33 c (18,0) c LitScanFractions_total : 180827 144.13/52.33 c (18,0) c LitScanFractions_winner : 24925 144.13/52.33 c (18,0) c DecisionLevel0_0 : 6 144.13/52.33 c (18,0) c DecisionLevel0_1 : 23 144.13/52.33 c (18,0) c DecisionLevel0_2 : 16 144.13/52.33 c (18,0) c DecisionLevel0_3 : 10 144.13/52.33 c (18,0) c DecisionLevel0_4 : 15 144.13/52.33 c (18,0) c DecisionLevel0_5 : 11 144.13/52.33 c (18,0) c DecisionLevel0_6 : 23 144.13/52.33 c (18,0) c DecisionLevel0_7 : 19 144.13/52.33 c (18,0) c DecisionLevel0_total : 123 144.13/52.33 c (18,0) c DecisionLevel0_winner : 11 144.13/52.33 c (18,0) c Periods_0 : 77 144.13/52.33 c (18,0) c Periods_1 : 77 144.13/52.33 c (18,0) c Periods_2 : 77 144.13/52.33 c (18,0) c Periods_3 : 77 144.13/52.33 c (18,0) c Periods_4 : 77 144.13/52.33 c (18,0) c Periods_5 : 77 144.13/52.33 c (18,0) c Periods_6 : 77 144.13/52.33 c (18,0) c Periods_7 : 77 144.13/52.33 c (18,0) c Periods_total : 616 144.13/52.33 c (18,0) c Periods_winner : 77 144.13/52.33 c (18,0) c Margin_0 : 20 144.13/52.33 c (18,0) c Margin_1 : 20 144.13/52.33 c (18,0) c Margin_2 : 20 144.13/52.33 c (18,0) c Margin_3 : 20 144.13/52.33 c (18,0) c Margin_4 : 20 144.13/52.33 c (18,0) c Margin_5 : 20 144.13/52.33 c (18,0) c Margin_6 : 20 144.13/52.33 c (18,0) c Margin_7 : 20 144.13/52.33 c (18,0) c Margin_total : 160 144.13/52.33 c (18,0) c Margin_winner : 20 144.13/52.33 c (18,0) c Exported_0 : 37 144.13/52.33 c (18,0) c Exported_1 : 102 144.13/52.33 c (18,0) c Exported_2 : 169 144.13/52.33 c (18,0) c Exported_3 : 41 144.13/52.33 c (18,0) c Exported_4 : 111 144.13/52.33 c (18,0) c Exported_5 : 172 144.13/52.33 c (18,0) c Exported_6 : 179 144.13/52.33 c (18,0) c Exported_7 : 145 144.13/52.34 c (18,0) c Exported_total : 956 144.13/52.34 c (18,0) c Exported_winner : 172 144.13/52.34 c (18,0) c Imported_0 : 544 144.13/52.34 c (18,0) c Imported_1 : 481 144.13/52.34 c (18,0) c Imported_2 : 314 144.13/52.34 c (18,0) c Imported_3 : 0 144.13/52.34 c (18,0) c Imported_4 : 501 144.13/52.34 c (18,0) c Imported_5 : 482 144.13/52.34 c (18,0) c Imported_6 : 410 144.13/52.34 c (18,0) c Imported_7 : 483 144.13/52.34 c (18,0) c Imported_total : 3215 144.13/52.34 c (18,0) c Imported_winner : 482 144.13/52.34 c (18,0) c Good_0 : 13 144.13/52.34 c (18,0) c Good_1 : 11 144.13/52.34 c (18,0) c Good_2 : 6 144.13/52.34 c (18,0) c Good_3 : 0 144.13/52.34 c (18,0) c Good_4 : 9 144.13/52.34 c (18,0) c Good_5 : 10 144.13/52.34 c (18,0) c Good_6 : 11 144.13/52.34 c (18,0) c Good_7 : 11 144.13/52.34 c (18,0) c Good_total : 71 144.13/52.34 c (18,0) c Good_winner : 10 144.13/52.34 c (18,0) c Purge_0 : 531 144.13/52.34 c (18,0) c Purge_1 : 470 144.13/52.34 c (18,0) c Purge_2 : 308 144.13/52.34 c (18,0) c Purge_3 : 0 144.13/52.34 c (18,0) c Purge_4 : 492 144.13/52.34 c (18,0) c Purge_5 : 472 144.13/52.34 c (18,0) c Purge_6 : 399 144.13/52.34 c (18,0) c Purge_7 : 472 144.13/52.34 c (18,0) c Purge_total : 3144 144.13/52.34 c (18,0) c Purge_winner : 472 144.13/52.34 c (18,0) c Promoted_0 : 3 144.13/52.34 c (18,0) c Promoted_1 : 5 144.13/52.34 c (18,0) c Promoted_2 : 11 144.13/52.34 c (18,0) c Promoted_3 : 0 144.13/52.34 c (18,0) c Promoted_4 : 7 144.13/52.34 c (18,0) c Promoted_5 : 13 144.13/52.34 c (18,0) c Promoted_6 : 7 144.13/52.34 c (18,0) c Promoted_7 : 9 144.13/52.34 c (18,0) c Promoted_total : 55 144.13/52.34 c (18,0) c Promoted_winner : 13 144.13/52.34 c (18,0) c Remove_Imp_0 : 0 144.13/52.34 c (18,0) c Remove_Imp_1 : 0 144.13/52.34 c (18,0) c Remove_Imp_2 : 0 144.13/52.34 c (18,0) c Remove_Imp_3 : 0 144.13/52.34 c (18,0) c Remove_Imp_4 : 0 144.13/52.34 c (18,0) c Remove_Imp_5 : 0 144.13/52.34 c (18,0) c Remove_Imp_6 : 0 144.13/52.34 c (18,0) c Remove_Imp_7 : 0 144.13/52.34 c (18,0) c Remove_Imp_total : 0 144.13/52.34 c (18,0) c Remove_Imp_winner : 0 144.13/52.34 c (18,0) c Blocked_Reuse_0 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_1 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_2 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_3 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_4 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_5 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_6 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_7 : 0 144.13/52.34 c (18,0) c Blocked_Reuse_total : 0 144.13/52.34 c (18,0) c Blocked_Reuse_winner : 0 144.13/52.34 c (18,0) c Unaries_0 : 4 144.13/52.34 c (18,0) c Unaries_1 : 17 144.13/52.34 c (18,0) c Unaries_2 : 13 144.13/52.34 c (18,0) c Unaries_3 : 7 144.13/52.34 c (18,0) c Unaries_4 : 9 144.13/52.34 c (18,0) c Unaries_5 : 6 144.13/52.34 c (18,0) c Unaries_6 : 18 144.13/52.34 c (18,0) c Unaries_7 : 13 144.13/52.34 c (18,0) c Unaries_total : 87 144.13/52.34 c (18,0) c Unaries_winner : 6 144.13/52.34 c (18,0) c Binaries_0 : 0 144.13/52.34 c (18,0) c Binaries_1 : 3 144.13/52.34 c (18,0) c Binaries_2 : 3 144.13/52.34 c (18,0) c Binaries_3 : 0 144.13/52.34 c (18,0) c Binaries_4 : 4 144.13/52.34 c (18,0) c Binaries_5 : 10 144.13/52.34 c (18,0) c Binaries_6 : 2 144.13/52.34 c (18,0) c Binaries_7 : 4 144.13/52.34 c (18,0) c Binaries_total : 26 144.13/52.34 c (18,0) c Binaries_winner : 10 144.13/52.34 c (18,0) c Glues_0 : 37 144.13/52.34 c (18,0) c Glues_1 : 102 144.13/52.34 c (18,0) c Glues_2 : 169 144.13/52.34 c (18,0) c Glues_3 : 41 144.13/52.34 c (18,0) c Glues_4 : 111 144.13/52.34 c (18,0) c Glues_5 : 172 144.13/52.34 c (18,0) c Glues_6 : 179 144.13/52.34 c (18,0) c Glues_7 : 145 144.13/52.34 c (18,0) c Glues_total : 956 144.13/52.34 c (18,0) c Glues_winner : 172 144.13/52.34 c (18,0) c RunningTime_0 : 12.446872 144.13/52.34 c (18,0) c RunningTime_1 : 13.024650 144.13/52.34 c (18,0) c RunningTime_2 : 12.067756 144.13/52.34 c (18,0) c RunningTime_3 : 11.346041 144.13/52.34 c (18,0) c RunningTime_4 : 11.304601 144.13/52.34 c (18,0) c RunningTime_5 : 11.180126 144.13/52.34 c (18,0) c RunningTime_6 : 12.594072 144.13/52.34 c (18,0) c RunningTime_7 : 11.406914 144.13/52.34 c (18,0) c RunningTime_total : 95.371032 144.13/52.34 c (18,0) c RunningTime_winner : 11.180126 144.13/52.34 c (18,0) c WaitingTime_0 : 0.000141 144.13/52.34 c (18,0) c WaitingTime_1 : 0.000091 144.13/52.34 c (18,0) c WaitingTime_2 : 0.000159 144.13/52.34 c (18,0) c WaitingTime_3 : 0.000153 144.13/52.34 c (18,0) c WaitingTime_4 : 0.000196 144.13/52.34 c (18,0) c WaitingTime_5 : 0.000137 144.13/52.34 c (18,0) c WaitingTime_6 : 0.000108 144.13/52.34 c (18,0) c WaitingTime_7 : 0.000103 144.13/52.34 c (18,0) c WaitingTime_total : 0.001088 144.13/52.34 c (18,0) c WaitingTime_winner : 0.000137 144.13/52.34 c (18,0) c ExchangingTime_0 : 0.001317 144.13/52.34 c (18,0) c ExchangingTime_1 : 0.001580 144.13/52.34 c (18,0) c ExchangingTime_2 : 0.001964 144.13/52.34 c (18,0) c ExchangingTime_3 : 0.001609 144.13/52.34 c (18,0) c ExchangingTime_4 : 0.001621 144.13/52.34 c (18,0) c ExchangingTime_5 : 0.001608 144.13/52.34 c (18,0) c ExchangingTime_6 : 0.001827 144.13/52.34 c (18,0) c ExchangingTime_7 : 0.001810 144.13/52.34 c (18,0) c ExchangingTime_total : 0.013335 144.13/52.34 c (18,0) c ExchangingTime_winner : 0.001608 144.13/52.34 c (18,0) c PeriodProcTime_0 : 0.000973 144.13/52.34 c (18,0) c PeriodProcTime_1 : 0.001019 144.13/52.34 c (18,0) c PeriodProcTime_2 : 0.001072 144.13/52.34 c (18,0) c PeriodProcTime_3 : 0.001406 144.13/52.34 c (18,0) c PeriodProcTime_4 : 0.001091 144.13/52.34 c (18,0) c PeriodProcTime_5 : 0.000919 144.13/52.34 c (18,0) c PeriodProcTime_6 : 0.001123 144.13/52.34 c (18,0) c PeriodProcTime_7 : 0.001139 144.13/52.34 c (18,0) c PeriodProcTime_total : 0.008741 144.13/52.34 c (18,0) c PeriodProcTime_winner : 0.000919 144.13/52.34 c (18,0) c SolvingTime_0 : 12.449303 144.13/52.34 c (18,0) c SolvingTime_1 : 13.027339 144.13/52.34 c (18,0) c SolvingTime_2 : 12.070952 144.13/52.34 c (18,0) c SolvingTime_3 : 11.349208 144.13/52.34 c (18,0) c SolvingTime_4 : 11.307508 144.13/52.34 c (18,0) c SolvingTime_5 : 11.182790 144.13/52.34 c (18,0) c SolvingTime_6 : 12.597130 144.13/52.34 c (18,0) c SolvingTime_7 : 11.409965 144.13/52.34 c (18,0) c SolvingTime_total : 95.394196 144.13/52.34 c (18,0) c SolvingTime_winner : 11.182790 144.13/52.34 c (18,0) c PropagationTime_0 : 12.035319 144.13/52.34 c (18,0) c PropagationTime_1 : 12.610099 144.13/52.34 c (18,0) c PropagationTime_2 : 11.637434 144.13/52.34 c (18,0) c PropagationTime_3 : 10.942705 144.13/52.34 c (18,0) c PropagationTime_4 : 10.904660 144.13/52.34 c (18,0) c PropagationTime_5 : 10.780820 144.13/52.34 c (18,0) c PropagationTime_6 : 12.154662 144.13/52.34 c (18,0) c PropagationTime_7 : 11.024846 144.13/52.34 c (18,0) c PropagationTime_total : 92.090544 144.13/52.34 c (18,0) c PropagationTime_winner : 10.780820 144.13/52.34 c (18,0) c AnalysisTime_0 : 0.176858 144.13/52.34 c (18,0) c AnalysisTime_1 : 0.160223 144.13/52.34 c (18,0) c AnalysisTime_2 : 0.163930 144.13/52.34 c (18,0) c AnalysisTime_3 : 0.191122 144.13/52.34 c (18,0) c AnalysisTime_4 : 0.163841 144.13/52.34 c (18,0) c AnalysisTime_5 : 0.148029 144.13/52.34 c (18,0) c AnalysisTime_6 : 0.169985 144.13/52.34 c (18,0) c AnalysisTime_7 : 0.146706 144.13/52.34 c (18,0) c AnalysisTime_total : 1.320695 144.13/52.34 c (18,0) c AnalysisTime_winner : 0.148029 144.13/52.34 c (18,0) c ReductionTime_0 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_1 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_2 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_3 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_4 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_5 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_6 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_7 : 0.000000 144.13/52.34 c (18,0) c ReductionTime_total : 0.000000 144.13/52.34 c (18,0) c ReductionTime_winner : 0.000000 144.13/52.34 c (18,0) c SimplifyTime_0 : 0.000000 144.13/52.34 c (18,0) c SimplifyTime_1 : 0.000004 144.13/52.34 c (18,0) c SimplifyTime_2 : 0.000000 144.13/52.34 c (18,0) c SimplifyTime_3 : 0.000001 144.13/52.34 c (18,0) c SimplifyTime_4 : 0.000004 144.13/52.34 c (18,0) c SimplifyTime_5 : 0.000002 144.13/52.34 c (18,0) c SimplifyTime_6 : 0.000003 144.13/52.34 c (18,0) c SimplifyTime_7 : 0.000001 144.13/52.34 c (18,0) c SimplifyTime_total : 0.000015 144.13/52.34 c (18,0) c SimplifyTime_winner : 0.000002 144.13/52.34 c (18,0) c UsedRateTime_0 : 0.000000 144.13/52.34 c (18,0) c UsedRateTime_1 : 0.000000 144.13/52.34 c (18,0) c UsedRateTime_2 : 0.000000 144.13/52.34 c (18,0) c UsedRateTime_3 : 0.000000 144.13/52.34 c (18,0) c UsedRateTime_4 : 0.000000 144.13/52.34 c (18,0) c UsedRateTime_5 : 0.000000 144.13/52.34 c (18,0) c UsedRateTime_6 : 0.000000 144.13/52.35 c (18,0) c UsedRateTime_7 : 0.000000 144.13/52.35 c (18,0) c UsedRateTime_total : 0.000000 144.13/52.35 c (18,0) c UsedRateTime_winner : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_0 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_1 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_2 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_3 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_4 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_5 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_6 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_7 : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_total : 0.000000 144.13/52.35 c (18,0) c OverlapRateTime_winner : 0.000000 144.13/52.35 c (18,0) c 144.13/52.35 c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 144.13/52.35 c (18,0) c 144.13/52.35 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.35 c (18,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 144.13/52.35 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.35 c (18,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 144.13/52.35 c (18,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 144.13/52.35 c (18,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 144.13/52.35 c (18,0) c | Initial random_seed | 1206011275 | 1915066292 | 561599341 | 1114680238 | 603605541 | 1527047889 | 868514728 | 2094387215 | 144.13/52.35 c (18,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 144.13/52.35 c (18,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 144.13/52.35 c (18,0) c | glureduce | True | True | True | True | True | True | True | True | 144.13/52.35 c (18,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 144.13/52.35 c (18,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 144.13/52.35 c (18,0) c | luby_restart | False | False | False | False | False | False | False | False | 144.13/52.35 c (18,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 144.13/52.35 c (18,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 144.13/52.35 c (18,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 144.13/52.35 c (18,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 144.13/52.35 c (18,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 144.13/52.35 c (18,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 144.13/52.35 c (18,0) 144.13/52.35 c (18,0) s SATISFIABLE 45.86/52.61 c (18,0) SatSolver.solve End 45.86/52.61 c (18,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 45.86/52.61 c (18,0) Show results Begin 145.09/52.75 c (18,0) x0 = 0 145.09/52.75 c (18,0) x1 = 1 145.09/52.75 c (18,0) x10 = 488 145.09/52.75 c (18,0) x100 = 636 145.09/52.75 c (18,0) x101 = 635 145.09/52.75 c (18,0) x102 = 848 145.09/52.75 c (18,0) x103 = 849 145.09/52.75 c (18,0) x104 = 860 145.09/52.75 c (18,0) x105 = 859 145.09/52.75 c (18,0) x106 = 886 145.09/52.75 c (18,0) x107 = 887 145.09/52.75 c (18,0) x108 = 1013 145.09/52.75 c (18,0) x109 = 1014 145.09/52.75 c (18,0) x11 = 489 145.09/52.75 c (18,0) x110 = 1100 145.09/52.75 c (18,0) x111 = 1101 145.09/52.75 c (18,0) x112 = 1113 145.09/52.75 c (18,0) x113 = 1112 145.09/52.75 c (18,0) x114 = 1123 145.09/52.75 c (18,0) x115 = 1124 145.09/52.75 c (18,0) x116 = 1216 145.09/52.75 c (18,0) x117 = 1215 145.09/52.75 c (18,0) x118 = 1219 145.09/52.75 c (18,0) x119 = 1220 145.09/52.75 c (18,0) x12 = 492 145.09/52.75 c (18,0) x120 = 1 145.09/52.75 c (18,0) x121 = 0 145.09/52.75 c (18,0) x122 = 39 145.09/52.75 c (18,0) x123 = 40 145.09/52.75 c (18,0) x124 = 89 145.09/52.75 c (18,0) x125 = 88 145.09/52.75 c (18,0) x126 = 99 145.09/52.75 c (18,0) x127 = 100 145.09/52.75 c (18,0) x128 = 144 145.09/52.75 c (18,0) x129 = 145 145.09/52.75 c (18,0) x13 = 491 145.09/52.75 c (18,0) x130 = 259 145.09/52.75 c (18,0) x131 = 260 145.09/52.75 c (18,0) x132 = 531 145.09/52.75 c (18,0) x133 = 530 145.09/52.75 c (18,0) x134 = 575 145.09/52.75 c (18,0) x135 = 574 145.09/52.75 c (18,0) x136 = 640 145.09/52.75 c (18,0) x137 = 641 145.09/52.75 c (18,0) x138 = 726 145.09/52.75 c (18,0) x139 = 727 145.09/52.75 c (18,0) x14 = 530 145.09/52.75 c (18,0) x140 = 784 145.09/52.75 c (18,0) x141 = 783 145.09/52.75 c (18,0) x142 = 846 145.09/52.75 c (18,0) x143 = 847 145.09/52.75 c (18,0) x144 = 911 145.09/52.75 c (18,0) x145 = 912 145.09/52.75 c (18,0) x146 = 985 145.09/52.75 c (18,0) x147 = 984 145.09/52.75 c (18,0) x148 = 1207 145.09/52.75 c (18,0) x149 = 1206 145.09/52.75 c (18,0) x15 = 531 145.09/52.75 c (18,0) x150 = 55 145.09/52.75 c (18,0) x151 = 56 145.09/52.75 c (18,0) x152 = 143 145.09/52.75 c (18,0) x153 = 142 145.09/52.75 c (18,0) x154 = 200 145.09/52.75 c (18,0) x155 = 199 145.09/52.75 c (18,0) x156 = 206 145.09/52.75 c (18,0) x157 = 207 145.09/52.75 c (18,0) x158 = 478 145.09/52.75 c (18,0) x159 = 479 145.09/52.75 c (18,0) x16 = 593 145.09/52.75 c (18,0) x160 = 607 145.09/52.75 c (18,0) x161 = 608 145.09/52.75 c (18,0) x162 = 702 145.09/52.75 c (18,0) x163 = 703 145.09/52.75 c (18,0) x164 = 771 145.09/52.75 c (18,0) x165 = 772 145.09/52.75 c (18,0) x166 = 851 145.09/52.75 c (18,0) x167 = 850 145.09/52.75 c (18,0) x168 = 897 145.09/52.75 c (18,0) x169 = 898 145.09/52.75 c (18,0) x17 = 594 145.09/52.75 c (18,0) x170 = 928 145.09/52.75 c (18,0) x171 = 929 145.09/52.75 c (18,0) x172 = 1020 145.09/52.75 c (18,0) x173 = 1019 145.09/52.75 c (18,0) x174 = 1090 145.09/52.75 c (18,0) x175 = 1091 145.09/52.75 c (18,0) x176 = 1130 145.09/52.75 c (18,0) x177 = 1129 145.09/52.75 c (18,0) x178 = 1200 145.09/52.75 c (18,0) x179 = 1201 145.09/52.75 c (18,0) x18 = 677 145.09/52.75 c (18,0) x180 = 26 145.09/52.75 c (18,0) x181 = 0 145.09/52.75 c (18,0) x182 = 56 145.09/52.75 c (18,0) x183 = 55 145.09/52.75 c (18,0) x184 = 152 145.09/52.75 c (18,0) x185 = 153 145.09/52.75 c (18,0) x186 = 225 145.09/52.75 c (18,0) x187 = 226 145.09/52.75 c (18,0) x188 = 253 145.09/52.75 c (18,0) x189 = 252 145.09/52.75 c (18,0) x19 = 676 145.09/52.75 c (18,0) x190 = 270 145.09/52.75 c (18,0) x191 = 271 145.09/52.75 c (18,0) x192 = 328 145.09/52.75 c (18,0) x193 = 329 145.09/52.75 c (18,0) x194 = 376 145.09/52.75 c (18,0) x195 = 377 145.09/52.75 c (18,0) x196 = 399 145.09/52.75 c (18,0) x197 = 398 145.09/52.75 c (18,0) x198 = 416 145.09/52.75 c (18,0) x199 = 415 145.09/52.75 c (18,0) x2 = 70 145.09/52.75 c (18,0) x20 = 808 145.09/52.75 c (18,0) x200 = 465 145.09/52.75 c (18,0) x201 = 466 145.09/52.75 c (18,0) x202 = 962 145.09/52.75 c (18,0) x203 = 963 145.09/52.75 c (18,0) x204 = 1070 145.09/52.75 c (18,0) x205 = 1069 145.09/52.75 c (18,0) x206 = 1169 145.09/52.75 c (18,0) x207 = 1170 145.09/52.75 c (18,0) x208 = 1226 145.09/52.75 c (18,0) x209 = 1227 145.09/52.75 c (18,0) x21 = 809 145.09/52.75 c (18,0) x210 = 0 145.09/52.75 c (18,0) x211 = 1 145.09/52.75 c (18,0) x212 = 70 145.09/52.75 c (18,0) x213 = 69 145.09/52.75 c (18,0) x214 = 145 145.09/52.75 c (18,0) x215 = 146 145.09/52.75 c (18,0) x216 = 253 145.09/52.75 c (18,0) x217 = 252 145.09/52.75 c (18,0) x218 = 310 145.09/52.75 c (18,0) x219 = 309 145.09/52.75 c (18,0) x22 = 987 145.09/52.75 c (18,0) x220 = 326 145.09/52.75 c (18,0) x221 = 325 145.09/52.75 c (18,0) x222 = 499 145.09/52.75 c (18,0) x223 = 498 145.09/52.75 c (18,0) x224 = 721 145.09/52.75 c (18,0) x225 = 720 145.09/52.75 c (18,0) x226 = 762 145.09/52.75 c (18,0) x227 = 763 145.09/52.75 c (18,0) x228 = 812 145.09/52.75 c (18,0) x229 = 811 145.09/52.75 c (18,0) x23 = 988 145.09/52.75 c (18,0) x230 = 837 145.09/52.75 c (18,0) x231 = 877 145.09/52.75 c (18,0) x232 = 1027 145.09/52.75 c (18,0) x233 = 1026 145.09/52.75 c (18,0) x234 = 1082 145.09/52.75 c (18,0) x235 = 1083 145.09/52.75 c (18,0) x236 = 1135 145.09/52.75 c (18,0) x237 = 1134 145.09/52.75 c (18,0) x238 = 1257 145.09/52.75 c (18,0) x239 = 1256 145.09/52.75 c (18,0) x24 = 1179 145.09/52.75 c (18,0) x240 = 0 145.09/52.75 c (18,0) x241 = 1 145.09/52.75 c (18,0) x242 = 200 145.09/52.75 c (18,0) x243 = 199 145.09/52.75 c (18,0) x244 = 253 145.09/52.75 c (18,0) x245 = 254 145.09/52.75 c (18,0) x246 = 326 145.09/52.75 c (18,0) x247 = 325 145.09/52.75 c (18,0) x248 = 392 145.09/52.75 c (18,0) x249 = 391 145.09/52.75 c (18,0) x25 = 1180 145.09/52.75 c (18,0) x250 = 486 145.09/52.75 c (18,0) x251 = 487 145.09/52.75 c (18,0) x252 = 604 145.09/52.75 c (18,0) x253 = 605 145.09/52.75 c (18,0) x254 = 747 145.09/52.75 c (18,0) x255 = 746 145.09/52.75 c (18,0) x256 = 796 145.09/52.75 c (18,0) x257 = 795 145.09/52.75 c (18,0) x258 = 821 145.09/52.75 c (18,0) x259 = 822 145.09/52.75 c (18,0) x26 = 1188 145.09/52.75 c (18,0) x260 = 902 145.09/52.75 c (18,0) x261 = 903 145.09/52.75 c (18,0) x262 = 1099 145.09/52.75 c (18,0) x263 = 1098 145.09/52.75 c (18,0) x264 = 1121 145.09/52.75 c (18,0) x265 = 1122 145.09/52.75 c (18,0) x266 = 1183 145.09/52.75 c (18,0) x267 = 1184 145.09/52.75 c (18,0) x268 = 1279 145.09/52.75 c (18,0) x269 = 1278 145.09/52.75 c (18,0) x27 = 1189 145.09/52.75 c (18,0) x270 = 1 145.09/52.75 c (18,0) x271 = 0 145.09/52.75 c (18,0) x272 = 96 145.09/52.75 c (18,0) x273 = 95 145.09/52.75 c (18,0) x274 = 101 145.09/52.75 c (18,0) x275 = 100 145.09/52.75 c (18,0) x276 = 209 145.09/52.75 c (18,0) x277 = 210 145.09/52.75 c (18,0) x278 = 290 145.09/52.75 c (18,0) x279 = 289 145.09/52.75 c (18,0) x28 = 1201 145.09/52.75 c (18,0) x280 = 355 145.09/52.75 c (18,0) x281 = 354 145.09/52.75 c (18,0) x282 = 401 145.09/52.75 c (18,0) x283 = 402 145.09/52.75 c (18,0) x284 = 503 145.09/52.75 c (18,0) x285 = 502 145.09/52.75 c (18,0) x286 = 551 145.09/52.75 c (18,0) x287 = 550 145.09/52.75 c (18,0) x288 = 648 145.09/52.75 c (18,0) x289 = 647 145.09/52.75 c (18,0) x29 = 1200 145.09/52.75 c (18,0) x290 = 720 145.09/52.75 c (18,0) x291 = 721 145.09/52.75 c (18,0) x292 = 739 145.09/52.75 c (18,0) x293 = 738 145.09/52.75 c (18,0) x294 = 762 145.09/52.75 c (18,0) x295 = 763 145.09/52.75 c (18,0) x296 = 859 145.09/52.75 c (18,0) x297 = 860 145.09/52.75 c (18,0) x298 = 1255 145.09/52.75 c (18,0) x299 = 1256 145.09/52.75 c (18,0) x3 = 69 145.09/52.75 c (18,0) x30 = 0 145.09/52.75 c (18,0) x300 = 144 145.09/52.75 c (18,0) x301 = 145 145.09/52.75 c (18,0) x302 = 182 145.09/52.75 c (18,0) x303 = 183 145.09/52.75 c (18,0) x304 = 257 145.09/52.75 c (18,0) x305 = 256 145.09/52.75 c (18,0) x306 = 340 145.09/52.75 c (18,0) x307 = 339 145.09/52.75 c (18,0) x308 = 408 145.09/52.75 c (18,0) x309 = 407 145.09/52.75 c (18,0) x31 = 1 145.09/52.75 c (18,0) x310 = 511 145.09/52.75 c (18,0) x311 = 512 145.09/52.75 c (18,0) x312 = 517 145.09/52.75 c (18,0) x313 = 516 145.09/52.75 c (18,0) x314 = 653 145.09/52.75 c (18,0) x315 = 652 145.09/52.75 c (18,0) x316 = 703 145.09/52.75 c (18,0) x317 = 755 145.09/52.75 c (18,0) x318 = 940 145.09/52.75 c (18,0) x319 = 929 145.09/52.75 c (18,0) x32 = 100 145.09/52.75 c (18,0) x320 = 990 145.09/52.75 c (18,0) x321 = 991 145.09/52.75 c (18,0) x322 = 1088 145.09/52.75 c (18,0) x323 = 1087 145.09/52.75 c (18,0) x324 = 1095 145.09/52.75 c (18,0) x325 = 1096 145.09/52.75 c (18,0) x326 = 1164 145.09/52.75 c (18,0) x327 = 1165 145.09/52.75 c (18,0) x328 = 1257 145.09/52.75 c (18,0) x329 = 1256 145.09/52.75 c (18,0) x33 = 99 145.09/52.75 c (18,0) x330 = 17 145.09/52.75 c (18,0) x331 = 18 145.09/52.75 c (18,0) x332 = 97 145.09/52.75 c (18,0) x333 = 96 145.09/52.75 c (18,0) x334 = 182 145.09/52.75 c (18,0) x335 = 183 145.09/52.75 c (18,0) x336 = 245 145.09/52.75 c (18,0) x337 = 244 145.09/52.75 c (18,0) x338 = 308 145.09/52.75 c (18,0) x339 = 309 145.09/52.75 c (18,0) x34 = 151 145.09/52.75 c (18,0) x340 = 332 145.09/52.75 c (18,0) x341 = 331 145.09/52.75 c (18,0) x342 = 388 145.09/52.75 c (18,0) x343 = 389 145.09/52.75 c (18,0) x344 = 677 145.09/52.75 c (18,0) x345 = 565 145.09/52.75 c (18,0) x346 = 765 145.09/52.75 c (18,0) x347 = 766 145.09/52.76 c (18,0) x348 = 996 145.09/52.76 c (18,0) x349 = 997 145.09/52.76 c (18,0) x35 = 152 145.09/52.76 c (18,0) x350 = 1023 145.09/52.76 c (18,0) x351 = 1024 145.09/52.76 c (18,0) x352 = 1169 145.09/52.76 c (18,0) x353 = 1170 145.09/52.76 c (18,0) x354 = 1179 145.09/52.76 c (18,0) x355 = 1178 145.09/52.76 c (18,0) x356 = 1208 145.09/52.76 c (18,0) x357 = 1207 145.09/52.76 c (18,0) x358 = 1243 145.09/52.76 c (18,0) x359 = 1242 145.09/52.76 c (18,0) x36 = 199 145.09/52.76 c (18,0) x360 = 1 145.09/52.76 c (18,0) x361 = 0 145.09/52.76 c (18,0) x362 = 84 145.09/52.76 c (18,0) x363 = 83 145.09/52.76 c (18,0) x364 = 170 145.09/52.76 c (18,0) x365 = 171 145.09/52.76 c (18,0) x366 = 215 145.09/52.76 c (18,0) x367 = 216 145.09/52.76 c (18,0) x368 = 331 145.09/52.76 c (18,0) x369 = 330 145.09/52.76 c (18,0) x37 = 198 145.09/52.76 c (18,0) x370 = 494 145.09/52.76 c (18,0) x371 = 495 145.09/52.76 c (18,0) x372 = 538 145.09/52.76 c (18,0) x373 = 537 145.09/52.76 c (18,0) x374 = 549 145.09/52.76 c (18,0) x375 = 550 145.09/52.76 c (18,0) x376 = 568 145.09/52.76 c (18,0) x377 = 569 145.09/52.76 c (18,0) x378 = 668 145.09/52.76 c (18,0) x379 = 669 145.09/52.76 c (18,0) x38 = 214 145.09/52.76 c (18,0) x380 = 684 145.09/52.76 c (18,0) x381 = 683 145.09/52.76 c (18,0) x382 = 742 145.09/52.76 c (18,0) x383 = 741 145.09/52.76 c (18,0) x384 = 934 145.09/52.76 c (18,0) x385 = 933 145.09/52.76 c (18,0) x386 = 993 145.09/52.76 c (18,0) x387 = 992 145.09/52.76 c (18,0) x388 = 1183 145.09/52.76 c (18,0) x389 = 1182 145.09/52.76 c (18,0) x39 = 215 145.09/52.76 c (18,0) x390 = 63 145.09/52.76 c (18,0) x391 = 19 145.09/52.76 c (18,0) x392 = 206 145.09/52.76 c (18,0) x393 = 207 145.09/52.76 c (18,0) x394 = 368 145.09/52.76 c (18,0) x395 = 367 145.09/52.76 c (18,0) x396 = 463 145.09/52.76 c (18,0) x397 = 462 145.09/52.76 c (18,0) x398 = 527 145.09/52.76 c (18,0) x399 = 528 145.09/52.76 c (18,0) x4 = 156 145.09/52.76 c (18,0) x40 = 319 145.09/52.76 c (18,0) x400 = 615 145.09/52.76 c (18,0) x401 = 614 145.09/52.76 c (18,0) x402 = 702 145.09/52.76 c (18,0) x403 = 701 145.09/52.76 c (18,0) x404 = 778 145.09/52.76 c (18,0) x405 = 777 145.09/52.76 c (18,0) x406 = 869 145.09/52.76 c (18,0) x407 = 868 145.09/52.76 c (18,0) x408 = 910 145.09/52.76 c (18,0) x409 = 909 145.09/52.76 c (18,0) x41 = 332 145.09/52.76 c (18,0) x410 = 988 145.09/52.76 c (18,0) x411 = 987 145.09/52.76 c (18,0) x412 = 997 145.09/52.76 c (18,0) x413 = 996 145.09/52.76 c (18,0) x414 = 1025 145.09/52.76 c (18,0) x415 = 1024 145.09/52.76 c (18,0) x416 = 1160 145.09/52.76 c (18,0) x417 = 1159 145.09/52.76 c (18,0) x418 = 1229 145.09/52.76 c (18,0) x419 = 1230 145.09/52.76 c (18,0) x42 = 446 145.09/52.76 c (18,0) x420 = 152 145.09/52.76 c (18,0) x421 = 151 145.09/52.76 c (18,0) x422 = 225 145.09/52.76 c (18,0) x423 = 226 145.09/52.76 c (18,0) x424 = 238 145.09/52.76 c (18,0) x425 = 239 145.09/52.76 c (18,0) x426 = 254 145.09/52.76 c (18,0) x427 = 253 145.09/52.76 c (18,0) x428 = 325 145.09/52.76 c (18,0) x429 = 326 145.09/52.76 c (18,0) x43 = 445 145.09/52.76 c (18,0) x430 = 329 145.09/52.76 c (18,0) x431 = 328 145.09/52.76 c (18,0) x432 = 381 145.09/52.76 c (18,0) x433 = 382 145.09/52.76 c (18,0) x434 = 466 145.09/52.76 c (18,0) x435 = 465 145.09/52.76 c (18,0) x436 = 550 145.09/52.76 c (18,0) x437 = 551 145.09/52.76 c (18,0) x438 = 609 145.09/52.76 c (18,0) x439 = 608 145.09/52.76 c (18,0) x44 = 498 145.09/52.76 c (18,0) x440 = 667 145.09/52.76 c (18,0) x441 = 668 145.09/52.76 c (18,0) x442 = 763 145.09/52.76 c (18,0) x443 = 762 145.09/52.76 c (18,0) x444 = 976 145.09/52.76 c (18,0) x445 = 975 145.09/52.76 c (18,0) x446 = 1066 145.09/52.76 c (18,0) x447 = 1067 145.09/52.76 c (18,0) x448 = 1218 145.09/52.76 c (18,0) x449 = 1219 145.09/52.76 c (18,0) x45 = 499 145.09/52.76 c (18,0) x46 = 855 145.09/52.76 c (18,0) x47 = 856 145.09/52.76 c (18,0) x48 = 878 145.09/52.76 c (18,0) x49 = 877 145.09/52.76 c (18,0) x5 = 155 145.09/52.76 c (18,0) x50 = 993 145.09/52.76 c (18,0) x51 = 992 145.09/52.76 c (18,0) x52 = 1019 145.09/52.76 c (18,0) x53 = 1020 145.09/52.76 c (18,0) x54 = 1050 145.09/52.76 c (18,0) x55 = 1049 145.09/52.76 c (18,0) x56 = 1075 145.09/52.76 c (18,0) x57 = 1074 145.09/52.76 c (18,0) x58 = 1273 145.09/52.76 c (18,0) x59 = 1272 145.09/52.76 c (18,0) x6 = 257 145.09/52.76 c (18,0) x60 = 37 145.09/52.76 c (18,0) x61 = 38 145.09/52.76 c (18,0) x62 = 135 145.09/52.76 c (18,0) x63 = 134 145.09/52.76 c (18,0) x64 = 215 145.09/52.76 c (18,0) x65 = 214 145.09/52.76 c (18,0) x66 = 389 145.09/52.76 c (18,0) x67 = 390 145.09/52.76 c (18,0) x68 = 456 145.09/52.76 c (18,0) x69 = 455 145.09/52.76 c (18,0) x7 = 256 145.09/52.76 c (18,0) x70 = 518 145.09/52.76 c (18,0) x71 = 517 145.09/52.76 c (18,0) x72 = 596 145.09/52.76 c (18,0) x73 = 597 145.09/52.76 c (18,0) x74 = 668 145.09/52.76 c (18,0) x75 = 667 145.09/52.76 c (18,0) x76 = 764 145.09/52.76 c (18,0) x77 = 765 145.09/52.76 c (18,0) x78 = 784 145.09/52.76 c (18,0) x79 = 783 145.09/52.76 c (18,0) x8 = 407 145.09/52.76 c (18,0) x80 = 817 145.09/52.76 c (18,0) x81 = 818 145.09/52.76 c (18,0) x82 = 862 145.09/52.76 c (18,0) x83 = 861 145.09/52.76 c (18,0) x84 = 934 145.09/52.76 c (18,0) x85 = 933 145.09/52.76 c (18,0) x86 = 1226 145.09/52.76 c (18,0) x87 = 1225 145.09/52.76 c (18,0) x88 = 1235 145.09/52.76 c (18,0) x89 = 1236 145.09/52.76 c (18,0) x9 = 408 145.09/52.76 c (18,0) x90 = 29 145.09/52.76 c (18,0) x91 = 0 145.09/52.76 c (18,0) x92 = 63 145.09/52.76 c (18,0) x93 = 62 145.09/52.76 c (18,0) x94 = 304 145.09/52.76 c (18,0) x95 = 303 145.09/52.76 c (18,0) x96 = 384 145.09/52.76 c (18,0) x97 = 385 145.09/52.76 c (18,0) x98 = 415 145.09/52.76 c (18,0) x99 = 414 145.09/52.76 s SATISFIABLE 145.09/52.76 v <instantiation> 145.09/52.76 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> 145.09/52.76 v <values>0 1 70 69 156 155 257 256 407 408 488 489 492 491 530 531 593 594 677 676 808 809 987 988 1179 1180 1188 1189 1201 1200 0 1 100 99 151 152 199 198 214 215 319 332 446 445 498 499 855 856 878 877 993 992 1019 1020 1050 1049 1075 1074 1273 1272 37 38 135 134 215 214 389 390 456 455 518 517 596 597 668 667 764 765 784 783 817 818 862 861 934 933 1226 1225 1235 1236 29 0 63 62 304 303 384 385 415 414 636 635 848 849 860 859 886 887 1013 1014 1100 1101 1113 1112 1123 1124 1216 1215 1219 1220 1 0 39 40 89 88 99 100 144 145 259 260 531 530 575 574 640 641 726 727 784 783 846 847 911 912 985 984 1207 1206 55 56 143 142 200 199 206 207 478 479 607 608 702 703 771 772 851 850 897 898 928 929 1020 1019 1090 1091 1130 1129 1200 1201 26 0 56 55 152 153 225 226 253 252 270 271 328 329 376 377 399 398 416 415 465 466 962 963 1070 1069 1169 1170 1226 1227 0 1 70 69 145 146 253 252 310 309 326 325 499 498 721 720 762 763 812 811 837 877 1027 1026 1082 1083 1135 1134 1257 1256 0 1 200 199 253 254 326 325 392 391 486 487 604 605 747 746 796 795 821 822 902 903 1099 1098 1121 1122 1183 1184 1279 1278 1 0 96 95 101 100 209 210 290 289 355 354 401 402 503 502 551 550 648 647 720 721 739 738 762 763 859 860 1255 1256 144 145 182 183 257 256 340 339 408 407 511 512 517 516 653 652 703 755 940 929 990 991 1088 1087 1095 1096 1164 1165 1257 1256 17 18 97 96 182 183 245 244 308 309 332 331 388 389 677 565 765 766 996 997 1023 1024 1169 1170 1179 1178 1208 1207 1243 1242 1 0 84 83 170 171 215 216 331 330 494 495 538 537 549 550 568 569 668 669 684 683 742 741 934 933 993 992 1183 1182 63 19 206 207 368 367 463 462 527 528 615 614 702 701 778 777 869 868 910 909 988 987 997 996 1025 1024 1160 1159 1229 1230 152 151 225 226 238 239 254 253 325 326 329 328 381 382 466 465 550 551 609 608 667 668 763 762 976 975 1066 1067 1218 1219</values> 145.09/52.76 v </instantiation> 145.09/52.76 c (18,0) Show results End 145.09/52.76 c (18,0) Heap : 225 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 145.09/52.76 c (18,0) 18,18,STOP-AFTER(ALL) 145.09/52.76 c END-Prog: Sat Sep 14 08:22:04 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 (9609 MiB free) memory of node 1: 16384 MiB (15618 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392673-1568442115/watcher-4392673-1568442115 -o /tmp/evaluation-result-4392673-1568442115/solver-4392673-1568442115 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392673-1568442115.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog threadsolver pid=16745, runsolver pid=16742 Starting watchdog threadsolver pid=16745, runsolver pid=16742 Current StackSize limit: 8192 KiB [startup+0.10013 s]* /proc/loadavg: 4.51 5.97 7.38 2/212 16767 /proc/meminfo: memFree=25738992/32770624 swapFree=67002168/67108860 [pid=16745] ppid=16742 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16745/stat : 16745 (scop.sh) S 16742 16745 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420460188 115843072 349 33554432000 4194304 5098028 140725981886048 140725981883304 140605637517948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34369536 140725981893412 140725981893740 140725981893740 140725981896653 0 /proc/16745/statm: 28282 349 296 221 0 87 0 [pid=16748] ppid=16745 vsize=27314120 memory=106584 CPUtime=0.1 cores=0-7 /proc/16748/stat : 16748 (java) S 16745 16745 14480 0 -1 1077944320 6194 0 0 0 8 2 0 0 20 0 20 0 420460189 27969658880 26646 33554432000 4194304 4196468 140736579919424 140736579901968 140665633005303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 /proc/16748/statm: 6828530 26646 2816 1 0 6790935 0 [pid=16748/tid=16749] ppid=16745 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/16748/task/16749/stat : 16749 (java) R 16745 16745 14480 0 -1 4202560 4261 0 0 0 7 2 0 0 20 0 20 0 420460189 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665604818816 140665617085790 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16750] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16750/stat : 16750 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665637247632 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16751] ppid=16745 vsize=27314120 memory=139779234293376 CPUtime=0 cores=0-7 /proc/16748/task/16751/stat : 16751 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665420642832 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16752] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16752/stat : 16752 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665419590032 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16753] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16753/stat : 16753 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665418537232 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16754] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16754/stat : 16754 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665417485456 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16755] ppid=16745 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16748/task/16755/stat : 16755 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665416432656 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16756] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16756/stat : 16756 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665415379856 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16757] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16757/stat : 16757 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 26646 33554432000 4194304 4196468 140736579919424 140665048521488 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16758] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16758/stat : 16758 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 26646 33554432000 4194304 4196468 140736579919424 140664221772144 140665633016450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16759] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16759/stat : 16759 (java) S 16745 16745 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 26646 33554432000 4194304 4196468 140736579919424 140663198835744 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16760] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16760/stat : 16760 (java) S 16745 16745 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 26646 33554432000 4194304 4196468 140736579919424 140663064613744 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16761] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16761/stat : 16761 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 26646 33554432000 4194304 4196468 140736579919424 140662690109264 140665633023899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16762] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16762/stat : 16762 (java) S 16745 16745 14480 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 26646 33554432000 4194304 4196468 140736579919424 140664220719984 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16763] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16763/stat : 16763 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 26646 33554432000 4194304 4196468 140736579919424 140664219667184 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16764] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16764/stat : 16764 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 26646 33554432000 4194304 4196468 140736579919424 140664218614384 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16765] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16765/stat : 16765 (java) S 16745 16745 14480 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 26646 33554432000 4194304 4196468 140736579919424 140664217561584 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16766] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16766/stat : 16766 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 26646 33554432000 4194304 4196468 140736579919424 140662192204384 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16767] ppid=16745 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16748/task/16767/stat : 16767 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 26646 33554432000 4194304 4196468 140736579919424 140664216508976 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107980 KiB [startup+0.212655 s]* /proc/loadavg: 4.51 5.97 7.38 2/212 16767 /proc/meminfo: memFree=25717768/32770624 swapFree=67002168/67108860 [pid=16745] ppid=16742 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16745/stat : 16745 (scop.sh) S 16742 16745 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420460188 115843072 349 33554432000 4194304 5098028 140725981886048 140725981883304 140605637517948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34369536 140725981893412 140725981893740 140725981893740 140725981896653 0 /proc/16745/statm: 28282 349 296 221 0 87 0 [pid=16748] ppid=16745 vsize=27314120 memory=123604 CPUtime=0.25 cores=0-7 /proc/16748/stat : 16748 (java) S 16745 16745 14480 0 -1 1077944320 11779 0 0 0 21 4 0 0 20 0 20 0 420460189 27969658880 30901 33554432000 4194304 4196468 140736579919424 140736579901968 140665633005303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 /proc/16748/statm: 6828530 30901 2941 1 0 6790935 0 [pid=16748/tid=16749] ppid=16745 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/16748/task/16749/stat : 16749 (java) R 16745 16745 14480 0 -1 4202560 9468 0 0 0 16 3 0 0 20 0 20 0 420460189 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665604788864 140665633019190 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16750] ppid=16745 vsize=27314120 memory=330 CPUtime=0 cores=0-7 /proc/16748/task/16750/stat : 16750 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665637247632 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16751] ppid=16745 vsize=27314120 memory=139779237395812 CPUtime=0 cores=0-7 /proc/16748/task/16751/stat : 16751 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665420642832 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16752] ppid=16745 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16748/task/16752/stat : 16752 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665419590032 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16753] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16753/stat : 16753 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665418537232 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16754] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16754/stat : 16754 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665417485456 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16755] ppid=16745 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16748/task/16755/stat : 16755 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665416432656 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16756] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16756/stat : 16756 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665415379856 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16757] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16757/stat : 16757 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 30901 33554432000 4194304 4196468 140736579919424 140665048521488 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16758] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16758/stat : 16758 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 30901 33554432000 4194304 4196468 140736579919424 140664221772144 140665633016450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16759] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16759/stat : 16759 (java) S 16745 16745 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 30901 33554432000 4194304 4196468 140736579919424 140663198835744 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16760] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16760/stat : 16760 (java) S 16745 16745 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 30901 33554432000 4194304 4196468 140736579919424 140663064613744 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16761] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16761/stat : 16761 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 30901 33554432000 4194304 4196468 140736579919424 140662690109264 140665633023899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16762] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16762/stat : 16762 (java) S 16745 16745 14480 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 30901 33554432000 4194304 4196468 140736579919424 140664220719984 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16763] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16763/stat : 16763 (java) S 16745 16745 14480 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 30901 33554432000 4194304 4196468 140736579919424 140664219667184 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16764] ppid=16745 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16748/task/16764/stat : 16764 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 30901 33554432000 4194304 4196468 140736579919424 140664218614384 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16765] ppid=16745 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/16748/task/16765/stat : 16765 (java) S 16745 16745 14480 0 -1 1077944384 465 0 0 0 2 0 0 0 20 0 20 0 420460196 27969658880 30901 33554432000 4194304 4196468 140736579919424 140664217561584 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16766] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16766/stat : 16766 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 30901 33554432000 4194304 4196468 140736579919424 140662192204384 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16767] ppid=16745 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16748/task/16767/stat : 16767 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 30901 33554432000 4194304 4196468 140736579919424 140664216508976 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125000 KiB [startup+0.310357 s]* /proc/loadavg: 4.51 5.97 7.38 2/212 16767 /proc/meminfo: memFree=25715336/32770624 swapFree=67002168/67108860 [pid=16745] ppid=16742 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16745/stat : 16745 (scop.sh) S 16742 16745 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420460188 115843072 349 33554432000 4194304 5098028 140725981886048 140725981883304 140605637517948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34369536 140725981893412 140725981893740 140725981893740 140725981896653 0 /proc/16745/statm: 28282 349 296 221 0 87 0 [pid=16748] ppid=16745 vsize=27314120 memory=127500 CPUtime=0.42 cores=0-7 /proc/16748/stat : 16748 (java) S 16745 16745 14480 0 -1 1077944320 12319 0 0 0 38 4 0 0 20 0 20 0 420460189 27969658880 31875 33554432000 4194304 4196468 140736579919424 140736579901968 140665633005303 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 /proc/16748/statm: 6828530 31875 3024 1 0 6790935 0 [pid=16748/tid=16749] ppid=16745 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/16748/task/16749/stat : 16749 (java) R 16745 16745 14480 0 -1 4202560 9794 0 0 0 26 3 0 0 20 0 20 0 420460189 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665604833120 140665613280606 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16750] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16750/stat : 16750 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665637247632 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16751] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16751/stat : 16751 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665420642832 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16752] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16752/stat : 16752 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665419590032 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16753] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16753/stat : 16753 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665418537232 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16754] ppid=16745 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/16748/task/16754/stat : 16754 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665417485456 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16755] ppid=16745 vsize=27314120 memory=139779106763695 CPUtime=0 cores=0-7 /proc/16748/task/16755/stat : 16755 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665416432656 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16756] ppid=16745 vsize=27314120 memory=139779106766000 CPUtime=0 cores=0-7 /proc/16748/task/16756/stat : 16756 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665415379856 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16757] ppid=16745 vsize=27314120 memory=139779106768304 CPUtime=0 cores=0-7 /proc/16748/task/16757/stat : 16757 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460191 27969658880 31875 33554432000 4194304 4196468 140736579919424 140665048521488 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16758] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16758/stat : 16758 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 31875 33554432000 4194304 4196468 140736579919424 140664221772144 140665633016450 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16759] ppid=16745 vsize=27314120 memory=279558213543568 CPUtime=0 cores=0-7 /proc/16748/task/16759/stat : 16759 (java) S 16745 16745 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 31875 33554432000 4194304 4196468 140736579919424 140663198835744 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16760] ppid=16745 vsize=27314120 memory=279558213550480 CPUtime=0 cores=0-7 /proc/16748/task/16760/stat : 16760 (java) S 16745 16745 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420460193 27969658880 31875 33554432000 4194304 4196468 140736579919424 140663064613744 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16761] ppid=16745 vsize=27314120 memory=279558213491760 CPUtime=0 cores=0-7 /proc/16748/task/16761/stat : 16761 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 31875 33554432000 4194304 4196468 140736579919424 140662690109264 140665633023899 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16762] ppid=16745 vsize=27314120 memory=279558213564304 CPUtime=0.01 cores=0-7 /proc/16748/task/16762/stat : 16762 (java) S 16745 16745 14480 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 20 0 420460196 27969658880 31875 33554432000 4194304 4196468 140736579919424 140664220719984 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16763] ppid=16745 vsize=27314120 memory=279558213571216 CPUtime=0.02 cores=0-7 /proc/16748/task/16763/stat : 16763 (java) R 16745 16745 14480 0 -1 4202560 259 0 0 0 2 0 0 0 20 0 20 0 420460196 27969658880 31875 33554432000 4194304 4196468 140736579919424 140664219667184 140665618130336 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16764] ppid=16745 vsize=27314120 memory=279558213568912 CPUtime=0.01 cores=0-7 /proc/16748/task/16764/stat : 16764 (java) S 16745 16745 14480 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 20 0 420460196 27969658880 31875 33554432000 4194304 4196468 140736579919424 140664218614384 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16765] ppid=16745 vsize=27314120 memory=279558213585072 CPUtime=0.07 cores=0-7 /proc/16748/task/16765/stat : 16765 (java) S 16745 16745 14480 0 -1 1077944384 514 0 0 0 7 0 0 0 20 0 20 0 420460196 27969658880 31875 33554432000 4194304 4196468 140736579919424 140664217561584 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16766] ppid=16745 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16766/stat : 16766 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 31875 33554432000 4194304 4196468 140736579919424 140662192204384 140665633015509 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16767] ppid=16745 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/16748/task/16767/stat : 16767 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460196 27969658880 31875 33554432000 4194304 4196468 140736579919424 140664216508976 140665633016450 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128896 KiB [startup+0.707654 s] /proc/loadavg: 4.51 5.97 7.38 3/212 16767 /proc/meminfo: memFree=25693632/32770624 swapFree=67002168/67108860 [pid=16745] ppid=16742 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/16745/stat : 16745 (scop.sh) S 16742 16745 14480 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420460188 115843072 349 33554432000 4194304 5098028 140725981886048 140725981883304 140605637517948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34369536 140725981893412 140725981893740 140725981893740 140725981896653 0 /proc/16745/statm: 28282 349 296 221 0 87 0 [pid=16748] ppid=16745 vsize=27320392 memory=163208 CPUtime=1.01 cores=0-7 /proc/16748/stat : 16748 (java) S 16745 16745 14480 0 -1 1077944320 19948 0 0 0 94 7 0 0 20 0 20 0 420460189 27976081408 40802 33554432000 4194304 4196468 140736579919424 140736579901968 140665633005303 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 /proc/16748/statm: 6830098 40802 3177 1 0 6791447 0 [pid=16748/tid=16749] ppid=16745 vsize=27320392 memory=279558213942960 CPUtime=0.68 cores=0-7 /proc/16748/task/16749/stat : 16749 (java) R 16745 16745 14480 0 -1 4202560 16853 0 0 0 62 6 0 0 20 0 20 0 420460189 27976081408 40802 33554432000 4194304 4196468 140736579919424 140665604843120 140665095027459 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16750] ppid=16745 vsize=27320392 memory=139779106972528 CPUtime=0 cores=0-7 /proc/16748/task/16750/stat : 16750 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420460191 27976081408 40802 33554432000 4194304 4196468 140736579919424 140665637247632 140665633015509 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16751] ppid=16745 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/16748/task/16751/stat : 16751 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420460191 27976081408 40802 33554432000 4194304 4196468 140736579919424 140665420642832 140665633015509 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26345472 140736579920618 140736579921046 140736579921046 140736579923919 0 [pid=16748/tid=16752] ppid=16745 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=16771/tid=16785] ppid=16745 vsize=8414124 memory=8836 CPUtime=0.03 cores=0-7 /proc/16771/task/16785/stat : 16785 (java) S 16745 16745 14480 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408113833968 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16786] ppid=16745 vsize=8414124 memory=11044 CPUtime=0.07 cores=0-7 /proc/16771/task/16786/stat : 16786 (java) S 16745 16745 14480 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408112781424 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16787] ppid=16745 vsize=8414124 memory=13252 CPUtime=0.14 cores=0-7 /proc/16771/task/16787/stat : 16787 (java) S 16745 16745 14480 0 -1 1077944384 667 0 0 0 14 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408111728880 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16788] ppid=16745 vsize=8414124 memory=21764 CPUtime=0.21 cores=0-7 /proc/16771/task/16788/stat : 16788 (java) S 16745 16745 14480 0 -1 1077944384 802 0 0 0 21 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408110676336 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16789] ppid=16745 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/16771/task/16789/stat : 16789 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140406641650400 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16790] ppid=16745 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/16771/task/16790/stat : 16790 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463539 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408109624240 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16792] ppid=16745 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/16771/task/16792/stat : 16792 (java) S 16745 16745 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408453830336 140409155850009 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16794] ppid=16745 vsize=8414124 memory=1768 CPUtime=0 cores=0-7 /proc/16771/task/16794/stat : 16794 (java) S 16745 16745 14480 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 30092 33554432000 4194304 4196468 140730829712368 140405970550064 140409155847325 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16795] ppid=16745 vsize=8414124 memory=1656 CPUtime=0 cores=0-7 /proc/16771/task/16795/stat : 16795 (java) S 16745 16745 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 30092 33554432000 4194304 4196468 140730829712368 140406238985648 140409155847325 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16796] ppid=16745 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/16771/task/16796/stat : 16796 (java) S 16745 16745 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420463610 8616062976 30092 33554432000 4194304 4196468 140730829712368 140405702122672 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 Current children cumulated CPU time: 141.66 s Current children cumulated vsize: 13181176 KiB Current children cumulated memory: 4177372 KiB [startup+52.0011 s]* /proc/loadavg: 3.54 5.42 7.12 2/218 16804 /proc/meminfo: memFree=21493648/32770624 swapFree=67002168/67108860 [pid=16745] ppid=16742 vsize=113128 memory=1476 CPUtime=44.08 cores=0-7 /proc/16745/stat : 16745 (scop.sh) S 16742 16745 14480 0 -1 4202496 583 42373 0 0 0 0 4165 243 20 0 1 0 420460188 115843072 369 33554432000 4194304 5098028 140725981886048 140725981882792 140605637517948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34369536 140725981893412 140725981893740 140725981893740 140725981896653 0 /proc/16745/statm: 28282 369 311 221 0 87 0 [pid=16771] ppid=16745 vsize=8414124 memory=120368 CPUtime=1.3 cores=0-7 /proc/16771/stat : 16771 (java) S 16745 16745 14480 0 -1 1077944320 21434 0 0 0 122 8 0 0 20 0 24 0 420463532 8616062976 30092 33554432000 4194304 4196468 140730829712368 140730829694912 140409155825399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 /proc/16771/statm: 2103531 30092 3212 1 0 2064875 0 [pid=16791] ppid=16771 vsize=4654056 memory=4056176 CPUtime=98.46 cores=0-7 /proc/16791/stat : 16791 (manyglucose-4.1) S 16771 16745 14480 0 -1 1077944320 2048045 0 0 0 9343 503 0 0 20 0 2 0 420463608 4765753344 1014044 33554432000 4194304 4454172 140722547322144 140722547320528 140641741635319 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 25653248 140722547327849 140722547328048 140722547328048 140722547331002 0 /proc/16791/statm: 1163514 1014044 416 64 0 1159182 0 [pid=16791/tid=16798] ppid=16771 vsize=4654056 memory=796 CPUtime=12.57 cores=0-7 /proc/16791/task/16798/stat : 16798 (manyglucose-4.1) R 16771 16745 14480 0 -1 4202560 220767 0 0 0 1186 71 0 0 20 0 2 0 420464117 4765753344 1014044 33554432000 4194304 4454172 140722547322144 140641651125032 4350902 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 25653248 140722547327849 140722547328048 140722547328048 140722547331002 0 [pid=16771/tid=16772] ppid=16745 vsize=8414124 memory=-9103572988351246738 CPUtime=0.78 cores=0-7 /proc/16771/task/16772/stat : 16772 (java) S 16745 16745 14480 0 -1 1077944384 17831 0 0 0 72 6 0 0 20 0 24 0 420463532 8616062976 30092 33554432000 4194304 4196468 140730829712368 140409127665568 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16773] ppid=16745 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/16771/task/16773/stat : 16773 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140409160067856 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16774] ppid=16745 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/16771/task/16774/stat : 16774 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408640613264 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16775] ppid=16745 vsize=8414124 memory=4460 CPUtime=0 cores=0-7 /proc/16771/task/16775/stat : 16775 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408639560720 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16776] ppid=16745 vsize=8414124 memory=120368 CPUtime=0 cores=0-7 /proc/16771/task/16776/stat : 16776 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408638508176 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16777] ppid=16745 vsize=8414124 memory=4055168 CPUtime=0 cores=0-7 /proc/16771/task/16777/stat : 16777 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408637454608 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16778] ppid=16745 vsize=8414124 memory=14689690934592450 CPUtime=0 cores=0-7 /proc/16771/task/16778/stat : 16778 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408636402064 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16779] ppid=16745 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/16771/task/16779/stat : 16779 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408635349520 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16780] ppid=16745 vsize=8414124 memory=4460 CPUtime=0 cores=0-7 /proc/16771/task/16780/stat : 16780 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408634296976 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16781] ppid=16745 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/16771/task/16781/stat : 16781 (java) S 16745 16745 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420463535 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408114887152 140409155836546 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16782] ppid=16745 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/16771/task/16782/stat : 16782 (java) S 16745 16745 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420463535 8616062976 30092 33554432000 4194304 4196468 140730829712368 140407782499744 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16783] ppid=16745 vsize=8414124 memory=3240 CPUtime=0 cores=0-7 /proc/16771/task/16783/stat : 16783 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463536 8616062976 30092 33554432000 4194304 4196468 140730829712368 140407514064368 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16784] ppid=16745 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/16771/task/16784/stat : 16784 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140407139556048 140409155843995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16785] ppid=16745 vsize=8414124 memory=120368 CPUtime=0.03 cores=0-7 /proc/16771/task/16785/stat : 16785 (java) S 16745 16745 14480 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408113833968 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16786] ppid=16745 vsize=8414124 memory=4050616 CPUtime=0.07 cores=0-7 /proc/16771/task/16786/stat : 16786 (java) S 16745 16745 14480 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408112781424 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16787] ppid=16745 vsize=8414124 memory=0 CPUtime=0.14 cores=0-7 /proc/16771/task/16787/stat : 16787 (java) S 16745 16745 14480 0 -1 1077944384 667 0 0 0 14 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408111728880 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16788] ppid=16745 vsize=8414124 memory=7865572170757781041 CPUtime=0.21 cores=0-7 /proc/16771/task/16788/stat : 16788 (java) S 16745 16745 14480 0 -1 1077944384 802 0 0 0 21 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408110676336 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16789] ppid=16745 vsize=8414124 memory=7865572175052748337 CPUtime=0 cores=0-7 /proc/16771/task/16789/stat : 16789 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463538 8616062976 30092 33554432000 4194304 4196468 140730829712368 140406641650400 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16790] ppid=16745 vsize=8414124 memory=1448 CPUtime=0 cores=0-7 /proc/16771/task/16790/stat : 16790 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463539 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408109624240 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16792] ppid=16745 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/16771/task/16792/stat : 16792 (java) S 16745 16745 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 30092 33554432000 4194304 4196468 140730829712368 140408453830336 140409155850009 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16794] ppid=16745 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/16771/task/16794/stat : 16794 (java) S 16745 16745 14480 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 30092 33554432000 4194304 4196468 140730829712368 140405970550064 140409155847325 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16795] ppid=16745 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/16771/task/16795/stat : 16795 (java) S 16745 16745 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 30092 33554432000 4194304 4196468 140730829712368 140406238985648 140409155847325 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16796] ppid=16745 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/16771/task/16796/stat : 16796 (java) S 16745 16745 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420463610 8616062976 30092 33554432000 4194304 4196468 140730829712368 140405702122672 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 Current children cumulated CPU time: 143.84 s Current children cumulated vsize: 13181308 KiB Current children cumulated memory: 4178020 KiB [startup+52.401 s] /proc/loadavg: 3.54 5.42 7.12 2/218 16804 /proc/meminfo: memFree=21493648/32770624 swapFree=67002168/67108860 [pid=16745] ppid=16742 vsize=113128 memory=1476 CPUtime=44.08 cores=0-7 /proc/16745/stat : 16745 (scop.sh) S 16742 16745 14480 0 -1 4202496 583 42373 0 0 0 0 4165 243 20 0 1 0 420460188 115843072 369 33554432000 4194304 5098028 140725981886048 140725981882792 140605637517948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34369536 140725981893412 140725981893740 140725981893740 140725981896653 0 /proc/16745/statm: 28282 369 311 221 0 87 0 [pid=16771] ppid=16745 vsize=8414124 memory=136852 CPUtime=1.47 cores=0-7 /proc/16771/stat : 16771 (java) S 16745 16745 14480 0 -1 1077944320 24053 0 0 0 137 10 0 0 20 0 24 0 420463532 8616062976 34213 33554432000 4194304 4196468 140730829712368 140730829694912 140409155825399 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 /proc/16771/statm: 2103531 34213 3221 1 0 2064875 0 [pid=16791] ppid=16771 vsize=4621736 memory=4056720 CPUtime=98.83 cores=0-7 /proc/16791/stat : 16791 (manyglucose-4.1) R 16771 16745 14480 0 -1 4202496 2049226 0 0 0 9380 503 0 0 20 0 1 0 420463608 4732657664 1014180 33554432000 4194304 4454172 140722547322144 140722547318864 140641727376509 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 25653248 140722547327849 140722547328048 140722547328048 140722547331002 0 /proc/16791/statm: 1155434 1014180 418 64 0 1151102 0 [pid=16771/tid=16772] ppid=16745 vsize=8414124 memory=-7737605734073691286 CPUtime=0.78 cores=0-7 /proc/16771/task/16772/stat : 16772 (java) S 16745 16745 14480 0 -1 1077944384 17831 0 0 0 72 6 0 0 20 0 24 0 420463532 8616062976 34213 33554432000 4194304 4196468 140730829712368 140409127665568 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16773] ppid=16745 vsize=8414124 memory=6944613755395144096 CPUtime=0 cores=0-7 /proc/16771/task/16773/stat : 16773 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140409160067856 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16774] ppid=16745 vsize=8414124 memory=6944656425123094137 CPUtime=0 cores=0-7 /proc/16771/task/16774/stat : 16774 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408640613264 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16775] ppid=16745 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/16771/task/16775/stat : 16775 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408639560720 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16776] ppid=16745 vsize=8414124 memory=120368 CPUtime=0 cores=0-7 /proc/16771/task/16776/stat : 16776 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408638508176 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16777] ppid=16745 vsize=8414124 memory=3997740 CPUtime=0 cores=0-7 /proc/16771/task/16777/stat : 16777 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408637454608 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16778] ppid=16745 vsize=8414124 memory=120368 CPUtime=0 cores=0-7 /proc/16771/task/16778/stat : 16778 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408636402064 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16779] ppid=16745 vsize=8414124 memory=4048164 CPUtime=0 cores=0-7 /proc/16771/task/16779/stat : 16779 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408635349520 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16780] ppid=16745 vsize=8414124 memory=279558213737024 CPUtime=0 cores=0-7 /proc/16771/task/16780/stat : 16780 (java) S 16745 16745 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420463533 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408634296976 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16781] ppid=16745 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/16771/task/16781/stat : 16781 (java) S 16745 16745 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420463535 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408114887152 140409155836546 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16782] ppid=16745 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16771/task/16782/stat : 16782 (java) S 16745 16745 14480 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420463535 8616062976 34213 33554432000 4194304 4196468 140730829712368 140407782499744 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16783] ppid=16745 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/16771/task/16783/stat : 16783 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463536 8616062976 34213 33554432000 4194304 4196468 140730829712368 140407514064368 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16784] ppid=16745 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/16771/task/16784/stat : 16784 (java) S 16745 16745 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420463538 8616062976 34213 33554432000 4194304 4196468 140730829712368 140407139556048 140409155843995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16785] ppid=16745 vsize=8414124 memory=6656426216303648864 CPUtime=0.06 cores=0-7 /proc/16771/task/16785/stat : 16785 (java) S 16745 16745 14480 0 -1 1077944384 727 0 0 0 6 0 0 0 20 0 24 0 420463538 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408113833968 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16786] ppid=16745 vsize=8414124 memory=288284497873732157 CPUtime=0.09 cores=0-7 /proc/16771/task/16786/stat : 16786 (java) S 16745 16745 14480 0 -1 1077944384 342 0 0 0 9 0 0 0 20 0 24 0 420463538 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408112781424 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16787] ppid=16745 vsize=8414124 memory=4277405227897073696 CPUtime=0.18 cores=0-7 /proc/16771/task/16787/stat : 16787 (java) S 16745 16745 14480 0 -1 1077944384 701 0 0 0 18 0 0 0 20 0 24 0 420463538 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408111728880 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16788] ppid=16745 vsize=8414124 memory=6944656592387989600 CPUtime=0.25 cores=0-7 /proc/16771/task/16788/stat : 16788 (java) S 16745 16745 14480 0 -1 1077944384 1362 0 0 0 24 1 0 0 20 0 24 0 420463538 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408110676336 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16789] ppid=16745 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/16771/task/16789/stat : 16789 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463538 8616062976 34213 33554432000 4194304 4196468 140730829712368 140406641650400 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16790] ppid=16745 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/16771/task/16790/stat : 16790 (java) S 16745 16745 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420463539 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408109624240 140409155836546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16792] ppid=16745 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/16771/task/16792/stat : 16792 (java) S 16745 16745 14480 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 34213 33554432000 4194304 4196468 140730829712368 140408453830336 140409155850009 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16794] ppid=16745 vsize=8414124 memory=6944656592455359580 CPUtime=0.05 cores=0-7 /proc/16771/task/16794/stat : 16794 (java) S 16745 16745 14480 0 -1 4202560 1697 0 0 0 4 1 0 0 20 0 24 0 420463608 8616062976 34213 33554432000 4194304 4196468 140730829712368 140405970550096 140409155847325 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16795] ppid=16745 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/16771/task/16795/stat : 16795 (java) S 16745 16745 14480 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420463608 8616062976 34213 33554432000 4194304 4196468 140730829712368 140406238985648 140409155847325 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 [pid=16771/tid=16796] ppid=16745 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/16771/task/16796/stat : 16796 (java) S 16745 16745 14480 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420463610 8616062976 34213 33554432000 4194304 4196468 140730829712368 140405702122672 140409155835605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34824192 140730829714423 140730829714582 140730829714582 140730829717455 0 Current children cumulated CPU time: 144.38 s Current children cumulated vsize: 13148988 KiB Current children cumulated memory: 4195048 KiB [startup+52.801 s] /proc/loadavg: 3.54 5.42 7.12 2/218 16804 /proc/meminfo: memFree=21493648/32770624 swapFree=67002168/67108860 [pid=16745] ppid=16742 vsize=113128 memory=1476 CPUtime=44.08 cores=0-7 /proc/16745/stat : 16745 (scop.sh) S 16742 16745 14480 0 -1 4202496 583 42373 0 0 0 0 4165 243 20 0 1 0 420460188 115843072 369 33554432000 4194304 5098028 140725981886048 140725981882792 140605637517948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34369536 140725981893412 140725981893740 140725981893740 140725981896653 0 /proc/16745/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 44.08 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 52.8055 CPU time (s): 145.343 CPU user time (s): 137.528 CPU system time (s): 7.81558 CPU usage (%): 275.243 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 6065804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 137.528 system time used= 7.81558 maximum resident set size= 6064728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2117164 page faults= 0 swaps= 0 block input operations= 0 block output operations= 334888 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69050 involuntary context switches= 828 # summary of solver processes directly reported to runsolver: # pid: 16745 # total CPU time (s): 145.343 # total CPU user time (s): 137.528 # total CPU system time (s): 7.81558 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.410152 second user time and 0.642359 second system time The end
Begin job on node136 at 2019-09-14 08:21:11 IDJOB=4392673 IDBENCH=138480 IDSOLVER=2839 FILE ID=node136/4392673-1568442115 RUNJOBID= node136-1568439334-14507 PBS_JOBID= 21702333 Free space on /tmp= 61168 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-13.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-4392673-1568442115/watcher-4392673-1568442115 -o /tmp/evaluation-result-4392673-1568442115/solver-4392673-1568442115 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --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-4392673-1568442115.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 388994c608323cc5ca888624a3c66f06 RANDOM SEED=1705369141 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25833612 kB MemAvailable: 31890884 kB Buffers: 86560 kB Cached: 6247132 kB SwapCached: 3100 kB Active: 2034016 kB Inactive: 4306004 kB Active(anon): 4992 kB Inactive(anon): 42124 kB Active(file): 2029024 kB Inactive(file): 4263880 kB Unevictable: 107800 kB Mlocked: 107800 kB SwapTotal: 67108860 kB SwapFree: 67002168 kB Dirty: 20772 kB Writeback: 24 kB AnonPages: 113436 kB Mapped: 43928 kB Shmem: 31940 kB Slab: 190052 kB SReclaimable: 160404 kB SUnreclaim: 29648 kB KernelStack: 3392 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61148 MiB End job on node136 at 2019-09-14 08:22:04