Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 278.184 | 67.1202 |
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-9907-serial-file.bin HOME/instance-4405339-1569357803.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Tue Sep 24 22:42:41 CEST 2019 0.65/0.56 c PID: 9910 0.65/0.56 c IP: 172.20.3.141 0.65/0.56 c HOST: node141.alineos.net 0.65/0.57 c (0,0) Parsing Begin 5.63/1.88 c (1,1) Parsing End 5.63/1.89 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1309 5.63/1.89 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.63/1.89 c (1,1) Constraint Name Generate Begin 6.03/1.93 c (1,1) Ctr:HOME/instance-4405339-1569357803.xml,Add:Le:Ne:Num:Or:Var 6.03/1.93 c (1,1) Constraint Name Generate End 6.03/1.93 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.03/1.93 c (1,1) CSP to CSPinCNF Begin 6.57/2.20 c (1,1) translated 558 (10%) constraints 6.82/2.26 c (1,1) translated 1116 (20%) constraints 7.22/2.31 c (1,1) translated 1674 (30%) constraints 7.22/2.35 c (1,1) translated 2232 (40%) constraints 7.22/2.39 c (1,1) translated 2790 (50%) constraints 7.62/2.43 c (1,1) translated 3348 (60%) constraints 7.62/2.47 c (1,1) translated 3906 (70%) constraints 8.02/2.50 c (1,1) translated 4464 (80%) constraints 8.02/2.53 c (1,1) translated 5022 (90%) constraints 8.02/2.56 c (2,2) translated 5580 (100%) constraints 8.02/2.56 c (2,2) =========================================== 8.02/2.56 c (2,2) Order 8.02/2.56 c (2,2) =========================================== 8.02/2.59 c (2,2) translated 558 (10%) constraints 8.45/2.61 c (2,2) translated 1116 (20%) constraints 8.45/2.63 c (2,2) translated 1674 (30%) constraints 8.45/2.64 c (2,2) translated 2232 (40%) constraints 8.45/2.66 c (2,2) translated 2790 (50%) constraints 8.45/2.68 c (2,2) translated 3348 (60%) constraints 8.45/2.69 c (2,2) translated 3906 (70%) constraints 8.73/2.70 c (2,2) translated 4464 (80%) constraints 8.73/2.71 c (2,2) translated 5022 (90%) constraints 8.73/2.73 c (2,2) translated 5580 (100%) constraints 8.73/2.73 c (2,2) CSP to CSPinCNF End 8.73/2.73 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272 8.73/2.73 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.73/2.73 c (2,2) CSPinCNF Propagation Begin 9.11/2.83 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.11/2.83 c (2,2) CSPinCNF Propagation End 9.11/2.83 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1272 9.11/2.83 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.11/2.83 c (2,2) Simplify CSPinCNF Begin 9.86/3.09 c (2,2) Simplify CSPinCNF End 9.86/3.10 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272 9.86/3.10 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.86/3.10 c (2,2) Calculate Precise Domain Begin 9.86/3.10 c (2,2) 0 values are removed by re-calculation 9.86/3.10 c (2,2) Calculate Precise Domain End 9.86/3.10 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1272 9.86/3.10 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.86/3.10 c (2,2) CSPinCNF to SatSolver Begin 15.92/6.80 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 1058401 SAT clauses) 19.06/9.56 c (9,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1714558 SAT clauses) 21.58/12.04 c (11,11) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2391184 SAT clauses) 24.11/14.54 c (14,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 3079265 SAT clauses) 26.97/17.10 c (16,16) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3765099 SAT clauses) 29.66/19.65 c (19,18) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4461403 SAT clauses) 32.06/21.82 c (21,21) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 5041294 SAT clauses) 34.48/24.24 c (23,23) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5703695 SAT clauses) 37.24/26.81 c (26,26) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 6398071 SAT clauses) 39.85/29.46 c (28,28) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 7395776 SAT clauses) 39.85/29.46 c (28,28) CSPinCNF to SatSolver End 39.85/29.46 c (28,28) Heap : 3049 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 39.85/29.46 c (28,28) 377286 bool, 7396275 clause 39.85/29.46 c (28,28) Export Begin 39.97/29.57 c (29,28) Export to HOME/scop-9907-serial-file.bin 39.97/29.57 c (29,28) Export End 39.97/29.57 c (29,28) Export File Size: 0.07 MB 39.97/29.57 c (29,28) 1,1,2,2,2,2,28,STOP-AFTER(DIMACS) 39.97/29.57 c END-Prog: Tue Sep 24 22:43:10 CEST 2019 0.00/29.62 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9907-serial-file.bin 40.19/30.07 c (0,0) Read Serial File Begin 40.19/30.07 c (0,0) HOME/scop-9907-serial-file.bin 41.19/30.31 c (0,0) Read Serial File End 41.19/30.32 41.45/30.70 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 41.45/30.70 (Solving Process) 41.45/30.70 41.45/30.70 c BEGIN-Prog: Tue Sep 24 22:43:10 CEST 2019 41.45/30.70 c PID: 9933 41.45/30.70 c IP: 172.20.3.141 41.45/30.70 c HOST: node141.alineos.net 41.45/30.70 c (0,0) SatSolver.solve Begin 41.45/30.70 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405339-1569357803.xml-scop-9910.cnf 41.45/30.70 c (0,0) c 41.45/30.70 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) 41.45/30.70 c (0,0) c 41.45/30.70 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 41.45/30.70 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 41.45/30.70 c (0,0) c ========================================[ Problem Statistics ]=========================================== 41.45/30.70 c (0,0) c | | 44.25/33.57 c (3,0) c | Number of variables: 377286 | 44.25/33.57 c (3,0) c | Number of clauses: 7276869 | 44.25/33.57 c (3,0) c | Parse time: 2.61 s | 44.25/33.57 c (3,0) c | | 44.75/34.05 c (4,0) c | Too many clauses... No preprocessing | 44.75/34.05 c (4,0) c | Simplification time: 0.42 s | 44.75/34.05 c (4,0) c | | 44.75/34.05 c (4,0) c | Generating clones | 46.55/35.86 c (5,0) c | all clones generated. Memory = 3844.91Mb. | 46.55/35.86 c (5,0) c ========================================================================================================| 46.55/35.86 c (5,0) c 46.55/35.86 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 46.55/35.86 c (5,0) c 46.55/35.86 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.55/35.86 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 46.55/35.86 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 46.55/35.86 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 46.55/35.86 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 46.55/35.86 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 46.55/35.86 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 46.55/35.86 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 46.55/35.86 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 46.55/35.86 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 46.55/35.86 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 46.55/35.86 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 46.55/35.86 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 46.55/35.86 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 46.55/35.86 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 46.55/35.86 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 46.55/35.86 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 46.55/35.86 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 46.55/35.86 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c 276.96/66.64 c (36,0) c real time : 36.2712 s 276.96/66.64 c (36,0) c cpu time : 229.677 s 276.96/66.64 c (36,0) c 276.96/66.64 c (36,0) c 276.96/66.64 c (36,0) c 276.96/66.64 c (36,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 276.96/66.64 c (36,0) c 276.96/66.64 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 276.96/66.64 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c | Conflicts | 29734 | 3678 | 3634 | 3733 | 3344 | 4103 | 3540 | 3882 | 3820 | 276.96/66.64 c (36,0) c | Decisions | 85389 | 10384 | 8676 | 15301 | 7646 | 12473 | 8975 | 8452 | 13482 | 276.96/66.64 c (36,0) c | Propagations | 376283250 | 46706319 | 46756872 | 49442838 | 46470480 | 47436193 | 46480246 | 45711964 | 47278338 | 276.96/66.64 c (36,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 276.96/66.64 c (36,0) c | SimpDBs | 23 | 3 | 3 | 3 | 3 | 2 | 3 | 3 | 3 | 276.96/66.64 c (36,0) c | Restarts | 98 | 7 | 15 | 22 | 10 | 9 | 12 | 6 | 17 | 276.96/66.64 c (36,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 276.96/66.64 c (36,0) c | PropBinClauses| 1211843757 | 150553043 | 152278239 | 153958591 | 153060880 | 151635785 | 149338311 | 149937301 | 151081607 | 276.96/66.64 c (36,0) c | PropPreBlocker| 7168261980 | 888725763 | 885350443 | 888177683 | 902539896 | 918012343 | 886856129 | 908398312 | 890201411 | 276.96/66.64 c (36,0) c | PropNotBlocker| 706541973 | 87851134 | 89446548 | 90642595 | 89797983 | 87894140 | 91222869 | 83819886 | 85866818 | 276.96/66.64 c (36,0) c | LitFullScans | 9504963306 | 1180599427 | 1180952336 | 1185822785 | 1198745737 | 1198571084 | 1180609111 | 1198624475 | 1181038351 | 276.96/66.64 c (36,0) c | LitScanFracts | 980856 | 110040 | 119425 | 136911 | 133310 | 86719 | 113529 | 141343 | 139579 | 276.96/66.64 c (36,0) c | DecisionLevel0| 229 | 19 | 35 | 42 | 19 | 25 | 30 | 13 | 46 | 276.96/66.64 c (36,0) c | Periods | 1577 | 196 | 196 | 196 | 199 | 199 | 196 | 199 | 196 | 276.96/66.64 c (36,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 276.96/66.64 c (36,0) c | Avg_Trail | | 291041 | 287393 | 293232 | 283711 | 293989 | 289373 | 301030 | 295808 | 276.96/66.64 c (36,0) c | Avg_DL | | 49 | 34 | 51 | 40 | 50 | 41 | 50 | 47 | 276.96/66.64 c (36,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 276.96/66.64 c (36,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 276.96/66.64 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c | Exported | 2367 | 366 | 239 | 376 | 201 | 369 | 283 | 174 | 359 | 276.96/66.64 c (36,0) c | Imported | 13176 | 1673 | 1597 | 1671 | 1846 | 1245 | 1722 | 1748 | 1674 | 276.96/66.64 c (36,0) c | Good | 334 | 38 | 33 | 44 | 48 | 33 | 48 | 45 | 45 | 276.96/66.64 c (36,0) c | Purge | 12842 | 1635 | 1564 | 1627 | 1798 | 1212 | 1674 | 1703 | 1629 | 276.96/66.64 c (36,0) c | Promoted | 342 | 55 | 28 | 49 | 35 | 44 | 58 | 36 | 37 | 276.96/66.64 c (36,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 276.96/66.64 c (36,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 276.96/66.64 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c | Unaries | | 12 | 20 | 20 | 9 | 16 | 18 | 7 | 29 | 276.96/66.64 c (36,0) c | Binaries | | 17 | 8 | 9 | 5 | 6 | 5 | 3 | 14 | 276.96/66.64 c (36,0) c | Glues | | 366 | 239 | 376 | 201 | 369 | 283 | 174 | 359 | 276.96/66.64 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c | Orig_Seen | 1 % | 85214 | 82666 | 85395 | 76631 | 80060 | 78294 | 82925 | 79496 | 276.96/66.64 c (36,0) c | Diff Orig seen| | - 181 | - 2729 | X | - 8764 | - 5335 | - 7101 | - 2470 | - 5899 | 276.96/66.64 c (36,0) c | Hamming | 13 % | 57415 | 55770 | X | 54895 | 60727 | 39476 | 45825 | 55472 | 276.96/66.64 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c | RunningTime | | 30.2 100%| 30.8 100%| 28.7 100%| 27.9 97%| 28.4 99%| 29.7 100%| 28.0 98%| 29.0 100%| 276.96/66.64 c (36,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.9 3%| 0.3 1%| 0.0 0%| 0.7 2%| 0.0 0%| 276.96/66.64 c (36,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 276.96/66.64 c (36,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 276.96/66.64 c (36,0) c | SolvingTime | | 30.2 | 30.8 | 28.7 | 28.8 | 28.7 | 29.7 | 28.7 | 29.0 | 276.96/66.64 c (36,0) c | PropagationTim| | 28.1 93%| 28.6 93%| 26.7 93%| 26.1 91%| 26.7 93%| 27.6 93%| 26.5 92%| 27.0 93%| 276.96/66.64 c (36,0) c | AnalysisTime | | 0.4 1%| 0.4 1%| 0.4 1%| 0.4 1%| 0.4 2%| 0.4 1%| 0.5 2%| 0.4 1%| 276.96/66.64 c (36,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 276.96/66.64 c (36,0) c | SimplifyTime | | 1.1 4%| 1.2 4%| 1.0 4%| 1.7 6%| 0.9 3%| 1.1 4%| 1.1 4%| 1.0 3%| 276.96/66.64 c (36,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 276.96/66.64 c (36,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 276.96/66.64 c (36,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.64 c (36,0) c 276.96/66.64 c (36,0) c 276.96/66.64 c (36,0) c Threads : 8 276.96/66.64 c (36,0) c Winner : 2 276.96/66.64 c (36,0) c Conflicts_0 : 3678 276.96/66.64 c (36,0) c Conflicts_1 : 3634 276.96/66.64 c (36,0) c Conflicts_2 : 3733 276.96/66.64 c (36,0) c Conflicts_3 : 3344 276.96/66.64 c (36,0) c Conflicts_4 : 4103 276.96/66.64 c (36,0) c Conflicts_5 : 3540 276.96/66.64 c (36,0) c Conflicts_6 : 3882 276.96/66.64 c (36,0) c Conflicts_7 : 3820 276.96/66.64 c (36,0) c Conflicts_total : 29734 276.96/66.64 c (36,0) c Conflicts_winner : 3733 276.96/66.64 c (36,0) c Decisions_0 : 10384 276.96/66.64 c (36,0) c Decisions_1 : 8676 276.96/66.64 c (36,0) c Decisions_2 : 15301 276.96/66.64 c (36,0) c Decisions_3 : 7646 276.96/66.64 c (36,0) c Decisions_4 : 12473 276.96/66.64 c (36,0) c Decisions_5 : 8975 276.96/66.64 c (36,0) c Decisions_6 : 8452 276.96/66.64 c (36,0) c Decisions_7 : 13482 276.96/66.65 c (36,0) c Decisions_total : 85389 276.96/66.65 c (36,0) c Decisions_winner : 15301 276.96/66.65 c (36,0) c Propagations_0 : 46706319 276.96/66.65 c (36,0) c Propagations_1 : 46756872 276.96/66.65 c (36,0) c Propagations_2 : 49442838 276.96/66.65 c (36,0) c Propagations_3 : 46470480 276.96/66.65 c (36,0) c Propagations_4 : 47436193 276.96/66.65 c (36,0) c Propagations_5 : 46480246 276.96/66.65 c (36,0) c Propagations_6 : 45711964 276.96/66.65 c (36,0) c Propagations_7 : 47278338 276.96/66.65 c (36,0) c Propagations_total : 376283250 276.96/66.65 c (36,0) c Propagations_winner : 49442838 276.96/66.65 c (36,0) c ReduceDBs_0 : 1 276.96/66.65 c (36,0) c ReduceDBs_1 : 1 276.96/66.65 c (36,0) c ReduceDBs_2 : 1 276.96/66.65 c (36,0) c ReduceDBs_3 : 1 276.96/66.65 c (36,0) c ReduceDBs_4 : 1 276.96/66.65 c (36,0) c ReduceDBs_5 : 1 276.96/66.65 c (36,0) c ReduceDBs_6 : 1 276.96/66.65 c (36,0) c ReduceDBs_7 : 1 276.96/66.65 c (36,0) c ReduceDBs_total : 8 276.96/66.65 c (36,0) c ReduceDBs_winner : 1 276.96/66.65 c (36,0) c SimpDBs_0 : 3 276.96/66.65 c (36,0) c SimpDBs_1 : 3 276.96/66.65 c (36,0) c SimpDBs_2 : 3 276.96/66.65 c (36,0) c SimpDBs_3 : 3 276.96/66.65 c (36,0) c SimpDBs_4 : 2 276.96/66.65 c (36,0) c SimpDBs_5 : 3 276.96/66.65 c (36,0) c SimpDBs_6 : 3 276.96/66.65 c (36,0) c SimpDBs_7 : 3 276.96/66.65 c (36,0) c SimpDBs_total : 23 276.96/66.65 c (36,0) c SimpDBs_winner : 3 276.96/66.65 c (36,0) c Restarts_0 : 7 276.96/66.65 c (36,0) c Restarts_1 : 15 276.96/66.65 c (36,0) c Restarts_2 : 22 276.96/66.65 c (36,0) c Restarts_3 : 10 276.96/66.65 c (36,0) c Restarts_4 : 9 276.96/66.65 c (36,0) c Restarts_5 : 12 276.96/66.65 c (36,0) c Restarts_6 : 6 276.96/66.65 c (36,0) c Restarts_7 : 17 276.96/66.65 c (36,0) c Restarts_total : 98 276.96/66.65 c (36,0) c Restarts_winner : 22 276.96/66.65 c (36,0) c ForcedImports_0 : 0 276.96/66.65 c (36,0) c ForcedImports_1 : 0 276.96/66.65 c (36,0) c ForcedImports_2 : 0 276.96/66.65 c (36,0) c ForcedImports_3 : 0 276.96/66.65 c (36,0) c ForcedImports_4 : 0 276.96/66.65 c (36,0) c ForcedImports_5 : 0 276.96/66.65 c (36,0) c ForcedImports_6 : 0 276.96/66.65 c (36,0) c ForcedImports_7 : 0 276.96/66.65 c (36,0) c ForcedImports_total : 0 276.96/66.65 c (36,0) c ForcedImports_winner : 0 276.96/66.65 c (36,0) c PropsBinClauses_0 : 150553043 276.96/66.65 c (36,0) c PropsBinClauses_1 : 152278239 276.96/66.65 c (36,0) c PropsBinClauses_2 : 153958591 276.96/66.65 c (36,0) c PropsBinClauses_3 : 153060880 276.96/66.65 c (36,0) c PropsBinClauses_4 : 151635785 276.96/66.65 c (36,0) c PropsBinClauses_5 : 149338311 276.96/66.65 c (36,0) c PropsBinClauses_6 : 149937301 276.96/66.65 c (36,0) c PropsBinClauses_7 : 151081607 276.96/66.65 c (36,0) c PropsBinClauses_total : 1211843757 276.96/66.65 c (36,0) c PropsBinClauses_winner : 153958591 276.96/66.65 c (36,0) c PropsPreBlocker_0 : 888725763 276.96/66.65 c (36,0) c PropsPreBlocker_1 : 885350443 276.96/66.65 c (36,0) c PropsPreBlocker_2 : 888177683 276.96/66.65 c (36,0) c PropsPreBlocker_3 : 902539896 276.96/66.65 c (36,0) c PropsPreBlocker_4 : 918012343 276.96/66.65 c (36,0) c PropsPreBlocker_5 : 886856129 276.96/66.65 c (36,0) c PropsPreBlocker_6 : 908398312 276.96/66.65 c (36,0) c PropsPreBlocker_7 : 890201411 276.96/66.65 c (36,0) c PropsPreBlocker_total : 7168261980 276.96/66.65 c (36,0) c PropsPreBlocker_winner : 888177683 276.96/66.65 c (36,0) c PropsNotBlocker_0 : 87851134 276.96/66.65 c (36,0) c PropsNotBlocker_1 : 89446548 276.96/66.65 c (36,0) c PropsNotBlocker_2 : 90642595 276.96/66.65 c (36,0) c PropsNotBlocker_3 : 89797983 276.96/66.65 c (36,0) c PropsNotBlocker_4 : 87894140 276.96/66.65 c (36,0) c PropsNotBlocker_5 : 91222869 276.96/66.65 c (36,0) c PropsNotBlocker_6 : 83819886 276.96/66.65 c (36,0) c PropsNotBlocker_7 : 85866818 276.96/66.65 c (36,0) c PropsNotBlocker_total : 706541973 276.96/66.65 c (36,0) c PropsNotBlocker_winner : 90642595 276.96/66.65 c (36,0) c PropsLitFullScans_0 : 1180599427 276.96/66.65 c (36,0) c PropsLitFullScans_1 : 1180952336 276.96/66.65 c (36,0) c PropsLitFullScans_2 : 1185822785 276.96/66.65 c (36,0) c PropsLitFullScans_3 : 1198745737 276.96/66.65 c (36,0) c PropsLitFullScans_4 : 1198571084 276.96/66.65 c (36,0) c PropsLitFullScans_5 : 1180609111 276.96/66.65 c (36,0) c PropsLitFullScans_6 : 1198624475 276.96/66.65 c (36,0) c PropsLitFullScans_7 : 1181038351 276.96/66.65 c (36,0) c PropsLitFullScans_total : 9504963306 276.96/66.65 c (36,0) c PropsLitFullScans_winner : 1185822785 276.96/66.65 c (36,0) c LitScanFractions_0 : 110040 276.96/66.65 c (36,0) c LitScanFractions_1 : 119425 276.96/66.65 c (36,0) c LitScanFractions_2 : 136911 276.96/66.65 c (36,0) c LitScanFractions_3 : 133310 276.96/66.65 c (36,0) c LitScanFractions_4 : 86719 276.96/66.65 c (36,0) c LitScanFractions_5 : 113529 276.96/66.65 c (36,0) c LitScanFractions_6 : 141343 276.96/66.65 c (36,0) c LitScanFractions_7 : 139579 276.96/66.65 c (36,0) c LitScanFractions_total : 980856 276.96/66.65 c (36,0) c LitScanFractions_winner : 136911 276.96/66.65 c (36,0) c DecisionLevel0_0 : 19 276.96/66.65 c (36,0) c DecisionLevel0_1 : 35 276.96/66.65 c (36,0) c DecisionLevel0_2 : 42 276.96/66.65 c (36,0) c DecisionLevel0_3 : 19 276.96/66.65 c (36,0) c DecisionLevel0_4 : 25 276.96/66.65 c (36,0) c DecisionLevel0_5 : 30 276.96/66.65 c (36,0) c DecisionLevel0_6 : 13 276.96/66.65 c (36,0) c DecisionLevel0_7 : 46 276.96/66.65 c (36,0) c DecisionLevel0_total : 229 276.96/66.65 c (36,0) c DecisionLevel0_winner : 42 276.96/66.65 c (36,0) c Periods_0 : 196 276.96/66.65 c (36,0) c Periods_1 : 196 276.96/66.65 c (36,0) c Periods_2 : 196 276.96/66.65 c (36,0) c Periods_3 : 199 276.96/66.65 c (36,0) c Periods_4 : 199 276.96/66.65 c (36,0) c Periods_5 : 196 276.96/66.65 c (36,0) c Periods_6 : 199 276.96/66.65 c (36,0) c Periods_7 : 196 276.96/66.65 c (36,0) c Periods_total : 1577 276.96/66.65 c (36,0) c Periods_winner : 196 276.96/66.65 c (36,0) c Margin_0 : 20 276.96/66.65 c (36,0) c Margin_1 : 20 276.96/66.65 c (36,0) c Margin_2 : 20 276.96/66.65 c (36,0) c Margin_3 : 20 276.96/66.65 c (36,0) c Margin_4 : 20 276.96/66.65 c (36,0) c Margin_5 : 20 276.96/66.65 c (36,0) c Margin_6 : 20 276.96/66.65 c (36,0) c Margin_7 : 20 276.96/66.65 c (36,0) c Margin_total : 160 276.96/66.65 c (36,0) c Margin_winner : 20 276.96/66.65 c (36,0) c Exported_0 : 366 276.96/66.65 c (36,0) c Exported_1 : 239 276.96/66.65 c (36,0) c Exported_2 : 376 276.96/66.65 c (36,0) c Exported_3 : 201 276.96/66.65 c (36,0) c Exported_4 : 369 276.96/66.65 c (36,0) c Exported_5 : 283 276.96/66.65 c (36,0) c Exported_6 : 174 276.96/66.65 c (36,0) c Exported_7 : 359 276.96/66.65 c (36,0) c Exported_total : 2367 276.96/66.65 c (36,0) c Exported_winner : 376 276.96/66.65 c (36,0) c Imported_0 : 1673 276.96/66.65 c (36,0) c Imported_1 : 1597 276.96/66.65 c (36,0) c Imported_2 : 1671 276.96/66.65 c (36,0) c Imported_3 : 1846 276.96/66.65 c (36,0) c Imported_4 : 1245 276.96/66.65 c (36,0) c Imported_5 : 1722 276.96/66.65 c (36,0) c Imported_6 : 1748 276.96/66.65 c (36,0) c Imported_7 : 1674 276.96/66.65 c (36,0) c Imported_total : 13176 276.96/66.65 c (36,0) c Imported_winner : 1671 276.96/66.65 c (36,0) c Good_0 : 38 276.96/66.65 c (36,0) c Good_1 : 33 276.96/66.65 c (36,0) c Good_2 : 44 276.96/66.65 c (36,0) c Good_3 : 48 276.96/66.65 c (36,0) c Good_4 : 33 276.96/66.65 c (36,0) c Good_5 : 48 276.96/66.65 c (36,0) c Good_6 : 45 276.96/66.65 c (36,0) c Good_7 : 45 276.96/66.65 c (36,0) c Good_total : 334 276.96/66.65 c (36,0) c Good_winner : 44 276.96/66.65 c (36,0) c Purge_0 : 1635 276.96/66.65 c (36,0) c Purge_1 : 1564 276.96/66.65 c (36,0) c Purge_2 : 1627 276.96/66.65 c (36,0) c Purge_3 : 1798 276.96/66.65 c (36,0) c Purge_4 : 1212 276.96/66.65 c (36,0) c Purge_5 : 1674 276.96/66.65 c (36,0) c Purge_6 : 1703 276.96/66.65 c (36,0) c Purge_7 : 1629 276.96/66.65 c (36,0) c Purge_total : 12842 276.96/66.65 c (36,0) c Purge_winner : 1627 276.96/66.65 c (36,0) c Promoted_0 : 55 276.96/66.65 c (36,0) c Promoted_1 : 28 276.96/66.65 c (36,0) c Promoted_2 : 49 276.96/66.65 c (36,0) c Promoted_3 : 35 276.96/66.65 c (36,0) c Promoted_4 : 44 276.96/66.65 c (36,0) c Promoted_5 : 58 276.96/66.65 c (36,0) c Promoted_6 : 36 276.96/66.65 c (36,0) c Promoted_7 : 37 276.96/66.65 c (36,0) c Promoted_total : 342 276.96/66.65 c (36,0) c Promoted_winner : 49 276.96/66.65 c (36,0) c Remove_Imp_0 : 0 276.96/66.65 c (36,0) c Remove_Imp_1 : 0 276.96/66.65 c (36,0) c Remove_Imp_2 : 0 276.96/66.65 c (36,0) c Remove_Imp_3 : 0 276.96/66.65 c (36,0) c Remove_Imp_4 : 0 276.96/66.65 c (36,0) c Remove_Imp_5 : 0 276.96/66.65 c (36,0) c Remove_Imp_6 : 0 276.96/66.65 c (36,0) c Remove_Imp_7 : 0 276.96/66.65 c (36,0) c Remove_Imp_total : 0 276.96/66.65 c (36,0) c Remove_Imp_winner : 0 276.96/66.65 c (36,0) c Blocked_Reuse_0 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_1 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_2 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_3 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_4 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_5 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_6 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_7 : 0 276.96/66.65 c (36,0) c Blocked_Reuse_total : 0 276.96/66.65 c (36,0) c Blocked_Reuse_winner : 0 276.96/66.65 c (36,0) c Unaries_0 : 12 276.96/66.65 c (36,0) c Unaries_1 : 20 276.96/66.65 c (36,0) c Unaries_2 : 20 276.96/66.65 c (36,0) c Unaries_3 : 9 276.96/66.65 c (36,0) c Unaries_4 : 16 276.96/66.65 c (36,0) c Unaries_5 : 18 276.96/66.65 c (36,0) c Unaries_6 : 7 276.96/66.65 c (36,0) c Unaries_7 : 29 276.96/66.65 c (36,0) c Unaries_total : 131 276.96/66.65 c (36,0) c Unaries_winner : 20 276.96/66.65 c (36,0) c Binaries_0 : 17 276.96/66.65 c (36,0) c Binaries_1 : 8 276.96/66.65 c (36,0) c Binaries_2 : 9 276.96/66.65 c (36,0) c Binaries_3 : 5 276.96/66.65 c (36,0) c Binaries_4 : 6 276.96/66.65 c (36,0) c Binaries_5 : 5 276.96/66.65 c (36,0) c Binaries_6 : 3 276.96/66.65 c (36,0) c Binaries_7 : 14 276.96/66.65 c (36,0) c Binaries_total : 67 276.96/66.65 c (36,0) c Binaries_winner : 9 276.96/66.65 c (36,0) c Glues_0 : 366 276.96/66.65 c (36,0) c Glues_1 : 239 276.96/66.65 c (36,0) c Glues_2 : 376 276.96/66.65 c (36,0) c Glues_3 : 201 276.96/66.65 c (36,0) c Glues_4 : 369 276.96/66.65 c (36,0) c Glues_5 : 283 276.96/66.65 c (36,0) c Glues_6 : 174 276.96/66.65 c (36,0) c Glues_7 : 359 276.96/66.65 c (36,0) c Glues_total : 2367 276.96/66.65 c (36,0) c Glues_winner : 376 276.96/66.65 c (36,0) c RunningTime_0 : 30.204234 276.96/66.65 c (36,0) c RunningTime_1 : 30.758311 276.96/66.65 c (36,0) c RunningTime_2 : 28.680641 276.96/66.65 c (36,0) c RunningTime_3 : 27.929586 276.96/66.65 c (36,0) c RunningTime_4 : 28.430192 276.96/66.65 c (36,0) c RunningTime_5 : 29.741055 276.96/66.65 c (36,0) c RunningTime_6 : 28.017070 276.96/66.65 c (36,0) c RunningTime_7 : 29.013914 276.96/66.65 c (36,0) c RunningTime_total : 232.775003 276.96/66.65 c (36,0) c RunningTime_winner : 28.680641 276.96/66.65 c (36,0) c WaitingTime_0 : 0.000401 276.96/66.65 c (36,0) c WaitingTime_1 : 0.000397 276.96/66.65 c (36,0) c WaitingTime_2 : 0.000417 276.96/66.65 c (36,0) c WaitingTime_3 : 0.854161 276.96/66.65 c (36,0) c WaitingTime_4 : 0.276184 276.96/66.65 c (36,0) c WaitingTime_5 : 0.000386 276.96/66.65 c (36,0) c WaitingTime_6 : 0.689719 276.96/66.65 c (36,0) c WaitingTime_7 : 0.000279 276.96/66.65 c (36,0) c WaitingTime_total : 1.821945 276.96/66.65 c (36,0) c WaitingTime_winner : 0.000417 276.96/66.65 c (36,0) c ExchangingTime_0 : 0.005043 276.96/66.65 c (36,0) c ExchangingTime_1 : 0.004353 276.96/66.65 c (36,0) c ExchangingTime_2 : 0.004484 276.96/66.65 c (36,0) c ExchangingTime_3 : 0.003957 276.96/66.65 c (36,0) c ExchangingTime_4 : 0.004674 276.96/66.65 c (36,0) c ExchangingTime_5 : 0.004367 276.96/66.65 c (36,0) c ExchangingTime_6 : 0.003960 276.96/66.65 c (36,0) c ExchangingTime_7 : 0.004820 276.96/66.65 c (36,0) c ExchangingTime_total : 0.035659 276.96/66.65 c (36,0) c ExchangingTime_winner : 0.004484 276.96/66.65 c (36,0) c PeriodProcTime_0 : 0.002274 276.96/66.65 c (36,0) c PeriodProcTime_1 : 0.002609 276.96/66.65 c (36,0) c PeriodProcTime_2 : 0.002173 276.96/66.65 c (36,0) c PeriodProcTime_3 : 0.002388 276.96/66.65 c (36,0) c PeriodProcTime_4 : 0.002283 276.96/66.65 c (36,0) c PeriodProcTime_5 : 0.002328 276.96/66.65 c (36,0) c PeriodProcTime_6 : 0.002434 276.96/66.65 c (36,0) c PeriodProcTime_7 : 0.002698 276.96/66.65 c (36,0) c PeriodProcTime_total : 0.019187 276.96/66.65 c (36,0) c PeriodProcTime_winner : 0.002173 276.96/66.65 c (36,0) c SolvingTime_0 : 30.211953 276.96/66.65 c (36,0) c SolvingTime_1 : 30.765671 276.96/66.65 c (36,0) c SolvingTime_2 : 28.687715 276.96/66.65 c (36,0) c SolvingTime_3 : 28.790092 276.96/66.65 c (36,0) c SolvingTime_4 : 28.713334 276.96/66.65 c (36,0) c SolvingTime_5 : 29.748135 276.96/66.65 c (36,0) c SolvingTime_6 : 28.713183 276.96/66.65 c (36,0) c SolvingTime_7 : 29.021712 276.96/66.65 c (36,0) c SolvingTime_total : 234.651795 276.96/66.65 c (36,0) c SolvingTime_winner : 28.687715 276.96/66.65 c (36,0) c PropagationTime_0 : 28.092340 276.96/66.65 c (36,0) c PropagationTime_1 : 28.601040 276.96/66.65 c (36,0) c PropagationTime_2 : 26.654990 276.96/66.65 c (36,0) c PropagationTime_3 : 26.106945 276.96/66.65 c (36,0) c PropagationTime_4 : 26.711335 276.96/66.66 c (36,0) c PropagationTime_5 : 27.600474 276.96/66.66 c (36,0) c PropagationTime_6 : 26.459630 276.96/66.66 c (36,0) c PropagationTime_7 : 26.985747 276.96/66.66 c (36,0) c PropagationTime_total : 217.212500 276.96/66.66 c (36,0) c PropagationTime_winner : 26.654990 276.96/66.66 c (36,0) c AnalysisTime_0 : 0.419727 276.96/66.66 c (36,0) c AnalysisTime_1 : 0.422457 276.96/66.66 c (36,0) c AnalysisTime_2 : 0.374891 276.96/66.66 c (36,0) c AnalysisTime_3 : 0.410959 276.96/66.66 c (36,0) c AnalysisTime_4 : 0.436359 276.96/66.66 c (36,0) c AnalysisTime_5 : 0.425526 276.96/66.66 c (36,0) c AnalysisTime_6 : 0.524667 276.96/66.66 c (36,0) c AnalysisTime_7 : 0.400950 276.96/66.66 c (36,0) c AnalysisTime_total : 3.415537 276.96/66.66 c (36,0) c AnalysisTime_winner : 0.374891 276.96/66.66 c (36,0) c ReductionTime_0 : 0.000468 276.96/66.66 c (36,0) c ReductionTime_1 : 0.001866 276.96/66.66 c (36,0) c ReductionTime_2 : 0.000479 276.96/66.66 c (36,0) c ReductionTime_3 : 0.000530 276.96/66.66 c (36,0) c ReductionTime_4 : 0.000546 276.96/66.66 c (36,0) c ReductionTime_5 : 0.000497 276.96/66.66 c (36,0) c ReductionTime_6 : 0.000523 276.96/66.66 c (36,0) c ReductionTime_7 : 0.000506 276.96/66.66 c (36,0) c ReductionTime_total : 0.005415 276.96/66.66 c (36,0) c ReductionTime_winner : 0.000479 276.96/66.66 c (36,0) c SimplifyTime_0 : 1.090203 276.96/66.66 c (36,0) c SimplifyTime_1 : 1.152583 276.96/66.66 c (36,0) c SimplifyTime_2 : 1.008502 276.96/66.66 c (36,0) c SimplifyTime_3 : 1.684378 276.96/66.66 c (36,0) c SimplifyTime_4 : 0.930051 276.96/66.66 c (36,0) c SimplifyTime_5 : 1.090095 276.96/66.66 c (36,0) c SimplifyTime_6 : 1.135275 276.96/66.66 c (36,0) c SimplifyTime_7 : 0.994614 276.96/66.66 c (36,0) c SimplifyTime_total : 9.085701 276.96/66.66 c (36,0) c SimplifyTime_winner : 1.008502 276.96/66.66 c (36,0) c UsedRateTime_0 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_1 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_2 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_3 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_4 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_5 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_6 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_7 : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_total : 0.000000 276.96/66.66 c (36,0) c UsedRateTime_winner : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_0 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_1 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_2 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_3 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_4 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_5 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_6 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_7 : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_total : 0.000000 276.96/66.66 c (36,0) c OverlapRateTime_winner : 0.000000 276.96/66.66 c (36,0) c 276.96/66.66 c (36,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 276.96/66.66 c (36,0) c 276.96/66.66 c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.66 c (36,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 276.96/66.66 c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.66 c (36,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 276.96/66.66 c (36,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 276.96/66.66 c (36,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 276.96/66.66 c (36,0) c | Initial random_seed | 1400603413 | 1446632599 | 1059033440 | 1649748057 | 1825678713 | 1804409781 | 349720214 | 1898847444 | 276.96/66.66 c (36,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 276.96/66.66 c (36,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 276.96/66.66 c (36,0) c | glureduce | True | True | True | True | True | True | True | True | 276.96/66.66 c (36,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 276.96/66.66 c (36,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 276.96/66.66 c (36,0) c | luby_restart | False | False | False | False | False | False | False | False | 276.96/66.66 c (36,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 276.96/66.66 c (36,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 276.96/66.66 c (36,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 276.96/66.66 c (36,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 276.96/66.66 c (36,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 276.96/66.66 c (36,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 276.96/66.66 c (36,0) 276.96/66.66 c (36,0) s SATISFIABLE 41.96/66.92 c (36,0) SatSolver.solve End 41.96/66.92 c (36,0) Heap : 185 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 41.96/66.92 c (36,0) Show results Begin 277.94/67.06 c (37,0) x0 = 92 277.94/67.06 c (37,0) x1 = 91 277.94/67.06 c (37,0) x10 = 460 277.94/67.06 c (37,0) x100 = 577 277.94/67.06 c (37,0) x101 = 578 277.94/67.06 c (37,0) x102 = 594 277.94/67.06 c (37,0) x103 = 593 277.94/67.06 c (37,0) x104 = 662 277.94/67.06 c (37,0) x105 = 663 277.94/67.06 c (37,0) x106 = 746 277.94/67.06 c (37,0) x107 = 745 277.94/67.06 c (37,0) x108 = 830 277.94/67.06 c (37,0) x109 = 829 277.94/67.06 c (37,0) x11 = 461 277.94/67.06 c (37,0) x110 = 836 277.94/67.06 c (37,0) x111 = 835 277.94/67.06 c (37,0) x112 = 848 277.94/67.06 c (37,0) x113 = 847 277.94/67.06 c (37,0) x114 = 935 277.94/67.06 c (37,0) x115 = 934 277.94/67.06 c (37,0) x116 = 949 277.94/67.06 c (37,0) x117 = 948 277.94/67.06 c (37,0) x118 = 1267 277.94/67.06 c (37,0) x119 = 1266 277.94/67.06 c (37,0) x12 = 495 277.94/67.06 c (37,0) x120 = 1 277.94/67.06 c (37,0) x121 = 0 277.94/67.06 c (37,0) x122 = 134 277.94/67.06 c (37,0) x123 = 133 277.94/67.06 c (37,0) x124 = 232 277.94/67.06 c (37,0) x125 = 231 277.94/67.06 c (37,0) x126 = 279 277.94/67.06 c (37,0) x127 = 278 277.94/67.06 c (37,0) x128 = 320 277.94/67.06 c (37,0) x129 = 321 277.94/67.06 c (37,0) x13 = 494 277.94/67.06 c (37,0) x130 = 414 277.94/67.06 c (37,0) x131 = 413 277.94/67.06 c (37,0) x132 = 692 277.94/67.06 c (37,0) x133 = 691 277.94/67.06 c (37,0) x134 = 811 277.94/67.06 c (37,0) x135 = 812 277.94/67.06 c (37,0) x136 = 822 277.94/67.06 c (37,0) x137 = 821 277.94/67.06 c (37,0) x138 = 866 277.94/67.06 c (37,0) x139 = 865 277.94/67.06 c (37,0) x14 = 667 277.94/67.06 c (37,0) x140 = 931 277.94/67.06 c (37,0) x141 = 932 277.94/67.06 c (37,0) x142 = 963 277.94/67.06 c (37,0) x143 = 962 277.94/67.06 c (37,0) x144 = 1020 277.94/67.06 c (37,0) x145 = 1021 277.94/67.06 c (37,0) x146 = 1140 277.94/67.06 c (37,0) x147 = 1139 277.94/67.06 c (37,0) x148 = 1228 277.94/67.06 c (37,0) x149 = 1227 277.94/67.06 c (37,0) x15 = 668 277.94/67.06 c (37,0) x150 = 10 277.94/67.06 c (37,0) x151 = 11 277.94/67.06 c (37,0) x152 = 88 277.94/67.06 c (37,0) x153 = 89 277.94/67.06 c (37,0) x154 = 246 277.94/67.06 c (37,0) x155 = 247 277.94/67.06 c (37,0) x156 = 339 277.94/67.06 c (37,0) x157 = 340 277.94/67.06 c (37,0) x158 = 500 277.94/67.06 c (37,0) x159 = 499 277.94/67.06 c (37,0) x16 = 739 277.94/67.06 c (37,0) x160 = 567 277.94/67.06 c (37,0) x161 = 566 277.94/67.06 c (37,0) x162 = 802 277.94/67.06 c (37,0) x163 = 803 277.94/67.06 c (37,0) x164 = 870 277.94/67.06 c (37,0) x165 = 871 277.94/67.06 c (37,0) x166 = 959 277.94/67.06 c (37,0) x167 = 958 277.94/67.06 c (37,0) x168 = 1052 277.94/67.06 c (37,0) x169 = 1051 277.94/67.06 c (37,0) x17 = 740 277.94/67.06 c (37,0) x170 = 1080 277.94/67.06 c (37,0) x171 = 1079 277.94/67.06 c (37,0) x172 = 1095 277.94/67.06 c (37,0) x173 = 1094 277.94/67.06 c (37,0) x174 = 1102 277.94/67.07 c (37,0) x175 = 1103 277.94/67.07 c (37,0) x176 = 1229 277.94/67.07 c (37,0) x177 = 1230 277.94/67.07 c (37,0) x178 = 1296 277.94/67.07 c (37,0) x179 = 1295 277.94/67.07 c (37,0) x18 = 758 277.94/67.07 c (37,0) x180 = 164 277.94/67.07 c (37,0) x181 = 165 277.94/67.07 c (37,0) x182 = 419 277.94/67.07 c (37,0) x183 = 420 277.94/67.07 c (37,0) x184 = 453 277.94/67.07 c (37,0) x185 = 454 277.94/67.07 c (37,0) x186 = 609 277.94/67.07 c (37,0) x187 = 608 277.94/67.07 c (37,0) x188 = 685 277.94/67.07 c (37,0) x189 = 686 277.94/67.07 c (37,0) x19 = 759 277.94/67.07 c (37,0) x190 = 779 277.94/67.07 c (37,0) x191 = 778 277.94/67.07 c (37,0) x192 = 849 277.94/67.07 c (37,0) x193 = 848 277.94/67.07 c (37,0) x194 = 947 277.94/67.07 c (37,0) x195 = 946 277.94/67.07 c (37,0) x196 = 1075 277.94/67.07 c (37,0) x197 = 1076 277.94/67.07 c (37,0) x198 = 1088 277.94/67.07 c (37,0) x199 = 1087 277.94/67.07 c (37,0) x2 = 188 277.94/67.07 c (37,0) x20 = 825 277.94/67.07 c (37,0) x200 = 1094 277.94/67.07 c (37,0) x201 = 1093 277.94/67.07 c (37,0) x202 = 1180 277.94/67.07 c (37,0) x203 = 1179 277.94/67.07 c (37,0) x204 = 1222 277.94/67.07 c (37,0) x205 = 1223 277.94/67.07 c (37,0) x206 = 1227 277.94/67.07 c (37,0) x207 = 1226 277.94/67.07 c (37,0) x208 = 1235 277.94/67.07 c (37,0) x209 = 1234 277.94/67.07 c (37,0) x21 = 824 277.94/67.07 c (37,0) x210 = 85 277.94/67.07 c (37,0) x211 = 84 277.94/67.07 c (37,0) x212 = 244 277.94/67.07 c (37,0) x213 = 245 277.94/67.07 c (37,0) x214 = 275 277.94/67.07 c (37,0) x215 = 276 277.94/67.07 c (37,0) x216 = 449 277.94/67.07 c (37,0) x217 = 448 277.94/67.07 c (37,0) x218 = 533 277.94/67.07 c (37,0) x219 = 532 277.94/67.07 c (37,0) x22 = 868 277.94/67.07 c (37,0) x220 = 579 277.94/67.07 c (37,0) x221 = 580 277.94/67.07 c (37,0) x222 = 626 277.94/67.07 c (37,0) x223 = 625 277.94/67.07 c (37,0) x224 = 770 277.94/67.07 c (37,0) x225 = 771 277.94/67.07 c (37,0) x226 = 813 277.94/67.07 c (37,0) x227 = 812 277.94/67.07 c (37,0) x228 = 819 277.94/67.07 c (37,0) x229 = 818 277.94/67.07 c (37,0) x23 = 869 277.94/67.07 c (37,0) x230 = 863 277.94/67.07 c (37,0) x231 = 864 277.94/67.07 c (37,0) x232 = 947 277.94/67.07 c (37,0) x233 = 946 277.94/67.07 c (37,0) x234 = 1041 277.94/67.07 c (37,0) x235 = 1042 277.94/67.07 c (37,0) x236 = 1102 277.94/67.07 c (37,0) x237 = 1101 277.94/67.07 c (37,0) x238 = 1263 277.94/67.07 c (37,0) x239 = 1262 277.94/67.07 c (37,0) x24 = 874 277.94/67.07 c (37,0) x240 = 10 277.94/67.07 c (37,0) x241 = 11 277.94/67.07 c (37,0) x242 = 30 277.94/67.07 c (37,0) x243 = 29 277.94/67.07 c (37,0) x244 = 86 277.94/67.07 c (37,0) x245 = 85 277.94/67.07 c (37,0) x246 = 315 277.94/67.07 c (37,0) x247 = 316 277.94/67.07 c (37,0) x248 = 390 277.94/67.07 c (37,0) x249 = 391 277.94/67.07 c (37,0) x25 = 873 277.94/67.07 c (37,0) x250 = 457 277.94/67.07 c (37,0) x251 = 456 277.94/67.07 c (37,0) x252 = 494 277.94/67.07 c (37,0) x253 = 495 277.94/67.07 c (37,0) x254 = 604 277.94/67.07 c (37,0) x255 = 603 277.94/67.07 c (37,0) x256 = 697 277.94/67.07 c (37,0) x257 = 698 277.94/67.07 c (37,0) x258 = 738 277.94/67.07 c (37,0) x259 = 737 277.94/67.07 c (37,0) x26 = 890 277.94/67.07 c (37,0) x260 = 847 277.94/67.07 c (37,0) x261 = 848 277.94/67.07 c (37,0) x262 = 919 277.94/67.07 c (37,0) x263 = 918 277.94/67.07 c (37,0) x264 = 1019 277.94/67.07 c (37,0) x265 = 1018 277.94/67.07 c (37,0) x266 = 1172 277.94/67.07 c (37,0) x267 = 1173 277.94/67.07 c (37,0) x268 = 1303 277.94/67.07 c (37,0) x269 = 1302 277.94/67.07 c (37,0) x27 = 891 277.94/67.07 c (37,0) x270 = 1 277.94/67.07 c (37,0) x271 = 0 277.94/67.07 c (37,0) x272 = 119 277.94/67.07 c (37,0) x273 = 120 277.94/67.07 c (37,0) x274 = 189 277.94/67.07 c (37,0) x275 = 188 277.94/67.07 c (37,0) x276 = 392 277.94/67.07 c (37,0) x277 = 393 277.94/67.07 c (37,0) x278 = 493 277.94/67.07 c (37,0) x279 = 494 277.94/67.07 c (37,0) x28 = 1016 277.94/67.07 c (37,0) x280 = 500 277.94/67.07 c (37,0) x281 = 499 277.94/67.07 c (37,0) x282 = 537 277.94/67.07 c (37,0) x283 = 538 277.94/67.07 c (37,0) x284 = 602 277.94/67.07 c (37,0) x285 = 601 277.94/67.07 c (37,0) x286 = 738 277.94/67.07 c (37,0) x287 = 768 277.94/67.07 c (37,0) x288 = 982 277.94/67.07 c (37,0) x289 = 981 277.94/67.07 c (37,0) x29 = 1017 277.94/67.07 c (37,0) x290 = 1102 277.94/67.07 c (37,0) x291 = 1103 277.94/67.07 c (37,0) x292 = 1181 277.94/67.07 c (37,0) x293 = 1180 277.94/67.07 c (37,0) x294 = 1218 277.94/67.07 c (37,0) x295 = 1219 277.94/67.07 c (37,0) x296 = 1220 277.94/67.07 c (37,0) x297 = 1221 277.94/67.07 c (37,0) x298 = 1237 277.94/67.07 c (37,0) x299 = 1238 277.94/67.07 c (37,0) x3 = 189 277.94/67.07 c (37,0) x30 = 56 277.94/67.07 c (37,0) x300 = 0 277.94/67.07 c (37,0) x301 = 1 277.94/67.07 c (37,0) x302 = 31 277.94/67.07 c (37,0) x303 = 32 277.94/67.07 c (37,0) x304 = 85 277.94/67.07 c (37,0) x305 = 84 277.94/67.07 c (37,0) x306 = 92 277.94/67.07 c (37,0) x307 = 91 277.94/67.07 c (37,0) x308 = 102 277.94/67.07 c (37,0) x309 = 103 277.94/67.07 c (37,0) x31 = 55 277.94/67.07 c (37,0) x310 = 154 277.94/67.07 c (37,0) x311 = 155 277.94/67.07 c (37,0) x312 = 244 277.94/67.07 c (37,0) x313 = 243 277.94/67.07 c (37,0) x314 = 282 277.94/67.07 c (37,0) x315 = 283 277.94/67.07 c (37,0) x316 = 343 277.94/67.07 c (37,0) x317 = 342 277.94/67.07 c (37,0) x318 = 378 277.94/67.07 c (37,0) x319 = 379 277.94/67.07 c (37,0) x32 = 88 277.94/67.07 c (37,0) x320 = 427 277.94/67.07 c (37,0) x321 = 426 277.94/67.07 c (37,0) x322 = 550 277.94/67.07 c (37,0) x323 = 551 277.94/67.07 c (37,0) x324 = 877 277.94/67.07 c (37,0) x325 = 876 277.94/67.07 c (37,0) x326 = 929 277.94/67.07 c (37,0) x327 = 930 277.94/67.07 c (37,0) x328 = 1041 277.94/67.07 c (37,0) x329 = 1043 277.94/67.07 c (37,0) x33 = 89 277.94/67.07 c (37,0) x330 = 0 277.94/67.07 c (37,0) x331 = 1 277.94/67.07 c (37,0) x332 = 31 277.94/67.07 c (37,0) x333 = 30 277.94/67.07 c (37,0) x334 = 154 277.94/67.07 c (37,0) x335 = 153 277.94/67.07 c (37,0) x336 = 230 277.94/67.07 c (37,0) x337 = 231 277.94/67.07 c (37,0) x338 = 287 277.94/67.07 c (37,0) x339 = 286 277.94/67.07 c (37,0) x34 = 211 277.94/67.07 c (37,0) x340 = 360 277.94/67.07 c (37,0) x341 = 359 277.94/67.07 c (37,0) x342 = 471 277.94/67.07 c (37,0) x343 = 472 277.94/67.07 c (37,0) x344 = 526 277.94/67.07 c (37,0) x345 = 527 277.94/67.07 c (37,0) x346 = 581 277.94/67.07 c (37,0) x347 = 582 277.94/67.07 c (37,0) x348 = 648 277.94/67.07 c (37,0) x349 = 647 277.94/67.07 c (37,0) x35 = 210 277.94/67.07 c (37,0) x350 = 699 277.94/67.07 c (37,0) x351 = 698 277.94/67.07 c (37,0) x352 = 790 277.94/67.07 c (37,0) x353 = 791 277.94/67.07 c (37,0) x354 = 947 277.94/67.07 c (37,0) x355 = 946 277.94/67.07 c (37,0) x356 = 1027 277.94/67.07 c (37,0) x357 = 1028 277.94/67.07 c (37,0) x358 = 1142 277.94/67.07 c (37,0) x359 = 1143 277.94/67.07 c (37,0) x36 = 321 277.94/67.07 c (37,0) x360 = 230 277.94/67.07 c (37,0) x361 = 231 277.94/67.07 c (37,0) x362 = 269 277.94/67.07 c (37,0) x363 = 268 277.94/67.07 c (37,0) x364 = 301 277.94/67.07 c (37,0) x365 = 302 277.94/67.07 c (37,0) x366 = 342 277.94/67.07 c (37,0) x367 = 343 277.94/67.07 c (37,0) x368 = 368 277.94/67.07 c (37,0) x369 = 369 277.94/67.07 c (37,0) x37 = 322 277.94/67.07 c (37,0) x370 = 409 277.94/67.07 c (37,0) x371 = 410 277.94/67.07 c (37,0) x372 = 495 277.94/67.07 c (37,0) x373 = 496 277.94/67.07 c (37,0) x374 = 535 277.94/67.07 c (37,0) x375 = 536 277.94/67.07 c (37,0) x376 = 597 277.94/67.07 c (37,0) x377 = 598 277.94/67.07 c (37,0) x378 = 613 277.94/67.07 c (37,0) x379 = 612 277.94/67.07 c (37,0) x38 = 403 277.94/67.07 c (37,0) x380 = 662 277.94/67.07 c (37,0) x381 = 667 277.94/67.07 c (37,0) x382 = 939 277.94/67.07 c (37,0) x383 = 755 277.94/67.07 c (37,0) x384 = 1004 277.94/67.07 c (37,0) x385 = 1003 277.94/67.07 c (37,0) x386 = 1021 277.94/67.07 c (37,0) x387 = 1020 277.94/67.07 c (37,0) x388 = 1211 277.94/67.07 c (37,0) x389 = 1212 277.94/67.07 c (37,0) x39 = 402 277.94/67.07 c (37,0) x390 = 0 277.94/67.07 c (37,0) x391 = 1 277.94/67.07 c (37,0) x392 = 10 277.94/67.07 c (37,0) x393 = 9 277.94/67.07 c (37,0) x394 = 47 277.94/67.07 c (37,0) x395 = 48 277.94/67.07 c (37,0) x396 = 64 277.94/67.07 c (37,0) x397 = 63 277.94/67.07 c (37,0) x398 = 119 277.94/67.07 c (37,0) x399 = 120 277.94/67.07 c (37,0) x4 = 307 277.94/67.07 c (37,0) x40 = 459 277.94/67.07 c (37,0) x400 = 230 277.94/67.07 c (37,0) x401 = 231 277.94/67.07 c (37,0) x402 = 307 277.94/67.07 c (37,0) x403 = 306 277.94/67.07 c (37,0) x404 = 387 277.94/67.07 c (37,0) x405 = 386 277.94/67.07 c (37,0) x406 = 456 277.94/67.07 c (37,0) x407 = 457 277.94/67.07 c (37,0) x408 = 530 277.94/67.07 c (37,0) x409 = 529 277.94/67.07 c (37,0) x41 = 458 277.94/67.07 c (37,0) x410 = 630 277.94/67.07 c (37,0) x411 = 629 277.94/67.07 c (37,0) x412 = 654 277.94/67.07 c (37,0) x413 = 655 277.94/67.07 c (37,0) x414 = 686 277.94/67.07 c (37,0) x415 = 687 277.94/67.07 c (37,0) x416 = 779 277.94/67.07 c (37,0) x417 = 778 277.94/67.07 c (37,0) x418 = 926 277.94/67.08 c (37,0) x419 = 1286 277.94/67.08 c (37,0) x42 = 538 277.94/67.08 c (37,0) x420 = 22 277.94/67.08 c (37,0) x421 = 21 277.94/67.08 c (37,0) x422 = 103 277.94/67.08 c (37,0) x423 = 102 277.94/67.08 c (37,0) x424 = 179 277.94/67.08 c (37,0) x425 = 178 277.94/67.08 c (37,0) x426 = 256 277.94/67.08 c (37,0) x427 = 255 277.94/67.08 c (37,0) x428 = 314 277.94/67.08 c (37,0) x429 = 315 277.94/67.08 c (37,0) x43 = 537 277.94/67.08 c (37,0) x430 = 427 277.94/67.08 c (37,0) x431 = 426 277.94/67.08 c (37,0) x432 = 504 277.94/67.08 c (37,0) x433 = 505 277.94/67.08 c (37,0) x434 = 553 277.94/67.08 c (37,0) x435 = 552 277.94/67.08 c (37,0) x436 = 585 277.94/67.08 c (37,0) x437 = 584 277.94/67.08 c (37,0) x438 = 654 277.94/67.08 c (37,0) x439 = 653 277.94/67.08 c (37,0) x44 = 604 277.94/67.08 c (37,0) x440 = 801 277.94/67.08 c (37,0) x441 = 802 277.94/67.08 c (37,0) x442 = 903 277.94/67.08 c (37,0) x443 = 902 277.94/67.08 c (37,0) x444 = 927 277.94/67.08 c (37,0) x445 = 928 277.94/67.08 c (37,0) x446 = 1203 277.94/67.08 c (37,0) x447 = 1204 277.94/67.08 c (37,0) x448 = 1259 277.94/67.08 c (37,0) x449 = 1258 277.94/67.08 c (37,0) x45 = 605 277.94/67.08 c (37,0) x46 = 678 277.94/67.08 c (37,0) x47 = 677 277.94/67.08 c (37,0) x48 = 701 277.94/67.08 c (37,0) x49 = 702 277.94/67.08 c (37,0) x5 = 306 277.94/67.08 c (37,0) x50 = 755 277.94/67.08 c (37,0) x51 = 754 277.94/67.08 c (37,0) x52 = 877 277.94/67.08 c (37,0) x53 = 876 277.94/67.08 c (37,0) x54 = 919 277.94/67.08 c (37,0) x55 = 920 277.94/67.08 c (37,0) x56 = 925 277.94/67.08 c (37,0) x57 = 926 277.94/67.08 c (37,0) x58 = 1020 277.94/67.08 c (37,0) x59 = 1021 277.94/67.08 c (37,0) x6 = 393 277.94/67.08 c (37,0) x60 = 0 277.94/67.08 c (37,0) x61 = 1 277.94/67.08 c (37,0) x62 = 180 277.94/67.08 c (37,0) x63 = 179 277.94/67.08 c (37,0) x64 = 273 277.94/67.08 c (37,0) x65 = 274 277.94/67.08 c (37,0) x66 = 337 277.94/67.08 c (37,0) x67 = 336 277.94/67.08 c (37,0) x68 = 416 277.94/67.08 c (37,0) x69 = 417 277.94/67.08 c (37,0) x7 = 394 277.94/67.08 c (37,0) x70 = 427 277.94/67.08 c (37,0) x71 = 426 277.94/67.08 c (37,0) x72 = 502 277.94/67.08 c (37,0) x73 = 501 277.94/67.08 c (37,0) x74 = 598 277.94/67.08 c (37,0) x75 = 599 277.94/67.08 c (37,0) x76 = 761 277.94/67.08 c (37,0) x77 = 760 277.94/67.08 c (37,0) x78 = 785 277.94/67.08 c (37,0) x79 = 786 277.94/67.08 c (37,0) x8 = 420 277.94/67.08 c (37,0) x80 = 812 277.94/67.08 c (37,0) x81 = 813 277.94/67.08 c (37,0) x82 = 821 277.94/67.08 c (37,0) x83 = 820 277.94/67.08 c (37,0) x84 = 1025 277.94/67.08 c (37,0) x85 = 1026 277.94/67.08 c (37,0) x86 = 1073 277.94/67.08 c (37,0) x87 = 1074 277.94/67.08 c (37,0) x88 = 1183 277.94/67.08 c (37,0) x89 = 1184 277.94/67.08 c (37,0) x9 = 421 277.94/67.08 c (37,0) x90 = 0 277.94/67.08 c (37,0) x91 = 1 277.94/67.08 c (37,0) x92 = 170 277.94/67.08 c (37,0) x93 = 169 277.94/67.08 c (37,0) x94 = 322 277.94/67.08 c (37,0) x95 = 321 277.94/67.08 c (37,0) x96 = 479 277.94/67.08 c (37,0) x97 = 478 277.94/67.08 c (37,0) x98 = 523 277.94/67.08 c (37,0) x99 = 522 277.94/67.08 s SATISFIABLE 277.94/67.08 v <instantiation> 277.94/67.08 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> 277.94/67.08 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> 277.94/67.08 v </instantiation> 277.94/67.08 c (37,0) Show results End 277.94/67.08 c (37,0) Heap : 226 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 277.94/67.08 c (37,0) 36,37,STOP-AFTER(ALL) 277.94/67.08 c END-Prog: Tue Sep 24 22:43:47 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 (13089 MiB free) memory of node 1: 16384 MiB (11555 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405339-1569357803/watcher-4405339-1569357803 -o /tmp/evaluation-result-4405339-1569357803/solver-4405339-1569357803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --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-4405339-1569357803.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=9907, runsolver pid=9904 Current StackSize limit: 8192 KiB [startup+0.101817 s]* /proc/loadavg: 5.56 7.51 8.00 2/213 9929 /proc/meminfo: memFree=25141148/32770624 swapFree=66936732/67108860 [pid=9907] ppid=9904 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9907/stat : 9907 (scop.sh) S 9904 9907 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511718065 115843072 349 33554432000 4194304 5098028 140720828348032 140720828345288 139998173770364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37359616 140720828355365 140720828355692 140720828355692 140720828358605 0 /proc/9907/statm: 28282 349 296 221 0 87 0 [pid=9910] ppid=9907 vsize=27314120 memory=108452 CPUtime=0.11 cores=0-7 /proc/9910/stat : 9910 (java) S 9907 9907 9740 0 -1 1077944320 6148 0 0 0 8 3 0 0 20 0 20 0 511718065 27969658880 27113 33554432000 4194304 4196468 140725690900432 140725690882976 139659208515319 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 /proc/9910/statm: 6828530 27113 2818 1 0 6790935 0 [pid=9910/tid=9911] ppid=9907 vsize=27314120 memory=-2177352373413752899 CPUtime=0.09 cores=0-7 /proc/9910/task/9911/stat : 9911 (java) R 9907 9907 9740 0 -1 4202560 4253 0 0 0 7 2 0 0 20 0 20 0 511718065 27969658880 27178 33554432000 4194304 4196468 140725690900432 139659180335480 139659201232471 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9912] ppid=9907 vsize=27314120 memory=732369926652648421 CPUtime=0 cores=0-7 /proc/9910/task/9912/stat : 9912 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139659212757392 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9913] ppid=9907 vsize=27314120 memory=139788315195008 CPUtime=0 cores=0-7 /proc/9910/task/9913/stat : 9913 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658996152592 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9914] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9914/stat : 9914 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658995100304 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9915] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9915/stat : 9915 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658994047504 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9916] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9916/stat : 9916 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658992995216 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9917] ppid=9907 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9910/task/9917/stat : 9917 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658991942416 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9918] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9918/stat : 9918 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658990890128 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9919] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9919/stat : 9919 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658989837328 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9920] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9920/stat : 9920 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511718069 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658581506160 139659208526466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9921] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9921/stat : 9921 (java) S 9907 9907 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511718070 27969658880 27178 33554432000 4194304 4196468 140725690900432 139657190826784 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9922] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9922/stat : 9922 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718070 27969658880 27178 33554432000 4194304 4196468 140725690900432 139656968529008 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9923] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9923/stat : 9923 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 27178 33554432000 4194304 4196468 140725690900432 139656594020432 139659208533915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9924] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9924/stat : 9924 (java) S 9907 9907 9740 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 27178 33554432000 4194304 4196468 140725690900432 139658580454000 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9925] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9925/stat : 9925 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 27178 33554432000 4194304 4196468 140725690900432 139657056606704 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9926] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9926/stat : 9926 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 27178 33554432000 4194304 4196468 140725690900432 139657055554416 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9927] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9927/stat : 9927 (java) R 9907 9907 9740 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 27178 33554432000 4194304 4196468 140725690900432 139657054501616 139659208536666 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9928] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9928/stat : 9928 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 27178 33554432000 4194304 4196468 140725690900432 139656096115040 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9929] ppid=9907 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9910/task/9929/stat : 9929 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718073 27969658880 27178 33554432000 4194304 4196468 140725690900432 139657053448496 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109848 KiB [startup+0.211583 s]* /proc/loadavg: 5.56 7.51 8.00 2/213 9929 /proc/meminfo: memFree=25120480/32770624 swapFree=66936732/67108860 [pid=9907] ppid=9904 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9907/stat : 9907 (scop.sh) S 9904 9907 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511718065 115843072 349 33554432000 4194304 5098028 140720828348032 140720828345288 139998173770364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37359616 140720828355365 140720828355692 140720828355692 140720828358605 0 /proc/9907/statm: 28282 349 296 221 0 87 0 [pid=9910] ppid=9907 vsize=27314120 memory=125324 CPUtime=0.24 cores=0-7 /proc/9910/stat : 9910 (java) S 9907 9907 9740 0 -1 1077944320 11720 0 0 0 20 4 0 0 20 0 20 0 511718065 27969658880 31331 33554432000 4194304 4196468 140725690900432 140725690882976 139659208515319 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 /proc/9910/statm: 6828530 31331 2946 1 0 6790935 0 [pid=9910/tid=9911] ppid=9907 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7 /proc/9910/task/9911/stat : 9911 (java) R 9907 9907 9740 0 -1 4202560 9451 0 0 0 16 4 0 0 20 0 20 0 511718065 27969658880 31331 33554432000 4194304 4196468 140725690900432 139659180298880 139659190078894 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9912] ppid=9907 vsize=27314120 memory=279576481560312 CPUtime=0 cores=0-7 /proc/9910/task/9912/stat : 9912 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139659212757392 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9913] ppid=9907 vsize=27314120 memory=139788315195008 CPUtime=0 cores=0-7 /proc/9910/task/9913/stat : 9913 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658996152592 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9914] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9914/stat : 9914 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658995100304 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9915] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9915/stat : 9915 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658994047504 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9916] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9916/stat : 9916 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658992995216 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9917] ppid=9907 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9910/task/9917/stat : 9917 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658991942416 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9918] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9918/stat : 9918 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658990890128 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9919] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9919/stat : 9919 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658989837328 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9920] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9920/stat : 9920 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511718069 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658581506160 139659208526466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9921] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9921/stat : 9921 (java) S 9907 9907 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511718070 27969658880 31331 33554432000 4194304 4196468 140725690900432 139657190826784 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9922] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9922/stat : 9922 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718070 27969658880 31331 33554432000 4194304 4196468 140725690900432 139656968529008 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9923] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9923/stat : 9923 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 31331 33554432000 4194304 4196468 140725690900432 139656594020432 139659208533915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9924] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9924/stat : 9924 (java) S 9907 9907 9740 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 31331 33554432000 4194304 4196468 140725690900432 139658580454000 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9925] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9925/stat : 9925 (java) S 9907 9907 9740 0 -1 1077944384 167 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 31331 33554432000 4194304 4196468 140725690900432 139657056606704 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9926] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9926/stat : 9926 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 31331 33554432000 4194304 4196468 140725690900432 139657055554416 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9927] ppid=9907 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/9910/task/9927/stat : 9927 (java) S 9907 9907 9740 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 511718072 27969658880 31331 33554432000 4194304 4196468 140725690900432 139657054501616 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9928] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9928/stat : 9928 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 31331 33554432000 4194304 4196468 140725690900432 139656096115040 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9929] ppid=9907 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9910/task/9929/stat : 9929 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718073 27969658880 31331 33554432000 4194304 4196468 140725690900432 139657053448496 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126720 KiB [startup+0.310587 s]* /proc/loadavg: 5.56 7.51 8.00 2/213 9929 /proc/meminfo: memFree=25110052/32770624 swapFree=66936732/67108860 [pid=9907] ppid=9904 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9907/stat : 9907 (scop.sh) S 9904 9907 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511718065 115843072 349 33554432000 4194304 5098028 140720828348032 140720828345288 139998173770364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37359616 140720828355365 140720828355692 140720828355692 140720828358605 0 /proc/9907/statm: 28282 349 296 221 0 87 0 [pid=9910] ppid=9907 vsize=27314120 memory=129856 CPUtime=0.42 cores=0-7 /proc/9910/stat : 9910 (java) S 9907 9907 9740 0 -1 1077944320 12276 0 0 0 37 5 0 0 20 0 20 0 511718065 27969658880 32464 33554432000 4194304 4196468 140725690900432 140725690882976 139659208515319 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 /proc/9910/statm: 6828530 32464 3072 1 0 6790935 0 [pid=9910/tid=9911] ppid=9907 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/9910/task/9911/stat : 9911 (java) R 9907 9907 9740 0 -1 4202560 9808 0 0 0 25 4 0 0 20 0 20 0 511718065 27969658880 32464 33554432000 4194304 4196468 140725690900432 139659180318544 139659190078905 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9912] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9912/stat : 9912 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139659212757392 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9913] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9913/stat : 9913 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658996152592 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9914] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9914/stat : 9914 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658995100304 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9915] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9915/stat : 9915 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658994047504 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9916] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9916/stat : 9916 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658992995216 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9917] ppid=9907 vsize=27314120 memory=139788166458031 CPUtime=0 cores=0-7 /proc/9910/task/9917/stat : 9917 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658991942416 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9918] ppid=9907 vsize=27314120 memory=139788166460336 CPUtime=0 cores=0-7 /proc/9910/task/9918/stat : 9918 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658990890128 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9919] ppid=9907 vsize=27314120 memory=139788166462640 CPUtime=0 cores=0-7 /proc/9910/task/9919/stat : 9919 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658989837328 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9920] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9920/stat : 9920 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511718069 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658581506160 139659208526466 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9921] ppid=9907 vsize=27314120 memory=279576332939152 CPUtime=0 cores=0-7 /proc/9910/task/9921/stat : 9921 (java) S 9907 9907 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511718070 27969658880 32464 33554432000 4194304 4196468 140725690900432 139657190826784 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9922] ppid=9907 vsize=27314120 memory=279576332936848 CPUtime=0 cores=0-7 /proc/9910/task/9922/stat : 9922 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718070 27969658880 32464 33554432000 4194304 4196468 140725690900432 139656968529008 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9923] ppid=9907 vsize=27314120 memory=279576332943760 CPUtime=0 cores=0-7 /proc/9910/task/9923/stat : 9923 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 32464 33554432000 4194304 4196468 140725690900432 139656594020432 139659208533915 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9924] ppid=9907 vsize=27314120 memory=279576332885040 CPUtime=0.01 cores=0-7 /proc/9910/task/9924/stat : 9924 (java) S 9907 9907 9740 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 20 0 511718072 27969658880 32464 33554432000 4194304 4196468 140725690900432 139658580454000 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9925] ppid=9907 vsize=27314120 memory=279576332957584 CPUtime=0.03 cores=0-7 /proc/9910/task/9925/stat : 9925 (java) S 9907 9907 9740 0 -1 1077944384 277 0 0 0 3 0 0 0 20 0 20 0 511718072 27969658880 32464 33554432000 4194304 4196468 140725690900432 139657056606704 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9926] ppid=9907 vsize=27314120 memory=279576332964496 CPUtime=0 cores=0-7 /proc/9910/task/9926/stat : 9926 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 32464 33554432000 4194304 4196468 140725690900432 139657055554416 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9927] ppid=9907 vsize=27314120 memory=279576332962192 CPUtime=0.06 cores=0-7 /proc/9910/task/9927/stat : 9927 (java) S 9907 9907 9740 0 -1 1077944384 502 0 0 0 6 0 0 0 20 0 20 0 511718072 27969658880 32464 33554432000 4194304 4196468 140725690900432 139657054501616 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9928] ppid=9907 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9928/stat : 9928 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511718072 27969658880 32464 33554432000 4194304 4196468 140725690900432 139656096115040 139659208525525 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9929] ppid=9907 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9910/task/9929/stat : 9929 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511718073 27969658880 32464 33554432000 4194304 4196468 140725690900432 139657053448496 139659208526466 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131252 KiB [startup+0.700981 s] /proc/loadavg: 5.56 7.51 8.00 2/213 9929 /proc/meminfo: memFree=25094420/32770624 swapFree=66936732/67108860 [pid=9907] ppid=9904 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9907/stat : 9907 (scop.sh) S 9904 9907 9740 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 511718065 115843072 349 33554432000 4194304 5098028 140720828348032 140720828345288 139998173770364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37359616 140720828355365 140720828355692 140720828355692 140720828358605 0 /proc/9907/statm: 28282 349 296 221 0 87 0 [pid=9910] ppid=9907 vsize=27320392 memory=164792 CPUtime=0.98 cores=0-7 /proc/9910/stat : 9910 (java) S 9907 9907 9740 0 -1 1077944320 19808 0 0 0 91 7 0 0 20 0 20 0 511718065 27976081408 41198 33554432000 4194304 4196468 140725690900432 140725690882976 139659208515319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 /proc/9910/statm: 6830098 41198 3175 1 0 6791447 0 [pid=9910/tid=9911] ppid=9907 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/9910/task/9911/stat : 9911 (java) R 9907 9907 9740 0 -1 4202560 16871 0 0 0 61 6 0 0 20 0 20 0 511718065 27976081408 41198 33554432000 4194304 4196468 140725690900432 139659180352720 139659208527254 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9912] ppid=9907 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9912/stat : 9912 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27976081408 41198 33554432000 4194304 4196468 140725690900432 139659212757392 139659208525525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9913] ppid=9907 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9913/stat : 9913 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27976081408 41198 33554432000 4194304 4196468 140725690900432 139658996152592 139659208525525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 [pid=9910/tid=9914] ppid=9907 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/9910/task/9914/stat : 9914 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511718068 27976081408 41198 33554432000 4194304 4196468 140725690900432 139658995100304 139659208525525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9109504 140725690909420 140725690909846 140725690909846 140725690912719 0 ################ # More data... # ################ [pid=9933/tid=9934] ppid=9907 vsize=8414124 memory=3474268 CPUtime=0.77 cores=0-7 /proc/9933/task/9934/stat : 9934 (java) S 9907 9907 9740 0 -1 1077944384 17219 0 0 0 71 6 0 0 20 0 24 0 511721027 8616062976 30240 33554432000 4194304 4196468 140730729653936 140288478822304 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9935] ppid=9907 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9933/task/9935/stat : 9935 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511721028 8616062976 30240 33554432000 4194304 4196468 140730729653936 140288511224336 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9936] ppid=9907 vsize=8414124 memory=120960 CPUtime=0 cores=0-7 /proc/9933/task/9936/stat : 9936 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511721028 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287992035984 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9937] ppid=9907 vsize=8414124 memory=3474196 CPUtime=0 cores=0-7 /proc/9933/task/9937/stat : 9937 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511721028 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287990982928 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9938] ppid=9907 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9933/task/9938/stat : 9938 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511721028 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287989930384 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9939] ppid=9907 vsize=8414124 memory=128 CPUtime=0 cores=0-7 /proc/9933/task/9939/stat : 9939 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511721029 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287988878352 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9940] ppid=9907 vsize=8414124 memory=19706 CPUtime=0 cores=0-7 /proc/9933/task/9940/stat : 9940 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511721029 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287987825808 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9941] ppid=9907 vsize=8414124 memory=45432 CPUtime=0 cores=0-7 /proc/9933/task/9941/stat : 9941 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511721029 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287986772752 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9942] ppid=9907 vsize=8414124 memory=77 CPUtime=0 cores=0-7 /proc/9933/task/9942/stat : 9942 (java) S 9907 9907 9740 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511721029 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287985720208 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9943] ppid=9907 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9933/task/9943/stat : 9943 (java) S 9907 9907 9740 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 511721030 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287935990000 140288506993282 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9944] ppid=9907 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9933/task/9944/stat : 9944 (java) S 9907 9907 9740 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511721030 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287187870880 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9945] ppid=9907 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9933/task/9945/stat : 9945 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511721031 8616062976 30240 33554432000 4194304 4196468 140730729653936 140286919434992 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9946] ppid=9907 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9933/task/9946/stat : 9946 (java) S 9907 9907 9740 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511721033 8616062976 30240 33554432000 4194304 4196468 140730729653936 140286544926672 140288507000731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9947] ppid=9907 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7 /proc/9933/task/9947/stat : 9947 (java) S 9907 9907 9740 0 -1 1077944384 385 0 0 0 3 0 0 0 20 0 24 0 511721033 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287934937840 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9948] ppid=9907 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7 /proc/9933/task/9948/stat : 9948 (java) S 9907 9907 9740 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 24 0 511721033 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287933885296 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9949] ppid=9907 vsize=8414124 memory=-4075877051373423741 CPUtime=0.12 cores=0-7 /proc/9933/task/9949/stat : 9949 (java) S 9907 9907 9740 0 -1 1077944384 719 0 0 0 12 0 0 0 20 0 24 0 511721033 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287932832240 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9950] ppid=9907 vsize=8414124 memory=6655300316396806240 CPUtime=0.21 cores=0-7 /proc/9933/task/9950/stat : 9950 (java) S 9907 9907 9740 0 -1 1077944384 634 0 0 0 21 0 0 0 20 0 24 0 511721033 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287931779696 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9951] ppid=9907 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/9933/task/9951/stat : 9951 (java) S 9907 9907 9740 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511721033 8616062976 30240 33554432000 4194304 4196468 140730729653936 140286047021536 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9952] ppid=9907 vsize=8414124 memory=6655300316396806240 CPUtime=0.01 cores=0-7 /proc/9933/task/9952/stat : 9952 (java) S 9907 9907 9740 0 -1 1077944384 4 0 0 0 0 1 0 0 20 0 24 0 511721034 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287930727088 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9954] ppid=9907 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/9933/task/9954/stat : 9954 (java) S 9907 9907 9740 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511721102 8616062976 30240 33554432000 4194304 4196468 140730729653936 140287926981568 140288507006745 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9956] ppid=9907 vsize=8414124 memory=-8961168018402230209 CPUtime=0 cores=0-7 /proc/9933/task/9956/stat : 9956 (java) S 9907 9907 9740 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 511721102 8616062976 30240 33554432000 4194304 4196468 140730729653936 140285375922224 140288507004061 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9957] ppid=9907 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7 /proc/9933/task/9957/stat : 9957 (java) S 9907 9907 9740 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 511721102 8616062976 30240 33554432000 4194304 4196468 140730729653936 140285644357808 140288507004061 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9958] ppid=9907 vsize=8414124 memory=7100839861465685612 CPUtime=0 cores=0-7 /proc/9933/task/9958/stat : 9958 (java) S 9907 9907 9740 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 511721104 8616062976 30240 33554432000 4194304 4196468 140730729653936 140285107494320 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 Current children cumulated CPU time: 276.96 s Current children cumulated vsize: 12566444 KiB Current children cumulated memory: 3596704 KiB [startup+67.001 s] /proc/loadavg: 5.42 6.96 7.77 2/220 9969 /proc/meminfo: memFree=21474932/32770624 swapFree=66936732/67108860 [pid=9907] ppid=9904 vsize=113128 memory=1476 CPUtime=40.19 cores=0-7 /proc/9907/stat : 9907 (scop.sh) S 9904 9907 9740 0 -1 4202496 583 35240 0 0 0 0 3849 170 20 0 1 0 511718065 115843072 369 33554432000 4194304 5098028 140720828348032 140720828344776 139998173770364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37359616 140720828355365 140720828355692 140720828355692 140720828358605 0 /proc/9907/statm: 28282 369 311 221 0 87 0 [pid=9933] ppid=9907 vsize=8283048 memory=214416 CPUtime=237.75 cores=0-7 /proc/9933/stat : 9933 (java) S 9907 9907 9740 0 -1 1077944320 22110 3025691 0 0 185 12 22976 602 20 0 22 0 511721027 8481841152 53604 33554432000 4194304 4196468 140730729653936 140730729636480 140288506982135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 /proc/9933/statm: 2070762 53604 3230 1 0 2032106 0 [pid=9933/tid=9934] ppid=9907 vsize=8283048 memory=1448 CPUtime=236.63 cores=0-7 /proc/9933/task/9934/stat : 9934 (java) R 9907 9907 9740 0 -1 4202560 17379 3025691 0 0 79 6 22976 602 20 0 22 0 511721027 8481841152 53604 33554432000 4194304 4196468 140730729653936 140288478820800 140288506994070 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9935] ppid=9907 vsize=8283048 memory=1980 CPUtime=235.78 cores=0-7 /proc/9933/task/9935/stat : 9935 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 53604 33554432000 4194304 4196468 140730729653936 140288511224336 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9936] ppid=9907 vsize=8283048 memory=2432 CPUtime=235.78 cores=0-7 /proc/9933/task/9936/stat : 9936 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287992035984 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9937] ppid=9907 vsize=8283048 memory=1476 CPUtime=235.78 cores=0-7 /proc/9933/task/9937/stat : 9937 (java) S 9907 9907 9740 0 -1 1077944384 2 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287990982928 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9938] ppid=9907 vsize=8283048 memory=120960 CPUtime=235.78 cores=0-7 /proc/9933/task/9938/stat : 9938 (java) S 9907 9907 9740 0 -1 1077944384 3 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287989930384 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9939] ppid=9907 vsize=8283048 memory=3474268 CPUtime=235.78 cores=0-7 /proc/9933/task/9939/stat : 9939 (java) S 9907 9907 9740 0 -1 1077944384 2 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287988878352 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9940] ppid=9907 vsize=8283048 memory=7236834241136519275 CPUtime=235.78 cores=0-7 /proc/9933/task/9940/stat : 9940 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287987825808 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9941] ppid=9907 vsize=8283048 memory=7668031928111228771 CPUtime=235.78 cores=0-7 /proc/9933/task/9941/stat : 9941 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287986772752 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9942] ppid=9907 vsize=8283048 memory=7668031928111228771 CPUtime=235.78 cores=0-7 /proc/9933/task/9942/stat : 9942 (java) S 9907 9907 9740 0 -1 1077944384 2 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287985720208 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9943] ppid=9907 vsize=8283048 memory=3474680 CPUtime=235.78 cores=0-7 /proc/9933/task/9943/stat : 9943 (java) S 9907 9907 9740 0 -1 1077944384 5 3025691 0 0 0 0 22976 602 20 0 22 0 511721030 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287935990000 140288506993282 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9944] ppid=9907 vsize=8283048 memory=288230574492221466 CPUtime=235.78 cores=0-7 /proc/9933/task/9944/stat : 9944 (java) S 9907 9907 9740 0 -1 1077944384 13 3025691 0 0 0 0 22976 602 20 0 22 0 511721030 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287187870880 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9945] ppid=9907 vsize=8283048 memory=288230583166042426 CPUtime=235.78 cores=0-7 /proc/9933/task/9945/stat : 9945 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721031 8481841152 53604 33554432000 4194304 4196468 140730729653936 140286919434992 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9946] ppid=9907 vsize=8283048 memory=14699582244260384 CPUtime=235.78 cores=0-7 /proc/9933/task/9946/stat : 9946 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721033 8481841152 53604 33554432000 4194304 4196468 140730729653936 140286544926672 140288507000731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9947] ppid=9907 vsize=8283048 memory=2012 CPUtime=235.93 cores=0-7 /proc/9933/task/9947/stat : 9947 (java) S 9907 9907 9740 0 -1 1077944384 709 3025691 0 0 15 0 22976 602 20 0 22 0 511721033 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287934937840 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9948] ppid=9907 vsize=8283048 memory=1424 CPUtime=235.95 cores=0-7 /proc/9933/task/9948/stat : 9948 (java) S 9907 9907 9740 0 -1 1077944384 450 3025691 0 0 17 0 22976 602 20 0 22 0 511721033 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287933885296 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9949] ppid=9907 vsize=8283048 memory=1704 CPUtime=235.98 cores=0-7 /proc/9933/task/9949/stat : 9949 (java) R 9907 9907 9740 0 -1 4202560 769 3025691 0 0 20 0 22976 602 20 0 22 0 511721033 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287932832240 140288486252441 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9950] ppid=9907 vsize=8283048 memory=6184 CPUtime=236.07 cores=0-7 /proc/9933/task/9950/stat : 9950 (java) R 9907 9907 9740 0 -1 4202560 1171 3025691 0 0 29 0 22976 602 20 0 22 0 511721033 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287931779696 140288499223525 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9951] ppid=9907 vsize=8283048 memory=768 CPUtime=235.78 cores=0-7 /proc/9933/task/9951/stat : 9951 (java) S 9907 9907 9740 0 -1 1077944384 3 3025691 0 0 0 0 22976 602 20 0 22 0 511721033 8481841152 53604 33554432000 4194304 4196468 140730729653936 140286047021536 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9952] ppid=9907 vsize=8283048 memory=780 CPUtime=235.79 cores=0-7 /proc/9933/task/9952/stat : 9952 (java) S 9907 9907 9740 0 -1 1077944384 4 3025691 0 0 0 1 22976 602 20 0 22 0 511721034 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287930727088 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9954] ppid=9907 vsize=8283048 memory=1056 CPUtime=235.78 cores=0-7 /proc/9933/task/9954/stat : 9954 (java) S 9907 9907 9740 0 -1 1077944384 31 3025691 0 0 0 0 22976 602 20 0 22 0 511721102 8481841152 53604 33554432000 4194304 4196468 140730729653936 140287926980752 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9958] ppid=9907 vsize=8283048 memory=2828 CPUtime=235.78 cores=0-7 /proc/9933/task/9958/stat : 9958 (java) S 9907 9907 9740 0 -1 1077944384 13 3025691 0 0 0 0 22976 602 20 0 22 0 511721104 8481841152 53604 33554432000 4194304 4196468 140730729653936 140285107496112 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 Current children cumulated CPU time: 277.94 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 215892 KiB [startup+67.101 s] /proc/loadavg: 5.42 6.96 7.77 2/220 9969 /proc/meminfo: memFree=21474932/32770624 swapFree=66936732/67108860 [pid=9907] ppid=9904 vsize=113128 memory=1476 CPUtime=40.19 cores=0-7 /proc/9907/stat : 9907 (scop.sh) S 9904 9907 9740 0 -1 4202496 583 35240 0 0 0 0 3849 170 20 0 1 0 511718065 115843072 369 33554432000 4194304 5098028 140720828348032 140720828344776 139998173770364 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37359616 140720828355365 140720828355692 140720828355692 140720828358605 0 /proc/9907/statm: 28282 369 311 221 0 87 0 [pid=9933] ppid=9907 vsize=8283048 memory=229972 CPUtime=237.94 cores=0-7 /proc/9933/stat : 9933 (java) S 9907 9907 9740 0 -1 1077944320 23458 3025691 0 0 202 14 22976 602 20 0 22 0 511721027 8481841152 57493 33554432000 4194304 4196468 140730729653936 140730729636480 140288506982135 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 /proc/9933/statm: 2070762 57493 3233 1 0 2032106 0 [pid=9933/tid=9934] ppid=9907 vsize=8283048 memory=120960 CPUtime=236.73 cores=0-7 /proc/9933/task/9934/stat : 9934 (java) R 9907 9907 9740 0 -1 4202560 18589 3025691 0 0 86 9 22976 602 20 0 22 0 511721027 8481841152 57493 33554432000 4194304 4196468 140730729653936 140288478820656 140288499667767 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9935] ppid=9907 vsize=8283048 memory=120960 CPUtime=235.78 cores=0-7 /proc/9933/task/9935/stat : 9935 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 57493 33554432000 4194304 4196468 140730729653936 140288511224336 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9936] ppid=9907 vsize=8283048 memory=203096 CPUtime=235.78 cores=0-7 /proc/9933/task/9936/stat : 9936 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287992035984 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9937] ppid=9907 vsize=8283048 memory=1476 CPUtime=235.78 cores=0-7 /proc/9933/task/9937/stat : 9937 (java) S 9907 9907 9740 0 -1 1077944384 2 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287990982928 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9938] ppid=9907 vsize=8283048 memory=1000 CPUtime=235.78 cores=0-7 /proc/9933/task/9938/stat : 9938 (java) S 9907 9907 9740 0 -1 1077944384 3 3025691 0 0 0 0 22976 602 20 0 22 0 511721028 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287989930384 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9939] ppid=9907 vsize=8283048 memory=3474260 CPUtime=235.78 cores=0-7 /proc/9933/task/9939/stat : 9939 (java) S 9907 9907 9740 0 -1 1077944384 2 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287988878352 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9940] ppid=9907 vsize=8283048 memory=1804 CPUtime=235.78 cores=0-7 /proc/9933/task/9940/stat : 9940 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287987825808 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9941] ppid=9907 vsize=8283048 memory=1476 CPUtime=235.78 cores=0-7 /proc/9933/task/9941/stat : 9941 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287986772752 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9942] ppid=9907 vsize=8283048 memory=120960 CPUtime=235.78 cores=0-7 /proc/9933/task/9942/stat : 9942 (java) S 9907 9907 9740 0 -1 1077944384 2 3025691 0 0 0 0 22976 602 20 0 22 0 511721029 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287985720208 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9943] ppid=9907 vsize=8283048 memory=3470292 CPUtime=235.78 cores=0-7 /proc/9933/task/9943/stat : 9943 (java) S 9907 9907 9740 0 -1 1077944384 5 3025691 0 0 0 0 22976 602 20 0 22 0 511721030 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287935990000 140288506993282 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9944] ppid=9907 vsize=8283048 memory=6944613755294413216 CPUtime=235.78 cores=0-7 /proc/9933/task/9944/stat : 9944 (java) S 9907 9907 9740 0 -1 1077944384 13 3025691 0 0 0 0 22976 602 20 0 22 0 511721030 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287187870880 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9945] ppid=9907 vsize=8283048 memory=6933690279252828305 CPUtime=235.78 cores=0-7 /proc/9933/task/9945/stat : 9945 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721031 8481841152 57493 33554432000 4194304 4196468 140730729653936 140286919434992 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9946] ppid=9907 vsize=8283048 memory=120960 CPUtime=235.78 cores=0-7 /proc/9933/task/9946/stat : 9946 (java) S 9907 9907 9740 0 -1 1077944384 1 3025691 0 0 0 0 22976 602 20 0 22 0 511721033 8481841152 57493 33554432000 4194304 4196468 140730729653936 140286544926672 140288507000731 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9947] ppid=9907 vsize=8283048 memory=0 CPUtime=235.94 cores=0-7 /proc/9933/task/9947/stat : 9947 (java) S 9907 9907 9740 0 -1 1077944384 715 3025691 0 0 16 0 22976 602 20 0 22 0 511721033 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287934937840 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9948] ppid=9907 vsize=8283048 memory=0 CPUtime=235.96 cores=0-7 /proc/9933/task/9948/stat : 9948 (java) S 9907 9907 9740 0 -1 1077944384 459 3025691 0 0 18 0 22976 602 20 0 22 0 511721033 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287933885296 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9949] ppid=9907 vsize=8283048 memory=0 CPUtime=236.03 cores=0-7 /proc/9933/task/9949/stat : 9949 (java) S 9907 9907 9740 0 -1 1077944384 786 3025691 0 0 24 1 22976 602 20 0 22 0 511721033 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287932832240 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9950] ppid=9907 vsize=8283048 memory=1476 CPUtime=236.12 cores=0-7 /proc/9933/task/9950/stat : 9950 (java) S 9907 9907 9740 0 -1 1077944384 1276 3025691 0 0 34 0 22976 602 20 0 22 0 511721033 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287931779696 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9951] ppid=9907 vsize=8283048 memory=120960 CPUtime=235.78 cores=0-7 /proc/9933/task/9951/stat : 9951 (java) S 9907 9907 9740 0 -1 1077944384 3 3025691 0 0 0 0 22976 602 20 0 22 0 511721033 8481841152 57493 33554432000 4194304 4196468 140730729653936 140286047021536 140288506992341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9952] ppid=9907 vsize=8283048 memory=3474268 CPUtime=235.79 cores=0-7 /proc/9933/task/9952/stat : 9952 (java) S 9907 9907 9740 0 -1 1077944384 4 3025691 0 0 0 1 22976 602 20 0 22 0 511721034 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287930727088 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9954] ppid=9907 vsize=8283048 memory=1704 CPUtime=235.78 cores=0-7 /proc/9933/task/9954/stat : 9954 (java) S 9907 9907 9740 0 -1 1077944384 31 3025691 0 0 0 0 22976 602 20 0 22 0 511721102 8481841152 57493 33554432000 4194304 4196468 140730729653936 140287926980752 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 [pid=9933/tid=9958] ppid=9907 vsize=8283048 memory=0 CPUtime=235.78 cores=0-7 /proc/9933/task/9958/stat : 9958 (java) S 9907 9907 9740 0 -1 1077944384 13 3025691 0 0 0 0 22976 602 20 0 22 0 511721104 8481841152 57493 33554432000 4194304 4196468 140730729653936 140285107496112 140288506993282 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14630912 140730729661432 140730729661590 140730729661590 140730729664463 0 Current children cumulated CPU time: 278.13 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 231448 KiB Child status: 0 Real time (s): 67.1202 CPU time (s): 278.184 CPU user time (s): 270.285 CPU system time (s): 7.89943 CPU usage (%): 414.457 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 6063724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 270.285 system time used= 7.89943 maximum resident set size= 6063496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3084989 page faults= 0 swaps= 0 block input operations= 8 block output operations= 339416 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 75102 involuntary context switches= 2465 # summary of solver processes directly reported to runsolver: # pid: 9907 # total CPU time (s): 278.184 # total CPU user time (s): 270.285 # total CPU system time (s): 7.89943 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.552275 second user time and 0.851726 second system time The end
Begin job on node141 at 2019-09-24 22:42:40 IDJOB=4405339 IDBENCH=138476 IDSOLVER=2867 FILE ID=node141/4405339-1569357803 RUNJOBID= node141-1569357732-9767 PBS_JOBID= 21705108 Free space on /tmp= 22932 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-16.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -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-4405339-1569357803/watcher-4405339-1569357803 -o /tmp/evaluation-result-4405339-1569357803/solver-4405339-1569357803 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569357732-9767 --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-4405339-1569357803.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 60f46a78fc335bdeaa2bda0ed3237a46 RANDOM SEED=755738226 node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25236752 kB MemAvailable: 31807680 kB Buffers: 105508 kB Cached: 6745284 kB SwapCached: 62120 kB Active: 3386736 kB Inactive: 3532044 kB Active(anon): 5320 kB Inactive(anon): 116756 kB Active(file): 3381416 kB Inactive(file): 3415288 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66936732 kB Dirty: 21236 kB Writeback: 0 kB AnonPages: 45912 kB Mapped: 54576 kB Shmem: 44692 kB Slab: 209484 kB SReclaimable: 180116 kB SUnreclaim: 29368 kB KernelStack: 3744 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514444 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 22912 MiB End job on node141 at 2019-09-24 22:43:47