Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 17.5715 | 5.94446 |
Name | Mixed/Mixed-xcsp2-cril/ cril-2_X2.xml |
MD5SUM | e953f4a4989b8abb5ffb897aaba74e21 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.102789 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 208 |
Number of constraints | 2032 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 10 |
Distribution of domain sizes | [{"size":8,"count":200},{"size":10,"count":8}] |
Minimum variable degree | 4 |
Maximum variable degree | 35 |
Distribution of variable degrees | [{"degree":4,"count":1},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":9,"count":3},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":12,"count":3},{"degree":13,"count":8},{"degree":14,"count":4},{"degree":15,"count":12},{"degree":16,"count":15},{"degree":17,"count":16},{"degree":18,"count":13},{"degree":19,"count":12},{"degree":20,"count":23},{"degree":21,"count":26},{"degree":22,"count":16},{"degree":23,"count":9},{"degree":24,"count":12},{"degree":25,"count":7},{"degree":26,"count":4},{"degree":27,"count":5},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":30,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":35,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":2032}] |
Number of extensional constraints | 2032 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2032}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-10004-serial-file.bin HOME/instance-4405541-1569239495.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Mon Sep 23 13:50:36 CEST 2019 0.66/0.56 c PID: 10007 0.66/0.56 c IP: 172.20.3.103 0.66/0.56 c HOST: node103.alineos.net 0.66/0.57 c (0,0) Parsing Begin 3.58/1.34 c (0,0) Parsing End 3.58/1.35 c (0,0) CSP: 208 int (0 aux), 0 bool (0 aux), 2032 ctr, max domain size 10 3.58/1.35 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 3.58/1.35 c (0,0) Constraint Name Generate Begin 3.58/1.36 c (0,0) Ctr:HOME/instance-4405541-1569239495.xml,ExtensionConflict:ExtensionSupport:Var 3.58/1.36 c (0,0) Constraint Name Generate End 3.58/1.36 c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 3.58/1.36 c (0,0) CSP to CSPinCNF Begin 5.26/1.96 c (1,1) translated 204 (10%) constraints 6.12/2.17 c (1,1) translated 407 (20%) constraints 6.90/2.33 c (1,1) translated 610 (30%) constraints 7.32/2.47 c (1,1) translated 813 (40%) constraints 8.13/2.60 c (2,2) translated 1016 (50%) constraints 8.52/2.73 c (2,2) translated 1220 (60%) constraints 8.93/2.85 c (2,2) translated 1423 (70%) constraints 9.32/2.96 c (2,2) translated 1626 (80%) constraints 9.58/3.05 c (2,2) translated 1829 (90%) constraints 10.75/3.61 c (3,2) translated 2032 (100%) constraints 10.75/3.61 c (3,2) =========================================== 10.75/3.64 c (3,2) Hybrid: #OE=409, #LE=0 10.75/3.64 c (3,2) Hybrid 10.75/3.64 c (3,2) =========================================== 11.17/3.71 c (3,2) translated 1840 (10%) constraints 11.17/3.76 c (3,2) translated 3679 (20%) constraints 11.57/3.81 c (3,3) translated 5519 (30%) constraints 11.57/3.87 c (3,3) translated 7358 (40%) constraints 11.96/3.92 c (3,3) translated 9198 (50%) constraints 11.96/3.97 c (3,3) translated 11037 (60%) constraints 12.30/4.02 c (3,3) translated 12877 (70%) constraints 12.30/4.07 c (3,3) translated 14716 (80%) constraints 12.70/4.12 c (3,3) translated 16556 (90%) constraints 12.70/4.18 c (3,3) translated 18395 (100%) constraints 12.70/4.18 c (3,3) CSP to CSPinCNF End 12.70/4.18 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18395 ctr, max domain size 10 12.70/4.18 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 12.70/4.18 c (3,3) CSPinCNF Propagation Begin 13.84/4.42 c (3,3) 0 values, 4622 unsatisfiable literals, and 21 valid clauses are removed 13.84/4.42 c (3,3) CSPinCNF Propagation End 13.84/4.42 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10 13.84/4.42 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 13.84/4.44 c (3,3) Hybrid: #OE=409, #LE=0 13.84/4.44 c (3,3) Simplify CSPinCNF Begin 14.25/4.52 c (3,3) Simplify CSPinCNF End 14.25/4.52 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10 14.25/4.52 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 14.25/4.52 c (3,3) Calculate Precise Domain Begin 14.25/4.52 c (3,3) 0 values are removed by re-calculation 14.25/4.52 c (3,3) Calculate Precise Domain End 14.25/4.52 c (3,3) CSP: 208 int (0 aux), 201 bool (201 aux), 18374 ctr, max domain size 10 14.25/4.52 c (3,3) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 14.25/4.52 c (3,3) CSPinCNF to SatSolver Begin 14.62/4.67 c (4,3) 1838 (10 %) CSP clauses are encoded (0 SAT variables, 3093 SAT clauses) 15.02/4.73 c (4,3) 3675 (20 %) CSP clauses are encoded (0 SAT variables, 4930 SAT clauses) 15.02/4.78 c (4,3) 5513 (30 %) CSP clauses are encoded (0 SAT variables, 6768 SAT clauses) 15.42/4.83 c (4,4) 7350 (40 %) CSP clauses are encoded (0 SAT variables, 8605 SAT clauses) 15.42/4.86 c (4,4) 9187 (50 %) CSP clauses are encoded (0 SAT variables, 10442 SAT clauses) 15.42/4.88 c (4,4) 11025 (60 %) CSP clauses are encoded (0 SAT variables, 12280 SAT clauses) 15.76/4.90 c (4,4) 12862 (70 %) CSP clauses are encoded (0 SAT variables, 14117 SAT clauses) 15.76/4.92 c (4,4) 14700 (80 %) CSP clauses are encoded (0 SAT variables, 15955 SAT clauses) 15.76/4.95 c (4,4) 16537 (90 %) CSP clauses are encoded (0 SAT variables, 17792 SAT clauses) 15.76/4.97 c (4,4) 18374 (100 %) CSP clauses are encoded (0 SAT variables, 19629 SAT clauses) 15.76/4.97 c (4,4) CSPinCNF to SatSolver End 15.76/4.97 c (4,4) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB) 15.76/4.97 c (4,4) 1665 bool, 19630 clause 15.76/4.97 c (4,4) Export Begin 15.97/5.10 c (4,4) Export to HOME/scop-10004-serial-file.bin 15.97/5.10 c (4,4) Export End 15.97/5.10 c (4,4) Export File Size: 0.05 MB 15.97/5.10 c (4,4) 0,0,3,3,3,3,4,STOP-AFTER(DIMACS) 15.97/5.10 c END-Prog: Mon Sep 23 13:50:41 CEST 2019 0.00/5.12 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10004-serial-file.bin 16.23/5.57 c (0,0) Read Serial File Begin 16.23/5.57 c (0,0) HOME/scop-10004-serial-file.bin 16.23/5.81 c (0,0) Read Serial File End 16.23/5.82 16.23/5.82 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 16.23/5.82 (Solving Process) 16.23/5.82 16.23/5.84 c BEGIN-Prog: Mon Sep 23 13:50:42 CEST 2019 16.23/5.84 c PID: 10027 16.23/5.84 c IP: 172.20.3.103 16.23/5.84 c HOST: node103.alineos.net 16.23/5.85 c (0,0) SatSolver.solve Begin 16.23/5.85 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405541-1569239495.xml-scop-10007.cnf 16.23/5.88 c (0,0) c 16.23/5.88 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) 16.23/5.88 c (0,0) c 16.23/5.88 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 16.23/5.88 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 16.23/5.88 c (0,0) c ========================================[ Problem Statistics ]=========================================== 16.23/5.88 c (0,0) c | | 16.23/5.88 c (0,0) c | Number of variables: 1665 | 16.23/5.88 c (0,0) c | Number of clauses: 19604 | 16.23/5.88 c (0,0) c | Parse time: 0.01 s | 16.23/5.88 c (0,0) c | | 16.23/5.89 c (0,0) c | Simplification time: 0.01 s | 16.23/5.89 c (0,0) c | | 16.23/5.89 c (0,0) c | Generating clones | 16.23/5.90 c (0,0) c | all clones generated. Memory = 32.90Mb. | 16.23/5.90 c (0,0) c ========================================================================================================| 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 16.23/5.90 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 16.23/5.90 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 16.23/5.90 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 16.23/5.90 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 16.23/5.90 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 16.23/5.90 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 16.23/5.90 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 16.23/5.90 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 16.23/5.90 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 16.23/5.90 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 16.23/5.90 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 16.23/5.90 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 16.23/5.90 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 16.23/5.90 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 16.23/5.90 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 16.23/5.90 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c real time : 0.0293751 s 16.23/5.90 c (0,0) c cpu time : 0.026217 s 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 16.23/5.90 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | Conflicts | 165 | 14 | 25 | 17 | 23 | 16 | 21 | 32 | 17 | 16.23/5.90 c (0,0) c | Decisions | 368 | 14 | 35 | 67 | 41 | 24 | 42 | 86 | 59 | 16.23/5.90 c (0,0) c | Propagations | 5938 | 384 | 541 | 783 | 917 | 440 | 973 | 1186 | 714 | 16.23/5.90 c (0,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 16.23/5.90 c (0,0) c | Restarts | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 16.23/5.90 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | PropBinClauses| 10223 | 810 | 1078 | 1222 | 1490 | 716 | 1828 | 1913 | 1166 | 16.23/5.90 c (0,0) c | PropPreBlocker| 42349 | 2888 | 3696 | 6702 | 6116 | 2710 | 6536 | 8214 | 5487 | 16.23/5.90 c (0,0) c | PropNotBlocker| 24983 | 1937 | 2408 | 3776 | 3460 | 1729 | 3545 | 4821 | 3307 | 16.23/5.90 c (0,0) c | LitFullScans | 89692 | 6734 | 8687 | 13247 | 12973 | 6178 | 13674 | 16951 | 11248 | 16.23/5.90 c (0,0) c | LitScanFracts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | DecisionLevel0| 42 | 4 | 4 | 5 | 6 | 8 | 5 | 4 | 6 | 16.23/5.90 c (0,0) c | Periods | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 16.23/5.90 c (0,0) c | Avg_Trail | | 65 | 56 | 188 | 115 | 59 | 85 | 173 | 128 | 16.23/5.90 c (0,0) c | Avg_DL | | 3 | 3 | 27 | 9 | 2 | 5 | 25 | 15 | 16.23/5.90 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | Exported | 53 | 4 | 8 | 6 | 5 | 4 | 9 | 12 | 5 | 16.23/5.90 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 16.23/5.90 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | Unaries | | 3 | 3 | 4 | 5 | 7 | 4 | 3 | 5 | 16.23/5.90 c (0,0) c | Binaries | | 3 | 3 | 4 | 4 | 2 | 8 | 10 | 2 | 16.23/5.90 c (0,0) c | Glues | | 4 | 8 | 6 | 5 | 4 | 9 | 12 | 5 | 16.23/5.90 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | Orig_Seen | 0 % | 172 | 162 | 187 | 206 | 133 | 202 | 170 | 163 | 16.23/5.90 c (0,0) c | Diff Orig seen| | X | - 10 | 15 | 34 | - 39 | 30 | - 2 | - 9 | 16.23/5.90 c (0,0) c | Hamming | 3 % | X | 48 | 81 | 58 | 54 | 53 | 83 | 60 | 16.23/5.90 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c | RunningTime | | 0.0 99%| 0.0 98%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 99%| 0.0 100%| 0.0 99%| 16.23/5.90 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%| 16.23/5.90 c (0,0) c | ExchangingTime| | 0.0 1%| 0.0 2%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 1%| 0.0 0%| 0.0 1%| 16.23/5.90 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%| 16.23/5.90 c (0,0) c | SolvingTime | | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 16.23/5.90 c (0,0) c | PropagationTim| | 0.0 88%| 0.0 60%| 0.0 93%| 0.0 89%| 0.0 88%| 0.0 88%| 0.0 93%| 0.0 92%| 16.23/5.90 c (0,0) c | AnalysisTime | | 0.0 5%| 0.0 13%| 0.0 3%| 0.0 6%| 0.0 7%| 0.0 6%| 0.0 3%| 0.0 4%| 16.23/5.90 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%| 16.23/5.90 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%| 16.23/5.90 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%| 16.23/5.90 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%| 16.23/5.90 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c 16.23/5.90 c (0,0) c Threads : 8 16.23/5.90 c (0,0) c Winner : 0 16.23/5.90 c (0,0) c Conflicts_0 : 14 16.23/5.90 c (0,0) c Conflicts_1 : 25 16.23/5.90 c (0,0) c Conflicts_2 : 17 16.23/5.90 c (0,0) c Conflicts_3 : 23 16.23/5.90 c (0,0) c Conflicts_4 : 16 16.23/5.90 c (0,0) c Conflicts_5 : 21 16.23/5.90 c (0,0) c Conflicts_6 : 32 16.23/5.90 c (0,0) c Conflicts_7 : 17 16.23/5.90 c (0,0) c Conflicts_total : 165 16.23/5.90 c (0,0) c Conflicts_winner : 14 16.23/5.90 c (0,0) c Decisions_0 : 14 16.23/5.90 c (0,0) c Decisions_1 : 35 16.23/5.90 c (0,0) c Decisions_2 : 67 16.23/5.90 c (0,0) c Decisions_3 : 41 16.23/5.90 c (0,0) c Decisions_4 : 24 16.23/5.90 c (0,0) c Decisions_5 : 42 16.23/5.90 c (0,0) c Decisions_6 : 86 16.23/5.90 c (0,0) c Decisions_7 : 59 16.23/5.90 c (0,0) c Decisions_total : 368 16.23/5.90 c (0,0) c Decisions_winner : 14 16.23/5.91 c (0,0) c Propagations_0 : 384 16.23/5.91 c (0,0) c Propagations_1 : 541 16.23/5.91 c (0,0) c Propagations_2 : 783 16.23/5.91 c (0,0) c Propagations_3 : 917 16.23/5.91 c (0,0) c Propagations_4 : 440 16.23/5.91 c (0,0) c Propagations_5 : 973 16.23/5.91 c (0,0) c Propagations_6 : 1186 16.23/5.91 c (0,0) c Propagations_7 : 714 16.23/5.91 c (0,0) c Propagations_total : 5938 16.23/5.91 c (0,0) c Propagations_winner : 384 16.23/5.91 c (0,0) c ReduceDBs_0 : 0 16.23/5.91 c (0,0) c ReduceDBs_1 : 0 16.23/5.91 c (0,0) c ReduceDBs_2 : 0 16.23/5.91 c (0,0) c ReduceDBs_3 : 0 16.23/5.91 c (0,0) c ReduceDBs_4 : 0 16.23/5.91 c (0,0) c ReduceDBs_5 : 0 16.23/5.91 c (0,0) c ReduceDBs_6 : 0 16.23/5.91 c (0,0) c ReduceDBs_7 : 0 16.23/5.91 c (0,0) c ReduceDBs_total : 0 16.23/5.91 c (0,0) c ReduceDBs_winner : 0 16.23/5.91 c (0,0) c SimpDBs_0 : 1 16.23/5.91 c (0,0) c SimpDBs_1 : 1 16.23/5.91 c (0,0) c SimpDBs_2 : 1 16.23/5.91 c (0,0) c SimpDBs_3 : 1 16.23/5.91 c (0,0) c SimpDBs_4 : 1 16.23/5.91 c (0,0) c SimpDBs_5 : 1 16.23/5.91 c (0,0) c SimpDBs_6 : 1 16.23/5.91 c (0,0) c SimpDBs_7 : 1 16.23/5.91 c (0,0) c SimpDBs_total : 8 16.23/5.91 c (0,0) c SimpDBs_winner : 1 16.23/5.91 c (0,0) c Restarts_0 : 1 16.23/5.91 c (0,0) c Restarts_1 : 1 16.23/5.91 c (0,0) c Restarts_2 : 1 16.23/5.91 c (0,0) c Restarts_3 : 1 16.23/5.91 c (0,0) c Restarts_4 : 1 16.23/5.91 c (0,0) c Restarts_5 : 1 16.23/5.91 c (0,0) c Restarts_6 : 1 16.23/5.91 c (0,0) c Restarts_7 : 1 16.23/5.91 c (0,0) c Restarts_total : 8 16.23/5.91 c (0,0) c Restarts_winner : 1 16.23/5.91 c (0,0) c ForcedImports_0 : 0 16.23/5.91 c (0,0) c ForcedImports_1 : 0 16.23/5.91 c (0,0) c ForcedImports_2 : 0 16.23/5.91 c (0,0) c ForcedImports_3 : 0 16.23/5.91 c (0,0) c ForcedImports_4 : 0 16.23/5.91 c (0,0) c ForcedImports_5 : 0 16.23/5.91 c (0,0) c ForcedImports_6 : 0 16.23/5.91 c (0,0) c ForcedImports_7 : 0 16.23/5.91 c (0,0) c ForcedImports_total : 0 16.23/5.91 c (0,0) c ForcedImports_winner : 0 16.23/5.91 c (0,0) c PropsBinClauses_0 : 810 16.23/5.91 c (0,0) c PropsBinClauses_1 : 1078 16.23/5.91 c (0,0) c PropsBinClauses_2 : 1222 16.23/5.91 c (0,0) c PropsBinClauses_3 : 1490 16.23/5.91 c (0,0) c PropsBinClauses_4 : 716 16.23/5.91 c (0,0) c PropsBinClauses_5 : 1828 16.23/5.91 c (0,0) c PropsBinClauses_6 : 1913 16.23/5.91 c (0,0) c PropsBinClauses_7 : 1166 16.23/5.91 c (0,0) c PropsBinClauses_total : 10223 16.23/5.91 c (0,0) c PropsBinClauses_winner : 810 16.23/5.91 c (0,0) c PropsPreBlocker_0 : 2888 16.23/5.91 c (0,0) c PropsPreBlocker_1 : 3696 16.23/5.91 c (0,0) c PropsPreBlocker_2 : 6702 16.23/5.91 c (0,0) c PropsPreBlocker_3 : 6116 16.23/5.91 c (0,0) c PropsPreBlocker_4 : 2710 16.23/5.91 c (0,0) c PropsPreBlocker_5 : 6536 16.23/5.91 c (0,0) c PropsPreBlocker_6 : 8214 16.23/5.91 c (0,0) c PropsPreBlocker_7 : 5487 16.23/5.91 c (0,0) c PropsPreBlocker_total : 42349 16.23/5.91 c (0,0) c PropsPreBlocker_winner : 2888 16.23/5.91 c (0,0) c PropsNotBlocker_0 : 1937 16.23/5.91 c (0,0) c PropsNotBlocker_1 : 2408 16.23/5.91 c (0,0) c PropsNotBlocker_2 : 3776 16.23/5.91 c (0,0) c PropsNotBlocker_3 : 3460 16.23/5.91 c (0,0) c PropsNotBlocker_4 : 1729 16.23/5.91 c (0,0) c PropsNotBlocker_5 : 3545 16.23/5.91 c (0,0) c PropsNotBlocker_6 : 4821 16.23/5.91 c (0,0) c PropsNotBlocker_7 : 3307 16.23/5.91 c (0,0) c PropsNotBlocker_total : 24983 16.23/5.91 c (0,0) c PropsNotBlocker_winner : 1937 16.23/5.91 c (0,0) c PropsLitFullScans_0 : 6734 16.23/5.91 c (0,0) c PropsLitFullScans_1 : 8687 16.23/5.91 c (0,0) c PropsLitFullScans_2 : 13247 16.23/5.91 c (0,0) c PropsLitFullScans_3 : 12973 16.23/5.91 c (0,0) c PropsLitFullScans_4 : 6178 16.23/5.91 c (0,0) c PropsLitFullScans_5 : 13674 16.23/5.91 c (0,0) c PropsLitFullScans_6 : 16951 16.23/5.91 c (0,0) c PropsLitFullScans_7 : 11248 16.23/5.91 c (0,0) c PropsLitFullScans_total : 89692 16.23/5.91 c (0,0) c PropsLitFullScans_winner : 6734 16.23/5.91 c (0,0) c LitScanFractions_0 : 0 16.23/5.91 c (0,0) c LitScanFractions_1 : 0 16.23/5.91 c (0,0) c LitScanFractions_2 : 0 16.23/5.91 c (0,0) c LitScanFractions_3 : 0 16.23/5.91 c (0,0) c LitScanFractions_4 : 0 16.23/5.91 c (0,0) c LitScanFractions_5 : 0 16.23/5.91 c (0,0) c LitScanFractions_6 : 0 16.23/5.91 c (0,0) c LitScanFractions_7 : 0 16.23/5.91 c (0,0) c LitScanFractions_total : 0 16.23/5.91 c (0,0) c LitScanFractions_winner : 0 16.23/5.91 c (0,0) c DecisionLevel0_0 : 4 16.23/5.91 c (0,0) c DecisionLevel0_1 : 4 16.23/5.91 c (0,0) c DecisionLevel0_2 : 5 16.23/5.91 c (0,0) c DecisionLevel0_3 : 6 16.23/5.91 c (0,0) c DecisionLevel0_4 : 8 16.23/5.91 c (0,0) c DecisionLevel0_5 : 5 16.23/5.91 c (0,0) c DecisionLevel0_6 : 4 16.23/5.91 c (0,0) c DecisionLevel0_7 : 6 16.23/5.91 c (0,0) c DecisionLevel0_total : 42 16.23/5.91 c (0,0) c DecisionLevel0_winner : 4 16.23/5.91 c (0,0) c Periods_0 : 0 16.23/5.91 c (0,0) c Periods_1 : 0 16.23/5.91 c (0,0) c Periods_2 : 0 16.23/5.91 c (0,0) c Periods_3 : 0 16.23/5.91 c (0,0) c Periods_4 : 0 16.23/5.91 c (0,0) c Periods_5 : 0 16.23/5.91 c (0,0) c Periods_6 : 0 16.23/5.91 c (0,0) c Periods_7 : 0 16.23/5.91 c (0,0) c Periods_total : 0 16.23/5.91 c (0,0) c Periods_winner : 0 16.23/5.91 c (0,0) c Margin_0 : 20 16.23/5.91 c (0,0) c Margin_1 : 20 16.23/5.91 c (0,0) c Margin_2 : 20 16.23/5.91 c (0,0) c Margin_3 : 20 16.23/5.91 c (0,0) c Margin_4 : 20 16.23/5.91 c (0,0) c Margin_5 : 20 16.23/5.91 c (0,0) c Margin_6 : 20 16.23/5.91 c (0,0) c Margin_7 : 20 16.23/5.91 c (0,0) c Margin_total : 160 16.23/5.91 c (0,0) c Margin_winner : 20 16.23/5.91 c (0,0) c Exported_0 : 4 16.23/5.91 c (0,0) c Exported_1 : 8 16.23/5.91 c (0,0) c Exported_2 : 6 16.23/5.91 c (0,0) c Exported_3 : 5 16.23/5.91 c (0,0) c Exported_4 : 4 16.23/5.91 c (0,0) c Exported_5 : 9 16.23/5.91 c (0,0) c Exported_6 : 12 16.23/5.91 c (0,0) c Exported_7 : 5 16.23/5.91 c (0,0) c Exported_total : 53 16.23/5.91 c (0,0) c Exported_winner : 4 16.23/5.91 c (0,0) c Imported_0 : 0 16.23/5.91 c (0,0) c Imported_1 : 0 16.23/5.91 c (0,0) c Imported_2 : 0 16.23/5.91 c (0,0) c Imported_3 : 0 16.23/5.91 c (0,0) c Imported_4 : 0 16.23/5.91 c (0,0) c Imported_5 : 0 16.23/5.91 c (0,0) c Imported_6 : 0 16.23/5.91 c (0,0) c Imported_7 : 0 16.23/5.91 c (0,0) c Imported_total : 0 16.23/5.91 c (0,0) c Imported_winner : 0 16.23/5.91 c (0,0) c Good_0 : 0 16.23/5.91 c (0,0) c Good_1 : 0 16.23/5.91 c (0,0) c Good_2 : 0 16.23/5.91 c (0,0) c Good_3 : 0 16.23/5.91 c (0,0) c Good_4 : 0 16.23/5.91 c (0,0) c Good_5 : 0 16.23/5.91 c (0,0) c Good_6 : 0 16.23/5.91 c (0,0) c Good_7 : 0 16.23/5.91 c (0,0) c Good_total : 0 16.23/5.91 c (0,0) c Good_winner : 0 16.23/5.91 c (0,0) c Purge_0 : 0 16.23/5.91 c (0,0) c Purge_1 : 0 16.23/5.91 c (0,0) c Purge_2 : 0 16.23/5.91 c (0,0) c Purge_3 : 0 16.23/5.91 c (0,0) c Purge_4 : 0 16.23/5.91 c (0,0) c Purge_5 : 0 16.23/5.91 c (0,0) c Purge_6 : 0 16.23/5.91 c (0,0) c Purge_7 : 0 16.23/5.91 c (0,0) c Purge_total : 0 16.23/5.91 c (0,0) c Purge_winner : 0 16.23/5.91 c (0,0) c Promoted_0 : 0 16.23/5.91 c (0,0) c Promoted_1 : 0 16.23/5.91 c (0,0) c Promoted_2 : 0 16.23/5.91 c (0,0) c Promoted_3 : 0 16.23/5.91 c (0,0) c Promoted_4 : 0 16.23/5.91 c (0,0) c Promoted_5 : 0 16.23/5.91 c (0,0) c Promoted_6 : 0 16.23/5.91 c (0,0) c Promoted_7 : 0 16.23/5.91 c (0,0) c Promoted_total : 0 16.23/5.91 c (0,0) c Promoted_winner : 0 16.23/5.91 c (0,0) c Remove_Imp_0 : 0 16.23/5.91 c (0,0) c Remove_Imp_1 : 0 16.23/5.91 c (0,0) c Remove_Imp_2 : 0 16.23/5.91 c (0,0) c Remove_Imp_3 : 0 16.23/5.91 c (0,0) c Remove_Imp_4 : 0 16.23/5.91 c (0,0) c Remove_Imp_5 : 0 16.23/5.91 c (0,0) c Remove_Imp_6 : 0 16.23/5.91 c (0,0) c Remove_Imp_7 : 0 16.23/5.91 c (0,0) c Remove_Imp_total : 0 16.23/5.91 c (0,0) c Remove_Imp_winner : 0 16.23/5.91 c (0,0) c Blocked_Reuse_0 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_1 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_2 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_3 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_4 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_5 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_6 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_7 : 0 16.23/5.91 c (0,0) c Blocked_Reuse_total : 0 16.23/5.91 c (0,0) c Blocked_Reuse_winner : 0 16.23/5.91 c (0,0) c Unaries_0 : 3 16.23/5.91 c (0,0) c Unaries_1 : 3 16.23/5.91 c (0,0) c Unaries_2 : 4 16.23/5.91 c (0,0) c Unaries_3 : 5 16.23/5.91 c (0,0) c Unaries_4 : 7 16.23/5.91 c (0,0) c Unaries_5 : 4 16.23/5.91 c (0,0) c Unaries_6 : 3 16.23/5.91 c (0,0) c Unaries_7 : 5 16.23/5.91 c (0,0) c Unaries_total : 34 16.23/5.91 c (0,0) c Unaries_winner : 3 16.23/5.91 c (0,0) c Binaries_0 : 3 16.23/5.91 c (0,0) c Binaries_1 : 3 16.23/5.91 c (0,0) c Binaries_2 : 4 16.23/5.91 c (0,0) c Binaries_3 : 4 16.23/5.91 c (0,0) c Binaries_4 : 2 16.23/5.91 c (0,0) c Binaries_5 : 8 16.23/5.91 c (0,0) c Binaries_6 : 10 16.23/5.91 c (0,0) c Binaries_7 : 2 16.23/5.91 c (0,0) c Binaries_total : 36 16.23/5.91 c (0,0) c Binaries_winner : 3 16.23/5.91 c (0,0) c Glues_0 : 4 16.23/5.91 c (0,0) c Glues_1 : 8 16.23/5.91 c (0,0) c Glues_2 : 6 16.23/5.91 c (0,0) c Glues_3 : 5 16.23/5.91 c (0,0) c Glues_4 : 4 16.23/5.91 c (0,0) c Glues_5 : 9 16.23/5.91 c (0,0) c Glues_6 : 12 16.23/5.91 c (0,0) c Glues_7 : 5 16.23/5.91 c (0,0) c Glues_total : 53 16.23/5.91 c (0,0) c Glues_winner : 4 16.23/5.91 c (0,0) c RunningTime_0 : 0.000616 16.23/5.91 c (0,0) c RunningTime_1 : 0.000313 16.23/5.91 c (0,0) c RunningTime_2 : 0.001271 16.23/5.91 c (0,0) c RunningTime_3 : 0.000935 16.23/5.91 c (0,0) c RunningTime_4 : 0.000411 16.23/5.91 c (0,0) c RunningTime_5 : 0.000719 16.23/5.91 c (0,0) c RunningTime_6 : 0.001116 16.23/5.91 c (0,0) c RunningTime_7 : 0.000768 16.23/5.91 c (0,0) c RunningTime_total : 0.006149 16.23/5.91 c (0,0) c RunningTime_winner : 0.000616 16.23/5.91 c (0,0) c WaitingTime_0 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_1 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_2 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_3 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_4 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_5 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_6 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_7 : 0.000000 16.23/5.91 c (0,0) c WaitingTime_total : 0.000000 16.23/5.91 c (0,0) c WaitingTime_winner : 0.000000 16.23/5.91 c (0,0) c ExchangingTime_0 : 0.000004 16.23/5.91 c (0,0) c ExchangingTime_1 : 0.000006 16.23/5.91 c (0,0) c ExchangingTime_2 : 0.000000 16.23/5.91 c (0,0) c ExchangingTime_3 : 0.000004 16.23/5.91 c (0,0) c ExchangingTime_4 : 0.000002 16.23/5.91 c (0,0) c ExchangingTime_5 : 0.000009 16.23/5.91 c (0,0) c ExchangingTime_6 : 0.000001 16.23/5.91 c (0,0) c ExchangingTime_7 : 0.000005 16.23/5.91 c (0,0) c ExchangingTime_total : 0.000031 16.23/5.91 c (0,0) c ExchangingTime_winner : 0.000004 16.23/5.91 c (0,0) c PeriodProcTime_0 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_1 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_2 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_3 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_4 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_5 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_6 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_7 : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_total : 0.000000 16.23/5.91 c (0,0) c PeriodProcTime_winner : 0.000000 16.23/5.91 c (0,0) c SolvingTime_0 : 0.000620 16.23/5.91 c (0,0) c SolvingTime_1 : 0.000318 16.23/5.91 c (0,0) c SolvingTime_2 : 0.001271 16.23/5.91 c (0,0) c SolvingTime_3 : 0.000939 16.23/5.91 c (0,0) c SolvingTime_4 : 0.000413 16.23/5.92 c (0,0) c SolvingTime_5 : 0.000728 16.23/5.92 c (0,0) c SolvingTime_6 : 0.001117 16.23/5.92 c (0,0) c SolvingTime_7 : 0.000773 16.23/5.92 c (0,0) c SolvingTime_total : 0.006179 16.23/5.92 c (0,0) c SolvingTime_winner : 0.000620 16.23/5.92 c (0,0) c PropagationTime_0 : 0.000549 16.23/5.92 c (0,0) c PropagationTime_1 : 0.000190 16.23/5.92 c (0,0) c PropagationTime_2 : 0.001188 16.23/5.92 c (0,0) c PropagationTime_3 : 0.000839 16.23/5.92 c (0,0) c PropagationTime_4 : 0.000362 16.23/5.92 c (0,0) c PropagationTime_5 : 0.000644 16.23/5.92 c (0,0) c PropagationTime_6 : 0.001034 16.23/5.92 c (0,0) c PropagationTime_7 : 0.000711 16.23/5.92 c (0,0) c PropagationTime_total : 0.005516 16.23/5.92 c (0,0) c PropagationTime_winner : 0.000549 16.23/5.92 c (0,0) c AnalysisTime_0 : 0.000031 16.23/5.92 c (0,0) c AnalysisTime_1 : 0.000042 16.23/5.92 c (0,0) c AnalysisTime_2 : 0.000034 16.23/5.92 c (0,0) c AnalysisTime_3 : 0.000052 16.23/5.92 c (0,0) c AnalysisTime_4 : 0.000029 16.23/5.92 c (0,0) c AnalysisTime_5 : 0.000040 16.23/5.92 c (0,0) c AnalysisTime_6 : 0.000037 16.23/5.92 c (0,0) c AnalysisTime_7 : 0.000028 16.23/5.92 c (0,0) c AnalysisTime_total : 0.000295 16.23/5.92 c (0,0) c AnalysisTime_winner : 0.000031 16.23/5.92 c (0,0) c ReductionTime_0 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_1 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_2 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_3 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_4 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_5 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_6 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_7 : 0.000000 16.23/5.92 c (0,0) c ReductionTime_total : 0.000000 16.23/5.92 c (0,0) c ReductionTime_winner : 0.000000 16.23/5.92 c (0,0) c SimplifyTime_0 : 0.000000 16.23/5.92 c (0,0) c SimplifyTime_1 : 0.000000 16.23/5.92 c (0,0) c SimplifyTime_2 : 0.000000 16.23/5.92 c (0,0) c SimplifyTime_3 : 0.000000 16.23/5.92 c (0,0) c SimplifyTime_4 : 0.000001 16.23/5.92 c (0,0) c SimplifyTime_5 : 0.000000 16.23/5.92 c (0,0) c SimplifyTime_6 : 0.000000 16.23/5.92 c (0,0) c SimplifyTime_7 : 0.000001 16.23/5.92 c (0,0) c SimplifyTime_total : 0.000002 16.23/5.92 c (0,0) c SimplifyTime_winner : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_0 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_1 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_2 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_3 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_4 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_5 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_6 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_7 : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_total : 0.000000 16.23/5.92 c (0,0) c UsedRateTime_winner : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_0 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_1 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_2 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_3 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_4 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_5 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_6 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_7 : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_total : 0.000000 16.23/5.92 c (0,0) c OverlapRateTime_winner : 0.000000 16.23/5.92 c (0,0) c 16.23/5.92 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 16.23/5.92 c (0,0) c 16.23/5.92 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.92 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 16.23/5.92 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.92 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 16.23/5.92 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 16.23/5.92 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 16.23/5.92 c (0,0) c | Initial random_seed | 1728706671 | 656909969 | 1147077437 | 897781419 | 16046959 | 1826232360 | 1490658852 | 296632794 | 16.23/5.92 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 16.23/5.92 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 16.23/5.92 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 16.23/5.92 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 16.23/5.92 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 16.23/5.92 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 16.23/5.92 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 16.23/5.92 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 16.23/5.92 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 16.23/5.92 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 16.23/5.92 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 16.23/5.92 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 16.23/5.92 c (0,0) 16.23/5.92 c (0,0) s UNSATISFIABLE 16.23/5.92 c (0,0) SatSolver.solve End 16.23/5.92 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 16.23/5.92 c (0,0) Show results Begin 16.23/5.92 s UNSATISFIABLE 16.23/5.92 c (0,0) Show results End 16.23/5.92 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 16.23/5.92 c (0,0) 0,0,STOP-AFTER(ALL) 16.23/5.92 c END-Prog: Mon Sep 23 13:50:42 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (11998 MiB free) memory of node 1: 16384 MiB (13109 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405541-1569239495/watcher-4405541-1569239495 -o /tmp/evaluation-result-4405541-1569239495/solver-4405541-1569239495 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569238572-9187 --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-4405541-1569239495.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=10004, runsolver pid=10001 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 3.81 2.63 1.33 2/211 10026 /proc/meminfo: memFree=25616900/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500202542 115843072 349 33554432000 4194304 5098028 140733165513168 140733165510424 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 349 296 221 0 87 0 [pid=10007] ppid=10004 vsize=27314120 memory=104564 CPUtime=0.1 cores=0-7 /proc/10007/stat : 10007 (java) S 10004 10004 9160 0 -1 1077944320 6185 0 0 0 8 2 0 0 20 0 20 0 500202542 27969658880 26141 33554432000 4194304 4196468 140720985899616 140720985882160 140352702271223 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 /proc/10007/statm: 6828530 26141 2816 1 0 6790935 0 [pid=10007/tid=10008] ppid=10004 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/10007/task/10008/stat : 10008 (java) R 10004 10004 9160 0 -1 4202560 4270 0 0 0 7 2 0 0 20 0 20 0 500202543 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352674097552 140352686351710 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10009] ppid=10004 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10007/task/10009/stat : 10009 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352706513168 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10010] ppid=10004 vsize=27314120 memory=139652971386496 CPUtime=0 cores=0-7 /proc/10007/task/10010/stat : 10010 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352489908624 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10011] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10011/stat : 10011 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352488856080 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10012] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10012/stat : 10012 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352487803536 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10013] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10013/stat : 10013 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352486750992 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10014] ppid=10004 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10007/task/10014/stat : 10014 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352119888784 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10015] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10015/stat : 10015 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352118836240 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10016] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10016/stat : 10016 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 26653 33554432000 4194304 4196468 140720985899616 140352117783696 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10017] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10017/stat : 10017 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 26653 33554432000 4194304 4196468 140720985899616 140351760201712 140352702282370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10018] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10018/stat : 10018 (java) S 10004 10004 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 26653 33554432000 4194304 4196468 140720985899616 140350605747104 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10019] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10019/stat : 10019 (java) S 10004 10004 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 26653 33554432000 4194304 4196468 140720985899616 140350471525360 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10020] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10020/stat : 10020 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 26653 33554432000 4194304 4196468 140720985899616 140350097021136 140352702289819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10021] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10021/stat : 10021 (java) R 10004 10004 9160 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 26653 33554432000 4194304 4196468 140720985899616 140351759149552 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10022] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10022/stat : 10022 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 26653 33554432000 4194304 4196468 140720985899616 140351758097008 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10023] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10023/stat : 10023 (java) R 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 26653 33554432000 4194304 4196468 140720985899616 140351757044464 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10024] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10024/stat : 10024 (java) R 10004 10004 9160 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 26653 33554432000 4194304 4196468 140720985899616 140351755991920 140352702282370 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10025] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10025/stat : 10025 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 26653 33554432000 4194304 4196468 140720985899616 140349599115488 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10026] ppid=10004 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10007/task/10026/stat : 10026 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 26653 33554432000 4194304 4196468 140720985899616 140351754938800 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105960 KiB [startup+0.210672 s]* /proc/loadavg: 3.81 2.63 1.33 2/211 10026 /proc/meminfo: memFree=25595840/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500202542 115843072 349 33554432000 4194304 5098028 140733165513168 140733165510424 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 349 296 221 0 87 0 [pid=10007] ppid=10004 vsize=27314120 memory=123544 CPUtime=0.24 cores=0-7 /proc/10007/stat : 10007 (java) S 10004 10004 9160 0 -1 1077944320 11652 0 0 0 20 4 0 0 20 0 20 0 500202542 27969658880 30886 33554432000 4194304 4196468 140720985899616 140720985882160 140352702271223 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 /proc/10007/statm: 6828530 30886 2935 1 0 6790935 0 [pid=10007/tid=10008] ppid=10004 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10007/task/10008/stat : 10008 (java) R 10004 10004 9160 0 -1 4202560 9348 0 0 0 16 3 0 0 20 0 20 0 500202543 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352674091152 140352686351710 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10009] ppid=10004 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/10007/task/10009/stat : 10009 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352706513168 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10010] ppid=10004 vsize=27314120 memory=139652971405014 CPUtime=0 cores=0-7 /proc/10007/task/10010/stat : 10010 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352489908624 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10011] ppid=10004 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10007/task/10011/stat : 10011 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352488856080 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10012] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10012/stat : 10012 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352487803536 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10013] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10013/stat : 10013 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352486750992 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10014] ppid=10004 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10007/task/10014/stat : 10014 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352119888784 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10015] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10015/stat : 10015 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352118836240 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10016] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10016/stat : 10016 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 30886 33554432000 4194304 4196468 140720985899616 140352117783696 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10017] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10017/stat : 10017 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 30886 33554432000 4194304 4196468 140720985899616 140351760201712 140352702282370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10018] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10018/stat : 10018 (java) S 10004 10004 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 30886 33554432000 4194304 4196468 140720985899616 140350605747104 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10019] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10019/stat : 10019 (java) S 10004 10004 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 30886 33554432000 4194304 4196468 140720985899616 140350471525360 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10020] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10020/stat : 10020 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 30886 33554432000 4194304 4196468 140720985899616 140350097021136 140352702289819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10021] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10021/stat : 10021 (java) S 10004 10004 9160 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 30886 33554432000 4194304 4196468 140720985899616 140351759149552 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10022] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10022/stat : 10022 (java) S 10004 10004 9160 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 30886 33554432000 4194304 4196468 140720985899616 140351758097008 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10023] ppid=10004 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10007/task/10023/stat : 10023 (java) S 10004 10004 9160 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 30886 33554432000 4194304 4196468 140720985899616 140351757044464 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10024] ppid=10004 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/10007/task/10024/stat : 10024 (java) S 10004 10004 9160 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 500202550 27969658880 30886 33554432000 4194304 4196468 140720985899616 140351755991920 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10025] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10025/stat : 10025 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 30886 33554432000 4194304 4196468 140720985899616 140349599115488 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10026] ppid=10004 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10007/task/10026/stat : 10026 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 30886 33554432000 4194304 4196468 140720985899616 140351754938800 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124940 KiB [startup+0.310289 s]* /proc/loadavg: 3.81 2.63 1.33 2/211 10026 /proc/meminfo: memFree=25593728/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500202542 115843072 349 33554432000 4194304 5098028 140733165513168 140733165510424 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 349 296 221 0 87 0 [pid=10007] ppid=10004 vsize=27314120 memory=127508 CPUtime=0.42 cores=0-7 /proc/10007/stat : 10007 (java) S 10004 10004 9160 0 -1 1077944320 12802 0 0 0 37 5 0 0 20 0 20 0 500202542 27969658880 31877 33554432000 4194304 4196468 140720985899616 140720985882160 140352702271223 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 /proc/10007/statm: 6828530 31877 2997 1 0 6790935 0 [pid=10007/tid=10008] ppid=10004 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/10007/task/10008/stat : 10008 (java) R 10004 10004 9160 0 -1 4202560 10292 0 0 0 26 4 0 0 20 0 20 0 500202543 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352674101296 140352686351710 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10009] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10009/stat : 10009 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352706513168 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10010] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10010/stat : 10010 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352489908624 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10011] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10011/stat : 10011 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352488856080 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10012] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10012/stat : 10012 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352487803536 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10013] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10013/stat : 10013 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352486750992 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10014] ppid=10004 vsize=27314120 memory=139652874988207 CPUtime=0 cores=0-7 /proc/10007/task/10014/stat : 10014 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352119888784 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10015] ppid=10004 vsize=27314120 memory=139652874990512 CPUtime=0 cores=0-7 /proc/10007/task/10015/stat : 10015 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352118836240 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10016] ppid=10004 vsize=27314120 memory=139652874992816 CPUtime=0 cores=0-7 /proc/10007/task/10016/stat : 10016 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27969658880 31877 33554432000 4194304 4196468 140720985899616 140352117783696 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10017] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10017/stat : 10017 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 31877 33554432000 4194304 4196468 140720985899616 140351760201712 140352702282370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10018] ppid=10004 vsize=27314120 memory=279305749999504 CPUtime=0 cores=0-7 /proc/10007/task/10018/stat : 10018 (java) S 10004 10004 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 31877 33554432000 4194304 4196468 140720985899616 140350605747104 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10019] ppid=10004 vsize=27314120 memory=279305749997200 CPUtime=0 cores=0-7 /proc/10007/task/10019/stat : 10019 (java) S 10004 10004 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500202547 27969658880 31877 33554432000 4194304 4196468 140720985899616 140350471525360 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10020] ppid=10004 vsize=27314120 memory=279305750004112 CPUtime=0 cores=0-7 /proc/10007/task/10020/stat : 10020 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 31877 33554432000 4194304 4196468 140720985899616 140350097021136 140352702289819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10021] ppid=10004 vsize=27314120 memory=279305749945392 CPUtime=0.01 cores=0-7 /proc/10007/task/10021/stat : 10021 (java) S 10004 10004 9160 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 500202550 27969658880 31877 33554432000 4194304 4196468 140720985899616 140351759149552 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10022] ppid=10004 vsize=27314120 memory=279305750017936 CPUtime=0.01 cores=0-7 /proc/10007/task/10022/stat : 10022 (java) S 10004 10004 9160 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 500202550 27969658880 31877 33554432000 4194304 4196468 140720985899616 140351758097008 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10023] ppid=10004 vsize=27314120 memory=279305750024848 CPUtime=0.02 cores=0-7 /proc/10007/task/10023/stat : 10023 (java) R 10004 10004 9160 0 -1 4202560 111 0 0 0 2 0 0 0 20 0 20 0 500202550 27969658880 31877 33554432000 4194304 4196468 140720985899616 140351757044464 140352685757136 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10024] ppid=10004 vsize=27314120 memory=279305750022544 CPUtime=0.06 cores=0-7 /proc/10007/task/10024/stat : 10024 (java) S 10004 10004 9160 0 -1 1077944384 512 0 0 0 6 0 0 0 20 0 20 0 500202550 27969658880 31877 33554432000 4194304 4196468 140720985899616 140351755991920 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10025] ppid=10004 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10025/stat : 10025 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 31877 33554432000 4194304 4196468 140720985899616 140349599115488 140352702281429 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10026] ppid=10004 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10007/task/10026/stat : 10026 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27969658880 31877 33554432000 4194304 4196468 140720985899616 140351754938800 140352702282370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128904 KiB [startup+0.702013 s] /proc/loadavg: 3.81 2.63 1.33 2/211 10026 /proc/meminfo: memFree=25572324/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500202542 115843072 349 33554432000 4194304 5098028 140733165513168 140733165510424 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 349 296 221 0 87 0 [pid=10007] ppid=10004 vsize=27320392 memory=163764 CPUtime=1.03 cores=0-7 /proc/10007/stat : 10007 (java) S 10004 10004 9160 0 -1 1077944320 20020 0 0 0 95 8 0 0 20 0 20 0 500202542 27976081408 40941 33554432000 4194304 4196468 140720985899616 140720985882160 140352702271223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 /proc/10007/statm: 6830098 40941 3187 1 0 6791447 0 [pid=10007/tid=10008] ppid=10004 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/10007/task/10008/stat : 10008 (java) R 10004 10004 9160 0 -1 4202560 16854 0 0 0 62 6 0 0 20 0 20 0 500202543 27976081408 40941 33554432000 4194304 4196468 140720985899616 140352674108640 140352166167063 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10009] ppid=10004 vsize=27320392 memory=139652875199344 CPUtime=0 cores=0-7 /proc/10007/task/10009/stat : 10009 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27976081408 40941 33554432000 4194304 4196468 140720985899616 140352706513168 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10010] ppid=10004 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10010/stat : 10010 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27976081408 40941 33554432000 4194304 4196468 140720985899616 140352489908624 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10011] ppid=10004 vsize=27320392 memory=1004 CPUtime=0 cores=0-7 /proc/10007/task/10011/stat : 10011 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27976081408 40941 33554432000 4194304 4196468 140720985899616 140352488856080 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 ################ # More data... # ################ [pid=10007/tid=10019] ppid=10004 vsize=27326612 memory=482356 CPUtime=0 cores=0-7 /proc/10007/task/10019/stat : 10019 (java) S 10004 10004 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500202547 27982450688 170132 33554432000 4194304 4196468 140720985899616 140350471525360 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10020] ppid=10004 vsize=27326612 memory=6296145878437418080 CPUtime=0 cores=0-7 /proc/10007/task/10020/stat : 10020 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27982450688 170132 33554432000 4194304 4196468 140720985899616 140350097021136 140352702289819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10021] ppid=10004 vsize=27326612 memory=3834030169651163443 CPUtime=1.89 cores=0-7 /proc/10007/task/10021/stat : 10021 (java) S 10004 10004 9160 0 -1 1077944384 2020 0 0 0 188 1 0 0 20 0 20 0 500202550 27982450688 170132 33554432000 4194304 4196468 140720985899616 140351759149552 140352702282370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10022] ppid=10004 vsize=27326612 memory=2241 CPUtime=1.93 cores=0-7 /proc/10007/task/10022/stat : 10022 (java) S 10004 10004 9160 0 -1 1077944384 1763 0 0 0 193 0 0 0 20 0 20 0 500202550 27982450688 170132 33554432000 4194304 4196468 140720985899616 140351758097008 140352702282370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10023] ppid=10004 vsize=27326612 memory=2244 CPUtime=1.91 cores=0-7 /proc/10007/task/10023/stat : 10023 (java) S 10004 10004 9160 0 -1 1077944384 1985 0 0 0 190 1 0 0 20 0 20 0 500202550 27982450688 170132 33554432000 4194304 4196468 140720985899616 140351757044464 140352702282370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10024] ppid=10004 vsize=27326612 memory=1060 CPUtime=0.92 cores=0-7 /proc/10007/task/10024/stat : 10024 (java) S 10004 10004 9160 0 -1 1077944384 2474 0 0 0 91 1 0 0 20 0 20 0 500202550 27982450688 170132 33554432000 4194304 4196468 140720985899616 140351755991920 140352702282370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10025] ppid=10004 vsize=27326612 memory=1548 CPUtime=0 cores=0-7 /proc/10007/task/10025/stat : 10025 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27982450688 170132 33554432000 4194304 4196468 140720985899616 140349599115488 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10026] ppid=10004 vsize=27326612 memory=8560 CPUtime=0 cores=0-7 /proc/10007/task/10026/stat : 10026 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27982450688 170132 33554432000 4194304 4196468 140720985899616 140351754938800 140352702282370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 Current children cumulated CPU time: 9.77 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 681924 KiB [startup+5.9444 s] # the end of solver process 10004 was just reported to runsolver # cumulated CPU time of all completed processes: user=17.1426 s, system=0.428914 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20123 s] /proc/loadavg: 3.81 2.63 1.33 2/211 10026 /proc/meminfo: memFree=25087988/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500202542 115843072 349 33554432000 4194304 5098028 140733165513168 140733165510424 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 349 296 221 0 87 0 [pid=10007] ppid=10004 vsize=27326612 memory=694864 CPUtime=9.8 cores=0-7 /proc/10007/stat : 10007 (java) S 10004 10004 9160 0 -1 1077944320 30635 0 0 0 960 20 0 0 20 0 20 0 500202542 27982450688 173716 33554432000 4194304 4196468 140720985899616 140720985882160 140352702271223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 /proc/10007/statm: 6831653 173716 3254 1 0 6792983 0 [pid=10007/tid=10008] ppid=10004 vsize=27326612 memory=1004 CPUtime=3.11 cores=0-7 /proc/10007/task/10008/stat : 10008 (java) D 10004 10004 9160 0 -1 4202560 21029 0 0 0 296 15 0 0 20 0 20 0 500202543 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352674102440 140352688011506 0 4 2 25189581 18446744072099941509 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10009] ppid=10004 vsize=27326612 memory=6072 CPUtime=0 cores=0-7 /proc/10007/task/10009/stat : 10009 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352706513168 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10010] ppid=10004 vsize=27326612 memory=14008 CPUtime=0 cores=0-7 /proc/10007/task/10010/stat : 10010 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352489908624 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10011] ppid=10004 vsize=27326612 memory=2124 CPUtime=0 cores=0-7 /proc/10007/task/10011/stat : 10011 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352488856080 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10012] ppid=10004 vsize=27326612 memory=34024 CPUtime=0 cores=0-7 /proc/10007/task/10012/stat : 10012 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352487803536 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10013] ppid=10004 vsize=27326612 memory=590328 CPUtime=0 cores=0-7 /proc/10007/task/10013/stat : 10013 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352486750992 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10014] ppid=10004 vsize=27326612 memory=3504 CPUtime=0 cores=0-7 /proc/10007/task/10014/stat : 10014 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352119888784 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10015] ppid=10004 vsize=27326612 memory=62148 CPUtime=0 cores=0-7 /proc/10007/task/10015/stat : 10015 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352118836240 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10016] ppid=10004 vsize=27326612 memory=3028 CPUtime=0 cores=0-7 /proc/10007/task/10016/stat : 10016 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27982450688 173716 33554432000 4194304 4196468 140720985899616 140352117783696 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10017] ppid=10004 vsize=27326612 memory=2012 CPUtime=0 cores=0-7 /proc/10007/task/10017/stat : 10017 (java) S 10004 10004 9160 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 500202547 27982450688 173716 33554432000 4194304 4196468 140720985899616 140351760201712 140352702282370 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10018] ppid=10004 vsize=27326612 memory=1436 CPUtime=0 cores=0-7 /proc/10007/task/10018/stat : 10018 (java) S 10004 10004 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500202547 27982450688 173716 33554432000 4194304 4196468 140720985899616 140350605747104 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10019] ppid=10004 vsize=27326612 memory=776 CPUtime=0 cores=0-7 /proc/10007/task/10019/stat : 10019 (java) S 10004 10004 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500202547 27982450688 173716 33554432000 4194304 4196468 140720985899616 140350471525360 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10020] ppid=10004 vsize=27326612 memory=3604 CPUtime=0 cores=0-7 /proc/10007/task/10020/stat : 10020 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27982450688 173716 33554432000 4194304 4196468 140720985899616 140350097021136 140352702289819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10021] ppid=10004 vsize=27326612 memory=2828 CPUtime=1.89 cores=0-7 /proc/10007/task/10021/stat : 10021 (java) D 10004 10004 9160 0 -1 4202560 2020 0 0 0 188 1 0 0 20 0 20 0 500202550 27982450688 173716 33554432000 4194304 4196468 140720985899616 140351759149472 140352682195359 0 4 2 25189581 18446744072099941509 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10022] ppid=10004 vsize=27326612 memory=676 CPUtime=1.93 cores=0-7 /proc/10007/task/10022/stat : 10022 (java) D 10004 10004 9160 0 -1 4202560 1763 0 0 0 193 0 0 0 20 0 20 0 500202550 27982450688 173716 33554432000 4194304 4196468 140720985899616 140351758097304 140352682195359 0 4 2 25189581 18446744072099941509 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10023] ppid=10004 vsize=27326612 memory=0 CPUtime=1.91 cores=0-7 /proc/10007/task/10023/stat : 10023 (java) D 10004 10004 9160 0 -1 4202560 1985 0 0 0 190 1 0 0 20 0 20 0 500202550 27982450688 173716 33554432000 4194304 4196468 140720985899616 140351757044760 140352682195359 0 4 2 25189581 18446744072099941509 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10024] ppid=10004 vsize=27326612 memory=0 CPUtime=0.92 cores=0-7 /proc/10007/task/10024/stat : 10024 (java) D 10004 10004 9160 0 -1 4202560 2474 0 0 0 91 1 0 0 20 0 20 0 500202550 27982450688 173716 33554432000 4194304 4196468 140720985899616 140351755992216 140352682195359 0 4 2 25189581 18446744072099941509 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10025] ppid=10004 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10025/stat : 10025 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27982450688 173716 33554432000 4194304 4196468 140720985899616 140349599115488 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10026] ppid=10004 vsize=27326612 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10026/stat : 10026 (java) D 10004 10004 9160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27982450688 173716 33554432000 4194304 4196468 140720985899616 140351754938720 140352687127310 0 4 2 25189581 18446744072099941509 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 Current children cumulated CPU time: 9.8 s Current children cumulated vsize: 27439740 KiB Current children cumulated memory: 696260 KiB [startup+4.80089 s] /proc/loadavg: 3.81 2.63 1.33 5/211 10026 /proc/meminfo: memFree=24894564/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500202542 115843072 349 33554432000 4194304 5098028 140733165513168 140733165510424 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 349 296 221 0 87 0 [pid=10007] ppid=10004 vsize=27328728 memory=1069220 CPUtime=15.42 cores=0-7 /proc/10007/stat : 10007 (java) S 10004 10004 9160 0 -1 1077944320 33649 0 0 0 1515 27 0 0 20 0 20 0 500202542 27984617472 267305 33554432000 4194304 4196468 140720985899616 140720985882160 140352702271223 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 /proc/10007/statm: 6832182 267305 3273 1 0 6792983 0 [pid=10007/tid=10008] ppid=10004 vsize=27328728 memory=416628 CPUtime=4.52 cores=0-7 /proc/10007/task/10008/stat : 10008 (java) R 10004 10004 9160 0 -1 4202560 21572 0 0 0 431 21 0 0 20 0 20 0 500202543 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352674106432 140352176152332 0 4 2 25189581 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10009] ppid=10004 vsize=27328728 memory=2244 CPUtime=0 cores=0-7 /proc/10007/task/10009/stat : 10009 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352706513168 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10010] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10010/stat : 10010 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352489908624 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10011] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10011/stat : 10011 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352488856080 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10012] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10012/stat : 10012 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352487803536 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10013] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10013/stat : 10013 (java) S 10004 10004 9160 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352486750992 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10014] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10014/stat : 10014 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352119888784 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10015] ppid=10004 vsize=27328728 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/10007/task/10015/stat : 10015 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352118836240 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10016] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10016/stat : 10016 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202545 27984617472 267305 33554432000 4194304 4196468 140720985899616 140352117783696 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10017] ppid=10004 vsize=27328728 memory=139652875376432 CPUtime=0 cores=0-7 /proc/10007/task/10017/stat : 10017 (java) S 10004 10004 9160 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 500202547 27984617472 267305 33554432000 4194304 4196468 140720985899616 140351760201712 140352702282370 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10018] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10018/stat : 10018 (java) S 10004 10004 9160 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500202547 27984617472 267305 33554432000 4194304 4196468 140720985899616 140350605747104 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10019] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10019/stat : 10019 (java) S 10004 10004 9160 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500202547 27984617472 267305 33554432000 4194304 4196468 140720985899616 140350471525360 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10020] ppid=10004 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/10007/task/10020/stat : 10020 (java) S 10004 10004 9160 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500202550 27984617472 267305 33554432000 4194304 4196468 140720985899616 140350097021136 140352702289819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10021] ppid=10004 vsize=27328728 memory=0 CPUtime=3.22 cores=0-7 /proc/10007/task/10021/stat : 10021 (java) R 10004 10004 9160 0 -1 4202560 2488 0 0 0 321 1 0 0 20 0 20 0 500202550 27984617472 267305 33554432000 4194304 4196468 140720985899616 140351759131184 140352687195510 0 4 2 25189581 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10022] ppid=10004 vsize=27328728 memory=0 CPUtime=3.16 cores=0-7 /proc/10007/task/10022/stat : 10022 (java) R 10004 10004 9160 0 -1 4202560 2006 0 0 0 315 1 0 0 20 0 20 0 500202550 27984617472 267305 33554432000 4194304 4196468 140720985899616 140351758076240 140352683463207 0 4 2 25189581 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10023] ppid=10004 vsize=27328728 memory=776 CPUtime=3.29 cores=0-7 /proc/10007/task/10023/stat : 10023 (java) R 10004 10004 9160 0 -1 4202560 3109 0 0 0 328 1 0 0 20 0 20 0 500202550 27984617472 267305 33554432000 4194304 4196468 140720985899616 140351757044464 140352688303278 0 4 2 25189581 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10024] ppid=10004 vsize=27328728 memory=3604 CPUtime=1.19 cores=0-7 /proc/10007/task/10024/stat : 10024 (java) S 10004 10004 9160 0 -1 1077944384 3108 0 0 0 118 1 0 0 20 0 20 0 500202550 27984617472 267305 33554432000 4194304 4196468 140720985899616 140351755991920 140352702282370 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10025] ppid=10004 vsize=27328728 memory=2828 CPUtime=0 cores=0-7 /proc/10007/task/10025/stat : 10025 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27984617472 267305 33554432000 4194304 4196468 140720985899616 140349599115488 140352702281429 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 [pid=10007/tid=10026] ppid=10004 vsize=27328728 memory=676 CPUtime=0 cores=0-7 /proc/10007/task/10026/stat : 10026 (java) S 10004 10004 9160 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500202550 27984617472 267305 33554432000 4194304 4196468 140720985899616 140351754938800 140352702282370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 24227840 140720985903850 140720985904278 140720985904278 140720985907151 0 Current children cumulated CPU time: 15.42 s Current children cumulated vsize: 27441856 KiB Current children cumulated memory: 1070616 KiB [startup+5.6017 s] /proc/loadavg: 3.50 2.59 1.33 3/211 10026 /proc/meminfo: memFree=24540112/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1476 CPUtime=16.23 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 582 34537 0 0 0 0 1591 32 20 0 1 0 500202542 115843072 369 33554432000 4194304 5098028 140733165513168 140733165509912 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 16.23 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB [startup+5.8067 s] /proc/loadavg: 3.50 2.59 1.33 3/211 10026 /proc/meminfo: memFree=24540112/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1476 CPUtime=16.23 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 582 34537 0 0 0 0 1591 32 20 0 1 0 500202542 115843072 369 33554432000 4194304 5098028 140733165513168 140733165509912 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 16.23 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB [startup+5.90054 s] /proc/loadavg: 3.50 2.59 1.33 3/211 10026 /proc/meminfo: memFree=24540112/32770624 swapFree=66999244/67108860 [pid=10004] ppid=10001 vsize=113128 memory=1476 CPUtime=16.23 cores=0-7 /proc/10004/stat : 10004 (scop.sh) S 10001 10004 9160 0 -1 4202496 582 34537 0 0 0 0 1591 32 20 0 1 0 500202542 115843072 369 33554432000 4194304 5098028 140733165513168 140733165509912 140256506012284 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33865728 140733165519652 140733165519980 140733165519980 140733165522893 0 /proc/10004/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 16.23 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 5.94446 CPU time (s): 17.5715 CPU user time (s): 17.1426 CPU system time (s): 0.428914 CPU usage (%): 295.595 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1182352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.1426 system time used= 0.428914 maximum resident set size= 1188440 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58729 page faults= 0 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8240 involuntary context switches= 34 # summary of solver processes directly reported to runsolver: # pid: 10004 # total CPU time (s): 17.5715 # total CPU user time (s): 17.1426 # total CPU system time (s): 0.428914 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.057191 second user time and 0.111205 second system time The end
Begin job on node103 at 2019-09-23 13:50:36 IDJOB=4405541 IDBENCH=122870 IDSOLVER=2868 FILE ID=node103/4405541-1569239495 RUNJOBID= node103-1569238572-9187 PBS_JOBID= 21704917 Free space on /tmp= 20856 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-2_X2.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-4405541-1569239495/watcher-4405541-1569239495 -o /tmp/evaluation-result-4405541-1569239495/solver-4405541-1569239495 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569238572-9187 --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-4405541-1569239495.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= e953f4a4989b8abb5ffb897aaba74e21 RANDOM SEED=740963004 node103.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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25710896 kB MemAvailable: 31856972 kB Buffers: 83468 kB Cached: 6344784 kB SwapCached: 6972 kB Active: 3185784 kB Inactive: 3257468 kB Active(anon): 4372 kB Inactive(anon): 67800 kB Active(file): 3181412 kB Inactive(file): 3189668 kB Unevictable: 107192 kB Mlocked: 107192 kB SwapTotal: 67108860 kB SwapFree: 66999244 kB Dirty: 20592 kB Writeback: 0 kB AnonPages: 165324 kB Mapped: 55068 kB Shmem: 49072 kB Slab: 210232 kB SReclaimable: 181664 kB SUnreclaim: 28568 kB KernelStack: 3920 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514336 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20836 MiB End job on node103 at 2019-09-23 13:50:42