Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 274.9 | 67.8944 |
Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-16.xml |
MD5SUM | 60f46a78fc335bdeaa2bda0ed3237a46 |
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 | 51.8952 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 450 |
Number of constraints | 5580 |
Number of domains | 93 |
Minimum domain size | 1211 |
Maximum domain size | 1309 |
Distribution of domain sizes | [{"size":1211,"count":6},{"size":1212,"count":2},{"size":1213,"count":4},{"size":1214,"count":4},{"size":1215,"count":4},{"size":1216,"count":2},{"size":1217,"count":12},{"size":1218,"count":8},{"size":1219,"count":6},{"size":1220,"count":4},{"size":1221,"count":2},{"size":1222,"count":4},{"size":1223,"count":6},{"size":1225,"count":4},{"size":1226,"count":2},{"size":1227,"count":4},{"size":1228,"count":2},{"size":1229,"count":6},{"size":1230,"count":8},{"size":1231,"count":10},{"size":1232,"count":4},{"size":1233,"count":2},{"size":1234,"count":6},{"size":1235,"count":2},{"size":1236,"count":4},"...",{"size":1283,"count":10}, {"size":1284,"count":4}, {"size":1285,"count":4}, {"size":1286,"count":6}, {"size":1287,"count":10}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":4}, {"size":1291,"count":2}, {"size":1292,"count":2}, {"size":1294,"count":8}, {"size":1295,"count":2}, {"size":1297,"count":4}, {"size":1298,"count":4}, {"size":1299,"count":4}, {"size":1300,"count":6}, {"size":1301,"count":2}, {"size":1302,"count":4}, {"size":1303,"count":4}, {"size":1304,"count":8}, {"size":1305,"count":10}, {"size":1306,"count":6}, {"size":1307,"count":4}, {"size":1308,"count":6}, {"size":1309,"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-10034-serial-file.bin HOME/instance-4405639-1569357872.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Tue Sep 24 22:43:49 CEST 2019 0.65/0.56 c PID: 10037 0.65/0.56 c IP: 172.20.3.141 0.65/0.56 c HOST: node141.alineos.net 0.65/0.57 c (0,0) Parsing Begin 6.00/1.92 c (1,1) Parsing End 6.00/1.93 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1309 6.00/1.93 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 6.00/1.93 c (1,1) Constraint Name Generate Begin 6.00/1.99 c (1,1) Ctr:HOME/instance-4405639-1569357872.xml,Add:Le:Ne:Num:Or:Var 6.00/1.99 c (1,1) Constraint Name Generate End 6.00/1.99 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.00/1.99 c (1,1) CSP to CSPinCNF Begin 7.16/2.26 c (1,1) translated 558 (10%) constraints 7.54/2.32 c (1,1) translated 1116 (20%) constraints 7.54/2.37 c (1,1) translated 1674 (30%) constraints 7.92/2.41 c (1,1) translated 2232 (40%) constraints 7.92/2.45 c (1,1) translated 2790 (50%) constraints 7.92/2.49 c (1,1) translated 3348 (60%) constraints 8.32/2.52 c (1,1) translated 3906 (70%) constraints 8.32/2.56 c (2,2) translated 4464 (80%) constraints 8.32/2.59 c (2,2) translated 5022 (90%) constraints 8.73/2.61 c (2,2) translated 5580 (100%) constraints 8.73/2.61 c (2,2) =========================================== 8.73/2.64 c (2,2) Hybrid: #OE=450, #LE=0 8.73/2.64 c (2,2) Hybrid 8.73/2.64 c (2,2) =========================================== 8.73/2.68 c (2,2) translated 558 (10%) constraints 9.14/2.70 c (2,2) translated 1116 (20%) constraints 9.14/2.72 c (2,2) translated 1674 (30%) constraints 9.36/2.86 c (2,2) translated 2232 (40%) constraints 9.36/2.86 c (2,2) translated 2790 (50%) constraints 9.36/2.86 c (2,2) translated 3348 (60%) constraints 9.36/2.86 c (2,2) translated 3906 (70%) constraints 9.36/2.86 c (2,2) translated 4464 (80%) constraints 9.36/2.86 c (2,2) translated 5022 (90%) constraints 9.36/2.86 c (2,2) translated 5580 (100%) constraints 9.36/2.86 c (2,2) CSP to CSPinCNF End 9.36/2.86 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272 9.36/2.86 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.36/2.86 c (2,2) CSPinCNF Propagation Begin 9.73/2.91 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.73/2.91 c (2,2) CSPinCNF Propagation End 9.73/2.91 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272 9.73/2.91 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.73/2.94 c (2,2) Hybrid: #OE=450, #LE=0 9.73/2.94 c (2,2) Simplify CSPinCNF Begin 10.78/3.20 c (2,2) Simplify CSPinCNF End 10.78/3.20 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272 10.78/3.20 c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.78/3.20 c (2,2) Calculate Precise Domain Begin 10.78/3.21 c (2,2) 0 values are removed by re-calculation 10.78/3.21 c (2,2) Calculate Precise Domain End 10.78/3.21 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272 10.78/3.21 c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.78/3.21 c (2,2) CSPinCNF to SatSolver Begin 16.48/6.86 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1058401 SAT clauses) 19.63/9.57 c (9,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1714558 SAT clauses) 22.16/12.02 c (11,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2391184 SAT clauses) 24.65/14.53 c (13,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3079265 SAT clauses) 27.69/17.28 c (16,16) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3765099 SAT clauses) 30.38/20.16 c (19,19) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4461403 SAT clauses) 32.65/22.28 c (21,21) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 5041294 SAT clauses) 35.28/24.84 c (24,23) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5703695 SAT clauses) 38.13/27.59 c (27,26) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6398071 SAT clauses) 40.78/30.46 c (29,29) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7395776 SAT clauses) 40.78/30.47 c (29,29) CSPinCNF to SatSolver End 40.78/30.47 c (29,29) Heap : 2943 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 40.78/30.47 c (29,29) 377286 bool, 7396275 clause 40.78/30.47 c (29,29) Export Begin 40.90/30.58 c (30,29) Export to HOME/scop-10034-serial-file.bin 40.90/30.58 c (30,29) Export End 40.90/30.58 c (30,29) Export File Size: 0.07 MB 40.90/30.58 c (30,29) 1,1,2,2,2,2,29,STOP-AFTER(DIMACS) 40.90/30.58 c END-Prog: Tue Sep 24 22:44:20 CEST 2019 0.00/30.64 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10034-serial-file.bin 41.65/31.10 c (0,0) Read Serial File Begin 41.65/31.10 c (0,0) HOME/scop-10034-serial-file.bin 42.12/31.33 c (0,0) Read Serial File End 42.12/31.35 42.12/31.35 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 42.12/31.35 (Solving Process) 42.12/31.35 42.12/31.37 c BEGIN-Prog: Tue Sep 24 22:44:20 CEST 2019 42.12/31.37 c PID: 10057 42.12/31.37 c IP: 172.20.3.141 42.12/31.37 c HOST: node141.alineos.net 42.12/31.37 c (0,0) SatSolver.solve Begin 42.12/31.37 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405639-1569357872.xml-scop-10037.cnf 42.32/31.40 c (0,0) c 42.32/31.40 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) 42.32/31.40 c (0,0) c 42.32/31.40 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 42.32/31.40 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 42.32/31.40 c (0,0) c ========================================[ Problem Statistics ]=========================================== 42.32/31.40 c (0,0) c | | 45.24/34.27 c (3,0) c | Number of variables: 377286 | 45.24/34.27 c (3,0) c | Number of clauses: 7276869 | 45.24/34.27 c (3,0) c | Parse time: 2.60 s | 45.24/34.27 c (3,0) c | | 45.75/34.74 c (3,0) c | Too many clauses... No preprocessing | 45.75/34.74 c (3,0) c | Simplification time: 0.42 s | 45.75/34.74 c (3,0) c | | 45.75/34.74 c (3,0) c | Generating clones | 47.54/36.55 c (5,0) c | all clones generated. Memory = 3844.91Mb. | 47.54/36.55 c (5,0) c ========================================================================================================| 47.54/36.55 c (5,0) c 47.54/36.55 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 47.54/36.55 c (5,0) c 47.54/36.55 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 47.54/36.55 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 47.54/36.55 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 47.54/36.55 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 47.54/36.55 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 47.54/36.55 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 47.54/36.55 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 47.54/36.55 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 47.54/36.55 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 47.54/36.55 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 47.54/36.55 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 47.54/36.55 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 47.54/36.55 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 47.54/36.55 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 47.54/36.55 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 47.54/36.55 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 47.54/36.55 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 47.54/36.55 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 47.54/36.55 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c 273.70/67.41 c (36,0) c real time : 36.0138 s 273.70/67.41 c (36,0) c cpu time : 225.593 s 273.70/67.41 c (36,0) c 273.70/67.41 c (36,0) c 273.70/67.41 c (36,0) c 273.70/67.41 c (36,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 273.70/67.41 c (36,0) c 273.70/67.41 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 273.70/67.41 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c | Conflicts | 29602 | 3678 | 3634 | 3733 | 3284 | 4055 | 3557 | 3827 | 3834 | 273.70/67.41 c (36,0) c | Decisions | 85251 | 10384 | 8676 | 15301 | 7548 | 12404 | 9003 | 8335 | 13600 | 273.70/67.41 c (36,0) c | Propagations | 375164872 | 46706319 | 46756872 | 49442838 | 45892636 | 46960578 | 46730412 | 45055955 | 47619262 | 273.70/67.41 c (36,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 273.70/67.41 c (36,0) c | SimpDBs | 23 | 3 | 3 | 3 | 3 | 2 | 3 | 3 | 3 | 273.70/67.41 c (36,0) c | Restarts | 98 | 7 | 15 | 22 | 10 | 9 | 12 | 6 | 17 | 273.70/67.41 c (36,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 273.70/67.41 c (36,0) c | PropBinClauses| 1208824347 | 150553043 | 152278239 | 153958591 | 151403604 | 150067953 | 150349544 | 148208522 | 152004851 | 273.70/67.41 c (36,0) c | PropPreBlocker| 7150305748 | 888725763 | 885350443 | 888177683 | 893366121 | 909015818 | 891768430 | 899598479 | 894303011 | 273.70/67.41 c (36,0) c | PropNotBlocker| 705200010 | 87851134 | 89446548 | 90642595 | 89034246 | 86955025 | 91829143 | 83096362 | 86344957 | 273.70/67.41 c (36,0) c | LitFullScans | 9482051876 | 1180599427 | 1180952336 | 1185822785 | 1186846282 | 1186795060 | 1187282332 | 1187088827 | 1186664827 | 273.70/67.41 c (36,0) c | LitScanFracts | 978908 | 110040 | 119425 | 136911 | 132918 | 85260 | 113629 | 141146 | 139579 | 273.70/67.41 c (36,0) c | DecisionLevel0| 230 | 19 | 35 | 42 | 19 | 25 | 30 | 13 | 47 | 273.70/67.41 c (36,0) c | Periods | 1573 | 196 | 196 | 196 | 197 | 197 | 197 | 197 | 197 | 273.70/67.41 c (36,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 273.70/67.41 c (36,0) c | Avg_Trail | | 291041 | 287393 | 293232 | 283343 | 294071 | 289297 | 301110 | 295852 | 273.70/67.41 c (36,0) c | Avg_DL | | 49 | 34 | 51 | 40 | 50 | 41 | 50 | 47 | 273.70/67.41 c (36,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 273.70/67.41 c (36,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 273.70/67.41 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c | Exported | 2369 | 366 | 239 | 376 | 201 | 368 | 283 | 173 | 363 | 273.70/67.41 c (36,0) c | Imported | 13223 | 1673 | 1597 | 1671 | 1846 | 1245 | 1722 | 1748 | 1721 | 273.70/67.41 c (36,0) c | Good | 335 | 38 | 33 | 44 | 48 | 33 | 48 | 45 | 46 | 273.70/67.41 c (36,0) c | Purge | 12888 | 1635 | 1564 | 1627 | 1798 | 1212 | 1674 | 1703 | 1675 | 273.70/67.41 c (36,0) c | Promoted | 341 | 55 | 28 | 49 | 33 | 44 | 58 | 35 | 39 | 273.70/67.41 c (36,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 273.70/67.41 c (36,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 273.70/67.41 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c | Unaries | | 12 | 20 | 20 | 9 | 16 | 18 | 7 | 30 | 273.70/67.41 c (36,0) c | Binaries | | 17 | 8 | 9 | 5 | 6 | 5 | 3 | 14 | 273.70/67.41 c (36,0) c | Glues | | 366 | 239 | 376 | 201 | 368 | 283 | 173 | 363 | 273.70/67.41 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c | Orig_Seen | 1 % | 85214 | 82666 | 85395 | 75571 | 78822 | 78555 | 82243 | 79689 | 273.70/67.41 c (36,0) c | Diff Orig seen| | - 181 | - 2729 | X | - 9824 | - 6573 | - 6840 | - 3152 | - 5706 | 273.70/67.41 c (36,0) c | Hamming | 13 % | 57415 | 55770 | X | 50981 | 60878 | 43630 | 45084 | 52892 | 273.70/67.41 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c | RunningTime | | 29.9 100%| 30.8 100%| 28.4 99%| 27.8 97%| 27.4 96%| 28.0 98%| 27.8 97%| 28.2 99%| 273.70/67.41 c (36,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.2 1%| 0.8 3%| 1.2 4%| 0.7 2%| 0.8 3%| 0.4 1%| 273.70/67.41 c (36,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%| 273.70/67.41 c (36,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%| 273.70/67.41 c (36,0) c | SolvingTime | | 29.9 | 30.8 | 28.6 | 28.6 | 28.7 | 28.7 | 28.6 | 28.6 | 273.70/67.41 c (36,0) c | PropagationTim| | 27.8 93%| 28.7 93%| 26.5 93%| 26.4 92%| 26.3 92%| 26.4 92%| 26.4 92%| 26.5 93%| 273.70/67.41 c (36,0) c | AnalysisTime | | 0.4 1%| 0.4 1%| 0.4 1%| 0.4 1%| 0.4 2%| 0.4 1%| 0.5 2%| 0.4 1%| 273.70/67.41 c (36,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%| 273.70/67.41 c (36,0) c | SimplifyTime | | 1.2 4%| 1.1 4%| 1.1 4%| 1.2 4%| 1.2 4%| 1.3 4%| 1.1 4%| 1.1 4%| 273.70/67.41 c (36,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%| 273.70/67.41 c (36,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%| 273.70/67.41 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.41 c (36,0) c 273.70/67.41 c (36,0) c 273.70/67.41 c (36,0) c Threads : 8 273.70/67.41 c (36,0) c Winner : 2 273.70/67.41 c (36,0) c Conflicts_0 : 3678 273.70/67.41 c (36,0) c Conflicts_1 : 3634 273.70/67.41 c (36,0) c Conflicts_2 : 3733 273.70/67.41 c (36,0) c Conflicts_3 : 3284 273.70/67.41 c (36,0) c Conflicts_4 : 4055 273.70/67.41 c (36,0) c Conflicts_5 : 3557 273.70/67.41 c (36,0) c Conflicts_6 : 3827 273.70/67.41 c (36,0) c Conflicts_7 : 3834 273.70/67.41 c (36,0) c Conflicts_total : 29602 273.70/67.41 c (36,0) c Conflicts_winner : 3733 273.70/67.41 c (36,0) c Decisions_0 : 10384 273.70/67.41 c (36,0) c Decisions_1 : 8676 273.70/67.41 c (36,0) c Decisions_2 : 15301 273.70/67.41 c (36,0) c Decisions_3 : 7548 273.70/67.41 c (36,0) c Decisions_4 : 12404 273.70/67.41 c (36,0) c Decisions_5 : 9003 273.70/67.41 c (36,0) c Decisions_6 : 8335 273.70/67.41 c (36,0) c Decisions_7 : 13600 273.70/67.41 c (36,0) c Decisions_total : 85251 273.70/67.41 c (36,0) c Decisions_winner : 15301 273.70/67.41 c (36,0) c Propagations_0 : 46706319 273.70/67.41 c (36,0) c Propagations_1 : 46756872 273.70/67.41 c (36,0) c Propagations_2 : 49442838 273.70/67.41 c (36,0) c Propagations_3 : 45892636 273.70/67.42 c (36,0) c Propagations_4 : 46960578 273.70/67.42 c (36,0) c Propagations_5 : 46730412 273.70/67.42 c (36,0) c Propagations_6 : 45055955 273.70/67.42 c (36,0) c Propagations_7 : 47619262 273.70/67.42 c (36,0) c Propagations_total : 375164872 273.70/67.42 c (36,0) c Propagations_winner : 49442838 273.70/67.42 c (36,0) c ReduceDBs_0 : 1 273.70/67.42 c (36,0) c ReduceDBs_1 : 1 273.70/67.42 c (36,0) c ReduceDBs_2 : 1 273.70/67.42 c (36,0) c ReduceDBs_3 : 1 273.70/67.42 c (36,0) c ReduceDBs_4 : 1 273.70/67.42 c (36,0) c ReduceDBs_5 : 1 273.70/67.42 c (36,0) c ReduceDBs_6 : 1 273.70/67.42 c (36,0) c ReduceDBs_7 : 1 273.70/67.42 c (36,0) c ReduceDBs_total : 8 273.70/67.42 c (36,0) c ReduceDBs_winner : 1 273.70/67.42 c (36,0) c SimpDBs_0 : 3 273.70/67.42 c (36,0) c SimpDBs_1 : 3 273.70/67.42 c (36,0) c SimpDBs_2 : 3 273.70/67.42 c (36,0) c SimpDBs_3 : 3 273.70/67.42 c (36,0) c SimpDBs_4 : 2 273.70/67.42 c (36,0) c SimpDBs_5 : 3 273.70/67.42 c (36,0) c SimpDBs_6 : 3 273.70/67.42 c (36,0) c SimpDBs_7 : 3 273.70/67.42 c (36,0) c SimpDBs_total : 23 273.70/67.42 c (36,0) c SimpDBs_winner : 3 273.70/67.42 c (36,0) c Restarts_0 : 7 273.70/67.42 c (36,0) c Restarts_1 : 15 273.70/67.42 c (36,0) c Restarts_2 : 22 273.70/67.42 c (36,0) c Restarts_3 : 10 273.70/67.42 c (36,0) c Restarts_4 : 9 273.70/67.42 c (36,0) c Restarts_5 : 12 273.70/67.42 c (36,0) c Restarts_6 : 6 273.70/67.42 c (36,0) c Restarts_7 : 17 273.70/67.42 c (36,0) c Restarts_total : 98 273.70/67.42 c (36,0) c Restarts_winner : 22 273.70/67.42 c (36,0) c ForcedImports_0 : 0 273.70/67.42 c (36,0) c ForcedImports_1 : 0 273.70/67.42 c (36,0) c ForcedImports_2 : 0 273.70/67.42 c (36,0) c ForcedImports_3 : 0 273.70/67.42 c (36,0) c ForcedImports_4 : 0 273.70/67.42 c (36,0) c ForcedImports_5 : 0 273.70/67.42 c (36,0) c ForcedImports_6 : 0 273.70/67.42 c (36,0) c ForcedImports_7 : 0 273.70/67.42 c (36,0) c ForcedImports_total : 0 273.70/67.42 c (36,0) c ForcedImports_winner : 0 273.70/67.42 c (36,0) c PropsBinClauses_0 : 150553043 273.70/67.42 c (36,0) c PropsBinClauses_1 : 152278239 273.70/67.42 c (36,0) c PropsBinClauses_2 : 153958591 273.70/67.42 c (36,0) c PropsBinClauses_3 : 151403604 273.70/67.42 c (36,0) c PropsBinClauses_4 : 150067953 273.70/67.42 c (36,0) c PropsBinClauses_5 : 150349544 273.70/67.42 c (36,0) c PropsBinClauses_6 : 148208522 273.70/67.42 c (36,0) c PropsBinClauses_7 : 152004851 273.70/67.42 c (36,0) c PropsBinClauses_total : 1208824347 273.70/67.42 c (36,0) c PropsBinClauses_winner : 153958591 273.70/67.42 c (36,0) c PropsPreBlocker_0 : 888725763 273.70/67.42 c (36,0) c PropsPreBlocker_1 : 885350443 273.70/67.42 c (36,0) c PropsPreBlocker_2 : 888177683 273.70/67.42 c (36,0) c PropsPreBlocker_3 : 893366121 273.70/67.42 c (36,0) c PropsPreBlocker_4 : 909015818 273.70/67.42 c (36,0) c PropsPreBlocker_5 : 891768430 273.70/67.42 c (36,0) c PropsPreBlocker_6 : 899598479 273.70/67.42 c (36,0) c PropsPreBlocker_7 : 894303011 273.70/67.42 c (36,0) c PropsPreBlocker_total : 7150305748 273.70/67.42 c (36,0) c PropsPreBlocker_winner : 888177683 273.70/67.42 c (36,0) c PropsNotBlocker_0 : 87851134 273.70/67.42 c (36,0) c PropsNotBlocker_1 : 89446548 273.70/67.42 c (36,0) c PropsNotBlocker_2 : 90642595 273.70/67.42 c (36,0) c PropsNotBlocker_3 : 89034246 273.70/67.42 c (36,0) c PropsNotBlocker_4 : 86955025 273.70/67.42 c (36,0) c PropsNotBlocker_5 : 91829143 273.70/67.42 c (36,0) c PropsNotBlocker_6 : 83096362 273.70/67.42 c (36,0) c PropsNotBlocker_7 : 86344957 273.70/67.42 c (36,0) c PropsNotBlocker_total : 705200010 273.70/67.42 c (36,0) c PropsNotBlocker_winner : 90642595 273.70/67.42 c (36,0) c PropsLitFullScans_0 : 1180599427 273.70/67.42 c (36,0) c PropsLitFullScans_1 : 1180952336 273.70/67.42 c (36,0) c PropsLitFullScans_2 : 1185822785 273.70/67.42 c (36,0) c PropsLitFullScans_3 : 1186846282 273.70/67.42 c (36,0) c PropsLitFullScans_4 : 1186795060 273.70/67.42 c (36,0) c PropsLitFullScans_5 : 1187282332 273.70/67.42 c (36,0) c PropsLitFullScans_6 : 1187088827 273.70/67.42 c (36,0) c PropsLitFullScans_7 : 1186664827 273.70/67.42 c (36,0) c PropsLitFullScans_total : 9482051876 273.70/67.42 c (36,0) c PropsLitFullScans_winner : 1185822785 273.70/67.42 c (36,0) c LitScanFractions_0 : 110040 273.70/67.42 c (36,0) c LitScanFractions_1 : 119425 273.70/67.42 c (36,0) c LitScanFractions_2 : 136911 273.70/67.42 c (36,0) c LitScanFractions_3 : 132918 273.70/67.42 c (36,0) c LitScanFractions_4 : 85260 273.70/67.42 c (36,0) c LitScanFractions_5 : 113629 273.70/67.42 c (36,0) c LitScanFractions_6 : 141146 273.70/67.42 c (36,0) c LitScanFractions_7 : 139579 273.70/67.42 c (36,0) c LitScanFractions_total : 978908 273.70/67.42 c (36,0) c LitScanFractions_winner : 136911 273.70/67.42 c (36,0) c DecisionLevel0_0 : 19 273.70/67.42 c (36,0) c DecisionLevel0_1 : 35 273.70/67.42 c (36,0) c DecisionLevel0_2 : 42 273.70/67.42 c (36,0) c DecisionLevel0_3 : 19 273.70/67.42 c (36,0) c DecisionLevel0_4 : 25 273.70/67.42 c (36,0) c DecisionLevel0_5 : 30 273.70/67.42 c (36,0) c DecisionLevel0_6 : 13 273.70/67.42 c (36,0) c DecisionLevel0_7 : 47 273.70/67.42 c (36,0) c DecisionLevel0_total : 230 273.70/67.42 c (36,0) c DecisionLevel0_winner : 42 273.70/67.42 c (36,0) c Periods_0 : 196 273.70/67.42 c (36,0) c Periods_1 : 196 273.70/67.42 c (36,0) c Periods_2 : 196 273.70/67.42 c (36,0) c Periods_3 : 197 273.70/67.42 c (36,0) c Periods_4 : 197 273.70/67.42 c (36,0) c Periods_5 : 197 273.70/67.42 c (36,0) c Periods_6 : 197 273.70/67.42 c (36,0) c Periods_7 : 197 273.70/67.42 c (36,0) c Periods_total : 1573 273.70/67.42 c (36,0) c Periods_winner : 196 273.70/67.42 c (36,0) c Margin_0 : 20 273.70/67.42 c (36,0) c Margin_1 : 20 273.70/67.42 c (36,0) c Margin_2 : 20 273.70/67.42 c (36,0) c Margin_3 : 20 273.70/67.42 c (36,0) c Margin_4 : 20 273.70/67.42 c (36,0) c Margin_5 : 20 273.70/67.42 c (36,0) c Margin_6 : 20 273.70/67.42 c (36,0) c Margin_7 : 20 273.70/67.42 c (36,0) c Margin_total : 160 273.70/67.42 c (36,0) c Margin_winner : 20 273.70/67.42 c (36,0) c Exported_0 : 366 273.70/67.42 c (36,0) c Exported_1 : 239 273.70/67.42 c (36,0) c Exported_2 : 376 273.70/67.42 c (36,0) c Exported_3 : 201 273.70/67.42 c (36,0) c Exported_4 : 368 273.70/67.42 c (36,0) c Exported_5 : 283 273.70/67.42 c (36,0) c Exported_6 : 173 273.70/67.42 c (36,0) c Exported_7 : 363 273.70/67.42 c (36,0) c Exported_total : 2369 273.70/67.42 c (36,0) c Exported_winner : 376 273.70/67.42 c (36,0) c Imported_0 : 1673 273.70/67.42 c (36,0) c Imported_1 : 1597 273.70/67.42 c (36,0) c Imported_2 : 1671 273.70/67.42 c (36,0) c Imported_3 : 1846 273.70/67.42 c (36,0) c Imported_4 : 1245 273.70/67.42 c (36,0) c Imported_5 : 1722 273.70/67.42 c (36,0) c Imported_6 : 1748 273.70/67.42 c (36,0) c Imported_7 : 1721 273.70/67.42 c (36,0) c Imported_total : 13223 273.70/67.42 c (36,0) c Imported_winner : 1671 273.70/67.42 c (36,0) c Good_0 : 38 273.70/67.42 c (36,0) c Good_1 : 33 273.70/67.42 c (36,0) c Good_2 : 44 273.70/67.42 c (36,0) c Good_3 : 48 273.70/67.42 c (36,0) c Good_4 : 33 273.70/67.42 c (36,0) c Good_5 : 48 273.70/67.42 c (36,0) c Good_6 : 45 273.70/67.42 c (36,0) c Good_7 : 46 273.70/67.42 c (36,0) c Good_total : 335 273.70/67.42 c (36,0) c Good_winner : 44 273.70/67.42 c (36,0) c Purge_0 : 1635 273.70/67.42 c (36,0) c Purge_1 : 1564 273.70/67.42 c (36,0) c Purge_2 : 1627 273.70/67.42 c (36,0) c Purge_3 : 1798 273.70/67.42 c (36,0) c Purge_4 : 1212 273.70/67.42 c (36,0) c Purge_5 : 1674 273.70/67.42 c (36,0) c Purge_6 : 1703 273.70/67.42 c (36,0) c Purge_7 : 1675 273.70/67.42 c (36,0) c Purge_total : 12888 273.70/67.42 c (36,0) c Purge_winner : 1627 273.70/67.42 c (36,0) c Promoted_0 : 55 273.70/67.42 c (36,0) c Promoted_1 : 28 273.70/67.42 c (36,0) c Promoted_2 : 49 273.70/67.42 c (36,0) c Promoted_3 : 33 273.70/67.42 c (36,0) c Promoted_4 : 44 273.70/67.42 c (36,0) c Promoted_5 : 58 273.70/67.42 c (36,0) c Promoted_6 : 35 273.70/67.42 c (36,0) c Promoted_7 : 39 273.70/67.42 c (36,0) c Promoted_total : 341 273.70/67.42 c (36,0) c Promoted_winner : 49 273.70/67.42 c (36,0) c Remove_Imp_0 : 0 273.70/67.42 c (36,0) c Remove_Imp_1 : 0 273.70/67.42 c (36,0) c Remove_Imp_2 : 0 273.70/67.42 c (36,0) c Remove_Imp_3 : 0 273.70/67.42 c (36,0) c Remove_Imp_4 : 0 273.70/67.42 c (36,0) c Remove_Imp_5 : 0 273.70/67.43 c (36,0) c Remove_Imp_6 : 0 273.70/67.43 c (36,0) c Remove_Imp_7 : 0 273.70/67.43 c (36,0) c Remove_Imp_total : 0 273.70/67.43 c (36,0) c Remove_Imp_winner : 0 273.70/67.43 c (36,0) c Blocked_Reuse_0 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_1 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_2 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_3 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_4 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_5 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_6 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_7 : 0 273.70/67.43 c (36,0) c Blocked_Reuse_total : 0 273.70/67.43 c (36,0) c Blocked_Reuse_winner : 0 273.70/67.43 c (36,0) c Unaries_0 : 12 273.70/67.43 c (36,0) c Unaries_1 : 20 273.70/67.43 c (36,0) c Unaries_2 : 20 273.70/67.43 c (36,0) c Unaries_3 : 9 273.70/67.43 c (36,0) c Unaries_4 : 16 273.70/67.43 c (36,0) c Unaries_5 : 18 273.70/67.43 c (36,0) c Unaries_6 : 7 273.70/67.43 c (36,0) c Unaries_7 : 30 273.70/67.43 c (36,0) c Unaries_total : 132 273.70/67.43 c (36,0) c Unaries_winner : 20 273.70/67.43 c (36,0) c Binaries_0 : 17 273.70/67.43 c (36,0) c Binaries_1 : 8 273.70/67.43 c (36,0) c Binaries_2 : 9 273.70/67.43 c (36,0) c Binaries_3 : 5 273.70/67.43 c (36,0) c Binaries_4 : 6 273.70/67.43 c (36,0) c Binaries_5 : 5 273.70/67.43 c (36,0) c Binaries_6 : 3 273.70/67.43 c (36,0) c Binaries_7 : 14 273.70/67.43 c (36,0) c Binaries_total : 67 273.70/67.43 c (36,0) c Binaries_winner : 9 273.70/67.43 c (36,0) c Glues_0 : 366 273.70/67.43 c (36,0) c Glues_1 : 239 273.70/67.43 c (36,0) c Glues_2 : 376 273.70/67.43 c (36,0) c Glues_3 : 201 273.70/67.43 c (36,0) c Glues_4 : 368 273.70/67.43 c (36,0) c Glues_5 : 283 273.70/67.43 c (36,0) c Glues_6 : 173 273.70/67.43 c (36,0) c Glues_7 : 363 273.70/67.43 c (36,0) c Glues_total : 2369 273.70/67.43 c (36,0) c Glues_winner : 376 273.70/67.43 c (36,0) c RunningTime_0 : 29.926159 273.70/67.43 c (36,0) c RunningTime_1 : 30.834547 273.70/67.43 c (36,0) c RunningTime_2 : 28.383727 273.70/67.43 c (36,0) c RunningTime_3 : 27.831544 273.70/67.43 c (36,0) c RunningTime_4 : 27.445353 273.70/67.43 c (36,0) c RunningTime_5 : 27.992670 273.70/67.43 c (36,0) c RunningTime_6 : 27.781985 273.70/67.43 c (36,0) c RunningTime_7 : 28.190621 273.70/67.43 c (36,0) c RunningTime_total : 228.386606 273.70/67.43 c (36,0) c RunningTime_winner : 28.383727 273.70/67.43 c (36,0) c WaitingTime_0 : 0.000357 273.70/67.43 c (36,0) c WaitingTime_1 : 0.000251 273.70/67.43 c (36,0) c WaitingTime_2 : 0.177269 273.70/67.43 c (36,0) c WaitingTime_3 : 0.776279 273.70/67.43 c (36,0) c WaitingTime_4 : 1.210347 273.70/67.43 c (36,0) c WaitingTime_5 : 0.669329 273.70/67.43 c (36,0) c WaitingTime_6 : 0.831345 273.70/67.43 c (36,0) c WaitingTime_7 : 0.413093 273.70/67.43 c (36,0) c WaitingTime_total : 4.078269 273.70/67.43 c (36,0) c WaitingTime_winner : 0.177269 273.70/67.43 c (36,0) c ExchangingTime_0 : 0.004327 273.70/67.43 c (36,0) c ExchangingTime_1 : 0.003752 273.70/67.43 c (36,0) c ExchangingTime_2 : 0.004541 273.70/67.43 c (36,0) c ExchangingTime_3 : 0.003806 273.70/67.43 c (36,0) c ExchangingTime_4 : 0.004415 273.70/67.43 c (36,0) c ExchangingTime_5 : 0.004352 273.70/67.43 c (36,0) c ExchangingTime_6 : 0.003948 273.70/67.43 c (36,0) c ExchangingTime_7 : 0.004356 273.70/67.43 c (36,0) c ExchangingTime_total : 0.033497 273.70/67.43 c (36,0) c ExchangingTime_winner : 0.004541 273.70/67.43 c (36,0) c PeriodProcTime_0 : 0.002244 273.70/67.43 c (36,0) c PeriodProcTime_1 : 0.002772 273.70/67.43 c (36,0) c PeriodProcTime_2 : 0.002157 273.70/67.43 c (36,0) c PeriodProcTime_3 : 0.002331 273.70/67.43 c (36,0) c PeriodProcTime_4 : 0.002394 273.70/67.43 c (36,0) c PeriodProcTime_5 : 0.002229 273.70/67.43 c (36,0) c PeriodProcTime_6 : 0.002300 273.70/67.43 c (36,0) c PeriodProcTime_7 : 0.002377 273.70/67.43 c (36,0) c PeriodProcTime_total : 0.018806 273.70/67.43 c (36,0) c PeriodProcTime_winner : 0.002157 273.70/67.43 c (36,0) c SolvingTime_0 : 29.933087 273.70/67.43 c (36,0) c SolvingTime_1 : 30.841322 273.70/67.43 c (36,0) c SolvingTime_2 : 28.567695 273.70/67.43 c (36,0) c SolvingTime_3 : 28.613960 273.70/67.43 c (36,0) c SolvingTime_4 : 28.662509 273.70/67.43 c (36,0) c SolvingTime_5 : 28.668579 273.70/67.43 c (36,0) c SolvingTime_6 : 28.619578 273.70/67.43 c (36,0) c SolvingTime_7 : 28.610447 273.70/67.43 c (36,0) c SolvingTime_total : 232.517177 273.70/67.43 c (36,0) c SolvingTime_winner : 28.567695 273.70/67.43 c (36,0) c PropagationTime_0 : 27.755559 273.70/67.43 c (36,0) c PropagationTime_1 : 28.727886 273.70/67.43 c (36,0) c PropagationTime_2 : 26.493643 273.70/67.43 c (36,0) c PropagationTime_3 : 26.368796 273.70/67.43 c (36,0) c PropagationTime_4 : 26.349870 273.70/67.43 c (36,0) c PropagationTime_5 : 26.428177 273.70/67.43 c (36,0) c PropagationTime_6 : 26.384258 273.70/67.43 c (36,0) c PropagationTime_7 : 26.543718 273.70/67.43 c (36,0) c PropagationTime_total : 215.051908 273.70/67.43 c (36,0) c PropagationTime_winner : 26.493643 273.70/67.43 c (36,0) c AnalysisTime_0 : 0.414494 273.70/67.43 c (36,0) c AnalysisTime_1 : 0.420323 273.70/67.43 c (36,0) c AnalysisTime_2 : 0.369261 273.70/67.43 c (36,0) c AnalysisTime_3 : 0.419865 273.70/67.43 c (36,0) c AnalysisTime_4 : 0.447850 273.70/67.43 c (36,0) c AnalysisTime_5 : 0.399156 273.70/67.43 c (36,0) c AnalysisTime_6 : 0.509336 273.70/67.43 c (36,0) c AnalysisTime_7 : 0.379278 273.70/67.43 c (36,0) c AnalysisTime_total : 3.359563 273.70/67.43 c (36,0) c AnalysisTime_winner : 0.369261 273.70/67.43 c (36,0) c ReductionTime_0 : 0.000599 273.70/67.43 c (36,0) c ReductionTime_1 : 0.000517 273.70/67.43 c (36,0) c ReductionTime_2 : 0.000482 273.70/67.43 c (36,0) c ReductionTime_3 : 0.000514 273.70/67.43 c (36,0) c ReductionTime_4 : 0.000577 273.70/67.43 c (36,0) c ReductionTime_5 : 0.000496 273.70/67.43 c (36,0) c ReductionTime_6 : 0.000539 273.70/67.43 c (36,0) c ReductionTime_7 : 0.001014 273.70/67.43 c (36,0) c ReductionTime_total : 0.004738 273.70/67.43 c (36,0) c ReductionTime_winner : 0.000482 273.70/67.43 c (36,0) c SimplifyTime_0 : 1.153402 273.70/67.43 c (36,0) c SimplifyTime_1 : 1.107583 273.70/67.43 c (36,0) c SimplifyTime_2 : 1.060166 273.70/67.43 c (36,0) c SimplifyTime_3 : 1.236404 273.70/67.43 c (36,0) c SimplifyTime_4 : 1.234877 273.70/67.43 c (36,0) c SimplifyTime_5 : 1.251029 273.70/67.43 c (36,0) c SimplifyTime_6 : 1.142548 273.70/67.43 c (36,0) c SimplifyTime_7 : 1.072324 273.70/67.43 c (36,0) c SimplifyTime_total : 9.258333 273.70/67.43 c (36,0) c SimplifyTime_winner : 1.060166 273.70/67.43 c (36,0) c UsedRateTime_0 : 0.000000 273.70/67.43 c (36,0) c UsedRateTime_1 : 0.000000 273.70/67.43 c (36,0) c UsedRateTime_2 : 0.000000 273.70/67.43 c (36,0) c UsedRateTime_3 : 0.000000 273.70/67.43 c (36,0) c UsedRateTime_4 : 0.000000 273.70/67.43 c (36,0) c UsedRateTime_5 : 0.000000 273.70/67.43 c (36,0) c UsedRateTime_6 : 0.000000 273.70/67.44 c (36,0) c UsedRateTime_7 : 0.000000 273.70/67.44 c (36,0) c UsedRateTime_total : 0.000000 273.70/67.44 c (36,0) c UsedRateTime_winner : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_0 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_1 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_2 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_3 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_4 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_5 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_6 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_7 : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_total : 0.000000 273.70/67.44 c (36,0) c OverlapRateTime_winner : 0.000000 273.70/67.44 c (36,0) c 273.70/67.44 c (36,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 273.70/67.44 c (36,0) c 273.70/67.44 c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.44 c (36,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 273.70/67.44 c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.44 c (36,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 273.70/67.44 c (36,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 273.70/67.44 c (36,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 273.70/67.44 c (36,0) c | Initial random_seed | 1400603413 | 1446632599 | 1059033440 | 412652526 | 1968600369 | 1266557949 | 1954570108 | 1648350206 | 273.70/67.44 c (36,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 273.70/67.44 c (36,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 273.70/67.44 c (36,0) c | glureduce | True | True | True | True | True | True | True | True | 273.70/67.44 c (36,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 273.70/67.44 c (36,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 273.70/67.44 c (36,0) c | luby_restart | False | False | False | False | False | False | False | False | 273.70/67.44 c (36,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 273.70/67.44 c (36,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 273.70/67.44 c (36,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 273.70/67.44 c (36,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 273.70/67.44 c (36,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 273.70/67.44 c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.70/67.44 c (36,0) 273.70/67.44 c (36,0) s SATISFIABLE 42.98/67.70 c (36,0) SatSolver.solve End 42.98/67.70 c (36,0) Heap : 185 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 42.98/67.70 c (36,0) Show results Begin 274.70/67.84 c (36,0) x0 = 92 274.70/67.84 c (36,0) x1 = 91 274.70/67.84 c (36,0) x10 = 460 274.70/67.84 c (36,0) x100 = 577 274.70/67.84 c (36,0) x101 = 578 274.70/67.84 c (36,0) x102 = 594 274.70/67.84 c (36,0) x103 = 593 274.70/67.84 c (36,0) x104 = 662 274.70/67.84 c (36,0) x105 = 663 274.70/67.84 c (36,0) x106 = 746 274.70/67.84 c (36,0) x107 = 745 274.70/67.84 c (36,0) x108 = 830 274.70/67.84 c (36,0) x109 = 829 274.70/67.84 c (36,0) x11 = 461 274.70/67.84 c (36,0) x110 = 836 274.70/67.84 c (36,0) x111 = 835 274.70/67.84 c (36,0) x112 = 848 274.70/67.84 c (36,0) x113 = 847 274.70/67.84 c (36,0) x114 = 935 274.70/67.84 c (36,0) x115 = 934 274.70/67.84 c (36,0) x116 = 949 274.70/67.84 c (36,0) x117 = 948 274.70/67.84 c (36,0) x118 = 1267 274.70/67.84 c (36,0) x119 = 1266 274.70/67.84 c (36,0) x12 = 495 274.70/67.84 c (36,0) x120 = 1 274.70/67.84 c (36,0) x121 = 0 274.70/67.84 c (36,0) x122 = 134 274.70/67.84 c (36,0) x123 = 133 274.70/67.84 c (36,0) x124 = 232 274.70/67.84 c (36,0) x125 = 231 274.70/67.84 c (36,0) x126 = 279 274.70/67.84 c (36,0) x127 = 278 274.70/67.84 c (36,0) x128 = 320 274.70/67.84 c (36,0) x129 = 321 274.70/67.84 c (36,0) x13 = 494 274.70/67.84 c (36,0) x130 = 414 274.70/67.84 c (36,0) x131 = 413 274.70/67.84 c (36,0) x132 = 692 274.70/67.84 c (36,0) x133 = 691 274.70/67.84 c (36,0) x134 = 811 274.70/67.84 c (36,0) x135 = 812 274.70/67.84 c (36,0) x136 = 822 274.70/67.84 c (36,0) x137 = 821 274.70/67.84 c (36,0) x138 = 866 274.70/67.84 c (36,0) x139 = 865 274.70/67.84 c (36,0) x14 = 667 274.70/67.84 c (36,0) x140 = 931 274.70/67.84 c (36,0) x141 = 932 274.70/67.84 c (36,0) x142 = 963 274.70/67.84 c (36,0) x143 = 962 274.70/67.84 c (36,0) x144 = 1020 274.70/67.84 c (36,0) x145 = 1021 274.70/67.84 c (36,0) x146 = 1140 274.70/67.84 c (36,0) x147 = 1139 274.70/67.84 c (36,0) x148 = 1228 274.70/67.84 c (36,0) x149 = 1227 274.70/67.84 c (36,0) x15 = 668 274.70/67.84 c (36,0) x150 = 10 274.70/67.84 c (36,0) x151 = 11 274.70/67.84 c (36,0) x152 = 88 274.70/67.84 c (36,0) x153 = 89 274.70/67.84 c (36,0) x154 = 246 274.70/67.84 c (36,0) x155 = 247 274.70/67.84 c (36,0) x156 = 339 274.70/67.84 c (36,0) x157 = 340 274.70/67.84 c (36,0) x158 = 500 274.70/67.84 c (36,0) x159 = 499 274.70/67.84 c (36,0) x16 = 739 274.70/67.84 c (36,0) x160 = 567 274.70/67.84 c (36,0) x161 = 566 274.70/67.84 c (36,0) x162 = 802 274.70/67.84 c (36,0) x163 = 803 274.70/67.84 c (36,0) x164 = 870 274.70/67.84 c (36,0) x165 = 871 274.70/67.84 c (36,0) x166 = 959 274.70/67.84 c (36,0) x167 = 958 274.70/67.84 c (36,0) x168 = 1052 274.70/67.84 c (36,0) x169 = 1051 274.70/67.84 c (36,0) x17 = 740 274.70/67.84 c (36,0) x170 = 1080 274.70/67.84 c (36,0) x171 = 1079 274.70/67.84 c (36,0) x172 = 1095 274.70/67.84 c (36,0) x173 = 1094 274.70/67.84 c (36,0) x174 = 1102 274.70/67.84 c (36,0) x175 = 1103 274.70/67.84 c (36,0) x176 = 1229 274.70/67.84 c (36,0) x177 = 1230 274.70/67.84 c (36,0) x178 = 1296 274.70/67.84 c (36,0) x179 = 1295 274.70/67.84 c (36,0) x18 = 758 274.70/67.84 c (36,0) x180 = 164 274.70/67.84 c (36,0) x181 = 165 274.70/67.84 c (36,0) x182 = 419 274.70/67.84 c (36,0) x183 = 420 274.70/67.84 c (36,0) x184 = 453 274.70/67.84 c (36,0) x185 = 454 274.70/67.84 c (36,0) x186 = 609 274.70/67.84 c (36,0) x187 = 608 274.70/67.84 c (36,0) x188 = 685 274.70/67.84 c (36,0) x189 = 686 274.70/67.84 c (36,0) x19 = 759 274.70/67.84 c (36,0) x190 = 779 274.70/67.84 c (36,0) x191 = 778 274.70/67.84 c (36,0) x192 = 849 274.70/67.84 c (36,0) x193 = 848 274.70/67.84 c (36,0) x194 = 947 274.70/67.84 c (36,0) x195 = 946 274.70/67.84 c (36,0) x196 = 1075 274.70/67.84 c (36,0) x197 = 1076 274.70/67.84 c (36,0) x198 = 1088 274.70/67.84 c (36,0) x199 = 1087 274.70/67.84 c (36,0) x2 = 188 274.70/67.84 c (36,0) x20 = 825 274.70/67.84 c (36,0) x200 = 1094 274.70/67.84 c (36,0) x201 = 1093 274.70/67.84 c (36,0) x202 = 1180 274.70/67.84 c (36,0) x203 = 1179 274.70/67.84 c (36,0) x204 = 1222 274.70/67.84 c (36,0) x205 = 1223 274.70/67.84 c (36,0) x206 = 1227 274.70/67.84 c (36,0) x207 = 1226 274.70/67.84 c (36,0) x208 = 1235 274.70/67.84 c (36,0) x209 = 1234 274.70/67.84 c (36,0) x21 = 824 274.70/67.84 c (36,0) x210 = 85 274.70/67.84 c (36,0) x211 = 84 274.70/67.84 c (36,0) x212 = 244 274.70/67.84 c (36,0) x213 = 245 274.70/67.84 c (36,0) x214 = 275 274.70/67.84 c (36,0) x215 = 276 274.70/67.84 c (36,0) x216 = 449 274.70/67.84 c (36,0) x217 = 448 274.70/67.84 c (36,0) x218 = 533 274.70/67.84 c (36,0) x219 = 532 274.70/67.84 c (36,0) x22 = 868 274.70/67.84 c (36,0) x220 = 579 274.70/67.84 c (36,0) x221 = 580 274.70/67.84 c (36,0) x222 = 626 274.70/67.84 c (36,0) x223 = 625 274.70/67.84 c (36,0) x224 = 770 274.70/67.84 c (36,0) x225 = 771 274.70/67.84 c (36,0) x226 = 813 274.70/67.84 c (36,0) x227 = 812 274.70/67.84 c (36,0) x228 = 819 274.70/67.84 c (36,0) x229 = 818 274.70/67.84 c (36,0) x23 = 869 274.70/67.84 c (36,0) x230 = 863 274.70/67.84 c (36,0) x231 = 864 274.70/67.84 c (36,0) x232 = 947 274.70/67.84 c (36,0) x233 = 946 274.70/67.84 c (36,0) x234 = 1041 274.70/67.84 c (36,0) x235 = 1042 274.70/67.84 c (36,0) x236 = 1102 274.70/67.84 c (36,0) x237 = 1101 274.70/67.84 c (36,0) x238 = 1263 274.70/67.84 c (36,0) x239 = 1262 274.70/67.84 c (36,0) x24 = 874 274.70/67.84 c (36,0) x240 = 10 274.70/67.84 c (36,0) x241 = 11 274.70/67.84 c (36,0) x242 = 30 274.70/67.84 c (36,0) x243 = 29 274.70/67.84 c (36,0) x244 = 86 274.70/67.84 c (36,0) x245 = 85 274.70/67.84 c (36,0) x246 = 315 274.70/67.84 c (36,0) x247 = 316 274.70/67.84 c (36,0) x248 = 390 274.70/67.84 c (36,0) x249 = 391 274.70/67.84 c (36,0) x25 = 873 274.70/67.84 c (36,0) x250 = 457 274.70/67.84 c (36,0) x251 = 456 274.70/67.84 c (36,0) x252 = 494 274.70/67.84 c (36,0) x253 = 495 274.70/67.84 c (36,0) x254 = 604 274.70/67.84 c (36,0) x255 = 603 274.70/67.84 c (36,0) x256 = 697 274.70/67.84 c (36,0) x257 = 698 274.70/67.84 c (36,0) x258 = 738 274.70/67.84 c (36,0) x259 = 737 274.70/67.84 c (36,0) x26 = 890 274.70/67.84 c (36,0) x260 = 847 274.70/67.84 c (36,0) x261 = 848 274.70/67.84 c (36,0) x262 = 919 274.70/67.84 c (36,0) x263 = 918 274.70/67.84 c (36,0) x264 = 1019 274.70/67.84 c (36,0) x265 = 1018 274.70/67.84 c (36,0) x266 = 1172 274.70/67.84 c (36,0) x267 = 1173 274.70/67.84 c (36,0) x268 = 1303 274.70/67.84 c (36,0) x269 = 1302 274.70/67.84 c (36,0) x27 = 891 274.70/67.84 c (36,0) x270 = 1 274.70/67.84 c (36,0) x271 = 0 274.70/67.84 c (36,0) x272 = 119 274.70/67.84 c (36,0) x273 = 120 274.70/67.84 c (36,0) x274 = 189 274.70/67.84 c (36,0) x275 = 188 274.70/67.84 c (36,0) x276 = 392 274.70/67.84 c (36,0) x277 = 393 274.70/67.84 c (36,0) x278 = 493 274.70/67.84 c (36,0) x279 = 494 274.70/67.84 c (36,0) x28 = 1016 274.70/67.84 c (36,0) x280 = 500 274.70/67.84 c (36,0) x281 = 499 274.70/67.84 c (36,0) x282 = 537 274.70/67.84 c (36,0) x283 = 538 274.70/67.84 c (36,0) x284 = 602 274.70/67.84 c (36,0) x285 = 601 274.70/67.84 c (36,0) x286 = 738 274.70/67.84 c (36,0) x287 = 768 274.70/67.84 c (36,0) x288 = 982 274.70/67.84 c (36,0) x289 = 981 274.70/67.84 c (36,0) x29 = 1017 274.70/67.84 c (36,0) x290 = 1102 274.70/67.84 c (36,0) x291 = 1103 274.70/67.84 c (36,0) x292 = 1181 274.70/67.84 c (36,0) x293 = 1180 274.70/67.84 c (36,0) x294 = 1218 274.70/67.84 c (36,0) x295 = 1219 274.70/67.84 c (36,0) x296 = 1220 274.70/67.84 c (36,0) x297 = 1221 274.70/67.84 c (36,0) x298 = 1237 274.70/67.84 c (36,0) x299 = 1238 274.70/67.84 c (36,0) x3 = 189 274.70/67.84 c (36,0) x30 = 56 274.70/67.84 c (36,0) x300 = 0 274.70/67.84 c (36,0) x301 = 1 274.70/67.84 c (36,0) x302 = 31 274.70/67.84 c (36,0) x303 = 32 274.70/67.84 c (36,0) x304 = 85 274.70/67.84 c (36,0) x305 = 84 274.70/67.84 c (36,0) x306 = 92 274.70/67.84 c (36,0) x307 = 91 274.70/67.84 c (36,0) x308 = 102 274.70/67.84 c (36,0) x309 = 103 274.70/67.84 c (36,0) x31 = 55 274.70/67.84 c (36,0) x310 = 154 274.70/67.84 c (36,0) x311 = 155 274.70/67.84 c (36,0) x312 = 244 274.70/67.84 c (36,0) x313 = 243 274.70/67.84 c (36,0) x314 = 282 274.70/67.84 c (36,0) x315 = 283 274.70/67.84 c (36,0) x316 = 343 274.70/67.84 c (36,0) x317 = 342 274.70/67.84 c (36,0) x318 = 378 274.70/67.84 c (36,0) x319 = 379 274.70/67.84 c (36,0) x32 = 88 274.70/67.84 c (36,0) x320 = 427 274.70/67.84 c (36,0) x321 = 426 274.70/67.84 c (36,0) x322 = 550 274.70/67.84 c (36,0) x323 = 551 274.70/67.84 c (36,0) x324 = 877 274.70/67.84 c (36,0) x325 = 876 274.70/67.84 c (36,0) x326 = 929 274.70/67.84 c (36,0) x327 = 930 274.70/67.84 c (36,0) x328 = 1041 274.70/67.84 c (36,0) x329 = 1043 274.70/67.84 c (36,0) x33 = 89 274.70/67.84 c (36,0) x330 = 0 274.70/67.84 c (36,0) x331 = 1 274.70/67.84 c (36,0) x332 = 31 274.70/67.84 c (36,0) x333 = 30 274.70/67.84 c (36,0) x334 = 154 274.70/67.84 c (36,0) x335 = 153 274.70/67.84 c (36,0) x336 = 230 274.70/67.84 c (36,0) x337 = 231 274.70/67.84 c (36,0) x338 = 287 274.70/67.84 c (36,0) x339 = 286 274.70/67.84 c (36,0) x34 = 211 274.70/67.84 c (36,0) x340 = 360 274.70/67.84 c (36,0) x341 = 359 274.70/67.84 c (36,0) x342 = 471 274.70/67.85 c (36,0) x343 = 472 274.70/67.85 c (36,0) x344 = 526 274.70/67.85 c (36,0) x345 = 527 274.70/67.85 c (36,0) x346 = 581 274.70/67.85 c (36,0) x347 = 582 274.70/67.85 c (36,0) x348 = 648 274.70/67.85 c (36,0) x349 = 647 274.70/67.85 c (36,0) x35 = 210 274.70/67.85 c (36,0) x350 = 699 274.70/67.85 c (36,0) x351 = 698 274.70/67.85 c (36,0) x352 = 790 274.70/67.85 c (36,0) x353 = 791 274.70/67.85 c (36,0) x354 = 947 274.70/67.85 c (36,0) x355 = 946 274.70/67.85 c (36,0) x356 = 1027 274.70/67.85 c (36,0) x357 = 1028 274.70/67.85 c (36,0) x358 = 1142 274.70/67.85 c (36,0) x359 = 1143 274.70/67.85 c (36,0) x36 = 321 274.70/67.85 c (36,0) x360 = 230 274.70/67.85 c (36,0) x361 = 231 274.70/67.85 c (36,0) x362 = 269 274.70/67.85 c (36,0) x363 = 268 274.70/67.85 c (36,0) x364 = 301 274.70/67.85 c (36,0) x365 = 302 274.70/67.85 c (36,0) x366 = 342 274.70/67.85 c (36,0) x367 = 343 274.70/67.85 c (36,0) x368 = 368 274.70/67.85 c (36,0) x369 = 369 274.70/67.85 c (36,0) x37 = 322 274.70/67.85 c (36,0) x370 = 409 274.70/67.85 c (36,0) x371 = 410 274.70/67.85 c (36,0) x372 = 495 274.70/67.85 c (36,0) x373 = 496 274.70/67.85 c (36,0) x374 = 535 274.70/67.85 c (36,0) x375 = 536 274.70/67.85 c (36,0) x376 = 597 274.70/67.85 c (36,0) x377 = 598 274.70/67.85 c (36,0) x378 = 613 274.70/67.85 c (36,0) x379 = 612 274.70/67.85 c (36,0) x38 = 403 274.70/67.85 c (36,0) x380 = 662 274.70/67.85 c (36,0) x381 = 667 274.70/67.85 c (36,0) x382 = 939 274.70/67.85 c (36,0) x383 = 755 274.70/67.85 c (36,0) x384 = 1004 274.70/67.85 c (36,0) x385 = 1003 274.70/67.85 c (36,0) x386 = 1021 274.70/67.85 c (36,0) x387 = 1020 274.70/67.85 c (36,0) x388 = 1211 274.70/67.85 c (36,0) x389 = 1212 274.70/67.85 c (36,0) x39 = 402 274.70/67.85 c (36,0) x390 = 0 274.70/67.85 c (36,0) x391 = 1 274.70/67.85 c (36,0) x392 = 10 274.70/67.85 c (36,0) x393 = 9 274.70/67.85 c (36,0) x394 = 47 274.70/67.85 c (36,0) x395 = 48 274.70/67.85 c (36,0) x396 = 64 274.70/67.85 c (36,0) x397 = 63 274.70/67.85 c (36,0) x398 = 119 274.70/67.85 c (36,0) x399 = 120 274.70/67.85 c (36,0) x4 = 307 274.70/67.85 c (36,0) x40 = 459 274.70/67.85 c (36,0) x400 = 230 274.70/67.85 c (36,0) x401 = 231 274.70/67.85 c (36,0) x402 = 307 274.70/67.85 c (36,0) x403 = 306 274.70/67.85 c (36,0) x404 = 387 274.70/67.85 c (36,0) x405 = 386 274.70/67.85 c (36,0) x406 = 456 274.70/67.85 c (36,0) x407 = 457 274.70/67.85 c (36,0) x408 = 530 274.70/67.85 c (36,0) x409 = 529 274.70/67.85 c (36,0) x41 = 458 274.70/67.85 c (36,0) x410 = 630 274.70/67.85 c (36,0) x411 = 629 274.70/67.85 c (36,0) x412 = 654 274.70/67.85 c (36,0) x413 = 655 274.70/67.85 c (36,0) x414 = 686 274.70/67.85 c (36,0) x415 = 687 274.70/67.85 c (36,0) x416 = 779 274.70/67.85 c (36,0) x417 = 778 274.70/67.85 c (36,0) x418 = 926 274.70/67.85 c (36,0) x419 = 1286 274.70/67.85 c (36,0) x42 = 538 274.70/67.85 c (36,0) x420 = 22 274.70/67.85 c (36,0) x421 = 21 274.70/67.85 c (36,0) x422 = 103 274.70/67.85 c (36,0) x423 = 102 274.70/67.85 c (36,0) x424 = 179 274.70/67.85 c (36,0) x425 = 178 274.70/67.85 c (36,0) x426 = 256 274.70/67.85 c (36,0) x427 = 255 274.70/67.85 c (36,0) x428 = 314 274.70/67.85 c (36,0) x429 = 315 274.70/67.85 c (36,0) x43 = 537 274.70/67.85 c (36,0) x430 = 427 274.70/67.85 c (36,0) x431 = 426 274.70/67.85 c (36,0) x432 = 504 274.70/67.85 c (36,0) x433 = 505 274.70/67.85 c (36,0) x434 = 553 274.70/67.85 c (36,0) x435 = 552 274.70/67.85 c (36,0) x436 = 585 274.70/67.85 c (36,0) x437 = 584 274.70/67.85 c (36,0) x438 = 654 274.70/67.85 c (36,0) x439 = 653 274.70/67.85 c (36,0) x44 = 604 274.70/67.85 c (36,0) x440 = 801 274.70/67.85 c (36,0) x441 = 802 274.70/67.85 c (36,0) x442 = 903 274.70/67.85 c (36,0) x443 = 902 274.70/67.85 c (36,0) x444 = 927 274.70/67.85 c (36,0) x445 = 928 274.70/67.85 c (36,0) x446 = 1203 274.70/67.85 c (36,0) x447 = 1204 274.70/67.85 c (36,0) x448 = 1259 274.70/67.85 c (36,0) x449 = 1258 274.70/67.85 c (36,0) x45 = 605 274.70/67.85 c (36,0) x46 = 678 274.70/67.85 c (36,0) x47 = 677 274.70/67.85 c (36,0) x48 = 701 274.70/67.85 c (36,0) x49 = 702 274.70/67.85 c (36,0) x5 = 306 274.70/67.85 c (36,0) x50 = 755 274.70/67.85 c (36,0) x51 = 754 274.70/67.85 c (36,0) x52 = 877 274.70/67.85 c (36,0) x53 = 876 274.70/67.85 c (36,0) x54 = 919 274.70/67.85 c (36,0) x55 = 920 274.70/67.85 c (36,0) x56 = 925 274.70/67.85 c (36,0) x57 = 926 274.70/67.85 c (36,0) x58 = 1020 274.70/67.85 c (36,0) x59 = 1021 274.70/67.85 c (36,0) x6 = 393 274.70/67.85 c (36,0) x60 = 0 274.70/67.85 c (36,0) x61 = 1 274.70/67.85 c (36,0) x62 = 180 274.70/67.85 c (36,0) x63 = 179 274.70/67.85 c (36,0) x64 = 273 274.70/67.85 c (36,0) x65 = 274 274.70/67.85 c (36,0) x66 = 337 274.70/67.85 c (36,0) x67 = 336 274.70/67.85 c (36,0) x68 = 416 274.70/67.85 c (36,0) x69 = 417 274.70/67.85 c (36,0) x7 = 394 274.70/67.85 c (36,0) x70 = 427 274.70/67.85 c (36,0) x71 = 426 274.70/67.85 c (36,0) x72 = 502 274.70/67.85 c (36,0) x73 = 501 274.70/67.85 c (36,0) x74 = 598 274.70/67.85 c (36,0) x75 = 599 274.70/67.85 c (36,0) x76 = 761 274.70/67.85 c (36,0) x77 = 760 274.70/67.85 c (36,0) x78 = 785 274.70/67.85 c (36,0) x79 = 786 274.70/67.85 c (36,0) x8 = 420 274.70/67.85 c (36,0) x80 = 812 274.70/67.85 c (36,0) x81 = 813 274.70/67.85 c (36,0) x82 = 821 274.70/67.85 c (36,0) x83 = 820 274.70/67.85 c (36,0) x84 = 1025 274.70/67.85 c (36,0) x85 = 1026 274.70/67.85 c (36,0) x86 = 1073 274.70/67.85 c (36,0) x87 = 1074 274.70/67.85 c (36,0) x88 = 1183 274.70/67.85 c (36,0) x89 = 1184 274.70/67.85 c (36,0) x9 = 421 274.70/67.85 c (36,0) x90 = 0 274.70/67.85 c (36,0) x91 = 1 274.70/67.85 c (36,0) x92 = 170 274.70/67.85 c (36,0) x93 = 169 274.70/67.85 c (36,0) x94 = 322 274.70/67.85 c (36,0) x95 = 321 274.70/67.85 c (36,0) x96 = 479 274.70/67.85 c (36,0) x97 = 478 274.70/67.85 c (36,0) x98 = 523 274.70/67.85 c (36,0) x99 = 522 274.70/67.85 s SATISFIABLE 274.70/67.85 v <instantiation> 274.70/67.85 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> 274.70/67.85 v <values>92 91 188 189 307 306 393 394 420 421 460 461 495 494 667 668 739 740 758 759 825 824 868 869 874 873 890 891 1016 1017 56 55 88 89 211 210 321 322 403 402 459 458 538 537 604 605 678 677 701 702 755 754 877 876 919 920 925 926 1020 1021 0 1 180 179 273 274 337 336 416 417 427 426 502 501 598 599 761 760 785 786 812 813 821 820 1025 1026 1073 1074 1183 1184 0 1 170 169 322 321 479 478 523 522 577 578 594 593 662 663 746 745 830 829 836 835 848 847 935 934 949 948 1267 1266 1 0 134 133 232 231 279 278 320 321 414 413 692 691 811 812 822 821 866 865 931 932 963 962 1020 1021 1140 1139 1228 1227 10 11 88 89 246 247 339 340 500 499 567 566 802 803 870 871 959 958 1052 1051 1080 1079 1095 1094 1102 1103 1229 1230 1296 1295 164 165 419 420 453 454 609 608 685 686 779 778 849 848 947 946 1075 1076 1088 1087 1094 1093 1180 1179 1222 1223 1227 1226 1235 1234 85 84 244 245 275 276 449 448 533 532 579 580 626 625 770 771 813 812 819 818 863 864 947 946 1041 1042 1102 1101 1263 1262 10 11 30 29 86 85 315 316 390 391 457 456 494 495 604 603 697 698 738 737 847 848 919 918 1019 1018 1172 1173 1303 1302 1 0 119 120 189 188 392 393 493 494 500 499 537 538 602 601 738 768 982 981 1102 1103 1181 1180 1218 1219 1220 1221 1237 1238 0 1 31 32 85 84 92 91 102 103 154 155 244 243 282 283 343 342 378 379 427 426 550 551 877 876 929 930 1041 1043 0 1 31 30 154 153 230 231 287 286 360 359 471 472 526 527 581 582 648 647 699 698 790 791 947 946 1027 1028 1142 1143 230 231 269 268 301 302 342 343 368 369 409 410 495 496 535 536 597 598 613 612 662 667 939 755 1004 1003 1021 1020 1211 1212 0 1 10 9 47 48 64 63 119 120 230 231 307 306 387 386 456 457 530 529 630 629 654 655 686 687 779 778 926 1286 22 21 103 102 179 178 256 255 314 315 427 426 504 505 553 552 585 584 654 653 801 802 903 902 927 928 1203 1204 1259 1258</values> 274.70/67.85 v </instantiation> 274.70/67.85 c (36,0) Show results End 274.70/67.85 c (36,0) Heap : 226 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 274.70/67.85 c (36,0) 36,36,STOP-AFTER(ALL) 274.70/67.85 c END-Prog: Tue Sep 24 22:44:57 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 (13086 MiB free) memory of node 1: 16384 MiB (11556 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405639-1569357872/watcher-4405639-1569357872 -o /tmp/evaluation-result-4405639-1569357872/solver-4405639-1569357872 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --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-4405639-1569357872.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10034, runsolver pid=10031 Current StackSize limit: 8192 KiB [startup+0.105564 s]* /proc/loadavg: 5.38 6.93 7.76 4/214 10056 /proc/meminfo: memFree=25140756/32770624 swapFree=66936732/67108860 [pid=10034] ppid=10031 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10034/stat : 10034 (scop.sh) S 10031 10034 9740 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511724959 115843072 349 33554432000 4194304 5098028 140736798801024 140736798798280 140152665342588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35631104 140736798806820 140736798807148 140736798807148 140736798810061 0 /proc/10034/statm: 28282 349 296 221 0 87 0 [pid=10037] ppid=10034 vsize=27314120 memory=107784 CPUtime=0.11 cores=0-7 /proc/10037/stat : 10037 (java) S 10034 10034 9740 0 -1 1077944320 7003 0 0 0 9 2 0 0 20 0 20 0 511724959 27969658880 26946 33554432000 4194304 4196468 140736125280368 140736125262912 140640777948919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 /proc/10037/statm: 6828530 26946 2829 1 0 6790935 0 [pid=10037/tid=10038] ppid=10034 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7 /proc/10037/task/10038/stat : 10038 (java) R 10034 10034 9740 0 -1 4202560 5008 0 0 0 7 2 0 0 20 0 20 0 511724960 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640749763432 140640777970845 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10039] ppid=10034 vsize=27314120 memory=732370819912473573 CPUtime=0 cores=0-7 /proc/10037/task/10039/stat : 10039 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640782191120 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10040] ppid=10034 vsize=27314120 memory=140681575020160 CPUtime=0 cores=0-7 /proc/10037/task/10040/stat : 10040 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640596347536 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10041] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10041/stat : 10041 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640595294480 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10042] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10042/stat : 10042 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640594241936 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10043] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10043/stat : 10043 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640593189904 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10044] ppid=10034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10037/task/10044/stat : 10044 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640592137360 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10045] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10045/stat : 10045 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640591084304 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10046] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10046/stat : 10046 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 27012 33554432000 4194304 4196468 140736125280368 140640590031760 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10047] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10047/stat : 10047 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 27012 33554432000 4194304 4196468 140736125280368 140639298607344 140640777960066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10048] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10048/stat : 10048 (java) S 10034 10034 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 27012 33554432000 4194304 4196468 140736125280368 140638368556192 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10049] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10049/stat : 10049 (java) S 10034 10034 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 27078 33554432000 4194304 4196468 140736125280368 140638234333936 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10050] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10050/stat : 10050 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 27078 33554432000 4194304 4196468 140736125280368 140637859829712 140640777967515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10051] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10051/stat : 10051 (java) S 10034 10034 9740 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 27078 33554432000 4194304 4196468 140736125280368 140639297555184 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10052] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10052/stat : 10052 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 27078 33554432000 4194304 4196468 140736125280368 140639296502640 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10053] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10053/stat : 10053 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 27078 33554432000 4194304 4196468 140736125280368 140639295449584 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10054] ppid=10034 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7 /proc/10037/task/10054/stat : 10054 (java) R 10034 10034 9740 0 -1 4202560 465 0 0 0 1 0 0 0 20 0 20 0 511724967 27969658880 27078 33554432000 4194304 4196468 140736125280368 140639294394216 140640757916038 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10055] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10055/stat : 10055 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 27078 33554432000 4194304 4196468 140736125280368 140637361924576 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10056] ppid=10034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10037/task/10056/stat : 10056 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 27078 33554432000 4194304 4196468 140736125280368 140639293344432 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109180 KiB [startup+0.210802 s]* /proc/loadavg: 5.38 6.93 7.76 2/214 10056 /proc/meminfo: memFree=25123200/32770624 swapFree=66936732/67108860 [pid=10034] ppid=10031 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10034/stat : 10034 (scop.sh) S 10031 10034 9740 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511724959 115843072 349 33554432000 4194304 5098028 140736798801024 140736798798280 140152665342588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35631104 140736798806820 140736798807148 140736798807148 140736798810061 0 /proc/10034/statm: 28282 349 296 221 0 87 0 [pid=10037] ppid=10034 vsize=27314120 memory=121740 CPUtime=0.25 cores=0-7 /proc/10037/stat : 10037 (java) S 10034 10034 9740 0 -1 1077944320 11839 0 0 0 21 4 0 0 20 0 20 0 511724959 27969658880 30435 33554432000 4194304 4196468 140736125280368 140736125262912 140640777948919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 /proc/10037/statm: 6828530 30435 2958 1 0 6790935 0 [pid=10037/tid=10038] ppid=10034 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7 /proc/10037/task/10038/stat : 10038 (java) R 10034 10034 9740 0 -1 4202560 9521 0 0 0 16 3 0 0 20 0 20 0 511724960 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640749771632 140640763114464 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10039] ppid=10034 vsize=27314120 memory=281363027474168 CPUtime=0 cores=0-7 /proc/10037/task/10039/stat : 10039 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640782191120 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10040] ppid=10034 vsize=27314120 memory=140681575020160 CPUtime=0 cores=0-7 /proc/10037/task/10040/stat : 10040 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640596347536 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10041] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10041/stat : 10041 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640595294480 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10042] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10042/stat : 10042 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640594241936 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10043] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10043/stat : 10043 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640593189904 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10044] ppid=10034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10037/task/10044/stat : 10044 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640592137360 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10045] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10045/stat : 10045 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640591084304 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10046] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10046/stat : 10046 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 30435 33554432000 4194304 4196468 140736125280368 140640590031760 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10047] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10047/stat : 10047 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 30435 33554432000 4194304 4196468 140736125280368 140639298607344 140640777960066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10048] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10048/stat : 10048 (java) S 10034 10034 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 30435 33554432000 4194304 4196468 140736125280368 140638368556192 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10049] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10049/stat : 10049 (java) S 10034 10034 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 30435 33554432000 4194304 4196468 140736125280368 140638234333936 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10050] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10050/stat : 10050 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 30435 33554432000 4194304 4196468 140736125280368 140637859829712 140640777967515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10051] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10051/stat : 10051 (java) S 10034 10034 9740 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 30435 33554432000 4194304 4196468 140736125280368 140639297555184 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10052] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10052/stat : 10052 (java) S 10034 10034 9740 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 30435 33554432000 4194304 4196468 140736125280368 140639296502640 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10053] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10053/stat : 10053 (java) S 10034 10034 9740 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 30435 33554432000 4194304 4196468 140736125280368 140639295449584 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10054] ppid=10034 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/10037/task/10054/stat : 10054 (java) S 10034 10034 9740 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 20 0 511724967 27969658880 30435 33554432000 4194304 4196468 140736125280368 140639294397040 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10055] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10055/stat : 10055 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 30435 33554432000 4194304 4196468 140736125280368 140637361924576 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10056] ppid=10034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10037/task/10056/stat : 10056 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 30435 33554432000 4194304 4196468 140736125280368 140639293344432 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 123136 KiB [startup+0.310594 s]* /proc/loadavg: 5.38 6.93 7.76 2/214 10056 /proc/meminfo: memFree=25120160/32770624 swapFree=66936732/67108860 [pid=10034] ppid=10031 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10034/stat : 10034 (scop.sh) S 10031 10034 9740 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511724959 115843072 349 33554432000 4194304 5098028 140736798801024 140736798798280 140152665342588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35631104 140736798806820 140736798807148 140736798807148 140736798810061 0 /proc/10034/statm: 28282 349 296 221 0 87 0 [pid=10037] ppid=10034 vsize=27314120 memory=125436 CPUtime=0.42 cores=0-7 /proc/10037/stat : 10037 (java) S 10034 10034 9740 0 -1 1077944320 12792 0 0 0 38 4 0 0 20 0 20 0 511724959 27969658880 31359 33554432000 4194304 4196468 140736125280368 140736125262912 140640777948919 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 /proc/10037/statm: 6828530 31359 3019 1 0 6790935 0 [pid=10037/tid=10038] ppid=10034 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/10037/task/10038/stat : 10038 (java) R 10034 10034 9740 0 -1 4202560 10291 0 0 0 26 3 0 0 20 0 20 0 511724960 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640749746984 140640759512475 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10039] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10039/stat : 10039 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640782191120 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10040] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10040/stat : 10040 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640596347536 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10041] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10041/stat : 10041 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640595294480 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10042] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10042/stat : 10042 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640594241936 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10043] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10043/stat : 10043 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640593189904 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10044] ppid=10034 vsize=27314120 memory=140681452546735 CPUtime=0 cores=0-7 /proc/10037/task/10044/stat : 10044 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640592137360 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10045] ppid=10034 vsize=27314120 memory=140681452549040 CPUtime=0 cores=0-7 /proc/10037/task/10045/stat : 10045 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640591084304 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10046] ppid=10034 vsize=27314120 memory=140681452551344 CPUtime=0 cores=0-7 /proc/10037/task/10046/stat : 10046 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511724962 27969658880 31359 33554432000 4194304 4196468 140736125280368 140640590031760 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10047] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10047/stat : 10047 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 31359 33554432000 4194304 4196468 140736125280368 140639298607344 140640777960066 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10048] ppid=10034 vsize=27314120 memory=281362905116560 CPUtime=0 cores=0-7 /proc/10037/task/10048/stat : 10048 (java) S 10034 10034 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 31359 33554432000 4194304 4196468 140736125280368 140638368556192 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10049] ppid=10034 vsize=27314120 memory=281362905114256 CPUtime=0 cores=0-7 /proc/10037/task/10049/stat : 10049 (java) S 10034 10034 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511724964 27969658880 31359 33554432000 4194304 4196468 140736125280368 140638234333936 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10050] ppid=10034 vsize=27314120 memory=281362905121168 CPUtime=0 cores=0-7 /proc/10037/task/10050/stat : 10050 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 31359 33554432000 4194304 4196468 140736125280368 140637859829712 140640777967515 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10051] ppid=10034 vsize=27314120 memory=281362905062448 CPUtime=0.01 cores=0-7 /proc/10037/task/10051/stat : 10051 (java) S 10034 10034 9740 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 20 0 511724967 27969658880 31359 33554432000 4194304 4196468 140736125280368 140639297555184 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10052] ppid=10034 vsize=27314120 memory=281362905134992 CPUtime=0.02 cores=0-7 /proc/10037/task/10052/stat : 10052 (java) S 10034 10034 9740 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 20 0 511724967 27969658880 31359 33554432000 4194304 4196468 140736125280368 140639296502640 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10053] ppid=10034 vsize=27314120 memory=281362905141904 CPUtime=0.01 cores=0-7 /proc/10037/task/10053/stat : 10053 (java) R 10034 10034 9740 0 -1 4202560 171 0 0 0 1 0 0 0 20 0 20 0 511724967 27969658880 31359 33554432000 4194304 4196468 140736125280368 140639295449584 140640761475472 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10054] ppid=10034 vsize=27314120 memory=281362905139600 CPUtime=0.07 cores=0-7 /proc/10037/task/10054/stat : 10054 (java) S 10034 10034 9740 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 20 0 511724967 27969658880 31359 33554432000 4194304 4196468 140736125280368 140639294397040 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10055] ppid=10034 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10055/stat : 10055 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 31359 33554432000 4194304 4196468 140736125280368 140637361924576 140640777959125 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10056] ppid=10034 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10037/task/10056/stat : 10056 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724967 27969658880 31359 33554432000 4194304 4196468 140736125280368 140639293344432 140640777960066 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126832 KiB [startup+0.70098 s] /proc/loadavg: 5.38 6.93 7.76 2/214 10056 /proc/meminfo: memFree=25097104/32770624 swapFree=66936732/67108860 [pid=10034] ppid=10031 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10034/stat : 10034 (scop.sh) S 10031 10034 9740 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 511724959 115843072 349 33554432000 4194304 5098028 140736798801024 140736798798280 140152665342588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35631104 140736798806820 140736798807148 140736798807148 140736798810061 0 /proc/10034/statm: 28282 349 296 221 0 87 0 [pid=10037] ppid=10034 vsize=27320392 memory=163300 CPUtime=1 cores=0-7 /proc/10037/stat : 10037 (java) S 10034 10034 9740 0 -1 1077944320 20453 0 0 0 94 6 0 0 20 0 20 0 511724959 27976081408 40825 33554432000 4194304 4196468 140736125280368 140736125262912 140640777948919 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 /proc/10037/statm: 6830098 40825 3174 1 0 6791447 0 [pid=10037/tid=10038] ppid=10034 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/10037/task/10038/stat : 10038 (java) R 10034 10034 9740 0 -1 4202560 17380 0 0 0 62 5 0 0 20 0 20 0 511724960 27976081408 40825 33554432000 4194304 4196468 140736125280368 140640749786208 140640762029406 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10039] ppid=10034 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10039/stat : 10039 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27976081408 40825 33554432000 4194304 4196468 140736125280368 140640782191120 140640777959125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10040] ppid=10034 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10040/stat : 10040 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511724962 27976081408 40825 33554432000 4194304 4196468 140736125280368 140640596347536 140640777959125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 [pid=10037/tid=10041] ppid=10034 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10037/task/10041/stat : 10041 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511724962 27976081408 40825 33554432000 4194304 4196468 140736125280368 140640595294480 140640777959125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140736125285098 140736125285526 140736125285526 140736125288399 0 ################ # More data... # ################ [pid=10057/tid=10060] ppid=10034 vsize=8414124 memory=860 CPUtime=0 cores=0-7 /proc/10057/task/10060/stat : 10060 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453887409296 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10061] ppid=10034 vsize=8414124 memory=1448 CPUtime=0 cores=0-7 /proc/10057/task/10061/stat : 10061 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453540875024 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10062] ppid=10034 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/10057/task/10062/stat : 10062 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453539822480 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10063] ppid=10034 vsize=8414124 memory=-8671798096428298642 CPUtime=0 cores=0-7 /proc/10057/task/10063/stat : 10063 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453538769424 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10064] ppid=10034 vsize=8414124 memory=-7595754389018307680 CPUtime=0 cores=0-7 /proc/10057/task/10064/stat : 10064 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453537716880 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10065] ppid=10034 vsize=8414124 memory=8475934422147845324 CPUtime=0 cores=0-7 /proc/10057/task/10065/stat : 10065 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453536663824 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10066] ppid=10034 vsize=8414124 memory=-7316765473029595040 CPUtime=0 cores=0-7 /proc/10057/task/10066/stat : 10066 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453535611280 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10067] ppid=10034 vsize=8414124 memory=-7966001734536614954 CPUtime=0 cores=0-7 /proc/10057/task/10067/stat : 10067 (java) S 10034 10034 9740 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511728027 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453351181040 140454056360578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10068] ppid=10034 vsize=8414124 memory=-7595754389018307680 CPUtime=0 cores=0-7 /proc/10057/task/10068/stat : 10068 (java) S 10034 10034 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511728027 8616062976 29751 33554432000 4194304 4196468 140729166771856 140452477003424 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10069] ppid=10034 vsize=8414124 memory=-2245088631185882904 CPUtime=0 cores=0-7 /proc/10057/task/10069/stat : 10069 (java) S 10034 10034 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511728028 8616062976 29751 33554432000 4194304 4196468 140729166771856 140452342781168 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10070] ppid=10034 vsize=8414124 memory=6944656592455360569 CPUtime=0 cores=0-7 /proc/10057/task/10070/stat : 10070 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728030 8616062976 29751 33554432000 4194304 4196468 140729166771856 140451968276944 140454056368027 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10071] ppid=10034 vsize=8414124 memory=6944656592455360604 CPUtime=0.04 cores=0-7 /proc/10057/task/10071/stat : 10071 (java) S 10034 10034 9740 0 -1 1077944384 413 0 0 0 4 0 0 0 20 0 24 0 511728030 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453282310384 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10072] ppid=10034 vsize=8414124 memory=1476 CPUtime=0.13 cores=0-7 /proc/10057/task/10072/stat : 10072 (java) S 10034 10034 9740 0 -1 1077944384 552 0 0 0 13 0 0 0 20 0 24 0 511728030 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453281257840 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10073] ppid=10034 vsize=8414124 memory=119004 CPUtime=0.06 cores=0-7 /proc/10057/task/10073/stat : 10073 (java) S 10034 10034 9740 0 -1 1077944384 419 0 0 0 6 0 0 0 20 0 24 0 511728030 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453280204784 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10074] ppid=10034 vsize=8414124 memory=3469340 CPUtime=0.21 cores=0-7 /proc/10057/task/10074/stat : 10074 (java) S 10034 10034 9740 0 -1 1077944384 502 0 0 0 21 0 0 0 20 0 24 0 511728030 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453279152240 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10075] ppid=10034 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/10057/task/10075/stat : 10075 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511728030 8616062976 29751 33554432000 4194304 4196468 140729166771856 140451470371808 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10076] ppid=10034 vsize=8414124 memory=1172 CPUtime=0.01 cores=0-7 /proc/10057/task/10076/stat : 10076 (java) S 10034 10034 9740 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 24 0 511728031 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453278100656 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10078] ppid=10034 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/10057/task/10078/stat : 10078 (java) S 10034 10034 9740 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511728099 8616062976 29751 33554432000 4194304 4196468 140729166771856 140453270623680 140454056374041 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10080] ppid=10034 vsize=8414124 memory=14076 CPUtime=0 cores=0-7 /proc/10057/task/10080/stat : 10080 (java) S 10034 10034 9740 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 511728099 8616062976 29751 33554432000 4194304 4196468 140729166771856 140450799271472 140454056371357 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10081] ppid=10034 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/10057/task/10081/stat : 10081 (java) S 10034 10034 9740 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511728099 8616062976 29751 33554432000 4194304 4196468 140729166771856 140451067707056 140454056371357 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10082] ppid=10034 vsize=8414124 memory=119004 CPUtime=0 cores=0-7 /proc/10057/task/10082/stat : 10082 (java) S 10034 10034 9740 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511728102 8616062976 29751 33554432000 4194304 4196468 140729166771856 140450530843568 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 Current children cumulated CPU time: 273.5 s Current children cumulated vsize: 12566360 KiB Current children cumulated memory: 3589828 KiB [startup+67.6011 s] /proc/loadavg: 5.09 6.41 7.51 2/219 10093 /proc/meminfo: memFree=21483884/32770624 swapFree=66936732/67108860 [pid=10034] ppid=10031 vsize=113128 memory=1476 CPUtime=41.18 cores=0-7 /proc/10034/stat : 10034 (scop.sh) S 10031 10034 9740 0 -1 4202496 582 37714 0 0 0 0 3896 222 20 0 1 0 511724959 115843072 369 33554432000 4194304 5098028 140736798801024 140736798797768 140152665342588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35631104 140736798806820 140736798807148 140736798807148 140736798810061 0 /proc/10034/statm: 28282 369 311 221 0 87 0 [pid=10057] ppid=10034 vsize=8414124 memory=195004 CPUtime=1.62 cores=0-7 /proc/10057/stat : 10057 (java) S 10034 10034 9740 0 -1 1077944320 23864 0 0 0 150 12 0 0 20 0 24 0 511728023 8616062976 48751 33554432000 4194304 4196468 140729166771856 140729166754400 140454056349431 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 /proc/10057/statm: 2103531 48751 3220 1 0 2064875 0 [pid=10057/tid=10058] ppid=10034 vsize=8414124 memory=988 CPUtime=0.78 cores=0-7 /proc/10057/task/10058/stat : 10058 (java) S 10034 10034 9740 0 -1 1077944384 17828 0 0 0 72 6 0 0 20 0 24 0 511728024 8616062976 48751 33554432000 4194304 4196468 140729166771856 140454028189600 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10059] ppid=10034 vsize=8414124 memory=2012 CPUtime=0 cores=0-7 /proc/10057/task/10059/stat : 10059 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140454060592144 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10060] ppid=10034 vsize=8414124 memory=1424 CPUtime=0 cores=0-7 /proc/10057/task/10060/stat : 10060 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453887409296 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10061] ppid=10034 vsize=8414124 memory=1704 CPUtime=0 cores=0-7 /proc/10057/task/10061/stat : 10061 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453540875024 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10062] ppid=10034 vsize=8414124 memory=6184 CPUtime=0 cores=0-7 /proc/10057/task/10062/stat : 10062 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453539822480 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10063] ppid=10034 vsize=8414124 memory=768 CPUtime=0 cores=0-7 /proc/10057/task/10063/stat : 10063 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453538769424 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10064] ppid=10034 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/10057/task/10064/stat : 10064 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453537716880 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10065] ppid=10034 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/10057/task/10065/stat : 10065 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453536663824 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10066] ppid=10034 vsize=8414124 memory=11620 CPUtime=0 cores=0-7 /proc/10057/task/10066/stat : 10066 (java) S 10034 10034 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511728025 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453535611280 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10067] ppid=10034 vsize=8414124 memory=3608 CPUtime=0 cores=0-7 /proc/10057/task/10067/stat : 10067 (java) S 10034 10034 9740 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511728027 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453351181040 140454056360578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10068] ppid=10034 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/10057/task/10068/stat : 10068 (java) S 10034 10034 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511728027 8616062976 48751 33554432000 4194304 4196468 140729166771856 140452477003424 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10069] ppid=10034 vsize=8414124 memory=8324806697085467534 CPUtime=0 cores=0-7 /proc/10057/task/10069/stat : 10069 (java) S 10034 10034 9740 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511728028 8616062976 48751 33554432000 4194304 4196468 140729166771856 140452342781168 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10070] ppid=10034 vsize=8414124 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/10057/task/10070/stat : 10070 (java) S 10034 10034 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511728030 8616062976 48751 33554432000 4194304 4196468 140729166771856 140451968276944 140454056368027 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10071] ppid=10034 vsize=8414124 memory=14699582244260384 CPUtime=0.07 cores=0-7 /proc/10057/task/10071/stat : 10071 (java) R 10034 10034 9740 0 -1 4202560 738 0 0 0 7 0 0 0 20 0 24 0 511728030 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453282310384 140454035847171 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10072] ppid=10034 vsize=8414124 memory=111636 CPUtime=0.19 cores=0-7 /proc/10057/task/10072/stat : 10072 (java) S 10034 10034 9740 0 -1 1077944384 645 0 0 0 19 0 0 0 20 0 24 0 511728030 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453281257840 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10073] ppid=10034 vsize=8414124 memory=800 CPUtime=0.1 cores=0-7 /proc/10057/task/10073/stat : 10073 (java) S 10034 10034 9740 0 -1 1077944384 428 0 0 0 10 0 0 0 20 0 24 0 511728030 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453280204784 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10074] ppid=10034 vsize=8414124 memory=4100 CPUtime=0.26 cores=0-7 /proc/10057/task/10074/stat : 10074 (java) S 10034 10034 9740 0 -1 1077944384 1060 0 0 0 26 0 0 0 20 0 24 0 511728030 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453279152240 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10075] ppid=10034 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/10057/task/10075/stat : 10075 (java) S 10034 10034 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511728030 8616062976 48751 33554432000 4194304 4196468 140729166771856 140451470371808 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10076] ppid=10034 vsize=8414124 memory=916 CPUtime=0.01 cores=0-7 /proc/10057/task/10076/stat : 10076 (java) S 10034 10034 9740 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 24 0 511728031 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453278100656 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10078] ppid=10034 vsize=8414124 memory=281362906012704 CPUtime=0 cores=0-7 /proc/10057/task/10078/stat : 10078 (java) S 10034 10034 9740 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511728099 8616062976 48751 33554432000 4194304 4196468 140729166771856 140453270623680 140454056374041 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10080] ppid=10034 vsize=8414124 memory=6944652177228980320 CPUtime=0.14 cores=0-7 /proc/10057/task/10080/stat : 10080 (java) R 10034 10034 9740 0 -1 4202560 1746 0 0 0 12 2 0 0 20 0 24 0 511728099 8616062976 48751 33554432000 4194304 4196468 140729166771856 140450799271424 140453558938144 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10081] ppid=10034 vsize=8414124 memory=119004 CPUtime=0 cores=0-7 /proc/10057/task/10081/stat : 10081 (java) S 10034 10034 9740 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 511728099 8616062976 48751 33554432000 4194304 4196468 140729166771856 140451067707056 140454056371357 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10082] ppid=10034 vsize=8414124 memory=3467672 CPUtime=0 cores=0-7 /proc/10057/task/10082/stat : 10082 (java) S 10034 10034 9740 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511728102 8616062976 48751 33554432000 4194304 4196468 140729166771856 140450530843568 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 Current children cumulated CPU time: 42.8 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 196480 KiB [startup+67.8016 s] /proc/loadavg: 5.09 6.41 7.51 2/219 10093 /proc/meminfo: memFree=21483884/32770624 swapFree=66936732/67108860 [pid=10034] ppid=10031 vsize=113128 memory=1476 CPUtime=41.18 cores=0-7 /proc/10034/stat : 10034 (scop.sh) S 10031 10034 9740 0 -1 4202496 582 37714 0 0 0 0 3896 222 20 0 1 0 511724959 115843072 369 33554432000 4194304 5098028 140736798801024 140736798797768 140152665342588 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35631104 140736798806820 140736798807148 140736798807148 140736798810061 0 /proc/10034/statm: 28282 369 311 221 0 87 0 [pid=10057] ppid=10034 vsize=8283048 memory=225556 CPUtime=233.52 cores=0-7 /proc/10057/stat : 10057 (java) S 10034 10034 9740 0 -1 1077944320 24350 2800352 0 0 190 13 22567 582 20 0 22 0 511728023 8481841152 56389 33554432000 4194304 4196468 140729166771856 140729166754400 140454056349431 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 /proc/10057/statm: 2070762 56389 3235 1 0 2032106 0 [pid=10057/tid=10058] ppid=10034 vsize=8283048 memory=1476 CPUtime=232.36 cores=0-7 /proc/10057/task/10058/stat : 10058 (java) R 10034 10034 9740 0 -1 4202560 17995 2800352 0 0 81 6 22567 582 20 0 22 0 511728024 8481841152 56389 33554432000 4194304 4196468 140729166771856 140454028186136 140454037188928 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10059] ppid=10034 vsize=8283048 memory=6791534058613427641 CPUtime=231.49 cores=0-7 /proc/10057/task/10059/stat : 10059 (java) S 10034 10034 9740 0 -1 1077944384 2 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140454060592144 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10060] ppid=10034 vsize=8283048 memory=1980 CPUtime=231.49 cores=0-7 /proc/10057/task/10060/stat : 10060 (java) S 10034 10034 9740 0 -1 1077944384 3 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453887409296 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10061] ppid=10034 vsize=8283048 memory=1704 CPUtime=231.49 cores=0-7 /proc/10057/task/10061/stat : 10061 (java) S 10034 10034 9740 0 -1 1077944384 1 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453540875024 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10062] ppid=10034 vsize=8283048 memory=6184 CPUtime=231.49 cores=0-7 /proc/10057/task/10062/stat : 10062 (java) S 10034 10034 9740 0 -1 1077944384 1 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453539822480 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10063] ppid=10034 vsize=8283048 memory=768 CPUtime=231.49 cores=0-7 /proc/10057/task/10063/stat : 10063 (java) S 10034 10034 9740 0 -1 1077944384 2 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453538769424 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10064] ppid=10034 vsize=8283048 memory=780 CPUtime=231.49 cores=0-7 /proc/10057/task/10064/stat : 10064 (java) S 10034 10034 9740 0 -1 1077944384 2 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453537716880 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10065] ppid=10034 vsize=8283048 memory=1056 CPUtime=231.49 cores=0-7 /proc/10057/task/10065/stat : 10065 (java) S 10034 10034 9740 0 -1 1077944384 1 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453536663824 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10066] ppid=10034 vsize=8283048 memory=11620 CPUtime=231.49 cores=0-7 /proc/10057/task/10066/stat : 10066 (java) S 10034 10034 9740 0 -1 1077944384 2 2800352 0 0 0 0 22567 582 20 0 22 0 511728025 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453535611280 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10067] ppid=10034 vsize=8283048 memory=3608 CPUtime=231.49 cores=0-7 /proc/10057/task/10067/stat : 10067 (java) S 10034 10034 9740 0 -1 1077944384 7 2800352 0 0 0 0 22567 582 20 0 22 0 511728027 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453351181040 140454056360578 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10068] ppid=10034 vsize=8283048 memory=2828 CPUtime=231.49 cores=0-7 /proc/10057/task/10068/stat : 10068 (java) S 10034 10034 9740 0 -1 1077944384 13 2800352 0 0 0 0 22567 582 20 0 22 0 511728027 8481841152 56389 33554432000 4194304 4196468 140729166771856 140452477003424 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10069] ppid=10034 vsize=8283048 memory=1000 CPUtime=231.49 cores=0-7 /proc/10057/task/10069/stat : 10069 (java) S 10034 10034 9740 0 -1 1077944384 21 2800352 0 0 0 0 22567 582 20 0 22 0 511728028 8481841152 56389 33554432000 4194304 4196468 140729166771856 140452342781168 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10070] ppid=10034 vsize=8283048 memory=1560 CPUtime=231.49 cores=0-7 /proc/10057/task/10070/stat : 10070 (java) S 10034 10034 9740 0 -1 1077944384 1 2800352 0 0 0 0 22567 582 20 0 22 0 511728030 8481841152 56389 33554432000 4194304 4196468 140729166771856 140451968276944 140454056368027 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10071] ppid=10034 vsize=8283048 memory=1172 CPUtime=231.62 cores=0-7 /proc/10057/task/10071/stat : 10071 (java) S 10034 10034 9740 0 -1 1077944384 756 2800352 0 0 13 0 22567 582 20 0 22 0 511728030 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453282310384 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10072] ppid=10034 vsize=8283048 memory=14008 CPUtime=231.73 cores=0-7 /proc/10057/task/10072/stat : 10072 (java) S 10034 10034 9740 0 -1 1077944384 670 2800352 0 0 24 0 22567 582 20 0 22 0 511728030 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453281257840 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10073] ppid=10034 vsize=8283048 memory=4100 CPUtime=231.67 cores=0-7 /proc/10057/task/10073/stat : 10073 (java) R 10034 10034 9740 0 -1 4202560 478 2800352 0 0 17 1 22567 582 20 0 22 0 511728030 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453280185800 140454034515912 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10074] ppid=10034 vsize=8283048 memory=1804 CPUtime=231.79 cores=0-7 /proc/10057/task/10074/stat : 10074 (java) S 10034 10034 9740 0 -1 1077944384 1142 2800352 0 0 30 0 22567 582 20 0 22 0 511728030 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453279152240 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10075] ppid=10034 vsize=8283048 memory=916 CPUtime=231.49 cores=0-7 /proc/10057/task/10075/stat : 10075 (java) S 10034 10034 9740 0 -1 1077944384 3 2800352 0 0 0 0 22567 582 20 0 22 0 511728030 8481841152 56389 33554432000 4194304 4196468 140729166771856 140451470371808 140454056359637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10076] ppid=10034 vsize=8283048 memory=4148 CPUtime=231.5 cores=0-7 /proc/10057/task/10076/stat : 10076 (java) S 10034 10034 9740 0 -1 1077944384 5 2800352 0 0 1 0 22567 582 20 0 22 0 511728031 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453278100656 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10078] ppid=10034 vsize=8283048 memory=1408 CPUtime=231.49 cores=0-7 /proc/10057/task/10078/stat : 10078 (java) S 10034 10034 9740 0 -1 1077944384 24 2800352 0 0 0 0 22567 582 20 0 22 0 511728099 8481841152 56389 33554432000 4194304 4196468 140729166771856 140453270622864 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 [pid=10057/tid=10082] ppid=10034 vsize=8283048 memory=119004 CPUtime=231.49 cores=0-7 /proc/10057/task/10082/stat : 10082 (java) S 10034 10034 9740 0 -1 1077944384 14 2800352 0 0 0 0 22567 582 20 0 22 0 511728102 8481841152 56389 33554432000 4194304 4196468 140729166771856 140450530845360 140454056360578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13832192 140729166775287 140729166775446 140729166775446 140729166778319 0 Current children cumulated CPU time: 274.7 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 227032 KiB Child status: 0 Real time (s): 67.8944 CPU time (s): 274.9 CPU user time (s): 266.673 CPU system time (s): 8.22737 CPU usage (%): 404.894 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 6059712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 266.673 system time used= 8.22737 maximum resident set size= 6060008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2863352 page faults= 0 swaps= 0 block input operations= 8 block output operations= 339416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 73573 involuntary context switches= 2369 # summary of solver processes directly reported to runsolver: # pid: 10034 # total CPU time (s): 274.9 # total CPU user time (s): 266.673 # total CPU system time (s): 8.22737 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.602586 second user time and 0.82001 second system time The end
Begin job on node141 at 2019-09-24 22:43:49 IDJOB=4405639 IDBENCH=138476 IDSOLVER=2868 FILE ID=node141/4405639-1569357872 RUNJOBID= node141-1569357732-9767 PBS_JOBID= 21705108 Free space on /tmp= 22932 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-16.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-4405639-1569357872/watcher-4405639-1569357872 -o /tmp/evaluation-result-4405639-1569357872/solver-4405639-1569357872 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --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-4405639-1569357872.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 60f46a78fc335bdeaa2bda0ed3237a46 RANDOM SEED=1881173882 node141.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 : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25234972 kB MemAvailable: 31806596 kB Buffers: 105744 kB Cached: 6745084 kB SwapCached: 62120 kB Active: 3386068 kB Inactive: 3532240 kB Active(anon): 4192 kB Inactive(anon): 116756 kB Active(file): 3381876 kB Inactive(file): 3415484 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66936732 kB Dirty: 21288 kB Writeback: 0 kB AnonPages: 45192 kB Mapped: 54696 kB Shmem: 44692 kB Slab: 209492 kB SReclaimable: 180200 kB SUnreclaim: 29292 kB KernelStack: 3760 kB PageTables: 5936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514456 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 22912 MiB End job on node141 at 2019-09-24 22:44:57