| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-09-22) | UNSAT | 22.1184 | 12.4108 |
| Name | LatinSquare/LatinSquare-xcsp2-qcp25/ qcp-25-264-12_X2.xml |
| MD5SUM | 0da6a8f2891de305d0b0efc67f372d88 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 3.28665 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 625 |
| Number of constraints | 15000 |
| Number of domains | 26 |
| Minimum domain size | 1 |
| Maximum domain size | 25 |
| Distribution of domain sizes | [{"size":1,"count":361},{"size":25,"count":264}] |
| Minimum variable degree | 48 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":48,"count":625}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":15000}] |
| Number of extensional constraints | 15000 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":15000}] |
| 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-21492-serial-file.bin HOME/instance-4405205-1569359397.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 23:09:19 CEST 2019 0.66/0.56 c PID: 21495 0.66/0.56 c IP: 172.20.3.149 0.66/0.56 c HOST: node149.alineos.net 0.66/0.57 c (0,0) Parsing Begin 4.09/1.55 c (1,0) Parsing End 4.09/1.56 c (1,1) CSP: 597 int (0 aux), 28 bool (0 aux), 10142 ctr, max domain size 25 4.09/1.56 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 4.09/1.56 c (1,1) Constraint Name Generate Begin 4.09/1.59 c (1,1) Ctr:HOME/instance-4405205-1569359397.xml,ExtensionConflict:Var 4.09/1.59 c (1,1) Constraint Name Generate End 4.09/1.59 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 4.09/1.59 c (1,1) CSP to CSPinCNF Begin 7.25/2.46 c (1,1) translated 1015 (10%) constraints 9.22/3.90 c (3,3) translated 2029 (20%) constraints 10.68/5.32 c (4,4) translated 3043 (30%) constraints 11.19/5.87 c (5,5) translated 4057 (40%) constraints 11.32/5.95 c (5,5) translated 5071 (50%) constraints 11.50/6.03 c (5,5) translated 6086 (60%) constraints 11.50/6.11 c (5,5) translated 7100 (70%) constraints 11.75/6.17 c (5,5) translated 8114 (80%) constraints 11.93/6.25 c (5,5) translated 9128 (90%) constraints 12.09/6.32 c (5,5) translated 10142 (100%) constraints 12.09/6.32 c (5,5) =========================================== 12.09/6.32 c (5,5) Order 12.09/6.32 c (5,5) =========================================== 12.49/6.50 c (5,5) translated 7087 (10%) constraints 12.63/6.65 c (6,6) translated 14173 (20%) constraints 12.87/6.81 c (6,6) translated 21259 (30%) constraints 12.98/6.96 c (6,6) translated 28345 (40%) constraints 13.19/7.11 c (6,6) translated 35431 (50%) constraints 13.29/7.26 c (6,6) translated 42518 (60%) constraints 13.48/7.42 c (6,6) translated 49604 (70%) constraints 13.59/7.57 c (7,7) translated 56690 (80%) constraints 13.79/7.72 c (7,7) translated 63776 (90%) constraints 13.88/7.86 c (7,7) translated 70862 (100%) constraints 13.88/7.86 c (7,7) CSP to CSPinCNF End 13.88/7.86 c (7,7) CSP: 597 int (0 aux), 28 bool (0 aux), 70862 ctr, max domain size 25 13.88/7.86 c (7,7) Heap : 2816 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 13.88/7.86 c (7,7) CSPinCNF Propagation Begin 18.00/10.40 c (9,9) 1815 values, 49152 unsatisfiable literals, and 27346 valid clauses are removed 18.00/10.40 c (9,9) CSPinCNF Propagation End 18.00/10.41 c (9,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25 18.00/10.41 c (9,9) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 18.00/10.41 c (9,9) Simplify CSPinCNF Begin 18.19/10.55 c (10,9) Simplify CSPinCNF End 18.19/10.55 c (10,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25 18.19/10.55 c (10,9) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 18.19/10.55 c (10,9) Calculate Precise Domain Begin 18.19/10.55 c (10,9) 0 values are removed by re-calculation 18.19/10.55 c (10,9) Calculate Precise Domain End 18.19/10.55 c (10,9) CSP: 597 int (0 aux), 28 bool (0 aux), 43516 ctr, max domain size 25 18.19/10.55 c (10,9) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 18.19/10.55 c (10,9) CSPinCNF to SatSolver Begin 18.66/10.78 c (10,10) 4352 (10 %) CSP clauses are encoded (0 SAT variables, 8608 SAT clauses) 19.06/10.87 c (10,10) 8704 (20 %) CSP clauses are encoded (0 SAT variables, 12960 SAT clauses) 19.46/10.94 c (10,10) 13055 (30 %) CSP clauses are encoded (0 SAT variables, 17311 SAT clauses) 19.46/11.00 c (10,10) 17407 (40 %) CSP clauses are encoded (0 SAT variables, 21663 SAT clauses) 19.74/11.05 c (10,10) 21758 (50 %) CSP clauses are encoded (0 SAT variables, 26014 SAT clauses) 19.84/11.11 c (10,10) 26110 (60 %) CSP clauses are encoded (0 SAT variables, 30366 SAT clauses) 19.84/11.16 c (10,10) 30462 (70 %) CSP clauses are encoded (0 SAT variables, 34718 SAT clauses) 19.93/11.22 c (10,10) 34813 (80 %) CSP clauses are encoded (0 SAT variables, 39069 SAT clauses) 19.93/11.27 c (10,10) 39165 (90 %) CSP clauses are encoded (0 SAT variables, 43421 SAT clauses) 20.04/11.31 c (10,10) 43516 (100 %) CSP clauses are encoded (0 SAT variables, 47772 SAT clauses) 20.04/11.31 c (10,10) CSPinCNF to SatSolver End 20.04/11.31 c (10,10) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 20.04/11.31 c (10,10) 4521 bool, 47773 clause 20.04/11.31 c (10,10) Export Begin 20.24/11.43 c (10,10) Export to HOME/scop-21492-serial-file.bin 20.24/11.43 c (10,10) Export End 20.24/11.43 c (10,10) Export File Size: 0.11 MB 20.24/11.43 c (10,10) 1,1,7,9,10,10,10,STOP-AFTER(DIMACS) 20.24/11.43 c END-Prog: Tue Sep 24 23:09:30 CEST 2019 20.24/11.48 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21492-serial-file.bin 20.41/11.95 c (0,0) Read Serial File Begin 20.41/11.95 c (0,0) HOME/scop-21492-serial-file.bin 21.48/12.20 c (0,0) Read Serial File End 21.48/12.21 21.48/12.21 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 21.48/12.21 (Solving Process) 21.48/12.21 21.48/12.23 c BEGIN-Prog: Tue Sep 24 23:09:31 CEST 2019 21.48/12.23 c PID: 21515 21.48/12.23 c IP: 172.20.3.149 21.48/12.23 c HOST: node149.alineos.net 21.48/12.24 c (0,0) SatSolver.solve Begin 21.48/12.24 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405205-1569359397.xml-scop-21495.cnf 21.48/12.26 c (0,0) c 21.48/12.26 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) 21.48/12.26 c (0,0) c 21.48/12.26 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 21.48/12.26 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 21.48/12.26 c (0,0) c ========================================[ Problem Statistics ]=========================================== 21.48/12.26 c (0,0) c | | 21.48/12.28 c (0,0) c | Number of variables: 4521 | 21.48/12.28 c (0,0) c | Number of clauses: 47773 | 21.48/12.28 c (0,0) c | Parse time: 0.02 s | 21.48/12.28 c (0,0) c | | 21.72/12.31 c (0,0) c | Simplification time: 0.03 s | 21.72/12.31 c (0,0) c | | 21.72/12.32 c (0,0) c | Generating clones | 21.72/12.33 c (0,0) c | all clones generated. Memory = 36.80Mb. | 21.72/12.33 c (0,0) c ========================================================================================================| 21.72/12.33 c (0,0) c 21.72/12.33 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 21.72/12.33 c (0,0) c 21.72/12.33 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.33 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 21.72/12.33 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.33 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 21.72/12.33 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 21.72/12.33 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 21.72/12.33 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 21.72/12.33 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 21.72/12.33 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 21.72/12.33 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 21.72/12.33 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 21.72/12.33 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 21.72/12.33 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 21.72/12.33 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 21.72/12.33 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 21.72/12.33 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 21.72/12.33 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 21.72/12.33 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 21.72/12.33 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c 21.72/12.37 c (0,0) c real time : 0.105171 s 21.72/12.37 c (0,0) c cpu time : 0.242694 s 21.72/12.37 c (0,0) c 21.72/12.37 c (0,0) c 21.72/12.37 c (0,0) c 21.72/12.37 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 21.72/12.37 c (0,0) c 21.72/12.37 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 21.72/12.37 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c | Conflicts | 22944 | 2688 | 2819 | 4022 | 1644 | 1846 | 2449 | 3584 | 3892 | 21.72/12.37 c (0,0) c | Decisions | 31477 | 3621 | 3900 | 5239 | 2369 | 2699 | 3272 | 4786 | 5591 | 21.72/12.37 c (0,0) c | Propagations | 497107 | 57115 | 66808 | 86714 | 34359 | 40569 | 44489 | 72364 | 94689 | 21.72/12.37 c (0,0) c | ReduceDBs | 6 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 21.72/12.37 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 21.72/12.37 c (0,0) c | Restarts | 25 | 1 | 1 | 3 | 3 | 3 | 4 | 4 | 6 | 21.72/12.37 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | PropBinClauses| 566173 | 65253 | 75067 | 96775 | 40369 | 46346 | 51632 | 82907 | 107824 | 21.72/12.37 c (0,0) c | PropPreBlocker| 4478609 | 503747 | 545216 | 985020 | 209923 | 273999 | 355944 | 808950 | 795810 | 21.72/12.37 c (0,0) c | PropNotBlocker| 2136878 | 253473 | 251030 | 456484 | 111715 | 136552 | 179631 | 380921 | 367072 | 21.72/12.37 c (0,0) c | LitFullScans | 10611166 | 1231447 | 1274245 | 2274633 | 535797 | 662656 | 857553 | 1877666 | 1897169 | 21.72/12.37 c (0,0) c | LitScanFracts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | DecisionLevel0| 82 | 6 | 10 | 11 | 9 | 10 | 14 | 10 | 12 | 21.72/12.37 c (0,0) c | Periods | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 21.72/12.37 c (0,0) c | Avg_Trail | | 128 | 140 | 123 | 146 | 139 | 129 | 129 | 140 | 21.72/12.37 c (0,0) c | Avg_DL | | 15 | 20 | 14 | 19 | 19 | 18 | 15 | 17 | 21.72/12.37 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c | Exported | 723 | 89 | 84 | 102 | 85 | 88 | 113 | 92 | 70 | 21.72/12.37 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 21.72/12.37 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c | Unaries | | 5 | 9 | 8 | 6 | 7 | 10 | 6 | 6 | 21.72/12.37 c (0,0) c | Binaries | | 26 | 29 | 26 | 25 | 18 | 20 | 28 | 27 | 21.72/12.37 c (0,0) c | Glues | | 89 | 84 | 102 | 85 | 88 | 113 | 92 | 70 | 21.72/12.37 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c | Orig_Seen | 15 % | 870 | 674 | 1118 | 863 | 1082 | 767 | 888 | 1557 | 21.72/12.37 c (0,0) c | Diff Orig seen| | X | - 196 | 248 | - 7 | 212 | - 103 | 18 | 687 | 21.72/12.37 c (0,0) c | Hamming | 5 % | X | 219 | 221 | 244 | 235 | 252 | 213 | 260 | 21.72/12.37 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c | RunningTime | | 0.0 99%| 0.0 99%| 0.0 99%| 0.0 98%| 0.0 99%| 0.0 99%| 0.0 100%| 0.0 99%| 21.72/12.37 c (0,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 21.72/12.37 c (0,0) c | ExchangingTime| | 0.0 1%| 0.0 1%| 0.0 1%| 0.0 2%| 0.0 1%| 0.0 1%| 0.0 0%| 0.0 1%| 21.72/12.37 c (0,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%| 21.72/12.37 c (0,0) c | SolvingTime | | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 21.72/12.37 c (0,0) c | PropagationTim| | 0.0 66%| 0.0 64%| 0.0 63%| 0.0 69%| 0.0 62%| 0.0 60%| 0.0 70%| 0.0 62%| 21.72/12.37 c (0,0) c | AnalysisTime | | 0.0 20%| 0.0 21%| 0.0 23%| 0.0 20%| 0.0 24%| 0.0 21%| 0.0 19%| 0.0 24%| 21.72/12.37 c (0,0) c | ReductionTime | | 0.0 5%| 0.0 5%| 0.0 3%| 0.0 0%| 0.0 0%| 0.0 5%| 0.0 3%| 0.0 3%| 21.72/12.37 c (0,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 21.72/12.37 c (0,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%| 21.72/12.37 c (0,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%| 21.72/12.37 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.37 c (0,0) c 21.72/12.37 c (0,0) c 21.72/12.37 c (0,0) c Threads : 8 21.72/12.37 c (0,0) c Winner : 0 21.72/12.37 c (0,0) c Conflicts_0 : 2688 21.72/12.37 c (0,0) c Conflicts_1 : 2819 21.72/12.37 c (0,0) c Conflicts_2 : 4022 21.72/12.37 c (0,0) c Conflicts_3 : 1644 21.72/12.37 c (0,0) c Conflicts_4 : 1846 21.72/12.37 c (0,0) c Conflicts_5 : 2449 21.72/12.37 c (0,0) c Conflicts_6 : 3584 21.72/12.37 c (0,0) c Conflicts_7 : 3892 21.72/12.37 c (0,0) c Conflicts_total : 22944 21.72/12.37 c (0,0) c Conflicts_winner : 2688 21.72/12.37 c (0,0) c Decisions_0 : 3621 21.72/12.37 c (0,0) c Decisions_1 : 3900 21.72/12.37 c (0,0) c Decisions_2 : 5239 21.72/12.37 c (0,0) c Decisions_3 : 2369 21.72/12.37 c (0,0) c Decisions_4 : 2699 21.72/12.37 c (0,0) c Decisions_5 : 3272 21.72/12.37 c (0,0) c Decisions_6 : 4786 21.72/12.37 c (0,0) c Decisions_7 : 5591 21.72/12.37 c (0,0) c Decisions_total : 31477 21.72/12.37 c (0,0) c Decisions_winner : 3621 21.72/12.37 c (0,0) c Propagations_0 : 57115 21.72/12.37 c (0,0) c Propagations_1 : 66808 21.72/12.37 c (0,0) c Propagations_2 : 86714 21.72/12.37 c (0,0) c Propagations_3 : 34359 21.72/12.37 c (0,0) c Propagations_4 : 40569 21.72/12.37 c (0,0) c Propagations_5 : 44489 21.72/12.37 c (0,0) c Propagations_6 : 72364 21.72/12.37 c (0,0) c Propagations_7 : 94689 21.72/12.37 c (0,0) c Propagations_total : 497107 21.72/12.37 c (0,0) c Propagations_winner : 57115 21.72/12.37 c (0,0) c ReduceDBs_0 : 1 21.72/12.37 c (0,0) c ReduceDBs_1 : 1 21.72/12.37 c (0,0) c ReduceDBs_2 : 1 21.72/12.37 c (0,0) c ReduceDBs_3 : 0 21.72/12.37 c (0,0) c ReduceDBs_4 : 0 21.72/12.37 c (0,0) c ReduceDBs_5 : 1 21.72/12.37 c (0,0) c ReduceDBs_6 : 1 21.72/12.37 c (0,0) c ReduceDBs_7 : 1 21.72/12.37 c (0,0) c ReduceDBs_total : 6 21.72/12.37 c (0,0) c ReduceDBs_winner : 1 21.72/12.37 c (0,0) c SimpDBs_0 : 1 21.72/12.37 c (0,0) c SimpDBs_1 : 1 21.72/12.37 c (0,0) c SimpDBs_2 : 1 21.72/12.37 c (0,0) c SimpDBs_3 : 1 21.72/12.37 c (0,0) c SimpDBs_4 : 1 21.72/12.37 c (0,0) c SimpDBs_5 : 1 21.72/12.37 c (0,0) c SimpDBs_6 : 1 21.72/12.37 c (0,0) c SimpDBs_7 : 1 21.72/12.37 c (0,0) c SimpDBs_total : 8 21.72/12.37 c (0,0) c SimpDBs_winner : 1 21.72/12.37 c (0,0) c Restarts_0 : 1 21.72/12.37 c (0,0) c Restarts_1 : 1 21.72/12.37 c (0,0) c Restarts_2 : 3 21.72/12.37 c (0,0) c Restarts_3 : 3 21.72/12.37 c (0,0) c Restarts_4 : 3 21.72/12.37 c (0,0) c Restarts_5 : 4 21.72/12.37 c (0,0) c Restarts_6 : 4 21.72/12.37 c (0,0) c Restarts_7 : 6 21.72/12.37 c (0,0) c Restarts_total : 25 21.72/12.37 c (0,0) c Restarts_winner : 1 21.72/12.37 c (0,0) c ForcedImports_0 : 0 21.72/12.37 c (0,0) c ForcedImports_1 : 0 21.72/12.37 c (0,0) c ForcedImports_2 : 0 21.72/12.37 c (0,0) c ForcedImports_3 : 0 21.72/12.37 c (0,0) c ForcedImports_4 : 0 21.72/12.37 c (0,0) c ForcedImports_5 : 0 21.72/12.37 c (0,0) c ForcedImports_6 : 0 21.72/12.37 c (0,0) c ForcedImports_7 : 0 21.72/12.37 c (0,0) c ForcedImports_total : 0 21.72/12.37 c (0,0) c ForcedImports_winner : 0 21.72/12.37 c (0,0) c PropsBinClauses_0 : 65253 21.72/12.37 c (0,0) c PropsBinClauses_1 : 75067 21.72/12.37 c (0,0) c PropsBinClauses_2 : 96775 21.72/12.37 c (0,0) c PropsBinClauses_3 : 40369 21.72/12.37 c (0,0) c PropsBinClauses_4 : 46346 21.72/12.37 c (0,0) c PropsBinClauses_5 : 51632 21.72/12.37 c (0,0) c PropsBinClauses_6 : 82907 21.72/12.37 c (0,0) c PropsBinClauses_7 : 107824 21.72/12.37 c (0,0) c PropsBinClauses_total : 566173 21.72/12.37 c (0,0) c PropsBinClauses_winner : 65253 21.72/12.37 c (0,0) c PropsPreBlocker_0 : 503747 21.72/12.37 c (0,0) c PropsPreBlocker_1 : 545216 21.72/12.37 c (0,0) c PropsPreBlocker_2 : 985020 21.72/12.37 c (0,0) c PropsPreBlocker_3 : 209923 21.72/12.37 c (0,0) c PropsPreBlocker_4 : 273999 21.72/12.37 c (0,0) c PropsPreBlocker_5 : 355944 21.72/12.37 c (0,0) c PropsPreBlocker_6 : 808950 21.72/12.37 c (0,0) c PropsPreBlocker_7 : 795810 21.72/12.37 c (0,0) c PropsPreBlocker_total : 4478609 21.72/12.37 c (0,0) c PropsPreBlocker_winner : 503747 21.72/12.37 c (0,0) c PropsNotBlocker_0 : 253473 21.72/12.37 c (0,0) c PropsNotBlocker_1 : 251030 21.72/12.37 c (0,0) c PropsNotBlocker_2 : 456484 21.72/12.37 c (0,0) c PropsNotBlocker_3 : 111715 21.72/12.37 c (0,0) c PropsNotBlocker_4 : 136552 21.72/12.37 c (0,0) c PropsNotBlocker_5 : 179631 21.72/12.37 c (0,0) c PropsNotBlocker_6 : 380921 21.72/12.37 c (0,0) c PropsNotBlocker_7 : 367072 21.72/12.37 c (0,0) c PropsNotBlocker_total : 2136878 21.72/12.37 c (0,0) c PropsNotBlocker_winner : 253473 21.72/12.37 c (0,0) c PropsLitFullScans_0 : 1231447 21.72/12.37 c (0,0) c PropsLitFullScans_1 : 1274245 21.72/12.37 c (0,0) c PropsLitFullScans_2 : 2274633 21.72/12.37 c (0,0) c PropsLitFullScans_3 : 535797 21.72/12.37 c (0,0) c PropsLitFullScans_4 : 662656 21.72/12.37 c (0,0) c PropsLitFullScans_5 : 857553 21.72/12.37 c (0,0) c PropsLitFullScans_6 : 1877666 21.72/12.37 c (0,0) c PropsLitFullScans_7 : 1897169 21.72/12.37 c (0,0) c PropsLitFullScans_total : 10611166 21.72/12.37 c (0,0) c PropsLitFullScans_winner : 1231447 21.72/12.37 c (0,0) c LitScanFractions_0 : 0 21.72/12.37 c (0,0) c LitScanFractions_1 : 0 21.72/12.37 c (0,0) c LitScanFractions_2 : 0 21.72/12.37 c (0,0) c LitScanFractions_3 : 0 21.72/12.37 c (0,0) c LitScanFractions_4 : 0 21.72/12.37 c (0,0) c LitScanFractions_5 : 0 21.72/12.37 c (0,0) c LitScanFractions_6 : 0 21.72/12.37 c (0,0) c LitScanFractions_7 : 0 21.72/12.37 c (0,0) c LitScanFractions_total : 0 21.72/12.37 c (0,0) c LitScanFractions_winner : 0 21.72/12.37 c (0,0) c DecisionLevel0_0 : 6 21.72/12.37 c (0,0) c DecisionLevel0_1 : 10 21.72/12.37 c (0,0) c DecisionLevel0_2 : 11 21.72/12.37 c (0,0) c DecisionLevel0_3 : 9 21.72/12.37 c (0,0) c DecisionLevel0_4 : 10 21.72/12.37 c (0,0) c DecisionLevel0_5 : 14 21.72/12.37 c (0,0) c DecisionLevel0_6 : 10 21.72/12.37 c (0,0) c DecisionLevel0_7 : 12 21.72/12.37 c (0,0) c DecisionLevel0_total : 82 21.72/12.37 c (0,0) c DecisionLevel0_winner : 6 21.72/12.37 c (0,0) c Periods_0 : 0 21.72/12.37 c (0,0) c Periods_1 : 0 21.72/12.37 c (0,0) c Periods_2 : 0 21.72/12.37 c (0,0) c Periods_3 : 0 21.72/12.37 c (0,0) c Periods_4 : 0 21.72/12.37 c (0,0) c Periods_5 : 0 21.72/12.37 c (0,0) c Periods_6 : 0 21.72/12.37 c (0,0) c Periods_7 : 0 21.72/12.37 c (0,0) c Periods_total : 0 21.72/12.37 c (0,0) c Periods_winner : 0 21.72/12.37 c (0,0) c Margin_0 : 20 21.72/12.37 c (0,0) c Margin_1 : 20 21.72/12.37 c (0,0) c Margin_2 : 20 21.72/12.37 c (0,0) c Margin_3 : 20 21.72/12.37 c (0,0) c Margin_4 : 20 21.72/12.37 c (0,0) c Margin_5 : 20 21.72/12.37 c (0,0) c Margin_6 : 20 21.72/12.37 c (0,0) c Margin_7 : 20 21.72/12.37 c (0,0) c Margin_total : 160 21.72/12.37 c (0,0) c Margin_winner : 20 21.72/12.37 c (0,0) c Exported_0 : 89 21.72/12.38 c (0,0) c Exported_1 : 84 21.72/12.38 c (0,0) c Exported_2 : 102 21.72/12.38 c (0,0) c Exported_3 : 85 21.72/12.38 c (0,0) c Exported_4 : 88 21.72/12.38 c (0,0) c Exported_5 : 113 21.72/12.38 c (0,0) c Exported_6 : 92 21.72/12.38 c (0,0) c Exported_7 : 70 21.72/12.38 c (0,0) c Exported_total : 723 21.72/12.38 c (0,0) c Exported_winner : 89 21.72/12.38 c (0,0) c Imported_0 : 0 21.72/12.38 c (0,0) c Imported_1 : 0 21.72/12.38 c (0,0) c Imported_2 : 0 21.72/12.38 c (0,0) c Imported_3 : 0 21.72/12.38 c (0,0) c Imported_4 : 0 21.72/12.38 c (0,0) c Imported_5 : 0 21.72/12.38 c (0,0) c Imported_6 : 0 21.72/12.38 c (0,0) c Imported_7 : 0 21.72/12.38 c (0,0) c Imported_total : 0 21.72/12.38 c (0,0) c Imported_winner : 0 21.72/12.38 c (0,0) c Good_0 : 0 21.72/12.38 c (0,0) c Good_1 : 0 21.72/12.38 c (0,0) c Good_2 : 0 21.72/12.38 c (0,0) c Good_3 : 0 21.72/12.38 c (0,0) c Good_4 : 0 21.72/12.38 c (0,0) c Good_5 : 0 21.72/12.38 c (0,0) c Good_6 : 0 21.72/12.38 c (0,0) c Good_7 : 0 21.72/12.38 c (0,0) c Good_total : 0 21.72/12.38 c (0,0) c Good_winner : 0 21.72/12.38 c (0,0) c Purge_0 : 0 21.72/12.38 c (0,0) c Purge_1 : 0 21.72/12.38 c (0,0) c Purge_2 : 0 21.72/12.38 c (0,0) c Purge_3 : 0 21.72/12.38 c (0,0) c Purge_4 : 0 21.72/12.38 c (0,0) c Purge_5 : 0 21.72/12.38 c (0,0) c Purge_6 : 0 21.72/12.38 c (0,0) c Purge_7 : 0 21.72/12.38 c (0,0) c Purge_total : 0 21.72/12.38 c (0,0) c Purge_winner : 0 21.72/12.38 c (0,0) c Promoted_0 : 0 21.72/12.38 c (0,0) c Promoted_1 : 0 21.72/12.38 c (0,0) c Promoted_2 : 0 21.72/12.38 c (0,0) c Promoted_3 : 0 21.72/12.38 c (0,0) c Promoted_4 : 0 21.72/12.38 c (0,0) c Promoted_5 : 0 21.72/12.38 c (0,0) c Promoted_6 : 0 21.72/12.38 c (0,0) c Promoted_7 : 0 21.72/12.38 c (0,0) c Promoted_total : 0 21.72/12.38 c (0,0) c Promoted_winner : 0 21.72/12.38 c (0,0) c Remove_Imp_0 : 0 21.72/12.38 c (0,0) c Remove_Imp_1 : 0 21.72/12.38 c (0,0) c Remove_Imp_2 : 0 21.72/12.38 c (0,0) c Remove_Imp_3 : 0 21.72/12.38 c (0,0) c Remove_Imp_4 : 0 21.72/12.38 c (0,0) c Remove_Imp_5 : 0 21.72/12.38 c (0,0) c Remove_Imp_6 : 0 21.72/12.38 c (0,0) c Remove_Imp_7 : 0 21.72/12.38 c (0,0) c Remove_Imp_total : 0 21.72/12.38 c (0,0) c Remove_Imp_winner : 0 21.72/12.38 c (0,0) c Blocked_Reuse_0 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_1 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_2 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_3 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_4 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_5 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_6 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_7 : 0 21.72/12.38 c (0,0) c Blocked_Reuse_total : 0 21.72/12.38 c (0,0) c Blocked_Reuse_winner : 0 21.72/12.38 c (0,0) c Unaries_0 : 5 21.72/12.38 c (0,0) c Unaries_1 : 9 21.72/12.38 c (0,0) c Unaries_2 : 8 21.72/12.38 c (0,0) c Unaries_3 : 6 21.72/12.38 c (0,0) c Unaries_4 : 7 21.72/12.38 c (0,0) c Unaries_5 : 10 21.72/12.38 c (0,0) c Unaries_6 : 6 21.72/12.38 c (0,0) c Unaries_7 : 6 21.72/12.38 c (0,0) c Unaries_total : 57 21.72/12.38 c (0,0) c Unaries_winner : 5 21.72/12.38 c (0,0) c Binaries_0 : 26 21.72/12.38 c (0,0) c Binaries_1 : 29 21.72/12.38 c (0,0) c Binaries_2 : 26 21.72/12.38 c (0,0) c Binaries_3 : 25 21.72/12.38 c (0,0) c Binaries_4 : 18 21.72/12.38 c (0,0) c Binaries_5 : 20 21.72/12.38 c (0,0) c Binaries_6 : 28 21.72/12.38 c (0,0) c Binaries_7 : 27 21.72/12.38 c (0,0) c Binaries_total : 199 21.72/12.38 c (0,0) c Binaries_winner : 26 21.72/12.38 c (0,0) c Glues_0 : 89 21.72/12.38 c (0,0) c Glues_1 : 84 21.72/12.38 c (0,0) c Glues_2 : 102 21.72/12.38 c (0,0) c Glues_3 : 85 21.72/12.38 c (0,0) c Glues_4 : 88 21.72/12.38 c (0,0) c Glues_5 : 113 21.72/12.38 c (0,0) c Glues_6 : 92 21.72/12.38 c (0,0) c Glues_7 : 70 21.72/12.38 c (0,0) c Glues_total : 723 21.72/12.38 c (0,0) c Glues_winner : 89 21.72/12.38 c (0,0) c RunningTime_0 : 0.026385 21.72/12.38 c (0,0) c RunningTime_1 : 0.025893 21.72/12.38 c (0,0) c RunningTime_2 : 0.034986 21.72/12.38 c (0,0) c RunningTime_3 : 0.014724 21.72/12.38 c (0,0) c RunningTime_4 : 0.014142 21.72/12.38 c (0,0) c RunningTime_5 : 0.020815 21.72/12.38 c (0,0) c RunningTime_6 : 0.038306 21.72/12.38 c (0,0) c RunningTime_7 : 0.032537 21.72/12.38 c (0,0) c RunningTime_total : 0.207788 21.72/12.38 c (0,0) c RunningTime_winner : 0.026385 21.72/12.38 c (0,0) c WaitingTime_0 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_1 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_2 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_3 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_4 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_5 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_6 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_7 : 0.000000 21.72/12.38 c (0,0) c WaitingTime_total : 0.000000 21.72/12.38 c (0,0) c WaitingTime_winner : 0.000000 21.72/12.38 c (0,0) c ExchangingTime_0 : 0.000256 21.72/12.38 c (0,0) c ExchangingTime_1 : 0.000263 21.72/12.38 c (0,0) c ExchangingTime_2 : 0.000295 21.72/12.38 c (0,0) c ExchangingTime_3 : 0.000244 21.72/12.38 c (0,0) c ExchangingTime_4 : 0.000197 21.72/12.38 c (0,0) c ExchangingTime_5 : 0.000180 21.72/12.38 c (0,0) c ExchangingTime_6 : 0.000169 21.72/12.38 c (0,0) c ExchangingTime_7 : 0.000201 21.72/12.38 c (0,0) c ExchangingTime_total : 0.001804 21.72/12.38 c (0,0) c ExchangingTime_winner : 0.000256 21.72/12.38 c (0,0) c PeriodProcTime_0 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_1 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_2 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_3 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_4 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_5 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_6 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_7 : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_total : 0.000000 21.72/12.38 c (0,0) c PeriodProcTime_winner : 0.000000 21.72/12.38 c (0,0) c SolvingTime_0 : 0.026640 21.72/12.38 c (0,0) c SolvingTime_1 : 0.026157 21.72/12.38 c (0,0) c SolvingTime_2 : 0.035281 21.72/12.38 c (0,0) c SolvingTime_3 : 0.014969 21.72/12.38 c (0,0) c SolvingTime_4 : 0.014338 21.72/12.38 c (0,0) c SolvingTime_5 : 0.020994 21.72/12.38 c (0,0) c SolvingTime_6 : 0.038475 21.72/12.38 c (0,0) c SolvingTime_7 : 0.032738 21.72/12.38 c (0,0) c SolvingTime_total : 0.209592 21.72/12.38 c (0,0) c SolvingTime_winner : 0.026640 21.72/12.38 c (0,0) c PropagationTime_0 : 0.017475 21.72/12.38 c (0,0) c PropagationTime_1 : 0.016830 21.72/12.38 c (0,0) c PropagationTime_2 : 0.022371 21.72/12.38 c (0,0) c PropagationTime_3 : 0.010280 21.72/12.38 c (0,0) c PropagationTime_4 : 0.008954 21.72/12.38 c (0,0) c PropagationTime_5 : 0.012557 21.72/12.38 c (0,0) c PropagationTime_6 : 0.027066 21.72/12.38 c (0,0) c PropagationTime_7 : 0.020313 21.72/12.38 c (0,0) c PropagationTime_total : 0.135846 21.72/12.38 c (0,0) c PropagationTime_winner : 0.017475 21.72/12.38 c (0,0) c AnalysisTime_0 : 0.005333 21.72/12.38 c (0,0) c AnalysisTime_1 : 0.005443 21.72/12.38 c (0,0) c AnalysisTime_2 : 0.008137 21.72/12.38 c (0,0) c AnalysisTime_3 : 0.003031 21.72/12.38 c (0,0) c AnalysisTime_4 : 0.003384 21.72/12.38 c (0,0) c AnalysisTime_5 : 0.004414 21.72/12.38 c (0,0) c AnalysisTime_6 : 0.007254 21.72/12.38 c (0,0) c AnalysisTime_7 : 0.007788 21.72/12.38 c (0,0) c AnalysisTime_total : 0.044785 21.72/12.38 c (0,0) c AnalysisTime_winner : 0.005333 21.72/12.38 c (0,0) c ReductionTime_0 : 0.001322 21.72/12.38 c (0,0) c ReductionTime_1 : 0.001189 21.72/12.38 c (0,0) c ReductionTime_2 : 0.001116 21.72/12.38 c (0,0) c ReductionTime_3 : 0.000000 21.72/12.38 c (0,0) c ReductionTime_4 : 0.000000 21.72/12.38 c (0,0) c ReductionTime_5 : 0.001130 21.72/12.38 c (0,0) c ReductionTime_6 : 0.001144 21.72/12.38 c (0,0) c ReductionTime_7 : 0.001029 21.72/12.38 c (0,0) c ReductionTime_total : 0.006930 21.72/12.38 c (0,0) c ReductionTime_winner : 0.001322 21.72/12.38 c (0,0) c SimplifyTime_0 : 0.000000 21.72/12.38 c (0,0) c SimplifyTime_1 : 0.000000 21.72/12.38 c (0,0) c SimplifyTime_2 : 0.000000 21.72/12.38 c (0,0) c SimplifyTime_3 : 0.000001 21.72/12.38 c (0,0) c SimplifyTime_4 : 0.000000 21.72/12.38 c (0,0) c SimplifyTime_5 : 0.000002 21.72/12.38 c (0,0) c SimplifyTime_6 : 0.000003 21.72/12.38 c (0,0) c SimplifyTime_7 : 0.000003 21.72/12.38 c (0,0) c SimplifyTime_total : 0.000009 21.72/12.38 c (0,0) c SimplifyTime_winner : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_0 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_1 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_2 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_3 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_4 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_5 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_6 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_7 : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_total : 0.000000 21.72/12.38 c (0,0) c UsedRateTime_winner : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_0 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_1 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_2 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_3 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_4 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_5 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_6 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_7 : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_total : 0.000000 21.72/12.38 c (0,0) c OverlapRateTime_winner : 0.000000 21.72/12.38 c (0,0) c 21.72/12.38 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 21.72/12.38 c (0,0) c 21.72/12.38 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.38 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 21.72/12.38 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.38 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 21.72/12.38 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 21.72/12.38 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 21.72/12.38 c (0,0) c | Initial random_seed | 1425824736 | 493692453 | 285515130 | 1336035274 | 432559168 | 83386439 | 1018891244 | 935842877 | 21.72/12.38 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 21.72/12.38 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 21.72/12.38 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 21.72/12.38 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 21.72/12.38 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 21.72/12.38 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 21.72/12.38 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 21.72/12.38 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 21.72/12.38 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 21.72/12.38 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 21.72/12.38 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 21.72/12.38 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/12.38 c (0,0) 21.72/12.38 c (0,0) s UNSATISFIABLE 21.72/12.38 c (0,0) SatSolver.solve End 21.72/12.38 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 21.72/12.38 c (0,0) Show results Begin 21.72/12.38 s UNSATISFIABLE 21.72/12.38 c (0,0) Show results End 21.72/12.38 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 21.72/12.39 c (0,0) 0,0,STOP-AFTER(ALL) 21.72/12.39 c END-Prog: Tue Sep 24 23:09:31 CEST 2019
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 (12737 MiB free)
memory of node 1: 16384 MiB (14305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405205-1569359397/watcher-4405205-1569359397 -o /var/tmp/evaluation-result-4405205-1569359397/solver-4405205-1569359397 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569356151-20636 --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-4405205-1569359397.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
Current StackSize limit: 8192 KiB
solver pid=21492, runsolver pid=21489
[startup+0.100149 s]*
/proc/loadavg: 2.45 2.55 5.21 3/211 21514
/proc/meminfo: memFree=27595036/32770624 swapFree=66957784/67108860
[pid=21492] ppid=21489 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21492/stat : 21492 (scop.sh) S 21489 21492 20609 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 512178314 115843072 349 33554432000 4194304 5098028 140732936042800 140732936040056 140003539546748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25808896 140732936049405 140732936049752 140732936049752 140732936052681 0
/proc/21492/statm: 28282 349 296 221 0 87 0
[pid=21495] ppid=21492 vsize=27314120 memory=107780 CPUtime=0.11 cores=0-7
/proc/21495/stat : 21495 (java) S 21492 21492 20609 0 -1 1077944320 6491 0 0 0 8 3 0 0 20 0 20 0 512178314 27969658880 26945 33554432000 4194304 4196468 140728749874928 140728749857472 140044559093495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
/proc/21495/statm: 6828530 26945 2803 1 0 6790935 0
[pid=21495/tid=21496] ppid=21492 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21495/task/21496/stat : 21496 (java) R 21492 21492 20609 0 -1 4202560 4606 0 0 0 6 2 0 0 20 0 20 0 512178314 27969658880 26945 33554432000 4194304 4196468 140728749874928 140044530897696 140044544776021 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21497] ppid=21492 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21495/task/21497/stat : 21497 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140044563335440 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21498] ppid=21492 vsize=27314120 memory=140578651522688 CPUtime=0 cores=0-7
/proc/21495/task/21498/stat : 21498 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043981818256 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21499] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21499/stat : 21499 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043980765712 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21500] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21500/stat : 21500 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043979713168 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21501] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21501/stat : 21501 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043978660624 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21502] ppid=21492 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21495/task/21502/stat : 21502 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043977608080 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21503] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21503/stat : 21503 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043976555536 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21504] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21504/stat : 21504 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043975502992 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21505] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21505/stat : 21505 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178318 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043416254448 140044559104642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21506] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21506/stat : 21506 (java) S 21492 21492 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512178319 27969658880 26945 33554432000 4194304 4196468 140728749874928 140042508952480 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21507] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21507/stat : 21507 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178319 27969658880 26945 33554432000 4194304 4196468 140728749874928 140042240517104 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21508] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21508/stat : 21508 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 26945 33554432000 4194304 4196468 140728749874928 140041866008784 140044559112091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21509] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21509/stat : 21509 (java) S 21492 21492 20609 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043415202288 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21510] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21510/stat : 21510 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043414149744 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21511] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21511/stat : 21511 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043413097200 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21512] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21512/stat : 21512 (java) R 21492 21492 20609 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043412044656 140044537989632 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21513] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21513/stat : 21513 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178322 27969658880 26945 33554432000 4194304 4196468 140728749874928 140041368103136 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21514] ppid=21492 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21495/task/21514/stat : 21514 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178322 27969658880 26945 33554432000 4194304 4196468 140728749874928 140043410991536 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109176 KiB
[startup+0.21072 s]*
/proc/loadavg: 2.45 2.55 5.21 2/211 21514
/proc/meminfo: memFree=27574188/32770624 swapFree=66957784/67108860
[pid=21492] ppid=21489 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21492/stat : 21492 (scop.sh) S 21489 21492 20609 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 512178314 115843072 349 33554432000 4194304 5098028 140732936042800 140732936040056 140003539546748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25808896 140732936049405 140732936049752 140732936049752 140732936052681 0
/proc/21492/statm: 28282 349 296 221 0 87 0
[pid=21495] ppid=21492 vsize=27314120 memory=126904 CPUtime=0.24 cores=0-7
/proc/21495/stat : 21495 (java) S 21492 21492 20609 0 -1 1077944320 12121 0 0 0 20 4 0 0 20 0 20 0 512178314 27969658880 31726 33554432000 4194304 4196468 140728749874928 140728749857472 140044559093495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
/proc/21495/statm: 6828530 31726 2942 1 0 6790935 0
[pid=21495/tid=21496] ppid=21492 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21495/task/21496/stat : 21496 (java) R 21492 21492 20609 0 -1 4202560 9849 0 0 0 16 3 0 0 20 0 20 0 512178314 27969658880 31726 33554432000 4194304 4196468 140728749874928 140044530892880 140044540657024 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21497] ppid=21492 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/21495/task/21497/stat : 21497 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140044563335440 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21498] ppid=21492 vsize=27314120 memory=288370954803234432 CPUtime=0 cores=0-7
/proc/21495/task/21498/stat : 21498 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043981818256 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21499] ppid=21492 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21495/task/21499/stat : 21499 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043980765712 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21500] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21500/stat : 21500 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043979713168 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21501] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21501/stat : 21501 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043978660624 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21502] ppid=21492 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21495/task/21502/stat : 21502 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043977608080 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21503] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21503/stat : 21503 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043976555536 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21504] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21504/stat : 21504 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043975502992 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21505] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21505/stat : 21505 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178318 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043416254448 140044559104642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21506] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21506/stat : 21506 (java) S 21492 21492 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512178319 27969658880 31726 33554432000 4194304 4196468 140728749874928 140042508952480 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21507] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21507/stat : 21507 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178319 27969658880 31726 33554432000 4194304 4196468 140728749874928 140042240517104 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21508] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21508/stat : 21508 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 31726 33554432000 4194304 4196468 140728749874928 140041866008784 140044559112091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21509] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21509/stat : 21509 (java) S 21492 21492 20609 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043415202288 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21510] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21510/stat : 21510 (java) S 21492 21492 20609 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043414149744 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21511] ppid=21492 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21495/task/21511/stat : 21511 (java) S 21492 21492 20609 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043413097200 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21512] ppid=21492 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/21495/task/21512/stat : 21512 (java) S 21492 21492 20609 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 512178321 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043412044656 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21513] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21513/stat : 21513 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178322 27969658880 31726 33554432000 4194304 4196468 140728749874928 140041368103136 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21514] ppid=21492 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21495/task/21514/stat : 21514 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178322 27969658880 31726 33554432000 4194304 4196468 140728749874928 140043410991536 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128300 KiB
[startup+0.310413 s]*
/proc/loadavg: 2.45 2.55 5.21 2/211 21514
/proc/meminfo: memFree=27571520/32770624 swapFree=66957784/67108860
[pid=21492] ppid=21489 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21492/stat : 21492 (scop.sh) S 21489 21492 20609 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 512178314 115843072 349 33554432000 4194304 5098028 140732936042800 140732936040056 140003539546748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25808896 140732936049405 140732936049752 140732936049752 140732936052681 0
/proc/21492/statm: 28282 349 296 221 0 87 0
[pid=21495] ppid=21492 vsize=27314120 memory=130508 CPUtime=0.43 cores=0-7
/proc/21495/stat : 21495 (java) S 21492 21492 20609 0 -1 1077944320 12490 0 0 0 38 5 0 0 20 0 20 0 512178314 27969658880 32627 33554432000 4194304 4196468 140728749874928 140728749857472 140044559093495 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
/proc/21495/statm: 6828530 32627 3040 1 0 6790935 0
[pid=21495/tid=21496] ppid=21492 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21495/task/21496/stat : 21496 (java) R 21492 21492 20609 0 -1 4202560 10036 0 0 0 26 4 0 0 20 0 20 0 512178314 27969658880 32627 33554432000 4194304 4196468 140728749874928 140044530879792 140044542280321 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21497] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21497/stat : 21497 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140044563335440 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21498] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21498/stat : 21498 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043981818256 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21499] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21499/stat : 21499 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043980765712 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21500] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21500/stat : 21500 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043979713168 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21501] ppid=21492 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/21495/task/21501/stat : 21501 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043978660624 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21502] ppid=21492 vsize=27314120 memory=140578507551663 CPUtime=0 cores=0-7
/proc/21495/task/21502/stat : 21502 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043977608080 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21503] ppid=21492 vsize=27314120 memory=140578507553968 CPUtime=0 cores=0-7
/proc/21495/task/21503/stat : 21503 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043976555536 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21504] ppid=21492 vsize=27314120 memory=140578507556272 CPUtime=0 cores=0-7
/proc/21495/task/21504/stat : 21504 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178317 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043975502992 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21505] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21505/stat : 21505 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178318 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043416254448 140044559104642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21506] ppid=21492 vsize=27314120 memory=281157015119504 CPUtime=0 cores=0-7
/proc/21495/task/21506/stat : 21506 (java) S 21492 21492 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512178319 27969658880 32627 33554432000 4194304 4196468 140728749874928 140042508952480 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21507] ppid=21492 vsize=27314120 memory=281157015126416 CPUtime=0 cores=0-7
/proc/21495/task/21507/stat : 21507 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178319 27969658880 32627 33554432000 4194304 4196468 140728749874928 140042240517104 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21508] ppid=21492 vsize=27314120 memory=281157015067568 CPUtime=0 cores=0-7
/proc/21495/task/21508/stat : 21508 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178321 27969658880 32627 33554432000 4194304 4196468 140728749874928 140041866008784 140044559112091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21509] ppid=21492 vsize=27314120 memory=281157015140240 CPUtime=0.01 cores=0-7
/proc/21495/task/21509/stat : 21509 (java) S 21492 21492 20609 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 512178321 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043415202288 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21510] ppid=21492 vsize=27314120 memory=281157015147152 CPUtime=0.02 cores=0-7
/proc/21495/task/21510/stat : 21510 (java) R 21492 21492 20609 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 20 0 512178321 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043414149744 140044542478323 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21511] ppid=21492 vsize=27314120 memory=281157015144848 CPUtime=0.01 cores=0-7
/proc/21495/task/21511/stat : 21511 (java) S 21492 21492 20609 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 512178321 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043413097200 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21512] ppid=21492 vsize=27314120 memory=281157015161008 CPUtime=0.07 cores=0-7
/proc/21495/task/21512/stat : 21512 (java) S 21492 21492 20609 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 20 0 512178321 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043412044656 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21513] ppid=21492 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21513/stat : 21513 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178322 27969658880 32627 33554432000 4194304 4196468 140728749874928 140041368103136 140044559103701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21514] ppid=21492 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/21495/task/21514/stat : 21514 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178322 27969658880 32627 33554432000 4194304 4196468 140728749874928 140043410991536 140044559104642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131904 KiB
[startup+0.710091 s]
/proc/loadavg: 2.45 2.55 5.21 2/211 21514
/proc/meminfo: memFree=27550188/32770624 swapFree=66957784/67108860
[pid=21492] ppid=21489 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21492/stat : 21492 (scop.sh) S 21489 21492 20609 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 512178314 115843072 349 33554432000 4194304 5098028 140732936042800 140732936040056 140003539546748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25808896 140732936049405 140732936049752 140732936049752 140732936052681 0
/proc/21492/statm: 28282 349 296 221 0 87 0
[pid=21495] ppid=21492 vsize=27320392 memory=165128 CPUtime=1.02 cores=0-7
/proc/21495/stat : 21495 (java) S 21492 21492 20609 0 -1 1077944320 19935 0 0 0 95 7 0 0 20 0 20 0 512178314 27976081408 41282 33554432000 4194304 4196468 140728749874928 140728749857472 140044559093495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
/proc/21495/statm: 6830098 41282 3144 1 0 6791447 0
[pid=21495/tid=21496] ppid=21492 vsize=27320392 memory=281157015518896 CPUtime=0.68 cores=0-7
/proc/21495/task/21496/stat : 21496 (java) R 21492 21492 20609 0 -1 4202560 16956 0 0 0 62 6 0 0 20 0 20 0 512178314 27976081408 41282 33554432000 4194304 4196468 140728749874928 140044530929616 140044063017702 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21497] ppid=21492 vsize=27320392 memory=140578507760496 CPUtime=0 cores=0-7
/proc/21495/task/21497/stat : 21497 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27976081408 41282 33554432000 4194304 4196468 140728749874928 140044563335440 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21498] ppid=21492 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21498/stat : 21498 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27976081408 41282 33554432000 4194304 4196468 140728749874928 140043981818256 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21499] ppid=21492 vsize=27320392 memory=6160 CPUtime=0 cores=0-7
/proc/21495/task/21499/stat : 21499 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27976081408 41282 33554432000 4194304 4196468 140728749874928 140043980765712 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
################
# More data... #
################
/proc/21495/task/21512/stat : 21512 (java) S 21492 21492 20609 0 -1 1077944384 2358 0 0 0 90 2 0 0 20 0 20 0 512178321 27982450688 887667 33554432000 4194304 4196468 140728749874928 140043412044656 140044559104642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21513] ppid=21492 vsize=27326612 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21513/stat : 21513 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178322 27982450688 887667 33554432000 4194304 4196468 140728749874928 140041368103136 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21514] ppid=21492 vsize=27326612 memory=164 CPUtime=0 cores=0-7
/proc/21495/task/21514/stat : 21514 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178322 27982450688 887667 33554432000 4194304 4196468 140728749874928 140043410991536 140044559104642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
Current children cumulated CPU time: 16.97 s
Current children cumulated vsize: 27439740 KiB
Current children cumulated memory: 3552064 KiB
[startup+11.2008 s]
/proc/loadavg: 2.76 2.61 5.21 2/211 21514
/proc/meminfo: memFree=23500092/32770624 swapFree=66957784/67108860
[pid=21492] ppid=21489 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/21492/stat : 21492 (scop.sh) S 21489 21492 20609 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 512178314 115843072 349 33554432000 4194304 5098028 140732936042800 140732936040056 140003539546748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 25808896 140732936049405 140732936049752 140732936049752 140732936052681 0
/proc/21492/statm: 28282 349 296 221 0 87 0
[pid=21495] ppid=21492 vsize=27328728 memory=4359108 CPUtime=19.93 cores=0-7
/proc/21495/stat : 21495 (java) S 21492 21492 20609 0 -1 1077944320 36406 0 0 0 1918 75 0 0 20 0 20 0 512178314 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140728749857472 140044559093495 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
/proc/21495/statm: 6832182 1089777 3280 1 0 6792983 0
[pid=21495/tid=21496] ppid=21492 vsize=27328728 memory=988 CPUtime=11.16 cores=0-7
/proc/21495/task/21496/stat : 21496 (java) R 21492 21492 20609 0 -1 4202560 22421 0 0 0 1048 68 0 0 20 0 20 0 512178314 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140044530929184 140044071337201 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21497] ppid=21492 vsize=27328728 memory=1428 CPUtime=0 cores=0-7
/proc/21495/task/21497/stat : 21497 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140044563335440 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21498] ppid=21492 vsize=27328728 memory=1728 CPUtime=0 cores=0-7
/proc/21495/task/21498/stat : 21498 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043981818256 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21499] ppid=21492 vsize=27328728 memory=1056 CPUtime=0 cores=0-7
/proc/21495/task/21499/stat : 21499 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043980765712 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21500] ppid=21492 vsize=27328728 memory=1396 CPUtime=0 cores=0-7
/proc/21495/task/21500/stat : 21500 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043979713168 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21501] ppid=21492 vsize=27328728 memory=1838952 CPUtime=0 cores=0-7
/proc/21495/task/21501/stat : 21501 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043978660624 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21502] ppid=21492 vsize=27328728 memory=3888640 CPUtime=0 cores=0-7
/proc/21495/task/21502/stat : 21502 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043977608080 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21503] ppid=21492 vsize=27328728 memory=2421316 CPUtime=0 cores=0-7
/proc/21495/task/21503/stat : 21503 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043976555536 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21504] ppid=21492 vsize=27328728 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/21495/task/21504/stat : 21504 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178317 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043975502992 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21505] ppid=21492 vsize=27328728 memory=0 CPUtime=0 cores=0-7
/proc/21495/task/21505/stat : 21505 (java) S 21492 21492 20609 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 512178318 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043416254448 140044559104642 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21506] ppid=21492 vsize=27328728 memory=3620 CPUtime=0 cores=0-7
/proc/21495/task/21506/stat : 21506 (java) S 21492 21492 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512178319 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140042508952480 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21507] ppid=21492 vsize=27328728 memory=64172 CPUtime=0 cores=0-7
/proc/21495/task/21507/stat : 21507 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178319 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140042240517104 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21508] ppid=21492 vsize=27328728 memory=1988 CPUtime=0 cores=0-7
/proc/21495/task/21508/stat : 21508 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512178321 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140041866008784 140044559112091 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21509] ppid=21492 vsize=27328728 memory=988 CPUtime=2.56 cores=0-7
/proc/21495/task/21509/stat : 21509 (java) S 21492 21492 20609 0 -1 1077944384 3790 0 0 0 255 1 0 0 20 0 20 0 512178321 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043415202288 140044559104642 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21510] ppid=21492 vsize=27328728 memory=1428 CPUtime=2.66 cores=0-7
/proc/21495/task/21510/stat : 21510 (java) S 21492 21492 20609 0 -1 1077944384 2991 0 0 0 265 1 0 0 20 0 20 0 512178321 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043414149744 140044559104642 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21511] ppid=21492 vsize=27328728 memory=1728 CPUtime=2.5 cores=0-7
/proc/21495/task/21511/stat : 21511 (java) S 21492 21492 20609 0 -1 1077944384 3326 0 0 0 249 1 0 0 20 0 20 0 512178321 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043413097200 140044559104642 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21512] ppid=21492 vsize=27328728 memory=1056 CPUtime=1.01 cores=0-7
/proc/21495/task/21512/stat : 21512 (java) S 21492 21492 20609 0 -1 1077944384 2534 0 0 0 99 2 0 0 20 0 20 0 512178321 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043412044656 140044559104642 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21513] ppid=21492 vsize=27328728 memory=1556 CPUtime=0 cores=0-7
/proc/21495/task/21513/stat : 21513 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178322 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140041368103136 140044559103701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
[pid=21495/tid=21514] ppid=21492 vsize=27328728 memory=11632 CPUtime=0 cores=0-7
/proc/21495/task/21514/stat : 21514 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512178322 27984617472 1089777 33554432000 4194304 4196468 140728749874928 140043410991536 140044559104642 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9441280 140728749884103 140728749884550 140728749884550 140728749887439 0
Current children cumulated CPU time: 19.93 s
Current children cumulated vsize: 27441856 KiB
Current children cumulated memory: 4360504 KiB
[startup+12.0004 s]*
/proc/loadavg: 2.62 2.59 5.18 2/211 21534
/proc/meminfo: memFree=27627496/32770624 swapFree=66957784/67108860
[pid=21492] ppid=21489 vsize=113128 memory=1476 CPUtime=20.41 cores=0-7
/proc/21492/stat : 21492 (scop.sh) S 21489 21492 20609 0 -1 4202496 582 37285 0 0 0 0 1959 82 20 0 1 0 512178314 115843072 369 33554432000 4194304 5098028 140732936042800 140732936039544 140003539546748 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25808896 140732936049405 140732936049752 140732936049752 140732936052681 0
/proc/21492/statm: 28282 369 311 221 0 87 0
[pid=21515] ppid=21492 vsize=7752288 memory=76676 CPUtime=0.69 cores=0-7
/proc/21515/stat : 21515 (java) S 21492 21492 20609 0 -1 1077944320 14104 0 0 0 64 5 0 0 20 0 20 0 512179462 7938342912 19169 33554432000 4194304 4196468 140727064465920 140727064448464 140251975978743 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
/proc/21515/statm: 1938072 19169 3086 1 0 1899951 0
[pid=21515/tid=21516] ppid=21492 vsize=7752288 memory=6791534058613427641 CPUtime=0.49 cores=0-7
/proc/21515/task/21516/stat : 21516 (java) R 21492 21492 20609 0 -1 4202560 11714 0 0 0 45 4 0 0 20 0 20 0 512179463 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251947797280 140251975990678 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21517] ppid=21492 vsize=7752288 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21515/task/21517/stat : 21517 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251980221200 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21518] ppid=21492 vsize=7752288 memory=15544002864588650 CPUtime=0 cores=0-7
/proc/21515/task/21518/stat : 21518 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251780389776 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21519] ppid=21492 vsize=7752288 memory=-6224924028933865299 CPUtime=0 cores=0-7
/proc/21515/task/21519/stat : 21519 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251779337232 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21520] ppid=21492 vsize=7752288 memory=7680491646476186387 CPUtime=0 cores=0-7
/proc/21515/task/21520/stat : 21520 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251778284688 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21521] ppid=21492 vsize=7752288 memory=0 CPUtime=0 cores=0-7
/proc/21515/task/21521/stat : 21521 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251777231120 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21522] ppid=21492 vsize=7752288 memory=0 CPUtime=0 cores=0-7
/proc/21515/task/21522/stat : 21522 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251776178576 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21523] ppid=21492 vsize=7752288 memory=0 CPUtime=0 cores=0-7
/proc/21515/task/21523/stat : 21523 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251775126032 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21524] ppid=21492 vsize=7752288 memory=288230376974057755 CPUtime=0 cores=0-7
/proc/21515/task/21524/stat : 21524 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179464 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251774073488 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21525] ppid=21492 vsize=7752288 memory=288291060701201599 CPUtime=0 cores=0-7
/proc/21515/task/21525/stat : 21525 (java) S 21492 21492 20609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512179466 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251203566064 140251975989890 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21526] ppid=21492 vsize=7752288 memory=3823052 CPUtime=0 cores=0-7
/proc/21515/task/21526/stat : 21526 (java) S 21492 21492 20609 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512179466 7938342912 19169 33554432000 4194304 4196468 140727064465920 140250277995936 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21527] ppid=21492 vsize=7752288 memory=4629799972190126725 CPUtime=0 cores=0-7
/proc/21515/task/21527/stat : 21527 (java) S 21492 21492 20609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512179466 7938342912 19169 33554432000 4194304 4196468 140727064465920 140250143774192 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21528] ppid=21492 vsize=7752288 memory=4206468019014099040 CPUtime=0 cores=0-7
/proc/21515/task/21528/stat : 21528 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179469 7938342912 19169 33554432000 4194304 4196468 140727064465920 140249769269968 140251975997339 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21529] ppid=21492 vsize=7752288 memory=8028631073110250065 CPUtime=0.02 cores=0-7
/proc/21515/task/21529/stat : 21529 (java) S 21492 21492 20609 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 20 0 512179469 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251202512880 140251975989890 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21530] ppid=21492 vsize=7752288 memory=928 CPUtime=0 cores=0-7
/proc/21515/task/21530/stat : 21530 (java) R 21492 21492 20609 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 512179469 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251201460336 140251976000090 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21531] ppid=21492 vsize=7752288 memory=1720 CPUtime=0.02 cores=0-7
/proc/21515/task/21531/stat : 21531 (java) S 21492 21492 20609 0 -1 1077944384 229 0 0 0 2 0 0 0 20 0 20 0 512179469 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251200407792 140251975989890 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21532] ppid=21492 vsize=7752288 memory=1976 CPUtime=0.11 cores=0-7
/proc/21515/task/21532/stat : 21532 (java) R 21492 21492 20609 0 -1 4202560 371 0 0 0 11 0 0 0 20 0 20 0 512179469 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251199355248 140251955261539 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21533] ppid=21492 vsize=7752288 memory=2432 CPUtime=0 cores=0-7
/proc/21515/task/21533/stat : 21533 (java) S 21492 21492 20609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512179469 7938342912 19169 33554432000 4194304 4196468 140727064465920 140249271364320 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21534] ppid=21492 vsize=7752288 memory=1436 CPUtime=0 cores=0-7
/proc/21515/task/21534/stat : 21534 (java) S 21492 21492 20609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512179470 7938342912 19169 33554432000 4194304 4196468 140727064465920 140251198303152 140251975989890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
Current children cumulated CPU time: 21.1 s
Current children cumulated vsize: 7865416 KiB
Current children cumulated memory: 78152 KiB
[startup+12.4009 s]
/proc/loadavg: 2.62 2.59 5.18 2/211 21534
/proc/meminfo: memFree=27627496/32770624 swapFree=66957784/67108860
[pid=21492] ppid=21489 vsize=113128 memory=1476 CPUtime=20.41 cores=0-7
/proc/21492/stat : 21492 (scop.sh) S 21489 21492 20609 0 -1 4202496 582 37285 0 0 0 0 1959 82 20 0 1 0 512178314 115843072 369 33554432000 4194304 5098028 140732936042800 140732936039544 140003539546748 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 25808896 140732936049405 140732936049752 140732936049752 140732936052681 0
/proc/21492/statm: 28282 369 311 221 0 87 0
[pid=21515] ppid=21492 vsize=8151972 memory=122740 CPUtime=1.66 cores=0-7
/proc/21515/stat : 21515 (java) S 21492 21492 20609 0 -1 1077944320 21160 5519 0 0 131 10 24 1 20 0 21 0 512179462 8347619328 30685 33554432000 4194304 4196468 140727064465920 140727064448464 140251975978743 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
/proc/21515/statm: 2037993 30685 3214 1 0 1999337 0
[pid=21515/tid=21516] ppid=21492 vsize=8151972 memory=2584 CPUtime=1.05 cores=0-7
/proc/21515/task/21516/stat : 21516 (java) S 21492 21492 20609 0 -1 1077944384 17404 5519 0 0 72 8 24 1 20 0 21 0 512179463 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251947822224 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21517] ppid=21492 vsize=8151972 memory=1396 CPUtime=0.25 cores=0-7
/proc/21515/task/21517/stat : 21517 (java) S 21492 21492 20609 0 -1 1077944384 1 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251980221200 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21518] ppid=21492 vsize=8151972 memory=1998156 CPUtime=0.25 cores=0-7
/proc/21515/task/21518/stat : 21518 (java) S 21492 21492 20609 0 -1 1077944384 3 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251780389776 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21519] ppid=21492 vsize=8151972 memory=1396 CPUtime=0.25 cores=0-7
/proc/21515/task/21519/stat : 21519 (java) S 21492 21492 20609 0 -1 1077944384 1 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251779337232 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21520] ppid=21492 vsize=8151972 memory=4074508 CPUtime=0.25 cores=0-7
/proc/21515/task/21520/stat : 21520 (java) S 21492 21492 20609 0 -1 1077944384 1 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251778284688 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21521] ppid=21492 vsize=8151972 memory=4715435516538746410 CPUtime=0.25 cores=0-7
/proc/21515/task/21521/stat : 21521 (java) S 21492 21492 20609 0 -1 1077944384 1 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251777231120 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21522] ppid=21492 vsize=8151972 memory=3047711553219693942 CPUtime=0.25 cores=0-7
/proc/21515/task/21522/stat : 21522 (java) S 21492 21492 20609 0 -1 1077944384 1 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251776178576 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21523] ppid=21492 vsize=8151972 memory=4426639978525455914 CPUtime=0.25 cores=0-7
/proc/21515/task/21523/stat : 21523 (java) S 21492 21492 20609 0 -1 1077944384 2 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251775126032 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21524] ppid=21492 vsize=8151972 memory=4572164749098055210 CPUtime=0.25 cores=0-7
/proc/21515/task/21524/stat : 21524 (java) S 21492 21492 20609 0 -1 1077944384 1 5519 0 0 0 0 24 1 20 0 21 0 512179464 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251774073488 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21525] ppid=21492 vsize=8151972 memory=-8412652160765825907 CPUtime=0.25 cores=0-7
/proc/21515/task/21525/stat : 21525 (java) S 21492 21492 20609 0 -1 1077944384 5 5519 0 0 0 0 24 1 20 0 21 0 512179466 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251203566272 140251975989890 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21526] ppid=21492 vsize=8151972 memory=1396 CPUtime=0.25 cores=0-7
/proc/21515/task/21526/stat : 21526 (java) S 21492 21492 20609 0 -1 1077944384 13 5519 0 0 0 0 24 1 20 0 21 0 512179466 8347619328 30685 33554432000 4194304 4196468 140727064465920 140250277995936 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21527] ppid=21492 vsize=8151972 memory=4446848 CPUtime=0.25 cores=0-7
/proc/21515/task/21527/stat : 21527 (java) S 21492 21492 20609 0 -1 1077944384 21 5519 0 0 0 0 24 1 20 0 21 0 512179466 8347619328 30685 33554432000 4194304 4196468 140727064465920 140250143774192 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21528] ppid=21492 vsize=8151972 memory=0 CPUtime=0.25 cores=0-7
/proc/21515/task/21528/stat : 21528 (java) S 21492 21492 20609 0 -1 1077944384 2 5519 0 0 0 0 24 1 20 0 21 0 512179469 8347619328 30685 33554432000 4194304 4196468 140727064465920 140249769269616 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21529] ppid=21492 vsize=8151972 memory=0 CPUtime=0.33 cores=0-7
/proc/21515/task/21529/stat : 21529 (java) S 21492 21492 20609 0 -1 1077944384 578 5519 0 0 8 0 24 1 20 0 21 0 512179469 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251202512880 140251975989890 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21530] ppid=21492 vsize=8151972 memory=0 CPUtime=0.37 cores=0-7
/proc/21515/task/21530/stat : 21530 (java) S 21492 21492 20609 0 -1 1077944384 595 5519 0 0 12 0 24 1 20 0 21 0 512179469 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251201460336 140251975989890 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21531] ppid=21492 vsize=8151972 memory=667680 CPUtime=0.34 cores=0-7
/proc/21515/task/21531/stat : 21531 (java) S 21492 21492 20609 0 -1 1077944384 441 5519 0 0 9 0 24 1 20 0 21 0 512179469 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251200392304 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21532] ppid=21492 vsize=8151972 memory=6370155173630722145 CPUtime=0.5 cores=0-7
/proc/21515/task/21532/stat : 21532 (java) S 21492 21492 20609 0 -1 1077944384 707 5519 0 0 25 0 24 1 20 0 21 0 512179469 8347619328 30685 33554432000 4194304 4196468 140727064465920 140251199355248 140251975989890 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
[pid=21515/tid=21533] ppid=21492 vsize=8151972 memory=5794835667705872489 CPUtime=0.25 cores=0-7
/proc/21515/task/21533/stat : 21533 (java) S 21492 21492 20609 0 -1 1077944384 3 5519 0 0 0 0 24 1 20 0 21 0 512179469 8347619328 30685 33554432000 4194304 4196468 140727064465920 140249271364320 140251975988949 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140727064474591 140727064474758 140727064474758 140727064477647 0
Current children cumulated CPU time: 22.07 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 124216 KiB
Child status: 0
Real time (s): 12.4108
CPU time (s): 22.1184
CPU user time (s): 21.1606
CPU system time (s): 0.957829
CPU usage (%): 178.219
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 4448244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1606
system time used= 0.957829
maximum resident set size= 4451672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9156
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 21492
# total CPU time (s): 22.1184
# total CPU user time (s): 21.1606
# total CPU system time (s): 0.957829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115859 second user time and 0.16955 second system time
The end
Begin job on node149 at 2019-09-24 23:09:18 IDJOB=4405205 IDBENCH=139116 IDSOLVER=2867 FILE ID=node149/4405205-1569359397 RUNJOBID= node149-1569356151-20636 PBS_JOBID= 21705101 Free space on /var/tmp= 13480 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-12_X2.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 /var/tmp/evaluation-result-4405205-1569359397/watcher-4405205-1569359397 -o /var/tmp/evaluation-result-4405205-1569359397/solver-4405205-1569359397 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569356151-20636 --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-4405205-1569359397.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88 RANDOM SEED=768968187 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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: 27691968 kB MemAvailable: 31804448 kB Buffers: 115472 kB Cached: 4085812 kB SwapCached: 42380 kB Active: 2924756 kB Inactive: 1323124 kB Active(anon): 4872 kB Inactive(anon): 94788 kB Active(file): 2919884 kB Inactive(file): 1228336 kB Unevictable: 109108 kB Mlocked: 109108 kB SwapTotal: 67108860 kB SwapFree: 66957784 kB Dirty: 20308 kB Writeback: 0 kB AnonPages: 136164 kB Mapped: 57544 kB Shmem: 44936 kB Slab: 422188 kB SReclaimable: 392720 kB SUnreclaim: 29468 kB KernelStack: 3712 kB PageTables: 5760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514904 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13460 MiB End job on node149 at 2019-09-24 23:09:31