Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 6.03956 | 5.86047 |
Name | Scheduling/Scheduling-jsdec-sadeh/ Sadeh-enddr1-7.xml |
MD5SUM | 7d172624d7d2d86f32f8d29666a5f8b7 |
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 | 0.021906 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 95 |
Number of domains | 1 |
Minimum domain size | 162 |
Maximum domain size | 162 |
Distribution of domain sizes | [{"size":162,"count":50}] |
Minimum variable degree | 3 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":3,"count":20},{"degree":4,"count":30}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":1,"count":50},{"arity":2,"count":40},{"arity":10,"count":5}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 90 |
Distribution of constraint types | [{"type":"intension","count":90},{"type":"noOverlap","count":5}] |
Optimization problem | NO |
Type of objective |
0.00/0.05 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-32305-serial-file.bin HOME/instance-4405515-1569238628.xml 0.62/2.28 0.62/2.28 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.62/2.28 0.71/2.80 c BEGIN-Prog: Mon Sep 23 13:36:31 CEST 2019 0.71/2.80 c PID: 32308 0.71/2.80 c IP: 172.20.3.151 0.71/2.80 c HOST: node151.alineos.net 0.73/2.83 c (0,0) Parsing Begin 1.43/3.25 c (0,0) Parsing End 1.43/3.26 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 95 ctr, max domain size 162 1.43/3.27 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.43/3.27 c (0,0) Constraint Name Generate Begin 1.43/3.28 c (0,0) Ctr:HOME/instance-4405515-1569238628.xml,Add:And:Le:NoOverlap:Num:Var 1.43/3.28 c (0,0) Constraint Name Generate End 1.43/3.28 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.43/3.28 c (0,0) CSP to CSPinCNF Begin 1.59/3.36 c (0,0) translated 10 (10%) constraints 1.59/3.37 c (0,0) translated 19 (20%) constraints 1.59/3.38 c (0,0) translated 29 (30%) constraints 1.59/3.39 c (0,0) translated 38 (40%) constraints 1.59/3.39 c (0,0) translated 48 (50%) constraints 1.77/3.40 c (0,0) translated 57 (60%) constraints 1.77/3.41 c (0,0) translated 67 (70%) constraints 1.77/3.41 c (0,0) translated 76 (80%) constraints 1.77/3.42 c (0,0) translated 86 (90%) constraints 1.98/3.55 c (0,0) translated 95 (100%) constraints 1.98/3.57 c (0,0) =========================================== 1.98/3.58 c (0,0) Hybrid: #OE=50, #LE=0 1.98/3.58 c (0,0) Hybrid 1.98/3.58 c (0,0) =========================================== 1.98/3.59 c (0,0) translated 37 (10%) constraints 1.98/3.59 c (0,0) translated 73 (20%) constraints 1.98/3.60 c (0,0) translated 110 (30%) constraints 2.30/3.60 c (0,0) translated 146 (40%) constraints 2.30/3.61 c (0,0) translated 183 (50%) constraints 2.30/3.61 c (0,0) translated 219 (60%) constraints 2.30/3.62 c (0,0) translated 256 (70%) constraints 2.30/3.63 c (0,0) translated 292 (80%) constraints 2.30/3.63 c (0,0) translated 329 (90%) constraints 2.30/3.63 c (0,0) translated 365 (100%) constraints 2.30/3.64 c (0,0) CSP to CSPinCNF End 2.30/3.64 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 365 ctr, max domain size 143 2.30/3.64 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.30/3.64 c (0,0) CSPinCNF Propagation Begin 2.30/3.66 c (1,0) 0 values, 0 unsatisfiable literals, and 100 valid clauses are removed 2.30/3.66 c (1,0) CSPinCNF Propagation End 2.30/3.66 c (1,0) CSP: 50 int (0 aux), 0 bool (0 aux), 265 ctr, max domain size 143 2.30/3.66 c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.30/3.66 c (1,0) Hybrid: #OE=50, #LE=0 2.30/3.66 c (1,0) Simplify CSPinCNF Begin 2.54/3.73 c (1,0) Simplify CSPinCNF End 2.54/3.73 c (1,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143 2.54/3.73 c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.54/3.73 c (1,0) Calculate Precise Domain Begin 2.54/3.73 c (1,0) 0 values are removed by re-calculation 2.54/3.73 c (1,0) Calculate Precise Domain End 2.54/3.73 c (1,0) CSP: 50 int (0 aux), 450 bool (450 aux), 715 ctr, max domain size 143 2.54/3.73 c (1,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.54/3.73 c (1,0) CSPinCNF to SatSolver Begin 3.01/3.97 c (1,1) 72 (10 %) CSP clauses are encoded (0 SAT variables, 12076 SAT clauses) 3.44/4.02 c (1,1) 143 (20 %) CSP clauses are encoded (0 SAT variables, 17069 SAT clauses) 3.44/4.06 c (1,1) 215 (30 %) CSP clauses are encoded (0 SAT variables, 22098 SAT clauses) 3.44/4.09 c (1,1) 286 (40 %) CSP clauses are encoded (0 SAT variables, 26732 SAT clauses) 3.84/4.13 c (1,1) 358 (50 %) CSP clauses are encoded (0 SAT variables, 31529 SAT clauses) 3.84/4.16 c (1,1) 429 (60 %) CSP clauses are encoded (0 SAT variables, 36155 SAT clauses) 3.84/4.18 c (1,1) 501 (70 %) CSP clauses are encoded (0 SAT variables, 41131 SAT clauses) 4.14/4.21 c (1,1) 572 (80 %) CSP clauses are encoded (0 SAT variables, 46206 SAT clauses) 4.14/4.24 c (1,1) 644 (90 %) CSP clauses are encoded (0 SAT variables, 51086 SAT clauses) 4.14/4.26 c (1,1) 715 (100 %) CSP clauses are encoded (0 SAT variables, 55792 SAT clauses) 4.14/4.26 c (1,1) CSPinCNF to SatSolver End 4.14/4.26 c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.14/4.26 c (1,1) 6149 bool, 55897 clause 4.14/4.26 c (1,1) Export Begin 4.28/4.76 c (2,1) Export to HOME/scop-32305-serial-file.bin 4.28/4.76 c (2,1) Export End 4.28/4.76 c (2,1) Export File Size: 0.01 MB 4.28/4.76 c (2,1) 0,0,0,1,1,1,1,STOP-AFTER(DIMACS) 4.28/4.76 c END-Prog: Mon Sep 23 13:36:33 CEST 2019 0.00/4.84 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32305-serial-file.bin 4.96/5.33 c (0,0) Read Serial File Begin 4.96/5.33 c (0,0) HOME/scop-32305-serial-file.bin 5.22/5.53 c (0,0) Read Serial File End 5.22/5.55 5.22/5.55 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.22/5.55 (Solving Process) 5.22/5.55 5.22/5.57 c BEGIN-Prog: Mon Sep 23 13:36:34 CEST 2019 5.22/5.57 c PID: 32328 5.22/5.57 c IP: 172.20.3.151 5.22/5.57 c HOST: node151.alineos.net 5.22/5.58 c (0,0) SatSolver.solve Begin 5.22/5.58 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405515-1569238628.xml-scop-32308.cnf 5.37/5.61 c (0,0) c 5.37/5.61 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.37/5.61 c (0,0) c 5.37/5.61 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.37/5.61 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.37/5.61 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.37/5.61 c (0,0) c | | 5.37/5.63 c (0,0) c | Number of variables: 6149 | 5.37/5.63 c (0,0) c | Number of clauses: 54169 | 5.37/5.63 c (0,0) c | Parse time: 0.02 s | 5.37/5.63 c (0,0) c | | 5.37/5.67 c (0,0) c | Simplification time: 0.04 s | 5.37/5.67 c (0,0) c | | 5.37/5.67 c (0,0) c | Generating clones | 5.37/5.69 c (0,0) c | all clones generated. Memory = 55.88Mb. | 5.37/5.69 c (0,0) c ========================================================================================================| 5.37/5.69 c (0,0) c 5.37/5.69 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.37/5.69 c (0,0) c 5.37/5.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.37/5.69 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.37/5.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.37/5.69 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.37/5.69 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.37/5.69 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.37/5.69 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.37/5.69 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.37/5.69 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.37/5.69 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.37/5.69 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.37/5.69 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.37/5.69 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.37/5.69 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.37/5.69 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.37/5.69 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.37/5.69 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.37/5.69 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.37/5.69 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.70 c (0,0) c 5.53/5.70 c (0,0) c real time : 0.0964608 s 5.53/5.70 c (0,0) c cpu time : 0.110696 s 5.53/5.70 c (0,0) c 5.53/5.70 c (0,0) c 5.53/5.70 c (0,0) c 5.53/5.70 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 5.53/5.70 c (0,0) c 5.53/5.70 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.70 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.53/5.70 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.70 c (0,0) c | Conflicts | 196 | 5 | 6 | 0 | 7 | 23 | 109 | 2 | 44 | 5.53/5.70 c (0,0) c | Decisions | 1953 | 146 | 162 | 142 | 234 | 272 | 373 | 230 | 394 | 5.53/5.70 c (0,0) c | Propagations | 109105 | 8186 | 6877 | 5557 | 7169 | 9620 | 48706 | 6336 | 16654 | 5.53/5.70 c (0,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 5.53/5.70 c (0,0) c | Restarts | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 5.53/5.70 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | PropBinClauses| 215479 | 15075 | 13002 | 10762 | 14105 | 19852 | 93620 | 12020 | 37043 | 5.53/5.70 c (0,0) c | PropPreBlocker| 894445 | 64221 | 59637 | 48875 | 63093 | 84051 | 366355 | 54710 | 153503 | 5.53/5.70 c (0,0) c | PropNotBlocker| 371328 | 37148 | 37073 | 34202 | 36489 | 41683 | 90689 | 35341 | 58703 | 5.53/5.70 c (0,0) c | LitFullScans | 1553134 | 119612 | 112316 | 95962 | 116341 | 151405 | 589464 | 104296 | 263738 | 5.53/5.70 c (0,0) c | LitScanFracts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | DecisionLevel0| 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 5.53/5.70 c (0,0) c | Periods | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 5.53/5.70 c (0,0) c | Avg_Trail | | 3979 | 4395 | 0 | 4909 | 4579 | 4321 | 4276 | 3997 | 5.53/5.70 c (0,0) c | Avg_DL | | 22 | 25 | 0 | 29 | 32 | 32 | 43 | 36 | 5.53/5.70 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.70 c (0,0) c | Exported | 3 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 2 | 5.53/5.70 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.70 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.53/5.70 c (0,0) c | Glues | | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 2 | 5.53/5.70 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.70 c (0,0) c | Orig_Seen | 0 % | 56 | 44 | 0 | 52 | 143 | 939 | 10 | 388 | 5.53/5.70 c (0,0) c | Diff Orig seen| | X | - 12 | - 56 | - 4 | 87 | 883 | - 46 | 332 | 5.53/5.70 c (0,0) c | Hamming | 20 % | X | 1460 | 1089 | 975 | 1239 | 1746 | 1045 | 1140 | 5.53/5.71 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.71 c (0,0) c | RunningTime | | 0.0 99%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 5.53/5.71 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%| 5.53/5.71 c (0,0) c | ExchangingTime| | 0.0 1%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.53/5.71 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%| 5.53/5.71 c (0,0) c | SolvingTime | | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 5.53/5.71 c (0,0) c | PropagationTim| | 0.0 95%| 0.0 97%| 0.0 95%| 0.0 97%| 0.0 95%| 0.0 89%| 0.0 97%| 0.0 93%| 5.53/5.71 c (0,0) c | AnalysisTime | | 0.0 1%| 0.0 1%| 0.0 0%| 0.0 1%| 0.0 2%| 0.0 6%| 0.0 0%| 0.0 3%| 5.53/5.71 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%| 5.53/5.71 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%| 5.53/5.71 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%| 5.53/5.71 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%| 5.53/5.71 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.71 c (0,0) c 5.53/5.71 c (0,0) c 5.53/5.71 c (0,0) c Threads : 8 5.53/5.71 c (0,0) c Winner : 0 5.53/5.71 c (0,0) c Conflicts_0 : 5 5.53/5.71 c (0,0) c Conflicts_1 : 6 5.53/5.71 c (0,0) c Conflicts_2 : 0 5.53/5.71 c (0,0) c Conflicts_3 : 7 5.53/5.71 c (0,0) c Conflicts_4 : 23 5.53/5.71 c (0,0) c Conflicts_5 : 109 5.53/5.71 c (0,0) c Conflicts_6 : 2 5.53/5.71 c (0,0) c Conflicts_7 : 44 5.53/5.71 c (0,0) c Conflicts_total : 196 5.53/5.71 c (0,0) c Conflicts_winner : 5 5.53/5.71 c (0,0) c Decisions_0 : 146 5.53/5.71 c (0,0) c Decisions_1 : 162 5.53/5.71 c (0,0) c Decisions_2 : 142 5.53/5.71 c (0,0) c Decisions_3 : 234 5.53/5.71 c (0,0) c Decisions_4 : 272 5.53/5.71 c (0,0) c Decisions_5 : 373 5.53/5.71 c (0,0) c Decisions_6 : 230 5.53/5.71 c (0,0) c Decisions_7 : 394 5.53/5.71 c (0,0) c Decisions_total : 1953 5.53/5.71 c (0,0) c Decisions_winner : 146 5.53/5.71 c (0,0) c Propagations_0 : 8186 5.53/5.71 c (0,0) c Propagations_1 : 6877 5.53/5.71 c (0,0) c Propagations_2 : 5557 5.53/5.71 c (0,0) c Propagations_3 : 7169 5.53/5.71 c (0,0) c Propagations_4 : 9620 5.53/5.71 c (0,0) c Propagations_5 : 48706 5.53/5.71 c (0,0) c Propagations_6 : 6336 5.53/5.71 c (0,0) c Propagations_7 : 16654 5.53/5.71 c (0,0) c Propagations_total : 109105 5.53/5.71 c (0,0) c Propagations_winner : 8186 5.53/5.71 c (0,0) c ReduceDBs_0 : 0 5.53/5.71 c (0,0) c ReduceDBs_1 : 0 5.53/5.71 c (0,0) c ReduceDBs_2 : 0 5.53/5.71 c (0,0) c ReduceDBs_3 : 0 5.53/5.71 c (0,0) c ReduceDBs_4 : 0 5.53/5.71 c (0,0) c ReduceDBs_5 : 0 5.53/5.71 c (0,0) c ReduceDBs_6 : 0 5.53/5.71 c (0,0) c ReduceDBs_7 : 0 5.53/5.71 c (0,0) c ReduceDBs_total : 0 5.53/5.71 c (0,0) c ReduceDBs_winner : 0 5.53/5.71 c (0,0) c SimpDBs_0 : 1 5.53/5.71 c (0,0) c SimpDBs_1 : 1 5.53/5.71 c (0,0) c SimpDBs_2 : 1 5.53/5.71 c (0,0) c SimpDBs_3 : 1 5.53/5.71 c (0,0) c SimpDBs_4 : 1 5.53/5.71 c (0,0) c SimpDBs_5 : 1 5.53/5.71 c (0,0) c SimpDBs_6 : 1 5.53/5.71 c (0,0) c SimpDBs_7 : 1 5.53/5.71 c (0,0) c SimpDBs_total : 8 5.53/5.71 c (0,0) c SimpDBs_winner : 1 5.53/5.71 c (0,0) c Restarts_0 : 1 5.53/5.71 c (0,0) c Restarts_1 : 1 5.53/5.71 c (0,0) c Restarts_2 : 1 5.53/5.71 c (0,0) c Restarts_3 : 1 5.53/5.71 c (0,0) c Restarts_4 : 1 5.53/5.71 c (0,0) c Restarts_5 : 1 5.53/5.71 c (0,0) c Restarts_6 : 1 5.53/5.71 c (0,0) c Restarts_7 : 1 5.53/5.71 c (0,0) c Restarts_total : 8 5.53/5.71 c (0,0) c Restarts_winner : 1 5.53/5.71 c (0,0) c ForcedImports_0 : 0 5.53/5.71 c (0,0) c ForcedImports_1 : 0 5.53/5.71 c (0,0) c ForcedImports_2 : 0 5.53/5.71 c (0,0) c ForcedImports_3 : 0 5.53/5.71 c (0,0) c ForcedImports_4 : 0 5.53/5.71 c (0,0) c ForcedImports_5 : 0 5.53/5.71 c (0,0) c ForcedImports_6 : 0 5.53/5.71 c (0,0) c ForcedImports_7 : 0 5.53/5.71 c (0,0) c ForcedImports_total : 0 5.53/5.71 c (0,0) c ForcedImports_winner : 0 5.53/5.71 c (0,0) c PropsBinClauses_0 : 15075 5.53/5.71 c (0,0) c PropsBinClauses_1 : 13002 5.53/5.71 c (0,0) c PropsBinClauses_2 : 10762 5.53/5.71 c (0,0) c PropsBinClauses_3 : 14105 5.53/5.71 c (0,0) c PropsBinClauses_4 : 19852 5.53/5.71 c (0,0) c PropsBinClauses_5 : 93620 5.53/5.71 c (0,0) c PropsBinClauses_6 : 12020 5.53/5.71 c (0,0) c PropsBinClauses_7 : 37043 5.53/5.71 c (0,0) c PropsBinClauses_total : 215479 5.53/5.71 c (0,0) c PropsBinClauses_winner : 15075 5.53/5.71 c (0,0) c PropsPreBlocker_0 : 64221 5.53/5.71 c (0,0) c PropsPreBlocker_1 : 59637 5.53/5.71 c (0,0) c PropsPreBlocker_2 : 48875 5.53/5.71 c (0,0) c PropsPreBlocker_3 : 63093 5.53/5.71 c (0,0) c PropsPreBlocker_4 : 84051 5.53/5.71 c (0,0) c PropsPreBlocker_5 : 366355 5.53/5.71 c (0,0) c PropsPreBlocker_6 : 54710 5.53/5.71 c (0,0) c PropsPreBlocker_7 : 153503 5.53/5.71 c (0,0) c PropsPreBlocker_total : 894445 5.53/5.71 c (0,0) c PropsPreBlocker_winner : 64221 5.53/5.71 c (0,0) c PropsNotBlocker_0 : 37148 5.53/5.71 c (0,0) c PropsNotBlocker_1 : 37073 5.53/5.71 c (0,0) c PropsNotBlocker_2 : 34202 5.53/5.71 c (0,0) c PropsNotBlocker_3 : 36489 5.53/5.71 c (0,0) c PropsNotBlocker_4 : 41683 5.53/5.71 c (0,0) c PropsNotBlocker_5 : 90689 5.53/5.71 c (0,0) c PropsNotBlocker_6 : 35341 5.53/5.71 c (0,0) c PropsNotBlocker_7 : 58703 5.53/5.71 c (0,0) c PropsNotBlocker_total : 371328 5.53/5.71 c (0,0) c PropsNotBlocker_winner : 37148 5.53/5.71 c (0,0) c PropsLitFullScans_0 : 119612 5.53/5.71 c (0,0) c PropsLitFullScans_1 : 112316 5.53/5.71 c (0,0) c PropsLitFullScans_2 : 95962 5.53/5.71 c (0,0) c PropsLitFullScans_3 : 116341 5.53/5.71 c (0,0) c PropsLitFullScans_4 : 151405 5.53/5.71 c (0,0) c PropsLitFullScans_5 : 589464 5.53/5.71 c (0,0) c PropsLitFullScans_6 : 104296 5.53/5.71 c (0,0) c PropsLitFullScans_7 : 263738 5.53/5.71 c (0,0) c PropsLitFullScans_total : 1553134 5.53/5.71 c (0,0) c PropsLitFullScans_winner : 119612 5.53/5.71 c (0,0) c LitScanFractions_0 : 0 5.53/5.71 c (0,0) c LitScanFractions_1 : 0 5.53/5.71 c (0,0) c LitScanFractions_2 : 0 5.53/5.71 c (0,0) c LitScanFractions_3 : 0 5.53/5.71 c (0,0) c LitScanFractions_4 : 0 5.53/5.71 c (0,0) c LitScanFractions_5 : 0 5.53/5.71 c (0,0) c LitScanFractions_6 : 0 5.53/5.71 c (0,0) c LitScanFractions_7 : 0 5.53/5.71 c (0,0) c LitScanFractions_total : 0 5.53/5.71 c (0,0) c LitScanFractions_winner : 0 5.53/5.71 c (0,0) c DecisionLevel0_0 : 1 5.53/5.71 c (0,0) c DecisionLevel0_1 : 1 5.53/5.71 c (0,0) c DecisionLevel0_2 : 1 5.53/5.71 c (0,0) c DecisionLevel0_3 : 1 5.53/5.71 c (0,0) c DecisionLevel0_4 : 1 5.53/5.71 c (0,0) c DecisionLevel0_5 : 1 5.53/5.71 c (0,0) c DecisionLevel0_6 : 1 5.53/5.71 c (0,0) c DecisionLevel0_7 : 1 5.53/5.71 c (0,0) c DecisionLevel0_total : 8 5.53/5.71 c (0,0) c DecisionLevel0_winner : 1 5.53/5.71 c (0,0) c Periods_0 : 0 5.53/5.71 c (0,0) c Periods_1 : 0 5.53/5.71 c (0,0) c Periods_2 : 0 5.53/5.71 c (0,0) c Periods_3 : 0 5.53/5.71 c (0,0) c Periods_4 : 0 5.53/5.71 c (0,0) c Periods_5 : 0 5.53/5.71 c (0,0) c Periods_6 : 0 5.53/5.71 c (0,0) c Periods_7 : 0 5.53/5.71 c (0,0) c Periods_total : 0 5.53/5.71 c (0,0) c Periods_winner : 0 5.53/5.71 c (0,0) c Margin_0 : 20 5.53/5.71 c (0,0) c Margin_1 : 20 5.53/5.71 c (0,0) c Margin_2 : 20 5.53/5.71 c (0,0) c Margin_3 : 20 5.53/5.71 c (0,0) c Margin_4 : 20 5.53/5.71 c (0,0) c Margin_5 : 20 5.53/5.71 c (0,0) c Margin_6 : 20 5.53/5.71 c (0,0) c Margin_7 : 20 5.53/5.71 c (0,0) c Margin_total : 160 5.53/5.71 c (0,0) c Margin_winner : 20 5.53/5.71 c (0,0) c Exported_0 : 0 5.53/5.71 c (0,0) c Exported_1 : 0 5.53/5.71 c (0,0) c Exported_2 : 0 5.53/5.71 c (0,0) c Exported_3 : 1 5.53/5.71 c (0,0) c Exported_4 : 0 5.53/5.71 c (0,0) c Exported_5 : 0 5.53/5.71 c (0,0) c Exported_6 : 0 5.53/5.71 c (0,0) c Exported_7 : 2 5.53/5.71 c (0,0) c Exported_total : 3 5.53/5.71 c (0,0) c Exported_winner : 0 5.53/5.71 c (0,0) c Imported_0 : 0 5.53/5.71 c (0,0) c Imported_1 : 0 5.53/5.71 c (0,0) c Imported_2 : 0 5.53/5.71 c (0,0) c Imported_3 : 0 5.53/5.71 c (0,0) c Imported_4 : 0 5.53/5.71 c (0,0) c Imported_5 : 0 5.53/5.71 c (0,0) c Imported_6 : 0 5.53/5.71 c (0,0) c Imported_7 : 0 5.53/5.71 c (0,0) c Imported_total : 0 5.53/5.71 c (0,0) c Imported_winner : 0 5.53/5.71 c (0,0) c Good_0 : 0 5.53/5.71 c (0,0) c Good_1 : 0 5.53/5.71 c (0,0) c Good_2 : 0 5.53/5.71 c (0,0) c Good_3 : 0 5.53/5.71 c (0,0) c Good_4 : 0 5.53/5.71 c (0,0) c Good_5 : 0 5.53/5.71 c (0,0) c Good_6 : 0 5.53/5.71 c (0,0) c Good_7 : 0 5.53/5.71 c (0,0) c Good_total : 0 5.53/5.71 c (0,0) c Good_winner : 0 5.53/5.71 c (0,0) c Purge_0 : 0 5.53/5.71 c (0,0) c Purge_1 : 0 5.53/5.71 c (0,0) c Purge_2 : 0 5.53/5.71 c (0,0) c Purge_3 : 0 5.53/5.71 c (0,0) c Purge_4 : 0 5.53/5.71 c (0,0) c Purge_5 : 0 5.53/5.71 c (0,0) c Purge_6 : 0 5.53/5.71 c (0,0) c Purge_7 : 0 5.53/5.71 c (0,0) c Purge_total : 0 5.53/5.71 c (0,0) c Purge_winner : 0 5.53/5.71 c (0,0) c Promoted_0 : 0 5.53/5.71 c (0,0) c Promoted_1 : 0 5.53/5.71 c (0,0) c Promoted_2 : 0 5.53/5.71 c (0,0) c Promoted_3 : 0 5.53/5.71 c (0,0) c Promoted_4 : 0 5.53/5.71 c (0,0) c Promoted_5 : 0 5.53/5.71 c (0,0) c Promoted_6 : 0 5.53/5.71 c (0,0) c Promoted_7 : 0 5.53/5.71 c (0,0) c Promoted_total : 0 5.53/5.71 c (0,0) c Promoted_winner : 0 5.53/5.71 c (0,0) c Remove_Imp_0 : 0 5.53/5.71 c (0,0) c Remove_Imp_1 : 0 5.53/5.71 c (0,0) c Remove_Imp_2 : 0 5.53/5.71 c (0,0) c Remove_Imp_3 : 0 5.53/5.71 c (0,0) c Remove_Imp_4 : 0 5.53/5.71 c (0,0) c Remove_Imp_5 : 0 5.53/5.71 c (0,0) c Remove_Imp_6 : 0 5.53/5.71 c (0,0) c Remove_Imp_7 : 0 5.53/5.71 c (0,0) c Remove_Imp_total : 0 5.53/5.71 c (0,0) c Remove_Imp_winner : 0 5.53/5.71 c (0,0) c Blocked_Reuse_0 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_1 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_2 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_3 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_4 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_5 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_6 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_7 : 0 5.53/5.71 c (0,0) c Blocked_Reuse_total : 0 5.53/5.71 c (0,0) c Blocked_Reuse_winner : 0 5.53/5.71 c (0,0) c Unaries_0 : 0 5.53/5.71 c (0,0) c Unaries_1 : 0 5.53/5.71 c (0,0) c Unaries_2 : 0 5.53/5.71 c (0,0) c Unaries_3 : 0 5.53/5.71 c (0,0) c Unaries_4 : 0 5.53/5.71 c (0,0) c Unaries_5 : 0 5.53/5.71 c (0,0) c Unaries_6 : 0 5.53/5.71 c (0,0) c Unaries_7 : 0 5.53/5.71 c (0,0) c Unaries_total : 0 5.53/5.71 c (0,0) c Unaries_winner : 0 5.53/5.71 c (0,0) c Binaries_0 : 0 5.53/5.71 c (0,0) c Binaries_1 : 0 5.53/5.71 c (0,0) c Binaries_2 : 0 5.53/5.71 c (0,0) c Binaries_3 : 0 5.53/5.71 c (0,0) c Binaries_4 : 0 5.53/5.71 c (0,0) c Binaries_5 : 0 5.53/5.71 c (0,0) c Binaries_6 : 0 5.53/5.71 c (0,0) c Binaries_7 : 0 5.53/5.71 c (0,0) c Binaries_total : 0 5.53/5.71 c (0,0) c Binaries_winner : 0 5.53/5.71 c (0,0) c Glues_0 : 0 5.53/5.71 c (0,0) c Glues_1 : 0 5.53/5.71 c (0,0) c Glues_2 : 0 5.53/5.71 c (0,0) c Glues_3 : 1 5.53/5.71 c (0,0) c Glues_4 : 0 5.53/5.71 c (0,0) c Glues_5 : 0 5.53/5.71 c (0,0) c Glues_6 : 0 5.53/5.71 c (0,0) c Glues_7 : 2 5.53/5.71 c (0,0) c Glues_total : 3 5.53/5.71 c (0,0) c Glues_winner : 0 5.53/5.71 c (0,0) c RunningTime_0 : 0.005742 5.53/5.71 c (0,0) c RunningTime_1 : 0.005626 5.53/5.71 c (0,0) c RunningTime_2 : 0.004275 5.53/5.71 c (0,0) c RunningTime_3 : 0.005530 5.53/5.71 c (0,0) c RunningTime_4 : 0.005360 5.53/5.71 c (0,0) c RunningTime_5 : 0.009221 5.53/5.71 c (0,0) c RunningTime_6 : 0.003489 5.53/5.71 c (0,0) c RunningTime_7 : 0.006201 5.53/5.71 c (0,0) c RunningTime_total : 0.045444 5.53/5.71 c (0,0) c RunningTime_winner : 0.005742 5.53/5.72 c (0,0) c WaitingTime_0 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_1 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_2 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_3 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_4 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_5 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_6 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_7 : 0.000000 5.53/5.72 c (0,0) c WaitingTime_total : 0.000000 5.53/5.72 c (0,0) c WaitingTime_winner : 0.000000 5.53/5.72 c (0,0) c ExchangingTime_0 : 0.000066 5.53/5.72 c (0,0) c ExchangingTime_1 : 0.000000 5.53/5.72 c (0,0) c ExchangingTime_2 : 0.000002 5.53/5.72 c (0,0) c ExchangingTime_3 : 0.000003 5.53/5.72 c (0,0) c ExchangingTime_4 : 0.000001 5.53/5.72 c (0,0) c ExchangingTime_5 : 0.000006 5.53/5.72 c (0,0) c ExchangingTime_6 : 0.000000 5.53/5.72 c (0,0) c ExchangingTime_7 : 0.000006 5.53/5.72 c (0,0) c ExchangingTime_total : 0.000084 5.53/5.72 c (0,0) c ExchangingTime_winner : 0.000066 5.53/5.72 c (0,0) c PeriodProcTime_0 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_1 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_2 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_3 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_4 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_5 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_6 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_7 : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_total : 0.000000 5.53/5.72 c (0,0) c PeriodProcTime_winner : 0.000000 5.53/5.72 c (0,0) c SolvingTime_0 : 0.005808 5.53/5.72 c (0,0) c SolvingTime_1 : 0.005626 5.53/5.72 c (0,0) c SolvingTime_2 : 0.004277 5.53/5.72 c (0,0) c SolvingTime_3 : 0.005533 5.53/5.72 c (0,0) c SolvingTime_4 : 0.005361 5.53/5.72 c (0,0) c SolvingTime_5 : 0.009227 5.53/5.72 c (0,0) c SolvingTime_6 : 0.003489 5.53/5.72 c (0,0) c SolvingTime_7 : 0.006207 5.53/5.72 c (0,0) c SolvingTime_total : 0.045528 5.53/5.72 c (0,0) c SolvingTime_winner : 0.005808 5.53/5.72 c (0,0) c PropagationTime_0 : 0.005523 5.53/5.72 c (0,0) c PropagationTime_1 : 0.005433 5.53/5.72 c (0,0) c PropagationTime_2 : 0.004079 5.53/5.72 c (0,0) c PropagationTime_3 : 0.005373 5.53/5.72 c (0,0) c PropagationTime_4 : 0.005085 5.53/5.72 c (0,0) c PropagationTime_5 : 0.008250 5.53/5.72 c (0,0) c PropagationTime_6 : 0.003370 5.53/5.72 c (0,0) c PropagationTime_7 : 0.005742 5.53/5.72 c (0,0) c PropagationTime_total : 0.042853 5.53/5.72 c (0,0) c PropagationTime_winner : 0.005523 5.53/5.72 c (0,0) c AnalysisTime_0 : 0.000058 5.53/5.72 c (0,0) c AnalysisTime_1 : 0.000047 5.53/5.72 c (0,0) c AnalysisTime_2 : 0.000000 5.53/5.72 c (0,0) c AnalysisTime_3 : 0.000033 5.53/5.72 c (0,0) c AnalysisTime_4 : 0.000082 5.53/5.72 c (0,0) c AnalysisTime_5 : 0.000513 5.53/5.72 c (0,0) c AnalysisTime_6 : 0.000010 5.53/5.72 c (0,0) c AnalysisTime_7 : 0.000215 5.53/5.72 c (0,0) c AnalysisTime_total : 0.000958 5.53/5.72 c (0,0) c AnalysisTime_winner : 0.000058 5.53/5.72 c (0,0) c ReductionTime_0 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_1 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_2 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_3 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_4 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_5 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_6 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_7 : 0.000000 5.53/5.72 c (0,0) c ReductionTime_total : 0.000000 5.53/5.72 c (0,0) c ReductionTime_winner : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_0 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_1 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_2 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_3 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_4 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_5 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_6 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_7 : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_total : 0.000000 5.53/5.72 c (0,0) c SimplifyTime_winner : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_0 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_1 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_2 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_3 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_4 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_5 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_6 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_7 : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_total : 0.000000 5.53/5.72 c (0,0) c UsedRateTime_winner : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_0 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_1 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_2 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_3 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_4 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_5 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_6 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_7 : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_total : 0.000000 5.53/5.72 c (0,0) c OverlapRateTime_winner : 0.000000 5.53/5.72 c (0,0) c 5.53/5.72 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.53/5.72 c (0,0) c 5.53/5.72 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.72 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.53/5.72 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.72 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.53/5.72 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.53/5.72 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.53/5.72 c (0,0) c | Initial random_seed | 308387549 | 1487902620 | 1944374865 | 606153808 | 851931181 | 1439099389 | 1271905089 | 2003479106 | 5.53/5.72 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.53/5.72 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.53/5.72 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.53/5.72 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.53/5.72 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.53/5.72 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.53/5.72 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.53/5.72 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.53/5.72 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.53/5.72 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.53/5.72 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.53/5.72 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.53/5.72 c (0,0) 5.53/5.72 c (0,0) s SATISFIABLE 5.53/5.75 c (0,0) SatSolver.solve End 5.53/5.75 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 5.53/5.75 c (0,0) Show results Begin 5.89/5.84 c (0,0) x[0][0] = 12 5.89/5.84 c (0,0) x[0][1] = 21 5.89/5.84 c (0,0) x[0][2] = 25 5.89/5.84 c (0,0) x[0][3] = 40 5.89/5.84 c (0,0) x[0][4] = 50 5.89/5.84 c (0,0) x[1][0] = 60 5.89/5.84 c (0,0) x[1][1] = 111 5.89/5.84 c (0,0) x[1][2] = 119 5.89/5.84 c (0,0) x[1][3] = 131 5.89/5.84 c (0,0) x[1][4] = 134 5.89/5.84 c (0,0) x[2][0] = 45 5.89/5.84 c (0,0) x[2][1] = 106 5.89/5.84 c (0,0) x[2][2] = 131 5.89/5.84 c (0,0) x[2][3] = 142 5.89/5.84 c (0,0) x[2][4] = 149 5.89/5.84 c (0,0) x[3][0] = 6 5.89/5.84 c (0,0) x[3][1] = 39 5.89/5.84 c (0,0) x[3][2] = 58 5.89/5.84 c (0,0) x[3][3] = 78 5.89/5.84 c (0,0) x[3][4] = 103 5.89/5.84 c (0,0) x[4][0] = 9 5.89/5.84 c (0,0) x[4][1] = 92 5.89/5.84 c (0,0) x[4][2] = 103 5.89/5.84 c (0,0) x[4][3] = 115 5.89/5.84 c (0,0) x[4][4] = 122 5.89/5.84 c (0,0) x[5][0] = 72 5.89/5.84 c (0,0) x[5][1] = 79 5.89/5.84 c (0,0) x[5][2] = 88 5.89/5.84 c (0,0) x[5][3] = 98 5.89/5.84 c (0,0) x[5][4] = 111 5.89/5.84 c (0,0) x[6][0] = 25 5.89/5.84 c (0,0) x[6][1] = 36 5.89/5.84 c (0,0) x[6][2] = 73 5.89/5.84 c (0,0) x[6][3] = 86 5.89/5.84 c (0,0) x[6][4] = 118 5.89/5.84 c (0,0) x[7][0] = 28 5.89/5.84 c (0,0) x[7][1] = 36 5.89/5.84 c (0,0) x[7][2] = 47 5.89/5.84 c (0,0) x[7][3] = 96 5.89/5.84 c (0,0) x[7][4] = 127 5.89/5.84 c (0,0) x[8][0] = 12 5.89/5.84 c (0,0) x[8][1] = 23 5.89/5.84 c (0,0) x[8][2] = 37 5.89/5.84 c (0,0) x[8][3] = 49 5.89/5.84 c (0,0) x[8][4] = 61 5.89/5.84 c (0,0) x[9][0] = 2 5.89/5.84 c (0,0) x[9][1] = 6 5.89/5.84 c (0,0) x[9][2] = 12 5.89/5.84 c (0,0) x[9][3] = 87 5.89/5.84 c (0,0) x[9][4] = 92 5.89/5.84 s SATISFIABLE 5.89/5.85 v <instantiation> 5.89/5.85 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4]</list> 5.89/5.85 v <values>12 21 25 40 50 60 111 119 131 134 45 106 131 142 149 6 39 58 78 103 9 92 103 115 122 72 79 88 98 111 25 36 73 86 118 28 36 47 96 127 12 23 37 49 61 2 6 12 87 92</values> 5.89/5.85 v </instantiation> 5.89/5.85 c (0,0) Show results End 5.89/5.85 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 5.89/5.85 c (0,0) 0,0,STOP-AFTER(ALL) 5.89/5.85 c END-Prog: Mon Sep 23 13:36:34 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 (12613 MiB free) memory of node 1: 16384 MiB (11633 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405515-1569238628/watcher-4405515-1569238628 -o /tmp/evaluation-result-4405515-1569238628/solver-4405515-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569238587-32288 --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-4405515-1569238628.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=32305, runsolver pid=32302 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 0.00 0.01 0.05 1/192 32308 /proc/meminfo: memFree=24827912/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 [pid=32308] ppid=32305 vsize=113128 memory=420 CPUtime=0 cores=0-7 /proc/32308/stat : 32308 (scop.sh) D 32305 32305 32261 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 1 0 500134165 115843072 105 33554432000 4194304 5098028 140720573000112 140720572998616 140705915394551 0 0 4102 0 18446744072101662244 0 0 17 3 0 0 0 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32308/statm: 28282 105 47 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 226256 KiB Current children cumulated memory: 1816 KiB [startup+0.209002 s]* /proc/loadavg: 0.00 0.01 0.05 2/192 32308 /proc/meminfo: memFree=24827432/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 [pid=32308] ppid=32305 vsize=228752 memory=4584 CPUtime=0 cores=0-7 /proc/32308/stat : 32308 (java) S 32305 32305 32261 0 -1 1077944320 1367 0 0 0 0 0 0 0 20 0 2 0 500134165 234242048 1146 33554432000 4194304 4196468 140736367129296 140736367111840 140015040491255 0 0 4102 0 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 /proc/32308/statm: 57188 1146 848 1 0 49312 0 [pid=32308/tid=32309] ppid=32305 vsize=228752 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/32308/task/32309/stat : 32309 (java) D 32305 32305 32261 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 2 0 500134181 234242048 1146 33554432000 4194304 4196468 140736367129296 140015012328800 140015033170477 0 0 4102 0 18446744072101662244 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 341880 KiB Current children cumulated memory: 5980 KiB [startup+0.308686 s]* /proc/loadavg: 0.00 0.01 0.05 1/193 32309 /proc/meminfo: memFree=24827060/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 [pid=32308] ppid=32305 vsize=240512 memory=5664 CPUtime=0 cores=0-7 /proc/32308/stat : 32308 (java) S 32305 32305 32261 0 -1 1077944320 1719 0 0 0 0 0 0 0 20 0 2 0 500134165 246284288 1416 33554432000 4194304 4196468 140736367129296 140736367111840 140015040491255 0 0 6 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 /proc/32308/statm: 60128 1416 1054 1 0 49578 0 [pid=32308/tid=32309] ppid=32305 vsize=240512 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/32308/task/32309/stat : 32309 (java) D 32305 32305 32261 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 2 0 500134181 246284288 1416 33554432000 4194304 4196468 140736367129296 140015012328744 140015033170848 0 4 6 16784584 18446744072101662244 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 353640 KiB Current children cumulated memory: 7060 KiB [startup+0.700619 s] /proc/loadavg: 0.00 0.01 0.05 1/201 32317 /proc/meminfo: memFree=24746708/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 [pid=32308] ppid=32305 vsize=26587532 memory=95360 CPUtime=0.06 cores=0-7 /proc/32308/stat : 32308 (java) S 32305 32305 32261 0 -1 1077944320 5357 0 0 0 4 2 0 0 20 0 13 0 500134165 27225632768 23840 33554432000 4194304 4196468 140736367129296 140736367111840 140015040491255 0 0 6 16800969 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 /proc/32308/statm: 6646883 23840 2172 1 0 6609424 0 [pid=32308/tid=32309] ppid=32305 vsize=26587532 memory=-3833726747341067623 CPUtime=0.04 cores=0-7 /proc/32308/task/32309/stat : 32309 (java) D 32305 32305 32261 0 -1 1077944384 4003 0 0 0 3 1 0 0 20 0 13 0 500134181 27225632768 23840 33554432000 4194304 4196468 140736367129296 140015012326656 140015040513277 0 4 6 16800969 18446744072101662244 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32310] ppid=32305 vsize=26587532 memory=-2605811476043407915 CPUtime=0 cores=0-7 /proc/32308/task/32310/stat : 32310 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140015044733584 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32311] ppid=32305 vsize=26587532 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/32308/task/32311/stat : 32311 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140014862821904 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32312] ppid=32305 vsize=26587532 memory=-1189914978686163229 CPUtime=0 cores=0-7 /proc/32308/task/32312/stat : 32312 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140014861769104 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32313] ppid=32305 vsize=26587532 memory=7449886575026332223 CPUtime=0 cores=0-7 /proc/32308/task/32313/stat : 32313 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140014460500240 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32314] ppid=32305 vsize=26587532 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/32308/task/32314/stat : 32314 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140014459448464 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32315] ppid=32305 vsize=26587532 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/32308/task/32315/stat : 32315 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140014458395664 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32316] ppid=32305 vsize=26587532 memory=1440 CPUtime=0 cores=0-7 /proc/32308/task/32316/stat : 32316 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140014457342864 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32317] ppid=32305 vsize=26587532 memory=796 CPUtime=0 cores=0-7 /proc/32308/task/32317/stat : 32317 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 500134207 27225632768 23840 33554432000 4194304 4196468 140736367129296 140014456290064 140015040501461 0 4 6 16800969 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 Current children cumulated CPU time: 0.06 s Current children cumulated vsize: 26700660 KiB Current children cumulated memory: 96756 KiB [startup+1.50089 s] /proc/loadavg: 0.00 0.01 0.05 1/210 32326 /proc/meminfo: memFree=24736344/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 [pid=32308] ppid=32305 vsize=27313576 memory=101832 CPUtime=0.07 cores=0-7 /proc/32308/stat : 32308 (java) S 32305 32305 32261 0 -1 1077944320 6067 0 0 0 5 2 0 0 20 0 20 0 500134165 27969101824 25458 33554432000 4194304 4196468 140736367129296 140736367111840 140015040491255 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 /proc/32308/statm: 6828394 25458 2594 1 0 6790935 0 [pid=32308/tid=32309] ppid=32305 vsize=27313576 memory=2967261 CPUtime=0.06 cores=0-7 /proc/32308/task/32309/stat : 32309 (java) R 32305 32305 32261 0 -1 4202560 4188 0 0 0 5 1 0 0 20 0 20 0 500134181 27969101824 25458 33554432000 4194304 4196468 140736367129296 140015012334176 140015024571742 0 4 2 16800973 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32310] ppid=32305 vsize=27313576 memory=5555 CPUtime=0 cores=0-7 /proc/32308/task/32310/stat : 32310 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140015044733584 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32311] ppid=32305 vsize=27313576 memory=2110141659196100 CPUtime=0 cores=0-7 /proc/32308/task/32311/stat : 32311 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014862821904 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32312] ppid=32305 vsize=27313576 memory=6935649255810949952 CPUtime=0 cores=0-7 /proc/32308/task/32312/stat : 32312 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014861769104 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32313] ppid=32305 vsize=27313576 memory=279582104322616 CPUtime=0 cores=0-7 /proc/32308/task/32313/stat : 32313 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014460500240 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32314] ppid=32305 vsize=27313576 memory=2958610 CPUtime=0 cores=0-7 /proc/32308/task/32314/stat : 32314 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014459448464 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32315] ppid=32305 vsize=27313576 memory=2965994 CPUtime=0 cores=0-7 /proc/32308/task/32315/stat : 32315 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014458395664 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32316] ppid=32305 vsize=27313576 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32316/stat : 32316 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014457342864 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32317] ppid=32305 vsize=27313576 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32317/stat : 32317 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014456290064 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32318] ppid=32305 vsize=27313576 memory=21521 CPUtime=0 cores=0-7 /proc/32308/task/32318/stat : 32318 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134214 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014165961072 140015040502402 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32319] ppid=32305 vsize=27313576 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32319/stat : 32319 (java) S 32305 32305 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500134215 27969101824 25458 33554432000 4194304 4196468 140736367129296 140012913943584 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32320] ppid=32305 vsize=27313576 memory=43909460233 CPUtime=0 cores=0-7 /proc/32308/task/32320/stat : 32320 (java) S 32305 32305 32261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500134215 27969101824 25458 33554432000 4194304 4196468 140736367129296 140012779721584 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32321] ppid=32305 vsize=27313576 memory=-4695052241013923951 CPUtime=0 cores=0-7 /proc/32308/task/32321/stat : 32321 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134255 27969101824 25458 33554432000 4194304 4196468 140736367129296 140012405217104 140015040509851 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32322] ppid=32305 vsize=27313576 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/32308/task/32322/stat : 32322 (java) R 32305 32305 32261 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 500134255 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014164908912 140015040502402 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32323] ppid=32305 vsize=27313576 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/32308/task/32323/stat : 32323 (java) R 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134255 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014163856112 140015040502402 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32324] ppid=32305 vsize=27313576 memory=7679927811743456362 CPUtime=0 cores=0-7 /proc/32308/task/32324/stat : 32324 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134255 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014162803312 140015040502402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32325] ppid=32305 vsize=27313576 memory=3053811428158493008 CPUtime=0 cores=0-7 /proc/32308/task/32325/stat : 32325 (java) S 32305 32305 32261 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 20 0 500134255 27969101824 25458 33554432000 4194304 4196468 140736367129296 140014161750512 140015040502402 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32326] ppid=32305 vsize=27313576 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32326/stat : 32326 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134255 27969101824 25458 33554432000 4194304 4196468 140736367129296 140011907312224 140015040501461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 27426704 KiB Current children cumulated memory: 103228 KiB [startup+3.11004 s] /proc/loadavg: 0.00 0.01 0.05 3/211 32327 /proc/meminfo: memFree=24671792/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 [pid=32308] ppid=32305 vsize=27322516 memory=172392 CPUtime=1.21 cores=0-7 /proc/32308/stat : 32308 (java) S 32305 32305 32261 0 -1 1077944320 20799 0 0 0 114 7 0 0 20 0 20 0 500134165 27978256384 43098 33554432000 4194304 4196468 140736367129296 140736367111840 140015040491255 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 /proc/32308/statm: 6830629 43098 3214 1 0 6791959 0 [pid=32308/tid=32309] ppid=32305 vsize=27322516 memory=1396 CPUtime=0.79 cores=0-7 /proc/32308/task/32309/stat : 32309 (java) R 32305 32305 32261 0 -1 4202560 17519 0 0 0 74 5 0 0 20 0 20 0 500134181 27978256384 43098 33554432000 4194304 4196468 140736367129296 140015012318144 140015024598087 0 4 2 25189581 0 0 0 -1 4 0 0 57 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32310] ppid=32305 vsize=27322516 memory=150824 CPUtime=0 cores=0-7 /proc/32308/task/32310/stat : 32310 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140015044733584 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32311] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32311/stat : 32311 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014862821904 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32312] ppid=32305 vsize=27322516 memory=10 CPUtime=0 cores=0-7 /proc/32308/task/32312/stat : 32312 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014861769104 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32313] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32313/stat : 32313 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014460500240 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32314] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32314/stat : 32314 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014459448464 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32315] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32315/stat : 32315 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014458395664 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32316] ppid=32305 vsize=27322516 memory=3 CPUtime=0 cores=0-7 /proc/32308/task/32316/stat : 32316 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014457342864 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32317] ppid=32305 vsize=27322516 memory=3 CPUtime=0 cores=0-7 /proc/32308/task/32317/stat : 32317 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014456290064 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32318] ppid=32305 vsize=27322516 memory=12801 CPUtime=0 cores=0-7 /proc/32308/task/32318/stat : 32318 (java) S 32305 32305 32261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500134214 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014165961072 140015040502402 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32319] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32319/stat : 32319 (java) S 32305 32305 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500134215 27978256384 43098 33554432000 4194304 4196468 140736367129296 140012913943584 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32320] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32320/stat : 32320 (java) S 32305 32305 32261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500134215 27978256384 43098 33554432000 4194304 4196468 140736367129296 140012779721584 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32321] ppid=32305 vsize=27322516 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/32308/task/32321/stat : 32321 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134255 27978256384 43098 33554432000 4194304 4196468 140736367129296 140012405217104 140015040509851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32322] ppid=32305 vsize=27322516 memory=0 CPUtime=0.08 cores=0-7 /proc/32308/task/32322/stat : 32322 (java) S 32305 32305 32261 0 -1 1077944384 639 0 0 0 8 0 0 0 20 0 20 0 500134255 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014164908912 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32323] ppid=32305 vsize=27322516 memory=1396 CPUtime=0.07 cores=0-7 /proc/32308/task/32323/stat : 32323 (java) R 32305 32305 32261 0 -1 4202560 264 0 0 0 7 0 0 0 20 0 20 0 500134255 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014163856112 140015019737821 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32324] ppid=32305 vsize=27322516 memory=147812 CPUtime=0.03 cores=0-7 /proc/32308/task/32324/stat : 32324 (java) S 32305 32305 32261 0 -1 1077944384 300 0 0 0 3 0 0 0 20 0 20 0 500134255 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014162803312 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32325] ppid=32305 vsize=27322516 memory=3053811428158493008 CPUtime=0.2 cores=0-7 /proc/32308/task/32325/stat : 32325 (java) S 32305 32305 32261 0 -1 1077944384 717 0 0 0 20 0 0 0 20 0 20 0 500134255 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014161750512 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32326] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32326/stat : 32326 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134255 27978256384 43098 33554432000 4194304 4196468 140736367129296 140011907312224 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32327] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32327/stat : 32327 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134310 27978256384 43098 33554432000 4194304 4196468 140736367129296 140014160697904 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 ################ # More data... # ################ [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 [pid=32308] ppid=32305 vsize=27322516 memory=176228 CPUtime=1.43 cores=0-7 /proc/32308/stat : 32308 (java) S 32305 32305 32261 0 -1 1077944320 21209 0 0 0 135 8 0 0 20 0 20 0 500134165 27978256384 44057 33554432000 4194304 4196468 140736367129296 140736367111840 140015040491255 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 /proc/32308/statm: 6830629 44057 3216 1 0 6791959 0 [pid=32308/tid=32309] ppid=32305 vsize=27322516 memory=7305493167542855528 CPUtime=0.89 cores=0-7 /proc/32308/task/32309/stat : 32309 (java) R 32305 32305 32261 0 -1 4202560 17686 0 0 0 84 5 0 0 20 0 20 0 500134181 27978256384 44057 33554432000 4194304 4196468 140736367129296 140015012328160 140015024599347 0 4 2 25189581 0 0 0 -1 4 0 0 57 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32310] ppid=32305 vsize=27322516 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/32308/task/32310/stat : 32310 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140015044733584 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32311] ppid=32305 vsize=27322516 memory=288230583166042426 CPUtime=0 cores=0-7 /proc/32308/task/32311/stat : 32311 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014862821904 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32312] ppid=32305 vsize=27322516 memory=14133350919046965 CPUtime=0 cores=0-7 /proc/32308/task/32312/stat : 32312 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014861769104 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32313] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32313/stat : 32313 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014460500240 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32314] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32314/stat : 32314 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014459448464 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32315] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32315/stat : 32315 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014458395664 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32316] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32316/stat : 32316 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014457342864 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32317] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32317/stat : 32317 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134207 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014456290064 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32318] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32318/stat : 32318 (java) S 32305 32305 32261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500134214 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014165961072 140015040502402 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32319] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32319/stat : 32319 (java) S 32305 32305 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500134215 27978256384 44057 33554432000 4194304 4196468 140736367129296 140012913943584 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32320] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32320/stat : 32320 (java) S 32305 32305 32261 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500134215 27978256384 44057 33554432000 4194304 4196468 140736367129296 140012779721584 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32321] ppid=32305 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/32308/task/32321/stat : 32321 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134255 27978256384 44057 33554432000 4194304 4196468 140736367129296 140012405217104 140015040509851 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32322] ppid=32305 vsize=27322516 memory=0 CPUtime=0.08 cores=0-7 /proc/32308/task/32322/stat : 32322 (java) S 32305 32305 32261 0 -1 1077944384 639 0 0 0 8 0 0 0 20 0 20 0 500134255 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014164908912 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32323] ppid=32305 vsize=27322516 memory=0 CPUtime=0.09 cores=0-7 /proc/32308/task/32323/stat : 32323 (java) S 32305 32305 32261 0 -1 1077944384 273 0 0 0 9 0 0 0 20 0 20 0 500134255 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014163856112 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32324] ppid=32305 vsize=27322516 memory=3616 CPUtime=0.05 cores=0-7 /proc/32308/task/32324/stat : 32324 (java) S 32305 32305 32261 0 -1 1077944384 308 0 0 0 4 1 0 0 20 0 20 0 500134255 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014162803312 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32325] ppid=32305 vsize=27322516 memory=2832 CPUtime=0.29 cores=0-7 /proc/32308/task/32325/stat : 32325 (java) R 32305 32305 32261 0 -1 4202560 943 0 0 0 29 0 0 0 20 0 20 0 500134255 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014161750512 140015033588091 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32326] ppid=32305 vsize=27322516 memory=1548 CPUtime=0 cores=0-7 /proc/32308/task/32326/stat : 32326 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134255 27978256384 44057 33554432000 4194304 4196468 140736367129296 140011907312224 140015040501461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 [pid=32308/tid=32327] ppid=32305 vsize=27322516 memory=1056 CPUtime=0 cores=0-7 /proc/32308/task/32327/stat : 32327 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134310 27978256384 44057 33554432000 4194304 4196468 140736367129296 140014160697904 140015040502402 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140736367133418 140736367133846 140736367133846 140736367136719 0 Current children cumulated CPU time: 1.43 s Current children cumulated vsize: 27435644 KiB Current children cumulated memory: 177624 KiB [startup+4.8009 s] /proc/loadavg: 0.00 0.01 0.05 5/211 32327 /proc/meminfo: memFree=24592852/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500134160 115843072 349 33554432000 4194304 5098028 140720573000112 140720572997368 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 349 296 221 0 87 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1396 KiB [startup+5.60089 s] /proc/loadavg: 0.00 0.01 0.05 2/211 32347 /proc/meminfo: memFree=24773260/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1476 CPUtime=4.4 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 583 26221 0 0 0 0 423 17 20 0 1 0 500134160 115843072 369 33554432000 4194304 5098028 140720573000112 140720572996856 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 369 311 221 0 87 0 [pid=32328] ppid=32305 vsize=7756476 memory=102132 CPUtime=0.97 cores=0-7 /proc/32328/stat : 32328 (java) S 32305 32305 32261 0 -1 1077944320 18613 0 0 0 91 6 0 0 20 0 20 0 500134644 7942631424 25533 33554432000 4194304 4196468 140734180180240 140734180162784 140209813855991 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 /proc/32328/statm: 1939119 25533 3100 1 0 1900463 0 [pid=32328/tid=32329] ppid=32305 vsize=7756476 memory=796 CPUtime=0.69 cores=0-7 /proc/32328/task/32329/stat : 32329 (java) R 32305 32305 32261 0 -1 4202560 16114 0 0 0 64 5 0 0 20 0 20 0 500134644 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209785692368 140209797936478 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32330] ppid=32305 vsize=7756476 memory=1772 CPUtime=0 cores=0-7 /proc/32328/task/32330/stat : 32330 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209818098832 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32331] ppid=32305 vsize=7756476 memory=279582104684992 CPUtime=0 cores=0-7 /proc/32328/task/32331/stat : 32331 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209618267152 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32332] ppid=32305 vsize=7756476 memory=6944656591801717918 CPUtime=0 cores=0-7 /proc/32328/task/32332/stat : 32332 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209617214352 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32333] ppid=32305 vsize=7756476 memory=4206468019014099040 CPUtime=0 cores=0-7 /proc/32328/task/32333/stat : 32333 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209616161552 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32334] ppid=32305 vsize=7756476 memory=-8412652160765825907 CPUtime=0 cores=0-7 /proc/32328/task/32334/stat : 32334 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209615108752 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32335] ppid=32305 vsize=7756476 memory=-8412654363884091034 CPUtime=0 cores=0-7 /proc/32328/task/32335/stat : 32335 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209614055952 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32336] ppid=32305 vsize=7756476 memory=5450916424063158595 CPUtime=0 cores=0-7 /proc/32328/task/32336/stat : 32336 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209613003152 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32337] ppid=32305 vsize=7756476 memory=8580318734027995705 CPUtime=0 cores=0-7 /proc/32328/task/32337/stat : 32337 (java) S 32305 32305 32261 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500134647 7942631424 25533 33554432000 4194304 4196468 140734180180240 140209611950352 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32338] ppid=32305 vsize=7756476 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/32328/task/32338/stat : 32338 (java) S 32305 32305 32261 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 500134649 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208571816816 140209813867138 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32339] ppid=32305 vsize=7756476 memory=0 CPUtime=0 cores=0-7 /proc/32328/task/32339/stat : 32339 (java) S 32305 32305 32261 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500134649 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208469173792 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32340] ppid=32305 vsize=7756476 memory=4640767346415259733 CPUtime=0 cores=0-7 /proc/32328/task/32340/stat : 32340 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134649 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208200738160 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32341] ppid=32305 vsize=7756476 memory=7444559312289097575 CPUtime=0 cores=0-7 /proc/32328/task/32341/stat : 32341 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134652 7942631424 25533 33554432000 4194304 4196468 140734180180240 140207826229584 140209813874587 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32342] ppid=32305 vsize=7756476 memory=4108 CPUtime=0.02 cores=0-7 /proc/32328/task/32342/stat : 32342 (java) S 32305 32305 32261 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 20 0 500134652 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208570763632 140209813867138 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32343] ppid=32305 vsize=7756476 memory=2241 CPUtime=0.02 cores=0-7 /proc/32328/task/32343/stat : 32343 (java) S 32305 32305 32261 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 500134652 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208569710832 140209813867138 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32344] ppid=32305 vsize=7756476 memory=288230574492221466 CPUtime=0.05 cores=0-7 /proc/32328/task/32344/stat : 32344 (java) S 32305 32305 32261 0 -1 1077944384 117 0 0 0 5 0 0 0 20 0 20 0 500134652 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208568658032 140209813867138 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32345] ppid=32305 vsize=7756476 memory=288230583166042426 CPUtime=0.17 cores=0-7 /proc/32328/task/32345/stat : 32345 (java) S 32305 32305 32261 0 -1 1077944384 481 0 0 0 17 0 0 0 20 0 20 0 500134652 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208567605232 140209813867138 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32346] ppid=32305 vsize=7756476 memory=14133350919046965 CPUtime=0 cores=0-7 /proc/32328/task/32346/stat : 32346 (java) S 32305 32305 32261 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500134653 7942631424 25533 33554432000 4194304 4196468 140734180180240 140207328324704 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32347] ppid=32305 vsize=7756476 memory=772 CPUtime=0 cores=0-7 /proc/32328/task/32347/stat : 32347 (java) S 32305 32305 32261 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500134654 7942631424 25533 33554432000 4194304 4196468 140734180180240 140208566553648 140209813867138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 Current children cumulated CPU time: 5.37 s Current children cumulated vsize: 7869604 KiB Current children cumulated memory: 103608 KiB [startup+5.80088 s] /proc/loadavg: 0.00 0.01 0.05 2/211 32347 /proc/meminfo: memFree=24773260/32770624 swapFree=66956140/67108860 [pid=32305] ppid=32302 vsize=113128 memory=1476 CPUtime=4.4 cores=0-7 /proc/32305/stat : 32305 (scop.sh) S 32302 32305 32261 0 -1 4202496 583 26221 0 0 0 0 423 17 20 0 1 0 500134160 115843072 369 33554432000 4194304 5098028 140720573000112 140720572996856 140705915392636 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 1 0 0 7196144 7232144 18849792 140720573002532 140720573002860 140720573002860 140720573005773 0 /proc/32305/statm: 28282 369 311 221 0 87 0 [pid=32328] ppid=32305 vsize=8283048 memory=121772 CPUtime=1.49 cores=0-7 /proc/32328/stat : 32328 (java) S 32305 32305 32261 0 -1 1077944320 20376 7700 0 0 129 8 11 1 20 0 22 0 500134644 8481841152 30443 33554432000 4194304 4196468 140734180180240 140734180162784 140209813855991 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 /proc/32328/statm: 2070762 30443 3225 1 0 2032106 0 [pid=32328/tid=32329] ppid=32305 vsize=8283048 memory=1548 CPUtime=0.91 cores=0-7 /proc/32328/task/32329/stat : 32329 (java) R 32305 32305 32261 0 -1 4202560 16563 7700 0 0 74 5 11 1 20 0 22 0 500134644 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209785693456 140209813877917 0 4 2 25189581 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32330] ppid=32305 vsize=8283048 memory=1056 CPUtime=0.12 cores=0-7 /proc/32328/task/32330/stat : 32330 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209818098832 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32331] ppid=32305 vsize=8283048 memory=744 CPUtime=0.12 cores=0-7 /proc/32328/task/32331/stat : 32331 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209618267152 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32332] ppid=32305 vsize=8283048 memory=8444 CPUtime=0.12 cores=0-7 /proc/32328/task/32332/stat : 32332 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209617214352 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32333] ppid=32305 vsize=8283048 memory=33 CPUtime=0.12 cores=0-7 /proc/32328/task/32333/stat : 32333 (java) S 32305 32305 32261 0 -1 1077944384 3 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209616161552 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32334] ppid=32305 vsize=8283048 memory=6791534058613427641 CPUtime=0.12 cores=0-7 /proc/32328/task/32334/stat : 32334 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209615108752 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32335] ppid=32305 vsize=8283048 memory=150660 CPUtime=0.12 cores=0-7 /proc/32328/task/32335/stat : 32335 (java) S 32305 32305 32261 0 -1 1077944384 2 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209614055952 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32336] ppid=32305 vsize=8283048 memory=7812729840185070696 CPUtime=0.12 cores=0-7 /proc/32328/task/32336/stat : 32336 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209613003152 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32337] ppid=32305 vsize=8283048 memory=111632 CPUtime=0.12 cores=0-7 /proc/32328/task/32337/stat : 32337 (java) S 32305 32305 32261 0 -1 1077944384 2 7700 0 0 0 0 11 1 20 0 22 0 500134647 8481841152 30443 33554432000 4194304 4196468 140734180180240 140209611950352 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32338] ppid=32305 vsize=8283048 memory=804 CPUtime=0.12 cores=0-7 /proc/32328/task/32338/stat : 32338 (java) S 32305 32305 32261 0 -1 1077944384 5 7700 0 0 0 0 11 1 20 0 22 0 500134649 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208571816816 140209813867138 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32339] ppid=32305 vsize=8283048 memory=1724 CPUtime=0.12 cores=0-7 /proc/32328/task/32339/stat : 32339 (java) S 32305 32305 32261 0 -1 1077944384 13 7700 0 0 0 0 11 1 20 0 22 0 500134649 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208469173792 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32340] ppid=32305 vsize=8283048 memory=4108 CPUtime=0.12 cores=0-7 /proc/32328/task/32340/stat : 32340 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134649 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208200738160 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32341] ppid=32305 vsize=8283048 memory=1804 CPUtime=0.12 cores=0-7 /proc/32328/task/32341/stat : 32341 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134652 8481841152 30443 33554432000 4194304 4196468 140734180180240 140207826229584 140209813874587 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32342] ppid=32305 vsize=8283048 memory=916 CPUtime=0.2 cores=0-7 /proc/32328/task/32342/stat : 32342 (java) R 32305 32305 32261 0 -1 4202560 705 7700 0 0 8 0 11 1 20 0 22 0 500134652 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208570754016 140209797339522 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32343] ppid=32305 vsize=8283048 memory=3908 CPUtime=0.19 cores=0-7 /proc/32328/task/32343/stat : 32343 (java) S 32305 32305 32261 0 -1 1077944384 304 7700 0 0 7 0 11 1 20 0 22 0 500134652 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208569710832 140209813867138 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32344] ppid=32305 vsize=8283048 memory=1412 CPUtime=0.21 cores=0-7 /proc/32328/task/32344/stat : 32344 (java) R 32305 32305 32261 0 -1 4202560 210 7700 0 0 9 0 11 1 20 0 22 0 500134652 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208568638096 140209795031939 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32345] ppid=32305 vsize=8283048 memory=2536 CPUtime=0.36 cores=0-7 /proc/32328/task/32345/stat : 32345 (java) R 32305 32305 32261 0 -1 4202560 630 7700 0 0 24 0 11 1 20 0 22 0 500134652 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208567604416 140209792485363 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32346] ppid=32305 vsize=8283048 memory=1476 CPUtime=0.12 cores=0-7 /proc/32328/task/32346/stat : 32346 (java) S 32305 32305 32261 0 -1 1077944384 3 7700 0 0 0 0 11 1 20 0 22 0 500134653 8481841152 30443 33554432000 4194304 4196468 140734180180240 140207328324704 140209813866197 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 [pid=32328/tid=32347] ppid=32305 vsize=8283048 memory=55960 CPUtime=0.12 cores=0-7 /proc/32328/task/32347/stat : 32347 (java) S 32305 32305 32261 0 -1 1077944384 1 7700 0 0 0 0 11 1 20 0 22 0 500134654 8481841152 30443 33554432000 4194304 4196468 140734180180240 140208566553648 140209813867138 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20123648 140734180185079 140734180185238 140734180185238 140734180188111 0 Current children cumulated CPU time: 5.89 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 123248 KiB Child status: 0 Real time (s): 5.86047 CPU time (s): 6.03956 CPU user time (s): 5.75715 CPU system time (s): 0.282401 CPU usage (%): 103.056 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 397432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.75715 system time used= 0.282401 maximum resident set size= 401784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55127 page faults= 0 swaps= 0 block input operations= 14560 block output operations= 2144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8405 involuntary context switches= 121 # summary of solver processes directly reported to runsolver: # pid: 32305 # total CPU time (s): 6.03956 # total CPU user time (s): 5.75715 # total CPU system time (s): 0.282401 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.073219 second user time and 0.097956 second system time The end
Begin job on node151 at 2019-09-23 13:36:27 IDJOB=4405515 IDBENCH=115545 IDSOLVER=2868 FILE ID=node151/4405515-1569238628 RUNJOBID= node151-1569238587-32288 PBS_JOBID= 21704891 Free space on /tmp= 12412 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-enddr1-7.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-4405515-1569238628/watcher-4405515-1569238628 -o /tmp/evaluation-result-4405515-1569238628/solver-4405515-1569238628 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569238587-32288 --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-4405515-1569238628.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 7d172624d7d2d86f32f8d29666a5f8b7 RANDOM SEED=760864286 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 24827680 kB MemAvailable: 31797764 kB Buffers: 86372 kB Cached: 7045828 kB SwapCached: 51108 kB Active: 3496988 kB Inactive: 3691188 kB Active(anon): 4212 kB Inactive(anon): 106312 kB Active(file): 3492776 kB Inactive(file): 3584876 kB Unevictable: 108620 kB Mlocked: 108620 kB SwapTotal: 67108860 kB SwapFree: 66956140 kB Dirty: 20588 kB Writeback: 0 kB AnonPages: 113172 kB Mapped: 52528 kB Shmem: 45796 kB Slab: 349764 kB SReclaimable: 320892 kB SUnreclaim: 28872 kB KernelStack: 3296 kB PageTables: 5596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514272 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 12392 MiB End job on node151 at 2019-09-23 13:36:34