Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 38.6937 | 12.1921 |
Name | SocialGolfers/SocialGolfers-cp-s1/ SocialGolfers-9-7-4-cp.xml |
MD5SUM | 6c7c8fee2fac051830782d16440ff60b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 16.8668 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 252 |
Number of constraints | 11724 |
Number of domains | 1 |
Minimum domain size | 9 |
Maximum domain size | 9 |
Distribution of domain sizes | [{"size":9,"count":252}] |
Minimum variable degree | 188 |
Maximum variable degree | 189 |
Distribution of variable degrees | [{"degree":188,"count":189},{"degree":189,"count":63}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 252 |
Distribution of constraint arities | [{"arity":4,"count":11718},{"arity":63,"count":5},{"arity":252,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 11718 |
Distribution of constraint types | [{"type":"intension","count":11718},{"type":"lex","count":1},{"type":"cardinality","count":4},{"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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1057-serial-file.bin HOME/instance-4392351-1568426936.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Sat Sep 14 04:08:15 CEST 2019 0.66/0.57 c PID: 1060 0.66/0.57 c IP: 172.20.3.145 0.66/0.57 c HOST: node145.alineos.net 0.66/0.58 c (0,0) Parsing Begin 7.59/2.43 c (1,1) Parsing End 7.59/2.44 c (1,1) CSP: 238 int (0 aux), 14 bool (0 aux), 11724 ctr, max domain size 9 7.59/2.44 c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 7.59/2.44 c (1,1) Constraint Name Generate Begin 8.02/2.53 c (1,1) Ctr:HOME/instance-4392351-1568426936.xml,Cardinality:Instantiation:LexMatrix:Ne:Num:Or:Var 8.02/2.53 c (1,1) Constraint Name Generate End 8.02/2.53 c (1,1) Heap : 901 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 8.02/2.53 c (1,1) CSP to CSPinCNF Begin 8.81/2.80 c (2,2) translated 1173 (10%) constraints 8.81/2.89 c (2,2) translated 2345 (20%) constraints 9.16/2.95 c (2,2) translated 3518 (30%) constraints 9.55/3.01 c (2,2) translated 4690 (40%) constraints 9.55/3.06 c (2,2) translated 5862 (50%) constraints 9.89/3.11 c (2,2) translated 7035 (60%) constraints 9.89/3.14 c (2,2) translated 8207 (70%) constraints 9.89/3.18 c (2,2) translated 9380 (80%) constraints 10.04/3.21 c (2,2) translated 10552 (90%) constraints 12.13/3.86 c (3,3) translated 11724 (100%) constraints 13.65/4.75 c (4,4) =========================================== 13.65/4.76 c (4,4) Order 13.65/4.76 c (4,4) =========================================== 14.04/4.90 c (4,4) translated 1710 (10%) constraints 14.44/5.01 c (4,4) translated 3420 (20%) constraints 14.86/5.11 c (4,4) translated 5130 (30%) constraints 15.10/5.21 c (4,4) translated 6839 (40%) constraints 15.20/5.30 c (4,4) translated 8549 (50%) constraints 15.20/5.39 c (4,4) translated 10259 (60%) constraints 15.49/5.55 c (5,4) translated 11968 (70%) constraints 16.14/5.71 c (5,5) translated 13678 (80%) constraints 16.48/5.88 c (5,5) translated 15388 (90%) constraints 16.87/5.97 c (5,5) translated 17097 (100%) constraints 16.87/5.97 c (5,5) CSP to CSPinCNF End 16.87/5.98 c (5,5) CSP: 886 int (648 aux), 4857 bool (4843 aux), 23028 ctr, max domain size 9 16.87/5.98 c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 16.87/5.98 c (5,5) CSPinCNF Propagation Begin 18.50/6.35 c (5,5) 2160 values, 9372 unsatisfiable literals, and 8537 valid clauses are removed 18.50/6.35 c (5,5) CSPinCNF Propagation End 18.50/6.35 c (5,5) CSP: 783 int (545 aux), 4960 bool (4946 aux), 14491 ctr, max domain size 9 18.50/6.35 c (5,5) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 18.50/6.35 c (5,5) Simplify CSPinCNF Begin 19.98/6.71 c (6,6) Simplify CSPinCNF End 19.98/6.72 c (6,6) CSP: 783 int (545 aux), 17090 bool (17076 aux), 26621 ctr, max domain size 9 19.98/6.72 c (6,6) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 19.98/6.72 c (6,6) Calculate Precise Domain Begin 19.98/6.78 c (6,6) 0 values are removed by re-calculation 19.98/6.78 c (6,6) Calculate Precise Domain End 19.98/6.79 c (6,6) CSP: 783 int (545 aux), 17090 bool (17076 aux), 26621 ctr, max domain size 9 19.98/6.79 c (6,6) Heap : 2365 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 19.98/6.79 c (6,6) CSPinCNF to SatSolver Begin 21.91/7.23 c (6,6) 2663 (10 %) CSP clauses are encoded (0 SAT variables, 21519 SAT clauses) 22.71/7.43 c (6,6) 5325 (20 %) CSP clauses are encoded (0 SAT variables, 41061 SAT clauses) 23.11/7.58 c (7,7) 7987 (30 %) CSP clauses are encoded (0 SAT variables, 60491 SAT clauses) 23.46/7.70 c (7,7) 10649 (40 %) CSP clauses are encoded (0 SAT variables, 79657 SAT clauses) 23.73/7.80 c (7,7) 13311 (50 %) CSP clauses are encoded (0 SAT variables, 96143 SAT clauses) 23.84/7.90 c (7,7) 15973 (60 %) CSP clauses are encoded (0 SAT variables, 112525 SAT clauses) 24.15/8.09 c (7,7) 18635 (70 %) CSP clauses are encoded (0 SAT variables, 174145 SAT clauses) 24.92/8.27 c (7,7) 21297 (80 %) CSP clauses are encoded (0 SAT variables, 234821 SAT clauses) 25.37/8.41 c (7,7) 23959 (90 %) CSP clauses are encoded (0 SAT variables, 295497 SAT clauses) 25.37/8.46 c (7,7) 26621 (100 %) CSP clauses are encoded (0 SAT variables, 302320 SAT clauses) 25.37/8.46 c (7,7) CSPinCNF to SatSolver End 25.37/8.46 c (7,7) Heap : 3266 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 25.37/8.46 c (7,7) 20213 bool, 302328 clause 25.37/8.46 c (7,7) Export Begin 25.48/8.56 c (8,7) Export to HOME/scop-1057-serial-file.bin 25.48/8.56 c (8,7) Export End 25.48/8.56 c (8,7) Export File Size: 0.04 MB 25.48/8.56 c (8,7) 1,1,5,5,6,6,7,STOP-AFTER(DIMACS) 25.48/8.56 c END-Prog: Sat Sep 14 04:08:23 CEST 2019 25.48/8.59 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1057-serial-file.bin 26.18/9.05 c (0,0) Read Serial File Begin 26.18/9.05 c (0,0) HOME/scop-1057-serial-file.bin 26.44/9.28 c (0,0) Read Serial File End 26.44/9.29 26.44/9.29 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 26.44/9.29 (Solving Process) 26.44/9.29 26.62/9.31 c BEGIN-Prog: Sat Sep 14 04:08:24 CEST 2019 26.62/9.31 c PID: 1080 26.62/9.31 c IP: 172.20.3.145 26.62/9.31 c HOST: node145.alineos.net 26.62/9.32 c (0,0) SatSolver.solve Begin 26.62/9.32 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392351-1568426936.xml-scop-1060.cnf 26.62/9.34 c (0,0) c 26.62/9.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) 26.62/9.34 c (0,0) c 26.62/9.35 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 26.62/9.35 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 26.62/9.35 c (0,0) c ========================================[ Problem Statistics ]=========================================== 26.62/9.35 c (0,0) c | | 26.84/9.46 c (0,0) c | Number of variables: 20213 | 26.84/9.46 c (0,0) c | Number of clauses: 302328 | 26.84/9.46 c (0,0) c | Parse time: 0.11 s | 26.84/9.46 c (0,0) c | | 27.99/10.55 c (1,0) c | Simplification time: 1.09 s | 27.99/10.55 c (1,0) c | | 27.99/10.55 c (1,0) c | Generating clones | 28.09/10.63 c (1,0) c | all clones generated. Memory = 197.93Mb. | 28.09/10.63 c (1,0) c ========================================================================================================| 28.09/10.63 c (1,0) c 28.09/10.63 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 28.09/10.63 c (1,0) c 28.09/10.63 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 28.09/10.63 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 28.09/10.63 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 28.09/10.63 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 28.09/10.63 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 28.09/10.63 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 28.09/10.63 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 28.09/10.63 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 28.09/10.63 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 28.09/10.63 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 28.09/10.63 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 28.09/10.63 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 28.09/10.63 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 28.09/10.63 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 28.09/10.63 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 28.09/10.63 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 28.09/10.63 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 28.09/10.63 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 28.09/10.63 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.95 c (2,0) c 38.02/11.95 c (2,0) c real time : 2.61187 s 38.02/11.95 c (2,0) c cpu time : 10.9871 s 38.02/11.95 c (2,0) c 38.02/11.95 c (2,0) c 38.02/11.95 c (2,0) c 38.02/11.95 c (2,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 38.02/11.95 c (2,0) c 38.02/11.95 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.95 c (2,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 38.02/11.95 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.95 c (2,0) c | Conflicts | 32711 | 4099 | 4941 | 4353 | 4210 | 3909 | 3907 | 3746 | 3546 | 38.02/11.95 c (2,0) c | Decisions | 608439 | 88602 | 57020 | 80033 | 69101 | 83411 | 66247 | 81324 | 82701 | 38.02/11.95 c (2,0) c | Propagations | 22630784 | 2956179 | 2759766 | 3076675 | 2639855 | 2874419 | 2685334 | 2899698 | 2738858 | 38.02/11.95 c (2,0) c | ReduceDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 38.02/11.95 c (2,0) c | SimpDBs | 24 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 38.02/11.95 c (2,0) c | Restarts | 363 | 48 | 29 | 56 | 45 | 47 | 45 | 50 | 43 | 38.02/11.95 c (2,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c | PropBinClauses| 27697289 | 3571618 | 3402958 | 3753464 | 3324880 | 3510918 | 3297750 | 3507511 | 3328190 | 38.02/11.95 c (2,0) c | PropPreBlocker| 237439848 | 30690127 | 29830372 | 31790981 | 28318781 | 30395854 | 28219176 | 29942455 | 28252102 | 38.02/11.95 c (2,0) c | PropNotBlocker| 60512174 | 7840946 | 7186865 | 8180146 | 7162251 | 7873315 | 7249991 | 7667461 | 7351199 | 38.02/11.95 c (2,0) c | LitFullScans | 403492790 | 51909772 | 51593556 | 53774601 | 48023417 | 51534046 | 48003022 | 50625653 | 48028723 | 38.02/11.95 c (2,0) c | LitScanFracts | 54562 | 22199 | 2169 | 1345 | 1387 | 1214 | 567 | 829 | 24852 | 38.02/11.95 c (2,0) c | DecisionLevel0| 1268 | 151 | 134 | 155 | 178 | 148 | 182 | 168 | 152 | 38.02/11.95 c (2,0) c | Periods | 64 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 38.02/11.95 c (2,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 38.02/11.95 c (2,0) c | Avg_Trail | | 9421 | 8649 | 9124 | 9845 | 9576 | 9108 | 9125 | 8934 | 38.02/11.95 c (2,0) c | Avg_DL | | 304 | 373 | 332 | 356 | 311 | 291 | 316 | 299 | 38.02/11.95 c (2,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.95 c (2,0) c | Exported | 1589 | 206 | 202 | 213 | 198 | 181 | 190 | 209 | 190 | 38.02/11.95 c (2,0) c | Imported | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c | Good | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c | Purge | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c | Promoted | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 38.02/11.95 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.95 c (2,0) c | Unaries | | 103 | 105 | 99 | 133 | 101 | 137 | 118 | 109 | 38.02/11.95 c (2,0) c | Binaries | | 118 | 101 | 103 | 87 | 100 | 92 | 90 | 105 | 38.02/11.95 c (2,0) c | Glues | | 206 | 202 | 213 | 198 | 181 | 190 | 209 | 190 | 38.02/11.95 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.95 c (2,0) c | Orig_Seen | 15 % | 34502 | 32413 | 35213 | 32189 | 34445 | 32722 | 32498 | 32234 | 38.02/11.95 c (2,0) c | Diff Orig seen| | 57 | - 2032 | 768 | - 2256 | X | - 1723 | - 1947 | - 2211 | 38.02/11.95 c (2,0) c | Hamming | 22 % | 4347 | 4445 | 4437 | 4516 | X | 4640 | 4643 | 4346 | 38.02/11.95 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.95 c (2,0) c | RunningTime | | 1.3 100%| 1.3 100%| 1.3 100%| 1.3 100%| 1.2 100%| 1.3 100%| 1.2 100%| 1.3 100%| 38.02/11.95 c (2,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%| 38.02/11.95 c (2,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%| 38.02/11.95 c (2,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%| 38.02/11.95 c (2,0) c | SolvingTime | | 1.3 | 1.3 | 1.3 | 1.3 | 1.2 | 1.3 | 1.3 | 1.3 | 38.02/11.95 c (2,0) c | PropagationTim| | 1.0 83%| 1.1 83%| 1.0 84%| 1.1 84%| 1.0 84%| 1.1 84%| 1.1 84%| 1.1 84%| 38.02/11.95 c (2,0) c | AnalysisTime | | 0.1 5%| 0.1 6%| 0.1 5%| 0.1 5%| 0.1 5%| 0.1 5%| 0.1 4%| 0.1 5%| 38.02/11.95 c (2,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 38.02/11.95 c (2,0) c | SimplifyTime | | 0.0 4%| 0.0 4%| 0.0 4%| 0.0 4%| 0.0 4%| 0.0 4%| 0.0 4%| 0.1 4%| 38.02/11.95 c (2,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%| 38.02/11.96 c (2,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%| 38.02/11.96 c (2,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.96 c (2,0) c 38.02/11.96 c (2,0) c 38.02/11.96 c (2,0) c Threads : 8 38.02/11.96 c (2,0) c Winner : 4 38.02/11.96 c (2,0) c Conflicts_0 : 4099 38.02/11.96 c (2,0) c Conflicts_1 : 4941 38.02/11.96 c (2,0) c Conflicts_2 : 4353 38.02/11.96 c (2,0) c Conflicts_3 : 4210 38.02/11.96 c (2,0) c Conflicts_4 : 3909 38.02/11.96 c (2,0) c Conflicts_5 : 3907 38.02/11.96 c (2,0) c Conflicts_6 : 3746 38.02/11.96 c (2,0) c Conflicts_7 : 3546 38.02/11.96 c (2,0) c Conflicts_total : 32711 38.02/11.96 c (2,0) c Conflicts_winner : 3909 38.02/11.96 c (2,0) c Decisions_0 : 88602 38.02/11.96 c (2,0) c Decisions_1 : 57020 38.02/11.96 c (2,0) c Decisions_2 : 80033 38.02/11.96 c (2,0) c Decisions_3 : 69101 38.02/11.96 c (2,0) c Decisions_4 : 83411 38.02/11.96 c (2,0) c Decisions_5 : 66247 38.02/11.96 c (2,0) c Decisions_6 : 81324 38.02/11.96 c (2,0) c Decisions_7 : 82701 38.02/11.96 c (2,0) c Decisions_total : 608439 38.02/11.96 c (2,0) c Decisions_winner : 83411 38.02/11.96 c (2,0) c Propagations_0 : 2956179 38.02/11.96 c (2,0) c Propagations_1 : 2759766 38.02/11.96 c (2,0) c Propagations_2 : 3076675 38.02/11.96 c (2,0) c Propagations_3 : 2639855 38.02/11.96 c (2,0) c Propagations_4 : 2874419 38.02/11.96 c (2,0) c Propagations_5 : 2685334 38.02/11.96 c (2,0) c Propagations_6 : 2899698 38.02/11.96 c (2,0) c Propagations_7 : 2738858 38.02/11.96 c (2,0) c Propagations_total : 22630784 38.02/11.96 c (2,0) c Propagations_winner : 2874419 38.02/11.96 c (2,0) c ReduceDBs_0 : 1 38.02/11.96 c (2,0) c ReduceDBs_1 : 1 38.02/11.96 c (2,0) c ReduceDBs_2 : 1 38.02/11.96 c (2,0) c ReduceDBs_3 : 1 38.02/11.96 c (2,0) c ReduceDBs_4 : 1 38.02/11.96 c (2,0) c ReduceDBs_5 : 1 38.02/11.96 c (2,0) c ReduceDBs_6 : 1 38.02/11.96 c (2,0) c ReduceDBs_7 : 1 38.02/11.96 c (2,0) c ReduceDBs_total : 8 38.02/11.96 c (2,0) c ReduceDBs_winner : 1 38.02/11.96 c (2,0) c SimpDBs_0 : 3 38.02/11.96 c (2,0) c SimpDBs_1 : 3 38.02/11.96 c (2,0) c SimpDBs_2 : 3 38.02/11.96 c (2,0) c SimpDBs_3 : 3 38.02/11.96 c (2,0) c SimpDBs_4 : 3 38.02/11.96 c (2,0) c SimpDBs_5 : 3 38.02/11.96 c (2,0) c SimpDBs_6 : 3 38.02/11.96 c (2,0) c SimpDBs_7 : 3 38.02/11.96 c (2,0) c SimpDBs_total : 24 38.02/11.96 c (2,0) c SimpDBs_winner : 3 38.02/11.96 c (2,0) c Restarts_0 : 48 38.02/11.96 c (2,0) c Restarts_1 : 29 38.02/11.96 c (2,0) c Restarts_2 : 56 38.02/11.96 c (2,0) c Restarts_3 : 45 38.02/11.96 c (2,0) c Restarts_4 : 47 38.02/11.96 c (2,0) c Restarts_5 : 45 38.02/11.96 c (2,0) c Restarts_6 : 50 38.02/11.96 c (2,0) c Restarts_7 : 43 38.02/11.96 c (2,0) c Restarts_total : 363 38.02/11.96 c (2,0) c Restarts_winner : 47 38.02/11.96 c (2,0) c ForcedImports_0 : 0 38.02/11.96 c (2,0) c ForcedImports_1 : 0 38.02/11.96 c (2,0) c ForcedImports_2 : 0 38.02/11.96 c (2,0) c ForcedImports_3 : 0 38.02/11.96 c (2,0) c ForcedImports_4 : 0 38.02/11.96 c (2,0) c ForcedImports_5 : 0 38.02/11.96 c (2,0) c ForcedImports_6 : 0 38.02/11.96 c (2,0) c ForcedImports_7 : 0 38.02/11.96 c (2,0) c ForcedImports_total : 0 38.02/11.96 c (2,0) c ForcedImports_winner : 0 38.02/11.96 c (2,0) c PropsBinClauses_0 : 3571618 38.02/11.96 c (2,0) c PropsBinClauses_1 : 3402958 38.02/11.96 c (2,0) c PropsBinClauses_2 : 3753464 38.02/11.96 c (2,0) c PropsBinClauses_3 : 3324880 38.02/11.96 c (2,0) c PropsBinClauses_4 : 3510918 38.02/11.96 c (2,0) c PropsBinClauses_5 : 3297750 38.02/11.96 c (2,0) c PropsBinClauses_6 : 3507511 38.02/11.96 c (2,0) c PropsBinClauses_7 : 3328190 38.02/11.96 c (2,0) c PropsBinClauses_total : 27697289 38.02/11.96 c (2,0) c PropsBinClauses_winner : 3510918 38.02/11.96 c (2,0) c PropsPreBlocker_0 : 30690127 38.02/11.96 c (2,0) c PropsPreBlocker_1 : 29830372 38.02/11.96 c (2,0) c PropsPreBlocker_2 : 31790981 38.02/11.96 c (2,0) c PropsPreBlocker_3 : 28318781 38.02/11.96 c (2,0) c PropsPreBlocker_4 : 30395854 38.02/11.96 c (2,0) c PropsPreBlocker_5 : 28219176 38.02/11.96 c (2,0) c PropsPreBlocker_6 : 29942455 38.02/11.96 c (2,0) c PropsPreBlocker_7 : 28252102 38.02/11.96 c (2,0) c PropsPreBlocker_total : 237439848 38.02/11.96 c (2,0) c PropsPreBlocker_winner : 30395854 38.02/11.96 c (2,0) c PropsNotBlocker_0 : 7840946 38.02/11.96 c (2,0) c PropsNotBlocker_1 : 7186865 38.02/11.96 c (2,0) c PropsNotBlocker_2 : 8180146 38.02/11.96 c (2,0) c PropsNotBlocker_3 : 7162251 38.02/11.96 c (2,0) c PropsNotBlocker_4 : 7873315 38.02/11.96 c (2,0) c PropsNotBlocker_5 : 7249991 38.02/11.96 c (2,0) c PropsNotBlocker_6 : 7667461 38.02/11.96 c (2,0) c PropsNotBlocker_7 : 7351199 38.02/11.96 c (2,0) c PropsNotBlocker_total : 60512174 38.02/11.96 c (2,0) c PropsNotBlocker_winner : 7873315 38.02/11.96 c (2,0) c PropsLitFullScans_0 : 51909772 38.02/11.96 c (2,0) c PropsLitFullScans_1 : 51593556 38.02/11.96 c (2,0) c PropsLitFullScans_2 : 53774601 38.02/11.96 c (2,0) c PropsLitFullScans_3 : 48023417 38.02/11.96 c (2,0) c PropsLitFullScans_4 : 51534046 38.02/11.96 c (2,0) c PropsLitFullScans_5 : 48003022 38.02/11.96 c (2,0) c PropsLitFullScans_6 : 50625653 38.02/11.96 c (2,0) c PropsLitFullScans_7 : 48028723 38.02/11.96 c (2,0) c PropsLitFullScans_total : 403492790 38.02/11.96 c (2,0) c PropsLitFullScans_winner : 51534046 38.02/11.96 c (2,0) c LitScanFractions_0 : 22199 38.02/11.96 c (2,0) c LitScanFractions_1 : 2169 38.02/11.96 c (2,0) c LitScanFractions_2 : 1345 38.02/11.96 c (2,0) c LitScanFractions_3 : 1387 38.02/11.96 c (2,0) c LitScanFractions_4 : 1214 38.02/11.96 c (2,0) c LitScanFractions_5 : 567 38.02/11.96 c (2,0) c LitScanFractions_6 : 829 38.02/11.96 c (2,0) c LitScanFractions_7 : 24852 38.02/11.96 c (2,0) c LitScanFractions_total : 54562 38.02/11.96 c (2,0) c LitScanFractions_winner : 1214 38.02/11.96 c (2,0) c DecisionLevel0_0 : 151 38.02/11.96 c (2,0) c DecisionLevel0_1 : 134 38.02/11.96 c (2,0) c DecisionLevel0_2 : 155 38.02/11.96 c (2,0) c DecisionLevel0_3 : 178 38.02/11.96 c (2,0) c DecisionLevel0_4 : 148 38.02/11.96 c (2,0) c DecisionLevel0_5 : 182 38.02/11.96 c (2,0) c DecisionLevel0_6 : 168 38.02/11.96 c (2,0) c DecisionLevel0_7 : 152 38.02/11.96 c (2,0) c DecisionLevel0_total : 1268 38.02/11.96 c (2,0) c DecisionLevel0_winner : 148 38.02/11.96 c (2,0) c Periods_0 : 8 38.02/11.96 c (2,0) c Periods_1 : 8 38.02/11.96 c (2,0) c Periods_2 : 8 38.02/11.96 c (2,0) c Periods_3 : 8 38.02/11.96 c (2,0) c Periods_4 : 8 38.02/11.96 c (2,0) c Periods_5 : 8 38.02/11.96 c (2,0) c Periods_6 : 8 38.02/11.96 c (2,0) c Periods_7 : 8 38.02/11.96 c (2,0) c Periods_total : 64 38.02/11.96 c (2,0) c Periods_winner : 8 38.02/11.96 c (2,0) c Margin_0 : 20 38.02/11.96 c (2,0) c Margin_1 : 20 38.02/11.96 c (2,0) c Margin_2 : 20 38.02/11.96 c (2,0) c Margin_3 : 20 38.02/11.96 c (2,0) c Margin_4 : 20 38.02/11.96 c (2,0) c Margin_5 : 20 38.02/11.96 c (2,0) c Margin_6 : 20 38.02/11.96 c (2,0) c Margin_7 : 20 38.02/11.96 c (2,0) c Margin_total : 160 38.02/11.96 c (2,0) c Margin_winner : 20 38.02/11.96 c (2,0) c Exported_0 : 206 38.02/11.96 c (2,0) c Exported_1 : 202 38.02/11.96 c (2,0) c Exported_2 : 213 38.02/11.96 c (2,0) c Exported_3 : 198 38.02/11.96 c (2,0) c Exported_4 : 181 38.02/11.96 c (2,0) c Exported_5 : 190 38.02/11.96 c (2,0) c Exported_6 : 209 38.02/11.96 c (2,0) c Exported_7 : 190 38.02/11.96 c (2,0) c Exported_total : 1589 38.02/11.96 c (2,0) c Exported_winner : 181 38.02/11.96 c (2,0) c Imported_0 : 0 38.02/11.96 c (2,0) c Imported_1 : 0 38.02/11.96 c (2,0) c Imported_2 : 0 38.02/11.96 c (2,0) c Imported_3 : 0 38.02/11.96 c (2,0) c Imported_4 : 0 38.02/11.96 c (2,0) c Imported_5 : 0 38.02/11.96 c (2,0) c Imported_6 : 0 38.02/11.96 c (2,0) c Imported_7 : 0 38.02/11.96 c (2,0) c Imported_total : 0 38.02/11.96 c (2,0) c Imported_winner : 0 38.02/11.96 c (2,0) c Good_0 : 0 38.02/11.96 c (2,0) c Good_1 : 0 38.02/11.96 c (2,0) c Good_2 : 0 38.02/11.96 c (2,0) c Good_3 : 0 38.02/11.96 c (2,0) c Good_4 : 0 38.02/11.96 c (2,0) c Good_5 : 0 38.02/11.96 c (2,0) c Good_6 : 0 38.02/11.96 c (2,0) c Good_7 : 0 38.02/11.96 c (2,0) c Good_total : 0 38.02/11.96 c (2,0) c Good_winner : 0 38.02/11.96 c (2,0) c Purge_0 : 0 38.02/11.96 c (2,0) c Purge_1 : 0 38.02/11.96 c (2,0) c Purge_2 : 0 38.02/11.96 c (2,0) c Purge_3 : 0 38.02/11.96 c (2,0) c Purge_4 : 0 38.02/11.96 c (2,0) c Purge_5 : 0 38.02/11.96 c (2,0) c Purge_6 : 0 38.02/11.96 c (2,0) c Purge_7 : 0 38.02/11.96 c (2,0) c Purge_total : 0 38.02/11.96 c (2,0) c Purge_winner : 0 38.02/11.96 c (2,0) c Promoted_0 : 0 38.02/11.96 c (2,0) c Promoted_1 : 0 38.02/11.96 c (2,0) c Promoted_2 : 0 38.02/11.96 c (2,0) c Promoted_3 : 0 38.02/11.96 c (2,0) c Promoted_4 : 0 38.02/11.96 c (2,0) c Promoted_5 : 0 38.02/11.96 c (2,0) c Promoted_6 : 0 38.02/11.96 c (2,0) c Promoted_7 : 0 38.02/11.96 c (2,0) c Promoted_total : 0 38.02/11.96 c (2,0) c Promoted_winner : 0 38.02/11.96 c (2,0) c Remove_Imp_0 : 0 38.02/11.96 c (2,0) c Remove_Imp_1 : 0 38.02/11.96 c (2,0) c Remove_Imp_2 : 0 38.02/11.96 c (2,0) c Remove_Imp_3 : 0 38.02/11.96 c (2,0) c Remove_Imp_4 : 0 38.02/11.96 c (2,0) c Remove_Imp_5 : 0 38.02/11.96 c (2,0) c Remove_Imp_6 : 0 38.02/11.96 c (2,0) c Remove_Imp_7 : 0 38.02/11.96 c (2,0) c Remove_Imp_total : 0 38.02/11.96 c (2,0) c Remove_Imp_winner : 0 38.02/11.96 c (2,0) c Blocked_Reuse_0 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_1 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_2 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_3 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_4 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_5 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_6 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_7 : 0 38.02/11.96 c (2,0) c Blocked_Reuse_total : 0 38.02/11.96 c (2,0) c Blocked_Reuse_winner : 0 38.02/11.96 c (2,0) c Unaries_0 : 103 38.02/11.96 c (2,0) c Unaries_1 : 105 38.02/11.96 c (2,0) c Unaries_2 : 99 38.02/11.96 c (2,0) c Unaries_3 : 133 38.02/11.96 c (2,0) c Unaries_4 : 101 38.02/11.96 c (2,0) c Unaries_5 : 137 38.02/11.96 c (2,0) c Unaries_6 : 118 38.02/11.96 c (2,0) c Unaries_7 : 109 38.02/11.96 c (2,0) c Unaries_total : 905 38.02/11.96 c (2,0) c Unaries_winner : 101 38.02/11.96 c (2,0) c Binaries_0 : 118 38.02/11.96 c (2,0) c Binaries_1 : 101 38.02/11.96 c (2,0) c Binaries_2 : 103 38.02/11.96 c (2,0) c Binaries_3 : 87 38.02/11.96 c (2,0) c Binaries_4 : 100 38.02/11.96 c (2,0) c Binaries_5 : 92 38.02/11.96 c (2,0) c Binaries_6 : 90 38.02/11.96 c (2,0) c Binaries_7 : 105 38.02/11.96 c (2,0) c Binaries_total : 796 38.02/11.96 c (2,0) c Binaries_winner : 100 38.02/11.96 c (2,0) c Glues_0 : 206 38.02/11.96 c (2,0) c Glues_1 : 202 38.02/11.96 c (2,0) c Glues_2 : 213 38.02/11.96 c (2,0) c Glues_3 : 198 38.02/11.96 c (2,0) c Glues_4 : 181 38.02/11.96 c (2,0) c Glues_5 : 190 38.02/11.96 c (2,0) c Glues_6 : 209 38.02/11.96 c (2,0) c Glues_7 : 190 38.02/11.96 c (2,0) c Glues_total : 1589 38.02/11.96 c (2,0) c Glues_winner : 181 38.02/11.96 c (2,0) c RunningTime_0 : 1.251401 38.02/11.96 c (2,0) c RunningTime_1 : 1.264801 38.02/11.96 c (2,0) c RunningTime_2 : 1.254305 38.02/11.96 c (2,0) c RunningTime_3 : 1.282263 38.02/11.96 c (2,0) c RunningTime_4 : 1.247211 38.02/11.97 c (2,0) c RunningTime_5 : 1.292973 38.02/11.97 c (2,0) c RunningTime_6 : 1.249800 38.02/11.97 c (2,0) c RunningTime_7 : 1.318999 38.02/11.97 c (2,0) c RunningTime_total : 10.161753 38.02/11.97 c (2,0) c RunningTime_winner : 1.247211 38.02/11.97 c (2,0) c WaitingTime_0 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_1 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_2 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_3 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_4 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_5 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_6 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_7 : 0.000000 38.02/11.97 c (2,0) c WaitingTime_total : 0.000000 38.02/11.97 c (2,0) c WaitingTime_winner : 0.000000 38.02/11.97 c (2,0) c ExchangingTime_0 : 0.000489 38.02/11.97 c (2,0) c ExchangingTime_1 : 0.000563 38.02/11.97 c (2,0) c ExchangingTime_2 : 0.000505 38.02/11.97 c (2,0) c ExchangingTime_3 : 0.000530 38.02/11.97 c (2,0) c ExchangingTime_4 : 0.000450 38.02/11.97 c (2,0) c ExchangingTime_5 : 0.000523 38.02/11.97 c (2,0) c ExchangingTime_6 : 0.000489 38.02/11.97 c (2,0) c ExchangingTime_7 : 0.000506 38.02/11.97 c (2,0) c ExchangingTime_total : 0.004056 38.02/11.97 c (2,0) c ExchangingTime_winner : 0.000450 38.02/11.97 c (2,0) c PeriodProcTime_0 : 0.000074 38.02/11.97 c (2,0) c PeriodProcTime_1 : 0.000147 38.02/11.97 c (2,0) c PeriodProcTime_2 : 0.000080 38.02/11.97 c (2,0) c PeriodProcTime_3 : 0.000103 38.02/11.97 c (2,0) c PeriodProcTime_4 : 0.000078 38.02/11.97 c (2,0) c PeriodProcTime_5 : 0.000104 38.02/11.97 c (2,0) c PeriodProcTime_6 : 0.000082 38.02/11.97 c (2,0) c PeriodProcTime_7 : 0.000103 38.02/11.97 c (2,0) c PeriodProcTime_total : 0.000771 38.02/11.97 c (2,0) c PeriodProcTime_winner : 0.000078 38.02/11.97 c (2,0) c SolvingTime_0 : 1.251964 38.02/11.97 c (2,0) c SolvingTime_1 : 1.265511 38.02/11.97 c (2,0) c SolvingTime_2 : 1.254890 38.02/11.97 c (2,0) c SolvingTime_3 : 1.282896 38.02/11.97 c (2,0) c SolvingTime_4 : 1.247739 38.02/11.97 c (2,0) c SolvingTime_5 : 1.293600 38.02/11.97 c (2,0) c SolvingTime_6 : 1.250371 38.02/11.97 c (2,0) c SolvingTime_7 : 1.319608 38.02/11.97 c (2,0) c SolvingTime_total : 10.166579 38.02/11.97 c (2,0) c SolvingTime_winner : 1.247739 38.02/11.97 c (2,0) c PropagationTime_0 : 1.043779 38.02/11.97 c (2,0) c PropagationTime_1 : 1.053108 38.02/11.97 c (2,0) c PropagationTime_2 : 1.049592 38.02/11.97 c (2,0) c PropagationTime_3 : 1.080489 38.02/11.97 c (2,0) c PropagationTime_4 : 1.047064 38.02/11.97 c (2,0) c PropagationTime_5 : 1.087331 38.02/11.97 c (2,0) c PropagationTime_6 : 1.056132 38.02/11.97 c (2,0) c PropagationTime_7 : 1.113146 38.02/11.97 c (2,0) c PropagationTime_total : 8.530641 38.02/11.97 c (2,0) c PropagationTime_winner : 1.047064 38.02/11.97 c (2,0) c AnalysisTime_0 : 0.063203 38.02/11.97 c (2,0) c AnalysisTime_1 : 0.080138 38.02/11.97 c (2,0) c AnalysisTime_2 : 0.063101 38.02/11.97 c (2,0) c AnalysisTime_3 : 0.064918 38.02/11.97 c (2,0) c AnalysisTime_4 : 0.061415 38.02/11.97 c (2,0) c AnalysisTime_5 : 0.063987 38.02/11.97 c (2,0) c AnalysisTime_6 : 0.054919 38.02/11.97 c (2,0) c AnalysisTime_7 : 0.059836 38.02/11.97 c (2,0) c AnalysisTime_total : 0.511517 38.02/11.97 c (2,0) c AnalysisTime_winner : 0.061415 38.02/11.97 c (2,0) c ReductionTime_0 : 0.000388 38.02/11.97 c (2,0) c ReductionTime_1 : 0.000381 38.02/11.97 c (2,0) c ReductionTime_2 : 0.000412 38.02/11.97 c (2,0) c ReductionTime_3 : 0.000402 38.02/11.97 c (2,0) c ReductionTime_4 : 0.000446 38.02/11.97 c (2,0) c ReductionTime_5 : 0.000393 38.02/11.97 c (2,0) c ReductionTime_6 : 0.000434 38.02/11.97 c (2,0) c ReductionTime_7 : 0.000394 38.02/11.97 c (2,0) c ReductionTime_total : 0.003250 38.02/11.97 c (2,0) c ReductionTime_winner : 0.000446 38.02/11.97 c (2,0) c SimplifyTime_0 : 0.044544 38.02/11.97 c (2,0) c SimplifyTime_1 : 0.049312 38.02/11.97 c (2,0) c SimplifyTime_2 : 0.046909 38.02/11.97 c (2,0) c SimplifyTime_3 : 0.045204 38.02/11.97 c (2,0) c SimplifyTime_4 : 0.048529 38.02/11.97 c (2,0) c SimplifyTime_5 : 0.049317 38.02/11.97 c (2,0) c SimplifyTime_6 : 0.047262 38.02/11.97 c (2,0) c SimplifyTime_7 : 0.050404 38.02/11.97 c (2,0) c SimplifyTime_total : 0.381480 38.02/11.97 c (2,0) c SimplifyTime_winner : 0.048529 38.02/11.97 c (2,0) c UsedRateTime_0 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_1 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_2 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_3 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_4 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_5 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_6 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_7 : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_total : 0.000000 38.02/11.97 c (2,0) c UsedRateTime_winner : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_0 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_1 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_2 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_3 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_4 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_5 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_6 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_7 : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_total : 0.000000 38.02/11.97 c (2,0) c OverlapRateTime_winner : 0.000000 38.02/11.97 c (2,0) c 38.02/11.97 c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 38.02/11.97 c (2,0) c 38.02/11.97 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.97 c (2,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 38.02/11.97 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.97 c (2,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 38.02/11.97 c (2,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 38.02/11.97 c (2,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 38.02/11.97 c (2,0) c | Initial random_seed | 1678332950 | 1702929567 | 1602088787 | 832876848 | 866699488 | 233411392 | 1861701104 | 1303270374 | 38.02/11.97 c (2,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 38.02/11.97 c (2,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 38.02/11.97 c (2,0) c | glureduce | True | True | True | True | True | True | True | True | 38.02/11.97 c (2,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 38.02/11.97 c (2,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 38.02/11.97 c (2,0) c | luby_restart | False | False | False | False | False | False | False | False | 38.02/11.97 c (2,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 38.02/11.97 c (2,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 38.02/11.97 c (2,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 38.02/11.97 c (2,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 38.02/11.97 c (2,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 38.02/11.97 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 38.02/11.97 c (2,0) 38.02/11.97 c (2,0) s SATISFIABLE 38.31/12.01 c (3,0) SatSolver.solve End 38.31/12.01 c (3,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 38.31/12.01 c (3,0) Show results Begin 38.51/12.15 c (3,0) x[0][0] = 0 38.51/12.15 c (3,0) x[0][1] = 0 38.51/12.15 c (3,0) x[0][2] = 0 38.51/12.15 c (3,0) x[0][3] = 0 38.51/12.15 c (3,0) x[0][4] = 0 38.51/12.15 c (3,0) x[0][5] = 0 38.51/12.15 c (3,0) x[0][6] = 0 38.51/12.15 c (3,0) x[0][7] = 1 38.51/12.15 c (3,0) x[0][8] = 1 38.51/12.15 c (3,0) x[0][9] = 1 38.51/12.15 c (3,0) x[0][10] = 1 38.51/12.15 c (3,0) x[0][11] = 1 38.51/12.15 c (3,0) x[0][12] = 1 38.51/12.15 c (3,0) x[0][13] = 1 38.51/12.15 c (3,0) x[0][14] = 2 38.51/12.15 c (3,0) x[0][15] = 2 38.51/12.15 c (3,0) x[0][16] = 2 38.51/12.15 c (3,0) x[0][17] = 2 38.51/12.15 c (3,0) x[0][18] = 2 38.51/12.15 c (3,0) x[0][19] = 2 38.51/12.15 c (3,0) x[0][20] = 2 38.51/12.15 c (3,0) x[0][21] = 3 38.51/12.15 c (3,0) x[0][22] = 3 38.51/12.15 c (3,0) x[0][23] = 3 38.51/12.15 c (3,0) x[0][24] = 3 38.51/12.15 c (3,0) x[0][25] = 3 38.51/12.15 c (3,0) x[0][26] = 3 38.51/12.15 c (3,0) x[0][27] = 3 38.51/12.15 c (3,0) x[0][28] = 4 38.51/12.15 c (3,0) x[0][29] = 4 38.51/12.15 c (3,0) x[0][30] = 4 38.51/12.15 c (3,0) x[0][31] = 4 38.51/12.15 c (3,0) x[0][32] = 4 38.51/12.15 c (3,0) x[0][33] = 4 38.51/12.15 c (3,0) x[0][34] = 4 38.51/12.15 c (3,0) x[0][35] = 5 38.51/12.15 c (3,0) x[0][36] = 5 38.51/12.15 c (3,0) x[0][37] = 5 38.51/12.15 c (3,0) x[0][38] = 5 38.51/12.15 c (3,0) x[0][39] = 5 38.51/12.15 c (3,0) x[0][40] = 5 38.51/12.15 c (3,0) x[0][41] = 5 38.51/12.15 c (3,0) x[0][42] = 6 38.51/12.15 c (3,0) x[0][43] = 6 38.51/12.15 c (3,0) x[0][44] = 6 38.51/12.15 c (3,0) x[0][45] = 6 38.51/12.15 c (3,0) x[0][46] = 6 38.51/12.15 c (3,0) x[0][47] = 6 38.51/12.15 c (3,0) x[0][48] = 6 38.51/12.15 c (3,0) x[0][49] = 7 38.51/12.15 c (3,0) x[0][50] = 7 38.51/12.15 c (3,0) x[0][51] = 7 38.51/12.15 c (3,0) x[0][52] = 7 38.51/12.15 c (3,0) x[0][53] = 7 38.51/12.15 c (3,0) x[0][54] = 7 38.51/12.15 c (3,0) x[0][55] = 7 38.51/12.15 c (3,0) x[0][56] = 8 38.51/12.15 c (3,0) x[0][57] = 8 38.51/12.15 c (3,0) x[0][58] = 8 38.51/12.15 c (3,0) x[0][59] = 8 38.51/12.15 c (3,0) x[0][60] = 8 38.51/12.15 c (3,0) x[0][61] = 8 38.51/12.15 c (3,0) x[0][62] = 8 38.51/12.15 c (3,0) x[1][0] = 0 38.51/12.15 c (3,0) x[1][1] = 2 38.51/12.15 c (3,0) x[1][2] = 4 38.51/12.15 c (3,0) x[1][3] = 5 38.51/12.15 c (3,0) x[1][4] = 6 38.51/12.15 c (3,0) x[1][5] = 7 38.51/12.15 c (3,0) x[1][6] = 8 38.51/12.15 c (3,0) x[1][7] = 0 38.51/12.15 c (3,0) x[1][8] = 1 38.51/12.15 c (3,0) x[1][9] = 2 38.51/12.15 c (3,0) x[1][10] = 4 38.51/12.15 c (3,0) x[1][11] = 5 38.51/12.15 c (3,0) x[1][12] = 6 38.51/12.15 c (3,0) x[1][13] = 7 38.51/12.15 c (3,0) x[1][14] = 1 38.51/12.15 c (3,0) x[1][15] = 3 38.51/12.15 c (3,0) x[1][16] = 4 38.51/12.15 c (3,0) x[1][17] = 5 38.51/12.15 c (3,0) x[1][18] = 6 38.51/12.15 c (3,0) x[1][19] = 7 38.51/12.15 c (3,0) x[1][20] = 8 38.51/12.15 c (3,0) x[1][21] = 0 38.51/12.15 c (3,0) x[1][22] = 1 38.51/12.16 c (3,0) x[1][23] = 2 38.51/12.16 c (3,0) x[1][24] = 3 38.51/12.16 c (3,0) x[1][25] = 5 38.51/12.16 c (3,0) x[1][26] = 6 38.51/12.16 c (3,0) x[1][27] = 7 38.51/12.16 c (3,0) x[1][28] = 0 38.51/12.16 c (3,0) x[1][29] = 1 38.51/12.16 c (3,0) x[1][30] = 2 38.51/12.16 c (3,0) x[1][31] = 3 38.51/12.16 c (3,0) x[1][32] = 4 38.51/12.16 c (3,0) x[1][33] = 7 38.51/12.16 c (3,0) x[1][34] = 8 38.51/12.16 c (3,0) x[1][35] = 0 38.51/12.16 c (3,0) x[1][36] = 1 38.51/12.16 c (3,0) x[1][37] = 2 38.51/12.16 c (3,0) x[1][38] = 3 38.51/12.16 c (3,0) x[1][39] = 4 38.51/12.16 c (3,0) x[1][40] = 5 38.51/12.16 c (3,0) x[1][41] = 8 38.51/12.16 c (3,0) x[1][42] = 0 38.51/12.16 c (3,0) x[1][43] = 1 38.51/12.16 c (3,0) x[1][44] = 3 38.51/12.16 c (3,0) x[1][45] = 5 38.51/12.16 c (3,0) x[1][46] = 6 38.51/12.16 c (3,0) x[1][47] = 7 38.51/12.16 c (3,0) x[1][48] = 8 38.51/12.16 c (3,0) x[1][49] = 0 38.51/12.16 c (3,0) x[1][50] = 2 38.51/12.16 c (3,0) x[1][51] = 3 38.51/12.16 c (3,0) x[1][52] = 4 38.51/12.16 c (3,0) x[1][53] = 5 38.51/12.16 c (3,0) x[1][54] = 6 38.51/12.16 c (3,0) x[1][55] = 8 38.51/12.16 c (3,0) x[1][56] = 1 38.51/12.16 c (3,0) x[1][57] = 2 38.51/12.16 c (3,0) x[1][58] = 3 38.51/12.16 c (3,0) x[1][59] = 4 38.51/12.16 c (3,0) x[1][60] = 6 38.51/12.16 c (3,0) x[1][61] = 7 38.51/12.16 c (3,0) x[1][62] = 8 38.51/12.16 c (3,0) x[2][0] = 0 38.51/12.16 c (3,0) x[2][1] = 2 38.51/12.16 c (3,0) x[2][2] = 4 38.51/12.16 c (3,0) x[2][3] = 7 38.51/12.16 c (3,0) x[2][4] = 5 38.51/12.16 c (3,0) x[2][5] = 6 38.51/12.16 c (3,0) x[2][6] = 1 38.51/12.16 c (3,0) x[2][7] = 6 38.51/12.16 c (3,0) x[2][8] = 7 38.51/12.16 c (3,0) x[2][9] = 1 38.51/12.16 c (3,0) x[2][10] = 2 38.51/12.16 c (3,0) x[2][11] = 5 38.51/12.16 c (3,0) x[2][12] = 8 38.51/12.16 c (3,0) x[2][13] = 0 38.51/12.16 c (3,0) x[2][14] = 4 38.51/12.16 c (3,0) x[2][15] = 3 38.51/12.16 c (3,0) x[2][16] = 7 38.51/12.16 c (3,0) x[2][17] = 8 38.51/12.16 c (3,0) x[2][18] = 6 38.51/12.16 c (3,0) x[2][19] = 1 38.51/12.16 c (3,0) x[2][20] = 2 38.51/12.16 c (3,0) x[2][21] = 1 38.51/12.16 c (3,0) x[2][22] = 2 38.51/12.16 c (3,0) x[2][23] = 3 38.51/12.16 c (3,0) x[2][24] = 0 38.51/12.16 c (3,0) x[2][25] = 4 38.51/12.16 c (3,0) x[2][26] = 7 38.51/12.16 c (3,0) x[2][27] = 5 38.51/12.16 c (3,0) x[2][28] = 2 38.51/12.16 c (3,0) x[2][29] = 8 38.51/12.16 c (3,0) x[2][30] = 4 38.51/12.16 c (3,0) x[2][31] = 5 38.51/12.16 c (3,0) x[2][32] = 6 38.51/12.16 c (3,0) x[2][33] = 3 38.51/12.16 c (3,0) x[2][34] = 7 38.51/12.16 c (3,0) x[2][35] = 4 38.51/12.16 c (3,0) x[2][36] = 3 38.51/12.16 c (3,0) x[2][37] = 7 38.51/12.16 c (3,0) x[2][38] = 8 38.51/12.16 c (3,0) x[2][39] = 0 38.51/12.16 c (3,0) x[2][40] = 2 38.51/12.16 c (3,0) x[2][41] = 6 38.51/12.16 c (3,0) x[2][42] = 5 38.51/12.16 c (3,0) x[2][43] = 6 38.51/12.16 c (3,0) x[2][44] = 4 38.51/12.16 c (3,0) x[2][45] = 1 38.51/12.16 c (3,0) x[2][46] = 0 38.51/12.16 c (3,0) x[2][47] = 8 38.51/12.16 c (3,0) x[2][48] = 3 38.51/12.16 c (3,0) x[2][49] = 3 38.51/12.16 c (3,0) x[2][50] = 0 38.51/12.16 c (3,0) x[2][51] = 7 38.51/12.16 c (3,0) x[2][52] = 5 38.51/12.16 c (3,0) x[2][53] = 6 38.51/12.16 c (3,0) x[2][54] = 1 38.51/12.16 c (3,0) x[2][55] = 8 38.51/12.16 c (3,0) x[2][56] = 0 38.51/12.16 c (3,0) x[2][57] = 8 38.51/12.16 c (3,0) x[2][58] = 2 38.51/12.16 c (3,0) x[2][59] = 1 38.51/12.16 c (3,0) x[2][60] = 3 38.51/12.16 c (3,0) x[2][61] = 4 38.51/12.16 c (3,0) x[2][62] = 5 38.51/12.16 c (3,0) x[3][0] = 3 38.51/12.16 c (3,0) x[3][1] = 4 38.51/12.16 c (3,0) x[3][2] = 1 38.51/12.16 c (3,0) x[3][3] = 8 38.51/12.16 c (3,0) x[3][4] = 2 38.51/12.16 c (3,0) x[3][5] = 7 38.51/12.16 c (3,0) x[3][6] = 6 38.51/12.16 c (3,0) x[3][7] = 1 38.51/12.16 c (3,0) x[3][8] = 7 38.51/12.16 c (3,0) x[3][9] = 5 38.51/12.16 c (3,0) x[3][10] = 8 38.51/12.16 c (3,0) x[3][11] = 3 38.51/12.16 c (3,0) x[3][12] = 0 38.51/12.16 c (3,0) x[3][13] = 2 38.51/12.16 c (3,0) x[3][14] = 5 38.51/12.16 c (3,0) x[3][15] = 7 38.51/12.16 c (3,0) x[3][16] = 2 38.51/12.16 c (3,0) x[3][17] = 6 38.51/12.16 c (3,0) x[3][18] = 4 38.51/12.16 c (3,0) x[3][19] = 8 38.51/12.16 c (3,0) x[3][20] = 1 38.51/12.16 c (3,0) x[3][21] = 7 38.51/12.16 c (3,0) x[3][22] = 3 38.51/12.16 c (3,0) x[3][23] = 8 38.51/12.16 c (3,0) x[3][24] = 1 38.51/12.16 c (3,0) x[3][25] = 0 38.51/12.16 c (3,0) x[3][26] = 6 38.51/12.16 c (3,0) x[3][27] = 5 38.51/12.16 c (3,0) x[3][28] = 2 38.51/12.16 c (3,0) x[3][29] = 1 38.51/12.16 c (3,0) x[3][30] = 3 38.51/12.16 c (3,0) x[3][31] = 6 38.51/12.16 c (3,0) x[3][32] = 5 38.51/12.16 c (3,0) x[3][33] = 4 38.51/12.16 c (3,0) x[3][34] = 0 38.51/12.16 c (3,0) x[3][35] = 4 38.51/12.16 c (3,0) x[3][36] = 0 38.51/12.16 c (3,0) x[3][37] = 1 38.51/12.16 c (3,0) x[3][38] = 2 38.51/12.16 c (3,0) x[3][39] = 6 38.51/12.16 c (3,0) x[3][40] = 7 38.51/12.16 c (3,0) x[3][41] = 3 38.51/12.17 c (3,0) x[3][42] = 0 38.51/12.17 c (3,0) x[3][43] = 6 38.51/12.17 c (3,0) x[3][44] = 8 38.51/12.17 c (3,0) x[3][45] = 4 38.51/12.17 c (3,0) x[3][46] = 5 38.51/12.17 c (3,0) x[3][47] = 3 38.51/12.17 c (3,0) x[3][48] = 2 38.51/12.17 c (3,0) x[3][49] = 5 38.51/12.17 c (3,0) x[3][50] = 0 38.51/12.17 c (3,0) x[3][51] = 4 38.51/12.17 c (3,0) x[3][52] = 7 38.51/12.17 c (3,0) x[3][53] = 2 38.51/12.17 c (3,0) x[3][54] = 1 38.51/12.17 c (3,0) x[3][55] = 8 38.51/12.17 c (3,0) x[3][56] = 8 38.51/12.17 c (3,0) x[3][57] = 7 38.51/12.17 c (3,0) x[3][58] = 5 38.51/12.17 c (3,0) x[3][59] = 0 38.51/12.17 c (3,0) x[3][60] = 3 38.51/12.17 c (3,0) x[3][61] = 6 38.51/12.17 c (3,0) x[3][62] = 4 38.51/12.17 s SATISFIABLE 38.51/12.18 v <instantiation> 38.51/12.18 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62]</list> 38.51/12.18 v <values>0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 2 2 2 2 2 3 3 3 3 3 3 3 4 4 4 4 4 4 4 5 5 5 5 5 5 5 6 6 6 6 6 6 6 7 7 7 7 7 7 7 8 8 8 8 8 8 8 0 2 4 5 6 7 8 0 1 2 4 5 6 7 1 3 4 5 6 7 8 0 1 2 3 5 6 7 0 1 2 3 4 7 8 0 1 2 3 4 5 8 0 1 3 5 6 7 8 0 2 3 4 5 6 8 1 2 3 4 6 7 8 0 2 4 7 5 6 1 6 7 1 2 5 8 0 4 3 7 8 6 1 2 1 2 3 0 4 7 5 2 8 4 5 6 3 7 4 3 7 8 0 2 6 5 6 4 1 0 8 3 3 0 7 5 6 1 8 0 8 2 1 3 4 5 3 4 1 8 2 7 6 1 7 5 8 3 0 2 5 7 2 6 4 8 1 7 3 8 1 0 6 5 2 1 3 6 5 4 0 4 0 1 2 6 7 3 0 6 8 4 5 3 2 5 0 4 7 2 1 8 8 7 5 0 3 6 4</values> 38.51/12.18 v </instantiation> 38.51/12.18 c (3,0) Show results End 38.51/12.18 c (3,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 38.51/12.18 c (3,0) 3,3,STOP-AFTER(ALL) 38.51/12.18 c END-Prog: Sat Sep 14 04:08:27 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15441 MiB free) memory of node 1: 16384 MiB (13445 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392351-1568426936/watcher-4392351-1568426936 -o /tmp/evaluation-result-4392351-1568426936/solver-4392351-1568426936 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392351-1568426936.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=1057, runsolver pid=1054 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 7.96 7.90 7.64 2/211 1079 /proc/meminfo: memFree=29483904/32770624 swapFree=66958236/67108860 [pid=1057] ppid=1054 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1057/stat : 1057 (scop.sh) S 1054 1057 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418630100 115843072 349 33554432000 4194304 5098028 140733839043040 140733839040296 139852633858684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10436608 140733839045413 140733839045740 140733839045740 140733839048653 0 /proc/1057/statm: 28282 349 296 221 0 87 0 [pid=1060] ppid=1057 vsize=27314120 memory=106436 CPUtime=0.1 cores=0-7 /proc/1060/stat : 1060 (java) S 1057 1057 1012 0 -1 1077944320 6198 0 0 0 8 2 0 0 20 0 20 0 418630100 27969658880 26609 33554432000 4194304 4196468 140726200456144 140726200438688 140049784278775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 /proc/1060/statm: 6828530 26609 2774 1 0 6790935 0 [pid=1060/tid=1061] ppid=1057 vsize=27314120 memory=-7024592270288534718 CPUtime=0.09 cores=0-7 /proc/1060/task/1061/stat : 1061 (java) R 1057 1057 1012 0 -1 4202560 4325 0 0 0 7 2 0 0 20 0 20 0 418630100 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049756103632 140049784290710 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1062] ppid=1057 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1060/task/1062/stat : 1062 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049788521104 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1063] ppid=1057 vsize=27314120 memory=139675511305856 CPUtime=0 cores=0-7 /proc/1060/task/1063/stat : 1063 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049556535824 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1064] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1064/stat : 1064 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049205856656 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1065] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1065/stat : 1065 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049204803856 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1066] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1066/stat : 1066 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049203752080 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1067] ppid=1057 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1060/task/1067/stat : 1067 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049202699280 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1068] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1068/stat : 1068 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049201646480 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1069] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1069/stat : 1069 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 26674 33554432000 4194304 4196468 140726200456144 140049200593680 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1070] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1070/stat : 1070 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630104 27969658880 26674 33554432000 4194304 4196468 140726200456144 140048419092848 140049784289922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1071] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1071/stat : 1071 (java) S 1057 1057 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418630105 27969658880 26674 33554432000 4194304 4196468 140726200456144 140047542117408 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1072] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1072/stat : 1072 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630105 27969658880 26674 33554432000 4194304 4196468 140726200456144 140047273681776 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1073] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1073/stat : 1073 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 26674 33554432000 4194304 4196468 140726200456144 140046899173200 140049784297371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1074] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1074/stat : 1074 (java) S 1057 1057 1012 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 26674 33554432000 4194304 4196468 140726200456144 140048418040688 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1075] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1075/stat : 1075 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 26674 33554432000 4194304 4196468 140726200456144 140048416987888 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1076] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1076/stat : 1076 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 26674 33554432000 4194304 4196468 140726200456144 140048415935088 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1077] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1077/stat : 1077 (java) S 1057 1057 1012 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 26674 33554432000 4194304 4196468 140726200456144 140048301287920 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1078] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1078/stat : 1078 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418630108 27969658880 26674 33554432000 4194304 4196468 140726200456144 140046401268320 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1079] ppid=1057 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1060/task/1079/stat : 1079 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630108 27969658880 26674 33554432000 4194304 4196468 140726200456144 140048300235312 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107832 KiB [startup+0.210412 s]* /proc/loadavg: 7.96 7.90 7.64 3/211 1079 /proc/meminfo: memFree=29465844/32770624 swapFree=66958236/67108860 [pid=1057] ppid=1054 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1057/stat : 1057 (scop.sh) S 1054 1057 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418630100 115843072 349 33554432000 4194304 5098028 140733839043040 140733839040296 139852633858684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10436608 140733839045413 140733839045740 140733839045740 140733839048653 0 /proc/1057/statm: 28282 349 296 221 0 87 0 [pid=1060] ppid=1057 vsize=27314120 memory=123232 CPUtime=0.24 cores=0-7 /proc/1060/stat : 1060 (java) S 1057 1057 1012 0 -1 1077944320 11243 0 0 0 20 4 0 0 20 0 20 0 418630100 27969658880 30808 33554432000 4194304 4196468 140726200456144 140726200438688 140049784278775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 /proc/1060/statm: 6828530 30808 2894 1 0 6790935 0 [pid=1060/tid=1061] ppid=1057 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7 /proc/1060/task/1061/stat : 1061 (java) R 1057 1057 1012 0 -1 4202560 8937 0 0 0 16 3 0 0 20 0 20 0 418630100 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049756083152 140049764554656 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1062] ppid=1057 vsize=27314120 memory=288230596118052887 CPUtime=0 cores=0-7 /proc/1060/task/1062/stat : 1062 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049788521104 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1063] ppid=1057 vsize=27314120 memory=139675514344421 CPUtime=0 cores=0-7 /proc/1060/task/1063/stat : 1063 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049556535824 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1064] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1064/stat : 1064 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049205856656 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1065] ppid=1057 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1060/task/1065/stat : 1065 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049204803856 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1066] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1066/stat : 1066 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049203752080 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1067] ppid=1057 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1060/task/1067/stat : 1067 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049202699280 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1068] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1068/stat : 1068 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049201646480 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1069] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1069/stat : 1069 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 30808 33554432000 4194304 4196468 140726200456144 140049200593680 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1070] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1070/stat : 1070 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630104 27969658880 30808 33554432000 4194304 4196468 140726200456144 140048419092848 140049784289922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1071] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1071/stat : 1071 (java) S 1057 1057 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418630105 27969658880 30808 33554432000 4194304 4196468 140726200456144 140047542117408 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1072] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1072/stat : 1072 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630105 27969658880 30808 33554432000 4194304 4196468 140726200456144 140047273681776 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1073] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1073/stat : 1073 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 30808 33554432000 4194304 4196468 140726200456144 140046899173200 140049784297371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1074] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1074/stat : 1074 (java) S 1057 1057 1012 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 30808 33554432000 4194304 4196468 140726200456144 140048418040688 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1075] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1075/stat : 1075 (java) S 1057 1057 1012 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 30808 33554432000 4194304 4196468 140726200456144 140048416987888 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1076] ppid=1057 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1060/task/1076/stat : 1076 (java) S 1057 1057 1012 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 30808 33554432000 4194304 4196468 140726200456144 140048415935088 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1077] ppid=1057 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/1060/task/1077/stat : 1077 (java) S 1057 1057 1012 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 20 0 418630107 27969658880 30808 33554432000 4194304 4196468 140726200456144 140048301287920 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1078] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1078/stat : 1078 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418630108 27969658880 30808 33554432000 4194304 4196468 140726200456144 140046401268320 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1079] ppid=1057 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1060/task/1079/stat : 1079 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630108 27969658880 30808 33554432000 4194304 4196468 140726200456144 140048300235312 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124628 KiB [startup+0.310267 s]* /proc/loadavg: 7.96 7.90 7.64 2/211 1079 /proc/meminfo: memFree=29462308/32770624 swapFree=66958236/67108860 [pid=1057] ppid=1054 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1057/stat : 1057 (scop.sh) S 1054 1057 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418630100 115843072 349 33554432000 4194304 5098028 140733839043040 140733839040296 139852633858684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10436608 140733839045413 140733839045740 140733839045740 140733839048653 0 /proc/1057/statm: 28282 349 296 221 0 87 0 [pid=1060] ppid=1057 vsize=27314120 memory=127652 CPUtime=0.42 cores=0-7 /proc/1060/stat : 1060 (java) S 1057 1057 1012 0 -1 1077944320 12237 0 0 0 37 5 0 0 20 0 20 0 418630100 27969658880 31913 33554432000 4194304 4196468 140726200456144 140726200438688 140049784278775 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 /proc/1060/statm: 6828530 31913 3032 1 0 6790935 0 [pid=1060/tid=1061] ppid=1057 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/1060/task/1061/stat : 1061 (java) R 1057 1057 1012 0 -1 4202560 9744 0 0 0 25 4 0 0 20 0 20 0 418630100 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049756108848 140049769444447 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1062] ppid=1057 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1060/task/1062/stat : 1062 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049788521104 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1063] ppid=1057 vsize=27314120 memory=2832 CPUtime=0 cores=0-7 /proc/1060/task/1063/stat : 1063 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049556535824 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1064] ppid=1057 vsize=27314120 memory=8000 CPUtime=0 cores=0-7 /proc/1060/task/1064/stat : 1064 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049205856656 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1065] ppid=1057 vsize=27314120 memory=10428 CPUtime=0 cores=0-7 /proc/1060/task/1065/stat : 1065 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049204803856 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1066] ppid=1057 vsize=27314120 memory=14012 CPUtime=0 cores=0-7 /proc/1060/task/1066/stat : 1066 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049203752080 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1067] ppid=1057 vsize=27314120 memory=4108 CPUtime=0 cores=0-7 /proc/1060/task/1067/stat : 1067 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049202699280 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1068] ppid=1057 vsize=27314120 memory=14080 CPUtime=0 cores=0-7 /proc/1060/task/1068/stat : 1068 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049201646480 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1069] ppid=1057 vsize=27314120 memory=21880 CPUtime=0 cores=0-7 /proc/1060/task/1069/stat : 1069 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27969658880 31913 33554432000 4194304 4196468 140726200456144 140049200593680 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1070] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1070/stat : 1070 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630104 27969658880 31913 33554432000 4194304 4196468 140726200456144 140048419092848 140049784289922 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1071] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1071/stat : 1071 (java) S 1057 1057 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418630105 27969658880 31913 33554432000 4194304 4196468 140726200456144 140047542117408 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1072] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1072/stat : 1072 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630105 27969658880 31913 33554432000 4194304 4196468 140726200456144 140047273681776 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1073] ppid=1057 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1073/stat : 1073 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 31913 33554432000 4194304 4196468 140726200456144 140046899173200 140049784297371 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1074] ppid=1057 vsize=27314120 memory=139675356464591 CPUtime=0.01 cores=0-7 /proc/1060/task/1074/stat : 1074 (java) S 1057 1057 1012 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 418630107 27969658880 31913 33554432000 4194304 4196468 140726200456144 140048418040688 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1075] ppid=1057 vsize=27314120 memory=67 CPUtime=0 cores=0-7 /proc/1060/task/1075/stat : 1075 (java) S 1057 1057 1012 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 418630107 27969658880 31913 33554432000 4194304 4196468 140726200456144 140048416987888 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1076] ppid=1057 vsize=27314120 memory=51172 CPUtime=0.01 cores=0-7 /proc/1060/task/1076/stat : 1076 (java) S 1057 1057 1012 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 20 0 418630107 27969658880 31913 33554432000 4194304 4196468 140726200456144 140048415935088 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1077] ppid=1057 vsize=27314120 memory=53476 CPUtime=0.07 cores=0-7 /proc/1060/task/1077/stat : 1077 (java) S 1057 1057 1012 0 -1 1077944384 533 0 0 0 7 0 0 0 20 0 20 0 418630107 27969658880 31913 33554432000 4194304 4196468 140726200456144 140048301287920 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1078] ppid=1057 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7 /proc/1060/task/1078/stat : 1078 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418630108 27969658880 31913 33554432000 4194304 4196468 140726200456144 140046401268320 140049784288981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1079] ppid=1057 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7 /proc/1060/task/1079/stat : 1079 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630108 27969658880 31913 33554432000 4194304 4196468 140726200456144 140048300235312 140049784289922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129048 KiB [startup+0.701022 s] /proc/loadavg: 7.96 7.90 7.64 2/211 1079 /proc/meminfo: memFree=29439092/32770624 swapFree=66958236/67108860 [pid=1057] ppid=1054 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1057/stat : 1057 (scop.sh) S 1054 1057 1012 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418630100 115843072 349 33554432000 4194304 5098028 140733839043040 140733839040296 139852633858684 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10436608 140733839045413 140733839045740 140733839045740 140733839048653 0 /proc/1057/statm: 28282 349 296 221 0 87 0 [pid=1060] ppid=1057 vsize=27320392 memory=165544 CPUtime=1 cores=0-7 /proc/1060/stat : 1060 (java) S 1057 1057 1012 0 -1 1077944320 19979 0 0 0 93 7 0 0 20 0 20 0 418630100 27976081408 41386 33554432000 4194304 4196468 140726200456144 140726200438688 140049784278775 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 /proc/1060/statm: 6830098 41386 3182 1 0 6791447 0 [pid=1060/tid=1061] ppid=1057 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7 /proc/1060/task/1061/stat : 1061 (java) R 1057 1057 1012 0 -1 4202560 16849 0 0 0 61 6 0 0 20 0 20 0 418630100 27976081408 41386 33554432000 4194304 4196468 140726200456144 140049756108912 140049764003820 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1062] ppid=1057 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1062/stat : 1062 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418630103 27976081408 41386 33554432000 4194304 4196468 140726200456144 140049788521104 140049784288981 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1063] ppid=1057 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/1060/task/1063/stat : 1063 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27976081408 41386 33554432000 4194304 4196468 140726200456144 140049556535824 140049784288981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 [pid=1060/tid=1064] ppid=1057 vsize=27320392 memory=2020 CPUtime=0 cores=0-7 /proc/1060/task/1064/stat : 1064 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418630103 27976081408 41386 33554432000 4194304 4196468 140726200456144 140049205856656 140049784288981 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34562048 140726200464108 140726200464534 140726200464534 140726200467407 0 ################ # More data... # ################ [pid=1080/tid=1082] ppid=1057 vsize=8414124 memory=10428 CPUtime=0 cores=0-7 /proc/1080/task/1082/stat : 1082 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418630960 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830813535376 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1083] ppid=1057 vsize=8414124 memory=7014751519616684130 CPUtime=0 cores=0-7 /proc/1080/task/1083/stat : 1083 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418630960 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830294293520 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1084] ppid=1057 vsize=8414124 memory=7524510467489355634 CPUtime=0 cores=0-7 /proc/1080/task/1084/stat : 1084 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418630960 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830293240720 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1085] ppid=1057 vsize=8414124 memory=7379799357230967920 CPUtime=0 cores=0-7 /proc/1080/task/1085/stat : 1085 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418630960 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830292187920 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1086] ppid=1057 vsize=8414124 memory=5937503940875796577 CPUtime=0 cores=0-7 /proc/1080/task/1086/stat : 1086 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418630960 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830291135120 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1087] ppid=1057 vsize=8414124 memory=7307188683208812392 CPUtime=0 cores=0-7 /proc/1080/task/1087/stat : 1087 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418630961 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830290082320 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1088] ppid=1057 vsize=8414124 memory=-9062862659931694204 CPUtime=0 cores=0-7 /proc/1080/task/1088/stat : 1088 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418630961 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830289029520 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1089] ppid=1057 vsize=8414124 memory=7681905605394137875 CPUtime=0 cores=0-7 /proc/1080/task/1089/stat : 1089 (java) S 1057 1057 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418630961 8616062976 29849 33554432000 4194304 4196468 140727297175360 139830287976720 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1090] ppid=1057 vsize=8414124 memory=-7449382998787278238 CPUtime=0 cores=0-7 /proc/1080/task/1090/stat : 1090 (java) S 1057 1057 1012 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 418630962 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829634374512 139830809303682 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1091] ppid=1057 vsize=8414124 memory=-7606742959547834223 CPUtime=0 cores=0-7 /proc/1080/task/1091/stat : 1091 (java) S 1057 1057 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418630962 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829438309920 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1092] ppid=1057 vsize=8414124 memory=4945125699554088323 CPUtime=0 cores=0-7 /proc/1080/task/1092/stat : 1092 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418630963 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829169874288 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1093] ppid=1057 vsize=8414124 memory=5795132591831344737 CPUtime=0 cores=0-7 /proc/1080/task/1093/stat : 1093 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418630965 8616062976 29849 33554432000 4194304 4196468 140727297175360 139828795365712 139830809311131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1094] ppid=1057 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/1080/task/1094/stat : 1094 (java) S 1057 1057 1012 0 -1 1077944384 609 0 0 0 6 0 0 0 20 0 24 0 418630965 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829633321328 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1095] ppid=1057 vsize=8414124 memory=0 CPUtime=0.05 cores=0-7 /proc/1080/task/1095/stat : 1095 (java) S 1057 1057 1012 0 -1 1077944384 279 0 0 0 5 0 0 0 20 0 24 0 418630965 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829632268528 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1096] ppid=1057 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7 /proc/1080/task/1096/stat : 1096 (java) S 1057 1057 1012 0 -1 1077944384 337 0 0 0 6 0 0 0 20 0 24 0 418630965 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829631215728 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1097] ppid=1057 vsize=8414124 memory=4068 CPUtime=0.21 cores=0-7 /proc/1080/task/1097/stat : 1097 (java) S 1057 1057 1012 0 -1 1077944384 796 0 0 0 21 0 0 0 20 0 24 0 418630965 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829630162928 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1098] ppid=1057 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/1080/task/1098/stat : 1098 (java) S 1057 1057 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418630965 8616062976 29849 33554432000 4194304 4196468 140727297175360 139828297460832 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1099] ppid=1057 vsize=8414124 memory=55 CPUtime=0 cores=0-7 /proc/1080/task/1099/stat : 1099 (java) S 1057 1057 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418630966 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829629111344 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1101] ppid=1057 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/1080/task/1101/stat : 1101 (java) S 1057 1057 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418631034 8616062976 29849 33554432000 4194304 4196468 140727297175360 139829621077568 139830809317145 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1103] ppid=1057 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/1080/task/1103/stat : 1103 (java) S 1057 1057 1012 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 418631034 8616062976 29849 33554432000 4194304 4196468 140727297175360 139827626360496 139830809314461 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1104] ppid=1057 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/1080/task/1104/stat : 1104 (java) S 1057 1057 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418631034 8616062976 29849 33554432000 4194304 4196468 140727297175360 139827894795824 139830809314461 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1105] ppid=1057 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/1080/task/1105/stat : 1105 (java) S 1057 1057 1012 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 418631036 8616062976 29849 33554432000 4194304 4196468 140727297175360 139827357932592 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 Current children cumulated CPU time: 35.7 s Current children cumulated vsize: 9327600 KiB Current children cumulated memory: 403480 KiB [startup+12.0019 s]* /proc/loadavg: 7.32 7.76 7.60 3/214 1113 /proc/meminfo: memFree=29459540/32770624 swapFree=66958236/67108860 [pid=1057] ppid=1054 vsize=113128 memory=1476 CPUtime=25.64 cores=0-7 /proc/1057/stat : 1057 (scop.sh) S 1054 1057 1012 0 -1 4202496 583 42854 0 0 0 0 2495 69 20 0 1 0 418630100 115843072 369 33554432000 4194304 5098028 140733839043040 140733839039784 139852633858684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10436608 140733839045413 140733839045740 140733839045740 140733839048653 0 /proc/1057/statm: 28282 369 311 221 0 87 0 [pid=1080] ppid=1057 vsize=8414124 memory=126388 CPUtime=12.67 cores=0-7 /proc/1080/stat : 1080 (java) S 1057 1057 1012 0 -1 1077944320 21543 58390 0 0 128 10 1099 30 20 0 23 0 418630959 8616062976 31597 33554432000 4194304 4196468 140727297175360 140727297157904 139830809292535 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 /proc/1080/statm: 2103531 31597 3208 1 0 2064875 0 [pid=1080/tid=1081] ppid=1057 vsize=8414124 memory=1398722017469774279 CPUtime=12.07 cores=0-7 /proc/1080/task/1081/stat : 1081 (java) S 1057 1057 1012 0 -1 1077944384 17450 58390 0 0 71 7 1099 30 20 0 23 0 418630959 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830781132704 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1082] ppid=1057 vsize=8414124 memory=4126316290023845779 CPUtime=11.29 cores=0-7 /proc/1080/task/1082/stat : 1082 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 23 0 418630960 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830813535376 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1083] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1083/stat : 1083 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 23 0 418630960 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830294293520 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1084] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1084/stat : 1084 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 23 0 418630960 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830293240720 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1085] ppid=1057 vsize=8414124 memory=1476 CPUtime=11.29 cores=0-7 /proc/1080/task/1085/stat : 1085 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 23 0 418630960 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830292187920 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1086] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1086/stat : 1086 (java) S 1057 1057 1012 0 -1 1077944384 3 58390 0 0 0 0 1099 30 20 0 23 0 418630960 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830291135120 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1087] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1087/stat : 1087 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 23 0 418630961 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830290082320 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1088] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1088/stat : 1088 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 23 0 418630961 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830289029520 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1089] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1089/stat : 1089 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 23 0 418630961 8616062976 31597 33554432000 4194304 4196468 140727297175360 139830287976720 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1090] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1090/stat : 1090 (java) S 1057 1057 1012 0 -1 1077944384 5 58390 0 0 0 0 1099 30 20 0 23 0 418630962 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829634374512 139830809303682 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1091] ppid=1057 vsize=8414124 memory=5787213827062911600 CPUtime=11.29 cores=0-7 /proc/1080/task/1091/stat : 1091 (java) S 1057 1057 1012 0 -1 1077944384 13 58390 0 0 0 0 1099 30 20 0 23 0 418630962 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829438309920 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1092] ppid=1057 vsize=8414124 memory=7668060493954181984 CPUtime=11.29 cores=0-7 /proc/1080/task/1092/stat : 1092 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 23 0 418630963 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829169874288 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1093] ppid=1057 vsize=8414124 memory=7307188708978421607 CPUtime=11.29 cores=0-7 /proc/1080/task/1093/stat : 1093 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 23 0 418630965 8616062976 31597 33554432000 4194304 4196468 140727297175360 139828795365712 139830809311131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1094] ppid=1057 vsize=8414124 memory=6944656591801717918 CPUtime=11.38 cores=0-7 /proc/1080/task/1094/stat : 1094 (java) R 1057 1057 1012 0 -1 4202560 627 58390 0 0 9 0 1099 30 20 0 23 0 418630965 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829633321328 139830802277577 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1095] ppid=1057 vsize=8414124 memory=7232886972902039648 CPUtime=11.36 cores=0-7 /proc/1080/task/1095/stat : 1095 (java) R 1057 1057 1012 0 -1 4202560 286 58390 0 0 7 0 1099 30 20 0 23 0 418630965 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829632268528 139830802277577 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1096] ppid=1057 vsize=8414124 memory=-7606742959547834223 CPUtime=11.37 cores=0-7 /proc/1080/task/1096/stat : 1096 (java) R 1057 1057 1012 0 -1 4202560 352 58390 0 0 8 0 1099 30 20 0 23 0 418630965 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829631215728 139830802277577 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1097] ppid=1057 vsize=8414124 memory=8562125494162282060 CPUtime=11.54 cores=0-7 /proc/1080/task/1097/stat : 1097 (java) S 1057 1057 1012 0 -1 1077944384 884 58390 0 0 25 0 1099 30 20 0 23 0 418630965 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829630162928 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1098] ppid=1057 vsize=8414124 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1098/stat : 1098 (java) S 1057 1057 1012 0 -1 1077944384 3 58390 0 0 0 0 1099 30 20 0 23 0 418630965 8616062976 31597 33554432000 4194304 4196468 140727297175360 139828297460832 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1099] ppid=1057 vsize=8414124 memory=139675356467503 CPUtime=11.29 cores=0-7 /proc/1080/task/1099/stat : 1099 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 23 0 418630966 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829629111344 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1101] ppid=1057 vsize=8414124 memory=-1 CPUtime=11.29 cores=0-7 /proc/1080/task/1101/stat : 1101 (java) S 1057 1057 1012 0 -1 1077944384 25 58390 0 0 0 0 1099 30 20 0 23 0 418631034 8616062976 31597 33554432000 4194304 4196468 140727297175360 139829621076752 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1103] ppid=1057 vsize=8414124 memory=8028911401163783697 CPUtime=11.34 cores=0-7 /proc/1080/task/1103/stat : 1103 (java) R 1057 1057 1012 0 -1 4202560 554 58390 0 0 5 0 1099 30 20 0 23 0 418631034 8616062976 31597 33554432000 4194304 4196468 140727297175360 139827626364768 139830809304470 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1105] ppid=1057 vsize=8414124 memory=279350713037664 CPUtime=11.29 cores=0-7 /proc/1080/task/1105/stat : 1105 (java) S 1057 1057 1012 0 -1 1077944384 7 58390 0 0 0 0 1099 30 20 0 23 0 418631036 8616062976 31597 33554432000 4194304 4196468 140727297175360 139827357932352 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 Current children cumulated CPU time: 38.31 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 127864 KiB [startup+12.1104 s] /proc/loadavg: 7.32 7.76 7.60 3/214 1113 /proc/meminfo: memFree=29459540/32770624 swapFree=66958236/67108860 [pid=1057] ppid=1054 vsize=113128 memory=1476 CPUtime=25.64 cores=0-7 /proc/1057/stat : 1057 (scop.sh) S 1054 1057 1012 0 -1 4202496 583 42854 0 0 0 0 2495 69 20 0 1 0 418630100 115843072 369 33554432000 4194304 5098028 140733839043040 140733839039784 139852633858684 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 10436608 140733839045413 140733839045740 140733839045740 140733839048653 0 /proc/1057/statm: 28282 369 311 221 0 87 0 [pid=1080] ppid=1057 vsize=8283048 memory=130300 CPUtime=12.87 cores=0-7 /proc/1080/stat : 1080 (java) S 1057 1057 1012 0 -1 1077944320 22029 58390 0 0 148 10 1099 30 20 0 22 0 418630959 8481841152 32575 33554432000 4194304 4196468 140727297175360 140727297157904 139830809292535 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 /proc/1080/statm: 2070762 32575 3218 1 0 2032106 0 [pid=1080/tid=1081] ppid=1057 vsize=8283048 memory=0 CPUtime=12.16 cores=0-7 /proc/1080/task/1081/stat : 1081 (java) R 1057 1057 1012 0 -1 4202560 17763 58390 0 0 80 7 1099 30 20 0 22 0 418630959 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830781130720 139830809304470 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1082] ppid=1057 vsize=8283048 memory=1476 CPUtime=11.29 cores=0-7 /proc/1080/task/1082/stat : 1082 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 22 0 418630960 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830813535376 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1083] ppid=1057 vsize=8283048 memory=119396 CPUtime=11.29 cores=0-7 /proc/1080/task/1083/stat : 1083 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 22 0 418630960 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830294293520 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1084] ppid=1057 vsize=8283048 memory=1556 CPUtime=11.29 cores=0-7 /proc/1080/task/1084/stat : 1084 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 22 0 418630960 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830293240720 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1085] ppid=1057 vsize=8283048 memory=1196 CPUtime=11.29 cores=0-7 /proc/1080/task/1085/stat : 1085 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 22 0 418630960 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830292187920 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1086] ppid=1057 vsize=8283048 memory=1044 CPUtime=11.29 cores=0-7 /proc/1080/task/1086/stat : 1086 (java) S 1057 1057 1012 0 -1 1077944384 3 58390 0 0 0 0 1099 30 20 0 22 0 418630960 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830291135120 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1087] ppid=1057 vsize=8283048 memory=712 CPUtime=11.29 cores=0-7 /proc/1080/task/1087/stat : 1087 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 22 0 418630961 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830290082320 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1088] ppid=1057 vsize=8283048 memory=2832 CPUtime=11.29 cores=0-7 /proc/1080/task/1088/stat : 1088 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 22 0 418630961 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830289029520 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1089] ppid=1057 vsize=8283048 memory=279350712812288 CPUtime=11.29 cores=0-7 /proc/1080/task/1089/stat : 1089 (java) S 1057 1057 1012 0 -1 1077944384 2 58390 0 0 0 0 1099 30 20 0 22 0 418630961 8481841152 32575 33554432000 4194304 4196468 140727297175360 139830287976720 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1090] ppid=1057 vsize=8283048 memory=0 CPUtime=11.29 cores=0-7 /proc/1080/task/1090/stat : 1090 (java) S 1057 1057 1012 0 -1 1077944384 5 58390 0 0 0 0 1099 30 20 0 22 0 418630962 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829634374512 139830809303682 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1091] ppid=1057 vsize=8283048 memory=139675356696288 CPUtime=11.29 cores=0-7 /proc/1080/task/1091/stat : 1091 (java) S 1057 1057 1012 0 -1 1077944384 13 58390 0 0 0 0 1099 30 20 0 22 0 418630962 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829438309920 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1092] ppid=1057 vsize=8283048 memory=1476 CPUtime=11.29 cores=0-7 /proc/1080/task/1092/stat : 1092 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 22 0 418630963 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829169874288 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1093] ppid=1057 vsize=8283048 memory=-4075877051373423744 CPUtime=11.29 cores=0-7 /proc/1080/task/1093/stat : 1093 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 22 0 418630965 8481841152 32575 33554432000 4194304 4196468 140727297175360 139828795365712 139830809311131 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1094] ppid=1057 vsize=8283048 memory=508 CPUtime=11.4 cores=0-7 /proc/1080/task/1094/stat : 1094 (java) R 1057 1057 1012 0 -1 1077944384 641 58390 0 0 11 0 1099 30 20 0 22 0 418630965 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829633321328 139830809304470 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1095] ppid=1057 vsize=8283048 memory=1560 CPUtime=11.38 cores=0-7 /proc/1080/task/1095/stat : 1095 (java) R 1057 1057 1012 0 -1 1077944384 297 58390 0 0 9 0 1099 30 20 0 22 0 418630965 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829632268528 139830809303682 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1096] ppid=1057 vsize=8283048 memory=0 CPUtime=11.39 cores=0-7 /proc/1080/task/1096/stat : 1096 (java) S 1057 1057 1012 0 -1 1077944384 363 58390 0 0 10 0 1099 30 20 0 22 0 418630965 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829631215728 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1097] ppid=1057 vsize=8283048 memory=6010167409508639850 CPUtime=11.59 cores=0-7 /proc/1080/task/1097/stat : 1097 (java) R 1057 1057 1012 0 -1 1077944384 1011 58390 0 0 30 0 1099 30 20 0 22 0 418630965 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829630160720 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1098] ppid=1057 vsize=8283048 memory=1476 CPUtime=11.29 cores=0-7 /proc/1080/task/1098/stat : 1098 (java) S 1057 1057 1012 0 -1 1077944384 3 58390 0 0 0 0 1099 30 20 0 22 0 418630965 8481841152 32575 33554432000 4194304 4196468 140727297175360 139828297460832 139830809302741 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1099] ppid=1057 vsize=8283048 memory=3612 CPUtime=11.29 cores=0-7 /proc/1080/task/1099/stat : 1099 (java) S 1057 1057 1012 0 -1 1077944384 1 58390 0 0 0 0 1099 30 20 0 22 0 418630966 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829629111344 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1101] ppid=1057 vsize=8283048 memory=40212 CPUtime=11.29 cores=0-7 /proc/1080/task/1101/stat : 1101 (java) S 1057 1057 1012 0 -1 1077944384 25 58390 0 0 0 0 1099 30 20 0 22 0 418631034 8481841152 32575 33554432000 4194304 4196468 140727297175360 139829621076752 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 [pid=1080/tid=1105] ppid=1057 vsize=8283048 memory=2020 CPUtime=11.29 cores=0-7 /proc/1080/task/1105/stat : 1105 (java) S 1057 1057 1012 0 -1 1077944384 13 58390 0 0 0 0 1099 30 20 0 22 0 418631036 8481841152 32575 33554432000 4194304 4196468 140727297175360 139827357934384 139830809303682 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38678528 140727297180664 140727297180822 140727297180822 140727297183695 0 Current children cumulated CPU time: 38.51 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 131776 KiB Child status: 0 Real time (s): 12.1921 CPU time (s): 38.6937 CPU user time (s): 37.5622 CPU system time (s): 1.13148 CPU usage (%): 317.368 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 3122844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.5622 system time used= 1.13148 maximum resident set size= 3126244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125769 page faults= 0 swaps= 0 block input operations= 0 block output operations= 16712 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 36200 involuntary context switches= 126 # summary of solver processes directly reported to runsolver: # pid: 1057 # total CPU time (s): 38.6937 # total CPU user time (s): 37.5622 # total CPU system time (s): 1.13148 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.130657 second user time and 0.168557 second system time The end
Begin job on node145 at 2019-09-14 04:08:14 IDJOB=4392351 IDBENCH=126480 IDSOLVER=2838 FILE ID=node145/4392351-1568426936 RUNJOBID= node145-1568426894-1040 PBS_JOBID= 21702291 Free space on /tmp= 59504 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-9-7-4-cp.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4392351-1568426936/watcher-4392351-1568426936 -o /tmp/evaluation-result-4392351-1568426936/solver-4392351-1568426936 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392351-1568426936.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6c7c8fee2fac051830782d16440ff60b RANDOM SEED=1955743417 node145.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.59 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.59 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.59 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.59 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: 29580392 kB MemAvailable: 31860888 kB Buffers: 129096 kB Cached: 2436380 kB SwapCached: 41016 kB Active: 1233656 kB Inactive: 1375424 kB Active(anon): 6444 kB Inactive(anon): 78420 kB Active(file): 1227212 kB Inactive(file): 1297004 kB Unevictable: 109668 kB Mlocked: 109668 kB SwapTotal: 67108860 kB SwapFree: 66958236 kB Dirty: 21368 kB Writeback: 0 kB AnonPages: 112744 kB Mapped: 43780 kB Shmem: 32364 kB Slab: 172068 kB SReclaimable: 144232 kB SUnreclaim: 27836 kB KernelStack: 3280 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497500 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59484 MiB End job on node145 at 2019-09-14 04:08:27