Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 5.5689 | 2.70896 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-15-036.xml |
MD5SUM | 5e5c63d89f6605b36f0577fcc9be8ecb |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1.60869 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 30 |
Number of constraints | 105 |
Number of domains | 15 |
Minimum domain size | 22 |
Maximum domain size | 36 |
Distribution of domain sizes | [{"size":22,"count":2},{"size":23,"count":2},{"size":24,"count":2},{"size":25,"count":2},{"size":26,"count":2},{"size":27,"count":2},{"size":28,"count":2},{"size":29,"count":2},{"size":30,"count":2},{"size":31,"count":2},{"size":32,"count":2},{"size":33,"count":2},{"size":34,"count":2},{"size":35,"count":2},{"size":36,"count":2}] |
Minimum variable degree | 14 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":14,"count":30}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":105}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 105 |
Distribution of constraint types | [{"type":"intension","count":105}] |
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-21268-serial-file.bin HOME/instance-4405423-1569365474.xml 0.64/0.56 0.64/0.56 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.64/0.56 0.64/0.59 c BEGIN-Prog: Tue Sep 24 23:49:12 CEST 2019 0.64/0.59 c PID: 21271 0.64/0.59 c IP: 172.20.3.107 0.64/0.59 c HOST: node107.alineos.net 0.64/0.59 c (0,0) Parsing Begin 1.72/1.05 c (0,0) Parsing End 1.72/1.05 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36 1.72/1.05 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.72/1.05 c (0,0) Constraint Name Generate Begin 1.72/1.06 c (0,0) Ctr:HOME/instance-4405423-1569365474.xml,Add:Le:Num:Or:Var 1.72/1.06 c (0,0) Constraint Name Generate End 1.72/1.06 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.72/1.06 c (0,0) CSP to CSPinCNF Begin 2.01/1.17 c (0,0) translated 11 (10%) constraints 2.01/1.19 c (0,0) translated 21 (20%) constraints 2.17/1.20 c (0,0) translated 32 (30%) constraints 2.17/1.21 c (0,0) translated 42 (40%) constraints 2.17/1.22 c (0,0) translated 53 (50%) constraints 2.17/1.23 c (0,0) translated 63 (60%) constraints 2.17/1.24 c (0,0) translated 74 (70%) constraints 2.17/1.24 c (0,0) translated 84 (80%) constraints 2.17/1.25 c (0,0) translated 95 (90%) constraints 2.17/1.26 c (0,0) translated 105 (100%) constraints 2.17/1.26 c (0,0) =========================================== 2.17/1.28 c (0,0) Hybrid: #OE=30, #LE=0 2.17/1.28 c (0,0) Hybrid 2.17/1.28 c (0,0) =========================================== 2.17/1.29 c (0,0) translated 11 (10%) constraints 2.17/1.29 c (0,0) translated 21 (20%) constraints 2.17/1.30 c (0,0) translated 32 (30%) constraints 2.41/1.30 c (0,0) translated 42 (40%) constraints 2.41/1.30 c (0,0) translated 53 (50%) constraints 2.41/1.31 c (0,0) translated 63 (60%) constraints 2.41/1.31 c (0,0) translated 74 (70%) constraints 2.41/1.31 c (0,0) translated 84 (80%) constraints 2.41/1.32 c (0,0) translated 95 (90%) constraints 2.41/1.32 c (0,0) translated 105 (100%) constraints 2.41/1.32 c (0,0) CSP to CSPinCNF End 2.41/1.32 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36 2.41/1.32 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.41/1.32 c (0,0) CSPinCNF Propagation Begin 2.41/1.34 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.41/1.34 c (0,0) CSPinCNF Propagation End 2.41/1.34 c (0,0) CSP: 30 int (0 aux), 0 bool (0 aux), 105 ctr, max domain size 36 2.41/1.34 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.41/1.35 c (0,0) Hybrid: #OE=30, #LE=0 2.41/1.35 c (0,0) Simplify CSPinCNF Begin 2.63/1.42 c (0,0) Simplify CSPinCNF End 2.63/1.42 c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 36 2.63/1.42 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.63/1.42 c (0,0) Calculate Precise Domain Begin 2.63/1.42 c (0,0) 0 values are removed by re-calculation 2.63/1.42 c (0,0) Calculate Precise Domain End 2.63/1.42 c (0,0) CSP: 30 int (0 aux), 420 bool (420 aux), 525 ctr, max domain size 36 2.63/1.42 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 2.63/1.42 c (0,0) CSPinCNF to SatSolver Begin 2.85/1.58 c (1,1) 53 (10 %) CSP clauses are encoded (0 SAT variables, 2066 SAT clauses) 3.18/1.61 c (1,1) 105 (20 %) CSP clauses are encoded (0 SAT variables, 3240 SAT clauses) 3.18/1.63 c (1,1) 158 (30 %) CSP clauses are encoded (0 SAT variables, 4341 SAT clauses) 3.18/1.65 c (1,1) 210 (40 %) CSP clauses are encoded (0 SAT variables, 5385 SAT clauses) 3.18/1.67 c (1,1) 263 (50 %) CSP clauses are encoded (0 SAT variables, 6380 SAT clauses) 3.18/1.68 c (1,1) 315 (60 %) CSP clauses are encoded (0 SAT variables, 7318 SAT clauses) 3.18/1.70 c (1,1) 368 (70 %) CSP clauses are encoded (0 SAT variables, 8183 SAT clauses) 3.59/1.71 c (1,1) 420 (80 %) CSP clauses are encoded (0 SAT variables, 8943 SAT clauses) 3.59/1.72 c (1,1) 473 (90 %) CSP clauses are encoded (0 SAT variables, 9626 SAT clauses) 3.59/1.73 c (1,1) 525 (100 %) CSP clauses are encoded (0 SAT variables, 10146 SAT clauses) 3.59/1.73 c (1,1) CSPinCNF to SatSolver End 3.59/1.73 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 26 MiB used (max 0 MiB) 3.59/1.73 c (1,1) 1260 bool, 10155 clause 3.59/1.73 c (1,1) Export Begin 4.01/1.82 c (1,1) Export to HOME/scop-21268-serial-file.bin 4.01/1.82 c (1,1) Export End 4.01/1.82 c (1,1) Export File Size: 0.01 MB 4.01/1.82 c (1,1) 0,0,0,0,0,0,1,STOP-AFTER(DIMACS) 4.01/1.82 c END-Prog: Tue Sep 24 23:49:13 CEST 2019 4.01/1.84 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-21268-serial-file.bin 4.74/2.30 c (0,0) Read Serial File Begin 4.74/2.30 c (0,0) HOME/scop-21268-serial-file.bin 4.87/2.49 c (0,0) Read Serial File End 5.03/2.50 5.03/2.50 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.03/2.50 (Solving Process) 5.03/2.50 5.03/2.53 c BEGIN-Prog: Tue Sep 24 23:49:13 CEST 2019 5.03/2.53 c PID: 21291 5.03/2.53 c IP: 172.20.3.107 5.03/2.53 c HOST: node107.alineos.net 5.03/2.53 c (0,0) SatSolver.solve Begin 5.03/2.53 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405423-1569365474.xml-scop-21271.cnf 5.03/2.56 c (0,0) c 5.03/2.56 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 5.03/2.56 c (0,0) c 5.03/2.56 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.03/2.56 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.03/2.56 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.03/2.56 c (0,0) c | | 5.03/2.56 c (0,0) c | Number of variables: 1260 | 5.03/2.56 c (0,0) c | Number of clauses: 10155 | 5.03/2.56 c (0,0) c | Parse time: 0.00 s | 5.03/2.56 c (0,0) c | | 5.03/2.56 c (0,0) c | Simplification time: 0.00 s | 5.03/2.56 c (0,0) c | | 5.03/2.56 c (0,0) c | Generating clones | 5.03/2.57 c (0,0) c | all clones generated. Memory = 29.21Mb. | 5.03/2.57 c (0,0) c ========================================================================================================| 5.03/2.57 c (0,0) c 5.03/2.57 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.03/2.57 c (0,0) c 5.03/2.57 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.57 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.03/2.57 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.57 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.03/2.57 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.03/2.57 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.03/2.57 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 5.03/2.57 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.03/2.57 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.03/2.57 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.03/2.57 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.03/2.57 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.03/2.57 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.03/2.57 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.03/2.57 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.03/2.57 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.03/2.57 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.03/2.57 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.03/2.57 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c 5.03/2.58 c (0,0) c real time : 0.025856 s 5.03/2.58 c (0,0) c cpu time : 0.031001 s 5.03/2.58 c (0,0) c 5.03/2.58 c (0,0) c 5.03/2.58 c (0,0) c 5.03/2.58 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 5.03/2.58 c (0,0) c 5.03/2.58 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.03/2.58 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c | Conflicts | 624 | 44 | 79 | 23 | 105 | 178 | 31 | 164 | 0 | 5.03/2.58 c (0,0) c | Decisions | 2388 | 208 | 374 | 181 | 441 | 466 | 197 | 521 | 0 | 5.03/2.58 c (0,0) c | Propagations | 52222 | 3289 | 6478 | 2504 | 7468 | 15920 | 3375 | 13188 | 0 | 5.03/2.58 c (0,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 5.03/2.58 c (0,0) c | Restarts | 7 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 5.03/2.58 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | PropBinClauses| 68461 | 3880 | 8857 | 2946 | 10421 | 22538 | 3748 | 16071 | 0 | 5.03/2.58 c (0,0) c | PropPreBlocker| 484350 | 32010 | 61116 | 23018 | 70876 | 142438 | 31039 | 123853 | 0 | 5.03/2.58 c (0,0) c | PropNotBlocker| 212028 | 14970 | 25670 | 14623 | 34280 | 58979 | 17583 | 45923 | 0 | 5.03/2.58 c (0,0) c | LitFullScans | 999578 | 64405 | 125043 | 47606 | 147797 | 298284 | 64845 | 251598 | 0 | 5.03/2.58 c (0,0) c | LitScanFracts | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | DecisionLevel0| 7 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 5.03/2.58 c (0,0) c | Periods | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 5.03/2.58 c (0,0) c | Avg_Trail | | 807 | 792 | 567 | 688 | 726 | 707 | 866 | 0 | 5.03/2.58 c (0,0) c | Avg_DL | | 36 | 28 | 38 | 31 | 28 | 26 | 32 | 0 | 5.03/2.58 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c | Exported | 2 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Binaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c | Glues | | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 5.03/2.58 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c | Orig_Seen | 5 % | 302 | 643 | 245 | 704 | 998 | 349 | 959 | 0 | 5.03/2.58 c (0,0) c | Diff Orig seen| | X | 341 | - 57 | 402 | 696 | 47 | 657 | - 302 | 5.03/2.58 c (0,0) c | Hamming | 37 % | X | 540 | 516 | 494 | 374 | 426 | 471 | 462 | 5.03/2.58 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c | RunningTime | | 0.0 100%| 0.0 99%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 0.0 100%| 5.03/2.58 c (0,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.03/2.58 c (0,0) c | ExchangingTime| | 0.0 0%| 0.0 1%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.03/2.58 c (0,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.03/2.58 c (0,0) c | SolvingTime | | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 0.0 | 5.03/2.58 c (0,0) c | PropagationTim| | 0.0 85%| 0.0 80%| 0.0 90%| 0.0 82%| 0.0 81%| 0.0 96%| 0.0 74%| 0.0 0%| 5.03/2.58 c (0,0) c | AnalysisTime | | 0.0 8%| 0.0 11%| 0.0 4%| 0.0 11%| 0.0 14%| 0.0 2%| 0.0 17%| 0.0 0%| 5.03/2.58 c (0,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.03/2.58 c (0,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.03/2.58 c (0,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.03/2.58 c (0,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5.03/2.58 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.58 c (0,0) c 5.03/2.58 c (0,0) c 5.03/2.58 c (0,0) c Threads : 8 5.03/2.58 c (0,0) c Winner : 0 5.03/2.58 c (0,0) c Conflicts_0 : 44 5.03/2.58 c (0,0) c Conflicts_1 : 79 5.03/2.58 c (0,0) c Conflicts_2 : 23 5.03/2.58 c (0,0) c Conflicts_3 : 105 5.03/2.58 c (0,0) c Conflicts_4 : 178 5.03/2.58 c (0,0) c Conflicts_5 : 31 5.03/2.58 c (0,0) c Conflicts_6 : 164 5.03/2.58 c (0,0) c Conflicts_7 : 0 5.03/2.58 c (0,0) c Conflicts_total : 624 5.03/2.58 c (0,0) c Conflicts_winner : 44 5.03/2.58 c (0,0) c Decisions_0 : 208 5.03/2.58 c (0,0) c Decisions_1 : 374 5.03/2.58 c (0,0) c Decisions_2 : 181 5.03/2.58 c (0,0) c Decisions_3 : 441 5.03/2.58 c (0,0) c Decisions_4 : 466 5.03/2.58 c (0,0) c Decisions_5 : 197 5.03/2.58 c (0,0) c Decisions_6 : 521 5.03/2.58 c (0,0) c Decisions_7 : 0 5.03/2.58 c (0,0) c Decisions_total : 2388 5.03/2.58 c (0,0) c Decisions_winner : 208 5.03/2.58 c (0,0) c Propagations_0 : 3289 5.03/2.58 c (0,0) c Propagations_1 : 6478 5.03/2.58 c (0,0) c Propagations_2 : 2504 5.03/2.58 c (0,0) c Propagations_3 : 7468 5.03/2.58 c (0,0) c Propagations_4 : 15920 5.03/2.58 c (0,0) c Propagations_5 : 3375 5.03/2.58 c (0,0) c Propagations_6 : 13188 5.03/2.58 c (0,0) c Propagations_7 : 0 5.03/2.58 c (0,0) c Propagations_total : 52222 5.03/2.58 c (0,0) c Propagations_winner : 3289 5.03/2.58 c (0,0) c ReduceDBs_0 : 0 5.03/2.58 c (0,0) c ReduceDBs_1 : 0 5.03/2.58 c (0,0) c ReduceDBs_2 : 0 5.03/2.58 c (0,0) c ReduceDBs_3 : 0 5.03/2.58 c (0,0) c ReduceDBs_4 : 0 5.03/2.58 c (0,0) c ReduceDBs_5 : 0 5.03/2.58 c (0,0) c ReduceDBs_6 : 0 5.03/2.58 c (0,0) c ReduceDBs_7 : 0 5.03/2.58 c (0,0) c ReduceDBs_total : 0 5.03/2.58 c (0,0) c ReduceDBs_winner : 0 5.03/2.58 c (0,0) c SimpDBs_0 : 1 5.03/2.58 c (0,0) c SimpDBs_1 : 1 5.03/2.58 c (0,0) c SimpDBs_2 : 1 5.03/2.58 c (0,0) c SimpDBs_3 : 1 5.03/2.58 c (0,0) c SimpDBs_4 : 1 5.03/2.58 c (0,0) c SimpDBs_5 : 1 5.03/2.58 c (0,0) c SimpDBs_6 : 1 5.03/2.58 c (0,0) c SimpDBs_7 : 1 5.03/2.58 c (0,0) c SimpDBs_total : 8 5.03/2.58 c (0,0) c SimpDBs_winner : 1 5.03/2.58 c (0,0) c Restarts_0 : 1 5.03/2.58 c (0,0) c Restarts_1 : 1 5.03/2.58 c (0,0) c Restarts_2 : 1 5.03/2.58 c (0,0) c Restarts_3 : 1 5.03/2.58 c (0,0) c Restarts_4 : 1 5.03/2.58 c (0,0) c Restarts_5 : 1 5.03/2.58 c (0,0) c Restarts_6 : 1 5.03/2.58 c (0,0) c Restarts_7 : 0 5.03/2.58 c (0,0) c Restarts_total : 7 5.03/2.58 c (0,0) c Restarts_winner : 1 5.03/2.58 c (0,0) c ForcedImports_0 : 0 5.03/2.58 c (0,0) c ForcedImports_1 : 0 5.03/2.58 c (0,0) c ForcedImports_2 : 0 5.03/2.58 c (0,0) c ForcedImports_3 : 0 5.03/2.58 c (0,0) c ForcedImports_4 : 0 5.03/2.58 c (0,0) c ForcedImports_5 : 0 5.03/2.58 c (0,0) c ForcedImports_6 : 0 5.03/2.58 c (0,0) c ForcedImports_7 : 0 5.03/2.58 c (0,0) c ForcedImports_total : 0 5.03/2.58 c (0,0) c ForcedImports_winner : 0 5.03/2.58 c (0,0) c PropsBinClauses_0 : 3880 5.03/2.58 c (0,0) c PropsBinClauses_1 : 8857 5.03/2.58 c (0,0) c PropsBinClauses_2 : 2946 5.03/2.58 c (0,0) c PropsBinClauses_3 : 10421 5.03/2.58 c (0,0) c PropsBinClauses_4 : 22538 5.03/2.58 c (0,0) c PropsBinClauses_5 : 3748 5.03/2.58 c (0,0) c PropsBinClauses_6 : 16071 5.03/2.58 c (0,0) c PropsBinClauses_7 : 0 5.03/2.58 c (0,0) c PropsBinClauses_total : 68461 5.03/2.59 c (0,0) c PropsBinClauses_winner : 3880 5.03/2.59 c (0,0) c PropsPreBlocker_0 : 32010 5.03/2.59 c (0,0) c PropsPreBlocker_1 : 61116 5.03/2.59 c (0,0) c PropsPreBlocker_2 : 23018 5.03/2.59 c (0,0) c PropsPreBlocker_3 : 70876 5.03/2.59 c (0,0) c PropsPreBlocker_4 : 142438 5.03/2.59 c (0,0) c PropsPreBlocker_5 : 31039 5.03/2.59 c (0,0) c PropsPreBlocker_6 : 123853 5.03/2.59 c (0,0) c PropsPreBlocker_7 : 0 5.03/2.59 c (0,0) c PropsPreBlocker_total : 484350 5.03/2.59 c (0,0) c PropsPreBlocker_winner : 32010 5.03/2.59 c (0,0) c PropsNotBlocker_0 : 14970 5.03/2.59 c (0,0) c PropsNotBlocker_1 : 25670 5.03/2.59 c (0,0) c PropsNotBlocker_2 : 14623 5.03/2.59 c (0,0) c PropsNotBlocker_3 : 34280 5.03/2.59 c (0,0) c PropsNotBlocker_4 : 58979 5.03/2.59 c (0,0) c PropsNotBlocker_5 : 17583 5.03/2.59 c (0,0) c PropsNotBlocker_6 : 45923 5.03/2.59 c (0,0) c PropsNotBlocker_7 : 0 5.03/2.59 c (0,0) c PropsNotBlocker_total : 212028 5.03/2.59 c (0,0) c PropsNotBlocker_winner : 14970 5.03/2.59 c (0,0) c PropsLitFullScans_0 : 64405 5.03/2.59 c (0,0) c PropsLitFullScans_1 : 125043 5.03/2.59 c (0,0) c PropsLitFullScans_2 : 47606 5.03/2.59 c (0,0) c PropsLitFullScans_3 : 147797 5.03/2.59 c (0,0) c PropsLitFullScans_4 : 298284 5.03/2.59 c (0,0) c PropsLitFullScans_5 : 64845 5.03/2.59 c (0,0) c PropsLitFullScans_6 : 251598 5.03/2.59 c (0,0) c PropsLitFullScans_7 : 0 5.03/2.59 c (0,0) c PropsLitFullScans_total : 999578 5.03/2.59 c (0,0) c PropsLitFullScans_winner : 64405 5.03/2.59 c (0,0) c LitScanFractions_0 : 0 5.03/2.59 c (0,0) c LitScanFractions_1 : 0 5.03/2.59 c (0,0) c LitScanFractions_2 : 0 5.03/2.59 c (0,0) c LitScanFractions_3 : 0 5.03/2.59 c (0,0) c LitScanFractions_4 : 0 5.03/2.59 c (0,0) c LitScanFractions_5 : 0 5.03/2.59 c (0,0) c LitScanFractions_6 : 0 5.03/2.59 c (0,0) c LitScanFractions_7 : 0 5.03/2.59 c (0,0) c LitScanFractions_total : 0 5.03/2.59 c (0,0) c LitScanFractions_winner : 0 5.03/2.59 c (0,0) c DecisionLevel0_0 : 1 5.03/2.59 c (0,0) c DecisionLevel0_1 : 1 5.03/2.59 c (0,0) c DecisionLevel0_2 : 1 5.03/2.59 c (0,0) c DecisionLevel0_3 : 1 5.03/2.59 c (0,0) c DecisionLevel0_4 : 1 5.03/2.59 c (0,0) c DecisionLevel0_5 : 1 5.03/2.59 c (0,0) c DecisionLevel0_6 : 1 5.03/2.59 c (0,0) c DecisionLevel0_7 : 0 5.03/2.59 c (0,0) c DecisionLevel0_total : 7 5.03/2.59 c (0,0) c DecisionLevel0_winner : 1 5.03/2.59 c (0,0) c Periods_0 : 0 5.03/2.59 c (0,0) c Periods_1 : 0 5.03/2.59 c (0,0) c Periods_2 : 0 5.03/2.59 c (0,0) c Periods_3 : 0 5.03/2.59 c (0,0) c Periods_4 : 0 5.03/2.59 c (0,0) c Periods_5 : 0 5.03/2.59 c (0,0) c Periods_6 : 0 5.03/2.59 c (0,0) c Periods_7 : 0 5.03/2.59 c (0,0) c Periods_total : 0 5.03/2.59 c (0,0) c Periods_winner : 0 5.03/2.59 c (0,0) c Margin_0 : 20 5.03/2.59 c (0,0) c Margin_1 : 20 5.03/2.59 c (0,0) c Margin_2 : 20 5.03/2.59 c (0,0) c Margin_3 : 20 5.03/2.59 c (0,0) c Margin_4 : 20 5.03/2.59 c (0,0) c Margin_5 : 20 5.03/2.59 c (0,0) c Margin_6 : 20 5.03/2.59 c (0,0) c Margin_7 : 20 5.03/2.59 c (0,0) c Margin_total : 160 5.03/2.59 c (0,0) c Margin_winner : 20 5.03/2.59 c (0,0) c Exported_0 : 0 5.03/2.59 c (0,0) c Exported_1 : 1 5.03/2.59 c (0,0) c Exported_2 : 0 5.03/2.59 c (0,0) c Exported_3 : 0 5.03/2.59 c (0,0) c Exported_4 : 1 5.03/2.59 c (0,0) c Exported_5 : 0 5.03/2.59 c (0,0) c Exported_6 : 0 5.03/2.59 c (0,0) c Exported_7 : 0 5.03/2.59 c (0,0) c Exported_total : 2 5.03/2.59 c (0,0) c Exported_winner : 0 5.03/2.59 c (0,0) c Imported_0 : 0 5.03/2.59 c (0,0) c Imported_1 : 0 5.03/2.59 c (0,0) c Imported_2 : 0 5.03/2.59 c (0,0) c Imported_3 : 0 5.03/2.59 c (0,0) c Imported_4 : 0 5.03/2.59 c (0,0) c Imported_5 : 0 5.03/2.59 c (0,0) c Imported_6 : 0 5.03/2.59 c (0,0) c Imported_7 : 0 5.03/2.59 c (0,0) c Imported_total : 0 5.03/2.59 c (0,0) c Imported_winner : 0 5.03/2.59 c (0,0) c Good_0 : 0 5.03/2.59 c (0,0) c Good_1 : 0 5.03/2.59 c (0,0) c Good_2 : 0 5.03/2.59 c (0,0) c Good_3 : 0 5.03/2.59 c (0,0) c Good_4 : 0 5.03/2.59 c (0,0) c Good_5 : 0 5.03/2.59 c (0,0) c Good_6 : 0 5.03/2.59 c (0,0) c Good_7 : 0 5.03/2.59 c (0,0) c Good_total : 0 5.03/2.59 c (0,0) c Good_winner : 0 5.03/2.59 c (0,0) c Purge_0 : 0 5.03/2.59 c (0,0) c Purge_1 : 0 5.03/2.59 c (0,0) c Purge_2 : 0 5.03/2.59 c (0,0) c Purge_3 : 0 5.03/2.59 c (0,0) c Purge_4 : 0 5.03/2.59 c (0,0) c Purge_5 : 0 5.03/2.59 c (0,0) c Purge_6 : 0 5.03/2.59 c (0,0) c Purge_7 : 0 5.03/2.59 c (0,0) c Purge_total : 0 5.03/2.59 c (0,0) c Purge_winner : 0 5.03/2.59 c (0,0) c Promoted_0 : 0 5.03/2.59 c (0,0) c Promoted_1 : 0 5.03/2.59 c (0,0) c Promoted_2 : 0 5.03/2.59 c (0,0) c Promoted_3 : 0 5.03/2.59 c (0,0) c Promoted_4 : 0 5.03/2.59 c (0,0) c Promoted_5 : 0 5.03/2.59 c (0,0) c Promoted_6 : 0 5.03/2.59 c (0,0) c Promoted_7 : 0 5.03/2.59 c (0,0) c Promoted_total : 0 5.03/2.59 c (0,0) c Promoted_winner : 0 5.03/2.59 c (0,0) c Remove_Imp_0 : 0 5.03/2.59 c (0,0) c Remove_Imp_1 : 0 5.03/2.59 c (0,0) c Remove_Imp_2 : 0 5.03/2.59 c (0,0) c Remove_Imp_3 : 0 5.03/2.59 c (0,0) c Remove_Imp_4 : 0 5.03/2.59 c (0,0) c Remove_Imp_5 : 0 5.03/2.59 c (0,0) c Remove_Imp_6 : 0 5.03/2.59 c (0,0) c Remove_Imp_7 : 0 5.03/2.59 c (0,0) c Remove_Imp_total : 0 5.03/2.59 c (0,0) c Remove_Imp_winner : 0 5.03/2.59 c (0,0) c Blocked_Reuse_0 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_1 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_2 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_3 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_4 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_5 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_6 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_7 : 0 5.03/2.59 c (0,0) c Blocked_Reuse_total : 0 5.03/2.59 c (0,0) c Blocked_Reuse_winner : 0 5.03/2.59 c (0,0) c Unaries_0 : 0 5.03/2.59 c (0,0) c Unaries_1 : 0 5.03/2.59 c (0,0) c Unaries_2 : 0 5.03/2.59 c (0,0) c Unaries_3 : 0 5.03/2.59 c (0,0) c Unaries_4 : 0 5.03/2.59 c (0,0) c Unaries_5 : 0 5.03/2.59 c (0,0) c Unaries_6 : 0 5.03/2.59 c (0,0) c Unaries_7 : 0 5.03/2.59 c (0,0) c Unaries_total : 0 5.03/2.59 c (0,0) c Unaries_winner : 0 5.03/2.59 c (0,0) c Binaries_0 : 0 5.03/2.59 c (0,0) c Binaries_1 : 0 5.03/2.59 c (0,0) c Binaries_2 : 0 5.03/2.59 c (0,0) c Binaries_3 : 0 5.03/2.59 c (0,0) c Binaries_4 : 0 5.03/2.59 c (0,0) c Binaries_5 : 0 5.03/2.59 c (0,0) c Binaries_6 : 0 5.03/2.59 c (0,0) c Binaries_7 : 0 5.03/2.59 c (0,0) c Binaries_total : 0 5.03/2.59 c (0,0) c Binaries_winner : 0 5.03/2.59 c (0,0) c Glues_0 : 0 5.03/2.59 c (0,0) c Glues_1 : 1 5.03/2.59 c (0,0) c Glues_2 : 0 5.03/2.59 c (0,0) c Glues_3 : 0 5.03/2.59 c (0,0) c Glues_4 : 1 5.03/2.59 c (0,0) c Glues_5 : 0 5.03/2.59 c (0,0) c Glues_6 : 0 5.03/2.59 c (0,0) c Glues_7 : 0 5.03/2.59 c (0,0) c Glues_total : 2 5.03/2.59 c (0,0) c Glues_winner : 0 5.03/2.59 c (0,0) c RunningTime_0 : 0.002446 5.03/2.59 c (0,0) c RunningTime_1 : 0.003443 5.03/2.59 c (0,0) c RunningTime_2 : 0.002322 5.03/2.59 c (0,0) c RunningTime_3 : 0.004250 5.03/2.59 c (0,0) c RunningTime_4 : 0.008569 5.03/2.59 c (0,0) c RunningTime_5 : 0.006770 5.03/2.59 c (0,0) c RunningTime_6 : 0.004789 5.03/2.59 c (0,0) c RunningTime_7 : 0.000002 5.03/2.59 c (0,0) c RunningTime_total : 0.032591 5.03/2.59 c (0,0) c RunningTime_winner : 0.002446 5.03/2.59 c (0,0) c WaitingTime_0 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_1 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_2 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_3 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_4 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_5 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_6 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_7 : 0.000000 5.03/2.59 c (0,0) c WaitingTime_total : 0.000000 5.03/2.59 c (0,0) c WaitingTime_winner : 0.000000 5.03/2.59 c (0,0) c ExchangingTime_0 : 0.000011 5.03/2.59 c (0,0) c ExchangingTime_1 : 0.000037 5.03/2.59 c (0,0) c ExchangingTime_2 : 0.000002 5.03/2.59 c (0,0) c ExchangingTime_3 : 0.000007 5.03/2.59 c (0,0) c ExchangingTime_4 : 0.000013 5.03/2.59 c (0,0) c ExchangingTime_5 : 0.000003 5.03/2.59 c (0,0) c ExchangingTime_6 : 0.000008 5.03/2.59 c (0,0) c ExchangingTime_7 : 0.000000 5.03/2.59 c (0,0) c ExchangingTime_total : 0.000082 5.03/2.59 c (0,0) c ExchangingTime_winner : 0.000011 5.03/2.59 c (0,0) c PeriodProcTime_0 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_1 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_2 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_3 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_4 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_5 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_6 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_7 : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_total : 0.000000 5.03/2.59 c (0,0) c PeriodProcTime_winner : 0.000000 5.03/2.59 c (0,0) c SolvingTime_0 : 0.002458 5.03/2.59 c (0,0) c SolvingTime_1 : 0.003480 5.03/2.59 c (0,0) c SolvingTime_2 : 0.002324 5.03/2.59 c (0,0) c SolvingTime_3 : 0.004257 5.03/2.59 c (0,0) c SolvingTime_4 : 0.008582 5.03/2.59 c (0,0) c SolvingTime_5 : 0.006773 5.03/2.59 c (0,0) c SolvingTime_6 : 0.004797 5.03/2.59 c (0,0) c SolvingTime_7 : 0.000002 5.03/2.59 c (0,0) c SolvingTime_total : 0.032673 5.03/2.59 c (0,0) c SolvingTime_winner : 0.002458 5.03/2.59 c (0,0) c PropagationTime_0 : 0.002100 5.03/2.59 c (0,0) c PropagationTime_1 : 0.002793 5.03/2.59 c (0,0) c PropagationTime_2 : 0.002099 5.03/2.59 c (0,0) c PropagationTime_3 : 0.003480 5.03/2.59 c (0,0) c PropagationTime_4 : 0.006941 5.03/2.59 c (0,0) c PropagationTime_5 : 0.006529 5.03/2.59 c (0,0) c PropagationTime_6 : 0.003556 5.03/2.59 c (0,0) c PropagationTime_7 : 0.000000 5.03/2.59 c (0,0) c PropagationTime_total : 0.027498 5.03/2.59 c (0,0) c PropagationTime_winner : 0.002100 5.03/2.59 c (0,0) c AnalysisTime_0 : 0.000186 5.03/2.59 c (0,0) c AnalysisTime_1 : 0.000395 5.03/2.59 c (0,0) c AnalysisTime_2 : 0.000087 5.03/2.59 c (0,0) c AnalysisTime_3 : 0.000459 5.03/2.59 c (0,0) c AnalysisTime_4 : 0.001171 5.03/2.59 c (0,0) c AnalysisTime_5 : 0.000139 5.03/2.59 c (0,0) c AnalysisTime_6 : 0.000838 5.03/2.59 c (0,0) c AnalysisTime_7 : 0.000000 5.03/2.59 c (0,0) c AnalysisTime_total : 0.003275 5.03/2.59 c (0,0) c AnalysisTime_winner : 0.000186 5.03/2.59 c (0,0) c ReductionTime_0 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_1 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_2 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_3 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_4 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_5 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_6 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_7 : 0.000000 5.03/2.59 c (0,0) c ReductionTime_total : 0.000000 5.03/2.59 c (0,0) c ReductionTime_winner : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_0 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_1 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_2 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_3 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_4 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_5 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_6 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_7 : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_total : 0.000000 5.03/2.59 c (0,0) c SimplifyTime_winner : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_0 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_1 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_2 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_3 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_4 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_5 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_6 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_7 : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_total : 0.000000 5.03/2.59 c (0,0) c UsedRateTime_winner : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_0 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_1 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_2 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_3 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_4 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_5 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_6 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_7 : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_total : 0.000000 5.03/2.59 c (0,0) c OverlapRateTime_winner : 0.000000 5.03/2.59 c (0,0) c 5.03/2.59 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5.03/2.59 c (0,0) c 5.03/2.59 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.59 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5.03/2.59 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.59 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5.03/2.59 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5.03/2.59 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5.03/2.59 c (0,0) c | Initial random_seed | 1480517103 | 1902172423 | 1311514220 | 1120861167 | 2107813176 | 807196704 | 1905384107 | 91648260 | 5.03/2.59 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5.03/2.59 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5.03/2.59 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 5.03/2.59 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5.03/2.59 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5.03/2.59 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 5.03/2.59 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5.03/2.59 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 5.03/2.59 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5.03/2.59 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5.03/2.59 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5.03/2.59 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5.03/2.59 c (0,0) 5.03/2.59 c (0,0) s SATISFIABLE 5.35/2.61 c (0,0) SatSolver.solve End 5.35/2.61 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 5.35/2.61 c (0,0) Show results Begin 5.35/2.69 c (0,0) x[0] = 0 5.35/2.69 c (0,0) x[1] = 0 5.35/2.69 c (0,0) x[2] = 21 5.35/2.69 c (0,0) x[3] = 21 5.35/2.69 c (0,0) x[4] = 31 5.35/2.69 c (0,0) x[5] = 25 5.35/2.69 c (0,0) x[6] = 2 5.35/2.69 c (0,0) x[7] = 1 5.35/2.69 c (0,0) x[8] = 0 5.35/2.69 c (0,0) x[9] = 11 5.35/2.69 c (0,0) x[10] = 0 5.35/2.69 c (0,0) x[11] = 9 5.35/2.69 c (0,0) x[12] = 9 5.35/2.69 c (0,0) x[13] = 22 5.35/2.69 c (0,0) x[14] = 21 5.35/2.69 c (0,0) y[0] = 15 5.35/2.69 c (0,0) y[1] = 19 5.35/2.69 c (0,0) y[2] = 19 5.35/2.69 c (0,0) y[3] = 15 5.35/2.69 c (0,0) y[4] = 17 5.35/2.69 c (0,0) y[5] = 15 5.35/2.69 c (0,0) y[6] = 19 5.35/2.69 c (0,0) y[7] = 11 5.35/2.69 c (0,0) y[8] = 26 5.35/2.69 c (0,0) y[9] = 0 5.35/2.69 c (0,0) y[10] = 0 5.35/2.69 c (0,0) y[11] = 11 5.35/2.69 c (0,0) y[12] = 23 5.35/2.69 c (0,0) y[13] = 22 5.35/2.69 c (0,0) y[14] = 0 5.35/2.69 s SATISFIABLE 5.35/2.70 v <instantiation> 5.35/2.70 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14]</list> 5.35/2.70 v <values>0 0 21 21 31 25 2 1 0 11 0 9 9 22 21 15 19 19 15 17 15 19 11 26 0 0 11 23 22 0</values> 5.35/2.70 v </instantiation> 5.35/2.70 c (0,0) Show results End 5.35/2.70 c (0,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 5.35/2.70 c (0,0) 0,0,STOP-AFTER(ALL) 5.35/2.70 c END-Prog: Tue Sep 24 23:49:14 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14631 MiB free) memory of node 1: 16384 MiB (13435 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405423-1569365474/watcher-4405423-1569365474 -o /var/tmp/evaluation-result-4405423-1569365474/solver-4405423-1569365474 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --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-4405423-1569365474.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=21268, runsolver pid=21265 Current StackSize limit: 8192 KiB [startup+0.10016 s]* /proc/loadavg: 7.51 7.86 7.60 4/211 21290 /proc/meminfo: memFree=28643260/32770624 swapFree=66954160/67108860 [pid=21268] ppid=21265 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21268/stat : 21268 (scop.sh) S 21265 21268 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512802760 115843072 349 33554432000 4194304 5098028 140734026693056 140734026690312 140239871709820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28585984 140734026699516 140734026699864 140734026699864 140734026702793 0 /proc/21268/statm: 28282 349 296 221 0 87 0 [pid=21271] ppid=21268 vsize=27314120 memory=106112 CPUtime=0.11 cores=0-7 /proc/21271/stat : 21271 (java) S 21268 21268 19238 0 -1 1077944320 6544 0 0 0 9 2 0 0 20 0 20 0 512802760 27969658880 26528 33554432000 4194304 4196468 140723197145616 140723197128160 139997847068407 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 /proc/21271/statm: 6828530 26528 2815 1 0 6790935 0 [pid=21271/tid=21272] ppid=21268 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/21271/task/21272/stat : 21272 (java) R 21268 21268 19238 0 -1 4202560 4633 0 0 0 7 1 0 0 20 0 20 0 512802761 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997818872608 139997847080342 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21273] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21273/stat : 21273 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997851310352 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21274] ppid=21268 vsize=27314120 memory=3833042455568033440 CPUtime=0 cores=0-7 /proc/21271/task/21274/stat : 21274 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997269625232 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21275] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21275/stat : 21275 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997268572688 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21276] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21276/stat : 21276 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997267520144 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21277] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21277/stat : 21277 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997266467600 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21278] ppid=21268 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21271/task/21278/stat : 21278 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997265415056 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21279] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21279/stat : 21279 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997264362512 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21280] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21280/stat : 21280 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997263309968 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21281] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21281/stat : 21281 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997106792432 139997847079554 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21282] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21282/stat : 21282 (java) S 21268 21268 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 26528 33554432000 4194304 4196468 140723197145616 139995599856544 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21283] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21283/stat : 21283 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 26528 33554432000 4194304 4196468 140723197145616 139995331421168 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21284] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21284/stat : 21284 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 26528 33554432000 4194304 4196468 140723197145616 139994956912848 139997847087003 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21285] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21285/stat : 21285 (java) S 21268 21268 19238 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997105740272 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21286] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21286/stat : 21286 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997104687728 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21287] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21287/stat : 21287 (java) R 21268 21268 19238 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997103635184 139997847079554 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21288] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21288/stat : 21288 (java) R 21268 21268 19238 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997102582640 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21289] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21289/stat : 21289 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 26528 33554432000 4194304 4196468 140723197145616 139994459007200 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21290] ppid=21268 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21271/task/21290/stat : 21290 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 26528 33554432000 4194304 4196468 140723197145616 139997101529520 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107508 KiB [startup+0.210504 s]* /proc/loadavg: 7.51 7.86 7.60 3/211 21290 /proc/meminfo: memFree=28623884/32770624 swapFree=66954160/67108860 [pid=21268] ppid=21265 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21268/stat : 21268 (scop.sh) S 21265 21268 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512802760 115843072 349 33554432000 4194304 5098028 140734026693056 140734026690312 140239871709820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28585984 140734026699516 140734026699864 140734026699864 140734026702793 0 /proc/21268/statm: 28282 349 296 221 0 87 0 [pid=21271] ppid=21268 vsize=27314120 memory=122700 CPUtime=0.24 cores=0-7 /proc/21271/stat : 21271 (java) S 21268 21268 19238 0 -1 1077944320 11604 0 0 0 21 3 0 0 20 0 20 0 512802760 27969658880 30675 33554432000 4194304 4196468 140723197145616 140723197128160 139997847068407 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 /proc/21271/statm: 6828530 30675 2950 1 0 6790935 0 [pid=21271/tid=21272] ppid=21268 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/21271/task/21272/stat : 21272 (java) R 21268 21268 19238 0 -1 4202560 9252 0 0 0 16 3 0 0 20 0 20 0 512802761 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997818867792 139997832233993 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21273] ppid=21268 vsize=27314120 memory=10927 CPUtime=0 cores=0-7 /proc/21271/task/21273/stat : 21273 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997851310352 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21274] ppid=21268 vsize=27314120 memory=140277462058653 CPUtime=0 cores=0-7 /proc/21271/task/21274/stat : 21274 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997269625232 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21275] ppid=21268 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21271/task/21275/stat : 21275 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997268572688 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21276] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21276/stat : 21276 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997267520144 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21277] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21277/stat : 21277 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997266467600 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21278] ppid=21268 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21271/task/21278/stat : 21278 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997265415056 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21279] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21279/stat : 21279 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997264362512 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21280] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21280/stat : 21280 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997263309968 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21281] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21281/stat : 21281 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997106792432 139997847079554 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21282] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21282/stat : 21282 (java) S 21268 21268 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 30675 33554432000 4194304 4196468 140723197145616 139995599856544 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21283] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21283/stat : 21283 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 30675 33554432000 4194304 4196468 140723197145616 139995331421168 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21284] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21284/stat : 21284 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 30675 33554432000 4194304 4196468 140723197145616 139994956912848 139997847087003 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21285] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21285/stat : 21285 (java) S 21268 21268 19238 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997105740272 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21286] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21286/stat : 21286 (java) S 21268 21268 19238 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997104687728 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21287] ppid=21268 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21271/task/21287/stat : 21287 (java) S 21268 21268 19238 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997103635184 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21288] ppid=21268 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/21271/task/21288/stat : 21288 (java) S 21268 21268 19238 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 20 0 512802768 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997102582640 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21289] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21289/stat : 21289 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 30675 33554432000 4194304 4196468 140723197145616 139994459007200 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21290] ppid=21268 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21271/task/21290/stat : 21290 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 30675 33554432000 4194304 4196468 140723197145616 139997101529520 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124096 KiB [startup+0.309583 s]* /proc/loadavg: 7.51 7.86 7.60 3/211 21290 /proc/meminfo: memFree=28612012/32770624 swapFree=66954160/67108860 [pid=21268] ppid=21265 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21268/stat : 21268 (scop.sh) S 21265 21268 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512802760 115843072 349 33554432000 4194304 5098028 140734026693056 140734026690312 140239871709820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28585984 140734026699516 140734026699864 140734026699864 140734026702793 0 /proc/21268/statm: 28282 349 296 221 0 87 0 [pid=21271] ppid=21268 vsize=27314120 memory=127196 CPUtime=0.42 cores=0-7 /proc/21271/stat : 21271 (java) S 21268 21268 19238 0 -1 1077944320 12610 0 0 0 37 5 0 0 20 0 20 0 512802760 27969658880 31799 33554432000 4194304 4196468 140723197145616 140723197128160 139997847068407 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 /proc/21271/statm: 6828530 31799 3058 1 0 6790935 0 [pid=21271/tid=21272] ppid=21268 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/21271/task/21272/stat : 21272 (java) R 21268 21268 19238 0 -1 4202560 9999 0 0 0 25 4 0 0 20 0 20 0 512802761 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997818851424 139997827344302 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21273] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21273/stat : 21273 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997851310352 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21274] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21274/stat : 21274 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997269625232 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21275] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21275/stat : 21275 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997268572688 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21276] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21276/stat : 21276 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997267520144 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21277] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21277/stat : 21277 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997266467600 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21278] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21278/stat : 21278 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997265415056 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21279] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21279/stat : 21279 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997264362512 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21280] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21280/stat : 21280 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997263309968 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21281] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21281/stat : 21281 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997106792432 139997847079554 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21282] ppid=21268 vsize=27314120 memory=280554645953920 CPUtime=0 cores=0-7 /proc/21271/task/21282/stat : 21282 (java) S 21268 21268 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 31799 33554432000 4194304 4196468 140723197145616 139995599856544 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21283] ppid=21268 vsize=27314120 memory=280554645958528 CPUtime=0 cores=0-7 /proc/21271/task/21283/stat : 21283 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802765 27969658880 31799 33554432000 4194304 4196468 140723197145616 139995331421168 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21284] ppid=21268 vsize=27314120 memory=280554645963136 CPUtime=0 cores=0-7 /proc/21271/task/21284/stat : 21284 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 31799 33554432000 4194304 4196468 140723197145616 139994956912848 139997847087003 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21285] ppid=21268 vsize=27314120 memory=280554645967744 CPUtime=0.01 cores=0-7 /proc/21271/task/21285/stat : 21285 (java) S 21268 21268 19238 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 512802768 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997105740272 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21286] ppid=21268 vsize=27314120 memory=280554645972352 CPUtime=0.01 cores=0-7 /proc/21271/task/21286/stat : 21286 (java) S 21268 21268 19238 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 20 0 512802768 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997104687728 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21287] ppid=21268 vsize=27314120 memory=280554645976960 CPUtime=0.01 cores=0-7 /proc/21271/task/21287/stat : 21287 (java) S 21268 21268 19238 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 512802768 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997103635184 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21288] ppid=21268 vsize=27314120 memory=280554645981568 CPUtime=0.07 cores=0-7 /proc/21271/task/21288/stat : 21288 (java) S 21268 21268 19238 0 -1 1077944384 622 0 0 0 7 0 0 0 20 0 20 0 512802768 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997102582640 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21289] ppid=21268 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21289/stat : 21289 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 31799 33554432000 4194304 4196468 140723197145616 139994459007200 139997847078613 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21290] ppid=21268 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/21271/task/21290/stat : 21290 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27969658880 31799 33554432000 4194304 4196468 140723197145616 139997101529520 139997847079554 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128592 KiB [startup+0.7009 s] /proc/loadavg: 7.51 7.86 7.60 2/211 21290 /proc/meminfo: memFree=28599012/32770624 swapFree=66954160/67108860 [pid=21268] ppid=21265 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/21268/stat : 21268 (scop.sh) S 21265 21268 19238 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512802760 115843072 349 33554432000 4194304 5098028 140734026693056 140734026690312 140239871709820 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28585984 140734026699516 140734026699864 140734026699864 140734026702793 0 /proc/21268/statm: 28282 349 296 221 0 87 0 [pid=21271] ppid=21268 vsize=27320392 memory=164176 CPUtime=0.97 cores=0-7 /proc/21271/stat : 21271 (java) S 21268 21268 19238 0 -1 1077944320 20162 0 0 0 90 7 0 0 20 0 20 0 512802760 27976081408 41044 33554432000 4194304 4196468 140723197145616 140723197128160 139997847068407 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 /proc/21271/statm: 6830098 41044 3182 1 0 6791447 0 [pid=21271/tid=21272] ppid=21268 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/21271/task/21272/stat : 21272 (java) R 21268 21268 19238 0 -1 4202560 16937 0 0 0 61 6 0 0 20 0 20 0 512802761 27976081408 41044 33554432000 4194304 4196468 140723197145616 139997818903528 139997831148894 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21273] ppid=21268 vsize=27320392 memory=140277323178880 CPUtime=0 cores=0-7 /proc/21271/task/21273/stat : 21273 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27976081408 41044 33554432000 4194304 4196468 140723197145616 139997851310352 139997847078613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21274] ppid=21268 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21274/stat : 21274 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802763 27976081408 41044 33554432000 4194304 4196468 140723197145616 139997269625232 139997847078613 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21275] ppid=21268 vsize=27320392 memory=9364 CPUtime=0 cores=0-7 /proc/21271/task/21275/stat : 21275 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802763 27976081408 41044 33554432000 4194304 4196468 140723197145616 139997268572688 139997847078613 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 ################ # More data... # ################ /proc/21271/task/21283/stat : 21283 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802765 27984617472 54915 33554432000 4194304 4196468 140723197145616 139995331421168 139997847078613 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21284] ppid=21268 vsize=27328728 memory=984 CPUtime=0 cores=0-7 /proc/21271/task/21284/stat : 21284 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27984617472 54915 33554432000 4194304 4196468 140723197145616 139994956912848 139997847087003 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21285] ppid=21268 vsize=27328728 memory=14012 CPUtime=0.27 cores=0-7 /proc/21271/task/21285/stat : 21285 (java) R 21268 21268 19238 0 -1 4202560 748 0 0 0 26 1 0 0 20 0 20 0 512802768 27984617472 54915 33554432000 4194304 4196468 140723197145616 139997105740400 139997826992354 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21286] ppid=21268 vsize=27328728 memory=6153431502485413994 CPUtime=0.27 cores=0-7 /proc/21271/task/21286/stat : 21286 (java) R 21268 21268 19238 0 -1 4202560 689 0 0 0 27 0 0 0 20 0 20 0 512802768 27984617472 54915 33554432000 4194304 4196468 140723197145616 139997104687728 139997831947990 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21287] ppid=21268 vsize=27328728 memory=8025788818473374820 CPUtime=0.29 cores=0-7 /proc/21271/task/21287/stat : 21287 (java) R 21268 21268 19238 0 -1 4202560 573 0 0 0 29 0 0 0 20 0 20 0 512802768 27984617472 54915 33554432000 4194304 4196468 140723197145616 139997103621264 139997831990364 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21288] ppid=21268 vsize=27328728 memory=7881696724453321575 CPUtime=0.71 cores=0-7 /proc/21271/task/21288/stat : 21288 (java) R 21268 21268 19238 0 -1 4202560 2367 0 0 0 71 0 0 0 20 0 20 0 512802768 27984617472 54915 33554432000 4194304 4196468 140723197145616 139997102582640 139997827385087 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21289] ppid=21268 vsize=27328728 memory=0 CPUtime=0 cores=0-7 /proc/21271/task/21289/stat : 21289 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802768 27984617472 54915 33554432000 4194304 4196468 140723197145616 139994459007200 139997847078613 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 [pid=21271/tid=21290] ppid=21268 vsize=27328728 memory=3580 CPUtime=0 cores=0-7 /proc/21271/task/21290/stat : 21290 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802768 27984617472 54915 33554432000 4194304 4196468 140723197145616 139997101529520 139997847079554 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26349568 140723197149894 140723197150342 140723197150342 140723197153231 0 Current children cumulated CPU time: 3.18 s Current children cumulated vsize: 27441856 KiB Current children cumulated memory: 221056 KiB [startup+2.40089 s] /proc/loadavg: 7.51 7.86 7.60 2/211 21310 /proc/meminfo: memFree=28688608/32770624 swapFree=66954160/67108860 [pid=21268] ppid=21265 vsize=113128 memory=1476 CPUtime=4.13 cores=0-7 /proc/21268/stat : 21268 (scop.sh) S 21265 21268 19238 0 -1 4202496 583 26523 0 0 0 0 399 14 20 0 1 0 512802760 115843072 369 33554432000 4194304 5098028 140734026693056 140734026689800 140239871709820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28585984 140734026699516 140734026699864 140734026699864 140734026702793 0 /proc/21268/statm: 28282 369 311 221 0 87 0 [pid=21291] ppid=21268 vsize=7752288 memory=81868 CPUtime=0.74 cores=0-7 /proc/21291/stat : 21291 (java) S 21268 21268 19238 0 -1 1077944320 14895 0 0 0 70 4 0 0 20 0 20 0 512802944 7938342912 20467 33554432000 4194304 4196468 140726482169360 140726482151904 140111378521847 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 /proc/21291/statm: 1938072 20467 3109 1 0 1899951 0 [pid=21291/tid=21292] ppid=21268 vsize=7752288 memory=193136 CPUtime=0.54 cores=0-7 /proc/21291/task/21292/stat : 21292 (java) R 21268 21268 19238 0 -1 4202560 12596 0 0 0 51 3 0 0 20 0 20 0 512802944 7938342912 20467 33554432000 4194304 4196468 140726482169360 140111350349440 140111358797607 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21293] ppid=21268 vsize=7752288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/21291/task/21293/stat : 21293 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20467 33554432000 4194304 4196468 140726482169360 140111382764304 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21294] ppid=21268 vsize=7752288 memory=7523376918531162212 CPUtime=0 cores=0-7 /proc/21291/task/21294/stat : 21294 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20533 33554432000 4194304 4196468 140726482169360 140111182932880 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21295] ppid=21268 vsize=7752288 memory=7882539981001222252 CPUtime=0 cores=0-7 /proc/21291/task/21295/stat : 21295 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20533 33554432000 4194304 4196468 140726482169360 140111181880336 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21296] ppid=21268 vsize=7752288 memory=496 CPUtime=0 cores=0-7 /proc/21291/task/21296/stat : 21296 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20533 33554432000 4194304 4196468 140726482169360 140111180827792 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21297] ppid=21268 vsize=7752288 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/21291/task/21297/stat : 21297 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20533 33554432000 4194304 4196468 140726482169360 140111179774224 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21298] ppid=21268 vsize=7752288 memory=1396 CPUtime=0 cores=0-7 /proc/21291/task/21298/stat : 21298 (java) S 21268 21268 19238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20533 33554432000 4194304 4196468 140726482169360 140111178721680 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21299] ppid=21268 vsize=7752288 memory=204748 CPUtime=0 cores=0-7 /proc/21291/task/21299/stat : 21299 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20533 33554432000 4194304 4196468 140726482169360 140111177669136 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21300] ppid=21268 vsize=7752288 memory=1444 CPUtime=0 cores=0-7 /proc/21291/task/21300/stat : 21300 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802946 7938342912 20533 33554432000 4194304 4196468 140726482169360 140111176616592 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21301] ppid=21268 vsize=7752288 memory=880 CPUtime=0 cores=0-7 /proc/21291/task/21301/stat : 21301 (java) S 21268 21268 19238 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 512802947 7938342912 20533 33554432000 4194304 4196468 140726482169360 140110135740912 140111378532994 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21302] ppid=21268 vsize=7752288 memory=1984 CPUtime=0 cores=0-7 /proc/21291/task/21302/stat : 21302 (java) S 21268 21268 19238 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512802948 7938342912 20533 33554432000 4194304 4196468 140726482169360 140110020470176 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21303] ppid=21268 vsize=7752288 memory=2552 CPUtime=0 cores=0-7 /proc/21291/task/21303/stat : 21303 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802948 7938342912 20533 33554432000 4194304 4196468 140726482169360 140109752034800 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21304] ppid=21268 vsize=7752288 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/21291/task/21304/stat : 21304 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802950 7938342912 20533 33554432000 4194304 4196468 140726482169360 140109377526480 140111378540443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21305] ppid=21268 vsize=7752288 memory=288230596050944315 CPUtime=0.03 cores=0-7 /proc/21291/task/21305/stat : 21305 (java) S 21268 21268 19238 0 -1 1077944384 404 0 0 0 3 0 0 0 20 0 20 0 512802950 7938342912 20533 33554432000 4194304 4196468 140726482169360 140110134687728 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21306] ppid=21268 vsize=7752288 memory=14981065810905736 CPUtime=0.02 cores=0-7 /proc/21291/task/21306/stat : 21306 (java) S 21268 21268 19238 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 20 0 512802950 7938342912 20533 33554432000 4194304 4196468 140726482169360 140110133635184 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21307] ppid=21268 vsize=7752288 memory=0 CPUtime=0.01 cores=0-7 /proc/21291/task/21307/stat : 21307 (java) S 21268 21268 19238 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 20 0 512802950 7938342912 20533 33554432000 4194304 4196468 140726482169360 140110132582640 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21308] ppid=21268 vsize=7752288 memory=6656426216303648864 CPUtime=0.11 cores=0-7 /proc/21291/task/21308/stat : 21308 (java) S 21268 21268 19238 0 -1 1077944384 326 0 0 0 11 0 0 0 20 0 20 0 512802950 7938342912 20533 33554432000 4194304 4196468 140726482169360 140110131530096 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21309] ppid=21268 vsize=7752288 memory=0 CPUtime=0 cores=0-7 /proc/21291/task/21309/stat : 21309 (java) S 21268 21268 19238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512802951 7938342912 20599 33554432000 4194304 4196468 140726482169360 140108879620832 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21310] ppid=21268 vsize=7752288 memory=0 CPUtime=0 cores=0-7 /proc/21291/task/21310/stat : 21310 (java) S 21268 21268 19238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512802951 7938342912 20599 33554432000 4194304 4196468 140726482169360 140110130478000 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 Current children cumulated CPU time: 4.87 s Current children cumulated vsize: 7865416 KiB Current children cumulated memory: 83344 KiB [startup+2.60544 s] /proc/loadavg: 7.51 7.86 7.60 2/211 21310 /proc/meminfo: memFree=28688608/32770624 swapFree=66954160/67108860 [pid=21268] ppid=21265 vsize=113128 memory=1476 CPUtime=4.13 cores=0-7 /proc/21268/stat : 21268 (scop.sh) S 21265 21268 19238 0 -1 4202496 583 26523 0 0 0 0 399 14 20 0 1 0 512802760 115843072 369 33554432000 4194304 5098028 140734026693056 140734026689800 140239871709820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28585984 140734026699516 140734026699864 140734026699864 140734026702793 0 /proc/21268/statm: 28282 369 311 221 0 87 0 [pid=21291] ppid=21268 vsize=8415148 memory=122400 CPUtime=1.22 cores=0-7 /proc/21291/stat : 21291 (java) S 21268 21268 19238 0 -1 1077944320 20101 1808 0 0 113 6 3 0 20 0 23 0 512802944 8617111552 30599 33554432000 4194304 4196468 140726482169360 140726482151904 140111378521847 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 /proc/21291/statm: 2103787 30600 3210 1 0 2065131 0 [pid=21291/tid=21292] ppid=21268 vsize=8414124 memory=0 CPUtime=0.76 cores=0-7 /proc/21291/task/21292/stat : 21292 (java) R 21268 21268 19238 0 -1 1077944384 16948 1808 0 0 69 4 3 0 20 0 23 0 512802944 8616062976 30600 33554432000 4194304 4196468 140726482169360 140111350331088 140111371201069 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21293] ppid=21268 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21293/stat : 21293 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802946 8616062976 30600 33554432000 4194304 4196468 140726482169360 140111382764304 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21294] ppid=21268 vsize=8415148 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21294/stat : 21294 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802946 8617111552 30600 33554432000 4194304 4196468 140726482169360 140111182932880 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21295] ppid=21268 vsize=8415148 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21295/stat : 21295 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802946 8617111552 30600 33554432000 4194304 4196468 140726482169360 140111181880336 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21296] ppid=21268 vsize=8415148 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21296/stat : 21296 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802946 8617111552 30600 33554432000 4194304 4196468 140726482169360 140111180827792 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21297] ppid=21268 vsize=8415148 memory=56 CPUtime=0.03 cores=0-7 /proc/21291/task/21297/stat : 21297 (java) S 21268 21268 19238 0 -1 1077944384 2 1808 0 0 0 0 3 0 20 0 23 0 512802946 8617111552 30600 33554432000 4194304 4196468 140726482169360 140111179774224 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21298] ppid=21268 vsize=8414124 memory=-7003712468125992082 CPUtime=0.03 cores=0-7 /proc/21291/task/21298/stat : 21298 (java) S 21268 21268 19238 0 -1 1077944384 2 1808 0 0 0 0 3 0 20 0 23 0 512802946 8616062976 30600 33554432000 4194304 4196468 140726482169360 140111178721680 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21299] ppid=21268 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21299/stat : 21299 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802946 8616062976 30600 33554432000 4194304 4196468 140726482169360 140111177669136 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21300] ppid=21268 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21300/stat : 21300 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802946 8616062976 30600 33554432000 4194304 4196468 140726482169360 140111176616592 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21301] ppid=21268 vsize=8415148 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21301/stat : 21301 (java) S 21268 21268 19238 0 -1 1077944384 7 1808 0 0 0 0 3 0 20 0 23 0 512802947 8617111552 30600 33554432000 4194304 4196468 140726482169360 140110135740912 140111378532994 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21302] ppid=21268 vsize=8415148 memory=280554646395296 CPUtime=0.03 cores=0-7 /proc/21291/task/21302/stat : 21302 (java) S 21268 21268 19238 0 -1 1077944384 13 1808 0 0 0 0 3 0 20 0 23 0 512802948 8617111552 30600 33554432000 4194304 4196468 140726482169360 140110020470176 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21303] ppid=21268 vsize=8415148 memory=5791726317272787289 CPUtime=0.03 cores=0-7 /proc/21291/task/21303/stat : 21303 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802948 8617111552 30600 33554432000 4194304 4196468 140726482169360 140109752034800 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21304] ppid=21268 vsize=8414124 memory=7158596331029163094 CPUtime=0.03 cores=0-7 /proc/21291/task/21304/stat : 21304 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802950 8616062976 30600 33554432000 4194304 4196468 140726482169360 140109377526480 140111378540443 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21305] ppid=21268 vsize=8414124 memory=140277462058653 CPUtime=0.08 cores=0-7 /proc/21291/task/21305/stat : 21305 (java) R 21268 21268 19238 0 -1 4202560 493 1808 0 0 5 0 3 0 20 0 23 0 512802950 8616062976 30600 33554432000 4194304 4196468 140726482169360 140110134676992 140111356974199 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21306] ppid=21268 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7 /proc/21291/task/21306/stat : 21306 (java) S 21268 21268 19238 0 -1 1077944384 419 1808 0 0 7 0 3 0 20 0 23 0 512802950 8616062976 30600 33554432000 4194304 4196468 140726482169360 140110133635184 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21307] ppid=21268 vsize=8414124 memory=25124 CPUtime=0.09 cores=0-7 /proc/21291/task/21307/stat : 21307 (java) R 21268 21268 19238 0 -1 4202560 265 1808 0 0 6 0 3 0 20 0 23 0 512802950 8616062976 30600 33554432000 4194304 4196468 140726482169360 140110132573024 140111362020951 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21308] ppid=21268 vsize=8414124 memory=0 CPUtime=0.23 cores=0-7 /proc/21291/task/21308/stat : 21308 (java) S 21268 21268 19238 0 -1 1077944384 535 1808 0 0 20 0 3 0 20 0 23 0 512802950 8616062976 30600 33554432000 4194304 4196468 140726482169360 140110131530096 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21309] ppid=21268 vsize=8415148 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21309/stat : 21309 (java) S 21268 21268 19238 0 -1 1077944384 3 1808 0 0 0 0 3 0 20 0 23 0 512802951 8617111552 30600 33554432000 4194304 4196468 140726482169360 140108879620832 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21310] ppid=21268 vsize=8415148 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21310/stat : 21310 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 23 0 512802951 8617111552 30600 33554432000 4194304 4196468 140726482169360 140110130478000 140111378532994 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 Current children cumulated CPU time: 5.35 s Current children cumulated vsize: 8528276 KiB Current children cumulated memory: 123876 KiB [startup+2.7009 s] /proc/loadavg: 7.51 7.86 7.60 2/211 21310 /proc/meminfo: memFree=28688608/32770624 swapFree=66954160/67108860 [pid=21268] ppid=21265 vsize=113128 memory=1476 CPUtime=4.13 cores=0-7 /proc/21268/stat : 21268 (scop.sh) S 21265 21268 19238 0 -1 4202496 583 26523 0 0 0 0 399 14 20 0 1 0 512802760 115843072 369 33554432000 4194304 5098028 140734026693056 140734026689800 140239871709820 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28585984 140734026699516 140734026699864 140734026699864 140734026702793 0 /proc/21268/statm: 28282 369 311 221 0 87 0 [pid=21291] ppid=21268 vsize=8151972 memory=128360 CPUtime=1.4 cores=0-7 /proc/21291/stat : 21291 (java) S 21268 21268 19238 0 -1 1077944320 21013 1808 0 0 130 7 3 0 20 0 21 0 512802944 8347619328 32090 33554432000 4194304 4196468 140726482169360 140726482151904 140111378521847 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 /proc/21291/statm: 2037993 32090 3216 1 0 1999337 0 [pid=21291/tid=21292] ppid=21268 vsize=8151972 memory=0 CPUtime=0.85 cores=0-7 /proc/21291/task/21292/stat : 21292 (java) S 21268 21268 19238 0 -1 1077944384 17585 1808 0 0 78 4 3 0 20 0 21 0 512802944 8347619328 32090 33554432000 4194304 4196468 140726482169360 140111350365328 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21293] ppid=21268 vsize=8151972 memory=6655300316396806240 CPUtime=0.03 cores=0-7 /proc/21291/task/21293/stat : 21293 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 21 0 512802946 8347619328 32094 33554432000 4194304 4196468 140726482169360 140111382764304 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21294] ppid=21268 vsize=8151972 memory=6944656592387989600 CPUtime=0.03 cores=0-7 /proc/21291/task/21294/stat : 21294 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 20 0 512802946 8347619328 32094 33554432000 4194304 4196468 140726482169360 140111182932880 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21295] ppid=21268 vsize=8151972 memory=6655300316396806240 CPUtime=0.03 cores=0-7 /proc/21291/task/21295/stat : 21295 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 20 0 512802946 8347619328 32094 33554432000 4194304 4196468 140726482169360 140111181880336 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21296] ppid=21268 vsize=8151972 memory=6943526294502006880 CPUtime=0.03 cores=0-7 /proc/21291/task/21296/stat : 21296 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 20 0 512802946 8347619328 32060 33554432000 4194304 4196468 140726482169360 140111180827792 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21297] ppid=21268 vsize=8149916 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21297/stat : 21297 (java) S 21268 21268 19238 0 -1 1077944384 2 1808 0 0 0 0 3 0 20 0 19 0 512802946 8345513984 32071 33554432000 4194304 4196468 140726482169360 140111179774224 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21298] ppid=21268 vsize=8018840 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21298/stat : 21298 (java) S 21268 21268 19238 0 -1 1077944384 2 1808 0 0 0 0 3 0 20 0 19 0 512802946 8211292160 32071 33554432000 4194304 4196468 140726482169360 140111178721680 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21299] ppid=21268 vsize=8018840 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21299/stat : 21299 (java) S 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 19 0 512802946 8211292160 32071 33554432000 4194304 4196468 140726482169360 140111177669136 140111378532053 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21300] ppid=21268 vsize=8018840 memory=0 CPUtime=0.03 cores=0-7 /proc/21291/task/21300/stat : 21300 (java) R 21268 21268 19238 0 -1 1077944384 1 1808 0 0 0 0 3 0 20 0 19 0 512802946 8211292160 32076 33554432000 4194304 4196468 140726482169360 140111176616592 140111378532053 256 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21302] ppid=21268 vsize=8018840 memory=56 CPUtime=0.03 cores=0-7 /proc/21291/task/21302/stat : 21302 (java) R 21268 21268 19238 0 -1 4202560 13 1808 0 0 0 0 3 0 20 0 16 0 512802948 8211292160 32105 33554432000 4194304 4196468 140726482169360 140110020470176 140111378532053 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6938624 140726482170847 140726482171014 140726482171014 140726482173903 0 [pid=21291/tid=21303] ppid=21268 vsize=0 memory=5787213831426565969 CPUtime=0.03 cores=0-7 /proc/21291/task/21303/stat : 21303 (java) R 21268 21268 19238 0 -1 4195396 1 1808 0 0 0 0 3 0 20 0 14 0 512802948 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 [pid=21291/tid=21304] ppid=21268 vsize=0 memory=6438283062275501160 CPUtime=0.03 cores=0-7 /proc/21291/task/21304/stat : 21304 (java) R 21268 21268 19238 0 -1 4203588 22 1808 0 0 0 0 3 0 20 0 6 0 512802950 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 [pid=21291/tid=21307] ppid=21268 vsize=0 memory=7007709048888711532 CPUtime=0.1 cores=0-7 /proc/21291/task/21307/stat : 21307 (java) R 21268 21268 19238 0 -1 4203588 271 1808 0 0 7 0 3 0 20 0 2 0 512802950 0 0 33554432000 0 0 0 0 0 0 4 2 25189581 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Current children cumulated CPU time: 5.53 s Current children cumulated vsize: 8265100 KiB Current children cumulated memory: 129836 KiB Child status: 0 Real time (s): 2.70896 CPU time (s): 5.5689 CPU user time (s): 5.33138 CPU system time (s): 0.237516 CPU usage (%): 205.573 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 258412 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.33138 system time used= 0.237516 maximum resident set size= 261936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49963 page faults= 0 swaps= 0 block input operations= 0 block output operations= 528 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7748 involuntary context switches= 16 # summary of solver processes directly reported to runsolver: # pid: 21268 # total CPU time (s): 5.5689 # total CPU user time (s): 5.33138 # total CPU system time (s): 0.237516 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.040537 second user time and 0.075741 second system time The end
Begin job on node107 at 2019-09-24 23:49:11 IDJOB=4405423 IDBENCH=141717 IDSOLVER=2868 FILE ID=node107/4405423-1569365474 RUNJOBID= node107-1569355381-19265 PBS_JOBID= 21705118 Free space on /var/tmp= 12564 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-15-036.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405423-1569365474/watcher-4405423-1569365474 -o /var/tmp/evaluation-result-4405423-1569365474/solver-4405423-1569365474 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node107-1569355381-19265 --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-4405423-1569365474.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5e5c63d89f6605b36f0577fcc9be8ecb RANDOM SEED=1133647077 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 28741188 kB MemAvailable: 31800452 kB Buffers: 76100 kB Cached: 3127244 kB SwapCached: 48160 kB Active: 1975308 kB Inactive: 1276716 kB Active(anon): 4064 kB Inactive(anon): 98300 kB Active(file): 1971244 kB Inactive(file): 1178416 kB Unevictable: 110988 kB Mlocked: 110988 kB SwapTotal: 67108860 kB SwapFree: 66954160 kB Dirty: 20912 kB Writeback: 0 kB AnonPages: 164728 kB Mapped: 53416 kB Shmem: 44548 kB Slab: 366388 kB SReclaimable: 338064 kB SUnreclaim: 28324 kB KernelStack: 3808 kB PageTables: 5452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12544 MiB End job on node107 at 2019-09-24 23:49:14