| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 7.81955 | 3.52284 |
| 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-26666-serial-file.bin HOME/instance-4392583-1568449256.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.56 c BEGIN-Prog: Sat Sep 14 10:20:17 CEST 2019 0.66/0.56 c PID: 26669 0.66/0.56 c IP: 172.20.3.135 0.66/0.56 c HOST: node135.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.78/1.09 c (0,0) Parsing End 1.78/1.10 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54 1.78/1.10 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.78/1.10 c (0,0) Constraint Name Generate Begin 2.15/1.11 c (0,0) Ctr:HOME/instance-4392583-1568449256.xml,Add:Le:Num:Or:Var 2.15/1.11 c (0,0) Constraint Name Generate End 2.15/1.11 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.15/1.11 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.26 c (0,0) translated 57 (30%) constraints 2.28/1.28 c (0,0) translated 76 (40%) constraints 2.28/1.29 c (0,0) translated 95 (50%) constraints 2.52/1.30 c (0,0) translated 114 (60%) constraints 2.52/1.31 c (0,0) translated 133 (70%) constraints 2.52/1.31 c (0,0) translated 152 (80%) constraints 2.52/1.32 c (0,0) translated 171 (90%) constraints 2.52/1.33 c (0,0) translated 190 (100%) constraints 2.52/1.33 c (0,0) =========================================== 2.52/1.35 c (0,0) Hybrid: #OE=40, #LE=0 2.52/1.35 c (0,0) Hybrid 2.52/1.35 c (0,0) =========================================== 2.52/1.36 c (0,0) translated 19 (10%) constraints 2.52/1.36 c (0,0) translated 38 (20%) constraints 2.52/1.37 c (0,0) translated 57 (30%) constraints 2.52/1.37 c (0,0) translated 76 (40%) constraints 2.52/1.38 c (0,0) translated 95 (50%) constraints 2.52/1.38 c (0,0) translated 114 (60%) constraints 2.52/1.39 c (0,0) translated 133 (70%) constraints 2.52/1.39 c (0,0) translated 152 (80%) constraints 2.52/1.39 c (0,0) translated 171 (90%) constraints 2.52/1.39 c (0,0) translated 190 (100%) constraints 2.77/1.40 c (0,0) CSP to CSPinCNF End 2.77/1.40 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54 2.77/1.40 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.77/1.40 c (0,0) CSPinCNF Propagation Begin 2.77/1.42 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.77/1.42 c (0,0) CSPinCNF Propagation End 2.77/1.42 c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 190 ctr, max domain size 54 2.77/1.42 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.77/1.43 c (0,0) Hybrid: #OE=40, #LE=0 2.77/1.43 c (0,0) Simplify CSPinCNF Begin 3.07/1.51 c (0,0) Simplify CSPinCNF End 3.07/1.52 c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54 3.07/1.52 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.07/1.52 c (0,0) Calculate Precise Domain Begin 3.07/1.52 c (0,0) 0 values are removed by re-calculation 3.07/1.52 c (0,0) Calculate Precise Domain End 3.07/1.52 c (0,0) CSP: 40 int (0 aux), 760 bool (760 aux), 950 ctr, max domain size 54 3.07/1.52 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 3.07/1.52 c (0,0) CSPinCNF to SatSolver Begin 3.65/1.72 c (1,1) 95 (10 %) CSP clauses are encoded (0 SAT variables, 5028 SAT clauses) 3.65/1.76 c (1,1) 190 (20 %) CSP clauses are encoded (0 SAT variables, 8289 SAT clauses) 4.05/1.80 c (1,1) 285 (30 %) CSP clauses are encoded (0 SAT variables, 11456 SAT clauses) 4.05/1.84 c (1,1) 380 (40 %) CSP clauses are encoded (0 SAT variables, 14476 SAT clauses) 4.05/1.87 c (1,1) 475 (50 %) CSP clauses are encoded (0 SAT variables, 17301 SAT clauses) 4.05/1.89 c (1,1) 570 (60 %) CSP clauses are encoded (0 SAT variables, 19948 SAT clauses) 4.48/1.92 c (1,1) 665 (70 %) CSP clauses are encoded (0 SAT variables, 22464 SAT clauses) 4.48/1.94 c (1,1) 760 (80 %) CSP clauses are encoded (0 SAT variables, 24765 SAT clauses) 4.48/1.95 c (1,1) 855 (90 %) CSP clauses are encoded (0 SAT variables, 26809 SAT clauses) 4.48/1.96 c (1,1) 950 (100 %) CSP clauses are encoded (0 SAT variables, 28473 SAT clauses) 4.48/1.97 c (1,1) CSPinCNF to SatSolver End 4.48/1.97 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.48/1.97 c (1,1) 2500 bool, 28490 clause 4.48/1.97 c (1,1) Export Begin 4.91/2.05 c (1,1) Export to HOME/scop-26666-serial-file.bin 4.91/2.05 c (1,1) Export End 4.91/2.05 c (1,1) Export File Size: 0.01 MB 4.91/2.05 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS) 4.91/2.05 c END-Prog: Sat Sep 14 10:20:18 CEST 2019 4.91/2.07 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-26666-serial-file.bin 5.03/2.53 c (0,0) Read Serial File Begin 5.03/2.53 c (0,0) HOME/scop-26666-serial-file.bin 5.03/2.72 c (0,0) Read Serial File End 5.03/2.74 5.03/2.74 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.03/2.74 (Solving Process) 5.03/2.74 5.03/2.76 c BEGIN-Prog: Sat Sep 14 10:20:19 CEST 2019 5.03/2.76 c PID: 26689 5.03/2.76 c IP: 172.20.3.135 5.03/2.76 c HOST: node135.alineos.net 5.03/2.76 c (0,0) SatSolver.solve Begin 5.03/2.76 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392583-1568449256.xml-scop-26669.cnf 5.03/2.79 c (0,0) c 5.03/2.79 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) 5.03/2.79 c (0,0) c 5.03/2.79 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.03/2.79 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.03/2.79 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.03/2.79 c (0,0) c | | 5.03/2.79 c (0,0) c | Number of variables: 2500 | 5.03/2.79 c (0,0) c | Number of clauses: 28490 | 5.03/2.79 c (0,0) c | Parse time: 0.01 s | 5.03/2.79 c (0,0) c | | 5.03/2.82 c (0,0) c | Simplification time: 0.02 s | 5.03/2.82 c (0,0) c | | 5.03/2.82 c (0,0) c | Generating clones | 5.03/2.83 c (0,0) c | all clones generated. Memory = 38.92Mb. | 5.03/2.83 c (0,0) c ========================================================================================================| 5.03/2.83 c (0,0) c 5.03/2.83 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.03/2.83 c (0,0) c 5.03/2.83 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.83 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.03/2.83 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.83 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.03/2.83 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.03/2.83 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.03/2.83 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.03/2.83 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.03/2.83 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.03/2.83 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.03/2.83 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.03/2.83 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.03/2.83 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.03/2.83 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.03/2.83 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.03/2.83 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.03/2.83 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.03/2.83 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.03/2.83 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/3.01 c (0,0) c 7.50/3.01 c (0,0) c real time : 0.222462 s 7.50/3.01 c (0,0) c cpu time : 1.33773 s 7.50/3.01 c (0,0) c 7.50/3.01 c (0,0) c 7.50/3.01 c (0,0) c 7.50/3.01 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 7.50/3.01 c (0,0) c 7.50/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/3.01 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.50/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/3.01 c (0,0) c | Conflicts | 40033 | 5033 | 5224 | 5083 | 5149 | 5216 | 4797 | 4718 | 4813 | 7.50/3.01 c (0,0) c | Decisions | 80412 | 9949 | 10658 | 9863 | 10572 | 11254 | 8535 | 9483 | 10098 | 7.50/3.01 c (0,0) c | Propagations | 4322877 | 506347 | 578457 | 544519 | 542808 | 571545 | 528132 | 521640 | 529429 | 7.50/3.01 c (0,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 7.50/3.01 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 7.50/3.01 c (0,0) c | Restarts | 100 | 9 | 15 | 9 | 19 | 17 | 9 | 9 | 13 | 7.50/3.01 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | PropBinClauses| 5924015 | 672670 | 779892 | 748752 | 758708 | 781613 | 737732 | 719748 | 724900 | 7.50/3.01 c (0,0) c | PropPreBlocker| 43917914 | 5343769 | 5672925 | 5401441 | 5580392 | 5827841 | 5319980 | 5611901 | 5159665 | 7.50/3.01 c (0,0) c | PropNotBlocker| 16118857 | 1968945 | 2080913 | 1992825 | 2131409 | 2082741 | 1998911 | 2001847 | 1861266 | 7.50/3.01 c (0,0) c | LitFullScans | 95031302 | 12002620 | 12000629 | 12001120 | 11983612 | 12000809 | 12000141 | 12002317 | 11040054 | 7.50/3.01 c (0,0) c | LitScanFracts | 1338 | 280 | 158 | 176 | 30 | 358 | 141 | 143 | 52 | 7.50/3.01 c (0,0) c | DecisionLevel0| 100 | 9 | 15 | 9 | 19 | 17 | 9 | 9 | 13 | 7.50/3.01 c (0,0) c | Periods | 14 | 2 | 2 | 2 | 1 | 2 | 2 | 2 | 1 | 7.50/3.01 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 7.50/3.01 c (0,0) c | Avg_Trail | | 968 | 967 | 931 | 932 | 1000 | 947 | 1051 | 974 | 7.50/3.01 c (0,0) c | Avg_DL | | 30 | 32 | 29 | 31 | 34 | 29 | 32 | 33 | 7.50/3.01 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/3.01 c (0,0) c | Exported | 370 | 26 | 108 | 60 | 78 | 79 | 2 | 8 | 9 | 7.50/3.01 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/3.01 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 7.50/3.01 c (0,0) c | Glues | | 13 | 17 | 8 | 16 | 13 | 2 | 8 | 9 | 7.50/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/3.01 c (0,0) c | Orig_Seen | 23 % | 6233 | 7226 | 5827 | 6278 | 7489 | 5803 | 6312 | 7259 | 7.50/3.01 c (0,0) c | Diff Orig seen| | - 1026 | - 33 | - 1432 | - 981 | 230 | - 1456 | - 947 | X | 7.50/3.01 c (0,0) c | Hamming | 36 % | 947 | 933 | 981 | 934 | 920 | 849 | 793 | X | 7.50/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/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%| 7.50/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%| 7.50/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%| 7.50/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%| 7.50/3.01 c (0,0) c | SolvingTime | | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 0.2 | 7.50/3.01 c (0,0) c | PropagationTim| | 0.1 71%| 0.1 72%| 0.1 70%| 0.1 72%| 0.1 72%| 0.1 72%| 0.1 72%| 0.1 72%| 7.50/3.01 c (0,0) c | AnalysisTime | | 0.0 22%| 0.0 20%| 0.0 23%| 0.0 20%| 0.0 20%| 0.0 22%| 0.0 21%| 0.0 21%| 7.50/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%| 7.50/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%| 7.50/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%| 7.50/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%| 7.50/3.01 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.50/3.01 c (0,0) c 7.50/3.01 c (0,0) c 7.50/3.01 c (0,0) c Threads : 8 7.50/3.01 c (0,0) c Winner : 7 7.50/3.01 c (0,0) c Conflicts_0 : 5033 7.50/3.01 c (0,0) c Conflicts_1 : 5224 7.50/3.01 c (0,0) c Conflicts_2 : 5083 7.50/3.01 c (0,0) c Conflicts_3 : 5149 7.50/3.01 c (0,0) c Conflicts_4 : 5216 7.50/3.01 c (0,0) c Conflicts_5 : 4797 7.50/3.01 c (0,0) c Conflicts_6 : 4718 7.50/3.01 c (0,0) c Conflicts_7 : 4813 7.50/3.01 c (0,0) c Conflicts_total : 40033 7.50/3.01 c (0,0) c Conflicts_winner : 4813 7.50/3.01 c (0,0) c Decisions_0 : 9949 7.50/3.01 c (0,0) c Decisions_1 : 10658 7.50/3.01 c (0,0) c Decisions_2 : 9863 7.50/3.01 c (0,0) c Decisions_3 : 10572 7.50/3.01 c (0,0) c Decisions_4 : 11254 7.50/3.01 c (0,0) c Decisions_5 : 8535 7.50/3.01 c (0,0) c Decisions_6 : 9483 7.50/3.01 c (0,0) c Decisions_7 : 10098 7.50/3.01 c (0,0) c Decisions_total : 80412 7.50/3.01 c (0,0) c Decisions_winner : 10098 7.50/3.01 c (0,0) c Propagations_0 : 506347 7.50/3.01 c (0,0) c Propagations_1 : 578457 7.50/3.01 c (0,0) c Propagations_2 : 544519 7.50/3.01 c (0,0) c Propagations_3 : 542808 7.50/3.01 c (0,0) c Propagations_4 : 571545 7.50/3.01 c (0,0) c Propagations_5 : 528132 7.50/3.01 c (0,0) c Propagations_6 : 521640 7.50/3.01 c (0,0) c Propagations_7 : 529429 7.50/3.01 c (0,0) c Propagations_total : 4322877 7.50/3.01 c (0,0) c Propagations_winner : 529429 7.50/3.01 c (0,0) c ReduceDBs_0 : 1 7.50/3.01 c (0,0) c ReduceDBs_1 : 1 7.50/3.01 c (0,0) c ReduceDBs_2 : 1 7.50/3.01 c (0,0) c ReduceDBs_3 : 1 7.50/3.01 c (0,0) c ReduceDBs_4 : 1 7.50/3.01 c (0,0) c ReduceDBs_5 : 1 7.50/3.01 c (0,0) c ReduceDBs_6 : 1 7.50/3.01 c (0,0) c ReduceDBs_7 : 1 7.50/3.01 c (0,0) c ReduceDBs_total : 8 7.50/3.01 c (0,0) c ReduceDBs_winner : 1 7.50/3.01 c (0,0) c SimpDBs_0 : 1 7.50/3.01 c (0,0) c SimpDBs_1 : 1 7.50/3.01 c (0,0) c SimpDBs_2 : 1 7.50/3.01 c (0,0) c SimpDBs_3 : 1 7.50/3.01 c (0,0) c SimpDBs_4 : 1 7.50/3.01 c (0,0) c SimpDBs_5 : 1 7.50/3.01 c (0,0) c SimpDBs_6 : 1 7.50/3.01 c (0,0) c SimpDBs_7 : 1 7.50/3.01 c (0,0) c SimpDBs_total : 8 7.50/3.01 c (0,0) c SimpDBs_winner : 1 7.50/3.01 c (0,0) c Restarts_0 : 9 7.50/3.01 c (0,0) c Restarts_1 : 15 7.50/3.01 c (0,0) c Restarts_2 : 9 7.50/3.01 c (0,0) c Restarts_3 : 19 7.50/3.01 c (0,0) c Restarts_4 : 17 7.50/3.01 c (0,0) c Restarts_5 : 9 7.50/3.01 c (0,0) c Restarts_6 : 9 7.50/3.01 c (0,0) c Restarts_7 : 13 7.50/3.01 c (0,0) c Restarts_total : 100 7.50/3.01 c (0,0) c Restarts_winner : 13 7.50/3.01 c (0,0) c ForcedImports_0 : 0 7.50/3.01 c (0,0) c ForcedImports_1 : 0 7.50/3.01 c (0,0) c ForcedImports_2 : 0 7.50/3.01 c (0,0) c ForcedImports_3 : 0 7.50/3.01 c (0,0) c ForcedImports_4 : 0 7.50/3.01 c (0,0) c ForcedImports_5 : 0 7.50/3.01 c (0,0) c ForcedImports_6 : 0 7.50/3.01 c (0,0) c ForcedImports_7 : 0 7.50/3.01 c (0,0) c ForcedImports_total : 0 7.50/3.01 c (0,0) c ForcedImports_winner : 0 7.50/3.01 c (0,0) c PropsBinClauses_0 : 672670 7.50/3.01 c (0,0) c PropsBinClauses_1 : 779892 7.50/3.01 c (0,0) c PropsBinClauses_2 : 748752 7.50/3.01 c (0,0) c PropsBinClauses_3 : 758708 7.50/3.01 c (0,0) c PropsBinClauses_4 : 781613 7.50/3.01 c (0,0) c PropsBinClauses_5 : 737732 7.50/3.01 c (0,0) c PropsBinClauses_6 : 719748 7.50/3.01 c (0,0) c PropsBinClauses_7 : 724900 7.50/3.01 c (0,0) c PropsBinClauses_total : 5924015 7.50/3.01 c (0,0) c PropsBinClauses_winner : 724900 7.50/3.01 c (0,0) c PropsPreBlocker_0 : 5343769 7.50/3.01 c (0,0) c PropsPreBlocker_1 : 5672925 7.50/3.01 c (0,0) c PropsPreBlocker_2 : 5401441 7.50/3.01 c (0,0) c PropsPreBlocker_3 : 5580392 7.50/3.01 c (0,0) c PropsPreBlocker_4 : 5827841 7.50/3.01 c (0,0) c PropsPreBlocker_5 : 5319980 7.50/3.01 c (0,0) c PropsPreBlocker_6 : 5611901 7.50/3.01 c (0,0) c PropsPreBlocker_7 : 5159665 7.50/3.01 c (0,0) c PropsPreBlocker_total : 43917914 7.50/3.01 c (0,0) c PropsPreBlocker_winner : 5159665 7.50/3.01 c (0,0) c PropsNotBlocker_0 : 1968945 7.50/3.01 c (0,0) c PropsNotBlocker_1 : 2080913 7.50/3.01 c (0,0) c PropsNotBlocker_2 : 1992825 7.50/3.01 c (0,0) c PropsNotBlocker_3 : 2131409 7.50/3.01 c (0,0) c PropsNotBlocker_4 : 2082741 7.50/3.01 c (0,0) c PropsNotBlocker_5 : 1998911 7.50/3.01 c (0,0) c PropsNotBlocker_6 : 2001847 7.50/3.01 c (0,0) c PropsNotBlocker_7 : 1861266 7.50/3.01 c (0,0) c PropsNotBlocker_total : 16118857 7.50/3.01 c (0,0) c PropsNotBlocker_winner : 1861266 7.50/3.01 c (0,0) c PropsLitFullScans_0 : 12002620 7.50/3.01 c (0,0) c PropsLitFullScans_1 : 12000629 7.50/3.01 c (0,0) c PropsLitFullScans_2 : 12001120 7.50/3.01 c (0,0) c PropsLitFullScans_3 : 11983612 7.50/3.01 c (0,0) c PropsLitFullScans_4 : 12000809 7.50/3.01 c (0,0) c PropsLitFullScans_5 : 12000141 7.50/3.01 c (0,0) c PropsLitFullScans_6 : 12002317 7.50/3.01 c (0,0) c PropsLitFullScans_7 : 11040054 7.50/3.01 c (0,0) c PropsLitFullScans_total : 95031302 7.50/3.01 c (0,0) c PropsLitFullScans_winner : 11040054 7.50/3.01 c (0,0) c LitScanFractions_0 : 280 7.50/3.01 c (0,0) c LitScanFractions_1 : 158 7.50/3.02 c (0,0) c LitScanFractions_2 : 176 7.50/3.02 c (0,0) c LitScanFractions_3 : 30 7.50/3.02 c (0,0) c LitScanFractions_4 : 358 7.50/3.02 c (0,0) c LitScanFractions_5 : 141 7.50/3.02 c (0,0) c LitScanFractions_6 : 143 7.50/3.02 c (0,0) c LitScanFractions_7 : 52 7.50/3.02 c (0,0) c LitScanFractions_total : 1338 7.50/3.02 c (0,0) c LitScanFractions_winner : 52 7.50/3.02 c (0,0) c DecisionLevel0_0 : 9 7.50/3.02 c (0,0) c DecisionLevel0_1 : 15 7.50/3.02 c (0,0) c DecisionLevel0_2 : 9 7.50/3.02 c (0,0) c DecisionLevel0_3 : 19 7.50/3.02 c (0,0) c DecisionLevel0_4 : 17 7.50/3.02 c (0,0) c DecisionLevel0_5 : 9 7.50/3.02 c (0,0) c DecisionLevel0_6 : 9 7.50/3.02 c (0,0) c DecisionLevel0_7 : 13 7.50/3.02 c (0,0) c DecisionLevel0_total : 100 7.50/3.02 c (0,0) c DecisionLevel0_winner : 13 7.50/3.02 c (0,0) c Periods_0 : 2 7.50/3.02 c (0,0) c Periods_1 : 2 7.50/3.02 c (0,0) c Periods_2 : 2 7.50/3.02 c (0,0) c Periods_3 : 1 7.50/3.02 c (0,0) c Periods_4 : 2 7.50/3.02 c (0,0) c Periods_5 : 2 7.50/3.02 c (0,0) c Periods_6 : 2 7.50/3.02 c (0,0) c Periods_7 : 1 7.50/3.02 c (0,0) c Periods_total : 14 7.50/3.02 c (0,0) c Periods_winner : 1 7.50/3.02 c (0,0) c Margin_0 : 20 7.50/3.02 c (0,0) c Margin_1 : 20 7.50/3.02 c (0,0) c Margin_2 : 20 7.50/3.02 c (0,0) c Margin_3 : 20 7.50/3.02 c (0,0) c Margin_4 : 20 7.50/3.02 c (0,0) c Margin_5 : 20 7.50/3.02 c (0,0) c Margin_6 : 20 7.50/3.02 c (0,0) c Margin_7 : 20 7.50/3.02 c (0,0) c Margin_total : 160 7.50/3.02 c (0,0) c Margin_winner : 20 7.50/3.02 c (0,0) c Exported_0 : 26 7.50/3.02 c (0,0) c Exported_1 : 108 7.50/3.02 c (0,0) c Exported_2 : 60 7.50/3.02 c (0,0) c Exported_3 : 78 7.50/3.02 c (0,0) c Exported_4 : 79 7.50/3.02 c (0,0) c Exported_5 : 2 7.50/3.02 c (0,0) c Exported_6 : 8 7.50/3.02 c (0,0) c Exported_7 : 9 7.50/3.02 c (0,0) c Exported_total : 370 7.50/3.02 c (0,0) c Exported_winner : 9 7.50/3.02 c (0,0) c Imported_0 : 0 7.50/3.02 c (0,0) c Imported_1 : 0 7.50/3.02 c (0,0) c Imported_2 : 0 7.50/3.02 c (0,0) c Imported_3 : 0 7.50/3.02 c (0,0) c Imported_4 : 0 7.50/3.02 c (0,0) c Imported_5 : 0 7.50/3.02 c (0,0) c Imported_6 : 0 7.50/3.02 c (0,0) c Imported_7 : 0 7.50/3.02 c (0,0) c Imported_total : 0 7.50/3.02 c (0,0) c Imported_winner : 0 7.50/3.02 c (0,0) c Good_0 : 0 7.50/3.02 c (0,0) c Good_1 : 0 7.50/3.02 c (0,0) c Good_2 : 0 7.50/3.02 c (0,0) c Good_3 : 0 7.50/3.02 c (0,0) c Good_4 : 0 7.50/3.02 c (0,0) c Good_5 : 0 7.50/3.02 c (0,0) c Good_6 : 0 7.50/3.02 c (0,0) c Good_7 : 0 7.50/3.02 c (0,0) c Good_total : 0 7.50/3.02 c (0,0) c Good_winner : 0 7.50/3.02 c (0,0) c Purge_0 : 0 7.50/3.02 c (0,0) c Purge_1 : 0 7.50/3.02 c (0,0) c Purge_2 : 0 7.50/3.02 c (0,0) c Purge_3 : 0 7.50/3.02 c (0,0) c Purge_4 : 0 7.50/3.02 c (0,0) c Purge_5 : 0 7.50/3.02 c (0,0) c Purge_6 : 0 7.50/3.02 c (0,0) c Purge_7 : 0 7.50/3.02 c (0,0) c Purge_total : 0 7.50/3.02 c (0,0) c Purge_winner : 0 7.50/3.02 c (0,0) c Promoted_0 : 0 7.50/3.02 c (0,0) c Promoted_1 : 0 7.50/3.02 c (0,0) c Promoted_2 : 0 7.50/3.02 c (0,0) c Promoted_3 : 0 7.50/3.02 c (0,0) c Promoted_4 : 0 7.50/3.02 c (0,0) c Promoted_5 : 0 7.50/3.02 c (0,0) c Promoted_6 : 0 7.50/3.02 c (0,0) c Promoted_7 : 0 7.50/3.02 c (0,0) c Promoted_total : 0 7.50/3.02 c (0,0) c Promoted_winner : 0 7.50/3.02 c (0,0) c Remove_Imp_0 : 0 7.50/3.02 c (0,0) c Remove_Imp_1 : 0 7.50/3.02 c (0,0) c Remove_Imp_2 : 0 7.50/3.02 c (0,0) c Remove_Imp_3 : 0 7.50/3.02 c (0,0) c Remove_Imp_4 : 0 7.50/3.02 c (0,0) c Remove_Imp_5 : 0 7.50/3.02 c (0,0) c Remove_Imp_6 : 0 7.50/3.02 c (0,0) c Remove_Imp_7 : 0 7.50/3.02 c (0,0) c Remove_Imp_total : 0 7.50/3.02 c (0,0) c Remove_Imp_winner : 0 7.50/3.02 c (0,0) c Blocked_Reuse_0 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_1 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_2 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_3 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_4 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_5 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_6 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_7 : 0 7.50/3.02 c (0,0) c Blocked_Reuse_total : 0 7.50/3.02 c (0,0) c Blocked_Reuse_winner : 0 7.50/3.02 c (0,0) c Unaries_0 : 0 7.50/3.02 c (0,0) c Unaries_1 : 0 7.50/3.02 c (0,0) c Unaries_2 : 0 7.50/3.02 c (0,0) c Unaries_3 : 0 7.50/3.02 c (0,0) c Unaries_4 : 0 7.50/3.02 c (0,0) c Unaries_5 : 0 7.50/3.02 c (0,0) c Unaries_6 : 0 7.50/3.02 c (0,0) c Unaries_7 : 0 7.50/3.02 c (0,0) c Unaries_total : 0 7.50/3.02 c (0,0) c Unaries_winner : 0 7.50/3.02 c (0,0) c Binaries_0 : 0 7.50/3.02 c (0,0) c Binaries_1 : 0 7.50/3.02 c (0,0) c Binaries_2 : 0 7.50/3.02 c (0,0) c Binaries_3 : 0 7.50/3.02 c (0,0) c Binaries_4 : 0 7.50/3.02 c (0,0) c Binaries_5 : 0 7.50/3.02 c (0,0) c Binaries_6 : 0 7.50/3.02 c (0,0) c Binaries_7 : 0 7.50/3.02 c (0,0) c Binaries_total : 0 7.50/3.02 c (0,0) c Binaries_winner : 0 7.50/3.02 c (0,0) c Glues_0 : 13 7.50/3.02 c (0,0) c Glues_1 : 17 7.50/3.02 c (0,0) c Glues_2 : 8 7.50/3.02 c (0,0) c Glues_3 : 16 7.50/3.02 c (0,0) c Glues_4 : 13 7.50/3.02 c (0,0) c Glues_5 : 2 7.50/3.02 c (0,0) c Glues_6 : 8 7.50/3.02 c (0,0) c Glues_7 : 9 7.50/3.02 c (0,0) c Glues_total : 86 7.50/3.02 c (0,0) c Glues_winner : 9 7.50/3.02 c (0,0) c RunningTime_0 : 0.169388 7.50/3.02 c (0,0) c RunningTime_1 : 0.178293 7.50/3.02 c (0,0) c RunningTime_2 : 0.165385 7.50/3.02 c (0,0) c RunningTime_3 : 0.171915 7.50/3.02 c (0,0) c RunningTime_4 : 0.168776 7.50/3.02 c (0,0) c RunningTime_5 : 0.164861 7.50/3.02 c (0,0) c RunningTime_6 : 0.164793 7.50/3.02 c (0,0) c RunningTime_7 : 0.162237 7.50/3.02 c (0,0) c RunningTime_total : 1.345650 7.50/3.02 c (0,0) c RunningTime_winner : 0.162237 7.50/3.02 c (0,0) c WaitingTime_0 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_1 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_2 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_3 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_4 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_5 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_6 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_7 : 0.000000 7.50/3.02 c (0,0) c WaitingTime_total : 0.000000 7.50/3.02 c (0,0) c WaitingTime_winner : 0.000000 7.50/3.02 c (0,0) c ExchangingTime_0 : 0.000261 7.50/3.02 c (0,0) c ExchangingTime_1 : 0.000405 7.50/3.02 c (0,0) c ExchangingTime_2 : 0.000309 7.50/3.02 c (0,0) c ExchangingTime_3 : 0.000373 7.50/3.02 c (0,0) c ExchangingTime_4 : 0.000262 7.50/3.02 c (0,0) c ExchangingTime_5 : 0.000237 7.50/3.02 c (0,0) c ExchangingTime_6 : 0.000223 7.50/3.02 c (0,0) c ExchangingTime_7 : 0.000230 7.50/3.02 c (0,0) c ExchangingTime_total : 0.002299 7.50/3.02 c (0,0) c ExchangingTime_winner : 0.000230 7.50/3.02 c (0,0) c PeriodProcTime_0 : 0.000034 7.50/3.02 c (0,0) c PeriodProcTime_1 : 0.000010 7.50/3.02 c (0,0) c PeriodProcTime_2 : 0.000012 7.50/3.02 c (0,0) c PeriodProcTime_3 : 0.000004 7.50/3.02 c (0,0) c PeriodProcTime_4 : 0.000007 7.50/3.02 c (0,0) c PeriodProcTime_5 : 0.000008 7.50/3.02 c (0,0) c PeriodProcTime_6 : 0.000009 7.50/3.02 c (0,0) c PeriodProcTime_7 : 0.000005 7.50/3.02 c (0,0) c PeriodProcTime_total : 0.000089 7.50/3.02 c (0,0) c PeriodProcTime_winner : 0.000005 7.50/3.02 c (0,0) c SolvingTime_0 : 0.169683 7.50/3.02 c (0,0) c SolvingTime_1 : 0.178708 7.50/3.02 c (0,0) c SolvingTime_2 : 0.165707 7.50/3.02 c (0,0) c SolvingTime_3 : 0.172293 7.50/3.02 c (0,0) c SolvingTime_4 : 0.169045 7.50/3.02 c (0,0) c SolvingTime_5 : 0.165106 7.50/3.02 c (0,0) c SolvingTime_6 : 0.165025 7.50/3.02 c (0,0) c SolvingTime_7 : 0.162472 7.50/3.02 c (0,0) c SolvingTime_total : 1.348038 7.50/3.02 c (0,0) c SolvingTime_winner : 0.162472 7.50/3.02 c (0,0) c PropagationTime_0 : 0.119800 7.50/3.02 c (0,0) c PropagationTime_1 : 0.128780 7.50/3.02 c (0,0) c PropagationTime_2 : 0.116155 7.50/3.02 c (0,0) c PropagationTime_3 : 0.124551 7.50/3.02 c (0,0) c PropagationTime_4 : 0.121149 7.50/3.02 c (0,0) c PropagationTime_5 : 0.118694 7.50/3.02 c (0,0) c PropagationTime_6 : 0.118004 7.50/3.02 c (0,0) c PropagationTime_7 : 0.116314 7.50/3.02 c (0,0) c PropagationTime_total : 0.963448 7.50/3.02 c (0,0) c PropagationTime_winner : 0.116314 7.50/3.02 c (0,0) c AnalysisTime_0 : 0.037195 7.50/3.02 c (0,0) c AnalysisTime_1 : 0.036093 7.50/3.02 c (0,0) c AnalysisTime_2 : 0.037330 7.50/3.02 c (0,0) c AnalysisTime_3 : 0.034321 7.50/3.02 c (0,0) c AnalysisTime_4 : 0.033904 7.50/3.02 c (0,0) c AnalysisTime_5 : 0.035711 7.50/3.02 c (0,0) c AnalysisTime_6 : 0.035213 7.50/3.02 c (0,0) c AnalysisTime_7 : 0.033515 7.50/3.02 c (0,0) c AnalysisTime_total : 0.283281 7.50/3.02 c (0,0) c AnalysisTime_winner : 0.033515 7.50/3.02 c (0,0) c ReductionTime_0 : 0.000311 7.50/3.02 c (0,0) c ReductionTime_1 : 0.000316 7.50/3.02 c (0,0) c ReductionTime_2 : 0.000319 7.50/3.02 c (0,0) c ReductionTime_3 : 0.000323 7.50/3.02 c (0,0) c ReductionTime_4 : 0.000329 7.50/3.02 c (0,0) c ReductionTime_5 : 0.000320 7.50/3.02 c (0,0) c ReductionTime_6 : 0.000332 7.50/3.02 c (0,0) c ReductionTime_7 : 0.000330 7.50/3.02 c (0,0) c ReductionTime_total : 0.002580 7.50/3.02 c (0,0) c ReductionTime_winner : 0.000330 7.50/3.02 c (0,0) c SimplifyTime_0 : 0.000000 7.50/3.02 c (0,0) c SimplifyTime_1 : 0.000000 7.50/3.02 c (0,0) c SimplifyTime_2 : 0.000000 7.50/3.02 c (0,0) c SimplifyTime_3 : 0.000004 7.50/3.02 c (0,0) c SimplifyTime_4 : 0.000001 7.50/3.02 c (0,0) c SimplifyTime_5 : 0.000000 7.50/3.02 c (0,0) c SimplifyTime_6 : 0.000000 7.50/3.02 c (0,0) c SimplifyTime_7 : 0.000000 7.50/3.02 c (0,0) c SimplifyTime_total : 0.000005 7.50/3.02 c (0,0) c SimplifyTime_winner : 0.000000 7.50/3.02 c (0,0) c UsedRateTime_0 : 0.000000 7.50/3.02 c (0,0) c UsedRateTime_1 : 0.000000 7.50/3.02 c (0,0) c UsedRateTime_2 : 0.000000 7.70/3.28 c (0,0) c UsedRateTime_3 : 0.000000 7.70/3.28 c (0,0) c UsedRateTime_4 : 0.000000 7.70/3.28 c (0,0) c UsedRateTime_5 : 0.000000 7.70/3.28 c (0,0) c UsedRateTime_6 : 0.000000 7.70/3.28 c (0,0) c UsedRateTime_7 : 0.000000 7.70/3.28 c (0,0) c UsedRateTime_total : 0.000000 7.70/3.28 c (0,0) c UsedRateTime_winner : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_0 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_1 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_2 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_3 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_4 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_5 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_6 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_7 : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_total : 0.000000 7.70/3.28 c (0,0) c OverlapRateTime_winner : 0.000000 7.70/3.28 c (0,0) c 7.70/3.28 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 7.70/3.28 c (0,0) c 7.70/3.28 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.28 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.70/3.28 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.28 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 7.70/3.28 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 7.70/3.28 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 7.70/3.28 c (0,0) c | Initial random_seed | 196604721 | 111378190 | 1788447307 | 2032224106 | 989580767 | 700026492 | 1564735902 | 1588580700 | 7.70/3.28 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 7.70/3.28 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 7.70/3.28 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 7.70/3.28 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 7.70/3.28 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 7.70/3.28 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 7.70/3.28 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 7.70/3.28 c (0,0) c | var_decay | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8000 | 0.8000 | 0.8000 | 7.70/3.28 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 7.70/3.28 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 7.70/3.28 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 7.70/3.28 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.70/3.28 c (0,0) 7.70/3.28 c (0,0) s SATISFIABLE 7.70/3.28 c (0,0) SatSolver.solve End 7.70/3.28 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 7.70/3.28 c (0,0) Show results Begin 7.70/3.28 c (0,0) x[0] = 10 7.70/3.28 c (0,0) x[1] = 24 7.70/3.28 c (0,0) x[2] = 21 7.70/3.28 c (0,0) x[3] = 19 7.70/3.28 c (0,0) x[4] = 21 7.70/3.28 c (0,0) x[5] = 15 7.70/3.28 c (0,0) x[6] = 14 7.70/3.28 c (0,0) x[7] = 26 7.70/3.28 c (0,0) x[8] = 10 7.70/3.28 c (0,0) x[9] = 0 7.70/3.28 c (0,0) x[10] = 0 7.70/3.28 c (0,0) x[11] = 11 7.70/3.28 c (0,0) x[12] = 21 7.70/3.28 c (0,0) x[13] = 0 7.70/3.28 c (0,0) x[14] = 39 7.70/3.28 c (0,0) x[15] = 23 7.70/3.28 c (0,0) x[16] = 19 7.70/3.28 c (0,0) x[17] = 36 7.70/3.28 c (0,0) x[18] = 0 7.70/3.28 c (0,0) x[19] = 34 7.70/3.28 c (0,0) y[0] = 11 7.70/3.28 c (0,0) y[1] = 46 7.70/3.28 c (0,0) y[2] = 46 7.70/3.28 c (0,0) y[3] = 12 7.70/3.28 c (0,0) y[4] = 49 7.70/3.28 c (0,0) y[5] = 48 7.70/3.28 c (0,0) y[6] = 41 7.70/3.28 c (0,0) y[7] = 46 7.70/3.28 c (0,0) y[8] = 12 7.70/3.28 c (0,0) y[9] = 11 7.70/3.28 c (0,0) y[10] = 0 7.70/3.28 c (0,0) y[11] = 0 7.70/3.28 c (0,0) y[12] = 33 7.70/3.28 c (0,0) y[13] = 40 7.70/3.28 c (0,0) y[14] = 0 7.70/3.28 c (0,0) y[15] = 0 7.70/3.28 c (0,0) y[16] = 16 7.70/3.28 c (0,0) y[17] = 16 7.70/3.28 c (0,0) y[18] = 21 7.70/3.28 c (0,0) y[19] = 34 7.70/3.28 s SATISFIABLE 7.70/3.28 v <instantiation> 7.70/3.28 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.70/3.28 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.70/3.28 v </instantiation> 7.70/3.28 c (0,0) Show results End 7.70/3.28 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 7.70/3.28 c (0,0) 0,0,STOP-AFTER(ALL) 7.70/3.28 c END-Prog: Sat Sep 14 10:20:19 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 (15122 MiB free)
memory of node 1: 16384 MiB (14956 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392583-1568449256/watcher-4392583-1568449256 -o /tmp/evaluation-result-4392583-1568449256/solver-4392583-1568449256 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568449212-26530 --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-4392583-1568449256.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26666, runsolver pid=26663
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 7.63 8.21 7.76 2/217 26688
/proc/meminfo: memFree=30707136/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421175198 115843072 349 33554432000 4194304 5098028 140724334907792 140724334905048 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 349 296 221 0 87 0
[pid=26669] ppid=26666 vsize=27314120 memory=107616 CPUtime=0.1 cores=0-7
/proc/26669/stat : 26669 (java) S 26666 26666 26503 0 -1 1077944320 6449 0 0 0 8 2 0 0 20 0 20 0 421175199 27969658880 26904 33554432000 4194304 4196468 140724730350960 140724730333504 140140707716855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
/proc/26669/statm: 6828530 26904 2819 1 0 6790935 0
[pid=26669/tid=26670] ppid=26666 vsize=27314120 memory=8113968586288964253 CPUtime=0.09 cores=0-7
/proc/26669/task/26670/stat : 26670 (java) R 26666 26666 26503 0 -1 4202560 4518 0 0 0 7 2 0 0 20 0 20 0 421175199 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140679543568 140140693915438 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26671] ppid=26666 vsize=27314120 memory=732370321321733093 CPUtime=0 cores=0-7
/proc/26669/task/26671/stat : 26671 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140711959056 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26672] ppid=26666 vsize=27314120 memory=140182984279680 CPUtime=0 cores=0-7
/proc/26669/task/26672/stat : 26672 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140495354512 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26673] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26673/stat : 26673 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140494301456 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26674] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26674/stat : 26674 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140493248912 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26675] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26675/stat : 26675 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140492196880 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26676] ppid=26666 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26669/task/26676/stat : 26676 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140491144336 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26677] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26677/stat : 26677 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140490091280 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26678] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26678/stat : 26678 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 26904 33554432000 4194304 4196468 140724730350960 140140489038736 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26679] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26679/stat : 26679 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175203 27969658880 26904 33554432000 4194304 4196468 140724730350960 140139094317296 140140707728002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26680] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26680/stat : 26680 (java) S 26666 26666 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421175203 27969658880 26904 33554432000 4194304 4196468 140724730350960 140138474628256 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26681] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26681/stat : 26681 (java) S 26666 26666 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421175204 27969658880 26904 33554432000 4194304 4196468 140724730350960 140138340406000 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26682] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26682/stat : 26682 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 26904 33554432000 4194304 4196468 140724730350960 140137965901776 140140707735451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26683] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26683/stat : 26683 (java) S 26666 26666 26503 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 26904 33554432000 4194304 4196468 140724730350960 140139093265136 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26684] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26684/stat : 26684 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 26904 33554432000 4194304 4196468 140724730350960 140139092212592 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26685] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26685/stat : 26685 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 26904 33554432000 4194304 4196468 140724730350960 140139091159536 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26686] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26686/stat : 26686 (java) S 26666 26666 26503 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 26904 33554432000 4194304 4196468 140724730350960 140139090106992 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26687] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26687/stat : 26687 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 26904 33554432000 4194304 4196468 140724730350960 140137467996640 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26688] ppid=26666 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26669/task/26688/stat : 26688 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175207 27969658880 26904 33554432000 4194304 4196468 140724730350960 140139089054384 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109012 KiB
[startup+0.210918 s]*
/proc/loadavg: 7.10 8.09 7.73 3/217 26688
/proc/meminfo: memFree=30685972/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421175198 115843072 349 33554432000 4194304 5098028 140724334907792 140724334905048 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 349 296 221 0 87 0
[pid=26669] ppid=26666 vsize=27314120 memory=124752 CPUtime=0.25 cores=0-7
/proc/26669/stat : 26669 (java) S 26666 26666 26503 0 -1 1077944320 11905 0 0 0 21 4 0 0 20 0 20 0 421175199 27969658880 31188 33554432000 4194304 4196468 140724730350960 140724730333504 140140707716855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
/proc/26669/statm: 6828530 31188 2968 1 0 6790935 0
[pid=26669/tid=26670] ppid=26666 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/26669/task/26670/stat : 26670 (java) R 26666 26666 26503 0 -1 4202560 9581 0 0 0 16 3 0 0 20 0 20 0 421175199 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140679537760 140140689280415 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26671] ppid=26666 vsize=27314120 memory=280365817874168 CPUtime=0 cores=0-7
/proc/26669/task/26671/stat : 26671 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140711959056 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26672] ppid=26666 vsize=27314120 memory=140182984279680 CPUtime=0 cores=0-7
/proc/26669/task/26672/stat : 26672 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140495354512 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26673] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26673/stat : 26673 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140494301456 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26674] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26674/stat : 26674 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140493248912 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26675] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26675/stat : 26675 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140492196880 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26676] ppid=26666 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26669/task/26676/stat : 26676 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140491144336 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26677] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26677/stat : 26677 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140490091280 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26678] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26678/stat : 26678 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31188 33554432000 4194304 4196468 140724730350960 140140489038736 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26679] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26679/stat : 26679 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175203 27969658880 31188 33554432000 4194304 4196468 140724730350960 140139094317296 140140707728002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26680] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26680/stat : 26680 (java) S 26666 26666 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421175203 27969658880 31188 33554432000 4194304 4196468 140724730350960 140138474628256 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26681] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26681/stat : 26681 (java) S 26666 26666 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421175204 27969658880 31188 33554432000 4194304 4196468 140724730350960 140138340406000 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26682] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26682/stat : 26682 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31188 33554432000 4194304 4196468 140724730350960 140137965901776 140140707735451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26683] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26683/stat : 26683 (java) S 26666 26666 26503 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31188 33554432000 4194304 4196468 140724730350960 140139093265136 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26684] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26684/stat : 26684 (java) S 26666 26666 26503 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31188 33554432000 4194304 4196468 140724730350960 140139092212592 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26685] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26685/stat : 26685 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31188 33554432000 4194304 4196468 140724730350960 140139091159536 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26686] ppid=26666 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/26669/task/26686/stat : 26686 (java) S 26666 26666 26503 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 421175206 27969658880 31188 33554432000 4194304 4196468 140724730350960 140139090106992 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26687] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26687/stat : 26687 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31188 33554432000 4194304 4196468 140724730350960 140137467996640 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26688] ppid=26666 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26669/task/26688/stat : 26688 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175207 27969658880 31188 33554432000 4194304 4196468 140724730350960 140139089054384 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126148 KiB
[startup+0.31083 s]*
/proc/loadavg: 7.10 8.09 7.73 2/217 26688
/proc/meminfo: memFree=30683552/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421175198 115843072 349 33554432000 4194304 5098028 140724334907792 140724334905048 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 349 296 221 0 87 0
[pid=26669] ppid=26666 vsize=27314120 memory=127900 CPUtime=0.42 cores=0-7
/proc/26669/stat : 26669 (java) S 26666 26666 26503 0 -1 1077944320 12877 0 0 0 38 4 0 0 20 0 20 0 421175199 27969658880 31975 33554432000 4194304 4196468 140724730350960 140724730333504 140140707716855 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
/proc/26669/statm: 6828530 31975 3021 1 0 6790935 0
[pid=26669/tid=26670] ppid=26666 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/26669/task/26670/stat : 26670 (java) R 26666 26666 26503 0 -1 4202560 10386 0 0 0 26 4 0 0 20 0 20 0 421175199 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140679534352 140140689280424 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26671] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26671/stat : 26671 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140711959056 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26672] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26672/stat : 26672 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140495354512 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26673] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26673/stat : 26673 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140494301456 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26674] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26674/stat : 26674 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140493248912 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26675] ppid=26666 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/26669/task/26675/stat : 26675 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140492196880 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26676] ppid=26666 vsize=27314120 memory=140182833689519 CPUtime=0 cores=0-7
/proc/26669/task/26676/stat : 26676 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140491144336 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26677] ppid=26666 vsize=27314120 memory=140182833691824 CPUtime=0 cores=0-7
/proc/26669/task/26677/stat : 26677 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140490091280 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26678] ppid=26666 vsize=27314120 memory=140182833694128 CPUtime=0 cores=0-7
/proc/26669/task/26678/stat : 26678 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27969658880 31975 33554432000 4194304 4196468 140724730350960 140140489038736 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26679] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26679/stat : 26679 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175203 27969658880 31975 33554432000 4194304 4196468 140724730350960 140139094317296 140140707728002 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26680] ppid=26666 vsize=27314120 memory=280365667395216 CPUtime=0 cores=0-7
/proc/26669/task/26680/stat : 26680 (java) S 26666 26666 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421175203 27969658880 31975 33554432000 4194304 4196468 140724730350960 140138474628256 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26681] ppid=26666 vsize=27314120 memory=280365667402128 CPUtime=0 cores=0-7
/proc/26669/task/26681/stat : 26681 (java) S 26666 26666 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421175204 27969658880 31975 33554432000 4194304 4196468 140724730350960 140138340406000 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26682] ppid=26666 vsize=27314120 memory=280365667343408 CPUtime=0 cores=0-7
/proc/26669/task/26682/stat : 26682 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31975 33554432000 4194304 4196468 140724730350960 140137965901776 140140707735451 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26683] ppid=26666 vsize=27314120 memory=280365667415952 CPUtime=0 cores=0-7
/proc/26669/task/26683/stat : 26683 (java) S 26666 26666 26503 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31975 33554432000 4194304 4196468 140724730350960 140139093265136 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26684] ppid=26666 vsize=27314120 memory=280365667422864 CPUtime=0.02 cores=0-7
/proc/26669/task/26684/stat : 26684 (java) R 26666 26666 26503 0 -1 4202560 129 0 0 0 2 0 0 0 20 0 20 0 421175206 27969658880 31975 33554432000 4194304 4196468 140724730350960 140139092212592 140140691211094 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26685] ppid=26666 vsize=27314120 memory=280365667420560 CPUtime=0.01 cores=0-7
/proc/26669/task/26685/stat : 26685 (java) S 26666 26666 26503 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 421175206 27969658880 31975 33554432000 4194304 4196468 140724730350960 140139091159536 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26686] ppid=26666 vsize=27314120 memory=280365667436720 CPUtime=0.07 cores=0-7
/proc/26669/task/26686/stat : 26686 (java) S 26666 26666 26503 0 -1 1077944384 494 0 0 0 7 0 0 0 20 0 20 0 421175206 27969658880 31975 33554432000 4194304 4196468 140724730350960 140139090106992 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26687] ppid=26666 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26687/stat : 26687 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27969658880 31975 33554432000 4194304 4196468 140724730350960 140137467996640 140140707727061 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26688] ppid=26666 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/26669/task/26688/stat : 26688 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175207 27969658880 31975 33554432000 4194304 4196468 140724730350960 140139089054384 140140707728002 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129296 KiB
[startup+0.707062 s]
/proc/loadavg: 7.10 8.09 7.73 2/217 26688
/proc/meminfo: memFree=30661848/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421175198 115843072 349 33554432000 4194304 5098028 140724334907792 140724334905048 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 349 296 221 0 87 0
[pid=26669] ppid=26666 vsize=27322516 memory=164228 CPUtime=1.03 cores=0-7
/proc/26669/stat : 26669 (java) S 26666 26666 26503 0 -1 1077944320 20190 0 0 0 96 7 0 0 20 0 20 0 421175199 27978256384 41057 33554432000 4194304 4196468 140724730350960 140724730333504 140140707716855 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
/proc/26669/statm: 6830629 41057 3202 1 0 6791959 0
[pid=26669/tid=26670] ppid=26666 vsize=27322516 memory=280365667731584 CPUtime=0.68 cores=0-7
/proc/26669/task/26670/stat : 26670 (java) R 26666 26666 26503 0 -1 4202560 17049 0 0 0 62 6 0 0 20 0 20 0 421175199 27978256384 41057 33554432000 4194304 4196468 140724730350960 140140679548592 140140691797372 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26671] ppid=26666 vsize=27322516 memory=5136780887203 CPUtime=0 cores=0-7
/proc/26669/task/26671/stat : 26671 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175201 27978256384 41057 33554432000 4194304 4196468 140724730350960 140140711959056 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26672] ppid=26666 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26672/stat : 26672 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27978256384 41057 33554432000 4194304 4196468 140724730350960 140140495354512 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26673] ppid=26666 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26673/stat : 26673 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27978256384 41057 33554432000 4194304 4196468 140724730350960 140140494301456 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
################
# More data... #
################
[pid=26669/tid=26678] ppid=26666 vsize=27322516 memory=3928 CPUtime=0 cores=0-7
/proc/26669/task/26678/stat : 26678 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27978256384 41079 33554432000 4194304 4196468 140724730350960 140140489038736 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26679] ppid=26666 vsize=27322516 memory=716 CPUtime=0 cores=0-7
/proc/26669/task/26679/stat : 26679 (java) S 26666 26666 26503 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421175203 27978256384 41079 33554432000 4194304 4196468 140724730350960 140139094317296 140140707728002 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26680] ppid=26666 vsize=27322516 memory=776 CPUtime=0 cores=0-7
/proc/26669/task/26680/stat : 26680 (java) S 26666 26666 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421175203 27978256384 41079 33554432000 4194304 4196468 140724730350960 140138474628256 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26681] ppid=26666 vsize=27322516 memory=1052 CPUtime=0 cores=0-7
/proc/26669/task/26681/stat : 26681 (java) S 26666 26666 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421175204 27978256384 41079 33554432000 4194304 4196468 140724730350960 140138340406000 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26682] ppid=26666 vsize=27322516 memory=2832 CPUtime=0 cores=0-7
/proc/26669/task/26682/stat : 26682 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175206 27978256384 41079 33554432000 4194304 4196468 140724730350960 140137965901776 140140707735451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26683] ppid=26666 vsize=27322516 memory=7518026621751088993 CPUtime=0.04 cores=0-7
/proc/26669/task/26683/stat : 26683 (java) S 26666 26666 26503 0 -1 1077944384 710 0 0 0 4 0 0 0 20 0 20 0 421175206 27978256384 41079 33554432000 4194304 4196468 140724730350960 140139093265136 140140707728002 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26684] ppid=26666 vsize=27322516 memory=6083640070314290024 CPUtime=0.06 cores=0-7
/proc/26669/task/26684/stat : 26684 (java) S 26666 26666 26503 0 -1 1077944384 223 0 0 0 6 0 0 0 20 0 20 0 421175206 27978256384 41079 33554432000 4194304 4196468 140724730350960 140139092212592 140140707728002 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26685] ppid=26666 vsize=27322516 memory=5787219428069434709 CPUtime=0.06 cores=0-7
/proc/26669/task/26685/stat : 26685 (java) R 26666 26666 26503 0 -1 4202560 247 0 0 0 6 0 0 0 20 0 20 0 421175206 27978256384 41079 33554432000 4194304 4196468 140724730350960 140139091141104 140140687547659 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26686] ppid=26666 vsize=27322516 memory=1424 CPUtime=0.15 cores=0-7
/proc/26669/task/26686/stat : 26686 (java) R 26666 26666 26503 0 -1 4202560 600 0 0 0 15 0 0 0 20 0 20 0 421175206 27978256384 41079 33554432000 4194304 4196468 140724730350960 140139090106992 140140700820467 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26687] ppid=26666 vsize=27322516 memory=1448 CPUtime=0 cores=0-7
/proc/26669/task/26687/stat : 26687 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27978256384 41079 33554432000 4194304 4196468 140724730350960 140137467996640 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26688] ppid=26666 vsize=27322516 memory=916 CPUtime=0 cores=0-7
/proc/26669/task/26688/stat : 26688 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175207 27978256384 41079 33554432000 4194304 4196468 140724730350960 140139089054384 140140707728002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 27435644 KiB
Current children cumulated memory: 165624 KiB
[startup+1.50099 s]
/proc/loadavg: 7.10 8.09 7.73 3/217 26688
/proc/meminfo: memFree=30634984/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 421175198 115843072 349 33554432000 4194304 5098028 140724334907792 140724334905048 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 349 296 221 0 87 0
[pid=26669] ppid=26666 vsize=27324564 memory=218592 CPUtime=3.07 cores=0-7
/proc/26669/stat : 26669 (java) S 26666 26666 26503 0 -1 1077944320 23608 0 0 0 296 11 0 0 20 0 20 0 421175199 27980353536 54648 33554432000 4194304 4196468 140724730350960 140724730333504 140140707716855 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
/proc/26669/statm: 6831141 54648 3247 1 0 6792471 0
[pid=26669/tid=26670] ppid=26666 vsize=27324564 memory=7810763844726514514 CPUtime=1.46 cores=0-7
/proc/26669/task/26670/stat : 26670 (java) R 26666 26666 26503 0 -1 4202560 18248 0 0 0 139 7 0 0 20 0 20 0 421175199 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140679553008 140140707728790 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26671] ppid=26666 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26671/stat : 26671 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175201 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140711959056 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26672] ppid=26666 vsize=27324564 memory=145 CPUtime=0 cores=0-7
/proc/26669/task/26672/stat : 26672 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140495354512 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26673] ppid=26666 vsize=27324564 memory=87 CPUtime=0 cores=0-7
/proc/26669/task/26673/stat : 26673 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175201 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140494301456 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26674] ppid=26666 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26674/stat : 26674 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175202 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140493248912 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26675] ppid=26666 vsize=27324564 memory=8028676333680759155 CPUtime=0 cores=0-7
/proc/26669/task/26675/stat : 26675 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175202 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140492196880 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26676] ppid=26666 vsize=27324564 memory=-7606742951091920751 CPUtime=0 cores=0-7
/proc/26669/task/26676/stat : 26676 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140491144336 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26677] ppid=26666 vsize=27324564 memory=6944656592455360569 CPUtime=0 cores=0-7
/proc/26669/task/26677/stat : 26677 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140490091280 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26678] ppid=26666 vsize=27324564 memory=-7606742951091920751 CPUtime=0 cores=0-7
/proc/26669/task/26678/stat : 26678 (java) S 26666 26666 26503 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421175202 27980353536 54648 33554432000 4194304 4196468 140724730350960 140140489038736 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26679] ppid=26666 vsize=27324564 memory=8475934422144292502 CPUtime=0 cores=0-7
/proc/26669/task/26679/stat : 26679 (java) S 26666 26666 26503 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421175203 27980353536 54648 33554432000 4194304 4196468 140724730350960 140139094317296 140140707728002 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26680] ppid=26666 vsize=27324564 memory=3624 CPUtime=0 cores=0-7
/proc/26669/task/26680/stat : 26680 (java) S 26666 26666 26503 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 421175203 27980353536 54648 33554432000 4194304 4196468 140724730350960 140138474628256 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26681] ppid=26666 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26681/stat : 26681 (java) S 26666 26666 26503 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421175204 27980353536 54648 33554432000 4194304 4196468 140724730350960 140138340406000 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26682] ppid=26666 vsize=27324564 memory=140182833916544 CPUtime=0 cores=0-7
/proc/26669/task/26682/stat : 26682 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175206 27980353536 54648 33554432000 4194304 4196468 140724730350960 140137965901776 140140707735451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26683] ppid=26666 vsize=27324564 memory=140182833916640 CPUtime=0.24 cores=0-7
/proc/26669/task/26683/stat : 26683 (java) S 26666 26666 26503 0 -1 1077944384 842 0 0 0 23 1 0 0 20 0 20 0 421175206 27980353536 54648 33554432000 4194304 4196468 140724730350960 140139093265136 140140707728002 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26684] ppid=26666 vsize=27324564 memory=140182833916736 CPUtime=0.31 cores=0-7
/proc/26669/task/26684/stat : 26684 (java) S 26666 26666 26503 0 -1 1077944384 600 0 0 0 31 0 0 0 20 0 20 0 421175206 27980353536 54648 33554432000 4194304 4196468 140724730350960 140139092212592 140140707728002 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26685] ppid=26666 vsize=27324564 memory=140182833916832 CPUtime=0.32 cores=0-7
/proc/26669/task/26685/stat : 26685 (java) S 26666 26666 26503 0 -1 1077944384 551 0 0 0 32 0 0 0 20 0 20 0 421175206 27980353536 54648 33554432000 4194304 4196468 140724730350960 140139091159536 140140707728002 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26686] ppid=26666 vsize=27324564 memory=140182833916928 CPUtime=0.67 cores=0-7
/proc/26669/task/26686/stat : 26686 (java) R 26666 26666 26503 0 -1 4202560 2005 0 0 0 67 0 0 0 20 0 20 0 421175206 27980353536 54648 33554432000 4194304 4196468 140724730350960 140139090102720 140140686446048 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26687] ppid=26666 vsize=27324564 memory=0 CPUtime=0 cores=0-7
/proc/26669/task/26687/stat : 26687 (java) S 26666 26666 26503 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421175206 27980353536 54648 33554432000 4194304 4196468 140724730350960 140137467996640 140140707727061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
[pid=26669/tid=26688] ppid=26666 vsize=27324564 memory=4420 CPUtime=0 cores=0-7
/proc/26669/task/26688/stat : 26688 (java) S 26666 26666 26503 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421175207 27980353536 54648 33554432000 4194304 4196468 140724730350960 140139089054384 140140707728002 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10981376 140724730352362 140724730352790 140724730352790 140724730355663 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 27437692 KiB
Current children cumulated memory: 219988 KiB
[startup+3.11063 s]
/proc/loadavg: 7.10 8.09 7.73 5/226 26722
/proc/meminfo: memFree=30661520/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1476 CPUtime=5.03 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 582 26756 0 0 0 0 488 15 20 0 1 0 421175198 115843072 369 33554432000 4194304 5098028 140724334907792 140724334904536 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 369 311 221 0 87 0
[pid=26689] ppid=26666 vsize=8283048 memory=123820 CPUtime=2.67 cores=0-7
/proc/26689/stat : 26689 (java) S 26666 26666 26503 0 -1 1077944320 20416 7874 0 0 125 7 133 2 20 0 22 0 421175406 8481841152 30955 33554432000 4194304 4196468 140733810299600 140733810282144 139896008179447 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
/proc/26689/statm: 2070762 30955 3214 1 0 2032106 0
[pid=26689/tid=26690] ppid=26666 vsize=8283048 memory=13806 CPUtime=2.14 cores=0-7
/proc/26689/task/26690/stat : 26690 (java) R 26666 26666 26503 0 -1 4202560 16659 7874 0 0 74 5 133 2 20 0 22 0 421175406 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895980017152 139896008201373 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26691] ppid=26666 vsize=8283048 memory=22791 CPUtime=1.35 cores=0-7
/proc/26689/task/26691/stat : 26691 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139896012422160 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26692] ppid=26666 vsize=8283048 memory=716 CPUtime=1.35 cores=0-7
/proc/26689/task/26692/stat : 26692 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895812590736 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26693] ppid=26666 vsize=8283048 memory=776 CPUtime=1.35 cores=0-7
/proc/26689/task/26693/stat : 26693 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895811537680 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26694] ppid=26666 vsize=8283048 memory=1052 CPUtime=1.35 cores=0-7
/proc/26689/task/26694/stat : 26694 (java) S 26666 26666 26503 0 -1 1077944384 2 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895810485136 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26695] ppid=26666 vsize=8283048 memory=2832 CPUtime=1.35 cores=0-7
/proc/26689/task/26695/stat : 26695 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895490210320 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26696] ppid=26666 vsize=8283048 memory=9328 CPUtime=1.35 cores=0-7
/proc/26689/task/26696/stat : 26696 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895489157776 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26697] ppid=26666 vsize=8283048 memory=1716 CPUtime=1.35 cores=0-7
/proc/26689/task/26697/stat : 26697 (java) S 26666 26666 26503 0 -1 1077944384 3 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895488104720 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26698] ppid=26666 vsize=8283048 memory=56 CPUtime=1.35 cores=0-7
/proc/26689/task/26698/stat : 26698 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175408 8481841152 30955 33554432000 4194304 4196468 140733810299600 139895487052176 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26699] ppid=26666 vsize=8283048 memory=8514726395715218844 CPUtime=1.35 cores=0-7
/proc/26689/task/26699/stat : 26699 (java) S 26666 26666 26503 0 -1 1077944384 5 7874 0 0 0 0 133 2 20 0 22 0 421175409 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894766045936 139896008190594 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26700] ppid=26666 vsize=8283048 memory=5450916479948256810 CPUtime=1.35 cores=0-7
/proc/26689/task/26700/stat : 26700 (java) S 26666 26666 26503 0 -1 1077944384 13 7874 0 0 0 0 133 2 20 0 22 0 421175410 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894668125856 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26701] ppid=26666 vsize=8283048 memory=4638778398332768356 CPUtime=1.35 cores=0-7
/proc/26689/task/26701/stat : 26701 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175410 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894399689968 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26702] ppid=26666 vsize=8283048 memory=0 CPUtime=1.35 cores=0-7
/proc/26689/task/26702/stat : 26702 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175412 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894025181648 139896008198043 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26703] ppid=26666 vsize=8283048 memory=0 CPUtime=1.42 cores=0-7
/proc/26689/task/26703/stat : 26703 (java) S 26666 26666 26503 0 -1 1077944384 556 7874 0 0 7 0 133 2 20 0 22 0 421175412 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894764992752 139896008190594 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26704] ppid=26666 vsize=8283048 memory=0 CPUtime=1.43 cores=0-7
/proc/26689/task/26704/stat : 26704 (java) S 26666 26666 26503 0 -1 1077944384 429 7874 0 0 8 0 133 2 20 0 22 0 421175412 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894763940208 139896008190594 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26705] ppid=26666 vsize=8283048 memory=1216 CPUtime=1.41 cores=0-7
/proc/26689/task/26705/stat : 26705 (java) S 26666 26666 26503 0 -1 1077944384 187 7874 0 0 6 0 133 2 20 0 22 0 421175412 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894762887152 139896008190594 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26706] ppid=26666 vsize=8283048 memory=1000 CPUtime=1.59 cores=0-7
/proc/26689/task/26706/stat : 26706 (java) S 26666 26666 26503 0 -1 1077944384 617 7874 0 0 24 0 133 2 20 0 22 0 421175412 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894761834608 139896008190594 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26707] ppid=26666 vsize=8283048 memory=7996 CPUtime=1.35 cores=0-7
/proc/26689/task/26707/stat : 26707 (java) S 26666 26666 26503 0 -1 1077944384 3 7874 0 0 0 0 133 2 20 0 22 0 421175413 8481841152 30955 33554432000 4194304 4196468 140733810299600 139893527276512 139896008189653 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26708] ppid=26666 vsize=8283048 memory=1560 CPUtime=1.35 cores=0-7
/proc/26689/task/26708/stat : 26708 (java) S 26666 26666 26503 0 -1 1077944384 1 7874 0 0 0 0 133 2 20 0 22 0 421175413 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894760783024 139896008190594 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26710] ppid=26666 vsize=8283048 memory=14008 CPUtime=1.35 cores=0-7
/proc/26689/task/26710/stat : 26710 (java) S 26666 26666 26503 0 -1 1077944384 31 7874 0 0 0 0 133 2 20 0 22 0 421175477 8481841152 30955 33554432000 4194304 4196468 140733810299600 139894752748176 139896008190594 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
[pid=26689/tid=26714] ppid=26666 vsize=8283048 memory=13948 CPUtime=1.35 cores=0-7
/proc/26689/task/26714/stat : 26714 (java) S 26666 26666 26503 0 -1 1077944384 17 7874 0 0 0 0 133 2 20 0 22 0 421175480 8481841152 30955 33554432000 4194304 4196468 140733810299600 139892587750064 139896008190594 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22790144 140733810308087 140733810308246 140733810308246 140733810311119 0
Current children cumulated CPU time: 7.7 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 125296 KiB
[startup+3.52279 s]
# the end of solver process 26666 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.54754 s, system=0.272011 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.37566 s]
/proc/loadavg: 7.10 8.09 7.73 5/226 26722
/proc/meminfo: memFree=30661520/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1476 CPUtime=5.03 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 582 26756 0 0 0 0 488 15 20 0 1 0 421175198 115843072 369 33554432000 4194304 5098028 140724334907792 140724334904536 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
[startup+3.50031 s]
/proc/loadavg: 7.10 8.09 7.73 5/226 26722
/proc/meminfo: memFree=30661520/32770624 swapFree=66968600/67108860
[pid=26666] ppid=26663 vsize=113128 memory=1476 CPUtime=5.03 cores=0-7
/proc/26666/stat : 26666 (scop.sh) S 26663 26666 26503 0 -1 4202496 582 26756 0 0 0 0 488 15 20 0 1 0 421175198 115843072 369 33554432000 4194304 5098028 140724334907792 140724334904536 139895655445116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 33284096 140724334912292 140724334912620 140724334912620 140724334915533 0
/proc/26666/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 3.52284
CPU time (s): 7.81955
CPU user time (s): 7.54754
CPU system time (s): 0.272011
CPU usage (%): 221.967
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 336632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.54754
system time used= 0.272011
maximum resident set size= 340560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9637
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 26666
# total CPU time (s): 7.81955
# total CPU user time (s): 7.54754
# total CPU system time (s): 0.272011
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036857 second user time and 0.095394 second system time
The end
Begin job on node135 at 2019-09-14 10:20:16 IDJOB=4392583 IDBENCH=141704 IDSOLVER=2839 FILE ID=node135/4392583-1568449256 RUNJOBID= node135-1568449212-26530 PBS_JOBID= 21702361 Free space on /tmp= 61376 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) 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 /tmp/evaluation-result-4392583-1568449256/watcher-4392583-1568449256 -o /tmp/evaluation-result-4392583-1568449256/solver-4392583-1568449256 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568449212-26530 --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-4392583-1568449256.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 3ff211d871d85a956d1d429dedc73eaa RANDOM SEED=1203836597 node135.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.76 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.76 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.76 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.76 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: 30802312 kB MemAvailable: 31862416 kB Buffers: 174876 kB Cached: 1154604 kB SwapCached: 34476 kB Active: 563924 kB Inactive: 804208 kB Active(anon): 11908 kB Inactive(anon): 60420 kB Active(file): 552016 kB Inactive(file): 743788 kB Unevictable: 110024 kB Mlocked: 110024 kB SwapTotal: 67108860 kB SwapFree: 66968600 kB Dirty: 20868 kB Writeback: 0 kB AnonPages: 156240 kB Mapped: 37932 kB Shmem: 24532 kB Slab: 190684 kB SReclaimable: 160268 kB SUnreclaim: 30416 kB KernelStack: 3808 kB PageTables: 5324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497696 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61356 MiB End job on node135 at 2019-09-14 10:20:20