Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 134.477 | 19.0459 |
Name | PseudoBoolean/PseudoBoolean-dec-fpga/ Pb-chnl10-15.xml |
MD5SUM | 0275487dddce0dcf34d0f76368ca0063 |
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 | 62.4225 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 300 |
Number of constraints | 50 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":300}] |
Minimum variable degree | 2 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":2,"count":300}] |
Minimum constraint arity | 10 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":10,"count":30},{"arity":15,"count":20}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":50}] |
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-9914-serial-file.bin HOME/instance-4392791-1568437396.xml 0.66/0.53 0.66/0.53 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.53 0.66/0.56 c BEGIN-Prog: Sat Sep 14 06:01:42 CEST 2019 0.66/0.56 c PID: 9917 0.66/0.56 c IP: 172.20.3.105 0.66/0.56 c HOST: node105.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.38/0.96 c (0,0) Parsing End 1.38/0.97 c (0,0) CSP: 0 int (0 aux), 300 bool (0 aux), 50 ctr, max domain size 2 1.38/0.97 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.38/0.97 c (0,0) Constraint Name Generate Begin 1.38/0.98 c (0,0) Ctr:HOME/instance-4392791-1568437396.xml,Num:Var:WeightedSum 1.38/0.98 c (0,0) Constraint Name Generate End 1.38/0.98 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.38/0.98 c (0,0) CSP to CSPinCNF Begin 1.59/1.08 c (0,0) translated 5 (10%) constraints 1.59/1.10 c (0,0) translated 10 (20%) constraints 1.59/1.11 c (0,0) translated 15 (30%) constraints 1.82/1.12 c (0,0) translated 20 (40%) constraints 1.82/1.13 c (0,0) translated 25 (50%) constraints 1.82/1.14 c (0,0) translated 30 (60%) constraints 1.82/1.15 c (0,0) translated 35 (70%) constraints 1.82/1.16 c (0,0) translated 40 (80%) constraints 1.82/1.17 c (0,0) translated 45 (90%) constraints 1.82/1.18 c (0,0) translated 50 (100%) constraints 1.82/1.19 c (0,0) =========================================== 1.82/1.19 c (0,0) Hybrid: #OE=0, #LE=300 1.82/1.19 c (0,0) Hybrid 1.82/1.19 c (0,0) =========================================== 1.82/1.20 c (0,0) translated 5 (10%) constraints 2.15/1.20 c (0,0) translated 10 (20%) constraints 2.15/1.20 c (0,0) translated 15 (30%) constraints 2.15/1.20 c (0,0) translated 20 (40%) constraints 2.15/1.21 c (0,0) translated 25 (50%) constraints 2.15/1.21 c (0,0) translated 30 (60%) constraints 2.15/1.21 c (0,0) translated 35 (70%) constraints 2.15/1.21 c (0,0) translated 40 (80%) constraints 2.15/1.21 c (0,0) translated 45 (90%) constraints 2.15/1.22 c (0,0) translated 50 (100%) constraints 2.15/1.22 c (0,0) CSP to CSPinCNF End 2.15/1.22 c (0,0) CSP: 0 int (0 aux), 300 bool (0 aux), 50 ctr, max domain size 2 2.15/1.22 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.15/1.22 c (0,0) CSPinCNF Propagation Begin 2.15/1.24 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.15/1.24 c (0,0) CSPinCNF Propagation End 2.15/1.24 c (0,0) CSP: 0 int (0 aux), 300 bool (0 aux), 50 ctr, max domain size 2 2.15/1.24 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.15/1.24 c (0,0) Hybrid: #OE=0, #LE=300 2.15/1.24 c (0,0) Simplify CSPinCNF Begin 2.15/1.25 c (0,0) Simplify CSPinCNF End 2.15/1.25 c (0,0) CSP: 0 int (0 aux), 300 bool (0 aux), 50 ctr, max domain size 2 2.15/1.25 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.15/1.25 c (0,0) Calculate Precise Domain Begin 2.15/1.25 c (0,0) 0 values are removed by re-calculation 2.15/1.25 c (0,0) Calculate Precise Domain End 2.15/1.25 c (0,0) CSP: 0 int (0 aux), 300 bool (0 aux), 50 ctr, max domain size 2 2.15/1.25 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.15/1.25 c (0,0) CSPinCNF to SatSolver Begin 2.45/1.30 c (0,0) 5 (10 %) CSP clauses are encoded (0 SAT variables, 4 SAT clauses) 2.45/1.31 c (0,0) 10 (20 %) CSP clauses are encoded (0 SAT variables, 9 SAT clauses) 2.45/1.31 c (0,0) 15 (30 %) CSP clauses are encoded (0 SAT variables, 14 SAT clauses) 2.45/1.31 c (0,0) 20 (40 %) CSP clauses are encoded (0 SAT variables, 19 SAT clauses) 2.45/1.31 c (0,0) 25 (50 %) CSP clauses are encoded (0 SAT variables, 24 SAT clauses) 2.45/1.31 c (0,0) 30 (60 %) CSP clauses are encoded (0 SAT variables, 29 SAT clauses) 2.45/1.33 c (0,0) 35 (70 %) CSP clauses are encoded (0 SAT variables, 354 SAT clauses) 2.45/1.34 c (0,0) 40 (80 %) CSP clauses are encoded (0 SAT variables, 759 SAT clauses) 2.45/1.35 c (0,0) 45 (90 %) CSP clauses are encoded (0 SAT variables, 1164 SAT clauses) 2.45/1.36 c (0,0) 50 (100 %) CSP clauses are encoded (0 SAT variables, 1569 SAT clauses) 2.45/1.36 c (0,0) CSPinCNF to SatSolver End 2.45/1.36 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.45/1.36 c (0,0) 860 bool, 1650 clause 2.45/1.36 c (0,0) Export Begin 2.67/1.49 c (0,0) Export to HOME/scop-9914-serial-file.bin 2.67/1.49 c (0,0) Export End 2.67/1.49 c (0,0) Export File Size: 0.11 MB 2.67/1.49 c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS) 2.67/1.49 c END-Prog: Sat Sep 14 06:01:43 CEST 2019 2.90/1.51 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9914-serial-file.bin 2.91/1.97 c (0,0) Read Serial File Begin 2.91/1.97 c (0,0) HOME/scop-9914-serial-file.bin 3.92/2.22 c (0,0) Read Serial File End 4.19/2.31 4.19/2.31 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 4.19/2.31 (Solving Process) 4.19/2.31 4.19/2.31 c BEGIN-Prog: Sat Sep 14 06:01:43 CEST 2019 4.19/2.31 c PID: 9937 4.19/2.31 c IP: 172.20.3.105 4.19/2.31 c HOST: node105.alineos.net 4.19/2.31 c (0,0) SatSolver.solve Begin 4.19/2.31 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392791-1568437396.xml-scop-9917.cnf 4.19/2.31 c (0,0) c 4.19/2.31 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.19/2.31 c (0,0) c 4.19/2.31 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.19/2.31 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.19/2.31 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.19/2.31 c (0,0) c | | 4.19/2.31 c (0,0) c | Number of variables: 860 | 4.19/2.31 c (0,0) c | Number of clauses: 1630 | 4.19/2.31 c (0,0) c | Parse time: 0.00 s | 4.19/2.31 c (0,0) c | | 4.19/2.31 c (0,0) c | Simplification time: 0.00 s | 4.19/2.31 c (0,0) c | | 4.19/2.31 c (0,0) c | Generating clones | 4.19/2.31 c (0,0) c | all clones generated. Memory = 24.57Mb. | 4.19/2.31 c (0,0) c ========================================================================================================| 4.19/2.31 c (0,0) c 4.19/2.31 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 4.19/2.31 c (0,0) c 4.19/2.31 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.19/2.31 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4.19/2.31 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4.19/2.31 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 4.19/2.31 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 4.19/2.31 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 4.19/2.31 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 4.19/2.31 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 4.19/2.31 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 4.19/2.31 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 4.19/2.31 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 4.19/2.31 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 4.19/2.31 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 4.19/2.31 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 4.19/2.31 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 4.19/2.31 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 4.19/2.31 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 4.19/2.31 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 4.19/2.31 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c 134.35/19.01 c (17,0) c real time : 16.7295 s 134.35/19.01 c (17,0) c cpu time : 129.835 s 134.35/19.01 c (17,0) c 134.35/19.01 c (17,0) c 134.35/19.01 c (17,0) c 134.35/19.01 c (17,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 134.35/19.01 c (17,0) c 134.35/19.01 c (17,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 134.35/19.01 c (17,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c | Conflicts | 669109 | 84430 | 85176 | 80651 | 86989 | 79905 | 82090 | 84411 | 85457 | 134.35/19.01 c (17,0) c | Decisions | 842370 | 106181 | 106756 | 101678 | 109364 | 100561 | 104686 | 105860 | 107284 | 134.35/19.01 c (17,0) c | Propagations | 23868962 | 3026313 | 2995880 | 2881323 | 3094959 | 2878739 | 2945543 | 3004284 | 3041921 | 134.35/19.01 c (17,0) c | ReduceDBs | 56 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 134.35/19.01 c (17,0) c | SimpDBs | 17 | 2 | 2 | 3 | 2 | 2 | 2 | 2 | 2 | 134.35/19.01 c (17,0) c | Restarts | 1436 | 189 | 168 | 157 | 169 | 184 | 231 | 167 | 171 | 134.35/19.01 c (17,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 134.35/19.01 c (17,0) c | PropBinClauses| 35672978 | 4500909 | 4482950 | 4350118 | 4585137 | 4281392 | 4389689 | 4554675 | 4528108 | 134.35/19.01 c (17,0) c | PropPreBlocker| 2617908864 | 329091680 | 331912202 | 320200007 | 331461981 | 321626683 | 322629228 | 331858691 | 329128392 | 134.35/19.01 c (17,0) c | PropNotBlocker| 1343108944 | 165173771 | 170523550 | 167568952 | 167321428 | 168220117 | 169055671 | 169642274 | 165603181 | 134.35/19.01 c (17,0) c | LitFullScans | 12323160295 | 1530216772 | 1554551769 | 1554449294 | 1536362338 | 1536409657 | 1536469938 | 1536433656 | 1538266871 | 134.35/19.01 c (17,0) c | LitScanFracts | 3387539 | 412018 | 528257 | 445614 | 339342 | 385563 | 466758 | 430446 | 379541 | 134.35/19.01 c (17,0) c | DecisionLevel0| 1461 | 198 | 170 | 160 | 169 | 185 | 233 | 169 | 177 | 134.35/19.01 c (17,0) c | Periods | 2052 | 254 | 259 | 259 | 256 | 256 | 256 | 256 | 256 | 134.35/19.01 c (17,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 134.35/19.01 c (17,0) c | Avg_Trail | | 262 | 259 | 258 | 262 | 261 | 262 | 262 | 262 | 134.35/19.01 c (17,0) c | Avg_DL | | 17 | 17 | 17 | 17 | 17 | 17 | 17 | 16 | 134.35/19.01 c (17,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 134.35/19.01 c (17,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 134.35/19.01 c (17,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c | Exported | 92090 | 12037 | 11343 | 11881 | 11940 | 10285 | 10647 | 12410 | 11547 | 134.35/19.01 c (17,0) c | Imported | 602580 | 76026 | 77477 | 76907 | 70480 | 71858 | 77488 | 75501 | 76843 | 134.35/19.01 c (17,0) c | Good | 2055 | 258 | 262 | 271 | 239 | 235 | 266 | 253 | 271 | 134.35/19.01 c (17,0) c | Purge | 600525 | 75768 | 77215 | 76636 | 70241 | 71623 | 77222 | 75248 | 76572 | 134.35/19.01 c (17,0) c | Promoted | 82471 | 10216 | 9995 | 10507 | 10466 | 10910 | 9956 | 9881 | 10540 | 134.35/19.01 c (17,0) c | Remove_Imp | 265735 | 34414 | 36894 | 28827 | 28062 | 31641 | 40769 | 34757 | 30371 | 134.35/19.01 c (17,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 134.35/19.01 c (17,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c | Unaries | | 9 | 2 | 3 | 0 | 1 | 2 | 2 | 6 | 134.35/19.01 c (17,0) c | Binaries | | 68 | 49 | 42 | 35 | 41 | 38 | 56 | 58 | 134.35/19.01 c (17,0) c | Glues | | 78 | 54 | 57 | 41 | 46 | 46 | 70 | 72 | 134.35/19.01 c (17,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c | Orig_Seen | 50 % | 604 | 602 | 604 | 603 | 609 | 604 | 604 | 604 | 134.35/19.01 c (17,0) c | Diff Orig seen| | X | - 2 | - 0 | - 1 | 5 | - 0 | - 0 | - 0 | 134.35/19.01 c (17,0) c | Hamming | 13 % | X | 109 | 135 | 96 | 124 | 92 | 142 | 98 | 134.35/19.01 c (17,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c | RunningTime | | 16.7 100%| 16.0 100%| 16.0 100%| 16.1 100%| 16.6 100%| 16.5 100%| 16.4 100%| 15.9 100%| 134.35/19.01 c (17,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%| 134.35/19.01 c (17,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.1 0%| 0.0 0%| 134.35/19.01 c (17,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%| 134.35/19.01 c (17,0) c | SolvingTime | | 16.7 | 16.0 | 16.0 | 16.2 | 16.6 | 16.6 | 16.5 | 16.0 | 134.35/19.01 c (17,0) c | PropagationTim| | 15.7 94%| 14.9 93%| 15.0 94%| 14.3 88%| 15.2 91%| 15.6 94%| 15.4 93%| 14.1 88%| 134.35/19.01 c (17,0) c | AnalysisTime | | 0.8 5%| 0.8 5%| 0.8 5%| 1.7 11%| 1.2 7%| 0.8 5%| 0.9 5%| 1.7 10%| 134.35/19.01 c (17,0) c | ReductionTime | | 0.1 0%| 0.1 1%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 134.35/19.01 c (17,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%| 134.35/19.01 c (17,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%| 134.35/19.01 c (17,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%| 134.35/19.01 c (17,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.01 c (17,0) c 134.35/19.01 c (17,0) c 134.35/19.01 c (17,0) c Threads : 8 134.35/19.01 c (17,0) c Winner : 0 134.35/19.01 c (17,0) c Conflicts_0 : 84430 134.35/19.01 c (17,0) c Conflicts_1 : 85176 134.35/19.01 c (17,0) c Conflicts_2 : 80651 134.35/19.01 c (17,0) c Conflicts_3 : 86989 134.35/19.01 c (17,0) c Conflicts_4 : 79905 134.35/19.01 c (17,0) c Conflicts_5 : 82090 134.35/19.01 c (17,0) c Conflicts_6 : 84411 134.35/19.01 c (17,0) c Conflicts_7 : 85457 134.35/19.01 c (17,0) c Conflicts_total : 669109 134.35/19.01 c (17,0) c Conflicts_winner : 84430 134.35/19.01 c (17,0) c Decisions_0 : 106181 134.35/19.01 c (17,0) c Decisions_1 : 106756 134.35/19.01 c (17,0) c Decisions_2 : 101678 134.35/19.01 c (17,0) c Decisions_3 : 109364 134.35/19.01 c (17,0) c Decisions_4 : 100561 134.35/19.01 c (17,0) c Decisions_5 : 104686 134.35/19.01 c (17,0) c Decisions_6 : 105860 134.35/19.01 c (17,0) c Decisions_7 : 107284 134.35/19.01 c (17,0) c Decisions_total : 842370 134.35/19.01 c (17,0) c Decisions_winner : 106181 134.35/19.01 c (17,0) c Propagations_0 : 3026313 134.35/19.01 c (17,0) c Propagations_1 : 2995880 134.35/19.01 c (17,0) c Propagations_2 : 2881323 134.35/19.01 c (17,0) c Propagations_3 : 3094959 134.35/19.01 c (17,0) c Propagations_4 : 2878739 134.35/19.01 c (17,0) c Propagations_5 : 2945543 134.35/19.01 c (17,0) c Propagations_6 : 3004284 134.35/19.01 c (17,0) c Propagations_7 : 3041921 134.35/19.02 c (17,0) c Propagations_total : 23868962 134.35/19.02 c (17,0) c Propagations_winner : 3026313 134.35/19.02 c (17,0) c ReduceDBs_0 : 7 134.35/19.02 c (17,0) c ReduceDBs_1 : 7 134.35/19.02 c (17,0) c ReduceDBs_2 : 7 134.35/19.02 c (17,0) c ReduceDBs_3 : 7 134.35/19.02 c (17,0) c ReduceDBs_4 : 7 134.35/19.02 c (17,0) c ReduceDBs_5 : 7 134.35/19.02 c (17,0) c ReduceDBs_6 : 7 134.35/19.02 c (17,0) c ReduceDBs_7 : 7 134.35/19.02 c (17,0) c ReduceDBs_total : 56 134.35/19.02 c (17,0) c ReduceDBs_winner : 7 134.35/19.02 c (17,0) c SimpDBs_0 : 2 134.35/19.02 c (17,0) c SimpDBs_1 : 2 134.35/19.02 c (17,0) c SimpDBs_2 : 3 134.35/19.02 c (17,0) c SimpDBs_3 : 2 134.35/19.02 c (17,0) c SimpDBs_4 : 2 134.35/19.02 c (17,0) c SimpDBs_5 : 2 134.35/19.02 c (17,0) c SimpDBs_6 : 2 134.35/19.02 c (17,0) c SimpDBs_7 : 2 134.35/19.02 c (17,0) c SimpDBs_total : 17 134.35/19.02 c (17,0) c SimpDBs_winner : 2 134.35/19.02 c (17,0) c Restarts_0 : 189 134.35/19.02 c (17,0) c Restarts_1 : 168 134.35/19.02 c (17,0) c Restarts_2 : 157 134.35/19.02 c (17,0) c Restarts_3 : 169 134.35/19.02 c (17,0) c Restarts_4 : 184 134.35/19.02 c (17,0) c Restarts_5 : 231 134.35/19.02 c (17,0) c Restarts_6 : 167 134.35/19.02 c (17,0) c Restarts_7 : 171 134.35/19.02 c (17,0) c Restarts_total : 1436 134.35/19.02 c (17,0) c Restarts_winner : 189 134.35/19.02 c (17,0) c ForcedImports_0 : 0 134.35/19.02 c (17,0) c ForcedImports_1 : 0 134.35/19.02 c (17,0) c ForcedImports_2 : 0 134.35/19.02 c (17,0) c ForcedImports_3 : 0 134.35/19.02 c (17,0) c ForcedImports_4 : 0 134.35/19.02 c (17,0) c ForcedImports_5 : 0 134.35/19.02 c (17,0) c ForcedImports_6 : 0 134.35/19.02 c (17,0) c ForcedImports_7 : 0 134.35/19.02 c (17,0) c ForcedImports_total : 0 134.35/19.02 c (17,0) c ForcedImports_winner : 0 134.35/19.02 c (17,0) c PropsBinClauses_0 : 4500909 134.35/19.02 c (17,0) c PropsBinClauses_1 : 4482950 134.35/19.02 c (17,0) c PropsBinClauses_2 : 4350118 134.35/19.02 c (17,0) c PropsBinClauses_3 : 4585137 134.35/19.02 c (17,0) c PropsBinClauses_4 : 4281392 134.35/19.02 c (17,0) c PropsBinClauses_5 : 4389689 134.35/19.02 c (17,0) c PropsBinClauses_6 : 4554675 134.35/19.02 c (17,0) c PropsBinClauses_7 : 4528108 134.35/19.02 c (17,0) c PropsBinClauses_total : 35672978 134.35/19.02 c (17,0) c PropsBinClauses_winner : 4500909 134.35/19.02 c (17,0) c PropsPreBlocker_0 : 329091680 134.35/19.02 c (17,0) c PropsPreBlocker_1 : 331912202 134.35/19.02 c (17,0) c PropsPreBlocker_2 : 320200007 134.35/19.02 c (17,0) c PropsPreBlocker_3 : 331461981 134.35/19.02 c (17,0) c PropsPreBlocker_4 : 321626683 134.35/19.02 c (17,0) c PropsPreBlocker_5 : 322629228 134.35/19.02 c (17,0) c PropsPreBlocker_6 : 331858691 134.35/19.02 c (17,0) c PropsPreBlocker_7 : 329128392 134.35/19.02 c (17,0) c PropsPreBlocker_total : 2617908864 134.35/19.02 c (17,0) c PropsPreBlocker_winner : 329091680 134.35/19.02 c (17,0) c PropsNotBlocker_0 : 165173771 134.35/19.02 c (17,0) c PropsNotBlocker_1 : 170523550 134.35/19.02 c (17,0) c PropsNotBlocker_2 : 167568952 134.35/19.02 c (17,0) c PropsNotBlocker_3 : 167321428 134.35/19.02 c (17,0) c PropsNotBlocker_4 : 168220117 134.35/19.02 c (17,0) c PropsNotBlocker_5 : 169055671 134.35/19.02 c (17,0) c PropsNotBlocker_6 : 169642274 134.35/19.02 c (17,0) c PropsNotBlocker_7 : 165603181 134.35/19.02 c (17,0) c PropsNotBlocker_total : 1343108944 134.35/19.02 c (17,0) c PropsNotBlocker_winner : 165173771 134.35/19.02 c (17,0) c PropsLitFullScans_0 : 1530216772 134.35/19.02 c (17,0) c PropsLitFullScans_1 : 1554551769 134.35/19.02 c (17,0) c PropsLitFullScans_2 : 1554449294 134.35/19.02 c (17,0) c PropsLitFullScans_3 : 1536362338 134.35/19.02 c (17,0) c PropsLitFullScans_4 : 1536409657 134.35/19.02 c (17,0) c PropsLitFullScans_5 : 1536469938 134.35/19.02 c (17,0) c PropsLitFullScans_6 : 1536433656 134.35/19.02 c (17,0) c PropsLitFullScans_7 : 1538266871 134.35/19.02 c (17,0) c PropsLitFullScans_total : 12323160295 134.35/19.02 c (17,0) c PropsLitFullScans_winner : 1530216772 134.35/19.02 c (17,0) c LitScanFractions_0 : 412018 134.35/19.02 c (17,0) c LitScanFractions_1 : 528257 134.35/19.02 c (17,0) c LitScanFractions_2 : 445614 134.35/19.02 c (17,0) c LitScanFractions_3 : 339342 134.35/19.02 c (17,0) c LitScanFractions_4 : 385563 134.35/19.02 c (17,0) c LitScanFractions_5 : 466758 134.35/19.02 c (17,0) c LitScanFractions_6 : 430446 134.35/19.02 c (17,0) c LitScanFractions_7 : 379541 134.35/19.02 c (17,0) c LitScanFractions_total : 3387539 134.35/19.02 c (17,0) c LitScanFractions_winner : 412018 134.35/19.02 c (17,0) c DecisionLevel0_0 : 198 134.35/19.02 c (17,0) c DecisionLevel0_1 : 170 134.35/19.02 c (17,0) c DecisionLevel0_2 : 160 134.35/19.02 c (17,0) c DecisionLevel0_3 : 169 134.35/19.02 c (17,0) c DecisionLevel0_4 : 185 134.35/19.02 c (17,0) c DecisionLevel0_5 : 233 134.35/19.02 c (17,0) c DecisionLevel0_6 : 169 134.35/19.02 c (17,0) c DecisionLevel0_7 : 177 134.35/19.02 c (17,0) c DecisionLevel0_total : 1461 134.35/19.02 c (17,0) c DecisionLevel0_winner : 198 134.35/19.02 c (17,0) c Periods_0 : 254 134.35/19.02 c (17,0) c Periods_1 : 259 134.35/19.02 c (17,0) c Periods_2 : 259 134.35/19.02 c (17,0) c Periods_3 : 256 134.35/19.02 c (17,0) c Periods_4 : 256 134.35/19.02 c (17,0) c Periods_5 : 256 134.35/19.02 c (17,0) c Periods_6 : 256 134.35/19.02 c (17,0) c Periods_7 : 256 134.35/19.02 c (17,0) c Periods_total : 2052 134.35/19.02 c (17,0) c Periods_winner : 254 134.35/19.02 c (17,0) c Margin_0 : 20 134.35/19.02 c (17,0) c Margin_1 : 20 134.35/19.02 c (17,0) c Margin_2 : 20 134.35/19.02 c (17,0) c Margin_3 : 20 134.35/19.02 c (17,0) c Margin_4 : 20 134.35/19.02 c (17,0) c Margin_5 : 20 134.35/19.02 c (17,0) c Margin_6 : 20 134.35/19.02 c (17,0) c Margin_7 : 20 134.35/19.02 c (17,0) c Margin_total : 160 134.35/19.02 c (17,0) c Margin_winner : 20 134.35/19.02 c (17,0) c Exported_0 : 12037 134.35/19.02 c (17,0) c Exported_1 : 11343 134.35/19.02 c (17,0) c Exported_2 : 11881 134.35/19.02 c (17,0) c Exported_3 : 11940 134.35/19.02 c (17,0) c Exported_4 : 10285 134.35/19.02 c (17,0) c Exported_5 : 10647 134.35/19.02 c (17,0) c Exported_6 : 12410 134.35/19.02 c (17,0) c Exported_7 : 11547 134.35/19.02 c (17,0) c Exported_total : 92090 134.35/19.02 c (17,0) c Exported_winner : 12037 134.35/19.02 c (17,0) c Imported_0 : 76026 134.35/19.02 c (17,0) c Imported_1 : 77477 134.35/19.02 c (17,0) c Imported_2 : 76907 134.35/19.02 c (17,0) c Imported_3 : 70480 134.35/19.02 c (17,0) c Imported_4 : 71858 134.35/19.02 c (17,0) c Imported_5 : 77488 134.35/19.02 c (17,0) c Imported_6 : 75501 134.35/19.02 c (17,0) c Imported_7 : 76843 134.35/19.02 c (17,0) c Imported_total : 602580 134.35/19.02 c (17,0) c Imported_winner : 76026 134.35/19.02 c (17,0) c Good_0 : 258 134.35/19.02 c (17,0) c Good_1 : 262 134.35/19.02 c (17,0) c Good_2 : 271 134.35/19.02 c (17,0) c Good_3 : 239 134.35/19.02 c (17,0) c Good_4 : 235 134.35/19.02 c (17,0) c Good_5 : 266 134.35/19.02 c (17,0) c Good_6 : 253 134.35/19.02 c (17,0) c Good_7 : 271 134.35/19.02 c (17,0) c Good_total : 2055 134.35/19.02 c (17,0) c Good_winner : 258 134.35/19.02 c (17,0) c Purge_0 : 75768 134.35/19.02 c (17,0) c Purge_1 : 77215 134.35/19.02 c (17,0) c Purge_2 : 76636 134.35/19.02 c (17,0) c Purge_3 : 70241 134.35/19.02 c (17,0) c Purge_4 : 71623 134.35/19.02 c (17,0) c Purge_5 : 77222 134.35/19.02 c (17,0) c Purge_6 : 75248 134.35/19.02 c (17,0) c Purge_7 : 76572 134.35/19.02 c (17,0) c Purge_total : 600525 134.35/19.02 c (17,0) c Purge_winner : 75768 134.35/19.02 c (17,0) c Promoted_0 : 10216 134.35/19.02 c (17,0) c Promoted_1 : 9995 134.35/19.02 c (17,0) c Promoted_2 : 10507 134.35/19.02 c (17,0) c Promoted_3 : 10466 134.35/19.02 c (17,0) c Promoted_4 : 10910 134.35/19.02 c (17,0) c Promoted_5 : 9956 134.35/19.02 c (17,0) c Promoted_6 : 9881 134.35/19.02 c (17,0) c Promoted_7 : 10540 134.35/19.02 c (17,0) c Promoted_total : 82471 134.35/19.02 c (17,0) c Promoted_winner : 10216 134.35/19.02 c (17,0) c Remove_Imp_0 : 34414 134.35/19.02 c (17,0) c Remove_Imp_1 : 36894 134.35/19.02 c (17,0) c Remove_Imp_2 : 28827 134.35/19.02 c (17,0) c Remove_Imp_3 : 28062 134.35/19.02 c (17,0) c Remove_Imp_4 : 31641 134.35/19.02 c (17,0) c Remove_Imp_5 : 40769 134.35/19.02 c (17,0) c Remove_Imp_6 : 34757 134.35/19.02 c (17,0) c Remove_Imp_7 : 30371 134.35/19.02 c (17,0) c Remove_Imp_total : 265735 134.35/19.02 c (17,0) c Remove_Imp_winner : 34414 134.35/19.02 c (17,0) c Blocked_Reuse_0 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_1 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_2 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_3 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_4 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_5 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_6 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_7 : 0 134.35/19.02 c (17,0) c Blocked_Reuse_total : 0 134.35/19.02 c (17,0) c Blocked_Reuse_winner : 0 134.35/19.02 c (17,0) c Unaries_0 : 9 134.35/19.02 c (17,0) c Unaries_1 : 2 134.35/19.02 c (17,0) c Unaries_2 : 3 134.35/19.02 c (17,0) c Unaries_3 : 0 134.35/19.02 c (17,0) c Unaries_4 : 1 134.35/19.02 c (17,0) c Unaries_5 : 2 134.35/19.02 c (17,0) c Unaries_6 : 2 134.35/19.02 c (17,0) c Unaries_7 : 6 134.35/19.02 c (17,0) c Unaries_total : 25 134.35/19.02 c (17,0) c Unaries_winner : 9 134.35/19.02 c (17,0) c Binaries_0 : 68 134.35/19.02 c (17,0) c Binaries_1 : 49 134.35/19.02 c (17,0) c Binaries_2 : 42 134.35/19.02 c (17,0) c Binaries_3 : 35 134.35/19.02 c (17,0) c Binaries_4 : 41 134.35/19.02 c (17,0) c Binaries_5 : 38 134.35/19.02 c (17,0) c Binaries_6 : 56 134.35/19.02 c (17,0) c Binaries_7 : 58 134.35/19.02 c (17,0) c Binaries_total : 387 134.35/19.02 c (17,0) c Binaries_winner : 68 134.35/19.02 c (17,0) c Glues_0 : 78 134.35/19.02 c (17,0) c Glues_1 : 54 134.35/19.02 c (17,0) c Glues_2 : 57 134.35/19.02 c (17,0) c Glues_3 : 41 134.35/19.02 c (17,0) c Glues_4 : 46 134.35/19.02 c (17,0) c Glues_5 : 46 134.35/19.02 c (17,0) c Glues_6 : 70 134.35/19.02 c (17,0) c Glues_7 : 72 134.35/19.02 c (17,0) c Glues_total : 464 134.35/19.02 c (17,0) c Glues_winner : 78 134.35/19.02 c (17,0) c RunningTime_0 : 16.670725 134.35/19.02 c (17,0) c RunningTime_1 : 15.950292 134.35/19.02 c (17,0) c RunningTime_2 : 15.985749 134.35/19.02 c (17,0) c RunningTime_3 : 16.121565 134.35/19.02 c (17,0) c RunningTime_4 : 16.572364 134.35/19.02 c (17,0) c RunningTime_5 : 16.510357 134.35/19.02 c (17,0) c RunningTime_6 : 16.412791 134.35/19.02 c (17,0) c RunningTime_7 : 15.916298 134.35/19.02 c (17,0) c RunningTime_total : 130.140141 134.35/19.02 c (17,0) c RunningTime_winner : 16.670725 134.35/19.02 c (17,0) c WaitingTime_0 : 0.000300 134.35/19.02 c (17,0) c WaitingTime_1 : 0.000337 134.35/19.02 c (17,0) c WaitingTime_2 : 0.000331 134.35/19.02 c (17,0) c WaitingTime_3 : 0.000341 134.35/19.02 c (17,0) c WaitingTime_4 : 0.000324 134.35/19.02 c (17,0) c WaitingTime_5 : 0.000268 134.35/19.02 c (17,0) c WaitingTime_6 : 0.000354 134.35/19.02 c (17,0) c WaitingTime_7 : 0.000341 134.35/19.02 c (17,0) c WaitingTime_total : 0.002596 134.35/19.02 c (17,0) c WaitingTime_winner : 0.000300 134.35/19.02 c (17,0) c ExchangingTime_0 : 0.042968 134.35/19.02 c (17,0) c ExchangingTime_1 : 0.041341 134.35/19.02 c (17,0) c ExchangingTime_2 : 0.044002 134.35/19.02 c (17,0) c ExchangingTime_3 : 0.039541 134.35/19.02 c (17,0) c ExchangingTime_4 : 0.038552 134.35/19.02 c (17,0) c ExchangingTime_5 : 0.045880 134.35/19.02 c (17,0) c ExchangingTime_6 : 0.052701 134.35/19.02 c (17,0) c ExchangingTime_7 : 0.047936 134.35/19.02 c (17,0) c ExchangingTime_total : 0.352919 134.35/19.02 c (17,0) c ExchangingTime_winner : 0.042968 134.35/19.02 c (17,0) c PeriodProcTime_0 : 0.001946 134.35/19.02 c (17,0) c PeriodProcTime_1 : 0.001789 134.35/19.02 c (17,0) c PeriodProcTime_2 : 0.002041 134.35/19.02 c (17,0) c PeriodProcTime_3 : 0.001649 134.35/19.02 c (17,0) c PeriodProcTime_4 : 0.001668 134.35/19.02 c (17,0) c PeriodProcTime_5 : 0.001987 134.35/19.02 c (17,0) c PeriodProcTime_6 : 0.002115 134.35/19.02 c (17,0) c PeriodProcTime_7 : 0.001871 134.35/19.02 c (17,0) c PeriodProcTime_total : 0.015067 134.35/19.02 c (17,0) c PeriodProcTime_winner : 0.001946 134.35/19.02 c (17,0) c SolvingTime_0 : 16.715940 134.35/19.02 c (17,0) c SolvingTime_1 : 15.993760 134.35/19.02 c (17,0) c SolvingTime_2 : 16.032122 134.35/19.02 c (17,0) c SolvingTime_3 : 16.163096 134.35/19.02 c (17,0) c SolvingTime_4 : 16.612907 134.35/19.02 c (17,0) c SolvingTime_5 : 16.558491 134.35/19.02 c (17,0) c SolvingTime_6 : 16.467961 134.35/19.02 c (17,0) c SolvingTime_7 : 15.966447 134.35/19.02 c (17,0) c SolvingTime_total : 130.510724 134.35/19.02 c (17,0) c SolvingTime_winner : 16.715940 134.35/19.02 c (17,0) c PropagationTime_0 : 15.669234 134.35/19.02 c (17,0) c PropagationTime_1 : 14.948815 134.35/19.02 c (17,0) c PropagationTime_2 : 15.001234 134.35/19.02 c (17,0) c PropagationTime_3 : 14.254199 134.35/19.02 c (17,0) c PropagationTime_4 : 15.190823 134.35/19.02 c (17,0) c PropagationTime_5 : 15.554862 134.35/19.02 c (17,0) c PropagationTime_6 : 15.386369 134.35/19.02 c (17,0) c PropagationTime_7 : 14.094692 134.35/19.02 c (17,0) c PropagationTime_total : 120.100226 134.35/19.02 c (17,0) c PropagationTime_winner : 15.669234 134.35/19.03 c (17,0) c AnalysisTime_0 : 0.837294 134.35/19.03 c (17,0) c AnalysisTime_1 : 0.831454 134.35/19.03 c (17,0) c AnalysisTime_2 : 0.810578 134.35/19.03 c (17,0) c AnalysisTime_3 : 1.705999 134.35/19.03 c (17,0) c AnalysisTime_4 : 1.219508 134.35/19.03 c (17,0) c AnalysisTime_5 : 0.797663 134.35/19.03 c (17,0) c AnalysisTime_6 : 0.857545 134.35/19.03 c (17,0) c AnalysisTime_7 : 1.668671 134.35/19.03 c (17,0) c AnalysisTime_total : 8.728713 134.35/19.03 c (17,0) c AnalysisTime_winner : 0.837294 134.35/19.03 c (17,0) c ReductionTime_0 : 0.079483 134.35/19.03 c (17,0) c ReductionTime_1 : 0.082858 134.35/19.03 c (17,0) c ReductionTime_2 : 0.076254 134.35/19.03 c (17,0) c ReductionTime_3 : 0.073631 134.35/19.03 c (17,0) c ReductionTime_4 : 0.077669 134.35/19.03 c (17,0) c ReductionTime_5 : 0.077104 134.35/19.03 c (17,0) c ReductionTime_6 : 0.076434 134.35/19.03 c (17,0) c ReductionTime_7 : 0.072044 134.35/19.03 c (17,0) c ReductionTime_total : 0.615477 134.35/19.03 c (17,0) c ReductionTime_winner : 0.079483 134.35/19.03 c (17,0) c SimplifyTime_0 : 0.005089 134.35/19.03 c (17,0) c SimplifyTime_1 : 0.005079 134.35/19.03 c (17,0) c SimplifyTime_2 : 0.018546 134.35/19.03 c (17,0) c SimplifyTime_3 : 0.004633 134.35/19.03 c (17,0) c SimplifyTime_4 : 0.004329 134.35/19.03 c (17,0) c SimplifyTime_5 : 0.004345 134.35/19.03 c (17,0) c SimplifyTime_6 : 0.004447 134.35/19.03 c (17,0) c SimplifyTime_7 : 0.004738 134.35/19.03 c (17,0) c SimplifyTime_total : 0.051206 134.35/19.03 c (17,0) c SimplifyTime_winner : 0.005089 134.35/19.03 c (17,0) c UsedRateTime_0 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_1 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_2 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_3 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_4 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_5 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_6 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_7 : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_total : 0.000000 134.35/19.03 c (17,0) c UsedRateTime_winner : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_0 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_1 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_2 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_3 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_4 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_5 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_6 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_7 : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_total : 0.000000 134.35/19.03 c (17,0) c OverlapRateTime_winner : 0.000000 134.35/19.03 c (17,0) c 134.35/19.03 c (17,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 134.35/19.03 c (17,0) c 134.35/19.03 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.03 c (17,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 134.35/19.03 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.03 c (17,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 134.35/19.03 c (17,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 134.35/19.03 c (17,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 134.35/19.03 c (17,0) c | Initial random_seed | 1450185941 | 1935718703 | 98715434 | 559081356 | 186983887 | 1465632305 | 1011797050 | 1559347918 | 134.35/19.03 c (17,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 134.35/19.03 c (17,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 134.35/19.03 c (17,0) c | glureduce | True | True | True | True | True | True | True | True | 134.35/19.03 c (17,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 134.35/19.03 c (17,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 134.35/19.03 c (17,0) c | luby_restart | False | False | False | False | False | False | False | False | 134.35/19.03 c (17,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 134.35/19.03 c (17,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 134.35/19.03 c (17,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 134.35/19.03 c (17,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 134.35/19.03 c (17,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 134.35/19.03 c (17,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 134.35/19.03 c (17,0) 134.35/19.03 c (17,0) s UNSATISFIABLE 134.35/19.03 c (17,0) SatSolver.solve End 134.35/19.03 c (17,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 134.35/19.03 c (17,0) Show results Begin 134.35/19.03 s UNSATISFIABLE 134.35/19.03 c (17,0) Show results End 134.35/19.03 c (17,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 134.35/19.03 c (17,0) 17,17,STOP-AFTER(ALL) 134.35/19.03 c END-Prog: Sat Sep 14 06:02:00 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 (15182 MiB free) memory of node 1: 16384 MiB (15477 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392791-1568437396/watcher-4392791-1568437396 -o /tmp/evaluation-result-4392791-1568437396/solver-4392791-1568437396 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568433701-9897 --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-4392791-1568437396.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=9914, runsolver pid=9911 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 4.98 4.80 4.98 3/211 9936 /proc/meminfo: memFree=31303452/32770624 swapFree=66937096/67108860 [pid=9914] ppid=9911 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9914/stat : 9914 (scop.sh) S 9911 9914 9870 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419997967 115843072 349 33554432000 4194304 5098028 140736894941840 140736894939096 140517108658812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11091968 140736894948132 140736894948460 140736894948460 140736894951373 0 /proc/9914/statm: 28282 349 296 221 0 87 0 [pid=9917] ppid=9914 vsize=27314120 memory=106400 CPUtime=0.1 cores=0-7 /proc/9917/stat : 9917 (java) S 9914 9914 9870 0 -1 1077944320 6154 0 0 0 8 2 0 0 20 0 20 0 419997968 27969658880 26600 33554432000 4194304 4196468 140728843306608 140728843289152 140718383488759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 /proc/9917/statm: 6828530 26600 2817 1 0 6790935 0 [pid=9917/tid=9918] ppid=9914 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/9917/task/9918/stat : 9918 (java) R 9914 9914 9870 0 -1 4202560 4230 0 0 0 7 2 0 0 20 0 20 0 419997968 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718355299880 140718383510685 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9919] ppid=9914 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9917/task/9919/stat : 9919 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718387730960 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9920] ppid=9914 vsize=27314120 memory=140275729446528 CPUtime=0 cores=0-7 /proc/9917/task/9920/stat : 9920 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718171126416 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9921] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9921/stat : 9921 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718170073360 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9922] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9922/stat : 9922 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718169020816 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9923] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9923/stat : 9923 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718167968784 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9924] ppid=9914 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9917/task/9924/stat : 9924 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718166916240 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9925] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9925/stat : 9925 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718165863184 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9926] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9926/stat : 9926 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 26600 33554432000 4194304 4196468 140728843306608 140718164810640 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9927] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9927/stat : 9927 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716502141168 140718383499906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9928] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9928/stat : 9928 (java) S 9914 9914 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716281947296 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9929] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9929/stat : 9929 (java) S 9914 9914 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716147725040 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9930] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9930/stat : 9930 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 26600 33554432000 4194304 4196468 140728843306608 140715773220816 140718383507355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9931] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9931/stat : 9931 (java) S 9914 9914 9870 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716501089008 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9932] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9932/stat : 9932 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716500036464 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9933] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9933/stat : 9933 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716498983408 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9934] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9934/stat : 9934 (java) S 9914 9914 9870 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716497930864 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9935] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9935/stat : 9935 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 26600 33554432000 4194304 4196468 140728843306608 140715275315680 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9936] ppid=9914 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9917/task/9936/stat : 9936 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 26600 33554432000 4194304 4196468 140728843306608 140716496878256 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107796 KiB [startup+0.210488 s]* /proc/loadavg: 4.66 4.74 4.96 2/211 9936 /proc/meminfo: memFree=31282412/32770624 swapFree=66937096/67108860 [pid=9914] ppid=9911 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9914/stat : 9914 (scop.sh) S 9911 9914 9870 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419997967 115843072 349 33554432000 4194304 5098028 140736894941840 140736894939096 140517108658812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11091968 140736894948132 140736894948460 140736894948460 140736894951373 0 /proc/9914/statm: 28282 349 296 221 0 87 0 [pid=9917] ppid=9914 vsize=27314120 memory=123440 CPUtime=0.24 cores=0-7 /proc/9917/stat : 9917 (java) S 9914 9914 9870 0 -1 1077944320 11743 0 0 0 20 4 0 0 20 0 20 0 419997968 27969658880 30860 33554432000 4194304 4196468 140728843306608 140728843289152 140718383488759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 /proc/9917/statm: 6828530 30860 2941 1 0 6790935 0 [pid=9917/tid=9918] ppid=9914 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/9917/task/9918/stat : 9918 (java) R 9914 9914 9870 0 -1 4202560 9428 0 0 0 16 3 0 0 20 0 20 0 419997968 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718355272320 140718367569246 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9919] ppid=9914 vsize=27314120 memory=331 CPUtime=0 cores=0-7 /proc/9917/task/9919/stat : 9919 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718387730960 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9920] ppid=9914 vsize=27314120 memory=140275729456695 CPUtime=0 cores=0-7 /proc/9917/task/9920/stat : 9920 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718171126416 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9921] ppid=9914 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9917/task/9921/stat : 9921 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718170073360 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9922] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9922/stat : 9922 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718169020816 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9923] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9923/stat : 9923 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718167968784 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9924] ppid=9914 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9917/task/9924/stat : 9924 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718166916240 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9925] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9925/stat : 9925 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718165863184 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9926] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9926/stat : 9926 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 30860 33554432000 4194304 4196468 140728843306608 140718164810640 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9927] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9927/stat : 9927 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716502141168 140718383499906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9928] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9928/stat : 9928 (java) S 9914 9914 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716281947296 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9929] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9929/stat : 9929 (java) S 9914 9914 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716147725040 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9930] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9930/stat : 9930 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 30860 33554432000 4194304 4196468 140728843306608 140715773220816 140718383507355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9931] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9931/stat : 9931 (java) S 9914 9914 9870 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716501089008 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9932] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9932/stat : 9932 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716500036464 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9933] ppid=9914 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9917/task/9933/stat : 9933 (java) S 9914 9914 9870 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716498983408 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9934] ppid=9914 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/9917/task/9934/stat : 9934 (java) S 9914 9914 9870 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 419997975 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716497930864 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9935] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9935/stat : 9935 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 30860 33554432000 4194304 4196468 140728843306608 140715275315680 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9936] ppid=9914 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9917/task/9936/stat : 9936 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 30860 33554432000 4194304 4196468 140728843306608 140716496878256 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124836 KiB [startup+0.310208 s]* /proc/loadavg: 4.66 4.74 4.96 2/211 9936 /proc/meminfo: memFree=31279616/32770624 swapFree=66937096/67108860 [pid=9914] ppid=9911 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9914/stat : 9914 (scop.sh) S 9911 9914 9870 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419997967 115843072 349 33554432000 4194304 5098028 140736894941840 140736894939096 140517108658812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11091968 140736894948132 140736894948460 140736894948460 140736894951373 0 /proc/9914/statm: 28282 349 296 221 0 87 0 [pid=9917] ppid=9914 vsize=27314120 memory=127716 CPUtime=0.43 cores=0-7 /proc/9917/stat : 9917 (java) S 9914 9914 9870 0 -1 1077944320 12313 0 0 0 39 4 0 0 20 0 20 0 419997968 27969658880 31929 33554432000 4194304 4196468 140728843306608 140728843289152 140718383488759 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 /proc/9917/statm: 6828530 31929 3025 1 0 6790935 0 [pid=9917/tid=9918] ppid=9914 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/9917/task/9918/stat : 9918 (java) R 9914 9914 9870 0 -1 4202560 9782 0 0 0 26 3 0 0 20 0 20 0 419997968 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718355301472 140718363763894 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9919] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9919/stat : 9919 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718387730960 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9920] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9920/stat : 9920 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718171126416 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9921] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9921/stat : 9921 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718170073360 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9922] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9922/stat : 9922 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718169020816 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9923] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9923/stat : 9923 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718167968784 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9924] ppid=9914 vsize=27314120 memory=140275578137263 CPUtime=0 cores=0-7 /proc/9917/task/9924/stat : 9924 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718166916240 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9925] ppid=9914 vsize=27314120 memory=140275578139568 CPUtime=0 cores=0-7 /proc/9917/task/9925/stat : 9925 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718165863184 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9926] ppid=9914 vsize=27314120 memory=140275578141872 CPUtime=0 cores=0-7 /proc/9917/task/9926/stat : 9926 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27969658880 31929 33554432000 4194304 4196468 140728843306608 140718164810640 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9927] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9927/stat : 9927 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716502141168 140718383499906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9928] ppid=9914 vsize=27314120 memory=280551156297616 CPUtime=0 cores=0-7 /proc/9917/task/9928/stat : 9928 (java) S 9914 9914 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716281947296 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9929] ppid=9914 vsize=27314120 memory=280551156295312 CPUtime=0 cores=0-7 /proc/9917/task/9929/stat : 9929 (java) S 9914 9914 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419997972 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716147725040 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9930] ppid=9914 vsize=27314120 memory=280551156302224 CPUtime=0 cores=0-7 /proc/9917/task/9930/stat : 9930 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 31929 33554432000 4194304 4196468 140728843306608 140715773220816 140718383507355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9931] ppid=9914 vsize=27314120 memory=280551156243504 CPUtime=0.02 cores=0-7 /proc/9917/task/9931/stat : 9931 (java) S 9914 9914 9870 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 20 0 419997975 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716501089008 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9932] ppid=9914 vsize=27314120 memory=280551156316048 CPUtime=0.01 cores=0-7 /proc/9917/task/9932/stat : 9932 (java) S 9914 9914 9870 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 419997975 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716500036464 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9933] ppid=9914 vsize=27314120 memory=280551156322960 CPUtime=0 cores=0-7 /proc/9917/task/9933/stat : 9933 (java) S 9914 9914 9870 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716498983408 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9934] ppid=9914 vsize=27314120 memory=280551156320656 CPUtime=0.07 cores=0-7 /proc/9917/task/9934/stat : 9934 (java) S 9914 9914 9870 0 -1 1077944384 530 0 0 0 7 0 0 0 20 0 20 0 419997975 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716497930864 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9935] ppid=9914 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9935/stat : 9935 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 31929 33554432000 4194304 4196468 140728843306608 140715275315680 140718383498965 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9936] ppid=9914 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9917/task/9936/stat : 9936 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997975 27969658880 31929 33554432000 4194304 4196468 140728843306608 140716496878256 140718383499906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129112 KiB [startup+0.701562 s] /proc/loadavg: 4.66 4.74 4.96 2/211 9936 /proc/meminfo: memFree=31257788/32770624 swapFree=66937096/67108860 [pid=9914] ppid=9911 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/9914/stat : 9914 (scop.sh) S 9911 9914 9870 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419997967 115843072 349 33554432000 4194304 5098028 140736894941840 140736894939096 140517108658812 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11091968 140736894948132 140736894948460 140736894948460 140736894951373 0 /proc/9914/statm: 28282 349 296 221 0 87 0 [pid=9917] ppid=9914 vsize=27322516 memory=164036 CPUtime=0.99 cores=0-7 /proc/9917/stat : 9917 (java) S 9914 9914 9870 0 -1 1077944320 20155 0 0 0 93 6 0 0 20 0 20 0 419997968 27978256384 41009 33554432000 4194304 4196468 140728843306608 140728843289152 140718383488759 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 /proc/9917/statm: 6830629 41009 3181 1 0 6791959 0 [pid=9917/tid=9918] ppid=9914 vsize=27323540 memory=0 CPUtime=0.67 cores=0-7 /proc/9917/task/9918/stat : 9918 (java) R 9914 9914 9870 0 -1 4202560 17092 0 0 0 62 5 0 0 20 0 20 0 419997968 27979304960 41009 33554432000 4194304 4196468 140728843306608 140718355306144 140718376168477 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9919] ppid=9914 vsize=27323540 memory=140275578348400 CPUtime=0 cores=0-7 /proc/9917/task/9919/stat : 9919 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419997970 27979304960 41009 33554432000 4194304 4196468 140728843306608 140718387730960 140718383498965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9920] ppid=9914 vsize=27323540 memory=0 CPUtime=0 cores=0-7 /proc/9917/task/9920/stat : 9920 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27979304960 41009 33554432000 4194304 4196468 140728843306608 140718171126416 140718383498965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 [pid=9917/tid=9921] ppid=9914 vsize=27322516 memory=784 CPUtime=0 cores=0-7 /proc/9917/task/9921/stat : 9921 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419997970 27978256384 41009 33554432000 4194304 4196468 140728843306608 140718170073360 140718383498965 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33509376 140728843309803 140728843310230 140728843310230 140728843313103 0 ################ # More data... # ################ [pid=9937/tid=9949] ppid=9914 vsize=8414124 memory=7877185325046654016 CPUtime=0 cores=0-7 /proc/9937/task/9949/stat : 9949 (java) S 9914 9914 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419998123 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704884253936 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9950] ppid=9914 vsize=8414124 memory=140275578642945 CPUtime=0 cores=0-7 /proc/9937/task/9950/stat : 9950 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704509749712 139706584340379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9951] ppid=9914 vsize=8414124 memory=1490 CPUtime=0.11 cores=0-7 /proc/9937/task/9951/stat : 9951 (java) S 9914 9914 9870 0 -1 1077944384 835 0 0 0 11 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705945233648 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9952] ppid=9914 vsize=8414124 memory=1465 CPUtime=0.09 cores=0-7 /proc/9937/task/9952/stat : 9952 (java) S 9914 9914 9870 0 -1 1077944384 441 0 0 0 9 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705944181104 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9953] ppid=9914 vsize=8414124 memory=1488 CPUtime=0.07 cores=0-7 /proc/9937/task/9953/stat : 9953 (java) S 9914 9914 9870 0 -1 1077944384 263 0 0 0 7 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705943128048 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9954] ppid=9914 vsize=8414124 memory=79 CPUtime=0.22 cores=0-7 /proc/9937/task/9954/stat : 9954 (java) S 9914 9914 9870 0 -1 1077944384 629 0 0 0 22 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705942075504 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9955] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9955/stat : 9955 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704011844576 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9956] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9956/stat : 9956 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998126 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705941023920 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9959] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9959/stat : 9959 (java) S 9914 9914 9870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705932989888 139706584346393 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9961] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9961/stat : 9961 (java) S 9914 9914 9870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703340744208 139706584343709 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9962] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9962/stat : 9962 (java) S 9914 9914 9870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703609179792 139706584343709 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9971] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9971/stat : 9971 (java) S 9914 9914 9870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419998198 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703072316336 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 Current children cumulated CPU time: 132.35 s Current children cumulated vsize: 9159932 KiB Current children cumulated memory: 322924 KiB [startup+18.8012 s] /proc/loadavg: 5.20 4.85 4.99 9/225 9973 /proc/meminfo: memFree=31070524/32770624 swapFree=66937096/67108860 [pid=9914] ppid=9911 vsize=113128 memory=1476 CPUtime=2.91 cores=0-7 /proc/9914/stat : 9914 (scop.sh) S 9911 9914 9870 0 -1 4202496 583 24647 0 0 0 0 278 13 20 0 1 0 419997967 115843072 369 33554432000 4194304 5098028 140736894941840 140736894938584 140517108658812 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11091968 140736894948132 140736894948460 140736894948460 140736894951373 0 /proc/9914/statm: 28282 369 311 221 0 87 0 [pid=9937] ppid=9914 vsize=8414124 memory=124032 CPUtime=1.34 cores=0-7 /proc/9937/stat : 9937 (java) S 9914 9914 9870 0 -1 1077944320 20879 0 0 0 125 9 0 0 20 0 24 0 419998119 8616062976 31008 33554432000 4194304 4196468 140736026983776 140736026966320 139706584321783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 /proc/9937/statm: 2103531 31008 3209 1 0 2064875 0 [pid=9958] ppid=9937 vsize=632828 memory=197876 CPUtime=129.73 cores=0-7 /proc/9958/stat : 9958 (manyglucose-4.1) S 9937 9914 9870 0 -1 1077944320 152030 0 0 0 12945 28 0 0 20 0 4 0 419998196 648015872 49469 33554432000 4194304 4454172 140733967780576 140733967778960 140673580572407 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 29708288 140733967786858 140733967787056 140733967787056 140733967790010 0 /proc/9958/statm: 158207 49469 417 64 0 153875 0 [pid=9958/tid=9963] ppid=9937 vsize=632828 memory=0 CPUtime=16.37 cores=0-7 /proc/9958/task/9963/stat : 9963 (manyglucose-4.1) R 9937 9914 9870 0 -1 4202560 17835 0 0 0 1634 3 0 0 20 0 4 0 419998196 648015872 49469 33554432000 4194304 4454172 140733967780576 140673565354744 4350323 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 29708288 140733967786858 140733967787056 140733967787056 140733967790010 0 [pid=9958/tid=9967] ppid=9937 vsize=632828 memory=0 CPUtime=16.49 cores=0-7 /proc/9958/task/9967/stat : 9967 (manyglucose-4.1) R 9937 9914 9870 0 -1 4202560 19361 0 0 0 1646 3 0 0 20 0 4 0 419998196 648015872 49469 33554432000 4194304 4454172 140733967780576 140673531784040 4350363 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 29708288 140733967786858 140733967787056 140733967787056 140733967790010 0 [pid=9958/tid=9968] ppid=9937 vsize=632828 memory=140275579120512 CPUtime=16.49 cores=0-7 /proc/9958/task/9968/stat : 9968 (manyglucose-4.1) R 9937 9914 9870 0 -1 4202560 19196 0 0 0 1645 4 0 0 20 0 4 0 419998196 648015872 49469 33554432000 4194304 4454172 140733967780576 140673523391224 4349922 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 29708288 140733967786858 140733967787056 140733967787056 140733967790010 0 [pid=9937/tid=9938] ppid=9914 vsize=8414124 memory=1476 CPUtime=0.79 cores=0-7 /proc/9937/task/9938/stat : 9938 (java) S 9914 9914 9870 0 -1 1077944384 17293 0 0 0 73 6 0 0 20 0 24 0 419998119 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706556161952 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9939] ppid=9914 vsize=8414124 memory=124032 CPUtime=0 cores=0-7 /proc/9937/task/9939/stat : 9939 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706588564496 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9940] ppid=9914 vsize=8414124 memory=214908 CPUtime=0 cores=0-7 /proc/9937/task/9940/stat : 9940 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706388733072 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9941] ppid=9914 vsize=8414124 memory=44854289631978 CPUtime=0 cores=0-7 /proc/9937/task/9941/stat : 9941 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706387680016 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9942] ppid=9914 vsize=8414124 memory=44854289631978 CPUtime=0 cores=0-7 /proc/9937/task/9942/stat : 9942 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706386627472 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9943] ppid=9914 vsize=8414124 memory=44854289631978 CPUtime=0 cores=0-7 /proc/9937/task/9943/stat : 9943 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706385574416 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9944] ppid=9914 vsize=8414124 memory=44854289631978 CPUtime=0 cores=0-7 /proc/9937/task/9944/stat : 9944 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706384521872 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9945] ppid=9914 vsize=8414124 memory=44854289631978 CPUtime=0 cores=0-7 /proc/9937/task/9945/stat : 9945 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706383468816 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9946] ppid=9914 vsize=8414124 memory=44854289631722 CPUtime=0 cores=0-7 /proc/9937/task/9946/stat : 9946 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419998121 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706382416272 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9947] ppid=9914 vsize=8414124 memory=44854289631722 CPUtime=0 cores=0-7 /proc/9937/task/9947/stat : 9947 (java) S 9914 9914 9870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419998122 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705946286832 139706584332930 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9948] ppid=9914 vsize=8414124 memory=2110626186199476 CPUtime=0 cores=0-7 /proc/9937/task/9948/stat : 9948 (java) S 9914 9914 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419998122 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705018476192 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9949] ppid=9914 vsize=8414124 memory=576600396259226925 CPUtime=0 cores=0-7 /proc/9937/task/9949/stat : 9949 (java) S 9914 9914 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419998123 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704884253936 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9950] ppid=9914 vsize=8414124 memory=288284472154260269 CPUtime=0 cores=0-7 /proc/9937/task/9950/stat : 9950 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704509749712 139706584340379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9951] ppid=9914 vsize=8414124 memory=2985299 CPUtime=0.11 cores=0-7 /proc/9937/task/9951/stat : 9951 (java) S 9914 9914 9870 0 -1 1077944384 835 0 0 0 11 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705945233648 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9952] ppid=9914 vsize=8414124 memory=6944656592387989600 CPUtime=0.09 cores=0-7 /proc/9937/task/9952/stat : 9952 (java) S 9914 9914 9870 0 -1 1077944384 441 0 0 0 9 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705944181104 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9953] ppid=9914 vsize=8414124 memory=6944652177228980320 CPUtime=0.07 cores=0-7 /proc/9937/task/9953/stat : 9953 (java) S 9914 9914 9870 0 -1 1077944384 263 0 0 0 7 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705943128048 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9954] ppid=9914 vsize=8414124 memory=6944656592455360604 CPUtime=0.22 cores=0-7 /proc/9937/task/9954/stat : 9954 (java) S 9914 9914 9870 0 -1 1077944384 629 0 0 0 22 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705942075504 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9955] ppid=9914 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/9937/task/9955/stat : 9955 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704011844576 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9956] ppid=9914 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/9937/task/9956/stat : 9956 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998126 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705941023920 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9959] ppid=9914 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/9937/task/9959/stat : 9959 (java) S 9914 9914 9870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705932989888 139706584346393 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9961] ppid=9914 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/9937/task/9961/stat : 9961 (java) S 9914 9914 9870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703340744208 139706584343709 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9962] ppid=9914 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/9937/task/9962/stat : 9962 (java) S 9914 9914 9870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703609179792 139706584343709 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9971] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9971/stat : 9971 (java) S 9914 9914 9870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419998198 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703072316336 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 Current children cumulated CPU time: 133.98 s Current children cumulated vsize: 9160080 KiB Current children cumulated memory: 323384 KiB [startup+19.0012 s]* /proc/loadavg: 5.20 4.85 4.99 2/218 9973 /proc/meminfo: memFree=31086148/32770624 swapFree=66937096/67108860 [pid=9914] ppid=9911 vsize=113128 memory=1476 CPUtime=2.91 cores=0-7 /proc/9914/stat : 9914 (scop.sh) S 9911 9914 9870 0 -1 4202496 583 24647 0 0 0 0 278 13 20 0 1 0 419997967 115843072 369 33554432000 4194304 5098028 140736894941840 140736894938584 140517108658812 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 11091968 140736894948132 140736894948460 140736894948460 140736894951373 0 /proc/9914/statm: 28282 369 311 221 0 87 0 [pid=9937] ppid=9914 vsize=8414124 memory=124032 CPUtime=1.34 cores=0-7 /proc/9937/stat : 9937 (java) S 9914 9914 9870 0 -1 1077944320 20879 0 0 0 125 9 0 0 20 0 24 0 419998119 8616062976 31008 33554432000 4194304 4196468 140736026983776 140736026966320 139706584321783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 /proc/9937/statm: 2103531 31008 3209 1 0 2064875 0 [pid=9958] ppid=9937 vsize=633008 memory=198340 CPUtime=130.1 cores=0-7 /proc/9958/stat : 9958 (manyglucose-4.1) S 9937 9914 9870 0 -1 1077944320 153507 0 0 0 12982 28 0 0 20 0 2 0 419998196 648200192 49585 33554432000 4194304 4454172 140733967780576 140733967778960 140673580572407 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 29708288 140733967786858 140733967787056 140733967787056 140733967790010 0 /proc/9958/statm: 158252 49585 417 64 0 153920 0 [pid=9958/tid=9963] ppid=9937 vsize=633008 memory=0 CPUtime=16.58 cores=0-7 /proc/9958/task/9963/stat : 9963 (manyglucose-4.1) R 9937 9914 9870 0 -1 4202560 19214 0 0 0 1655 3 0 0 20 0 2 0 419998196 648200192 49585 33554432000 4194304 4454172 140733967780576 140673565354744 4351576 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 29708288 140733967786858 140733967787056 140733967787056 140733967790010 0 [pid=9937/tid=9938] ppid=9914 vsize=8414124 memory=29118840412045462 CPUtime=0.79 cores=0-7 /proc/9937/task/9938/stat : 9938 (java) S 9914 9914 9870 0 -1 1077944384 17293 0 0 0 73 6 0 0 20 0 24 0 419998119 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706556161952 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9939] ppid=9914 vsize=8414124 memory=288230600381364929 CPUtime=0 cores=0-7 /proc/9937/task/9939/stat : 9939 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706588564496 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9940] ppid=9914 vsize=8414124 memory=15254831438757911 CPUtime=0 cores=0-7 /proc/9937/task/9940/stat : 9940 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706388733072 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9941] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9941/stat : 9941 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706387680016 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9942] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9942/stat : 9942 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706386627472 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9943] ppid=9914 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/9937/task/9943/stat : 9943 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706385574416 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9944] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9944/stat : 9944 (java) S 9914 9914 9870 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706384521872 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9945] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9945/stat : 9945 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998120 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706383468816 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9946] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9946/stat : 9946 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419998121 8616062976 31008 33554432000 4194304 4196468 140736026983776 139706382416272 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9947] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9947/stat : 9947 (java) S 9914 9914 9870 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419998122 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705946286832 139706584332930 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9948] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9948/stat : 9948 (java) S 9914 9914 9870 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419998122 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705018476192 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9949] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9949/stat : 9949 (java) S 9914 9914 9870 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419998123 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704884253936 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9950] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9950/stat : 9950 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704509749712 139706584340379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9951] ppid=9914 vsize=8414124 memory=0 CPUtime=0.11 cores=0-7 /proc/9937/task/9951/stat : 9951 (java) S 9914 9914 9870 0 -1 1077944384 835 0 0 0 11 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705945233648 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9952] ppid=9914 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7 /proc/9937/task/9952/stat : 9952 (java) S 9914 9914 9870 0 -1 1077944384 441 0 0 0 9 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705944181104 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9953] ppid=9914 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7 /proc/9937/task/9953/stat : 9953 (java) S 9914 9914 9870 0 -1 1077944384 263 0 0 0 7 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705943128048 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9954] ppid=9914 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7 /proc/9937/task/9954/stat : 9954 (java) S 9914 9914 9870 0 -1 1077944384 629 0 0 0 22 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705942075504 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9955] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9955/stat : 9955 (java) S 9914 9914 9870 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419998125 8616062976 31008 33554432000 4194304 4196468 140736026983776 139704011844576 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9956] ppid=9914 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/9937/task/9956/stat : 9956 (java) S 9914 9914 9870 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419998126 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705941023920 139706584332930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9959] ppid=9914 vsize=8414124 memory=-1 CPUtime=0 cores=0-7 /proc/9937/task/9959/stat : 9959 (java) S 9914 9914 9870 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139705932989888 139706584346393 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9961] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9961/stat : 9961 (java) S 9914 9914 9870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703340744208 139706584343709 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9962] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9962/stat : 9962 (java) S 9914 9914 9870 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419998196 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703609179792 139706584343709 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 [pid=9937/tid=9971] ppid=9914 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9937/task/9971/stat : 9971 (java) S 9914 9914 9870 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419998198 8616062976 31008 33554432000 4194304 4196468 140736026983776 139703072316336 139706584331989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32550912 140736026989560 140736026989718 140736026989718 140736026992591 0 Current children cumulated CPU time: 134.35 s Current children cumulated vsize: 9160260 KiB Current children cumulated memory: 323848 KiB Child status: 0 Real time (s): 19.0459 CPU time (s): 134.477 CPU user time (s): 133.943 CPU system time (s): 0.533241 CPU usage (%): 706.066 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 341100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 133.943 system time used= 0.533241 maximum resident set size= 218032 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 199896 page faults= 0 swaps= 0 block input operations= 0 block output operations= 472 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7206 involuntary context switches= 1357 # summary of solver processes directly reported to runsolver: # pid: 9914 # total CPU time (s): 134.477 # total CPU user time (s): 133.943 # total CPU system time (s): 0.533241 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.205477 second user time and 0.280707 second system time The end
Begin job on node105 at 2019-09-14 06:01:41 IDJOB=4392791 IDBENCH=134718 IDSOLVER=2839 FILE ID=node105/4392791-1568437396 RUNJOBID= node105-1568433701-9897 PBS_JOBID= 21702321 Free space on /tmp= 60864 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-15.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-4392791-1568437396/watcher-4392791-1568437396 -o /tmp/evaluation-result-4392791-1568437396/solver-4392791-1568437396 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1568433701-9897 --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-4392791-1568437396.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063 RANDOM SEED=126474937 node105.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.00 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.00 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.00 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.00 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: 31396736 kB MemAvailable: 31860436 kB Buffers: 183032 kB Cached: 575452 kB SwapCached: 67792 kB Active: 420508 kB Inactive: 408980 kB Active(anon): 10744 kB Inactive(anon): 93836 kB Active(file): 409764 kB Inactive(file): 315144 kB Unevictable: 107848 kB Mlocked: 107848 kB SwapTotal: 67108860 kB SwapFree: 66937096 kB Dirty: 20588 kB Writeback: 0 kB AnonPages: 111784 kB Mapped: 36932 kB Shmem: 24744 kB Slab: 137480 kB SReclaimable: 109252 kB SUnreclaim: 28228 kB KernelStack: 3280 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 489188 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60844 MiB End job on node105 at 2019-09-14 06:02:00