| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 7.67314 | 3.15435 |
| Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-20-054.xml |
| MD5SUM | 3ff211d871d85a956d1d429dedc73eaa |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 6.5032 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 40 |
| Number of constraints | 190 |
| Number of domains | 20 |
| Minimum domain size | 35 |
| Maximum domain size | 54 |
| Distribution of domain sizes | [{"size":35,"count":2},{"size":36,"count":2},{"size":37,"count":2},{"size":38,"count":2},{"size":39,"count":2},{"size":40,"count":2},{"size":41,"count":2},{"size":42,"count":2},{"size":43,"count":2},{"size":44,"count":2},{"size":45,"count":2},{"size":46,"count":2},{"size":47,"count":2},{"size":48,"count":2},{"size":49,"count":2},{"size":50,"count":2},{"size":51,"count":2},{"size":52,"count":2},{"size":53,"count":2},{"size":54,"count":2}] |
| Minimum variable degree | 19 |
| Maximum variable degree | 19 |
| Distribution of variable degrees | [{"degree":19,"count":40}] |
| Minimum constraint arity | 4 |
| Maximum constraint arity | 4 |
| Distribution of constraint arities | [{"arity":4,"count":190}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 190 |
| Distribution of constraint types | [{"type":"intension","count":190}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28156-serial-file.bin HOME/instance-4405443-1569364371.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Wed Sep 25 00:32:11 CEST 2019 0.66/0.57 c PID: 28159 0.66/0.57 c IP: 172.20.3.150 0.66/0.57 c HOST: node150.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.77/1.09 c (0,0) Parsing End 1.77/1.09 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54 1.77/1.09 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.77/1.09 c (0,0) Constraint Name Generate Begin 1.77/1.10 c (0,0) Ctr:HOME/instance-4405443-1569364371.xml,Add:Le:Num:Or:Var 1.77/1.10 c (0,0) Constraint Name Generate End 1.77/1.10 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.77/1.10 c (0,0) CSP to CSPinCNF Begin 2.28/1.22 c (0,0) translated 19 (10%) constraints 2.28/1.24 c (0,0) translated 38 (20%) constraints 2.28/1.25 c (0,0) translated 57 (30%) constraints 2.28/1.27 c (0,0) translated 76 (40%) constraints 2.28/1.28 c (0,0) translated 95 (50%) constraints 2.28/1.29 c (0,0) translated 114 (60%) constraints 2.53/1.30 c (0,0) translated 133 (70%) constraints 2.53/1.31 c (0,0) translated 152 (80%) constraints 2.53/1.32 c (0,0) translated 171 (90%) constraints 2.53/1.32 c (0,0) translated 190 (100%) constraints 2.53/1.32 c (0,0) =========================================== 2.53/1.35 c (0,0) Hybrid: #OE=40, #LE=0 2.53/1.35 c (0,0) Hybrid 2.53/1.35 c (0,0) =========================================== 2.53/1.36 c (0,0) translated 19 (10%) constraints 2.53/1.36 c (0,0) translated 38 (20%) constraints 2.53/1.36 c (0,0) translated 57 (30%) constraints 2.53/1.37 c (0,0) translated 76 (40%) constraints 2.53/1.37 c (0,0) translated 95 (50%) constraints 2.53/1.38 c (0,0) translated 114 (60%) constraints 2.53/1.38 c (0,0) translated 133 (70%) constraints 2.53/1.38 c (0,0) translated 152 (80%) constraints 2.53/1.39 c (0,0) translated 171 (90%) constraints 2.53/1.39 c (0,0) translated 190 (100%) constraints 2.53/1.39 c (0,0) CSP to CSPinCNF End 2.53/1.39 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54 2.53/1.39 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.53/1.39 c (0,0) CSPinCNF Propagation Begin 2.78/1.41 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.78/1.41 c (0,0) CSPinCNF Propagation End 2.78/1.41 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54 2.78/1.41 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.78/1.42 c (0,0) Hybrid: #OE=40, #LE=0 2.78/1.42 c (0,0) Simplify CSPinCNF Begin 3.08/1.50 c (0,0) Simplify CSPinCNF End 3.08/1.51 c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54 3.08/1.51 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.08/1.51 c (0,0) Calculate Precise Domain Begin 3.08/1.51 c (0,0) 0 values are removed by re-calculation 3.08/1.51 c (0,0) Calculate Precise Domain End 3.08/1.51 c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54 3.08/1.51 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.08/1.51 c (0,0) CSPinCNF to SatSolver Begin 3.67/1.71 c (1,1) 95 (10 %) CSP clauses are encoded (0 SAT variables, 5028 SAT clauses) 3.67/1.75 c (1,1) 190 (20 %) CSP clauses are encoded (0 SAT variables, 8289 SAT clauses) 3.67/1.79 c (1,1) 285 (30 %) CSP clauses are encoded (0 SAT variables, 11456 SAT clauses) 4.09/1.82 c (1,1) 380 (40 %) CSP clauses are encoded (0 SAT variables, 14476 SAT clauses) 4.09/1.85 c (1,1) 475 (50 %) CSP clauses are encoded (0 SAT variables, 17301 SAT clauses) 4.09/1.88 c (1,1) 570 (60 %) CSP clauses are encoded (0 SAT variables, 19948 SAT clauses) 4.52/1.90 c (1,1) 665 (70 %) CSP clauses are encoded (0 SAT variables, 22464 SAT clauses) 4.52/1.92 c (1,1) 760 (80 %) CSP clauses are encoded (0 SAT variables, 24765 SAT clauses) 4.52/1.93 c (1,1) 855 (90 %) CSP clauses are encoded (0 SAT variables, 26809 SAT clauses) 4.52/1.95 c (1,1) 950 (100 %) CSP clauses are encoded (0 SAT variables, 28473 SAT clauses) 4.52/1.95 c (1,1) CSPinCNF to SatSolver End 4.52/1.95 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.52/1.95 c (1,1) 2500 bool, 28490 clause 4.52/1.95 c (1,1) Export Begin 4.88/2.03 c (1,1) Export to HOME/scop-28156-serial-file.bin 4.88/2.03 c (1,1) Export End 4.88/2.03 c (1,1) Export File Size: 0.01 MB 4.88/2.03 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS) 4.88/2.03 c END-Prog: Wed Sep 25 00:32:12 CEST 2019 4.88/2.05 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28156-serial-file.bin 4.95/2.52 c (0,0) Read Serial File Begin 4.95/2.52 c (0,0) HOME/scop-28156-serial-file.bin 4.95/2.71 c (0,0) Read Serial File End 4.95/2.72 4.95/2.72 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 4.95/2.72 (Solving Process) 4.95/2.72 4.95/2.74 c BEGIN-Prog: Wed Sep 25 00:32:13 CEST 2019 4.95/2.74 c PID: 28179 4.95/2.74 c IP: 172.20.3.150 4.95/2.74 c HOST: node150.alineos.net 4.95/2.75 c (0,0) SatSolver.solve Begin 4.95/2.75 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405443-1569364371.xml-scop-28159.cnf 4.95/2.77 c (0,0) c 4.95/2.77 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) 4.95/2.77 c (0,0) c 4.95/2.77 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.95/2.77 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.95/2.77 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.95/2.77 c (0,0) c | | 4.95/2.78 c (0,0) c | Number of variables: 2500 | 4.95/2.78 c (0,0) c | Number of clauses: 28490 | 4.95/2.78 c (0,0) c | Parse time: 0.01 s | 4.95/2.78 c (0,0) c | | 4.95/2.80 c (0,0) c | Simplification time: 0.02 s | 4.95/2.80 c (0,0) c | | 4.95/2.80 c (0,0) c | Generating clones | 4.95/2.81 c (0,0) c | all clones generated. Memory = 38.93Mb. | 4.95/2.81 c (0,0) c ========================================================================================================| 4.95/2.81 c (0,0) c 4.95/2.81 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 4.95/2.81 c (0,0) c 4.95/2.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.95/2.81 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.95/2.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.95/2.81 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 4.95/2.81 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 4.95/2.81 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 4.95/2.81 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 4.95/2.81 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 4.95/2.81 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 4.95/2.81 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 4.95/2.81 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 4.95/2.81 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 4.95/2.81 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 4.95/2.81 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 4.95/2.81 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 4.95/2.81 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 4.95/2.81 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 4.95/2.81 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 4.95/2.81 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.95/3.00 c (0,0) c 4.95/3.00 c (0,0) c real time : 0.233694 s 4.95/3.00 c (0,0) c cpu time : 1.28172 s 4.95/3.00 c (0,0) c 4.95/3.00 c (0,0) c 4.95/3.00 c (0,0) c 4.95/3.00 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4.95/3.00 c (0,0) c 4.95/3.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.95/3.00 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.95/3.00 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.95/3.00 c (0,0) c | Conflicts | 39018 | 5033 | 4561 | 5877 | 5149 | 4012 | 4797 | 4776 | 4813 | 4.95/3.00 c (0,0) c | Decisions | 77747 | 9949 | 9383 | 11299 | 10572 | 8363 | 8535 | 9548 | 10098 | 4.95/3.01 c (0,0) c | Propagations | 4205567 | 506347 | 497797 | 628542 | 542808 | 444363 | 528132 | 528149 | 529429 | 4.95/3.01 c (0,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 4.95/3.01 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 4.95/3.01 c (0,0) c | Restarts | 94 | 9 | 13 | 9 | 19 | 13 | 9 | 9 | 13 | 4.95/3.01 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.95/3.01 c (0,0) c | PropBinClauses| 5775273 | 672670 | 668670 | 861373 | 758708 | 618250 | 737732 | 732970 | 724900 | 4.95/3.01 c (0,0) c | PropPreBlocker| 42724131 | 5343769 | 4794295 | 6415908 | 5580392 | 4401822 | 5319980 | 5708300 | 5159665 | 4.95/3.01 c (0,0) c | PropNotBlocker| 15682799 | 1968945 | 1762082 | 2342742 | 2131409 | 1576250 | 1998911 | 2041194 | 1861266 | 4.95/3.01 c (0,0) c | LitFullScans | 92714818 | 12002620 | 10210240 | 14205889 | 11983612 | 9063043 | 12000141 | 12209219 | 11040054 | 4.95/3.01 c (0,0) c | LitScanFracts | 950 | 280 | 64 | 176 | 30 | 64 | 141 | 143 | 52 | 4.95/3.01 c (0,0) c | DecisionLevel0| 94 | 9 | 13 | 9 | 19 | 13 | 9 | 9 | 13 | 6.07/3.01 c (0,0) c | Periods | 12 | 2 | 1 | 2 | 1 | 1 | 2 | 2 | 1 | 6.07/3.01 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 6.07/3.01 c (0,0) c | Avg_Trail | | 968 | 971 | 928 | 932 | 990 | 947 | 1047 | 974 | 6.07/3.01 c (0,0) c | Avg_DL | | 30 | 32 | 29 | 31 | 34 | 29 | 32 | 33 | 6.07/3.01 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.01 c (0,0) c | Exported | 499 | 26 | 17 | 346 | 78 | 13 | 2 | 8 | 9 | 6.07/3.01 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.01 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6.07/3.01 c (0,0) c | Glues | | 13 | 17 | 12 | 16 | 13 | 2 | 8 | 9 | 6.07/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.01 c (0,0) c | Orig_Seen | 22 % | 6233 | 6914 | 6069 | 6278 | 6348 | 5803 | 6325 | 7259 | 6.07/3.01 c (0,0) c | Diff Orig seen| | - 1026 | - 345 | - 1190 | - 981 | - 911 | - 1456 | - 934 | X | 6.07/3.01 c (0,0) c | Hamming | 36 % | 947 | 964 | 1005 | 934 | 867 | 849 | 793 | X | 6.07/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.01 c (0,0) c | RunningTime | | 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 0.2 100%| 6.07/3.01 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%| 6.07/3.01 c (0,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 6.07/3.01 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%| 6.07/3.01 c (0,0) c | SolvingTime | | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 6.07/3.01 c (0,0) c | PropagationTim| | 0.1 68%| 0.1 74%| 0.1 69%| 0.1 72%| 0.1 76%| 0.1 70%| 0.1 71%| 0.1 72%| 6.07/3.01 c (0,0) c | AnalysisTime | | 0.0 21%| 0.0 18%| 0.0 23%| 0.0 20%| 0.0 16%| 0.0 22%| 0.0 21%| 0.0 20%| 6.07/3.01 c (0,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 6.07/3.01 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%| 6.07/3.01 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%| 6.07/3.01 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%| 6.07/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.01 c (0,0) c 6.07/3.01 c (0,0) c 6.07/3.01 c (0,0) c Threads : 8 6.07/3.01 c (0,0) c Winner : 7 6.07/3.01 c (0,0) c Conflicts_0 : 5033 6.07/3.01 c (0,0) c Conflicts_1 : 4561 6.07/3.01 c (0,0) c Conflicts_2 : 5877 6.07/3.01 c (0,0) c Conflicts_3 : 5149 6.07/3.01 c (0,0) c Conflicts_4 : 4012 6.07/3.01 c (0,0) c Conflicts_5 : 4797 6.07/3.01 c (0,0) c Conflicts_6 : 4776 6.07/3.01 c (0,0) c Conflicts_7 : 4813 6.07/3.01 c (0,0) c Conflicts_total : 39018 6.07/3.01 c (0,0) c Conflicts_winner : 4813 6.07/3.01 c (0,0) c Decisions_0 : 9949 6.07/3.01 c (0,0) c Decisions_1 : 9383 6.07/3.01 c (0,0) c Decisions_2 : 11299 6.07/3.01 c (0,0) c Decisions_3 : 10572 6.07/3.01 c (0,0) c Decisions_4 : 8363 6.07/3.01 c (0,0) c Decisions_5 : 8535 6.07/3.01 c (0,0) c Decisions_6 : 9548 6.07/3.01 c (0,0) c Decisions_7 : 10098 6.07/3.01 c (0,0) c Decisions_total : 77747 6.07/3.01 c (0,0) c Decisions_winner : 10098 6.07/3.01 c (0,0) c Propagations_0 : 506347 6.07/3.01 c (0,0) c Propagations_1 : 497797 6.07/3.01 c (0,0) c Propagations_2 : 628542 6.07/3.01 c (0,0) c Propagations_3 : 542808 6.07/3.01 c (0,0) c Propagations_4 : 444363 6.07/3.01 c (0,0) c Propagations_5 : 528132 6.07/3.01 c (0,0) c Propagations_6 : 528149 6.07/3.01 c (0,0) c Propagations_7 : 529429 6.07/3.01 c (0,0) c Propagations_total : 4205567 6.07/3.01 c (0,0) c Propagations_winner : 529429 6.07/3.01 c (0,0) c ReduceDBs_0 : 1 6.07/3.01 c (0,0) c ReduceDBs_1 : 1 6.07/3.01 c (0,0) c ReduceDBs_2 : 1 6.07/3.01 c (0,0) c ReduceDBs_3 : 1 6.07/3.01 c (0,0) c ReduceDBs_4 : 1 6.07/3.01 c (0,0) c ReduceDBs_5 : 1 6.07/3.01 c (0,0) c ReduceDBs_6 : 1 6.07/3.01 c (0,0) c ReduceDBs_7 : 1 6.07/3.01 c (0,0) c ReduceDBs_total : 8 6.07/3.01 c (0,0) c ReduceDBs_winner : 1 6.07/3.01 c (0,0) c SimpDBs_0 : 1 6.07/3.01 c (0,0) c SimpDBs_1 : 1 6.07/3.01 c (0,0) c SimpDBs_2 : 1 6.07/3.01 c (0,0) c SimpDBs_3 : 1 6.07/3.01 c (0,0) c SimpDBs_4 : 1 6.07/3.01 c (0,0) c SimpDBs_5 : 1 6.07/3.01 c (0,0) c SimpDBs_6 : 1 6.07/3.01 c (0,0) c SimpDBs_7 : 1 6.07/3.01 c (0,0) c SimpDBs_total : 8 6.07/3.01 c (0,0) c SimpDBs_winner : 1 6.07/3.01 c (0,0) c Restarts_0 : 9 6.07/3.01 c (0,0) c Restarts_1 : 13 6.07/3.01 c (0,0) c Restarts_2 : 9 6.07/3.01 c (0,0) c Restarts_3 : 19 6.07/3.01 c (0,0) c Restarts_4 : 13 6.07/3.01 c (0,0) c Restarts_5 : 9 6.07/3.01 c (0,0) c Restarts_6 : 9 6.07/3.01 c (0,0) c Restarts_7 : 13 6.07/3.01 c (0,0) c Restarts_total : 94 6.07/3.01 c (0,0) c Restarts_winner : 13 6.07/3.01 c (0,0) c ForcedImports_0 : 0 6.07/3.01 c (0,0) c ForcedImports_1 : 0 6.07/3.01 c (0,0) c ForcedImports_2 : 0 6.07/3.01 c (0,0) c ForcedImports_3 : 0 6.07/3.01 c (0,0) c ForcedImports_4 : 0 6.07/3.01 c (0,0) c ForcedImports_5 : 0 6.07/3.01 c (0,0) c ForcedImports_6 : 0 6.07/3.01 c (0,0) c ForcedImports_7 : 0 6.07/3.01 c (0,0) c ForcedImports_total : 0 6.07/3.01 c (0,0) c ForcedImports_winner : 0 6.07/3.01 c (0,0) c PropsBinClauses_0 : 672670 6.07/3.01 c (0,0) c PropsBinClauses_1 : 668670 6.07/3.01 c (0,0) c PropsBinClauses_2 : 861373 6.07/3.01 c (0,0) c PropsBinClauses_3 : 758708 6.07/3.01 c (0,0) c PropsBinClauses_4 : 618250 6.07/3.01 c (0,0) c PropsBinClauses_5 : 737732 6.07/3.01 c (0,0) c PropsBinClauses_6 : 732970 6.07/3.01 c (0,0) c PropsBinClauses_7 : 724900 6.07/3.01 c (0,0) c PropsBinClauses_total : 5775273 6.07/3.01 c (0,0) c PropsBinClauses_winner : 724900 6.07/3.01 c (0,0) c PropsPreBlocker_0 : 5343769 6.07/3.01 c (0,0) c PropsPreBlocker_1 : 4794295 6.07/3.01 c (0,0) c PropsPreBlocker_2 : 6415908 6.07/3.01 c (0,0) c PropsPreBlocker_3 : 5580392 6.07/3.01 c (0,0) c PropsPreBlocker_4 : 4401822 6.07/3.01 c (0,0) c PropsPreBlocker_5 : 5319980 6.07/3.01 c (0,0) c PropsPreBlocker_6 : 5708300 6.07/3.01 c (0,0) c PropsPreBlocker_7 : 5159665 6.07/3.01 c (0,0) c PropsPreBlocker_total : 42724131 6.07/3.01 c (0,0) c PropsPreBlocker_winner : 5159665 6.07/3.01 c (0,0) c PropsNotBlocker_0 : 1968945 6.07/3.01 c (0,0) c PropsNotBlocker_1 : 1762082 6.07/3.01 c (0,0) c PropsNotBlocker_2 : 2342742 6.07/3.01 c (0,0) c PropsNotBlocker_3 : 2131409 6.07/3.01 c (0,0) c PropsNotBlocker_4 : 1576250 6.07/3.01 c (0,0) c PropsNotBlocker_5 : 1998911 6.07/3.01 c (0,0) c PropsNotBlocker_6 : 2041194 6.07/3.01 c (0,0) c PropsNotBlocker_7 : 1861266 6.07/3.01 c (0,0) c PropsNotBlocker_total : 15682799 6.07/3.01 c (0,0) c PropsNotBlocker_winner : 1861266 6.07/3.01 c (0,0) c PropsLitFullScans_0 : 12002620 6.07/3.01 c (0,0) c PropsLitFullScans_1 : 10210240 6.07/3.01 c (0,0) c PropsLitFullScans_2 : 14205889 6.07/3.01 c (0,0) c PropsLitFullScans_3 : 11983612 6.07/3.01 c (0,0) c PropsLitFullScans_4 : 9063043 6.07/3.01 c (0,0) c PropsLitFullScans_5 : 12000141 6.07/3.01 c (0,0) c PropsLitFullScans_6 : 12209219 6.07/3.01 c (0,0) c PropsLitFullScans_7 : 11040054 6.07/3.01 c (0,0) c PropsLitFullScans_total : 92714818 6.07/3.01 c (0,0) c PropsLitFullScans_winner : 11040054 6.07/3.01 c (0,0) c LitScanFractions_0 : 280 6.07/3.01 c (0,0) c LitScanFractions_1 : 64 6.07/3.01 c (0,0) c LitScanFractions_2 : 176 6.07/3.01 c (0,0) c LitScanFractions_3 : 30 6.07/3.01 c (0,0) c LitScanFractions_4 : 64 6.07/3.01 c (0,0) c LitScanFractions_5 : 141 6.07/3.01 c (0,0) c LitScanFractions_6 : 143 6.07/3.01 c (0,0) c LitScanFractions_7 : 52 6.07/3.01 c (0,0) c LitScanFractions_total : 950 6.07/3.01 c (0,0) c LitScanFractions_winner : 52 6.07/3.01 c (0,0) c DecisionLevel0_0 : 9 6.07/3.01 c (0,0) c DecisionLevel0_1 : 13 6.07/3.01 c (0,0) c DecisionLevel0_2 : 9 6.07/3.01 c (0,0) c DecisionLevel0_3 : 19 6.07/3.01 c (0,0) c DecisionLevel0_4 : 13 6.07/3.01 c (0,0) c DecisionLevel0_5 : 9 6.07/3.01 c (0,0) c DecisionLevel0_6 : 9 6.07/3.01 c (0,0) c DecisionLevel0_7 : 13 6.07/3.01 c (0,0) c DecisionLevel0_total : 94 6.07/3.01 c (0,0) c DecisionLevel0_winner : 13 6.07/3.01 c (0,0) c Periods_0 : 2 6.07/3.01 c (0,0) c Periods_1 : 1 6.07/3.01 c (0,0) c Periods_2 : 2 6.07/3.01 c (0,0) c Periods_3 : 1 6.07/3.01 c (0,0) c Periods_4 : 1 6.07/3.01 c (0,0) c Periods_5 : 2 6.07/3.01 c (0,0) c Periods_6 : 2 6.07/3.01 c (0,0) c Periods_7 : 1 6.07/3.01 c (0,0) c Periods_total : 12 6.07/3.01 c (0,0) c Periods_winner : 1 6.07/3.01 c (0,0) c Margin_0 : 20 6.07/3.01 c (0,0) c Margin_1 : 20 6.07/3.01 c (0,0) c Margin_2 : 20 6.07/3.01 c (0,0) c Margin_3 : 20 6.07/3.01 c (0,0) c Margin_4 : 20 6.07/3.01 c (0,0) c Margin_5 : 20 6.07/3.01 c (0,0) c Margin_6 : 20 6.07/3.01 c (0,0) c Margin_7 : 20 6.07/3.01 c (0,0) c Margin_total : 160 6.07/3.01 c (0,0) c Margin_winner : 20 6.07/3.01 c (0,0) c Exported_0 : 26 6.07/3.01 c (0,0) c Exported_1 : 17 6.07/3.01 c (0,0) c Exported_2 : 346 6.07/3.01 c (0,0) c Exported_3 : 78 6.07/3.01 c (0,0) c Exported_4 : 13 6.07/3.01 c (0,0) c Exported_5 : 2 6.07/3.01 c (0,0) c Exported_6 : 8 6.07/3.01 c (0,0) c Exported_7 : 9 6.07/3.01 c (0,0) c Exported_total : 499 6.07/3.01 c (0,0) c Exported_winner : 9 6.07/3.01 c (0,0) c Imported_0 : 0 6.07/3.01 c (0,0) c Imported_1 : 0 6.07/3.01 c (0,0) c Imported_2 : 0 6.07/3.01 c (0,0) c Imported_3 : 0 6.07/3.01 c (0,0) c Imported_4 : 0 6.07/3.01 c (0,0) c Imported_5 : 0 6.07/3.01 c (0,0) c Imported_6 : 0 6.07/3.01 c (0,0) c Imported_7 : 0 6.07/3.01 c (0,0) c Imported_total : 0 6.07/3.01 c (0,0) c Imported_winner : 0 6.07/3.01 c (0,0) c Good_0 : 0 6.07/3.01 c (0,0) c Good_1 : 0 6.07/3.01 c (0,0) c Good_2 : 0 6.07/3.02 c (0,0) c Good_3 : 0 6.07/3.02 c (0,0) c Good_4 : 0 6.07/3.02 c (0,0) c Good_5 : 0 6.07/3.02 c (0,0) c Good_6 : 0 6.07/3.02 c (0,0) c Good_7 : 0 6.07/3.02 c (0,0) c Good_total : 0 6.07/3.02 c (0,0) c Good_winner : 0 6.07/3.02 c (0,0) c Purge_0 : 0 6.07/3.02 c (0,0) c Purge_1 : 0 6.07/3.02 c (0,0) c Purge_2 : 0 6.07/3.02 c (0,0) c Purge_3 : 0 6.07/3.02 c (0,0) c Purge_4 : 0 6.07/3.02 c (0,0) c Purge_5 : 0 6.07/3.02 c (0,0) c Purge_6 : 0 6.07/3.02 c (0,0) c Purge_7 : 0 6.07/3.02 c (0,0) c Purge_total : 0 6.07/3.02 c (0,0) c Purge_winner : 0 6.07/3.02 c (0,0) c Promoted_0 : 0 6.07/3.02 c (0,0) c Promoted_1 : 0 6.07/3.02 c (0,0) c Promoted_2 : 0 6.07/3.02 c (0,0) c Promoted_3 : 0 6.07/3.02 c (0,0) c Promoted_4 : 0 6.07/3.02 c (0,0) c Promoted_5 : 0 6.07/3.02 c (0,0) c Promoted_6 : 0 6.07/3.02 c (0,0) c Promoted_7 : 0 6.07/3.02 c (0,0) c Promoted_total : 0 6.07/3.02 c (0,0) c Promoted_winner : 0 6.07/3.02 c (0,0) c Remove_Imp_0 : 0 6.07/3.02 c (0,0) c Remove_Imp_1 : 0 6.07/3.02 c (0,0) c Remove_Imp_2 : 0 6.07/3.02 c (0,0) c Remove_Imp_3 : 0 6.07/3.02 c (0,0) c Remove_Imp_4 : 0 6.07/3.02 c (0,0) c Remove_Imp_5 : 0 6.07/3.02 c (0,0) c Remove_Imp_6 : 0 6.07/3.02 c (0,0) c Remove_Imp_7 : 0 6.07/3.02 c (0,0) c Remove_Imp_total : 0 6.07/3.02 c (0,0) c Remove_Imp_winner : 0 6.07/3.02 c (0,0) c Blocked_Reuse_0 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_1 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_2 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_3 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_4 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_5 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_6 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_7 : 0 6.07/3.02 c (0,0) c Blocked_Reuse_total : 0 6.07/3.02 c (0,0) c Blocked_Reuse_winner : 0 6.07/3.02 c (0,0) c Unaries_0 : 0 6.07/3.02 c (0,0) c Unaries_1 : 0 6.07/3.02 c (0,0) c Unaries_2 : 0 6.07/3.02 c (0,0) c Unaries_3 : 0 6.07/3.02 c (0,0) c Unaries_4 : 0 6.07/3.02 c (0,0) c Unaries_5 : 0 6.07/3.02 c (0,0) c Unaries_6 : 0 6.07/3.02 c (0,0) c Unaries_7 : 0 6.07/3.02 c (0,0) c Unaries_total : 0 6.07/3.02 c (0,0) c Unaries_winner : 0 6.07/3.02 c (0,0) c Binaries_0 : 0 6.07/3.02 c (0,0) c Binaries_1 : 0 6.07/3.02 c (0,0) c Binaries_2 : 0 6.07/3.02 c (0,0) c Binaries_3 : 0 6.07/3.02 c (0,0) c Binaries_4 : 0 6.07/3.02 c (0,0) c Binaries_5 : 0 6.07/3.02 c (0,0) c Binaries_6 : 0 6.07/3.02 c (0,0) c Binaries_7 : 0 6.07/3.02 c (0,0) c Binaries_total : 0 6.07/3.02 c (0,0) c Binaries_winner : 0 6.07/3.02 c (0,0) c Glues_0 : 13 6.07/3.02 c (0,0) c Glues_1 : 17 6.07/3.02 c (0,0) c Glues_2 : 12 6.07/3.02 c (0,0) c Glues_3 : 16 6.07/3.02 c (0,0) c Glues_4 : 13 6.07/3.02 c (0,0) c Glues_5 : 2 6.07/3.02 c (0,0) c Glues_6 : 8 6.07/3.02 c (0,0) c Glues_7 : 9 6.07/3.02 c (0,0) c Glues_total : 90 6.07/3.02 c (0,0) c Glues_winner : 9 6.07/3.02 c (0,0) c RunningTime_0 : 0.174939 6.07/3.02 c (0,0) c RunningTime_1 : 0.173451 6.07/3.02 c (0,0) c RunningTime_2 : 0.189523 6.07/3.02 c (0,0) c RunningTime_3 : 0.179538 6.07/3.02 c (0,0) c RunningTime_4 : 0.168997 6.07/3.02 c (0,0) c RunningTime_5 : 0.167700 6.07/3.02 c (0,0) c RunningTime_6 : 0.166219 6.07/3.02 c (0,0) c RunningTime_7 : 0.165072 6.07/3.02 c (0,0) c RunningTime_total : 1.385440 6.07/3.02 c (0,0) c RunningTime_winner : 0.165072 6.07/3.02 c (0,0) c WaitingTime_0 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_1 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_2 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_3 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_4 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_5 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_6 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_7 : 0.000000 6.07/3.02 c (0,0) c WaitingTime_total : 0.000000 6.07/3.02 c (0,0) c WaitingTime_winner : 0.000000 6.07/3.02 c (0,0) c ExchangingTime_0 : 0.000333 6.07/3.02 c (0,0) c ExchangingTime_1 : 0.000622 6.07/3.02 c (0,0) c ExchangingTime_2 : 0.000658 6.07/3.02 c (0,0) c ExchangingTime_3 : 0.000218 6.07/3.02 c (0,0) c ExchangingTime_4 : 0.000192 6.07/3.02 c (0,0) c ExchangingTime_5 : 0.000220 6.07/3.02 c (0,0) c ExchangingTime_6 : 0.000218 6.07/3.02 c (0,0) c ExchangingTime_7 : 0.000236 6.07/3.02 c (0,0) c ExchangingTime_total : 0.002697 6.07/3.02 c (0,0) c ExchangingTime_winner : 0.000236 6.07/3.02 c (0,0) c PeriodProcTime_0 : 0.000010 6.07/3.02 c (0,0) c PeriodProcTime_1 : 0.000008 6.07/3.02 c (0,0) c PeriodProcTime_2 : 0.000012 6.07/3.02 c (0,0) c PeriodProcTime_3 : 0.000006 6.07/3.02 c (0,0) c PeriodProcTime_4 : 0.000007 6.07/3.02 c (0,0) c PeriodProcTime_5 : 0.000008 6.07/3.02 c (0,0) c PeriodProcTime_6 : 0.000031 6.07/3.02 c (0,0) c PeriodProcTime_7 : 0.000004 6.07/3.02 c (0,0) c PeriodProcTime_total : 0.000086 6.07/3.02 c (0,0) c PeriodProcTime_winner : 0.000004 6.07/3.02 c (0,0) c SolvingTime_0 : 0.175282 6.07/3.02 c (0,0) c SolvingTime_1 : 0.174081 6.07/3.02 c (0,0) c SolvingTime_2 : 0.190193 6.07/3.02 c (0,0) c SolvingTime_3 : 0.179762 6.07/3.02 c (0,0) c SolvingTime_4 : 0.169197 6.07/3.02 c (0,0) c SolvingTime_5 : 0.167928 6.07/3.02 c (0,0) c SolvingTime_6 : 0.166467 6.07/3.02 c (0,0) c SolvingTime_7 : 0.165313 6.07/3.02 c (0,0) c SolvingTime_total : 1.388223 6.07/3.02 c (0,0) c SolvingTime_winner : 0.165313 6.07/3.02 c (0,0) c PropagationTime_0 : 0.119391 6.07/3.02 c (0,0) c PropagationTime_1 : 0.129100 6.07/3.02 c (0,0) c PropagationTime_2 : 0.130888 6.07/3.02 c (0,0) c PropagationTime_3 : 0.129405 6.07/3.02 c (0,0) c PropagationTime_4 : 0.129250 6.07/3.02 c (0,0) c PropagationTime_5 : 0.117313 6.07/3.02 c (0,0) c PropagationTime_6 : 0.118241 6.07/3.02 c (0,0) c PropagationTime_7 : 0.118655 6.07/3.02 c (0,0) c PropagationTime_total : 0.992242 6.07/3.02 c (0,0) c PropagationTime_winner : 0.118655 6.07/3.02 c (0,0) c AnalysisTime_0 : 0.037120 6.07/3.02 c (0,0) c AnalysisTime_1 : 0.031610 6.07/3.02 c (0,0) c AnalysisTime_2 : 0.044159 6.07/3.02 c (0,0) c AnalysisTime_3 : 0.035723 6.07/3.02 c (0,0) c AnalysisTime_4 : 0.026571 6.07/3.02 c (0,0) c AnalysisTime_5 : 0.036995 6.07/3.02 c (0,0) c AnalysisTime_6 : 0.035469 6.07/3.02 c (0,0) c AnalysisTime_7 : 0.033459 6.07/3.02 c (0,0) c AnalysisTime_total : 0.281106 6.07/3.02 c (0,0) c AnalysisTime_winner : 0.033459 6.07/3.02 c (0,0) c ReductionTime_0 : 0.000322 6.07/3.02 c (0,0) c ReductionTime_1 : 0.000317 6.07/3.02 c (0,0) c ReductionTime_2 : 0.000328 6.07/3.02 c (0,0) c ReductionTime_3 : 0.000330 6.07/3.02 c (0,0) c ReductionTime_4 : 0.000317 6.07/3.02 c (0,0) c ReductionTime_5 : 0.000328 6.07/3.02 c (0,0) c ReductionTime_6 : 0.000320 6.07/3.02 c (0,0) c ReductionTime_7 : 0.000320 6.07/3.02 c (0,0) c ReductionTime_total : 0.002582 6.07/3.02 c (0,0) c ReductionTime_winner : 0.000320 6.07/3.02 c (0,0) c SimplifyTime_0 : 0.000001 6.07/3.02 c (0,0) c SimplifyTime_1 : 0.000001 6.07/3.02 c (0,0) c SimplifyTime_2 : 0.000001 6.07/3.02 c (0,0) c SimplifyTime_3 : 0.000001 6.07/3.02 c (0,0) c SimplifyTime_4 : 0.000002 6.07/3.02 c (0,0) c SimplifyTime_5 : 0.000001 6.07/3.02 c (0,0) c SimplifyTime_6 : 0.000001 6.07/3.02 c (0,0) c SimplifyTime_7 : 0.000001 6.07/3.02 c (0,0) c SimplifyTime_total : 0.000009 6.07/3.02 c (0,0) c SimplifyTime_winner : 0.000001 6.07/3.02 c (0,0) c UsedRateTime_0 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_1 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_2 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_3 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_4 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_5 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_6 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_7 : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_total : 0.000000 6.07/3.02 c (0,0) c UsedRateTime_winner : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_0 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_1 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_2 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_3 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_4 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_5 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_6 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_7 : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_total : 0.000000 6.07/3.02 c (0,0) c OverlapRateTime_winner : 0.000000 6.07/3.02 c (0,0) c 6.07/3.02 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 6.07/3.02 c (0,0) c 6.07/3.02 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.02 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 6.07/3.02 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.02 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 6.07/3.02 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 6.07/3.02 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 6.07/3.02 c (0,0) c | Initial random_seed | 196604721 | 4858942 | 770400780 | 2032224106 | 1809407296 | 700026492 | 860969941 | 1588580700 | 6.07/3.02 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 6.07/3.02 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 6.07/3.02 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 6.07/3.02 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 6.07/3.02 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 6.07/3.02 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 6.07/3.02 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 6.07/3.02 c (0,0) c | var_decay | 0.8100 | 0.8000 | 0.8100 | 0.8100 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 6.07/3.02 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 6.07/3.02 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 6.07/3.02 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 6.07/3.02 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 6.07/3.02 c (0,0) 6.07/3.02 c (0,0) s SATISFIABLE 6.07/3.04 c (0,0) SatSolver.solve End 6.07/3.04 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 6.07/3.04 c (0,0) Show results Begin 7.59/3.13 c (0,0) x[0] = 10 7.59/3.13 c (0,0) x[1] = 24 7.59/3.13 c (0,0) x[2] = 21 7.59/3.13 c (0,0) x[3] = 19 7.59/3.13 c (0,0) x[4] = 21 7.59/3.13 c (0,0) x[5] = 15 7.59/3.13 c (0,0) x[6] = 14 7.59/3.13 c (0,0) x[7] = 26 7.59/3.13 c (0,0) x[8] = 10 7.59/3.13 c (0,0) x[9] = 0 7.59/3.13 c (0,0) x[10] = 0 7.59/3.13 c (0,0) x[11] = 11 7.59/3.13 c (0,0) x[12] = 21 7.59/3.13 c (0,0) x[13] = 0 7.59/3.13 c (0,0) x[14] = 39 7.59/3.13 c (0,0) x[15] = 23 7.59/3.13 c (0,0) x[16] = 19 7.59/3.13 c (0,0) x[17] = 36 7.59/3.13 c (0,0) x[18] = 0 7.59/3.13 c (0,0) x[19] = 34 7.59/3.13 c (0,0) y[0] = 11 7.59/3.13 c (0,0) y[1] = 46 7.59/3.13 c (0,0) y[2] = 46 7.59/3.13 c (0,0) y[3] = 12 7.59/3.13 c (0,0) y[4] = 49 7.59/3.13 c (0,0) y[5] = 48 7.59/3.13 c (0,0) y[6] = 41 7.59/3.13 c (0,0) y[7] = 46 7.59/3.13 c (0,0) y[8] = 12 7.59/3.13 c (0,0) y[9] = 11 7.59/3.13 c (0,0) y[10] = 0 7.59/3.13 c (0,0) y[11] = 0 7.59/3.13 c (0,0) y[12] = 33 7.59/3.13 c (0,0) y[13] = 40 7.59/3.13 c (0,0) y[14] = 0 7.59/3.13 c (0,0) y[15] = 0 7.59/3.13 c (0,0) y[16] = 16 7.59/3.13 c (0,0) y[17] = 16 7.59/3.13 c (0,0) y[18] = 21 7.59/3.13 c (0,0) y[19] = 34 7.59/3.13 s SATISFIABLE 7.59/3.13 v <instantiation> 7.59/3.13 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19]</list> 7.59/3.13 v <values>10 24 21 19 21 15 14 26 10 0 0 11 21 0 39 23 19 36 0 34 11 46 46 12 49 48 41 46 12 11 0 0 33 40 0 0 16 16 21 34</values> 7.59/3.13 v </instantiation> 7.59/3.13 c (0,0) Show results End 7.59/3.13 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 7.59/3.13 c (0,0) 0,0,STOP-AFTER(ALL) 7.59/3.13 c END-Prog: Wed Sep 25 00:32:13 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13543 MiB free)
memory of node 1: 16384 MiB (14268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405443-1569364371/watcher-4405443-1569364371 -o /var/tmp/evaluation-result-4405443-1569364371/solver-4405443-1569364371 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569359267-27104 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405443-1569364371.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=28156, runsolver pid=28153
[startup+0.100152 s]*
/proc/loadavg: 6.46 6.92 7.26 2/212 28178
/proc/meminfo: memFree=28383752/32770624 swapFree=67023968/67108860
[pid=28156] ppid=28153 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28156/stat : 28156 (scop.sh) S 28153 28156 27077 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512709576 115843072 349 33554432000 4194304 5098028 140733163820368 140733163817624 139950219326076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24203264 140733163823868 140733163824216 140733163824216 140733163827145 0
/proc/28156/statm: 28282 349 296 221 0 87 0
[pid=28159] ppid=28156 vsize=27314120 memory=109692 CPUtime=0.1 cores=0-7
/proc/28159/stat : 28159 (java) S 28156 28156 27077 0 -1 1077944320 6490 0 0 0 8 2 0 0 20 0 20 0 512709576 27969658880 27423 33554432000 4194304 4196468 140735748937824 140735748920368 140417300238071 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
/proc/28159/statm: 6828530 27423 2796 1 0 6790935 0
[pid=28159/tid=28160] ppid=28156 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 27077 0 -1 4202560 4595 0 0 0 7 2 0 0 20 0 20 0 512709577 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417272064400 140417280514896 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28161] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417304480016 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28162] ppid=28156 vsize=27314120 memory=139985078027904 CPUtime=0 cores=0-7
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417118636432 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28163] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417117583888 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28164] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417116531344 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28165] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417115478800 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28166] ppid=28156 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417114426256 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28167] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417113373712 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28168] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28168/stat : 28168 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 27423 33554432000 4194304 4196468 140735748937824 140417112321168 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28169] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28169/stat : 28169 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 27423 33554432000 4194304 4196468 140735748937824 140416224397296 140417300249218 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28170] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28170/stat : 28170 (java) S 28156 28156 27077 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 27423 33554432000 4194304 4196468 140735748937824 140415231583136 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28171] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28171/stat : 28171 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 27423 33554432000 4194304 4196468 140735748937824 140414963147760 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28172] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28172/stat : 28172 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 27423 33554432000 4194304 4196468 140735748937824 140414588639440 140417300256667 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28173] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28173/stat : 28173 (java) S 28156 28156 27077 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 27423 33554432000 4194304 4196468 140735748937824 140416223345136 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28174] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28174/stat : 28174 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 27423 33554432000 4194304 4196468 140735748937824 140416222292592 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28175] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28175/stat : 28175 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 27423 33554432000 4194304 4196468 140735748937824 140416221240048 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28176] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28176/stat : 28176 (java) S 28156 28156 27077 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 27423 33554432000 4194304 4196468 140735748937824 140416220187504 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28177] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28177/stat : 28177 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 27423 33554432000 4194304 4196468 140735748937824 140414090733792 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28178] ppid=28156 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28159/task/28178/stat : 28178 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 27423 33554432000 4194304 4196468 140735748937824 140416219134384 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111088 KiB
[startup+0.210151 s]*
/proc/loadavg: 6.46 6.92 7.26 3/212 28178
/proc/meminfo: memFree=28358324/32770624 swapFree=67023968/67108860
[pid=28156] ppid=28153 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28156/stat : 28156 (scop.sh) S 28153 28156 27077 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512709576 115843072 349 33554432000 4194304 5098028 140733163820368 140733163817624 139950219326076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24203264 140733163823868 140733163824216 140733163824216 140733163827145 0
/proc/28156/statm: 28282 349 296 221 0 87 0
[pid=28159] ppid=28156 vsize=27314120 memory=124644 CPUtime=0.25 cores=0-7
/proc/28159/stat : 28159 (java) S 28156 28156 27077 0 -1 1077944320 11351 0 0 0 21 4 0 0 20 0 20 0 512709576 27969658880 31161 33554432000 4194304 4196468 140735748937824 140735748920368 140417300238071 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
/proc/28159/statm: 6828530 31161 2954 1 0 6790935 0
[pid=28159/tid=28160] ppid=28156 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 27077 0 -1 4202560 9069 0 0 0 17 3 0 0 20 0 20 0 512709577 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417272045632 140417281801623 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28161] ppid=28156 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417304480016 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28162] ppid=28156 vsize=27314120 memory=139985078055128 CPUtime=0 cores=0-7
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417118636432 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28163] ppid=28156 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417117583888 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28164] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417116531344 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28165] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417115478800 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28166] ppid=28156 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417114426256 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28167] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417113373712 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28168] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28168/stat : 28168 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 31161 33554432000 4194304 4196468 140735748937824 140417112321168 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28169] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28169/stat : 28169 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 31161 33554432000 4194304 4196468 140735748937824 140416224397296 140417300249218 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28170] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28170/stat : 28170 (java) S 28156 28156 27077 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 31161 33554432000 4194304 4196468 140735748937824 140415231583136 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28171] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28171/stat : 28171 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 31161 33554432000 4194304 4196468 140735748937824 140414963147760 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28172] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28172/stat : 28172 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 31161 33554432000 4194304 4196468 140735748937824 140414588639440 140417300256667 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28173] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28173/stat : 28173 (java) S 28156 28156 27077 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 31161 33554432000 4194304 4196468 140735748937824 140416223345136 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28174] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28174/stat : 28174 (java) S 28156 28156 27077 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 31161 33554432000 4194304 4196468 140735748937824 140416222292592 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28175] ppid=28156 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28159/task/28175/stat : 28175 (java) S 28156 28156 27077 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 31161 33554432000 4194304 4196468 140735748937824 140416221240048 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28176] ppid=28156 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/28159/task/28176/stat : 28176 (java) S 28156 28156 27077 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 512709584 27969658880 31161 33554432000 4194304 4196468 140735748937824 140416220187504 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28177] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28177/stat : 28177 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 31161 33554432000 4194304 4196468 140735748937824 140414090733792 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28178] ppid=28156 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28159/task/28178/stat : 28178 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 31161 33554432000 4194304 4196468 140735748937824 140416219134384 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126040 KiB
[startup+0.309384 s]*
/proc/loadavg: 6.46 6.92 7.26 2/212 28178
/proc/meminfo: memFree=28359536/32770624 swapFree=67023968/67108860
[pid=28156] ppid=28153 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28156/stat : 28156 (scop.sh) S 28153 28156 27077 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512709576 115843072 349 33554432000 4194304 5098028 140733163820368 140733163817624 139950219326076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24203264 140733163823868 140733163824216 140733163824216 140733163827145 0
/proc/28156/statm: 28282 349 296 221 0 87 0
[pid=28159] ppid=28156 vsize=27314120 memory=128188 CPUtime=0.42 cores=0-7
/proc/28159/stat : 28159 (java) S 28156 28156 27077 0 -1 1077944320 12402 0 0 0 37 5 0 0 20 0 20 0 512709576 27969658880 32047 33554432000 4194304 4196468 140735748937824 140735748920368 140417300238071 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
/proc/28159/statm: 6828530 32047 3011 1 0 6790935 0
[pid=28159/tid=28160] ppid=28156 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 27077 0 -1 4202560 9947 0 0 0 26 3 0 0 20 0 20 0 512709577 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417272055456 140417280513283 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28161] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417304480016 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28162] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417118636432 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28163] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417117583888 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28164] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417116531344 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28165] ppid=28156 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417115478800 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28166] ppid=28156 vsize=27314120 memory=139984929649583 CPUtime=0 cores=0-7
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417114426256 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28167] ppid=28156 vsize=27314120 memory=139984929651888 CPUtime=0 cores=0-7
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417113373712 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28168] ppid=28156 vsize=27314120 memory=139984929654192 CPUtime=0 cores=0-7
/proc/28159/task/28168/stat : 28168 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27969658880 32047 33554432000 4194304 4196468 140735748937824 140417112321168 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28169] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28169/stat : 28169 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 32047 33554432000 4194304 4196468 140735748937824 140416224397296 140417300249218 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28170] ppid=28156 vsize=27314120 memory=279969859315344 CPUtime=0 cores=0-7
/proc/28159/task/28170/stat : 28170 (java) S 28156 28156 27077 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 32047 33554432000 4194304 4196468 140735748937824 140415231583136 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28171] ppid=28156 vsize=27314120 memory=279969859322256 CPUtime=0 cores=0-7
/proc/28159/task/28171/stat : 28171 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709581 27969658880 32047 33554432000 4194304 4196468 140735748937824 140414963147760 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28172] ppid=28156 vsize=27314120 memory=279969859263536 CPUtime=0 cores=0-7
/proc/28159/task/28172/stat : 28172 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 32047 33554432000 4194304 4196468 140735748937824 140414588639440 140417300256667 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28173] ppid=28156 vsize=27314120 memory=279969859336080 CPUtime=0.01 cores=0-7
/proc/28159/task/28173/stat : 28173 (java) S 28156 28156 27077 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 512709584 27969658880 32047 33554432000 4194304 4196468 140735748937824 140416223345136 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28174] ppid=28156 vsize=27314120 memory=279969859342992 CPUtime=0 cores=0-7
/proc/28159/task/28174/stat : 28174 (java) S 28156 28156 27077 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 32047 33554432000 4194304 4196468 140735748937824 140416222292592 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28175] ppid=28156 vsize=27314120 memory=279969859340688 CPUtime=0.01 cores=0-7
/proc/28159/task/28175/stat : 28175 (java) S 28156 28156 27077 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 512709584 27969658880 32047 33554432000 4194304 4196468 140735748937824 140416221240048 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28176] ppid=28156 vsize=27314120 memory=279969859356848 CPUtime=0.07 cores=0-7
/proc/28159/task/28176/stat : 28176 (java) S 28156 28156 27077 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 512709584 27969658880 32047 33554432000 4194304 4196468 140735748937824 140416220187504 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28177] ppid=28156 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28177/stat : 28177 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 32047 33554432000 4194304 4196468 140735748937824 140414090733792 140417300248277 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28178] ppid=28156 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/28159/task/28178/stat : 28178 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27969658880 32047 33554432000 4194304 4196468 140735748937824 140416219134384 140417300249218 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129584 KiB
[startup+0.700893 s]
/proc/loadavg: 6.46 6.92 7.26 2/212 28178
/proc/meminfo: memFree=28337912/32770624 swapFree=67023968/67108860
[pid=28156] ppid=28153 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/28156/stat : 28156 (scop.sh) S 28153 28156 27077 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512709576 115843072 349 33554432000 4194304 5098028 140733163820368 140733163817624 139950219326076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24203264 140733163823868 140733163824216 140733163824216 140733163827145 0
/proc/28156/statm: 28282 349 296 221 0 87 0
[pid=28159] ppid=28156 vsize=27322440 memory=165996 CPUtime=1.01 cores=0-7
/proc/28159/stat : 28159 (java) S 28156 28156 27077 0 -1 1077944320 20081 0 0 0 94 7 0 0 20 0 20 0 512709576 27978178560 41499 33554432000 4194304 4196468 140735748937824 140735748920368 140417300238071 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
/proc/28159/statm: 6830610 41499 3183 1 0 6791959 0
[pid=28159/tid=28160] ppid=28156 vsize=27322440 memory=279969859714736 CPUtime=0.67 cores=0-7
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 27077 0 -1 4202560 16981 0 0 0 62 5 0 0 20 0 20 0 512709577 27978178560 41499 33554432000 4194304 4196468 140735748937824 140417272060224 140417284318558 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28161] ppid=28156 vsize=27322440 memory=139984929858416 CPUtime=0 cores=0-7
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27978178560 41499 33554432000 4194304 4196468 140735748937824 140417304480016 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28162] ppid=28156 vsize=27322440 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27978178560 41499 33554432000 4194304 4196468 140735748937824 140417118636432 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28163] ppid=28156 vsize=27322440 memory=1076 CPUtime=0 cores=0-7
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27978178560 41499 33554432000 4194304 4196468 140735748937824 140417117583888 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
################
# More data... #
################
[pid=28159/tid=28160] ppid=28156 vsize=27324564 memory=0 CPUtime=1.47 cores=0-7
/proc/28159/task/28160/stat : 28160 (java) R 28156 28156 27077 0 -1 4202560 18270 0 0 0 140 7 0 0 20 0 20 0 512709577 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417272073360 140416798312676 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28161] ppid=28156 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28161/stat : 28161 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417304480016 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28162] ppid=28156 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28162/stat : 28162 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417118636432 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28163] ppid=28156 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28163/stat : 28163 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417117583888 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28164] ppid=28156 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28164/stat : 28164 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417116531344 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28165] ppid=28156 vsize=27324564 memory=4580 CPUtime=0 cores=0-7
/proc/28159/task/28165/stat : 28165 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417115478800 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28166] ppid=28156 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28166/stat : 28166 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417114426256 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28167] ppid=28156 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/28159/task/28167/stat : 28167 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417113373712 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28168] ppid=28156 vsize=27324564 memory=139989372995199 CPUtime=0 cores=0-7
/proc/28159/task/28168/stat : 28168 (java) S 28156 28156 27077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512709579 27980353536 55110 33554432000 4194304 4196468 140735748937824 140417112321168 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28169] ppid=28156 vsize=27324564 memory=-5921431000321636112 CPUtime=0 cores=0-7
/proc/28159/task/28169/stat : 28169 (java) S 28156 28156 27077 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 512709581 27980353536 55110 33554432000 4194304 4196468 140735748937824 140416224397296 140417300249218 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28170] ppid=28156 vsize=27324564 memory=-7169539485663701033 CPUtime=0 cores=0-7
/proc/28159/task/28170/stat : 28170 (java) S 28156 28156 27077 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512709581 27980353536 55110 33554432000 4194304 4196468 140735748937824 140415231583136 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28171] ppid=28156 vsize=27324564 memory=-5921431000321636112 CPUtime=0 cores=0-7
/proc/28159/task/28171/stat : 28171 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709581 27980353536 55110 33554432000 4194304 4196468 140735748937824 140414963147760 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28172] ppid=28156 vsize=27324564 memory=-2746958450906831424 CPUtime=0 cores=0-7
/proc/28159/task/28172/stat : 28172 (java) S 28156 28156 27077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512709584 27980353536 55110 33554432000 4194304 4196468 140735748937824 140414588639440 140417300256667 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28173] ppid=28156 vsize=27324564 memory=-7019007802211101846 CPUtime=0.31 cores=0-7
/proc/28159/task/28173/stat : 28173 (java) R 28156 28156 27077 0 -1 4202560 727 0 0 0 30 1 0 0 20 0 20 0 512709584 27980353536 55110 33554432000 4194304 4196468 140735748937824 140416223328608 140417281555317 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28174] ppid=28156 vsize=27324564 memory=7682744562847679290 CPUtime=0.3 cores=0-7
/proc/28159/task/28174/stat : 28174 (java) R 28156 28156 27077 0 -1 4202560 717 0 0 0 30 0 0 0 20 0 20 0 512709584 27980353536 55110 33554432000 4194304 4196468 140735748937824 140416222292592 140417283706913 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28175] ppid=28156 vsize=27324564 memory=1076 CPUtime=0.28 cores=0-7
/proc/28159/task/28175/stat : 28175 (java) S 28156 28156 27077 0 -1 1077944384 431 0 0 0 28 0 0 0 20 0 20 0 512709584 27980353536 55110 33554432000 4194304 4196468 140735748937824 140416221240048 140417300249218 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28176] ppid=28156 vsize=27324564 memory=3124 CPUtime=0.68 cores=0-7
/proc/28159/task/28176/stat : 28176 (java) S 28156 28156 27077 0 -1 1077944384 2041 0 0 0 67 1 0 0 20 0 20 0 512709584 27980353536 55110 33554432000 4194304 4196468 140735748937824 140416220187504 140417300249218 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28177] ppid=28156 vsize=27324564 memory=1244 CPUtime=0 cores=0-7
/proc/28159/task/28177/stat : 28177 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709584 27980353536 55110 33554432000 4194304 4196468 140735748937824 140414090733792 140417300248277 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
[pid=28159/tid=28178] ppid=28156 vsize=27324564 memory=14064 CPUtime=0 cores=0-7
/proc/28159/task/28178/stat : 28178 (java) S 28156 28156 27077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512709584 27980353536 55110 33554432000 4194304 4196468 140735748937824 140416219134384 140417300249218 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140735748940486 140735748940934 140735748940934 140735748943823 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 27437692 KiB
Current children cumulated memory: 221836 KiB
[startup+3.11022 s]
/proc/loadavg: 6.46 6.92 7.26 2/218 28212
/proc/meminfo: memFree=28339812/32770624 swapFree=67023968/67108860
[pid=28156] ppid=28153 vsize=113128 memory=1476 CPUtime=4.95 cores=0-7
/proc/28156/stat : 28156 (scop.sh) S 28153 28156 27077 0 -1 4202496 583 26668 0 0 0 0 479 16 20 0 1 0 512709576 115843072 369 33554432000 4194304 5098028 140733163820368 140733163817112 139950219326076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24203264 140733163823868 140733163824216 140733163824216 140733163827145 0
/proc/28156/statm: 28282 369 311 221 0 87 0
[pid=28179] ppid=28156 vsize=8283048 memory=124116 CPUtime=2.64 cores=0-7
/proc/28179/stat : 28179 (java) S 28156 28156 27077 0 -1 1077944320 21475 8013 0 0 125 8 128 3 20 0 22 0 512709781 8481841152 31029 33554432000 4194304 4196468 140730220727056 140730220709600 140524043120375 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
/proc/28179/statm: 2070762 31029 3213 1 0 2032106 0
[pid=28179/tid=28180] ppid=28156 vsize=8283048 memory=0 CPUtime=2.11 cores=0-7
/proc/28179/task/28180/stat : 28180 (java) R 28156 28156 27077 0 -1 4202560 17661 8013 0 0 75 5 128 3 20 0 22 0 512709782 8481841152 31029 33554432000 4194304 4196468 140730220727056 140524014956016 140524027200862 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28181] ppid=28156 vsize=8283048 memory=8257237230052613020 CPUtime=1.31 cores=0-7
/proc/28179/task/28181/stat : 28181 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140524047362832 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28182] ppid=28156 vsize=8283048 memory=292417671 CPUtime=1.31 cores=0-7
/proc/28179/task/28182/stat : 28182 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523847531408 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28183] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28183/stat : 28183 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523846478864 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28184] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28184/stat : 28184 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523845426320 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28185] ppid=28156 vsize=8283048 memory=51 CPUtime=1.31 cores=0-7
/proc/28179/task/28185/stat : 28185 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523844372752 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28186] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28186/stat : 28186 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523843320208 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28187] ppid=28156 vsize=8283048 memory=164 CPUtime=1.31 cores=0-7
/proc/28179/task/28187/stat : 28187 (java) S 28156 28156 27077 0 -1 1077944384 2 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523842267664 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28188] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28188/stat : 28188 (java) S 28156 28156 27077 0 -1 1077944384 3 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523841215120 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28189] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28189/stat : 28189 (java) S 28156 28156 27077 0 -1 1077944384 5 8013 0 0 0 0 128 3 20 0 22 0 512709784 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523136322032 140524043131522 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28190] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28190/stat : 28190 (java) S 28156 28156 27077 0 -1 1077944384 13 8013 0 0 0 0 128 3 20 0 22 0 512709785 8481841152 31029 33554432000 4194304 4196468 140730220727056 140522471548320 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28191] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28191/stat : 28191 (java) S 28156 28156 27077 0 -1 1077944384 21 8013 0 0 0 0 128 3 20 0 22 0 512709785 8481841152 31029 33554432000 4194304 4196468 140730220727056 140522337326576 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28192] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28192/stat : 28192 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709787 8481841152 31029 33554432000 4194304 4196468 140730220727056 140521962822352 140524043138971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28193] ppid=28156 vsize=8283048 memory=0 CPUtime=1.39 cores=0-7
/proc/28179/task/28193/stat : 28193 (java) S 28156 28156 27077 0 -1 1077944384 268 8013 0 0 8 0 128 3 20 0 22 0 512709788 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523135268848 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28194] ppid=28156 vsize=8283048 memory=0 CPUtime=1.37 cores=0-7
/proc/28179/task/28194/stat : 28194 (java) S 28156 28156 27077 0 -1 1077944384 477 8013 0 0 6 0 128 3 20 0 22 0 512709788 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523134216304 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28195] ppid=28156 vsize=8283048 memory=0 CPUtime=1.37 cores=0-7
/proc/28179/task/28195/stat : 28195 (java) S 28156 28156 27077 0 -1 1077944384 424 8013 0 0 6 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523133163760 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28196] ppid=28156 vsize=8283048 memory=3880 CPUtime=1.55 cores=0-7
/proc/28179/task/28196/stat : 28196 (java) S 28156 28156 27077 0 -1 1077944384 668 8013 0 0 24 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523132111216 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28197] ppid=28156 vsize=8283048 memory=7712 CPUtime=1.31 cores=0-7
/proc/28179/task/28197/stat : 28197 (java) S 28156 28156 27077 0 -1 1077944384 3 8013 0 0 0 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140521464916704 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28198] ppid=28156 vsize=8283048 memory=1760 CPUtime=1.31 cores=0-7
/proc/28179/task/28198/stat : 28198 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523131059120 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28200] ppid=28156 vsize=8283048 memory=1172 CPUtime=1.31 cores=0-7
/proc/28179/task/28200/stat : 28200 (java) S 28156 28156 27077 0 -1 1077944384 28 8013 0 0 0 0 128 3 20 0 22 0 512709854 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523344274320 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28204] ppid=28156 vsize=8283048 memory=736 CPUtime=1.31 cores=0-7
/proc/28179/task/28204/stat : 28204 (java) S 28156 28156 27077 0 -1 1077944384 14 8013 0 0 0 0 128 3 20 0 22 0 512709856 8481841152 31029 33554432000 4194304 4196468 140730220727056 140520525390768 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 125592 KiB
[startup+3.1543 s]
# the end of solver process 28156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.38472 s, system=0.288427 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11022 s]
/proc/loadavg: 6.46 6.92 7.26 2/218 28212
/proc/meminfo: memFree=28339812/32770624 swapFree=67023968/67108860
[pid=28156] ppid=28153 vsize=113128 memory=1476 CPUtime=4.95 cores=0-7
/proc/28156/stat : 28156 (scop.sh) S 28153 28156 27077 0 -1 4202496 583 26668 0 0 0 0 479 16 20 0 1 0 512709576 115843072 369 33554432000 4194304 5098028 140733163820368 140733163817112 139950219326076 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24203264 140733163823868 140733163824216 140733163824216 140733163827145 0
/proc/28156/statm: 28282 369 311 221 0 87 0
[pid=28179] ppid=28156 vsize=8283048 memory=124116 CPUtime=2.64 cores=0-7
/proc/28179/stat : 28179 (java) S 28156 28156 27077 0 -1 1077944320 21475 8013 0 0 125 8 128 3 20 0 22 0 512709781 8481841152 31029 33554432000 4194304 4196468 140730220727056 140730220709600 140524043120375 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
/proc/28179/statm: 2070762 31029 3213 1 0 2032106 0
[pid=28179/tid=28180] ppid=28156 vsize=8283048 memory=0 CPUtime=2.11 cores=0-7
/proc/28179/task/28180/stat : 28180 (java) R 28156 28156 27077 0 -1 4202560 17661 8013 0 0 75 5 128 3 20 0 22 0 512709782 8481841152 31029 33554432000 4194304 4196468 140730220727056 140524014956016 140524027200862 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28181] ppid=28156 vsize=8283048 memory=8257237230052613020 CPUtime=1.31 cores=0-7
/proc/28179/task/28181/stat : 28181 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140524047362832 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28182] ppid=28156 vsize=8283048 memory=292417671 CPUtime=1.31 cores=0-7
/proc/28179/task/28182/stat : 28182 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523847531408 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28183] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28183/stat : 28183 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523846478864 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28184] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28184/stat : 28184 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523845426320 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28185] ppid=28156 vsize=8283048 memory=51 CPUtime=1.31 cores=0-7
/proc/28179/task/28185/stat : 28185 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523844372752 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28186] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28186/stat : 28186 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523843320208 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28187] ppid=28156 vsize=8283048 memory=164 CPUtime=1.31 cores=0-7
/proc/28179/task/28187/stat : 28187 (java) S 28156 28156 27077 0 -1 1077944384 2 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523842267664 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28188] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28188/stat : 28188 (java) S 28156 28156 27077 0 -1 1077944384 3 8013 0 0 0 0 128 3 20 0 22 0 512709783 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523841215120 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28189] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28189/stat : 28189 (java) S 28156 28156 27077 0 -1 1077944384 5 8013 0 0 0 0 128 3 20 0 22 0 512709784 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523136322032 140524043131522 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28190] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28190/stat : 28190 (java) S 28156 28156 27077 0 -1 1077944384 13 8013 0 0 0 0 128 3 20 0 22 0 512709785 8481841152 31029 33554432000 4194304 4196468 140730220727056 140522471548320 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28191] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28191/stat : 28191 (java) S 28156 28156 27077 0 -1 1077944384 21 8013 0 0 0 0 128 3 20 0 22 0 512709785 8481841152 31029 33554432000 4194304 4196468 140730220727056 140522337326576 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28192] ppid=28156 vsize=8283048 memory=0 CPUtime=1.31 cores=0-7
/proc/28179/task/28192/stat : 28192 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709787 8481841152 31029 33554432000 4194304 4196468 140730220727056 140521962822352 140524043138971 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28193] ppid=28156 vsize=8283048 memory=0 CPUtime=1.39 cores=0-7
/proc/28179/task/28193/stat : 28193 (java) S 28156 28156 27077 0 -1 1077944384 268 8013 0 0 8 0 128 3 20 0 22 0 512709788 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523135268848 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28194] ppid=28156 vsize=8283048 memory=0 CPUtime=1.37 cores=0-7
/proc/28179/task/28194/stat : 28194 (java) S 28156 28156 27077 0 -1 1077944384 477 8013 0 0 6 0 128 3 20 0 22 0 512709788 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523134216304 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28195] ppid=28156 vsize=8283048 memory=0 CPUtime=1.37 cores=0-7
/proc/28179/task/28195/stat : 28195 (java) S 28156 28156 27077 0 -1 1077944384 424 8013 0 0 6 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523133163760 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28196] ppid=28156 vsize=8283048 memory=3880 CPUtime=1.55 cores=0-7
/proc/28179/task/28196/stat : 28196 (java) S 28156 28156 27077 0 -1 1077944384 668 8013 0 0 24 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523132111216 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28197] ppid=28156 vsize=8283048 memory=7712 CPUtime=1.31 cores=0-7
/proc/28179/task/28197/stat : 28197 (java) S 28156 28156 27077 0 -1 1077944384 3 8013 0 0 0 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140521464916704 140524043130581 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28198] ppid=28156 vsize=8283048 memory=1760 CPUtime=1.31 cores=0-7
/proc/28179/task/28198/stat : 28198 (java) S 28156 28156 27077 0 -1 1077944384 1 8013 0 0 0 0 128 3 20 0 22 0 512709789 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523131059120 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28200] ppid=28156 vsize=8283048 memory=1172 CPUtime=1.31 cores=0-7
/proc/28179/task/28200/stat : 28200 (java) S 28156 28156 27077 0 -1 1077944384 28 8013 0 0 0 0 128 3 20 0 22 0 512709854 8481841152 31029 33554432000 4194304 4196468 140730220727056 140523344274320 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
[pid=28179/tid=28204] ppid=28156 vsize=8283048 memory=736 CPUtime=1.31 cores=0-7
/proc/28179/task/28204/stat : 28204 (java) S 28156 28156 27077 0 -1 1077944384 14 8013 0 0 0 0 128 3 20 0 22 0 512709856 8481841152 31029 33554432000 4194304 4196468 140730220727056 140520525390768 140524043131522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20807680 140730220729311 140730220729478 140730220729478 140730220732367 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 125592 KiB
Child status: 0
Real time (s): 3.15435
CPU time (s): 7.67314
CPU user time (s): 7.38472
CPU system time (s): 0.288427
CPU usage (%): 243.256
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 340376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.38472
system time used= 0.288427
maximum resident set size= 342216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56860
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9351
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 28156
# total CPU time (s): 7.67314
# total CPU user time (s): 7.38472
# total CPU system time (s): 0.288427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045506 second user time and 0.076488 second system time
The end
Begin job on node150 at 2019-09-25 00:32:10 IDJOB=4405443 IDBENCH=141704 IDSOLVER=2868 FILE ID=node150/4405443-1569364371 RUNJOBID= node150-1569359267-27104 PBS_JOBID= 21705120 Free space on /var/tmp= 13480 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-20-054.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405443-1569364371/watcher-4405443-1569364371 -o /var/tmp/evaluation-result-4405443-1569364371/solver-4405443-1569364371 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1569359267-27104 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405443-1569364371.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3ff211d871d85a956d1d429dedc73eaa RANDOM SEED=1646187043 node150.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.79 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.79 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.79 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.79 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: 28479064 kB MemAvailable: 31818480 kB Buffers: 114652 kB Cached: 3334672 kB SwapCached: 8084 kB Active: 3356856 kB Inactive: 126564 kB Active(anon): 2944 kB Inactive(anon): 82644 kB Active(file): 3353912 kB Inactive(file): 43920 kB Unevictable: 109060 kB Mlocked: 109060 kB SwapTotal: 67108860 kB SwapFree: 67023968 kB Dirty: 20584 kB Writeback: 0 kB AnonPages: 191272 kB Mapped: 53816 kB Shmem: 42788 kB Slab: 398572 kB SReclaimable: 370044 kB SUnreclaim: 28528 kB KernelStack: 3424 kB PageTables: 5488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13460 MiB End job on node150 at 2019-09-25 00:32:13