Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 26.3098 | 7.91296 |
Name | SocialGolfers/SocialGolfers-cp-s1/ SocialGolfers-5-5-9-cp.xml |
MD5SUM | a6754b0df54e854fabf9aee35b814723 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 15.7529 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 225 |
Number of constraints | 10811 |
Number of domains | 1 |
Minimum domain size | 5 |
Maximum domain size | 5 |
Distribution of domain sizes | [{"size":5,"count":225}] |
Minimum variable degree | 194 |
Maximum variable degree | 195 |
Distribution of variable degrees | [{"degree":194,"count":200},{"degree":195,"count":25}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 225 |
Distribution of constraint arities | [{"arity":4,"count":10800},{"arity":25,"count":10},{"arity":225,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 10800 |
Distribution of constraint types | [{"type":"intension","count":10800},{"type":"lex","count":1},{"type":"cardinality","count":9},{"type":"instantiation","count":1}] |
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-5913-serial-file.bin HOME/instance-4405494-1569336064.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Tue Sep 24 16:40:27 CEST 2019 0.65/0.56 c PID: 5916 0.65/0.56 c IP: 172.20.3.148 0.65/0.56 c HOST: node148.alineos.net 0.65/0.57 c (0,0) Parsing Begin 7.17/2.33 c (1,1) Parsing End 7.17/2.34 c (1,1) CSP: 215 int (0 aux), 10 bool (0 aux), 10811 ctr, max domain size 5 7.17/2.34 c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 7.17/2.34 c (1,1) Constraint Name Generate Begin 7.59/2.41 c (1,1) Ctr:HOME/instance-4405494-1569336064.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var 7.59/2.41 c (1,1) Constraint Name Generate End 7.59/2.41 c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 7.59/2.41 c (1,1) CSP to CSPinCNF Begin 8.87/2.70 c (2,2) translated 1082 (10%) constraints 8.87/2.78 c (2,2) translated 2163 (20%) constraints 9.17/2.84 c (2,2) translated 3244 (30%) constraints 9.48/2.90 c (2,2) translated 4325 (40%) constraints 9.48/2.95 c (2,2) translated 5406 (50%) constraints 9.48/2.99 c (2,2) translated 6487 (60%) constraints 9.82/3.03 c (2,2) translated 7568 (70%) constraints 9.82/3.06 c (2,2) translated 8649 (80%) constraints 9.82/3.09 c (2,2) translated 9730 (90%) constraints 11.14/3.49 c (2,2) translated 10811 (100%) constraints 12.06/3.78 c (3,3) =========================================== 12.37/3.84 c (3,3) Hybrid: #OE=552, #LE=1150 12.37/3.84 c (3,3) Hybrid 12.37/3.84 c (3,3) =========================================== 12.78/3.97 c (3,3) translated 1389 (10%) constraints 13.22/4.08 c (3,3) translated 2778 (20%) constraints 13.49/4.17 c (3,3) translated 4167 (30%) constraints 13.65/4.25 c (3,3) translated 5556 (40%) constraints 13.93/4.34 c (3,3) translated 6944 (50%) constraints 14.03/4.41 c (3,3) translated 8333 (60%) constraints 14.03/4.49 c (3,3) translated 9722 (70%) constraints 14.14/4.60 c (4,4) translated 11111 (80%) constraints 14.75/4.70 c (4,4) translated 12500 (90%) constraints 14.75/4.78 c (4,4) translated 13888 (100%) constraints 14.75/4.79 c (4,4) CSP to CSPinCNF End 14.75/4.79 c (4,4) CSP: 215 int (0 aux), 2612 bool (2602 aux), 16208 ctr, max domain size 5 14.75/4.79 c (4,4) Heap : 1464 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 14.75/4.79 c (4,4) CSPinCNF Propagation Begin 15.91/5.03 c (4,4) 270 values, 3818 unsatisfiable literals, and 3013 valid clauses are removed 15.91/5.03 c (4,4) CSPinCNF Propagation End 15.91/5.04 c (4,4) CSP: 215 int (0 aux), 2612 bool (2602 aux), 13195 ctr, max domain size 5 15.91/5.04 c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 15.91/5.09 c (4,4) Hybrid: #OE=1677, #LE=1150 15.91/5.09 c (4,4) Simplify CSPinCNF Begin 17.50/5.42 c (4,4) Simplify CSPinCNF End 17.50/5.42 c (4,4) CSP: 215 int (0 aux), 7811 bool (7801 aux), 18394 ctr, max domain size 5 17.50/5.42 c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 17.50/5.42 c (4,4) Calculate Precise Domain Begin 17.50/5.42 c (4,4) 0 values are removed by re-calculation 17.50/5.42 c (4,4) Calculate Precise Domain End 17.50/5.42 c (4,4) CSP: 215 int (0 aux), 7811 bool (7801 aux), 18394 ctr, max domain size 5 17.50/5.42 c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 17.50/5.42 c (4,4) CSPinCNF to SatSolver Begin 18.54/5.80 c (5,5) 1840 (10 %) CSP clauses are encoded (0 SAT variables, 7627 SAT clauses) 19.36/5.93 c (5,5) 3679 (20 %) CSP clauses are encoded (0 SAT variables, 14438 SAT clauses) 19.80/6.02 c (5,5) 5519 (30 %) CSP clauses are encoded (0 SAT variables, 20886 SAT clauses) 19.80/6.10 c (5,5) 7358 (40 %) CSP clauses are encoded (0 SAT variables, 27157 SAT clauses) 20.21/6.13 c (5,5) 9197 (50 %) CSP clauses are encoded (0 SAT variables, 28996 SAT clauses) 20.21/6.16 c (5,5) 11037 (60 %) CSP clauses are encoded (0 SAT variables, 30836 SAT clauses) 20.21/6.19 c (5,5) 12876 (70 %) CSP clauses are encoded (0 SAT variables, 32675 SAT clauses) 20.82/6.30 c (5,5) 14716 (80 %) CSP clauses are encoded (0 SAT variables, 43830 SAT clauses) 20.82/6.39 c (5,5) 16555 (90 %) CSP clauses are encoded (0 SAT variables, 58089 SAT clauses) 21.21/6.46 c (5,5) 18394 (100 %) CSP clauses are encoded (0 SAT variables, 65475 SAT clauses) 21.21/6.46 c (5,5) CSPinCNF to SatSolver End 21.21/6.46 c (5,5) Heap : 2027 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 21.21/6.46 c (5,5) 17331 bool, 65479 clause 21.21/6.46 c (5,5) Export Begin 21.58/6.57 c (6,6) Export to HOME/scop-5913-serial-file.bin 21.58/6.57 c (6,6) Export End 21.58/6.57 c (6,6) Export File Size: 0.04 MB 21.58/6.57 c (6,6) 1,1,4,4,4,4,5,STOP-AFTER(DIMACS) 21.58/6.57 c END-Prog: Tue Sep 24 16:40:33 CEST 2019 21.58/6.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5913-serial-file.bin 22.37/7.06 c (0,0) Read Serial File Begin 22.37/7.06 c (0,0) HOME/scop-5913-serial-file.bin 22.62/7.28 c (0,0) Read Serial File End 22.62/7.29 22.62/7.29 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 22.62/7.29 (Solving Process) 22.62/7.29 22.81/7.31 c BEGIN-Prog: Tue Sep 24 16:40:34 CEST 2019 22.81/7.31 c PID: 5936 22.81/7.31 c IP: 172.20.3.148 22.81/7.31 c HOST: node148.alineos.net 22.81/7.32 c (0,0) SatSolver.solve Begin 22.81/7.32 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405494-1569336064.xml-scop-5916.cnf 22.81/7.34 c (0,0) c 22.81/7.34 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) 22.81/7.34 c (0,0) c 22.81/7.34 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 22.81/7.34 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 22.81/7.34 c (0,0) c ========================================[ Problem Statistics ]=========================================== 22.81/7.34 c (0,0) c | | 22.81/7.37 c (0,0) c | Number of variables: 17331 | 22.81/7.37 c (0,0) c | Number of clauses: 65399 | 22.81/7.37 c (0,0) c | Parse time: 0.02 s | 22.81/7.37 c (0,0) c | | 23.03/7.40 c (0,0) c | Simplification time: 0.04 s | 23.03/7.40 c (0,0) c | | 23.03/7.40 c (0,0) c | Generating clones | 23.03/7.44 c (0,0) c | all clones generated. Memory = 70.37Mb. | 23.03/7.44 c (0,0) c ========================================================================================================| 23.03/7.44 c (0,0) c 23.03/7.44 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 23.03/7.44 c (0,0) c 23.03/7.44 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.44 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 23.03/7.44 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.44 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 23.03/7.44 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 23.03/7.44 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 23.03/7.44 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 23.03/7.44 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 23.03/7.44 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 23.03/7.44 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 23.03/7.44 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 23.03/7.44 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 23.03/7.44 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 23.03/7.44 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 23.03/7.44 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 23.03/7.44 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 23.03/7.44 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 23.03/7.44 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 23.03/7.44 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c 23.03/7.88 c (0,0) c real time : 0.538316 s 23.03/7.88 c (0,0) c cpu time : 3.10766 s 23.03/7.88 c (0,0) c 23.03/7.88 c (0,0) c 23.03/7.88 c (0,0) c 23.03/7.88 c (0,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 23.03/7.88 c (0,0) c 23.03/7.88 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 23.03/7.88 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c | Conflicts | 100710 | 8026 | 6847 | 17793 | 8820 | 16836 | 15824 | 8259 | 18305 | 23.03/7.88 c (0,0) c | Decisions | 168617 | 14671 | 13027 | 26762 | 16634 | 27463 | 27288 | 14648 | 28124 | 23.03/7.88 c (0,0) c | Propagations | 14011237 | 1749925 | 1909737 | 1322972 | 1836909 | 1734576 | 2110045 | 1856520 | 1490553 | 23.03/7.88 c (0,0) c | ReduceDBs | 20 | 2 | 2 | 3 | 2 | 3 | 3 | 2 | 3 | 23.03/7.88 c (0,0) c | SimpDBs | 27 | 4 | 3 | 3 | 4 | 2 | 4 | 2 | 5 | 23.03/7.88 c (0,0) c | Restarts | 166 | 22 | 12 | 14 | 29 | 23 | 23 | 24 | 19 | 23.03/7.88 c (0,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c | PropBinClauses| 16680445 | 1950748 | 1934577 | 1820617 | 2074515 | 2216953 | 2577891 | 2070619 | 2034525 | 23.03/7.88 c (0,0) c | PropPreBlocker| 68340480 | 6332925 | 6823885 | 10409058 | 6374137 | 10941242 | 9756628 | 6611648 | 11090957 | 23.03/7.88 c (0,0) c | PropNotBlocker| 31948598 | 3535617 | 3712320 | 4484994 | 3501276 | 4449820 | 4429763 | 3689368 | 4145440 | 23.03/7.88 c (0,0) c | LitFullScans | 169839872 | 18000271 | 21027262 | 22908409 | 18000481 | 24000797 | 23902461 | 18000049 | 24000142 | 23.03/7.88 c (0,0) c | LitScanFracts | 1254 | 204 | 83 | 248 | 186 | 258 | 84 | 49 | 142 | 23.03/7.88 c (0,0) c | DecisionLevel0| 347 | 44 | 29 | 30 | 58 | 46 | 49 | 53 | 38 | 23.03/7.88 c (0,0) c | Periods | 26 | 3 | 3 | 3 | 3 | 4 | 3 | 3 | 4 | 23.03/7.88 c (0,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 23.03/7.88 c (0,0) c | Avg_Trail | | 3343 | 3383 | 870 | 3084 | 1936 | 2309 | 3356 | 967 | 23.03/7.88 c (0,0) c | Avg_DL | | 52 | 41 | 18 | 46 | 17 | 26 | 42 | 18 | 23.03/7.88 c (0,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c | Exported | 20672 | 993 | 756 | 3654 | 1251 | 3862 | 4091 | 996 | 5069 | 23.03/7.88 c (0,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 23.03/7.88 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c | Unaries | | 22 | 17 | 16 | 29 | 23 | 26 | 29 | 19 | 23.03/7.88 c (0,0) c | Binaries | | 17 | 28 | 52 | 18 | 30 | 25 | 13 | 25 | 23.03/7.88 c (0,0) c | Glues | | 194 | 169 | 400 | 225 | 277 | 370 | 208 | 281 | 23.03/7.88 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c | Orig_Seen | 22 % | 15032 | 16554 | 3440 | 20110 | 5194 | 16677 | 17661 | 2135 | 23.03/7.88 c (0,0) c | Diff Orig seen| | 11592 | 13114 | X | 16670 | 1754 | 13237 | 14221 | - 1305 | 23.03/7.88 c (0,0) c | Hamming | 19 % | 3695 | 3741 | X | 3751 | 2395 | 3631 | 4045 | 1968 | 23.03/7.88 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c | RunningTime | | 0.4 100%| 0.4 100%| 0.4 100%| 0.4 100%| 0.4 100%| 0.4 100%| 0.4 100%| 0.4 100%| 23.03/7.88 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%| 23.03/7.88 c (0,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 23.03/7.88 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%| 23.03/7.88 c (0,0) c | SolvingTime | | 0.4 | 0.4 | 0.4 | 0.4 | 0.4 | 0.4 | 0.4 | 0.4 | 23.03/7.88 c (0,0) c | PropagationTim| | 0.3 75%| 0.3 73%| 0.3 75%| 0.3 73%| 0.3 76%| 0.3 74%| 0.3 75%| 0.3 74%| 23.03/7.88 c (0,0) c | AnalysisTime | | 0.1 16%| 0.1 19%| 0.1 14%| 0.1 17%| 0.1 14%| 0.1 16%| 0.1 17%| 0.1 14%| 23.03/7.88 c (0,0) c | ReductionTime | | 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 0.0 2%| 23.03/7.88 c (0,0) c | SimplifyTime | | 0.0 1%| 0.0 1%| 0.0 1%| 0.0 1%| 0.0 0%| 0.0 1%| 0.0 0%| 0.0 1%| 23.03/7.88 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%| 23.03/7.88 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%| 23.03/7.88 c (0,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.88 c (0,0) c 23.03/7.88 c (0,0) c 23.03/7.88 c (0,0) c Threads : 8 23.03/7.88 c (0,0) c Winner : 2 23.03/7.88 c (0,0) c Conflicts_0 : 8026 23.03/7.88 c (0,0) c Conflicts_1 : 6847 23.03/7.88 c (0,0) c Conflicts_2 : 17793 23.03/7.88 c (0,0) c Conflicts_3 : 8820 23.03/7.88 c (0,0) c Conflicts_4 : 16836 23.03/7.88 c (0,0) c Conflicts_5 : 15824 23.03/7.88 c (0,0) c Conflicts_6 : 8259 23.03/7.88 c (0,0) c Conflicts_7 : 18305 23.03/7.88 c (0,0) c Conflicts_total : 100710 23.03/7.88 c (0,0) c Conflicts_winner : 17793 23.03/7.88 c (0,0) c Decisions_0 : 14671 23.03/7.88 c (0,0) c Decisions_1 : 13027 23.03/7.88 c (0,0) c Decisions_2 : 26762 23.03/7.88 c (0,0) c Decisions_3 : 16634 23.03/7.88 c (0,0) c Decisions_4 : 27463 23.03/7.88 c (0,0) c Decisions_5 : 27288 23.03/7.88 c (0,0) c Decisions_6 : 14648 23.03/7.88 c (0,0) c Decisions_7 : 28124 23.03/7.88 c (0,0) c Decisions_total : 168617 23.03/7.88 c (0,0) c Decisions_winner : 26762 23.03/7.88 c (0,0) c Propagations_0 : 1749925 23.03/7.88 c (0,0) c Propagations_1 : 1909737 23.03/7.88 c (0,0) c Propagations_2 : 1322972 23.03/7.88 c (0,0) c Propagations_3 : 1836909 23.03/7.88 c (0,0) c Propagations_4 : 1734576 23.03/7.88 c (0,0) c Propagations_5 : 2110045 23.03/7.88 c (0,0) c Propagations_6 : 1856520 23.03/7.88 c (0,0) c Propagations_7 : 1490553 23.03/7.88 c (0,0) c Propagations_total : 14011237 23.03/7.88 c (0,0) c Propagations_winner : 1322972 23.03/7.88 c (0,0) c ReduceDBs_0 : 2 23.03/7.88 c (0,0) c ReduceDBs_1 : 2 23.03/7.88 c (0,0) c ReduceDBs_2 : 3 23.03/7.88 c (0,0) c ReduceDBs_3 : 2 23.03/7.88 c (0,0) c ReduceDBs_4 : 3 23.03/7.88 c (0,0) c ReduceDBs_5 : 3 23.03/7.88 c (0,0) c ReduceDBs_6 : 2 23.03/7.88 c (0,0) c ReduceDBs_7 : 3 23.03/7.88 c (0,0) c ReduceDBs_total : 20 23.03/7.88 c (0,0) c ReduceDBs_winner : 3 23.03/7.88 c (0,0) c SimpDBs_0 : 4 23.03/7.88 c (0,0) c SimpDBs_1 : 3 23.03/7.88 c (0,0) c SimpDBs_2 : 3 23.03/7.88 c (0,0) c SimpDBs_3 : 4 23.03/7.88 c (0,0) c SimpDBs_4 : 2 23.03/7.88 c (0,0) c SimpDBs_5 : 4 23.03/7.88 c (0,0) c SimpDBs_6 : 2 23.03/7.88 c (0,0) c SimpDBs_7 : 5 23.03/7.88 c (0,0) c SimpDBs_total : 27 23.03/7.88 c (0,0) c SimpDBs_winner : 3 23.03/7.88 c (0,0) c Restarts_0 : 22 23.03/7.88 c (0,0) c Restarts_1 : 12 23.03/7.88 c (0,0) c Restarts_2 : 14 23.03/7.88 c (0,0) c Restarts_3 : 29 23.03/7.88 c (0,0) c Restarts_4 : 23 23.03/7.88 c (0,0) c Restarts_5 : 23 23.03/7.88 c (0,0) c Restarts_6 : 24 23.03/7.88 c (0,0) c Restarts_7 : 19 23.03/7.88 c (0,0) c Restarts_total : 166 23.03/7.88 c (0,0) c Restarts_winner : 14 23.03/7.88 c (0,0) c ForcedImports_0 : 0 23.03/7.88 c (0,0) c ForcedImports_1 : 0 23.03/7.88 c (0,0) c ForcedImports_2 : 0 23.03/7.89 c (0,0) c ForcedImports_3 : 0 23.03/7.89 c (0,0) c ForcedImports_4 : 0 23.03/7.89 c (0,0) c ForcedImports_5 : 0 23.03/7.89 c (0,0) c ForcedImports_6 : 0 23.03/7.89 c (0,0) c ForcedImports_7 : 0 23.03/7.89 c (0,0) c ForcedImports_total : 0 23.03/7.89 c (0,0) c ForcedImports_winner : 0 23.03/7.89 c (0,0) c PropsBinClauses_0 : 1950748 23.03/7.89 c (0,0) c PropsBinClauses_1 : 1934577 23.03/7.89 c (0,0) c PropsBinClauses_2 : 1820617 23.03/7.89 c (0,0) c PropsBinClauses_3 : 2074515 23.03/7.89 c (0,0) c PropsBinClauses_4 : 2216953 23.03/7.89 c (0,0) c PropsBinClauses_5 : 2577891 23.03/7.89 c (0,0) c PropsBinClauses_6 : 2070619 23.03/7.89 c (0,0) c PropsBinClauses_7 : 2034525 23.03/7.89 c (0,0) c PropsBinClauses_total : 16680445 23.03/7.89 c (0,0) c PropsBinClauses_winner : 1820617 23.03/7.89 c (0,0) c PropsPreBlocker_0 : 6332925 23.03/7.89 c (0,0) c PropsPreBlocker_1 : 6823885 23.03/7.89 c (0,0) c PropsPreBlocker_2 : 10409058 23.03/7.89 c (0,0) c PropsPreBlocker_3 : 6374137 23.03/7.89 c (0,0) c PropsPreBlocker_4 : 10941242 23.03/7.89 c (0,0) c PropsPreBlocker_5 : 9756628 23.03/7.89 c (0,0) c PropsPreBlocker_6 : 6611648 23.03/7.89 c (0,0) c PropsPreBlocker_7 : 11090957 23.03/7.89 c (0,0) c PropsPreBlocker_total : 68340480 23.03/7.89 c (0,0) c PropsPreBlocker_winner : 10409058 23.03/7.89 c (0,0) c PropsNotBlocker_0 : 3535617 23.03/7.89 c (0,0) c PropsNotBlocker_1 : 3712320 23.03/7.89 c (0,0) c PropsNotBlocker_2 : 4484994 23.03/7.89 c (0,0) c PropsNotBlocker_3 : 3501276 23.03/7.89 c (0,0) c PropsNotBlocker_4 : 4449820 23.03/7.89 c (0,0) c PropsNotBlocker_5 : 4429763 23.03/7.89 c (0,0) c PropsNotBlocker_6 : 3689368 23.03/7.89 c (0,0) c PropsNotBlocker_7 : 4145440 23.03/7.89 c (0,0) c PropsNotBlocker_total : 31948598 23.03/7.89 c (0,0) c PropsNotBlocker_winner : 4484994 23.03/7.89 c (0,0) c PropsLitFullScans_0 : 18000271 23.03/7.89 c (0,0) c PropsLitFullScans_1 : 21027262 23.03/7.89 c (0,0) c PropsLitFullScans_2 : 22908409 23.03/7.89 c (0,0) c PropsLitFullScans_3 : 18000481 23.03/7.89 c (0,0) c PropsLitFullScans_4 : 24000797 23.03/7.89 c (0,0) c PropsLitFullScans_5 : 23902461 23.03/7.89 c (0,0) c PropsLitFullScans_6 : 18000049 23.03/7.89 c (0,0) c PropsLitFullScans_7 : 24000142 23.03/7.89 c (0,0) c PropsLitFullScans_total : 169839872 23.03/7.89 c (0,0) c PropsLitFullScans_winner : 22908409 23.03/7.89 c (0,0) c LitScanFractions_0 : 204 23.03/7.89 c (0,0) c LitScanFractions_1 : 83 23.03/7.89 c (0,0) c LitScanFractions_2 : 248 23.03/7.89 c (0,0) c LitScanFractions_3 : 186 23.03/7.89 c (0,0) c LitScanFractions_4 : 258 23.03/7.89 c (0,0) c LitScanFractions_5 : 84 23.03/7.89 c (0,0) c LitScanFractions_6 : 49 23.03/7.89 c (0,0) c LitScanFractions_7 : 142 23.03/7.89 c (0,0) c LitScanFractions_total : 1254 23.03/7.89 c (0,0) c LitScanFractions_winner : 248 23.03/7.89 c (0,0) c DecisionLevel0_0 : 44 23.03/7.89 c (0,0) c DecisionLevel0_1 : 29 23.03/7.89 c (0,0) c DecisionLevel0_2 : 30 23.03/7.89 c (0,0) c DecisionLevel0_3 : 58 23.03/7.89 c (0,0) c DecisionLevel0_4 : 46 23.03/7.89 c (0,0) c DecisionLevel0_5 : 49 23.03/7.89 c (0,0) c DecisionLevel0_6 : 53 23.03/7.89 c (0,0) c DecisionLevel0_7 : 38 23.03/7.89 c (0,0) c DecisionLevel0_total : 347 23.03/7.89 c (0,0) c DecisionLevel0_winner : 30 23.03/7.89 c (0,0) c Periods_0 : 3 23.03/7.89 c (0,0) c Periods_1 : 3 23.03/7.89 c (0,0) c Periods_2 : 3 23.03/7.89 c (0,0) c Periods_3 : 3 23.03/7.89 c (0,0) c Periods_4 : 4 23.03/7.89 c (0,0) c Periods_5 : 3 23.03/7.89 c (0,0) c Periods_6 : 3 23.03/7.89 c (0,0) c Periods_7 : 4 23.03/7.89 c (0,0) c Periods_total : 26 23.03/7.89 c (0,0) c Periods_winner : 3 23.03/7.89 c (0,0) c Margin_0 : 20 23.03/7.89 c (0,0) c Margin_1 : 20 23.03/7.89 c (0,0) c Margin_2 : 20 23.03/7.89 c (0,0) c Margin_3 : 20 23.03/7.89 c (0,0) c Margin_4 : 20 23.03/7.89 c (0,0) c Margin_5 : 20 23.03/7.89 c (0,0) c Margin_6 : 20 23.03/7.89 c (0,0) c Margin_7 : 20 23.03/7.89 c (0,0) c Margin_total : 160 23.03/7.89 c (0,0) c Margin_winner : 20 23.03/7.89 c (0,0) c Exported_0 : 993 23.03/7.89 c (0,0) c Exported_1 : 756 23.03/7.89 c (0,0) c Exported_2 : 3654 23.03/7.89 c (0,0) c Exported_3 : 1251 23.03/7.89 c (0,0) c Exported_4 : 3862 23.03/7.89 c (0,0) c Exported_5 : 4091 23.03/7.89 c (0,0) c Exported_6 : 996 23.03/7.89 c (0,0) c Exported_7 : 5069 23.03/7.89 c (0,0) c Exported_total : 20672 23.03/7.89 c (0,0) c Exported_winner : 3654 23.03/7.89 c (0,0) c Imported_0 : 0 23.03/7.89 c (0,0) c Imported_1 : 0 23.03/7.89 c (0,0) c Imported_2 : 0 23.03/7.89 c (0,0) c Imported_3 : 0 23.03/7.89 c (0,0) c Imported_4 : 0 23.03/7.89 c (0,0) c Imported_5 : 0 23.03/7.89 c (0,0) c Imported_6 : 0 23.03/7.89 c (0,0) c Imported_7 : 0 23.03/7.89 c (0,0) c Imported_total : 0 23.03/7.89 c (0,0) c Imported_winner : 0 23.03/7.89 c (0,0) c Good_0 : 0 23.03/7.89 c (0,0) c Good_1 : 0 23.03/7.89 c (0,0) c Good_2 : 0 23.03/7.89 c (0,0) c Good_3 : 0 23.03/7.89 c (0,0) c Good_4 : 0 23.03/7.89 c (0,0) c Good_5 : 0 23.03/7.89 c (0,0) c Good_6 : 0 23.03/7.89 c (0,0) c Good_7 : 0 23.03/7.89 c (0,0) c Good_total : 0 23.03/7.89 c (0,0) c Good_winner : 0 23.03/7.89 c (0,0) c Purge_0 : 0 23.03/7.89 c (0,0) c Purge_1 : 0 23.03/7.89 c (0,0) c Purge_2 : 0 23.03/7.89 c (0,0) c Purge_3 : 0 23.03/7.89 c (0,0) c Purge_4 : 0 23.03/7.89 c (0,0) c Purge_5 : 0 23.03/7.89 c (0,0) c Purge_6 : 0 23.03/7.89 c (0,0) c Purge_7 : 0 23.03/7.89 c (0,0) c Purge_total : 0 23.03/7.89 c (0,0) c Purge_winner : 0 23.03/7.89 c (0,0) c Promoted_0 : 0 23.03/7.89 c (0,0) c Promoted_1 : 0 23.03/7.89 c (0,0) c Promoted_2 : 0 23.03/7.89 c (0,0) c Promoted_3 : 0 23.03/7.89 c (0,0) c Promoted_4 : 0 23.03/7.89 c (0,0) c Promoted_5 : 0 23.03/7.89 c (0,0) c Promoted_6 : 0 23.03/7.89 c (0,0) c Promoted_7 : 0 23.03/7.89 c (0,0) c Promoted_total : 0 23.03/7.89 c (0,0) c Promoted_winner : 0 23.03/7.89 c (0,0) c Remove_Imp_0 : 0 23.03/7.89 c (0,0) c Remove_Imp_1 : 0 23.03/7.89 c (0,0) c Remove_Imp_2 : 0 23.03/7.89 c (0,0) c Remove_Imp_3 : 0 23.03/7.89 c (0,0) c Remove_Imp_4 : 0 23.03/7.89 c (0,0) c Remove_Imp_5 : 0 23.03/7.89 c (0,0) c Remove_Imp_6 : 0 23.03/7.89 c (0,0) c Remove_Imp_7 : 0 23.03/7.89 c (0,0) c Remove_Imp_total : 0 23.03/7.89 c (0,0) c Remove_Imp_winner : 0 23.03/7.89 c (0,0) c Blocked_Reuse_0 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_1 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_2 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_3 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_4 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_5 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_6 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_7 : 0 23.03/7.89 c (0,0) c Blocked_Reuse_total : 0 23.03/7.89 c (0,0) c Blocked_Reuse_winner : 0 23.03/7.89 c (0,0) c Unaries_0 : 22 23.03/7.89 c (0,0) c Unaries_1 : 17 23.03/7.89 c (0,0) c Unaries_2 : 16 23.03/7.89 c (0,0) c Unaries_3 : 29 23.03/7.89 c (0,0) c Unaries_4 : 23 23.03/7.89 c (0,0) c Unaries_5 : 26 23.03/7.89 c (0,0) c Unaries_6 : 29 23.03/7.89 c (0,0) c Unaries_7 : 19 23.03/7.89 c (0,0) c Unaries_total : 181 23.03/7.89 c (0,0) c Unaries_winner : 16 23.03/7.89 c (0,0) c Binaries_0 : 17 23.03/7.89 c (0,0) c Binaries_1 : 28 23.03/7.89 c (0,0) c Binaries_2 : 52 23.03/7.89 c (0,0) c Binaries_3 : 18 23.03/7.89 c (0,0) c Binaries_4 : 30 23.03/7.89 c (0,0) c Binaries_5 : 25 23.03/7.89 c (0,0) c Binaries_6 : 13 23.03/7.89 c (0,0) c Binaries_7 : 25 23.03/7.89 c (0,0) c Binaries_total : 208 23.03/7.89 c (0,0) c Binaries_winner : 52 23.03/7.89 c (0,0) c Glues_0 : 194 23.03/7.89 c (0,0) c Glues_1 : 169 23.03/7.89 c (0,0) c Glues_2 : 400 23.03/7.89 c (0,0) c Glues_3 : 225 23.03/7.89 c (0,0) c Glues_4 : 277 23.03/7.89 c (0,0) c Glues_5 : 370 23.03/7.89 c (0,0) c Glues_6 : 208 23.03/7.89 c (0,0) c Glues_7 : 281 23.03/7.89 c (0,0) c Glues_total : 2124 23.03/7.89 c (0,0) c Glues_winner : 400 23.03/7.89 c (0,0) c RunningTime_0 : 0.376713 23.03/7.89 c (0,0) c RunningTime_1 : 0.417884 23.03/7.89 c (0,0) c RunningTime_2 : 0.362293 23.03/7.89 c (0,0) c RunningTime_3 : 0.364714 23.03/7.89 c (0,0) c RunningTime_4 : 0.401308 23.03/7.89 c (0,0) c RunningTime_5 : 0.438079 23.03/7.89 c (0,0) c RunningTime_6 : 0.369622 23.03/7.89 c (0,0) c RunningTime_7 : 0.373917 23.03/7.89 c (0,0) c RunningTime_total : 3.104531 23.03/7.89 c (0,0) c RunningTime_winner : 0.362293 23.03/7.89 c (0,0) c WaitingTime_0 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_1 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_2 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_3 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_4 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_5 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_6 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_7 : 0.000000 23.03/7.89 c (0,0) c WaitingTime_total : 0.000000 23.03/7.89 c (0,0) c WaitingTime_winner : 0.000000 23.03/7.89 c (0,0) c ExchangingTime_0 : 0.000566 23.03/7.89 c (0,0) c ExchangingTime_1 : 0.000524 23.03/7.89 c (0,0) c ExchangingTime_2 : 0.001095 23.03/7.89 c (0,0) c ExchangingTime_3 : 0.000651 23.03/7.89 c (0,0) c ExchangingTime_4 : 0.000991 23.03/7.89 c (0,0) c ExchangingTime_5 : 0.000944 23.03/7.89 c (0,0) c ExchangingTime_6 : 0.000487 23.03/7.89 c (0,0) c ExchangingTime_7 : 0.000902 23.03/7.89 c (0,0) c ExchangingTime_total : 0.006160 23.03/7.89 c (0,0) c ExchangingTime_winner : 0.001095 23.03/7.89 c (0,0) c PeriodProcTime_0 : 0.000014 23.03/7.89 c (0,0) c PeriodProcTime_1 : 0.000017 23.03/7.89 c (0,0) c PeriodProcTime_2 : 0.000029 23.03/7.89 c (0,0) c PeriodProcTime_3 : 0.000016 23.03/7.89 c (0,0) c PeriodProcTime_4 : 0.000028 23.03/7.89 c (0,0) c PeriodProcTime_5 : 0.000019 23.03/7.89 c (0,0) c PeriodProcTime_6 : 0.000020 23.03/7.89 c (0,0) c PeriodProcTime_7 : 0.000053 23.03/7.89 c (0,0) c PeriodProcTime_total : 0.000196 23.03/7.89 c (0,0) c PeriodProcTime_winner : 0.000029 23.03/7.89 c (0,0) c SolvingTime_0 : 0.377294 23.03/7.89 c (0,0) c SolvingTime_1 : 0.418425 23.03/7.89 c (0,0) c SolvingTime_2 : 0.363418 23.03/7.89 c (0,0) c SolvingTime_3 : 0.365382 23.03/7.89 c (0,0) c SolvingTime_4 : 0.402327 23.03/7.89 c (0,0) c SolvingTime_5 : 0.439042 23.03/7.89 c (0,0) c SolvingTime_6 : 0.370129 23.03/7.89 c (0,0) c SolvingTime_7 : 0.374872 23.03/7.89 c (0,0) c SolvingTime_total : 3.110887 23.03/7.89 c (0,0) c SolvingTime_winner : 0.363418 23.03/7.89 c (0,0) c PropagationTime_0 : 0.282033 23.03/7.89 c (0,0) c PropagationTime_1 : 0.305947 23.03/7.89 c (0,0) c PropagationTime_2 : 0.272905 23.03/7.89 c (0,0) c PropagationTime_3 : 0.267702 23.03/7.89 c (0,0) c PropagationTime_4 : 0.304314 23.03/7.89 c (0,0) c PropagationTime_5 : 0.323499 23.03/7.89 c (0,0) c PropagationTime_6 : 0.275769 23.03/7.89 c (0,0) c PropagationTime_7 : 0.278244 23.03/7.89 c (0,0) c PropagationTime_total : 2.310414 23.03/7.89 c (0,0) c PropagationTime_winner : 0.272905 23.03/7.89 c (0,0) c AnalysisTime_0 : 0.059926 23.03/7.89 c (0,0) c AnalysisTime_1 : 0.077564 23.03/7.89 c (0,0) c AnalysisTime_2 : 0.052155 23.03/7.89 c (0,0) c AnalysisTime_3 : 0.061027 23.03/7.89 c (0,0) c AnalysisTime_4 : 0.057975 23.03/7.89 c (0,0) c AnalysisTime_5 : 0.068733 23.03/7.89 c (0,0) c AnalysisTime_6 : 0.061285 23.03/7.89 c (0,0) c AnalysisTime_7 : 0.053831 23.03/7.89 c (0,0) c AnalysisTime_total : 0.492495 23.03/7.89 c (0,0) c AnalysisTime_winner : 0.052155 23.03/7.89 c (0,0) c ReductionTime_0 : 0.007971 23.03/7.89 c (0,0) c ReductionTime_1 : 0.007271 23.03/7.89 c (0,0) c ReductionTime_2 : 0.008806 23.03/7.89 c (0,0) c ReductionTime_3 : 0.006942 23.03/7.89 c (0,0) c ReductionTime_4 : 0.008499 23.03/7.89 c (0,0) c ReductionTime_5 : 0.008878 23.03/7.89 c (0,0) c ReductionTime_6 : 0.006924 23.03/7.89 c (0,0) c ReductionTime_7 : 0.008737 23.03/7.89 c (0,0) c ReductionTime_total : 0.064028 23.03/7.89 c (0,0) c ReductionTime_winner : 0.008806 23.03/7.89 c (0,0) c SimplifyTime_0 : 0.003950 23.03/7.89 c (0,0) c SimplifyTime_1 : 0.002531 23.03/7.89 c (0,0) c SimplifyTime_2 : 0.002632 23.03/7.89 c (0,0) c SimplifyTime_3 : 0.003605 23.03/7.89 c (0,0) c SimplifyTime_4 : 0.001322 23.03/7.89 c (0,0) c SimplifyTime_5 : 0.003632 23.03/7.89 c (0,0) c SimplifyTime_6 : 0.001465 23.03/7.89 c (0,0) c SimplifyTime_7 : 0.005107 23.03/7.89 c (0,0) c SimplifyTime_total : 0.024243 23.03/7.89 c (0,0) c SimplifyTime_winner : 0.002632 23.03/7.89 c (0,0) c UsedRateTime_0 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_1 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_2 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_3 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_4 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_5 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_6 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_7 : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_total : 0.000000 23.03/7.89 c (0,0) c UsedRateTime_winner : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_0 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_1 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_2 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_3 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_4 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_5 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_6 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_7 : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_total : 0.000000 23.03/7.89 c (0,0) c OverlapRateTime_winner : 0.000000 23.03/7.89 c (0,0) c 23.03/7.89 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 23.03/7.89 c (0,0) c 23.03/7.90 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.90 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 23.03/7.90 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.90 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 23.03/7.90 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 23.03/7.90 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 23.03/7.90 c (0,0) c | Initial random_seed | 1881819941 | 835531437 | 1841768915 | 217277846 | 1253163946 | 299571408 | 2033865158 | 346182928 | 23.03/7.90 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 23.03/7.90 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 23.03/7.90 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 23.03/7.90 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 23.03/7.90 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 23.03/7.90 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 23.03/7.90 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 23.03/7.90 c (0,0) c | var_decay | 0.8100 | 0.8100 | 0.8300 | 0.8100 | 0.8300 | 0.8300 | 0.8100 | 0.8300 | 23.03/7.90 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 23.03/7.90 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 23.03/7.90 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 23.03/7.90 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 23.03/7.90 c (0,0) 23.03/7.90 c (0,0) s UNSATISFIABLE 26.24/7.90 c (0,0) SatSolver.solve End 26.24/7.90 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 26.24/7.90 c (0,0) Show results Begin 26.24/7.90 s UNSATISFIABLE 26.24/7.90 c (0,0) Show results End 26.24/7.90 c (0,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 26.24/7.90 c (0,0) 0,0,STOP-AFTER(ALL) 26.24/7.90 c END-Prog: Tue Sep 24 16:40:34 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (8855 MiB free) memory of node 1: 16384 MiB (12698 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405494-1569336064/watcher-4405494-1569336064 -o /tmp/evaluation-result-4405494-1569336064/solver-4405494-1569336064 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405494-1569336064.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 Current StackSize limit: 8192 KiB solver pid=5913, runsolver pid=5910 [startup+0.100157 s]* /proc/loadavg: 3.12 0.89 0.34 3/212 5935 /proc/meminfo: memFree=21974680/32770624 swapFree=67002572/67108860 [pid=5913] ppid=5910 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5913/stat : 5913 (scop.sh) S 5910 5913 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767897 115843072 349 33554432000 4194304 5098028 140732697617520 140732697614776 140392492188284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17436672 140732697621284 140732697621612 140732697621612 140732697624525 0 /proc/5913/statm: 28282 349 296 221 0 87 0 [pid=5916] ppid=5913 vsize=27314120 memory=107376 CPUtime=0.11 cores=0-7 /proc/5916/stat : 5916 (java) S 5913 5913 5615 0 -1 1077944320 6908 0 0 0 9 2 0 0 20 0 20 0 509767897 27969658880 26844 33554432000 4194304 4196468 140731218892496 140731218875040 140510342184695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 /proc/5916/statm: 6828530 26844 2780 1 0 6790935 0 [pid=5916/tid=5917] ppid=5913 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5916/task/5917/stat : 5917 (java) R 5913 5913 5615 0 -1 4202560 5018 0 0 0 7 2 0 0 20 0 20 0 509767897 27969658880 26844 33554432000 4194304 4196468 140731218892496 140510314011024 140510322367072 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5918] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5918/stat : 5918 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140510346427024 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5919] ppid=5913 vsize=27314120 memory=15394380304311960 CPUtime=0 cores=0-7 /proc/5916/task/5919/stat : 5919 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140510129822224 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5920] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5920/stat : 5920 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140510128769424 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5921] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5921/stat : 5921 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140510127716624 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5922] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5922/stat : 5922 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140510126664848 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5923] ppid=5913 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5916/task/5923/stat : 5923 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140510125612048 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5924] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5924/stat : 5924 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509758610320 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5925] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5925/stat : 5925 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509757557520 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5926] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5926/stat : 5926 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767901 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509332867440 140510342195842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5927] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5927/stat : 5927 (java) S 5913 5913 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509767902 27969658880 26844 33554432000 4194304 4196468 140731218892496 140508311577632 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5928] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5928/stat : 5928 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767902 27969658880 26844 33554432000 4194304 4196468 140731218892496 140508043142000 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5929] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5929/stat : 5929 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 26844 33554432000 4194304 4196468 140731218892496 140507668633424 140510342203291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5930] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5930/stat : 5930 (java) S 5913 5913 5615 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509331815280 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5931] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5931/stat : 5931 (java) S 5913 5913 5615 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509330762480 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5932] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5932/stat : 5932 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509329709680 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5933] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5933/stat : 5933 (java) S 5913 5913 5615 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509328656880 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5934] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5934/stat : 5934 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 26844 33554432000 4194304 4196468 140731218892496 140507170728544 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5935] ppid=5913 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5916/task/5935/stat : 5935 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 26844 33554432000 4194304 4196468 140731218892496 140509327604272 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108772 KiB [startup+0.210669 s]* /proc/loadavg: 3.12 0.89 0.34 2/212 5935 /proc/meminfo: memFree=21956836/32770624 swapFree=67002572/67108860 [pid=5913] ppid=5910 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5913/stat : 5913 (scop.sh) S 5910 5913 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767897 115843072 349 33554432000 4194304 5098028 140732697617520 140732697614776 140392492188284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17436672 140732697621284 140732697621612 140732697621612 140732697624525 0 /proc/5913/statm: 28282 349 296 221 0 87 0 [pid=5916] ppid=5913 vsize=27314120 memory=124196 CPUtime=0.24 cores=0-7 /proc/5916/stat : 5916 (java) S 5913 5913 5615 0 -1 1077944320 11911 0 0 0 21 3 0 0 20 0 20 0 509767897 27969658880 31049 33554432000 4194304 4196468 140731218892496 140731218875040 140510342184695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 /proc/5916/statm: 6828530 31049 2918 1 0 6790935 0 [pid=5916/tid=5917] ppid=5913 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/5916/task/5917/stat : 5917 (java) R 5913 5913 5615 0 -1 4202560 9620 0 0 0 16 3 0 0 20 0 20 0 509767897 27969658880 31049 33554432000 4194304 4196468 140731218892496 140510313984080 140510323748251 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5918] ppid=5913 vsize=27314120 memory=14976 CPUtime=0 cores=0-7 /proc/5916/task/5918/stat : 5918 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140510346427024 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5919] ppid=5913 vsize=27314120 memory=140609789597445 CPUtime=0 cores=0-7 /proc/5916/task/5919/stat : 5919 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140510129822224 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5920] ppid=5913 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5916/task/5920/stat : 5920 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140510128769424 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5921] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5921/stat : 5921 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140510127716624 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5922] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5922/stat : 5922 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140510126664848 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5923] ppid=5913 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5916/task/5923/stat : 5923 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140510125612048 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5924] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5924/stat : 5924 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509758610320 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5925] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5925/stat : 5925 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509757557520 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5926] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5926/stat : 5926 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767901 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509332867440 140510342195842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5927] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5927/stat : 5927 (java) S 5913 5913 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509767902 27969658880 31049 33554432000 4194304 4196468 140731218892496 140508311577632 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5928] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5928/stat : 5928 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767902 27969658880 31049 33554432000 4194304 4196468 140731218892496 140508043142000 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5929] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5929/stat : 5929 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31049 33554432000 4194304 4196468 140731218892496 140507668633424 140510342203291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5930] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5930/stat : 5930 (java) S 5913 5913 5615 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509331815280 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5931] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5931/stat : 5931 (java) S 5913 5913 5615 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509330762480 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5932] ppid=5913 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5916/task/5932/stat : 5932 (java) S 5913 5913 5615 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509329709680 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5933] ppid=5913 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/5916/task/5933/stat : 5933 (java) S 5913 5913 5615 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 509767905 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509328656880 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5934] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5934/stat : 5934 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31049 33554432000 4194304 4196468 140731218892496 140507170728544 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5935] ppid=5913 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5916/task/5935/stat : 5935 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31049 33554432000 4194304 4196468 140731218892496 140509327604272 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125592 KiB [startup+0.310003 s]* /proc/loadavg: 3.12 0.89 0.34 2/212 5935 /proc/meminfo: memFree=21953424/32770624 swapFree=67002572/67108860 [pid=5913] ppid=5910 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5913/stat : 5913 (scop.sh) S 5910 5913 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767897 115843072 349 33554432000 4194304 5098028 140732697617520 140732697614776 140392492188284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17436672 140732697621284 140732697621612 140732697621612 140732697624525 0 /proc/5913/statm: 28282 349 296 221 0 87 0 [pid=5916] ppid=5913 vsize=27314120 memory=127600 CPUtime=0.43 cores=0-7 /proc/5916/stat : 5916 (java) S 5913 5913 5615 0 -1 1077944320 12850 0 0 0 39 4 0 0 20 0 20 0 509767897 27969658880 31900 33554432000 4194304 4196468 140731218892496 140731218875040 140510342184695 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 /proc/5916/statm: 6828530 31900 2965 1 0 6790935 0 [pid=5916/tid=5917] ppid=5913 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/5916/task/5917/stat : 5917 (java) R 5913 5913 5615 0 -1 4202560 10388 0 0 0 26 3 0 0 20 0 20 0 509767897 27969658880 31900 33554432000 4194304 4196468 140731218892496 140510314014768 140510323748270 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5918] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5918/stat : 5918 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140510346427024 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5919] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5919/stat : 5919 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140510129822224 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5920] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5920/stat : 5920 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140510128769424 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5921] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5921/stat : 5921 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140510127716624 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5922] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5922/stat : 5922 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140510126664848 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5923] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5923/stat : 5923 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140510125612048 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5924] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5924/stat : 5924 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509758610320 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5925] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5925/stat : 5925 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509757557520 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5926] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5926/stat : 5926 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767901 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509332867440 140510342195842 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5927] ppid=5913 vsize=27314120 memory=281219292142976 CPUtime=0 cores=0-7 /proc/5916/task/5927/stat : 5927 (java) S 5913 5913 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509767902 27969658880 31900 33554432000 4194304 4196468 140731218892496 140508311577632 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5928] ppid=5913 vsize=27314120 memory=281219292147584 CPUtime=0 cores=0-7 /proc/5916/task/5928/stat : 5928 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767902 27969658880 31900 33554432000 4194304 4196468 140731218892496 140508043142000 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5929] ppid=5913 vsize=27314120 memory=281219292152192 CPUtime=0 cores=0-7 /proc/5916/task/5929/stat : 5929 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31900 33554432000 4194304 4196468 140731218892496 140507668633424 140510342203291 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5930] ppid=5913 vsize=27314120 memory=281219292156800 CPUtime=0.01 cores=0-7 /proc/5916/task/5930/stat : 5930 (java) R 5913 5913 5615 0 -1 4202560 121 0 0 0 1 0 0 0 20 0 20 0 509767905 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509331815280 140510323728874 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5931] ppid=5913 vsize=27314120 memory=281219292161408 CPUtime=0.01 cores=0-7 /proc/5916/task/5931/stat : 5931 (java) S 5913 5913 5615 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 20 0 509767905 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509330762480 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5932] ppid=5913 vsize=27314120 memory=281219292166016 CPUtime=0.01 cores=0-7 /proc/5916/task/5932/stat : 5932 (java) S 5913 5913 5615 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 509767905 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509329709680 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5933] ppid=5913 vsize=27314120 memory=281219292170624 CPUtime=0.07 cores=0-7 /proc/5916/task/5933/stat : 5933 (java) S 5913 5913 5615 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 509767905 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509328656880 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5934] ppid=5913 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5934/stat : 5934 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31900 33554432000 4194304 4196468 140731218892496 140507170728544 140510342194901 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5935] ppid=5913 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5916/task/5935/stat : 5935 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767905 27969658880 31900 33554432000 4194304 4196468 140731218892496 140509327604272 140510342195842 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128996 KiB [startup+0.701776 s] /proc/loadavg: 3.03 0.91 0.35 2/212 5935 /proc/meminfo: memFree=21925716/32770624 swapFree=67002572/67108860 [pid=5913] ppid=5910 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5913/stat : 5913 (scop.sh) S 5910 5913 5615 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509767897 115843072 349 33554432000 4194304 5098028 140732697617520 140732697614776 140392492188284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17436672 140732697621284 140732697621612 140732697621612 140732697624525 0 /proc/5913/statm: 28282 349 296 221 0 87 0 [pid=5916] ppid=5913 vsize=27320392 memory=165160 CPUtime=1.03 cores=0-7 /proc/5916/stat : 5916 (java) S 5913 5913 5615 0 -1 1077944320 20443 0 0 0 97 6 0 0 20 0 20 0 509767897 27976081408 41290 33554432000 4194304 4196468 140731218892496 140731218875040 140510342184695 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 /proc/5916/statm: 6830098 41290 3181 1 0 6791447 0 [pid=5916/tid=5917] ppid=5913 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/5916/task/5917/stat : 5917 (java) R 5913 5913 5615 0 -1 4202560 17403 0 0 0 62 5 0 0 20 0 20 0 509767897 27976081408 41290 33554432000 4194304 4196468 140731218892496 140510314020128 140509807006244 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5918] ppid=5913 vsize=27320392 memory=140609646273408 CPUtime=0 cores=0-7 /proc/5916/task/5918/stat : 5918 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509767900 27976081408 41290 33554432000 4194304 4196468 140731218892496 140510346427024 140510342194901 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5919] ppid=5913 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/5916/task/5919/stat : 5919 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27976081408 41290 33554432000 4194304 4196468 140731218892496 140510129822224 140510342194901 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 [pid=5916/tid=5920] ppid=5913 vsize=27320392 memory=1052 CPUtime=0 cores=0-7 /proc/5916/task/5920/stat : 5920 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509767900 27976081408 41290 33554432000 4194304 4196468 140731218892496 140510128769424 140510342194901 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28790784 140731218899691 140731218900118 140731218900118 140731218902991 0 ################ # More data... # ################ /proc/5936/task/5954/stat : 5954 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509768563 7938342912 24115 33554432000 4194304 4196468 140732135661200 139732264676448 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5955] ppid=5913 vsize=7752288 memory=14068 CPUtime=0 cores=0-7 /proc/5936/task/5955/stat : 5955 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509768564 7938342912 24115 33554432000 4194304 4196468 140732135661200 139733599484976 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 Current children cumulated CPU time: 22.62 s Current children cumulated vsize: 7865416 KiB Current children cumulated memory: 97936 KiB [startup+7.60175 s] /proc/loadavg: 3.03 0.95 0.37 2/212 5955 /proc/meminfo: memFree=22013444/32770624 swapFree=67002572/67108860 [pid=5913] ppid=5910 vsize=113128 memory=1476 CPUtime=21.83 cores=0-7 /proc/5913/stat : 5913 (scop.sh) S 5910 5913 5615 0 -1 4202496 582 36814 0 0 0 0 2144 39 20 0 1 0 509767897 115843072 369 33554432000 4194304 5098028 140732697617520 140732697614264 140392492188284 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17436672 140732697621284 140732697621612 140732697621612 140732697624525 0 /proc/5913/statm: 28282 369 311 221 0 87 0 [pid=5936] ppid=5913 vsize=8414124 memory=119228 CPUtime=1.2 cores=0-7 /proc/5936/stat : 5936 (java) S 5913 5913 5615 0 -1 1077944320 20865 0 0 0 113 7 0 0 20 0 24 0 509768557 8616062976 29807 33554432000 4194304 4196468 140732135661200 140732135643744 139734779719415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 /proc/5936/statm: 2103531 29807 3210 1 0 2064875 0 [pid=5936/tid=5937] ppid=5913 vsize=8414124 memory=32704 CPUtime=0.77 cores=0-7 /proc/5936/task/5937/stat : 5937 (java) S 5913 5913 5615 0 -1 1077944384 17503 0 0 0 72 5 0 0 20 0 24 0 509768557 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734751559584 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5938] ppid=5913 vsize=8414124 memory=14068 CPUtime=0 cores=0-7 /proc/5936/task/5938/stat : 5938 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734783962256 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5939] ppid=5913 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/5936/task/5939/stat : 5939 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734615211024 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5940] ppid=5913 vsize=8414124 memory=504 CPUtime=0 cores=0-7 /proc/5936/task/5940/stat : 5940 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734263638928 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5941] ppid=5913 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/5936/task/5941/stat : 5941 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734262586128 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5942] ppid=5913 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/5936/task/5942/stat : 5942 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734261533328 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5943] ppid=5913 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/5936/task/5943/stat : 5943 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734260480528 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5944] ppid=5913 vsize=8414124 memory=1692 CPUtime=0 cores=0-7 /proc/5936/task/5944/stat : 5944 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734259427728 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5945] ppid=5913 vsize=8414124 memory=912 CPUtime=0 cores=0-7 /proc/5936/task/5945/stat : 5945 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734258374928 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5946] ppid=5913 vsize=8414124 memory=1448 CPUtime=0 cores=0-7 /proc/5936/task/5946/stat : 5946 (java) S 5913 5913 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509768560 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733604748144 139734779730562 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5947] ppid=5913 vsize=8414124 memory=1964 CPUtime=0 cores=0-7 /proc/5936/task/5947/stat : 5947 (java) S 5913 5913 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509768560 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733405525536 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5948] ppid=5913 vsize=8414124 memory=2456 CPUtime=0 cores=0-7 /proc/5936/task/5948/stat : 5948 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768561 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733137089904 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5949] ppid=5913 vsize=8414124 memory=63188 CPUtime=0 cores=0-7 /proc/5936/task/5949/stat : 5949 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139732762581328 139734779738011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5950] ppid=5913 vsize=8414124 memory=984 CPUtime=0.05 cores=0-7 /proc/5936/task/5950/stat : 5950 (java) S 5913 5913 5615 0 -1 1077944384 465 0 0 0 5 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733603694960 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5951] ppid=5913 vsize=8414124 memory=1940 CPUtime=0.07 cores=0-7 /proc/5936/task/5951/stat : 5951 (java) S 5913 5913 5615 0 -1 1077944384 399 0 0 0 7 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733602642160 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5952] ppid=5913 vsize=8414124 memory=1416 CPUtime=0.06 cores=0-7 /proc/5936/task/5952/stat : 5952 (java) S 5913 5913 5615 0 -1 1077944384 328 0 0 0 6 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733601589360 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5953] ppid=5913 vsize=8414124 memory=1556 CPUtime=0.21 cores=0-7 /proc/5936/task/5953/stat : 5953 (java) S 5913 5913 5615 0 -1 1077944384 775 0 0 0 21 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733600536560 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5954] ppid=5913 vsize=8414124 memory=740 CPUtime=0 cores=0-7 /proc/5936/task/5954/stat : 5954 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139732264676448 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5955] ppid=5913 vsize=8414124 memory=1052 CPUtime=0 cores=0-7 /proc/5936/task/5955/stat : 5955 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768564 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733599484976 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 Current children cumulated CPU time: 23.03 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 120704 KiB [startup+7.80175 s] /proc/loadavg: 3.03 0.95 0.37 2/212 5955 /proc/meminfo: memFree=22013444/32770624 swapFree=67002572/67108860 [pid=5913] ppid=5910 vsize=113128 memory=1476 CPUtime=21.83 cores=0-7 /proc/5913/stat : 5913 (scop.sh) S 5910 5913 5615 0 -1 4202496 582 36814 0 0 0 0 2144 39 20 0 1 0 509767897 115843072 369 33554432000 4194304 5098028 140732697617520 140732697614264 140392492188284 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17436672 140732697621284 140732697621612 140732697621612 140732697624525 0 /proc/5913/statm: 28282 369 311 221 0 87 0 [pid=5936] ppid=5913 vsize=8414124 memory=119228 CPUtime=1.2 cores=0-7 /proc/5936/stat : 5936 (java) S 5913 5913 5615 0 -1 1077944320 20865 0 0 0 113 7 0 0 20 0 24 0 509768557 8616062976 29807 33554432000 4194304 4196468 140732135661200 140732135643744 139734779719415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 /proc/5936/statm: 2103531 29807 3210 1 0 2064875 0 [pid=5936/tid=5937] ppid=5913 vsize=8414124 memory=1760 CPUtime=0.77 cores=0-7 /proc/5936/task/5937/stat : 5937 (java) S 5913 5913 5615 0 -1 1077944384 17503 0 0 0 72 5 0 0 20 0 24 0 509768557 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734751559584 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5938] ppid=5913 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/5936/task/5938/stat : 5938 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734783962256 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5939] ppid=5913 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/5936/task/5939/stat : 5939 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734615211024 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5940] ppid=5913 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/5936/task/5940/stat : 5940 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734263638928 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5941] ppid=5913 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/5936/task/5941/stat : 5941 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734262586128 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5942] ppid=5913 vsize=8414124 memory=916 CPUtime=0 cores=0-7 /proc/5936/task/5942/stat : 5942 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734261533328 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5943] ppid=5913 vsize=8414124 memory=4232 CPUtime=0 cores=0-7 /proc/5936/task/5943/stat : 5943 (java) S 5913 5913 5615 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734260480528 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5944] ppid=5913 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/5936/task/5944/stat : 5944 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734259427728 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5945] ppid=5913 vsize=8414124 memory=2584 CPUtime=0 cores=0-7 /proc/5936/task/5945/stat : 5945 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768558 8616062976 29807 33554432000 4194304 4196468 140732135661200 139734258374928 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5946] ppid=5913 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/5936/task/5946/stat : 5946 (java) S 5913 5913 5615 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509768560 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733604748144 139734779730562 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5947] ppid=5913 vsize=8414124 memory=1692 CPUtime=0 cores=0-7 /proc/5936/task/5947/stat : 5947 (java) S 5913 5913 5615 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509768560 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733405525536 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5948] ppid=5913 vsize=8414124 memory=912 CPUtime=0 cores=0-7 /proc/5936/task/5948/stat : 5948 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768561 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733137089904 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5949] ppid=5913 vsize=8414124 memory=1448 CPUtime=0 cores=0-7 /proc/5936/task/5949/stat : 5949 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139732762581328 139734779738011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5950] ppid=5913 vsize=8414124 memory=1964 CPUtime=0.05 cores=0-7 /proc/5936/task/5950/stat : 5950 (java) S 5913 5913 5615 0 -1 1077944384 465 0 0 0 5 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733603694960 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5951] ppid=5913 vsize=8414124 memory=2456 CPUtime=0.07 cores=0-7 /proc/5936/task/5951/stat : 5951 (java) S 5913 5913 5615 0 -1 1077944384 399 0 0 0 7 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733602642160 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5952] ppid=5913 vsize=8414124 memory=1760 CPUtime=0.06 cores=0-7 /proc/5936/task/5952/stat : 5952 (java) S 5913 5913 5615 0 -1 1077944384 328 0 0 0 6 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733601589360 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5953] ppid=5913 vsize=8414124 memory=111632 CPUtime=0.21 cores=0-7 /proc/5936/task/5953/stat : 5953 (java) S 5913 5913 5615 0 -1 1077944384 775 0 0 0 21 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733600536560 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5954] ppid=5913 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/5936/task/5954/stat : 5954 (java) S 5913 5913 5615 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509768563 8616062976 29807 33554432000 4194304 4196468 140732135661200 139732264676448 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5955] ppid=5913 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/5936/task/5955/stat : 5955 (java) S 5913 5913 5615 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509768564 8616062976 29807 33554432000 4194304 4196468 140732135661200 139733599484976 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 Current children cumulated CPU time: 23.03 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 120704 KiB [startup+7.90095 s] /proc/loadavg: 3.03 0.95 0.37 2/212 5955 /proc/meminfo: memFree=22013444/32770624 swapFree=67002572/67108860 [pid=5913] ppid=5910 vsize=113128 memory=1476 CPUtime=21.83 cores=0-7 /proc/5913/stat : 5913 (scop.sh) S 5910 5913 5615 0 -1 4202496 582 36814 0 0 0 0 2144 39 20 0 1 0 509767897 115843072 369 33554432000 4194304 5098028 140732697617520 140732697614264 140392492188284 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17436672 140732697621284 140732697621612 140732697621612 140732697624525 0 /proc/5913/statm: 28282 369 311 221 0 87 0 [pid=5936] ppid=5913 vsize=8414124 memory=119652 CPUtime=4.41 cores=0-7 /proc/5936/stat : 5936 (java) S 5913 5913 5615 0 -1 1077944320 20923 20191 0 0 118 7 310 6 20 0 23 0 509768557 8616062976 29913 33554432000 4194304 4196468 140732135661200 140732135643744 139734779719415 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 /proc/5936/statm: 2103531 29913 3211 1 0 2064875 0 [pid=5936/tid=5937] ppid=5913 vsize=8414124 memory=1396 CPUtime=3.93 cores=0-7 /proc/5936/task/5937/stat : 5937 (java) S 5913 5913 5615 0 -1 1077944384 17503 20191 0 0 72 5 310 6 20 0 23 0 509768557 8616062976 29907 33554432000 4194304 4196468 140732135661200 139734751559584 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5938] ppid=5913 vsize=8283048 memory=1486808 CPUtime=3.16 cores=0-7 /proc/5936/task/5938/stat : 5938 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734783962256 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5939] ppid=5913 vsize=8283048 memory=951716 CPUtime=3.16 cores=0-7 /proc/5936/task/5939/stat : 5939 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734615211024 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5940] ppid=5913 vsize=8283048 memory=7548 CPUtime=3.16 cores=0-7 /proc/5936/task/5940/stat : 5940 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734263638928 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5941] ppid=5913 vsize=8283048 memory=3620 CPUtime=3.16 cores=0-7 /proc/5936/task/5941/stat : 5941 (java) S 5913 5913 5615 0 -1 1077944384 3 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734262586128 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5942] ppid=5913 vsize=8283048 memory=2832 CPUtime=3.16 cores=0-7 /proc/5936/task/5942/stat : 5942 (java) S 5913 5913 5615 0 -1 1077944384 2 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734261533328 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5943] ppid=5913 vsize=8283048 memory=0 CPUtime=3.16 cores=0-7 /proc/5936/task/5943/stat : 5943 (java) S 5913 5913 5615 0 -1 1077944384 2 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734260480528 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5944] ppid=5913 vsize=8283048 memory=6913 CPUtime=3.16 cores=0-7 /proc/5936/task/5944/stat : 5944 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734259427728 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5945] ppid=5913 vsize=8283048 memory=281219292467328 CPUtime=3.16 cores=0-7 /proc/5936/task/5945/stat : 5945 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768558 8481841152 29907 33554432000 4194304 4196468 140732135661200 139734258374928 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5946] ppid=5913 vsize=8283048 memory=8112282956445269571 CPUtime=3.16 cores=0-7 /proc/5936/task/5946/stat : 5946 (java) S 5913 5913 5615 0 -1 1077944384 5 20191 0 0 0 0 310 6 20 0 22 0 509768560 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733604748144 139734779730562 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5947] ppid=5913 vsize=8283048 memory=504 CPUtime=3.16 cores=0-7 /proc/5936/task/5947/stat : 5947 (java) S 5913 5913 5615 0 -1 1077944384 13 20191 0 0 0 0 310 6 20 0 22 0 509768560 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733405525536 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5948] ppid=5913 vsize=8283048 memory=1560 CPUtime=3.16 cores=0-7 /proc/5936/task/5948/stat : 5948 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768561 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733137089904 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5949] ppid=5913 vsize=8283048 memory=984 CPUtime=3.16 cores=0-7 /proc/5936/task/5949/stat : 5949 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768563 8481841152 29907 33554432000 4194304 4196468 140732135661200 139732762581328 139734779738011 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5950] ppid=5913 vsize=8283048 memory=1940 CPUtime=3.22 cores=0-7 /proc/5936/task/5950/stat : 5950 (java) R 5913 5913 5615 0 -1 4202560 466 20191 0 0 6 0 310 6 20 0 22 0 509768563 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733603685072 139734779740762 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5951] ppid=5913 vsize=8283048 memory=1416 CPUtime=3.23 cores=0-7 /proc/5936/task/5951/stat : 5951 (java) R 5913 5913 5615 0 -1 4202560 402 20191 0 0 7 0 310 6 20 0 22 0 509768563 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733602642160 139734779740762 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5952] ppid=5913 vsize=8283048 memory=1804 CPUtime=3.22 cores=0-7 /proc/5936/task/5952/stat : 5952 (java) S 5913 5913 5615 0 -1 1077944384 331 20191 0 0 6 0 310 6 20 0 22 0 509768563 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733601589360 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5953] ppid=5913 vsize=8283048 memory=916 CPUtime=3.39 cores=0-7 /proc/5936/task/5953/stat : 5953 (java) R 5913 5913 5615 0 -1 4202560 816 20191 0 0 23 0 310 6 20 0 22 0 509768563 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733600534352 139734761282944 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5954] ppid=5913 vsize=8283048 memory=4232 CPUtime=3.16 cores=0-7 /proc/5936/task/5954/stat : 5954 (java) S 5913 5913 5615 0 -1 1077944384 3 20191 0 0 0 0 310 6 20 0 22 0 509768563 8481841152 29907 33554432000 4194304 4196468 140732135661200 139732264676448 139734779729621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 [pid=5936/tid=5955] ppid=5913 vsize=8283048 memory=55 CPUtime=3.16 cores=0-7 /proc/5936/task/5955/stat : 5955 (java) S 5913 5913 5615 0 -1 1077944384 1 20191 0 0 0 0 310 6 20 0 22 0 509768564 8481841152 29907 33554432000 4194304 4196468 140732135661200 139733599484976 139734779730562 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21938176 140732135662584 140732135662742 140732135662742 140732135665615 0 Current children cumulated CPU time: 26.24 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 121128 KiB Child status: 0 Real time (s): 7.91296 CPU time (s): 26.3098 CPU user time (s): 25.7574 CPU system time (s): 0.552363 CPU usage (%): 332.49 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1776508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 25.7574 system time used= 0.552363 maximum resident set size= 1781692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78555 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2752 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11658 involuntary context switches= 67 # summary of solver processes directly reported to runsolver: # pid: 5913 # total CPU time (s): 26.3098 # total CPU user time (s): 25.7574 # total CPU system time (s): 0.552363 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.079459 second user time and 0.131487 second system time The end
Begin job on node148 at 2019-09-24 16:40:26 IDJOB=4405494 IDBENCH=126449 IDSOLVER=2868 FILE ID=node148/4405494-1569336064 RUNJOBID= node148-1569335941-5642 PBS_JOBID= 21705049 Free space on /tmp= 22084 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-5-5-9-cp.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405494-1569336064/watcher-4405494-1569336064 -o /tmp/evaluation-result-4405494-1569336064/solver-4405494-1569336064 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569335941-5642 --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-4405494-1569336064.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a6754b0df54e854fabf9aee35b814723 RANDOM SEED=1849938884 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 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: 22071756 kB MemAvailable: 31852460 kB Buffers: 89252 kB Cached: 9961592 kB SwapCached: 3340 kB Active: 5142784 kB Inactive: 4912872 kB Active(anon): 3900 kB Inactive(anon): 56480 kB Active(file): 5138884 kB Inactive(file): 4856392 kB Unevictable: 110656 kB Mlocked: 110656 kB SwapTotal: 67108860 kB SwapFree: 67002572 kB Dirty: 20916 kB Writeback: 0 kB AnonPages: 113780 kB Mapped: 56336 kB Shmem: 47080 kB Slab: 231284 kB SReclaimable: 202524 kB SUnreclaim: 28760 kB KernelStack: 3424 kB PageTables: 6088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514232 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 22064 MiB End job on node148 at 2019-09-24 16:40:34