Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 278.277 | 68.8173 |
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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8456-serial-file.bin HOME/instance-4392479-1568442037.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Sat Sep 14 08:19:59 CEST 2019 0.66/0.57 c PID: 8459 0.66/0.57 c IP: 172.20.3.123 0.66/0.57 c HOST: node123.alineos.net 0.66/0.57 c (0,0) Parsing Begin 5.69/1.91 c (1,1) Parsing End 5.69/1.92 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1309 5.69/1.92 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.69/1.92 c (1,1) Constraint Name Generate Begin 5.69/1.98 c (1,1) Ctr:HOME/instance-4392479-1568442037.xml,Add:Le:Ne:Num:Or:Var 5.69/1.98 c (1,1) Constraint Name Generate End 5.69/1.98 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 5.69/1.98 c (1,1) CSP to CSPinCNF Begin 7.01/2.24 c (1,1) translated 558 (10%) constraints 7.43/2.30 c (1,1) translated 1116 (20%) constraints 7.43/2.34 c (1,1) translated 1674 (30%) constraints 7.43/2.39 c (1,1) translated 2232 (40%) constraints 7.88/2.44 c (1,1) translated 2790 (50%) constraints 7.88/2.48 c (1,1) translated 3348 (60%) constraints 8.31/2.53 c (1,1) translated 3906 (70%) constraints 8.31/2.57 c (2,2) translated 4464 (80%) constraints 8.72/2.61 c (2,2) translated 5022 (90%) constraints 8.72/2.63 c (2,2) translated 5580 (100%) constraints 8.72/2.63 c (2,2) =========================================== 8.72/2.63 c (2,2) Order 8.72/2.63 c (2,2) =========================================== 8.72/2.67 c (2,2) translated 558 (10%) constraints 9.15/2.70 c (2,2) translated 1116 (20%) constraints 9.15/2.73 c (2,2) translated 1674 (30%) constraints 9.15/2.75 c (2,2) translated 2232 (40%) constraints 9.15/2.78 c (2,2) translated 2790 (50%) constraints 9.55/2.81 c (2,2) translated 3348 (60%) constraints 9.55/2.83 c (2,2) translated 3906 (70%) constraints 9.55/2.85 c (2,2) translated 4464 (80%) constraints 9.55/2.87 c (2,2) translated 5022 (90%) constraints 9.55/2.89 c (2,2) translated 5580 (100%) constraints 9.55/2.89 c (2,2) CSP to CSPinCNF End 9.55/2.89 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272 9.55/2.89 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.55/2.89 c (2,2) CSPinCNF Propagation Begin 9.95/2.97 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.95/2.97 c (2,2) CSPinCNF Propagation End 9.95/2.97 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272 9.95/2.97 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.95/2.98 c (2,2) Simplify CSPinCNF Begin 11.16/3.25 c (2,2) Simplify CSPinCNF End 11.16/3.26 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272 11.16/3.26 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 11.16/3.26 c (2,2) Calculate Precise Domain Begin 11.16/3.26 c (2,2) 0 values are removed by re-calculation 11.16/3.26 c (2,2) Calculate Precise Domain End 11.16/3.26 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272 11.16/3.26 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 11.16/3.26 c (2,2) CSPinCNF to SatSolver Begin 17.71/7.45 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1058401 SAT clauses) 21.06/10.76 c (10,9) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1714558 SAT clauses) 23.70/13.40 c (12,12) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2391184 SAT clauses) 26.39/16.06 c (15,14) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3079265 SAT clauses) 29.45/19.20 c (18,17) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3765099 SAT clauses) 32.21/21.84 c (21,19) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4461403 SAT clauses) 34.63/24.42 c (23,22) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 5041294 SAT clauses) 37.15/26.94 c (26,24) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5703695 SAT clauses) 40.00/29.62 c (29,27) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6398071 SAT clauses) 42.70/32.39 c (31,30) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7395776 SAT clauses) 42.70/32.39 c (31,30) CSPinCNF to SatSolver End 42.70/32.39 c (31,30) Heap : 2951 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 42.70/32.39 c (31,30) 377286 bool, 7396275 clause 42.70/32.39 c (31,30) Export Begin 43.02/32.50 c (31,30) Export to HOME/scop-8456-serial-file.bin 43.02/32.50 c (31,30) Export End 43.02/32.50 c (31,30) Export File Size: 0.07 MB 43.02/32.51 c (31,30) 1,1,2,2,2,2,31,STOP-AFTER(DIMACS) 43.02/32.51 c END-Prog: Sat Sep 14 08:20:31 CEST 2019 43.02/32.55 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8456-serial-file.bin 43.66/33.01 c (0,0) Read Serial File Begin 43.66/33.01 c (0,0) HOME/scop-8456-serial-file.bin 43.95/33.24 c (0,0) Read Serial File End 43.95/33.25 43.95/33.25 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 43.95/33.25 (Solving Process) 43.95/33.25 43.95/33.28 c BEGIN-Prog: Sat Sep 14 08:20:32 CEST 2019 43.95/33.28 c PID: 8489 43.95/33.28 c IP: 172.20.3.123 43.95/33.28 c HOST: node123.alineos.net 43.95/33.28 c (0,0) SatSolver.solve Begin 43.95/33.28 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392479-1568442037.xml-scop-8459.cnf 44.21/33.31 c (0,0) c 44.21/33.31 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) 44.21/33.31 c (0,0) c 44.21/33.31 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 44.21/33.31 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 44.21/33.31 c (0,0) c ========================================[ Problem Statistics ]=========================================== 44.21/33.31 c (0,0) c | | 47.13/36.18 c (3,0) c | Number of variables: 377286 | 47.13/36.18 c (3,0) c | Number of clauses: 7276869 | 47.13/36.18 c (3,0) c | Parse time: 2.59 s | 47.13/36.18 c (3,0) c | | 47.62/36.65 c (3,0) c | Too many clauses... No preprocessing | 47.62/36.65 c (3,0) c | Simplification time: 0.43 s | 47.62/36.65 c (3,0) c | | 47.62/36.65 c (3,0) c | Generating clones | 49.43/38.46 c (5,0) c | all clones generated. Memory = 3844.91Mb. | 49.43/38.46 c (5,0) c ========================================================================================================| 49.43/38.46 c (5,0) c 49.43/38.46 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 49.43/38.46 c (5,0) c 49.43/38.46 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.43/38.46 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 49.43/38.46 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 49.43/38.46 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 49.43/38.46 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 49.43/38.46 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 49.43/38.46 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 49.43/38.46 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 49.43/38.46 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 49.43/38.46 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 49.43/38.46 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 49.43/38.46 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 49.43/38.46 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 49.43/38.46 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 49.43/38.46 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 49.43/38.46 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 49.43/38.46 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 49.43/38.46 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 49.43/38.46 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c 277.08/68.35 c (35,0) c real time : 35.0445 s 277.08/68.35 c (35,0) c cpu time : 227.223 s 277.08/68.35 c (35,0) c 277.08/68.35 c (35,0) c 277.08/68.35 c (35,0) c 277.08/68.35 c (35,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 277.08/68.35 c (35,0) c 277.08/68.35 c (35,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 277.08/68.35 c (35,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c | Conflicts | 29687 | 3678 | 3634 | 3733 | 3265 | 4074 | 3557 | 3912 | 3834 | 277.08/68.35 c (35,0) c | Decisions | 85480 | 10384 | 8676 | 15301 | 7512 | 12445 | 9003 | 8559 | 13600 | 277.08/68.35 c (35,0) c | Propagations | 376366220 | 46706319 | 46756872 | 49442838 | 45605003 | 47225555 | 46730412 | 46279959 | 47619262 | 277.08/68.35 c (35,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 277.08/68.35 c (35,0) c | SimpDBs | 23 | 3 | 3 | 3 | 3 | 2 | 3 | 3 | 3 | 277.08/68.35 c (35,0) c | Restarts | 98 | 7 | 15 | 22 | 10 | 9 | 12 | 6 | 17 | 277.08/68.35 c (35,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 277.08/68.35 c (35,0) c | PropBinClauses| 1212390797 | 150553043 | 152278239 | 153958591 | 150501856 | 150831319 | 150349544 | 151913354 | 152004851 | 277.08/68.35 c (35,0) c | PropPreBlocker| 7167562649 | 888725763 | 885350443 | 888177683 | 888653030 | 913530261 | 891768430 | 917054028 | 894303011 | 277.08/68.35 c (35,0) c | PropNotBlocker| 707150972 | 87851134 | 89446548 | 90642595 | 88699787 | 87388860 | 91829143 | 84947948 | 86344957 | 277.08/68.35 c (35,0) c | LitFullScans | 9505299931 | 1180599427 | 1180952336 | 1185822785 | 1180725346 | 1192633612 | 1187282332 | 1210619266 | 1186664827 | 277.08/68.35 c (35,0) c | LitScanFracts | 979869 | 110040 | 119425 | 136911 | 132800 | 86027 | 113629 | 141458 | 139579 | 277.08/68.35 c (35,0) c | DecisionLevel0| 231 | 19 | 35 | 42 | 19 | 25 | 30 | 14 | 47 | 277.08/68.35 c (35,0) c | Periods | 1577 | 196 | 196 | 196 | 196 | 198 | 197 | 201 | 197 | 277.08/68.35 c (35,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 277.08/68.35 c (35,0) c | Avg_Trail | | 291041 | 287393 | 293232 | 283261 | 294083 | 289297 | 300865 | 295852 | 277.08/68.35 c (35,0) c | Avg_DL | | 49 | 34 | 51 | 40 | 50 | 41 | 50 | 47 | 277.08/68.35 c (35,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 277.08/68.35 c (35,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 277.08/68.35 c (35,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c | Exported | 2371 | 366 | 239 | 376 | 201 | 369 | 283 | 174 | 363 | 277.08/68.35 c (35,0) c | Imported | 13414 | 1673 | 1597 | 1671 | 1846 | 1245 | 1722 | 1939 | 1721 | 277.08/68.35 c (35,0) c | Good | 346 | 38 | 33 | 44 | 48 | 33 | 48 | 56 | 46 | 277.08/68.35 c (35,0) c | Purge | 13068 | 1635 | 1564 | 1627 | 1798 | 1212 | 1674 | 1883 | 1675 | 277.08/68.35 c (35,0) c | Promoted | 341 | 55 | 28 | 49 | 32 | 44 | 58 | 36 | 39 | 277.08/68.35 c (35,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 277.08/68.35 c (35,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 277.08/68.35 c (35,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c | Unaries | | 12 | 20 | 20 | 9 | 16 | 18 | 8 | 30 | 277.08/68.35 c (35,0) c | Binaries | | 17 | 8 | 9 | 5 | 6 | 5 | 3 | 14 | 277.08/68.35 c (35,0) c | Glues | | 366 | 239 | 376 | 201 | 369 | 283 | 174 | 363 | 277.08/68.35 c (35,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c | Orig_Seen | 1 % | 85214 | 82666 | 85395 | 74948 | 79403 | 78555 | 83504 | 79689 | 277.08/68.35 c (35,0) c | Diff Orig seen| | - 181 | - 2729 | X | - 10447 | - 5992 | - 6840 | - 1891 | - 5706 | 277.08/68.35 c (35,0) c | Hamming | 14 % | 57415 | 55770 | X | 52770 | 64282 | 43630 | 49795 | 52892 | 277.08/68.35 c (35,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c | RunningTime | | 29.0 100%| 29.9 100%| 28.5 100%| 28.6 100%| 28.6 100%| 28.5 100%| 28.5 100%| 28.5 100%| 277.08/68.35 c (35,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 277.08/68.35 c (35,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%| 277.08/68.35 c (35,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%| 277.08/68.35 c (35,0) c | SolvingTime | | 29.0 | 29.9 | 28.5 | 28.6 | 28.6 | 28.5 | 28.5 | 28.5 | 277.08/68.35 c (35,0) c | PropagationTim| | 26.9 93%| 27.7 93%| 26.4 93%| 26.5 93%| 26.6 93%| 26.4 92%| 26.3 92%| 26.4 93%| 277.08/68.35 c (35,0) c | AnalysisTime | | 0.4 1%| 0.4 1%| 0.4 1%| 0.4 1%| 0.4 2%| 0.4 2%| 0.5 2%| 0.4 1%| 277.08/68.35 c (35,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%| 277.08/68.35 c (35,0) c | SimplifyTime | | 1.1 4%| 1.1 4%| 1.0 4%| 1.1 4%| 0.9 3%| 1.1 4%| 1.1 4%| 1.1 4%| 277.08/68.35 c (35,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%| 277.08/68.35 c (35,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%| 277.08/68.35 c (35,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.35 c (35,0) c 277.08/68.35 c (35,0) c 277.08/68.35 c (35,0) c Threads : 8 277.08/68.35 c (35,0) c Winner : 2 277.08/68.35 c (35,0) c Conflicts_0 : 3678 277.08/68.35 c (35,0) c Conflicts_1 : 3634 277.08/68.35 c (35,0) c Conflicts_2 : 3733 277.08/68.35 c (35,0) c Conflicts_3 : 3265 277.08/68.35 c (35,0) c Conflicts_4 : 4074 277.08/68.35 c (35,0) c Conflicts_5 : 3557 277.08/68.35 c (35,0) c Conflicts_6 : 3912 277.08/68.35 c (35,0) c Conflicts_7 : 3834 277.08/68.35 c (35,0) c Conflicts_total : 29687 277.08/68.35 c (35,0) c Conflicts_winner : 3733 277.08/68.35 c (35,0) c Decisions_0 : 10384 277.08/68.35 c (35,0) c Decisions_1 : 8676 277.08/68.35 c (35,0) c Decisions_2 : 15301 277.08/68.35 c (35,0) c Decisions_3 : 7512 277.08/68.35 c (35,0) c Decisions_4 : 12445 277.08/68.35 c (35,0) c Decisions_5 : 9003 277.08/68.35 c (35,0) c Decisions_6 : 8559 277.08/68.35 c (35,0) c Decisions_7 : 13600 277.08/68.35 c (35,0) c Decisions_total : 85480 277.08/68.35 c (35,0) c Decisions_winner : 15301 277.08/68.35 c (35,0) c Propagations_0 : 46706319 277.08/68.35 c (35,0) c Propagations_1 : 46756872 277.08/68.35 c (35,0) c Propagations_2 : 49442838 277.08/68.35 c (35,0) c Propagations_3 : 45605003 277.08/68.35 c (35,0) c Propagations_4 : 47225555 277.08/68.35 c (35,0) c Propagations_5 : 46730412 277.08/68.35 c (35,0) c Propagations_6 : 46279959 277.08/68.35 c (35,0) c Propagations_7 : 47619262 277.08/68.35 c (35,0) c Propagations_total : 376366220 277.08/68.35 c (35,0) c Propagations_winner : 49442838 277.08/68.35 c (35,0) c ReduceDBs_0 : 1 277.08/68.35 c (35,0) c ReduceDBs_1 : 1 277.08/68.35 c (35,0) c ReduceDBs_2 : 1 277.08/68.35 c (35,0) c ReduceDBs_3 : 1 277.08/68.35 c (35,0) c ReduceDBs_4 : 1 277.08/68.35 c (35,0) c ReduceDBs_5 : 1 277.08/68.35 c (35,0) c ReduceDBs_6 : 1 277.08/68.35 c (35,0) c ReduceDBs_7 : 1 277.08/68.35 c (35,0) c ReduceDBs_total : 8 277.08/68.35 c (35,0) c ReduceDBs_winner : 1 277.08/68.35 c (35,0) c SimpDBs_0 : 3 277.08/68.35 c (35,0) c SimpDBs_1 : 3 277.08/68.35 c (35,0) c SimpDBs_2 : 3 277.08/68.35 c (35,0) c SimpDBs_3 : 3 277.08/68.35 c (35,0) c SimpDBs_4 : 2 277.08/68.35 c (35,0) c SimpDBs_5 : 3 277.08/68.35 c (35,0) c SimpDBs_6 : 3 277.08/68.35 c (35,0) c SimpDBs_7 : 3 277.08/68.35 c (35,0) c SimpDBs_total : 23 277.08/68.35 c (35,0) c SimpDBs_winner : 3 277.08/68.35 c (35,0) c Restarts_0 : 7 277.08/68.35 c (35,0) c Restarts_1 : 15 277.08/68.35 c (35,0) c Restarts_2 : 22 277.08/68.35 c (35,0) c Restarts_3 : 10 277.08/68.35 c (35,0) c Restarts_4 : 9 277.08/68.35 c (35,0) c Restarts_5 : 12 277.08/68.35 c (35,0) c Restarts_6 : 6 277.08/68.35 c (35,0) c Restarts_7 : 17 277.08/68.35 c (35,0) c Restarts_total : 98 277.08/68.35 c (35,0) c Restarts_winner : 22 277.08/68.35 c (35,0) c ForcedImports_0 : 0 277.08/68.35 c (35,0) c ForcedImports_1 : 0 277.08/68.35 c (35,0) c ForcedImports_2 : 0 277.08/68.35 c (35,0) c ForcedImports_3 : 0 277.08/68.35 c (35,0) c ForcedImports_4 : 0 277.08/68.35 c (35,0) c ForcedImports_5 : 0 277.08/68.35 c (35,0) c ForcedImports_6 : 0 277.08/68.35 c (35,0) c ForcedImports_7 : 0 277.08/68.35 c (35,0) c ForcedImports_total : 0 277.08/68.35 c (35,0) c ForcedImports_winner : 0 277.08/68.35 c (35,0) c PropsBinClauses_0 : 150553043 277.08/68.35 c (35,0) c PropsBinClauses_1 : 152278239 277.08/68.35 c (35,0) c PropsBinClauses_2 : 153958591 277.08/68.35 c (35,0) c PropsBinClauses_3 : 150501856 277.08/68.35 c (35,0) c PropsBinClauses_4 : 150831319 277.08/68.35 c (35,0) c PropsBinClauses_5 : 150349544 277.08/68.35 c (35,0) c PropsBinClauses_6 : 151913354 277.08/68.35 c (35,0) c PropsBinClauses_7 : 152004851 277.08/68.35 c (35,0) c PropsBinClauses_total : 1212390797 277.08/68.35 c (35,0) c PropsBinClauses_winner : 153958591 277.08/68.35 c (35,0) c PropsPreBlocker_0 : 888725763 277.08/68.35 c (35,0) c PropsPreBlocker_1 : 885350443 277.08/68.35 c (35,0) c PropsPreBlocker_2 : 888177683 277.08/68.35 c (35,0) c PropsPreBlocker_3 : 888653030 277.08/68.35 c (35,0) c PropsPreBlocker_4 : 913530261 277.08/68.35 c (35,0) c PropsPreBlocker_5 : 891768430 277.08/68.35 c (35,0) c PropsPreBlocker_6 : 917054028 277.08/68.35 c (35,0) c PropsPreBlocker_7 : 894303011 277.08/68.35 c (35,0) c PropsPreBlocker_total : 7167562649 277.08/68.35 c (35,0) c PropsPreBlocker_winner : 888177683 277.08/68.35 c (35,0) c PropsNotBlocker_0 : 87851134 277.08/68.35 c (35,0) c PropsNotBlocker_1 : 89446548 277.08/68.35 c (35,0) c PropsNotBlocker_2 : 90642595 277.08/68.35 c (35,0) c PropsNotBlocker_3 : 88699787 277.08/68.35 c (35,0) c PropsNotBlocker_4 : 87388860 277.08/68.35 c (35,0) c PropsNotBlocker_5 : 91829143 277.08/68.35 c (35,0) c PropsNotBlocker_6 : 84947948 277.08/68.35 c (35,0) c PropsNotBlocker_7 : 86344957 277.08/68.35 c (35,0) c PropsNotBlocker_total : 707150972 277.08/68.35 c (35,0) c PropsNotBlocker_winner : 90642595 277.08/68.35 c (35,0) c PropsLitFullScans_0 : 1180599427 277.08/68.35 c (35,0) c PropsLitFullScans_1 : 1180952336 277.08/68.35 c (35,0) c PropsLitFullScans_2 : 1185822785 277.08/68.35 c (35,0) c PropsLitFullScans_3 : 1180725346 277.08/68.35 c (35,0) c PropsLitFullScans_4 : 1192633612 277.08/68.35 c (35,0) c PropsLitFullScans_5 : 1187282332 277.08/68.35 c (35,0) c PropsLitFullScans_6 : 1210619266 277.08/68.35 c (35,0) c PropsLitFullScans_7 : 1186664827 277.08/68.35 c (35,0) c PropsLitFullScans_total : 9505299931 277.08/68.35 c (35,0) c PropsLitFullScans_winner : 1185822785 277.08/68.35 c (35,0) c LitScanFractions_0 : 110040 277.08/68.35 c (35,0) c LitScanFractions_1 : 119425 277.08/68.35 c (35,0) c LitScanFractions_2 : 136911 277.08/68.35 c (35,0) c LitScanFractions_3 : 132800 277.08/68.35 c (35,0) c LitScanFractions_4 : 86027 277.08/68.35 c (35,0) c LitScanFractions_5 : 113629 277.08/68.35 c (35,0) c LitScanFractions_6 : 141458 277.08/68.35 c (35,0) c LitScanFractions_7 : 139579 277.08/68.36 c (35,0) c LitScanFractions_total : 979869 277.08/68.36 c (35,0) c LitScanFractions_winner : 136911 277.08/68.36 c (35,0) c DecisionLevel0_0 : 19 277.08/68.36 c (35,0) c DecisionLevel0_1 : 35 277.08/68.36 c (35,0) c DecisionLevel0_2 : 42 277.08/68.36 c (35,0) c DecisionLevel0_3 : 19 277.08/68.36 c (35,0) c DecisionLevel0_4 : 25 277.08/68.36 c (35,0) c DecisionLevel0_5 : 30 277.08/68.36 c (35,0) c DecisionLevel0_6 : 14 277.08/68.36 c (35,0) c DecisionLevel0_7 : 47 277.08/68.36 c (35,0) c DecisionLevel0_total : 231 277.08/68.36 c (35,0) c DecisionLevel0_winner : 42 277.08/68.36 c (35,0) c Periods_0 : 196 277.08/68.36 c (35,0) c Periods_1 : 196 277.08/68.36 c (35,0) c Periods_2 : 196 277.08/68.36 c (35,0) c Periods_3 : 196 277.08/68.36 c (35,0) c Periods_4 : 198 277.08/68.36 c (35,0) c Periods_5 : 197 277.08/68.36 c (35,0) c Periods_6 : 201 277.08/68.36 c (35,0) c Periods_7 : 197 277.08/68.36 c (35,0) c Periods_total : 1577 277.08/68.36 c (35,0) c Periods_winner : 196 277.08/68.36 c (35,0) c Margin_0 : 20 277.08/68.36 c (35,0) c Margin_1 : 20 277.08/68.36 c (35,0) c Margin_2 : 20 277.08/68.36 c (35,0) c Margin_3 : 20 277.08/68.36 c (35,0) c Margin_4 : 20 277.08/68.36 c (35,0) c Margin_5 : 20 277.08/68.36 c (35,0) c Margin_6 : 20 277.08/68.36 c (35,0) c Margin_7 : 20 277.08/68.36 c (35,0) c Margin_total : 160 277.08/68.36 c (35,0) c Margin_winner : 20 277.08/68.36 c (35,0) c Exported_0 : 366 277.08/68.36 c (35,0) c Exported_1 : 239 277.08/68.36 c (35,0) c Exported_2 : 376 277.08/68.36 c (35,0) c Exported_3 : 201 277.08/68.36 c (35,0) c Exported_4 : 369 277.08/68.36 c (35,0) c Exported_5 : 283 277.08/68.36 c (35,0) c Exported_6 : 174 277.08/68.36 c (35,0) c Exported_7 : 363 277.08/68.36 c (35,0) c Exported_total : 2371 277.08/68.36 c (35,0) c Exported_winner : 376 277.08/68.36 c (35,0) c Imported_0 : 1673 277.08/68.36 c (35,0) c Imported_1 : 1597 277.08/68.36 c (35,0) c Imported_2 : 1671 277.08/68.36 c (35,0) c Imported_3 : 1846 277.08/68.36 c (35,0) c Imported_4 : 1245 277.08/68.36 c (35,0) c Imported_5 : 1722 277.08/68.36 c (35,0) c Imported_6 : 1939 277.08/68.36 c (35,0) c Imported_7 : 1721 277.08/68.36 c (35,0) c Imported_total : 13414 277.08/68.36 c (35,0) c Imported_winner : 1671 277.08/68.36 c (35,0) c Good_0 : 38 277.08/68.36 c (35,0) c Good_1 : 33 277.08/68.36 c (35,0) c Good_2 : 44 277.08/68.36 c (35,0) c Good_3 : 48 277.08/68.36 c (35,0) c Good_4 : 33 277.08/68.36 c (35,0) c Good_5 : 48 277.08/68.36 c (35,0) c Good_6 : 56 277.08/68.36 c (35,0) c Good_7 : 46 277.08/68.36 c (35,0) c Good_total : 346 277.08/68.36 c (35,0) c Good_winner : 44 277.08/68.36 c (35,0) c Purge_0 : 1635 277.08/68.36 c (35,0) c Purge_1 : 1564 277.08/68.36 c (35,0) c Purge_2 : 1627 277.08/68.36 c (35,0) c Purge_3 : 1798 277.08/68.36 c (35,0) c Purge_4 : 1212 277.08/68.36 c (35,0) c Purge_5 : 1674 277.08/68.36 c (35,0) c Purge_6 : 1883 277.08/68.36 c (35,0) c Purge_7 : 1675 277.08/68.36 c (35,0) c Purge_total : 13068 277.08/68.36 c (35,0) c Purge_winner : 1627 277.08/68.36 c (35,0) c Promoted_0 : 55 277.08/68.36 c (35,0) c Promoted_1 : 28 277.08/68.36 c (35,0) c Promoted_2 : 49 277.08/68.36 c (35,0) c Promoted_3 : 32 277.08/68.36 c (35,0) c Promoted_4 : 44 277.08/68.36 c (35,0) c Promoted_5 : 58 277.08/68.36 c (35,0) c Promoted_6 : 36 277.08/68.36 c (35,0) c Promoted_7 : 39 277.08/68.36 c (35,0) c Promoted_total : 341 277.08/68.36 c (35,0) c Promoted_winner : 49 277.08/68.36 c (35,0) c Remove_Imp_0 : 0 277.08/68.36 c (35,0) c Remove_Imp_1 : 0 277.08/68.36 c (35,0) c Remove_Imp_2 : 0 277.08/68.36 c (35,0) c Remove_Imp_3 : 0 277.08/68.36 c (35,0) c Remove_Imp_4 : 0 277.08/68.36 c (35,0) c Remove_Imp_5 : 0 277.08/68.36 c (35,0) c Remove_Imp_6 : 0 277.08/68.36 c (35,0) c Remove_Imp_7 : 0 277.08/68.36 c (35,0) c Remove_Imp_total : 0 277.08/68.36 c (35,0) c Remove_Imp_winner : 0 277.08/68.36 c (35,0) c Blocked_Reuse_0 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_1 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_2 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_3 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_4 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_5 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_6 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_7 : 0 277.08/68.36 c (35,0) c Blocked_Reuse_total : 0 277.08/68.36 c (35,0) c Blocked_Reuse_winner : 0 277.08/68.36 c (35,0) c Unaries_0 : 12 277.08/68.36 c (35,0) c Unaries_1 : 20 277.08/68.36 c (35,0) c Unaries_2 : 20 277.08/68.36 c (35,0) c Unaries_3 : 9 277.08/68.36 c (35,0) c Unaries_4 : 16 277.08/68.36 c (35,0) c Unaries_5 : 18 277.08/68.36 c (35,0) c Unaries_6 : 8 277.08/68.36 c (35,0) c Unaries_7 : 30 277.08/68.36 c (35,0) c Unaries_total : 133 277.08/68.36 c (35,0) c Unaries_winner : 20 277.08/68.36 c (35,0) c Binaries_0 : 17 277.08/68.36 c (35,0) c Binaries_1 : 8 277.08/68.36 c (35,0) c Binaries_2 : 9 277.08/68.36 c (35,0) c Binaries_3 : 5 277.08/68.36 c (35,0) c Binaries_4 : 6 277.08/68.36 c (35,0) c Binaries_5 : 5 277.08/68.36 c (35,0) c Binaries_6 : 3 277.08/68.36 c (35,0) c Binaries_7 : 14 277.08/68.36 c (35,0) c Binaries_total : 67 277.08/68.36 c (35,0) c Binaries_winner : 9 277.08/68.36 c (35,0) c Glues_0 : 366 277.08/68.36 c (35,0) c Glues_1 : 239 277.08/68.36 c (35,0) c Glues_2 : 376 277.08/68.36 c (35,0) c Glues_3 : 201 277.08/68.36 c (35,0) c Glues_4 : 369 277.08/68.36 c (35,0) c Glues_5 : 283 277.08/68.36 c (35,0) c Glues_6 : 174 277.08/68.36 c (35,0) c Glues_7 : 363 277.08/68.36 c (35,0) c Glues_total : 2371 277.08/68.36 c (35,0) c Glues_winner : 376 277.08/68.36 c (35,0) c RunningTime_0 : 28.956672 277.08/68.36 c (35,0) c RunningTime_1 : 29.857727 277.08/68.36 c (35,0) c RunningTime_2 : 28.466235 277.08/68.36 c (35,0) c RunningTime_3 : 28.568217 277.08/68.36 c (35,0) c RunningTime_4 : 28.565063 277.08/68.36 c (35,0) c RunningTime_5 : 28.528510 277.08/68.36 c (35,0) c RunningTime_6 : 28.531126 277.08/68.36 c (35,0) c RunningTime_7 : 28.499728 277.08/68.36 c (35,0) c RunningTime_total : 229.973278 277.08/68.36 c (35,0) c RunningTime_winner : 28.466235 277.08/68.36 c (35,0) c WaitingTime_0 : 0.000332 277.08/68.36 c (35,0) c WaitingTime_1 : 0.000275 277.08/68.36 c (35,0) c WaitingTime_2 : 0.000465 277.08/68.36 c (35,0) c WaitingTime_3 : 0.000378 277.08/68.36 c (35,0) c WaitingTime_4 : 0.000381 277.08/68.36 c (35,0) c WaitingTime_5 : 0.000372 277.08/68.36 c (35,0) c WaitingTime_6 : 0.000378 277.08/68.36 c (35,0) c WaitingTime_7 : 0.000287 277.08/68.36 c (35,0) c WaitingTime_total : 0.002868 277.08/68.36 c (35,0) c WaitingTime_winner : 0.000465 277.08/68.36 c (35,0) c ExchangingTime_0 : 0.004404 277.08/68.36 c (35,0) c ExchangingTime_1 : 0.003881 277.08/68.36 c (35,0) c ExchangingTime_2 : 0.004506 277.08/68.36 c (35,0) c ExchangingTime_3 : 0.004036 277.08/68.36 c (35,0) c ExchangingTime_4 : 0.004451 277.08/68.36 c (35,0) c ExchangingTime_5 : 0.004289 277.08/68.36 c (35,0) c ExchangingTime_6 : 0.004280 277.08/68.36 c (35,0) c ExchangingTime_7 : 0.004387 277.08/68.36 c (35,0) c ExchangingTime_total : 0.034233 277.08/68.36 c (35,0) c ExchangingTime_winner : 0.004506 277.08/68.36 c (35,0) c PeriodProcTime_0 : 0.002216 277.08/68.36 c (35,0) c PeriodProcTime_1 : 0.002201 277.08/68.36 c (35,0) c PeriodProcTime_2 : 0.002167 277.08/68.36 c (35,0) c PeriodProcTime_3 : 0.002362 277.08/68.36 c (35,0) c PeriodProcTime_4 : 0.002590 277.08/68.36 c (35,0) c PeriodProcTime_5 : 0.002418 277.08/68.36 c (35,0) c PeriodProcTime_6 : 0.002539 277.08/68.36 c (35,0) c PeriodProcTime_7 : 0.002466 277.08/68.36 c (35,0) c PeriodProcTime_total : 0.018959 277.08/68.36 c (35,0) c PeriodProcTime_winner : 0.002167 277.08/68.36 c (35,0) c SolvingTime_0 : 28.963624 277.08/68.36 c (35,0) c SolvingTime_1 : 29.864083 277.08/68.36 c (35,0) c SolvingTime_2 : 28.473373 277.08/68.36 c (35,0) c SolvingTime_3 : 28.574993 277.08/68.36 c (35,0) c SolvingTime_4 : 28.572484 277.08/68.36 c (35,0) c SolvingTime_5 : 28.535589 277.08/68.36 c (35,0) c SolvingTime_6 : 28.538323 277.08/68.36 c (35,0) c SolvingTime_7 : 28.506868 277.08/68.36 c (35,0) c SolvingTime_total : 230.029338 277.08/68.36 c (35,0) c SolvingTime_winner : 28.473373 277.08/68.36 c (35,0) c PropagationTime_0 : 26.851093 277.08/68.36 c (35,0) c PropagationTime_1 : 27.740479 277.08/68.36 c (35,0) c PropagationTime_2 : 26.409353 277.08/68.36 c (35,0) c PropagationTime_3 : 26.485347 277.08/68.36 c (35,0) c PropagationTime_4 : 26.569222 277.08/68.36 c (35,0) c PropagationTime_5 : 26.389215 277.08/68.36 c (35,0) c PropagationTime_6 : 26.324365 277.08/68.36 c (35,0) c PropagationTime_7 : 26.405251 277.08/68.36 c (35,0) c PropagationTime_total : 213.174325 277.08/68.36 c (35,0) c PropagationTime_winner : 26.409353 277.08/68.36 c (35,0) c AnalysisTime_0 : 0.413237 277.08/68.36 c (35,0) c AnalysisTime_1 : 0.417290 277.08/68.36 c (35,0) c AnalysisTime_2 : 0.392313 277.08/68.36 c (35,0) c AnalysisTime_3 : 0.416063 277.08/68.36 c (35,0) c AnalysisTime_4 : 0.447767 277.08/68.36 c (35,0) c AnalysisTime_5 : 0.431448 277.08/68.36 c (35,0) c AnalysisTime_6 : 0.526519 277.08/68.36 c (35,0) c AnalysisTime_7 : 0.404284 277.08/68.36 c (35,0) c AnalysisTime_total : 3.448921 277.08/68.36 c (35,0) c AnalysisTime_winner : 0.392313 277.08/68.36 c (35,0) c ReductionTime_0 : 0.000523 277.08/68.36 c (35,0) c ReductionTime_1 : 0.000522 277.08/68.36 c (35,0) c ReductionTime_2 : 0.000603 277.08/68.36 c (35,0) c ReductionTime_3 : 0.000506 277.08/68.36 c (35,0) c ReductionTime_4 : 0.000573 277.08/68.36 c (35,0) c ReductionTime_5 : 0.000519 277.08/68.36 c (35,0) c ReductionTime_6 : 0.001998 277.08/68.36 c (35,0) c ReductionTime_7 : 0.001926 277.08/68.36 c (35,0) c ReductionTime_total : 0.007170 277.08/68.36 c (35,0) c ReductionTime_winner : 0.000603 277.08/68.36 c (35,0) c SimplifyTime_0 : 1.095378 277.08/68.36 c (35,0) c SimplifyTime_1 : 1.097139 277.08/68.36 c (35,0) c SimplifyTime_2 : 1.022835 277.08/68.36 c (35,0) c SimplifyTime_3 : 1.079404 277.08/68.36 c (35,0) c SimplifyTime_4 : 0.929206 277.08/68.36 c (35,0) c SimplifyTime_5 : 1.118126 277.08/68.36 c (35,0) c SimplifyTime_6 : 1.085757 277.08/68.36 c (35,0) c SimplifyTime_7 : 1.056632 277.08/68.36 c (35,0) c SimplifyTime_total : 8.484477 277.08/68.36 c (35,0) c SimplifyTime_winner : 1.022835 277.08/68.36 c (35,0) c UsedRateTime_0 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_1 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_2 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_3 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_4 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_5 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_6 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_7 : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_total : 0.000000 277.08/68.36 c (35,0) c UsedRateTime_winner : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_0 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_1 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_2 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_3 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_4 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_5 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_6 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_7 : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_total : 0.000000 277.08/68.36 c (35,0) c OverlapRateTime_winner : 0.000000 277.08/68.36 c (35,0) c 277.08/68.36 c (35,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 277.08/68.36 c (35,0) c 277.08/68.36 c (35,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.36 c (35,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 277.08/68.36 c (35,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.36 c (35,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 277.08/68.36 c (35,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 277.08/68.36 c (35,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 277.08/68.36 c (35,0) c | Initial random_seed | 1400603413 | 1446632599 | 1059033440 | 1126037361 | 1214579687 | 1266557949 | 2064562227 | 1648350206 | 277.08/68.36 c (35,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 277.08/68.36 c (35,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 277.08/68.36 c (35,0) c | glureduce | True | True | True | True | True | True | True | True | 277.08/68.36 c (35,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 277.08/68.36 c (35,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 277.08/68.36 c (35,0) c | luby_restart | False | False | False | False | False | False | False | False | 277.08/68.36 c (35,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 277.08/68.36 c (35,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 277.08/68.36 c (35,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 277.08/68.36 c (35,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 277.08/68.36 c (35,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 277.08/68.36 c (35,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 277.08/68.36 c (35,0) 277.08/68.36 c (35,0) s SATISFIABLE 44.83/68.62 c (35,0) SatSolver.solve End 44.83/68.62 c (35,0) Heap : 185 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 44.83/68.62 c (35,0) Show results Begin 278.04/68.76 c (35,0) x0 = 92 278.04/68.76 c (35,0) x1 = 91 278.04/68.76 c (35,0) x10 = 460 278.04/68.76 c (35,0) x100 = 577 278.04/68.76 c (35,0) x101 = 578 278.04/68.76 c (35,0) x102 = 594 278.04/68.76 c (35,0) x103 = 593 278.04/68.76 c (35,0) x104 = 662 278.04/68.76 c (35,0) x105 = 663 278.04/68.76 c (35,0) x106 = 746 278.04/68.76 c (35,0) x107 = 745 278.04/68.76 c (35,0) x108 = 830 278.04/68.76 c (35,0) x109 = 829 278.04/68.76 c (35,0) x11 = 461 278.04/68.76 c (35,0) x110 = 836 278.04/68.76 c (35,0) x111 = 835 278.04/68.76 c (35,0) x112 = 848 278.04/68.76 c (35,0) x113 = 847 278.04/68.76 c (35,0) x114 = 935 278.04/68.76 c (35,0) x115 = 934 278.04/68.76 c (35,0) x116 = 949 278.04/68.76 c (35,0) x117 = 948 278.04/68.76 c (35,0) x118 = 1267 278.04/68.76 c (35,0) x119 = 1266 278.04/68.76 c (35,0) x12 = 495 278.04/68.76 c (35,0) x120 = 1 278.04/68.76 c (35,0) x121 = 0 278.04/68.76 c (35,0) x122 = 134 278.04/68.76 c (35,0) x123 = 133 278.04/68.76 c (35,0) x124 = 232 278.04/68.76 c (35,0) x125 = 231 278.04/68.76 c (35,0) x126 = 279 278.04/68.76 c (35,0) x127 = 278 278.04/68.76 c (35,0) x128 = 320 278.04/68.76 c (35,0) x129 = 321 278.04/68.76 c (35,0) x13 = 494 278.04/68.76 c (35,0) x130 = 414 278.04/68.76 c (35,0) x131 = 413 278.04/68.76 c (35,0) x132 = 692 278.04/68.76 c (35,0) x133 = 691 278.04/68.76 c (35,0) x134 = 811 278.04/68.76 c (35,0) x135 = 812 278.04/68.76 c (35,0) x136 = 822 278.04/68.76 c (35,0) x137 = 821 278.04/68.76 c (35,0) x138 = 866 278.04/68.76 c (35,0) x139 = 865 278.04/68.76 c (35,0) x14 = 667 278.04/68.76 c (35,0) x140 = 931 278.04/68.76 c (35,0) x141 = 932 278.04/68.76 c (35,0) x142 = 963 278.04/68.76 c (35,0) x143 = 962 278.04/68.76 c (35,0) x144 = 1020 278.04/68.76 c (35,0) x145 = 1021 278.04/68.76 c (35,0) x146 = 1140 278.04/68.76 c (35,0) x147 = 1139 278.04/68.76 c (35,0) x148 = 1228 278.04/68.76 c (35,0) x149 = 1227 278.04/68.76 c (35,0) x15 = 668 278.04/68.76 c (35,0) x150 = 10 278.04/68.76 c (35,0) x151 = 11 278.04/68.76 c (35,0) x152 = 88 278.04/68.76 c (35,0) x153 = 89 278.04/68.76 c (35,0) x154 = 246 278.04/68.76 c (35,0) x155 = 247 278.04/68.76 c (35,0) x156 = 339 278.04/68.76 c (35,0) x157 = 340 278.04/68.76 c (35,0) x158 = 500 278.04/68.76 c (35,0) x159 = 499 278.04/68.76 c (35,0) x16 = 739 278.04/68.76 c (35,0) x160 = 567 278.04/68.76 c (35,0) x161 = 566 278.04/68.76 c (35,0) x162 = 802 278.04/68.76 c (35,0) x163 = 803 278.04/68.76 c (35,0) x164 = 870 278.04/68.76 c (35,0) x165 = 871 278.04/68.76 c (35,0) x166 = 959 278.04/68.76 c (35,0) x167 = 958 278.04/68.76 c (35,0) x168 = 1052 278.04/68.76 c (35,0) x169 = 1051 278.04/68.76 c (35,0) x17 = 740 278.04/68.76 c (35,0) x170 = 1080 278.04/68.76 c (35,0) x171 = 1079 278.04/68.76 c (35,0) x172 = 1095 278.04/68.76 c (35,0) x173 = 1094 278.04/68.76 c (35,0) x174 = 1102 278.04/68.77 c (35,0) x175 = 1103 278.04/68.77 c (35,0) x176 = 1229 278.04/68.77 c (35,0) x177 = 1230 278.04/68.77 c (35,0) x178 = 1296 278.04/68.77 c (35,0) x179 = 1295 278.04/68.77 c (35,0) x18 = 758 278.04/68.77 c (35,0) x180 = 164 278.04/68.77 c (35,0) x181 = 165 278.04/68.77 c (35,0) x182 = 419 278.04/68.77 c (35,0) x183 = 420 278.04/68.77 c (35,0) x184 = 453 278.04/68.77 c (35,0) x185 = 454 278.04/68.77 c (35,0) x186 = 609 278.04/68.77 c (35,0) x187 = 608 278.04/68.77 c (35,0) x188 = 685 278.04/68.77 c (35,0) x189 = 686 278.04/68.77 c (35,0) x19 = 759 278.04/68.77 c (35,0) x190 = 779 278.04/68.77 c (35,0) x191 = 778 278.04/68.77 c (35,0) x192 = 849 278.04/68.77 c (35,0) x193 = 848 278.04/68.77 c (35,0) x194 = 947 278.04/68.77 c (35,0) x195 = 946 278.04/68.77 c (35,0) x196 = 1075 278.04/68.77 c (35,0) x197 = 1076 278.04/68.77 c (35,0) x198 = 1088 278.04/68.77 c (35,0) x199 = 1087 278.04/68.77 c (35,0) x2 = 188 278.04/68.77 c (35,0) x20 = 825 278.04/68.77 c (35,0) x200 = 1094 278.04/68.77 c (35,0) x201 = 1093 278.04/68.77 c (35,0) x202 = 1180 278.04/68.77 c (35,0) x203 = 1179 278.04/68.77 c (35,0) x204 = 1222 278.04/68.77 c (35,0) x205 = 1223 278.04/68.77 c (35,0) x206 = 1227 278.04/68.77 c (35,0) x207 = 1226 278.04/68.77 c (35,0) x208 = 1235 278.04/68.77 c (35,0) x209 = 1234 278.04/68.77 c (35,0) x21 = 824 278.04/68.77 c (35,0) x210 = 85 278.04/68.77 c (35,0) x211 = 84 278.04/68.77 c (35,0) x212 = 244 278.04/68.77 c (35,0) x213 = 245 278.04/68.77 c (35,0) x214 = 275 278.04/68.77 c (35,0) x215 = 276 278.04/68.77 c (35,0) x216 = 449 278.04/68.77 c (35,0) x217 = 448 278.04/68.77 c (35,0) x218 = 533 278.04/68.77 c (35,0) x219 = 532 278.04/68.77 c (35,0) x22 = 868 278.04/68.77 c (35,0) x220 = 579 278.04/68.77 c (35,0) x221 = 580 278.04/68.77 c (35,0) x222 = 626 278.04/68.77 c (35,0) x223 = 625 278.04/68.77 c (35,0) x224 = 770 278.04/68.77 c (35,0) x225 = 771 278.04/68.77 c (35,0) x226 = 813 278.04/68.77 c (35,0) x227 = 812 278.04/68.77 c (35,0) x228 = 819 278.04/68.77 c (35,0) x229 = 818 278.04/68.77 c (35,0) x23 = 869 278.04/68.77 c (35,0) x230 = 863 278.04/68.77 c (35,0) x231 = 864 278.04/68.77 c (35,0) x232 = 947 278.04/68.77 c (35,0) x233 = 946 278.04/68.77 c (35,0) x234 = 1041 278.04/68.77 c (35,0) x235 = 1042 278.04/68.77 c (35,0) x236 = 1102 278.04/68.77 c (35,0) x237 = 1101 278.04/68.77 c (35,0) x238 = 1263 278.04/68.77 c (35,0) x239 = 1262 278.04/68.77 c (35,0) x24 = 874 278.04/68.77 c (35,0) x240 = 10 278.04/68.77 c (35,0) x241 = 11 278.04/68.77 c (35,0) x242 = 30 278.04/68.77 c (35,0) x243 = 29 278.04/68.77 c (35,0) x244 = 86 278.04/68.77 c (35,0) x245 = 85 278.04/68.77 c (35,0) x246 = 315 278.04/68.77 c (35,0) x247 = 316 278.04/68.77 c (35,0) x248 = 390 278.04/68.77 c (35,0) x249 = 391 278.04/68.77 c (35,0) x25 = 873 278.04/68.77 c (35,0) x250 = 457 278.04/68.77 c (35,0) x251 = 456 278.04/68.77 c (35,0) x252 = 494 278.04/68.77 c (35,0) x253 = 495 278.04/68.77 c (35,0) x254 = 604 278.04/68.77 c (35,0) x255 = 603 278.04/68.77 c (35,0) x256 = 697 278.04/68.77 c (35,0) x257 = 698 278.04/68.77 c (35,0) x258 = 738 278.04/68.77 c (35,0) x259 = 737 278.04/68.77 c (35,0) x26 = 890 278.04/68.77 c (35,0) x260 = 847 278.04/68.77 c (35,0) x261 = 848 278.04/68.77 c (35,0) x262 = 919 278.04/68.77 c (35,0) x263 = 918 278.04/68.77 c (35,0) x264 = 1019 278.04/68.77 c (35,0) x265 = 1018 278.04/68.77 c (35,0) x266 = 1172 278.04/68.77 c (35,0) x267 = 1173 278.04/68.77 c (35,0) x268 = 1303 278.04/68.77 c (35,0) x269 = 1302 278.04/68.77 c (35,0) x27 = 891 278.04/68.77 c (35,0) x270 = 1 278.04/68.77 c (35,0) x271 = 0 278.04/68.77 c (35,0) x272 = 119 278.04/68.77 c (35,0) x273 = 120 278.04/68.77 c (35,0) x274 = 189 278.04/68.77 c (35,0) x275 = 188 278.04/68.77 c (35,0) x276 = 392 278.04/68.77 c (35,0) x277 = 393 278.04/68.77 c (35,0) x278 = 493 278.04/68.77 c (35,0) x279 = 494 278.04/68.77 c (35,0) x28 = 1016 278.04/68.77 c (35,0) x280 = 500 278.04/68.77 c (35,0) x281 = 499 278.04/68.77 c (35,0) x282 = 537 278.04/68.77 c (35,0) x283 = 538 278.04/68.77 c (35,0) x284 = 602 278.04/68.77 c (35,0) x285 = 601 278.04/68.77 c (35,0) x286 = 738 278.04/68.77 c (35,0) x287 = 768 278.04/68.77 c (35,0) x288 = 982 278.04/68.77 c (35,0) x289 = 981 278.04/68.77 c (35,0) x29 = 1017 278.04/68.77 c (35,0) x290 = 1102 278.04/68.77 c (35,0) x291 = 1103 278.04/68.77 c (35,0) x292 = 1181 278.04/68.77 c (35,0) x293 = 1180 278.04/68.77 c (35,0) x294 = 1218 278.04/68.77 c (35,0) x295 = 1219 278.04/68.77 c (35,0) x296 = 1220 278.04/68.77 c (35,0) x297 = 1221 278.04/68.77 c (35,0) x298 = 1237 278.04/68.77 c (35,0) x299 = 1238 278.04/68.77 c (35,0) x3 = 189 278.04/68.77 c (35,0) x30 = 56 278.04/68.77 c (35,0) x300 = 0 278.04/68.77 c (35,0) x301 = 1 278.04/68.77 c (35,0) x302 = 31 278.04/68.77 c (35,0) x303 = 32 278.04/68.77 c (35,0) x304 = 85 278.04/68.77 c (35,0) x305 = 84 278.04/68.77 c (35,0) x306 = 92 278.04/68.77 c (35,0) x307 = 91 278.04/68.77 c (35,0) x308 = 102 278.04/68.77 c (35,0) x309 = 103 278.04/68.77 c (35,0) x31 = 55 278.04/68.77 c (35,0) x310 = 154 278.04/68.77 c (35,0) x311 = 155 278.04/68.77 c (35,0) x312 = 244 278.04/68.77 c (35,0) x313 = 243 278.04/68.77 c (35,0) x314 = 282 278.04/68.77 c (35,0) x315 = 283 278.04/68.77 c (35,0) x316 = 343 278.04/68.77 c (35,0) x317 = 342 278.04/68.77 c (35,0) x318 = 378 278.04/68.77 c (35,0) x319 = 379 278.04/68.77 c (35,0) x32 = 88 278.04/68.77 c (35,0) x320 = 427 278.04/68.77 c (35,0) x321 = 426 278.04/68.77 c (35,0) x322 = 550 278.04/68.77 c (35,0) x323 = 551 278.04/68.77 c (35,0) x324 = 877 278.04/68.77 c (35,0) x325 = 876 278.04/68.77 c (35,0) x326 = 929 278.04/68.77 c (35,0) x327 = 930 278.04/68.77 c (35,0) x328 = 1041 278.04/68.77 c (35,0) x329 = 1043 278.04/68.77 c (35,0) x33 = 89 278.04/68.77 c (35,0) x330 = 0 278.04/68.77 c (35,0) x331 = 1 278.04/68.77 c (35,0) x332 = 31 278.04/68.77 c (35,0) x333 = 30 278.04/68.77 c (35,0) x334 = 154 278.04/68.77 c (35,0) x335 = 153 278.04/68.77 c (35,0) x336 = 230 278.04/68.77 c (35,0) x337 = 231 278.04/68.77 c (35,0) x338 = 287 278.04/68.77 c (35,0) x339 = 286 278.04/68.77 c (35,0) x34 = 211 278.04/68.77 c (35,0) x340 = 360 278.04/68.77 c (35,0) x341 = 359 278.04/68.77 c (35,0) x342 = 471 278.04/68.77 c (35,0) x343 = 472 278.04/68.77 c (35,0) x344 = 526 278.04/68.77 c (35,0) x345 = 527 278.04/68.77 c (35,0) x346 = 581 278.04/68.77 c (35,0) x347 = 582 278.04/68.77 c (35,0) x348 = 648 278.04/68.77 c (35,0) x349 = 647 278.04/68.77 c (35,0) x35 = 210 278.04/68.77 c (35,0) x350 = 699 278.04/68.77 c (35,0) x351 = 698 278.04/68.77 c (35,0) x352 = 790 278.04/68.77 c (35,0) x353 = 791 278.04/68.77 c (35,0) x354 = 947 278.04/68.77 c (35,0) x355 = 946 278.04/68.77 c (35,0) x356 = 1027 278.04/68.77 c (35,0) x357 = 1028 278.04/68.77 c (35,0) x358 = 1142 278.04/68.77 c (35,0) x359 = 1143 278.04/68.77 c (35,0) x36 = 321 278.04/68.77 c (35,0) x360 = 230 278.04/68.77 c (35,0) x361 = 231 278.04/68.77 c (35,0) x362 = 269 278.04/68.77 c (35,0) x363 = 268 278.04/68.77 c (35,0) x364 = 301 278.04/68.77 c (35,0) x365 = 302 278.04/68.77 c (35,0) x366 = 342 278.04/68.77 c (35,0) x367 = 343 278.04/68.77 c (35,0) x368 = 368 278.04/68.77 c (35,0) x369 = 369 278.04/68.77 c (35,0) x37 = 322 278.04/68.77 c (35,0) x370 = 409 278.04/68.77 c (35,0) x371 = 410 278.04/68.77 c (35,0) x372 = 495 278.04/68.77 c (35,0) x373 = 496 278.04/68.77 c (35,0) x374 = 535 278.04/68.77 c (35,0) x375 = 536 278.04/68.77 c (35,0) x376 = 597 278.04/68.77 c (35,0) x377 = 598 278.04/68.77 c (35,0) x378 = 613 278.04/68.77 c (35,0) x379 = 612 278.04/68.77 c (35,0) x38 = 403 278.04/68.77 c (35,0) x380 = 662 278.04/68.77 c (35,0) x381 = 667 278.04/68.77 c (35,0) x382 = 939 278.04/68.77 c (35,0) x383 = 755 278.04/68.77 c (35,0) x384 = 1004 278.04/68.77 c (35,0) x385 = 1003 278.04/68.77 c (35,0) x386 = 1021 278.04/68.77 c (35,0) x387 = 1020 278.04/68.77 c (35,0) x388 = 1211 278.04/68.77 c (35,0) x389 = 1212 278.04/68.77 c (35,0) x39 = 402 278.04/68.77 c (35,0) x390 = 0 278.04/68.77 c (35,0) x391 = 1 278.04/68.77 c (35,0) x392 = 10 278.04/68.77 c (35,0) x393 = 9 278.04/68.77 c (35,0) x394 = 47 278.04/68.77 c (35,0) x395 = 48 278.04/68.77 c (35,0) x396 = 64 278.04/68.77 c (35,0) x397 = 63 278.04/68.77 c (35,0) x398 = 119 278.04/68.77 c (35,0) x399 = 120 278.04/68.77 c (35,0) x4 = 307 278.04/68.77 c (35,0) x40 = 459 278.04/68.77 c (35,0) x400 = 230 278.04/68.77 c (35,0) x401 = 231 278.04/68.77 c (35,0) x402 = 307 278.04/68.77 c (35,0) x403 = 306 278.04/68.77 c (35,0) x404 = 387 278.04/68.77 c (35,0) x405 = 386 278.04/68.77 c (35,0) x406 = 456 278.04/68.77 c (35,0) x407 = 457 278.04/68.77 c (35,0) x408 = 530 278.04/68.77 c (35,0) x409 = 529 278.04/68.77 c (35,0) x41 = 458 278.04/68.77 c (35,0) x410 = 630 278.04/68.77 c (35,0) x411 = 629 278.04/68.77 c (35,0) x412 = 654 278.04/68.77 c (35,0) x413 = 655 278.04/68.77 c (35,0) x414 = 686 278.04/68.77 c (35,0) x415 = 687 278.04/68.77 c (35,0) x416 = 779 278.04/68.77 c (35,0) x417 = 778 278.04/68.77 c (35,0) x418 = 926 278.04/68.77 c (35,0) x419 = 1286 278.04/68.77 c (35,0) x42 = 538 278.04/68.77 c (35,0) x420 = 22 278.04/68.77 c (35,0) x421 = 21 278.04/68.77 c (35,0) x422 = 103 278.04/68.77 c (35,0) x423 = 102 278.04/68.77 c (35,0) x424 = 179 278.04/68.77 c (35,0) x425 = 178 278.04/68.77 c (35,0) x426 = 256 278.04/68.77 c (35,0) x427 = 255 278.04/68.77 c (35,0) x428 = 314 278.04/68.77 c (35,0) x429 = 315 278.04/68.77 c (35,0) x43 = 537 278.04/68.77 c (35,0) x430 = 427 278.04/68.77 c (35,0) x431 = 426 278.04/68.77 c (35,0) x432 = 504 278.04/68.77 c (35,0) x433 = 505 278.04/68.77 c (35,0) x434 = 553 278.04/68.77 c (35,0) x435 = 552 278.04/68.77 c (35,0) x436 = 585 278.04/68.77 c (35,0) x437 = 584 278.04/68.77 c (35,0) x438 = 654 278.04/68.77 c (35,0) x439 = 653 278.04/68.77 c (35,0) x44 = 604 278.04/68.77 c (35,0) x440 = 801 278.04/68.77 c (35,0) x441 = 802 278.04/68.77 c (35,0) x442 = 903 278.04/68.77 c (35,0) x443 = 902 278.04/68.77 c (35,0) x444 = 927 278.04/68.77 c (35,0) x445 = 928 278.04/68.77 c (35,0) x446 = 1203 278.04/68.77 c (35,0) x447 = 1204 278.04/68.77 c (35,0) x448 = 1259 278.04/68.77 c (35,0) x449 = 1258 278.04/68.77 c (35,0) x45 = 605 278.04/68.77 c (35,0) x46 = 678 278.04/68.77 c (35,0) x47 = 677 278.04/68.77 c (35,0) x48 = 701 278.04/68.77 c (35,0) x49 = 702 278.04/68.77 c (35,0) x5 = 306 278.04/68.77 c (35,0) x50 = 755 278.04/68.77 c (35,0) x51 = 754 278.04/68.77 c (35,0) x52 = 877 278.04/68.77 c (35,0) x53 = 876 278.04/68.77 c (35,0) x54 = 919 278.04/68.77 c (35,0) x55 = 920 278.04/68.77 c (35,0) x56 = 925 278.04/68.77 c (35,0) x57 = 926 278.04/68.77 c (35,0) x58 = 1020 278.04/68.77 c (35,0) x59 = 1021 278.04/68.77 c (35,0) x6 = 393 278.04/68.77 c (35,0) x60 = 0 278.04/68.77 c (35,0) x61 = 1 278.04/68.77 c (35,0) x62 = 180 278.04/68.77 c (35,0) x63 = 179 278.04/68.77 c (35,0) x64 = 273 278.04/68.77 c (35,0) x65 = 274 278.04/68.77 c (35,0) x66 = 337 278.04/68.77 c (35,0) x67 = 336 278.04/68.77 c (35,0) x68 = 416 278.04/68.77 c (35,0) x69 = 417 278.04/68.77 c (35,0) x7 = 394 278.04/68.77 c (35,0) x70 = 427 278.04/68.77 c (35,0) x71 = 426 278.04/68.77 c (35,0) x72 = 502 278.04/68.77 c (35,0) x73 = 501 278.04/68.77 c (35,0) x74 = 598 278.04/68.77 c (35,0) x75 = 599 278.04/68.77 c (35,0) x76 = 761 278.04/68.77 c (35,0) x77 = 760 278.04/68.77 c (35,0) x78 = 785 278.04/68.77 c (35,0) x79 = 786 278.04/68.77 c (35,0) x8 = 420 278.04/68.77 c (35,0) x80 = 812 278.04/68.77 c (35,0) x81 = 813 278.04/68.77 c (35,0) x82 = 821 278.04/68.77 c (35,0) x83 = 820 278.04/68.77 c (35,0) x84 = 1025 278.04/68.77 c (35,0) x85 = 1026 278.04/68.77 c (35,0) x86 = 1073 278.04/68.77 c (35,0) x87 = 1074 278.04/68.77 c (35,0) x88 = 1183 278.04/68.77 c (35,0) x89 = 1184 278.04/68.77 c (35,0) x9 = 421 278.04/68.77 c (35,0) x90 = 0 278.04/68.77 c (35,0) x91 = 1 278.04/68.77 c (35,0) x92 = 170 278.04/68.77 c (35,0) x93 = 169 278.04/68.77 c (35,0) x94 = 322 278.04/68.77 c (35,0) x95 = 321 278.04/68.77 c (35,0) x96 = 479 278.04/68.77 c (35,0) x97 = 478 278.04/68.77 c (35,0) x98 = 523 278.04/68.77 c (35,0) x99 = 522 278.04/68.77 s SATISFIABLE 278.04/68.78 v <instantiation> 278.04/68.78 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> 278.04/68.78 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> 278.04/68.78 v </instantiation> 278.04/68.78 c (35,0) Show results End 278.04/68.78 c (35,0) Heap : 226 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 278.04/68.78 c (35,0) 35,35,STOP-AFTER(ALL) 278.04/68.78 c END-Prog: Sat Sep 14 08:21:07 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 (11893 MiB free) memory of node 1: 16384 MiB (15539 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392479-1568442037/watcher-4392479-1568442037 -o /tmp/evaluation-result-4392479-1568442037/solver-4392479-1568442037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392479-1568442037.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=8456, runsolver pid=8453 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 7.85 8.25 8.29 3/211 8478 /proc/meminfo: memFree=27995300/32770624 swapFree=66999940/67108860 [pid=8456] ppid=8453 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8456/stat : 8456 (scop.sh) S 8453 8456 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420468600 115843072 349 33554432000 4194304 5098028 140721208522576 140721208519832 140096397455996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35442688 140721208525605 140721208525932 140721208525932 140721208528845 0 /proc/8456/statm: 28282 349 296 221 0 87 0 [pid=8459] ppid=8456 vsize=27314120 memory=107804 CPUtime=0.1 cores=0-7 /proc/8459/stat : 8459 (java) S 8456 8456 7985 0 -1 1077944320 6521 0 0 0 8 2 0 0 20 0 20 0 420468600 27969658880 26951 33554432000 4194304 4196468 140721559384928 140721559367472 140619612835575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 /proc/8459/statm: 6828530 26951 2783 1 0 6790935 0 [pid=8459/tid=8460] ppid=8456 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/8459/task/8460/stat : 8460 (java) R 8456 8456 7985 0 -1 4202560 4618 0 0 0 7 1 0 0 20 0 20 0 420468601 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619584658624 140619596916062 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8461] ppid=8456 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8459/task/8461/stat : 8461 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619617078032 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8462] ppid=8456 vsize=27314120 memory=140673568908928 CPUtime=0 cores=0-7 /proc/8459/task/8462/stat : 8462 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619035528080 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8463] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8463/stat : 8463 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619034475536 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8464] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8464/stat : 8464 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619033422992 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8465] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8465/stat : 8465 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619032369424 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8466] ppid=8456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8459/task/8466/stat : 8466 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619031316880 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8467] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8467/stat : 8467 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619030264336 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8468] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8468/stat : 8468 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 26951 33554432000 4194304 4196468 140721559384928 140619029211792 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8469] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8469/stat : 8469 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468604 27969658880 26951 33554432000 4194304 4196468 140721559384928 140618000243184 140619612846722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8470] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8470/stat : 8470 (java) S 8456 8456 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420468605 27969658880 26951 33554432000 4194304 4196468 140721559384928 140617497699744 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8471] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8471/stat : 8471 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468605 27969658880 26951 33554432000 4194304 4196468 140721559384928 140617229264368 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8472] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8472/stat : 8472 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 26951 33554432000 4194304 4196468 140721559384928 140616854756048 140619612854171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8473] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8473/stat : 8473 (java) S 8456 8456 7985 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 26951 33554432000 4194304 4196468 140721559384928 140617999190000 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8474] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8474/stat : 8474 (java) S 8456 8456 7985 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 26951 33554432000 4194304 4196468 140721559384928 140617998137456 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8475] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8475/stat : 8475 (java) S 8456 8456 7985 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 26951 33554432000 4194304 4196468 140721559384928 140617997084912 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8476] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8476/stat : 8476 (java) S 8456 8456 7985 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 26951 33554432000 4194304 4196468 140721559384928 140617996032368 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8477] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8477/stat : 8477 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 26951 33554432000 4194304 4196468 140721559384928 140616356850400 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8478] ppid=8456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8459/task/8478/stat : 8478 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 26951 33554432000 4194304 4196468 140721559384928 140617994980272 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109200 KiB [startup+0.210422 s]* /proc/loadavg: 7.85 8.25 8.29 2/211 8478 /proc/meminfo: memFree=27977088/32770624 swapFree=66999940/67108860 [pid=8456] ppid=8453 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8456/stat : 8456 (scop.sh) S 8453 8456 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420468600 115843072 349 33554432000 4194304 5098028 140721208522576 140721208519832 140096397455996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35442688 140721208525605 140721208525932 140721208525932 140721208528845 0 /proc/8456/statm: 28282 349 296 221 0 87 0 [pid=8459] ppid=8456 vsize=27314120 memory=124632 CPUtime=0.24 cores=0-7 /proc/8459/stat : 8459 (java) S 8456 8456 7985 0 -1 1077944320 11525 0 0 0 20 4 0 0 20 0 20 0 420468600 27969658880 31158 33554432000 4194304 4196468 140721559384928 140721559367472 140619612835575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 /proc/8459/statm: 6828530 31158 2914 1 0 6790935 0 [pid=8459/tid=8460] ppid=8456 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/8459/task/8460/stat : 8460 (java) R 8456 8456 7985 0 -1 4202560 9220 0 0 0 16 3 0 0 20 0 20 0 420468601 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619584634960 140619594399104 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8461] ppid=8456 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/8459/task/8461/stat : 8461 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619617078032 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8462] ppid=8456 vsize=27314120 memory=140673568917644 CPUtime=0 cores=0-7 /proc/8459/task/8462/stat : 8462 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619035528080 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8463] ppid=8456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8459/task/8463/stat : 8463 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619034475536 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8464] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8464/stat : 8464 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619033422992 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8465] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8465/stat : 8465 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619032369424 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8466] ppid=8456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8459/task/8466/stat : 8466 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619031316880 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8467] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8467/stat : 8467 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619030264336 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8468] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8468/stat : 8468 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 31158 33554432000 4194304 4196468 140721559384928 140619029211792 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8469] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8469/stat : 8469 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468604 27969658880 31158 33554432000 4194304 4196468 140721559384928 140618000243184 140619612846722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8470] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8470/stat : 8470 (java) S 8456 8456 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420468605 27969658880 31158 33554432000 4194304 4196468 140721559384928 140617497699744 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8471] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8471/stat : 8471 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468605 27969658880 31158 33554432000 4194304 4196468 140721559384928 140617229264368 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8472] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8472/stat : 8472 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 31158 33554432000 4194304 4196468 140721559384928 140616854756048 140619612854171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8473] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8473/stat : 8473 (java) S 8456 8456 7985 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 31158 33554432000 4194304 4196468 140721559384928 140617999190000 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8474] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8474/stat : 8474 (java) S 8456 8456 7985 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 31158 33554432000 4194304 4196468 140721559384928 140617998137456 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8475] ppid=8456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8459/task/8475/stat : 8475 (java) S 8456 8456 7985 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 31158 33554432000 4194304 4196468 140721559384928 140617997084912 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8476] ppid=8456 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/8459/task/8476/stat : 8476 (java) S 8456 8456 7985 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 420468608 27969658880 31158 33554432000 4194304 4196468 140721559384928 140617996032368 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8477] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8477/stat : 8477 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 31158 33554432000 4194304 4196468 140721559384928 140616356850400 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8478] ppid=8456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8459/task/8478/stat : 8478 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 31158 33554432000 4194304 4196468 140721559384928 140617994980272 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126028 KiB [startup+0.310215 s]* /proc/loadavg: 7.85 8.25 8.29 2/211 8478 /proc/meminfo: memFree=27974048/32770624 swapFree=66999940/67108860 [pid=8456] ppid=8453 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8456/stat : 8456 (scop.sh) S 8453 8456 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420468600 115843072 349 33554432000 4194304 5098028 140721208522576 140721208519832 140096397455996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35442688 140721208525605 140721208525932 140721208525932 140721208528845 0 /proc/8456/statm: 28282 349 296 221 0 87 0 [pid=8459] ppid=8456 vsize=27314120 memory=128288 CPUtime=0.43 cores=0-7 /proc/8459/stat : 8459 (java) S 8456 8456 7985 0 -1 1077944320 12225 0 0 0 38 5 0 0 20 0 20 0 420468600 27969658880 32072 33554432000 4194304 4196468 140721559384928 140721559367472 140619612835575 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 /proc/8459/statm: 6828530 32072 3016 1 0 6790935 0 [pid=8459/tid=8460] ppid=8456 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/8459/task/8460/stat : 8460 (java) R 8456 8456 7985 0 -1 4202560 9740 0 0 0 26 4 0 0 20 0 20 0 420468601 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619584665648 140619596022378 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8461] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8461/stat : 8461 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619617078032 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8462] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8462/stat : 8462 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619035528080 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8463] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8463/stat : 8463 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619034475536 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8464] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8464/stat : 8464 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619033422992 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8465] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8465/stat : 8465 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619032369424 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8466] ppid=8456 vsize=27314120 memory=140673466591919 CPUtime=0 cores=0-7 /proc/8459/task/8466/stat : 8466 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619031316880 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8467] ppid=8456 vsize=27314120 memory=140673466594224 CPUtime=0 cores=0-7 /proc/8459/task/8467/stat : 8467 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619030264336 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8468] ppid=8456 vsize=27314120 memory=140673466596528 CPUtime=0 cores=0-7 /proc/8459/task/8468/stat : 8468 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468603 27969658880 32072 33554432000 4194304 4196468 140721559384928 140619029211792 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8469] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8469/stat : 8469 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420468604 27969658880 32072 33554432000 4194304 4196468 140721559384928 140618000243184 140619612846722 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8470] ppid=8456 vsize=27314120 memory=281346933206928 CPUtime=0 cores=0-7 /proc/8459/task/8470/stat : 8470 (java) S 8456 8456 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420468605 27969658880 32072 33554432000 4194304 4196468 140721559384928 140617497699744 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8471] ppid=8456 vsize=27314120 memory=281346933204624 CPUtime=0 cores=0-7 /proc/8459/task/8471/stat : 8471 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468605 27969658880 32072 33554432000 4194304 4196468 140721559384928 140617229264368 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8472] ppid=8456 vsize=27314120 memory=281346933211536 CPUtime=0 cores=0-7 /proc/8459/task/8472/stat : 8472 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 32072 33554432000 4194304 4196468 140721559384928 140616854756048 140619612854171 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8473] ppid=8456 vsize=27314120 memory=281346933152816 CPUtime=0.01 cores=0-7 /proc/8459/task/8473/stat : 8473 (java) R 8456 8456 7985 0 -1 4202560 89 0 0 0 1 0 0 0 20 0 20 0 420468608 27969658880 32072 33554432000 4194304 4196468 140721559384928 140617999190000 140619605125024 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8474] ppid=8456 vsize=27314120 memory=281346933225360 CPUtime=0.01 cores=0-7 /proc/8459/task/8474/stat : 8474 (java) S 8456 8456 7985 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 20 0 420468608 27969658880 32072 33554432000 4194304 4196468 140721559384928 140617998137456 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8475] ppid=8456 vsize=27314120 memory=281346933232272 CPUtime=0.01 cores=0-7 /proc/8459/task/8475/stat : 8475 (java) S 8456 8456 7985 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 20 0 420468608 27969658880 32072 33554432000 4194304 4196468 140721559384928 140617997084912 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8476] ppid=8456 vsize=27314120 memory=281346933229968 CPUtime=0.07 cores=0-7 /proc/8459/task/8476/stat : 8476 (java) S 8456 8456 7985 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 420468608 27969658880 32072 33554432000 4194304 4196468 140721559384928 140617996032368 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8477] ppid=8456 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8477/stat : 8477 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 32072 33554432000 4194304 4196468 140721559384928 140616356850400 140619612845781 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8478] ppid=8456 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8459/task/8478/stat : 8478 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468608 27969658880 32072 33554432000 4194304 4196468 140721559384928 140617994980272 140619612846722 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129684 KiB [startup+0.700958 s] /proc/loadavg: 7.85 8.25 8.29 2/211 8478 /proc/meminfo: memFree=27950236/32770624 swapFree=66999940/67108860 [pid=8456] ppid=8453 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8456/stat : 8456 (scop.sh) S 8453 8456 7985 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 420468600 115843072 349 33554432000 4194304 5098028 140721208522576 140721208519832 140096397455996 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35442688 140721208525605 140721208525932 140721208525932 140721208528845 0 /proc/8456/statm: 28282 349 296 221 0 87 0 [pid=8459] ppid=8456 vsize=27320392 memory=165288 CPUtime=1.01 cores=0-7 /proc/8459/stat : 8459 (java) S 8456 8456 7985 0 -1 1077944320 19901 0 0 0 94 7 0 0 20 0 20 0 420468600 27976081408 41322 33554432000 4194304 4196468 140721559384928 140721559367472 140619612835575 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 /proc/8459/statm: 6830098 41322 3180 1 0 6791447 0 [pid=8459/tid=8460] ppid=8456 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/8459/task/8460/stat : 8460 (java) R 8456 8456 7985 0 -1 4202560 16927 0 0 0 62 6 0 0 20 0 20 0 420468601 27976081408 41322 33554432000 4194304 4196468 140721559384928 140619584673104 140619596916062 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8461] ppid=8456 vsize=27320392 memory=140673466803056 CPUtime=0 cores=0-7 /proc/8459/task/8461/stat : 8461 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27976081408 41322 33554432000 4194304 4196468 140721559384928 140619617078032 140619612845781 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8462] ppid=8456 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/8459/task/8462/stat : 8462 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420468603 27976081408 41322 33554432000 4194304 4196468 140721559384928 140619035528080 140619612845781 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 [pid=8459/tid=8463] ppid=8456 vsize=27320392 memory=776 CPUtime=0 cores=0-7 /proc/8459/task/8463/stat : 8463 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420468603 27976081408 41322 33554432000 4194304 4196468 140721559384928 140619034475536 140619612845781 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20570112 140721559388908 140721559389334 140721559389334 140721559392207 0 ################ # More data... # ################ /proc/8489/task/8493/stat : 8493 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 30342 33554432000 4194304 4196468 140735212432208 140349943261968 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8494] ppid=8456 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/8489/task/8494/stat : 8494 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 30342 33554432000 4194304 4196468 140735212432208 140349942209424 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8495] ppid=8456 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/8489/task/8495/stat : 8495 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 30342 33554432000 4194304 4196468 140735212432208 140349941156368 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8496] ppid=8456 vsize=8414124 memory=3388 CPUtime=0 cores=0-7 /proc/8489/task/8496/stat : 8496 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 30342 33554432000 4194304 4196468 140735212432208 140349940103824 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8497] ppid=8456 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8489/task/8497/stat : 8497 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 30342 33554432000 4194304 4196468 140735212432208 140349939050768 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8498] ppid=8456 vsize=8414124 memory=121368 CPUtime=0 cores=0-7 /proc/8489/task/8498/stat : 8498 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 30342 33554432000 4194304 4196468 140735212432208 140349937998224 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8499] ppid=8456 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/8489/task/8499/stat : 8499 (java) S 8456 8456 7985 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420471858 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348965018352 140350139914882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8500] ppid=8456 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/8489/task/8500/stat : 8500 (java) S 8456 8456 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420471859 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348793808544 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8501] ppid=8456 vsize=8414124 memory=2428 CPUtime=0 cores=0-7 /proc/8489/task/8501/stat : 8501 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471859 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348525372656 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8502] ppid=8456 vsize=8414124 memory=1608 CPUtime=0 cores=0-7 /proc/8489/task/8502/stat : 8502 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471861 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348150864336 140350139922331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8503] ppid=8456 vsize=8414124 memory=908 CPUtime=0.12 cores=0-7 /proc/8489/task/8503/stat : 8503 (java) S 8456 8456 7985 0 -1 1077944384 951 0 0 0 12 0 0 0 20 0 24 0 420471862 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348963965168 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8504] ppid=8456 vsize=8414124 memory=1440 CPUtime=0.05 cores=0-7 /proc/8489/task/8504/stat : 8504 (java) S 8456 8456 7985 0 -1 1077944384 287 0 0 0 5 0 0 0 20 0 24 0 420471862 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348962912624 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8505] ppid=8456 vsize=8414124 memory=1760 CPUtime=0.06 cores=0-7 /proc/8489/task/8505/stat : 8505 (java) S 8456 8456 7985 0 -1 1077944384 183 0 0 0 6 0 0 0 20 0 24 0 420471862 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348961859568 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8506] ppid=8456 vsize=8414124 memory=111632 CPUtime=0.21 cores=0-7 /proc/8489/task/8506/stat : 8506 (java) S 8456 8456 7985 0 -1 1077944384 544 0 0 0 21 0 0 0 20 0 24 0 420471862 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348960807024 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8507] ppid=8456 vsize=8414124 memory=800 CPUtime=0 cores=0-7 /proc/8489/task/8507/stat : 8507 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420471862 8616062976 30342 33554432000 4194304 4196468 140735212432208 140347652959200 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8508] ppid=8456 vsize=8414124 memory=1808 CPUtime=0.02 cores=0-7 /proc/8489/task/8508/stat : 8508 (java) S 8456 8456 7985 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 420471862 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348959755440 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8510] ppid=8456 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/8489/task/8510/stat : 8510 (java) S 8456 8456 7985 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420471930 8616062976 30342 33554432000 4194304 4196468 140735212432208 140348951721408 140350139928345 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8512] ppid=8456 vsize=8414124 memory=4144 CPUtime=0 cores=0-7 /proc/8489/task/8512/stat : 8512 (java) S 8456 8456 7985 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 420471931 8616062976 30342 33554432000 4194304 4196468 140735212432208 140346981858864 140350139925661 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8513] ppid=8456 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/8489/task/8513/stat : 8513 (java) S 8456 8456 7985 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420471931 8616062976 30342 33554432000 4194304 4196468 140735212432208 140347250294448 140350139925661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8514] ppid=8456 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/8489/task/8514/stat : 8514 (java) S 8456 8456 7985 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420471933 8616062976 30342 33554432000 4194304 4196468 140735212432208 140346713430960 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 Current children cumulated CPU time: 276.79 s Current children cumulated vsize: 12566432 KiB Current children cumulated memory: 3594792 KiB [startup+68.401 s] /proc/loadavg: 6.02 7.47 8.01 2/218 8525 /proc/meminfo: memFree=24333140/32770624 swapFree=66999940/67108860 [pid=8456] ppid=8453 vsize=113128 memory=1476 CPUtime=43.08 cores=0-7 /proc/8456/stat : 8456 (scop.sh) S 8453 8456 7985 0 -1 4202496 583 39456 0 0 0 0 4126 182 20 0 1 0 420468600 115843072 369 33554432000 4194304 5098028 140721208522576 140721208519320 140096397455996 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35442688 140721208525605 140721208525932 140721208525932 140721208528845 0 /proc/8456/statm: 28282 369 311 221 0 87 0 [pid=8489] ppid=8456 vsize=8414124 memory=128820 CPUtime=1.43 cores=0-7 /proc/8489/stat : 8489 (java) S 8456 8456 7985 0 -1 1077944320 21047 0 0 0 134 9 0 0 20 0 24 0 420471855 8616062976 32205 33554432000 4194304 4196468 140735212432208 140735212414752 140350139903735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 /proc/8489/statm: 2103531 32205 3219 1 0 2064875 0 [pid=8509] ppid=8489 vsize=4006848 memory=3472240 CPUtime=232.79 cores=0-7 /proc/8509/stat : 8509 (manyglucose-4.1) R 8489 8456 7985 0 -1 4202496 2789950 0 0 0 22725 554 0 0 20 0 1 0 420471930 4103012352 868060 33554432000 4194304 4454172 140730699450368 140730699447088 140280640285821 0 4 0 8388610 0 0 0 17 5 0 0 0 0 0 6552832 6554400 20496384 140730699457386 140730699457584 140730699457584 140730699460538 0 /proc/8509/statm: 1001712 868060 419 64 0 997380 0 [pid=8489/tid=8490] ppid=8456 vsize=8414124 memory=1440 CPUtime=0.77 cores=0-7 /proc/8489/task/8490/stat : 8490 (java) S 8456 8456 7985 0 -1 1077944384 16777 0 0 0 71 6 0 0 20 0 24 0 420471856 8616062976 32205 33554432000 4194304 4196468 140735212432208 140350111743904 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8491] ppid=8456 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8489/task/8491/stat : 8491 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140350144146448 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8492] ppid=8456 vsize=8414124 memory=288230621803970871 CPUtime=0 cores=0-7 /proc/8489/task/8492/stat : 8492 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140349944315024 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8493] ppid=8456 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8489/task/8493/stat : 8493 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140349943261968 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8494] ppid=8456 vsize=8414124 memory=121368 CPUtime=0 cores=0-7 /proc/8489/task/8494/stat : 8494 (java) S 8456 8456 7985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140349942209424 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8495] ppid=8456 vsize=8414124 memory=3903452 CPUtime=0 cores=0-7 /proc/8489/task/8495/stat : 8495 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140349941156368 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8496] ppid=8456 vsize=8414124 memory=121368 CPUtime=0 cores=0-7 /proc/8489/task/8496/stat : 8496 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140349940103824 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8497] ppid=8456 vsize=8414124 memory=4041332 CPUtime=0 cores=0-7 /proc/8489/task/8497/stat : 8497 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140349939050768 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8498] ppid=8456 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/8489/task/8498/stat : 8498 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471857 8616062976 32205 33554432000 4194304 4196468 140735212432208 140349937998224 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8499] ppid=8456 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8489/task/8499/stat : 8499 (java) S 8456 8456 7985 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 420471858 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348965018352 140350139914882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8500] ppid=8456 vsize=8414124 memory=992 CPUtime=0 cores=0-7 /proc/8489/task/8500/stat : 8500 (java) S 8456 8456 7985 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420471859 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348793808544 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8501] ppid=8456 vsize=8414124 memory=6008 CPUtime=0 cores=0-7 /proc/8489/task/8501/stat : 8501 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471859 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348525372656 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8502] ppid=8456 vsize=8414124 memory=1544 CPUtime=0 cores=0-7 /proc/8489/task/8502/stat : 8502 (java) S 8456 8456 7985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420471861 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348150864336 140350139922331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8503] ppid=8456 vsize=8414124 memory=776 CPUtime=0.14 cores=0-7 /proc/8489/task/8503/stat : 8503 (java) S 8456 8456 7985 0 -1 1077944384 970 0 0 0 14 0 0 0 20 0 24 0 420471862 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348963965168 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8504] ppid=8456 vsize=8414124 memory=1056 CPUtime=0.07 cores=0-7 /proc/8489/task/8504/stat : 8504 (java) R 8456 8456 7985 0 -1 4202560 318 0 0 0 7 0 0 0 20 0 24 0 420471862 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348962912624 140350124298060 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8505] ppid=8456 vsize=8414124 memory=14012 CPUtime=0.09 cores=0-7 /proc/8489/task/8505/stat : 8505 (java) S 8456 8456 7985 0 -1 1077944384 521 0 0 0 9 0 0 0 20 0 24 0 420471862 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348961859568 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8506] ppid=8456 vsize=8414124 memory=21528 CPUtime=0.24 cores=0-7 /proc/8489/task/8506/stat : 8506 (java) S 8456 8456 7985 0 -1 1077944384 1048 0 0 0 24 0 0 0 20 0 24 0 420471862 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348960807024 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8507] ppid=8456 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/8489/task/8507/stat : 8507 (java) S 8456 8456 7985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420471862 8616062976 32205 33554432000 4194304 4196468 140735212432208 140347652959200 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8508] ppid=8456 vsize=8414124 memory=2120 CPUtime=0.02 cores=0-7 /proc/8489/task/8508/stat : 8508 (java) S 8456 8456 7985 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 420471862 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348959755440 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8510] ppid=8456 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/8489/task/8510/stat : 8510 (java) S 8456 8456 7985 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420471930 8616062976 32205 33554432000 4194304 4196468 140735212432208 140348951721408 140350139928345 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8512] ppid=8456 vsize=8414124 memory=1560 CPUtime=0.04 cores=0-7 /proc/8489/task/8512/stat : 8512 (java) R 8456 8456 7985 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 24 0 420471931 8616062976 32205 33554432000 4194304 4196468 140735212432208 140346981858928 140350132606215 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8513] ppid=8456 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/8489/task/8513/stat : 8513 (java) S 8456 8456 7985 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420471931 8616062976 32205 33554432000 4194304 4196468 140735212432208 140347250294448 140350139925661 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8514] ppid=8456 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/8489/task/8514/stat : 8514 (java) S 8456 8456 7985 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 420471933 8616062976 32205 33554432000 4194304 4196468 140735212432208 140346713430960 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 Current children cumulated CPU time: 277.3 s Current children cumulated vsize: 12534100 KiB Current children cumulated memory: 3602536 KiB [startup+68.8017 s] /proc/loadavg: 6.02 7.47 8.01 2/218 8525 /proc/meminfo: memFree=24333140/32770624 swapFree=66999940/67108860 [pid=8456] ppid=8453 vsize=113128 memory=1476 CPUtime=43.08 cores=0-7 /proc/8456/stat : 8456 (scop.sh) S 8453 8456 7985 0 -1 4202496 583 39456 0 0 0 0 4126 182 20 0 1 0 420468600 115843072 369 33554432000 4194304 5098028 140721208522576 140721208519320 140096397455996 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35442688 140721208525605 140721208525932 140721208525932 140721208528845 0 /proc/8456/statm: 28282 369 311 221 0 87 0 [pid=8489] ppid=8456 vsize=8283048 memory=230200 CPUtime=235.14 cores=0-7 /proc/8489/stat : 8489 (java) S 8456 8456 7985 0 -1 1077944320 23005 2789956 0 0 198 15 22730 571 20 0 22 0 420471855 8481841152 57550 33554432000 4194304 4196468 140735212432208 140735212414752 140350139903735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 /proc/8489/statm: 2070762 57550 3235 1 0 2032106 0 [pid=8489/tid=8490] ppid=8456 vsize=8283048 memory=1056 CPUtime=233.95 cores=0-7 /proc/8489/task/8490/stat : 8490 (java) R 8456 8456 7985 0 -1 4202560 18151 2789956 0 0 85 9 22730 571 20 0 22 0 420471856 8481841152 57550 33554432000 4194304 4196468 140735212432208 140350111745512 140350132589367 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8491] ppid=8456 vsize=8283048 memory=8112282956445269571 CPUtime=233.01 cores=0-7 /proc/8489/task/8491/stat : 8491 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140350144146448 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8492] ppid=8456 vsize=8283048 memory=121368 CPUtime=233.01 cores=0-7 /proc/8489/task/8492/stat : 8492 (java) S 8456 8456 7985 0 -1 1077944384 3 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140349944315024 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8493] ppid=8456 vsize=8283048 memory=3471880 CPUtime=233.01 cores=0-7 /proc/8489/task/8493/stat : 8493 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140349943261968 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8494] ppid=8456 vsize=8283048 memory=121368 CPUtime=233.01 cores=0-7 /proc/8489/task/8494/stat : 8494 (java) S 8456 8456 7985 0 -1 1077944384 2 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140349942209424 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8495] ppid=8456 vsize=8283048 memory=1476 CPUtime=233.01 cores=0-7 /proc/8489/task/8495/stat : 8495 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140349941156368 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8496] ppid=8456 vsize=8283048 memory=121368 CPUtime=233.01 cores=0-7 /proc/8489/task/8496/stat : 8496 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140349940103824 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8497] ppid=8456 vsize=8283048 memory=3471948 CPUtime=233.01 cores=0-7 /proc/8489/task/8497/stat : 8497 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140349939050768 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8498] ppid=8456 vsize=8283048 memory=1660 CPUtime=233.01 cores=0-7 /proc/8489/task/8498/stat : 8498 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471857 8481841152 57550 33554432000 4194304 4196468 140735212432208 140349937998224 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8499] ppid=8456 vsize=8283048 memory=1476 CPUtime=233.01 cores=0-7 /proc/8489/task/8499/stat : 8499 (java) S 8456 8456 7985 0 -1 1077944384 7 2789956 0 0 0 0 22730 571 20 0 22 0 420471858 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348965018352 140350139914882 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8500] ppid=8456 vsize=8283048 memory=121368 CPUtime=233.01 cores=0-7 /proc/8489/task/8500/stat : 8500 (java) S 8456 8456 7985 0 -1 1077944384 13 2789956 0 0 0 0 22730 571 20 0 22 0 420471859 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348793808544 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8501] ppid=8456 vsize=8283048 memory=3471872 CPUtime=233.01 cores=0-7 /proc/8489/task/8501/stat : 8501 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471859 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348525372656 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8502] ppid=8456 vsize=8283048 memory=0 CPUtime=233.01 cores=0-7 /proc/8489/task/8502/stat : 8502 (java) S 8456 8456 7985 0 -1 1077944384 1 2789956 0 0 0 0 22730 571 20 0 22 0 420471861 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348150864336 140350139922331 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8503] ppid=8456 vsize=8283048 memory=281346934322544 CPUtime=233.22 cores=0-7 /proc/8489/task/8503/stat : 8503 (java) S 8456 8456 7985 0 -1 1077944384 996 2789956 0 0 21 0 22730 571 20 0 22 0 420471862 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348963965168 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8504] ppid=8456 vsize=8283048 memory=3471888 CPUtime=233.18 cores=0-7 /proc/8489/task/8504/stat : 8504 (java) S 8456 8456 7985 0 -1 1077944384 440 2789956 0 0 16 1 22730 571 20 0 22 0 420471862 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348962912624 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8505] ppid=8456 vsize=8283048 memory=1056 CPUtime=233.19 cores=0-7 /proc/8489/task/8505/stat : 8505 (java) S 8456 8456 7985 0 -1 1077944384 578 2789956 0 0 18 0 22730 571 20 0 22 0 420471862 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348961859568 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8506] ppid=8456 vsize=8283048 memory=14012 CPUtime=233.35 cores=0-7 /proc/8489/task/8506/stat : 8506 (java) S 8456 8456 7985 0 -1 1077944384 1217 2789956 0 0 34 0 22730 571 20 0 22 0 420471862 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348960807024 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8507] ppid=8456 vsize=8283048 memory=21528 CPUtime=233.01 cores=0-7 /proc/8489/task/8507/stat : 8507 (java) S 8456 8456 7985 0 -1 1077944384 3 2789956 0 0 0 0 22730 571 20 0 22 0 420471862 8481841152 57550 33554432000 4194304 4196468 140735212432208 140347652959200 140350139913941 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8508] ppid=8456 vsize=8283048 memory=12024 CPUtime=233.03 cores=0-7 /proc/8489/task/8508/stat : 8508 (java) S 8456 8456 7985 0 -1 1077944384 5 2789956 0 0 0 2 22730 571 20 0 22 0 420471862 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348959755440 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8510] ppid=8456 vsize=8283048 memory=2120 CPUtime=233.01 cores=0-7 /proc/8489/task/8510/stat : 8510 (java) S 8456 8456 7985 0 -1 1077944384 25 2789956 0 0 0 0 22730 571 20 0 22 0 420471930 8481841152 57550 33554432000 4194304 4196468 140735212432208 140348951720592 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 [pid=8489/tid=8514] ppid=8456 vsize=8283048 memory=496 CPUtime=233.01 cores=0-7 /proc/8489/task/8514/stat : 8514 (java) S 8456 8456 7985 0 -1 1077944384 9 2789956 0 0 0 0 22730 571 20 0 22 0 420471933 8481841152 57550 33554432000 4194304 4196468 140735212432208 140346713432752 140350139914882 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8736768 140735212434424 140735212434582 140735212434582 140735212437455 0 Current children cumulated CPU time: 278.22 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 231676 KiB Child status: 0 Real time (s): 68.8173 CPU time (s): 278.277 CPU user time (s): 270.56 CPU system time (s): 7.71691 CPU usage (%): 404.37 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 6072320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 270.56 system time used= 7.71691 maximum resident set size= 6071612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2853037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 339416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 73104 involuntary context switches= 2415 # summary of solver processes directly reported to runsolver: # pid: 8456 # total CPU time (s): 278.277 # total CPU user time (s): 270.56 # total CPU system time (s): 7.71691 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.536246 second user time and 0.886027 second system time The end
Begin job on node123 at 2019-09-14 08:19:58 IDJOB=4392479 IDBENCH=138476 IDSOLVER=2838 FILE ID=node123/4392479-1568442037 RUNJOBID= node123-1568439477-8012 PBS_JOBID= 21702334 Free space on /tmp= 59184 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-16.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4392479-1568442037/watcher-4392479-1568442037 -o /tmp/evaluation-result-4392479-1568442037/solver-4392479-1568442037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568439477-8012 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392479-1568442037.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 60f46a78fc335bdeaa2bda0ed3237a46 RANDOM SEED=742526249 node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28091488 kB MemAvailable: 31873556 kB Buffers: 152892 kB Cached: 3894436 kB SwapCached: 7372 kB Active: 1243024 kB Inactive: 2817268 kB Active(anon): 4156 kB Inactive(anon): 50180 kB Active(file): 1238868 kB Inactive(file): 2767088 kB Unevictable: 106644 kB Mlocked: 106644 kB SwapTotal: 67108860 kB SwapFree: 66999940 kB Dirty: 21112 kB Writeback: 28 kB AnonPages: 112832 kB Mapped: 44724 kB Shmem: 32692 kB Slab: 213484 kB SReclaimable: 183892 kB SUnreclaim: 29592 kB KernelStack: 3392 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497660 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 59164 MiB End job on node123 at 2019-09-14 08:21:07