Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 893.112 | 725.697 |
Name | Subisomorphism/Subisomorphism-m1-si4-m4D/ Subisomorphism-si4-m4D-m625-05.xml |
MD5SUM | a06e274e1d637d430249b010d1ea7ff6 |
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 | 0.107886 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 900 |
Number of domains | 1 |
Minimum domain size | 625 |
Maximum domain size | 625 |
Distribution of domain sizes | [{"size":625,"count":250}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":7},{"degree":4,"count":20},{"degree":6,"count":53},{"degree":7,"count":38},{"degree":8,"count":61},{"degree":9,"count":58},{"degree":10,"count":13}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 250 |
Distribution of constraint arities | [{"arity":1,"count":223},{"arity":2,"count":676},{"arity":250,"count":1}] |
Number of extensional constraints | 899 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":899},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-8899-serial-file.bin HOME/instance-4392595-1568431495.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 05:26:41 CEST 2019 0.65/0.57 c PID: 8902 0.65/0.57 c IP: 172.20.3.139 0.65/0.57 c HOST: node139.alineos.net 0.65/0.58 c (0,0) Parsing Begin 2.28/1.18 c (0,0) Parsing End 2.28/1.18 c (0,0) CSP: 250 int (0 aux), 0 bool (0 aux), 900 ctr, max domain size 625 2.28/1.19 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.28/1.19 c (0,0) Constraint Name Generate Begin 2.57/1.20 c (0,0) Ctr:HOME/instance-4392595-1568431495.xml,AllDifferent:ExtensionConflict:ExtensionSupport:Var 2.57/1.20 c (0,0) Constraint Name Generate End 2.57/1.20 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 2.57/1.20 c (0,0) CSP to CSPinCNF Begin 58.21/43.58 c (43,41) translated 90 (10%) constraints 106.33/84.03 c (83,81) translated 180 (20%) constraints 163.37/125.69 c (125,120) translated 270 (30%) constraints 212.60/166.37 c (165,160) translated 360 (40%) constraints 265.53/209.15 c (208,201) translated 450 (50%) constraints 313.73/250.13 c (249,241) translated 540 (60%) constraints 358.80/290.31 c (289,280) translated 630 (70%) constraints 385.76/312.23 c (311,302) translated 720 (80%) constraints 387.61/312.71 c (312,302) translated 810 (90%) constraints 388.11/313.03 c (312,302) translated 900 (100%) constraints 388.11/313.03 c (312,302) =========================================== 389.84/314.68 c (314,304) Hybrid: #OE=422750, #LE=0 389.84/314.68 c (314,304) Hybrid 389.84/314.68 c (314,304) =========================================== 402.92/326.18 c (325,315) translated 544660 (10%) constraints 417.51/337.78 c (337,327) translated 1089320 (20%) constraints 429.02/349.22 c (348,338) translated 1633980 (30%) constraints 444.56/361.15 c (360,349) translated 2178640 (40%) constraints 455.97/372.59 c (372,361) translated 2723299 (50%) constraints 472.93/384.75 c (384,372) translated 3267959 (60%) constraints 484.33/396.16 c (395,384) translated 3812619 (70%) constraints 501.48/408.52 c (407,395) translated 4357279 (80%) constraints 512.78/419.85 c (419,407) translated 4901939 (90%) constraints 530.01/431.90 c (431,418) translated 5446598 (100%) constraints 530.01/431.90 c (431,418) CSP to CSPinCNF End 530.13/432.06 c (431,418) CSP: 250 int (0 aux), 422500 bool (422500 aux), 5446598 ctr, max domain size 625 530.13/432.06 c (431,418) Heap : 7960 MiB used (max 21686 MiB), NonHeap : 30 MiB used (max 0 MiB) 530.13/432.06 c (431,418) CSPinCNF Propagation Begin 618.43/489.82 c (489,472) 0 values, 68547 unsatisfiable literals, and 68042 valid clauses are removed 618.43/489.82 c (489,472) CSPinCNF Propagation End 618.53/489.97 c (489,472) CSP: 250 int (0 aux), 422500 bool (422500 aux), 5378556 ctr, max domain size 625 618.53/489.97 c (489,472) Heap : 9963 MiB used (max 21834 MiB), NonHeap : 31 MiB used (max 0 MiB) 619.80/491.19 c (490,473) Hybrid: #OE=422750, #LE=0 619.80/491.19 c (490,473) Simplify CSPinCNF Begin 640.61/501.69 c (501,482) Simplify CSPinCNF End 640.81/501.85 c (501,483) CSP: 250 int (0 aux), 484750 bool (484750 aux), 5440806 ctr, max domain size 625 640.81/501.85 c (501,483) Heap : 10368 MiB used (max 20889 MiB), NonHeap : 31 MiB used (max 0 MiB) 640.81/501.85 c (501,483) Calculate Precise Domain Begin 640.81/501.85 c (501,483) 0 values are removed by re-calculation 640.81/501.85 c (501,483) Calculate Precise Domain End 641.01/502.01 c (501,483) CSP: 250 int (0 aux), 484750 bool (484750 aux), 5440806 ctr, max domain size 625 641.01/502.01 c (501,483) Heap : 10368 MiB used (max 20889 MiB), NonHeap : 31 MiB used (max 0 MiB) 641.01/502.01 c (501,483) CSPinCNF to SatSolver Begin 803.66/653.36 c (652,626) 544081 (10 %) CSP clauses are encoded (0 SAT variables, 38780941 SAT clauses) 808.57/658.29 c (657,631) 1088162 (20 %) CSP clauses are encoded (0 SAT variables, 39325022 SAT clauses) 815.52/663.50 c (662,636) 1632242 (30 %) CSP clauses are encoded (0 SAT variables, 39869102 SAT clauses) 820.43/668.39 c (667,641) 2176323 (40 %) CSP clauses are encoded (0 SAT variables, 40413183 SAT clauses) 828.41/673.71 c (673,646) 2720403 (50 %) CSP clauses are encoded (0 SAT variables, 40957263 SAT clauses) 836.27/679.01 c (678,651) 3264484 (60 %) CSP clauses are encoded (0 SAT variables, 41501344 SAT clauses) 841.18/683.93 c (683,656) 3808565 (70 %) CSP clauses are encoded (0 SAT variables, 42045425 SAT clauses) 848.99/689.20 c (688,661) 4352645 (80 %) CSP clauses are encoded (0 SAT variables, 42589505 SAT clauses) 857.08/694.55 c (694,666) 4896726 (90 %) CSP clauses are encoded (0 SAT variables, 43133586 SAT clauses) 861.89/699.39 c (698,671) 5440806 (100 %) CSP clauses are encoded (0 SAT variables, 43677666 SAT clauses) 861.89/699.39 c (698,671) CSPinCNF to SatSolver End 861.89/699.39 c (698,671) Heap : 14641 MiB used (max 22154 MiB), NonHeap : 32 MiB used (max 0 MiB) 861.89/699.39 c (698,671) 638953 bool, 43677667 clause 861.89/699.39 c (698,671) Export Begin 862.18/699.51 c (698,671) Export to HOME/scop-8899-serial-file.bin 862.18/699.51 c (698,671) Export End 862.18/699.51 c (698,671) Export File Size: 0.05 MB 862.18/699.51 c (698,671) 0,0,431,489,501,501,698,STOP-AFTER(DIMACS) 862.18/699.51 c END-Prog: Sat Sep 14 05:38:20 CEST 2019 862.30/699.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-8899-serial-file.bin 862.30/700.06 c (0,0) Read Serial File Begin 862.30/700.06 c (0,0) HOME/scop-8899-serial-file.bin 863.09/700.29 c (0,0) Read Serial File End 863.28/700.31 863.28/700.31 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 863.28/700.31 (Solving Process) 863.28/700.31 863.28/700.33 c BEGIN-Prog: Sat Sep 14 05:38:20 CEST 2019 863.28/700.33 c PID: 8974 863.28/700.33 c IP: 172.20.3.139 863.28/700.33 c HOST: node139.alineos.net 863.28/700.33 c (0,0) SatSolver.solve Begin 863.28/700.33 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392595-1568431495.xml-scop-8902.cnf 863.28/700.36 c (0,0) c 863.28/700.36 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) 863.28/700.36 c (0,0) c 863.28/700.36 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 863.28/700.36 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 863.28/700.36 c (0,0) c ========================================[ Problem Statistics ]=========================================== 863.28/700.36 c (0,0) c | | 878.66/715.59 c (15,0) c | Number of variables: 638953 | 878.66/715.59 c (15,0) c | Number of clauses: 43677667 | 878.66/715.59 c (15,0) c | Parse time: 13.91 s | 878.66/715.59 c (15,0) c | | 881.16/718.04 c (18,0) c | Too many clauses... No preprocessing | 881.16/718.04 c (18,0) c | Simplification time: 2.17 s | 881.16/718.04 c (18,0) c | | 881.16/718.04 c (18,0) c | One Solver is taking 3241.08Mb... Let's take 2 solvers for this run (max 40% of the maxmemory). | 881.16/718.04 c (18,0) c | Generating clones | 882.06/718.96 c (18,0) c | all clones generated. Memory = 5202.04Mb. | 882.06/718.96 c (18,0) c ========================================================================================================| 882.06/718.96 c (18,0) c 882.06/718.96 c (18,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 882.06/718.96 c (18,0) c 882.06/718.96 c (18,0) c |-----------------------|------------|------------| 882.06/718.96 c (18,0) c | Threads | 0 | 1 | 882.06/718.96 c (18,0) c |-----------------------|------------|------------| 882.06/718.97 c (18,0) c | randomizeFirstDescent | False | True | 882.06/718.97 c (18,0) c | adaptStrategeis | True | False | 882.06/718.97 c (18,0) c | forceUnsatOnNewDescent| True | True | 882.06/718.97 c (18,0) c | Initial random_seed | 91648253 | 91648254 | 882.06/718.97 c (18,0) c | chanseokStrategy | False | False | 882.06/718.97 c (18,0) c | coLBDBound | 5 | 5 | 882.06/718.97 c (18,0) c | glureduce | True | True | 882.06/718.97 c (18,0) c | firstReduceDB | 2000 | 2000 | 882.06/718.97 c (18,0) c | incReduceDB | 300 | 300 | 882.06/718.97 c (18,0) c | luby_restart | False | False | 882.06/718.97 c (18,0) c | luby_restart_factor | 100 | 100 | 882.06/718.97 c (18,0) c | var_decay | 0.8000 | 0.8000 | 882.06/718.97 c (18,0) c | max_var_decay | 0.9500 | 0.9500 | 882.06/718.97 c (18,0) c | randomize_on_restarts | False | False | 882.06/718.97 c (18,0) c | remove_satisfied | True | True | 882.06/718.97 c (18,0) c |-----------------------|------------|------------| 891.67/725.00 c (25,0) c 891.67/725.00 c (25,0) c real time : 24.6407 s 891.67/725.00 c (25,0) c cpu time : 24.784 s 891.67/725.00 c (25,0) c 891.67/725.00 c (25,0) c 891.67/725.00 c (25,0) c 891.67/725.00 c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 891.67/725.00 c (25,0) c 891.67/725.00 c (25,0) c |---------------|-----------------|------------|------------| 891.67/725.00 c (25,0) c | Threads | Total | 0 | 1 | 891.67/725.00 c (25,0) c |---------------|-----------------|------------|------------| 891.67/725.00 c (25,0) c | Conflicts | 491 | 7 | 484 | 891.67/725.00 c (25,0) c | Decisions | 1096 | 150 | 946 | 891.67/725.00 c (25,0) c | Propagations | 4121680 | 1504942 | 2616738 | 891.67/725.00 c (25,0) c | ReduceDBs | 0 | 0 | 0 | 891.67/725.00 c (25,0) c | SimpDBs | 2 | 1 | 1 | 891.67/725.00 c (25,0) c | Restarts | 3 | 1 | 2 | 891.67/725.00 c (25,0) c | ForcedImports | 0 | 0 | 0 | 891.67/725.00 c (25,0) c | PropBinClauses| 3498863 | 957503 | 2541360 | 891.67/725.00 c (25,0) c | PropPreBlocker| 179573175 | 95193248 | 84379927 | 891.67/725.00 c (25,0) c | PropNotBlocker| 80313092 | 35877522 | 44435570 | 891.67/725.00 c (25,0) c | LitFullScans | 267946191 | 133250178 | 134696013 | 891.67/725.00 c (25,0) c | LitScanFracts | 54406 | 24250 | 30156 | 891.67/725.00 c (25,0) c | DecisionLevel0| 4 | 1 | 3 | 891.67/725.00 c (25,0) c | Periods | 44 | 22 | 22 | 891.67/725.00 c (25,0) c | Margin | 40 | 20 | 20 | 891.67/725.00 c (25,0) c | Avg_Trail | | 269362 | 17625 | 891.67/725.00 c (25,0) c | Avg_DL | | 26 | 16 | 891.67/725.00 c (25,0) c | Avg_Res | | 0 | 0 | 891.67/725.00 c (25,0) c | Avg_Res_Seen | | 0 | 0 | 891.67/725.00 c (25,0) c |---------------|-----------------|------------|------------| 891.67/725.00 c (25,0) c | Exported | 54 | 1 | 53 | 891.67/725.00 c (25,0) c | Imported | 0 | 0 | 0 | 891.67/725.00 c (25,0) c | Good | 0 | 0 | 0 | 891.67/725.00 c (25,0) c | Purge | 0 | 0 | 0 | 891.67/725.00 c (25,0) c | Promoted | 0 | 0 | 0 | 891.67/725.00 c (25,0) c | Remove_Imp | 0 | 0 | 0 | 891.67/725.00 c (25,0) c | Blocked_Reuse | 0 | 0 | 0 | 891.67/725.00 c (25,0) c |---------------|-----------------|------------|------------| 891.67/725.00 c (25,0) c | Unaries | | 0 | 1 | 891.67/725.00 c (25,0) c | Binaries | | 0 | 20 | 891.67/725.00 c (25,0) c | Glues | | 1 | 53 | 891.67/725.00 c (25,0) c |---------------|-----------------|------------|------------| 891.67/725.00 c (25,0) c | Orig_Seen | 0 % | 1360 | 25766 | 891.67/725.00 c (25,0) c | Diff Orig seen| | X | 24406 | 891.67/725.00 c (25,0) c | Hamming | 14 % | X | 90801 | 891.67/725.00 c (25,0) c |---------------|-----------------|------------|------------| 891.67/725.00 c (25,0) c | RunningTime | | 3.8 100%| 6.0 100%| 891.67/725.00 c (25,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 891.67/725.00 c (25,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 891.67/725.00 c (25,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 891.67/725.00 c (25,0) c | SolvingTime | | 3.8 | 6.0 | 891.67/725.00 c (25,0) c | PropagationTim| | 3.8 99%| 5.9 98%| 891.67/725.00 c (25,0) c | AnalysisTime | | 0.0 0%| 0.1 1%| 891.67/725.00 c (25,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 891.67/725.00 c (25,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 891.67/725.00 c (25,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 891.67/725.00 c (25,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 891.67/725.00 c (25,0) c |---------------|-----------------|------------|------------| 891.67/725.00 c (25,0) c 891.67/725.00 c (25,0) c 891.67/725.00 c (25,0) c Threads : 2 891.67/725.00 c (25,0) c Winner : 0 891.67/725.00 c (25,0) c Conflicts_0 : 7 891.67/725.00 c (25,0) c Conflicts_1 : 484 891.67/725.00 c (25,0) c Conflicts_total : 491 891.67/725.00 c (25,0) c Conflicts_winner : 7 891.67/725.00 c (25,0) c Decisions_0 : 150 891.67/725.00 c (25,0) c Decisions_1 : 946 891.67/725.00 c (25,0) c Decisions_total : 1096 891.67/725.00 c (25,0) c Decisions_winner : 150 891.67/725.00 c (25,0) c Propagations_0 : 1504942 891.67/725.00 c (25,0) c Propagations_1 : 2616738 891.67/725.00 c (25,0) c Propagations_total : 4121680 891.67/725.00 c (25,0) c Propagations_winner : 1504942 891.67/725.00 c (25,0) c ReduceDBs_0 : 0 891.67/725.00 c (25,0) c ReduceDBs_1 : 0 891.67/725.00 c (25,0) c ReduceDBs_total : 0 891.67/725.00 c (25,0) c ReduceDBs_winner : 0 891.67/725.00 c (25,0) c SimpDBs_0 : 1 891.67/725.00 c (25,0) c SimpDBs_1 : 1 891.67/725.00 c (25,0) c SimpDBs_total : 2 891.67/725.00 c (25,0) c SimpDBs_winner : 1 891.67/725.00 c (25,0) c Restarts_0 : 1 891.67/725.00 c (25,0) c Restarts_1 : 2 891.67/725.00 c (25,0) c Restarts_total : 3 891.67/725.00 c (25,0) c Restarts_winner : 1 891.67/725.00 c (25,0) c ForcedImports_0 : 0 891.67/725.00 c (25,0) c ForcedImports_1 : 0 891.67/725.00 c (25,0) c ForcedImports_total : 0 891.67/725.00 c (25,0) c ForcedImports_winner : 0 891.67/725.00 c (25,0) c PropsBinClauses_0 : 957503 891.67/725.00 c (25,0) c PropsBinClauses_1 : 2541360 891.67/725.00 c (25,0) c PropsBinClauses_total : 3498863 891.67/725.00 c (25,0) c PropsBinClauses_winner : 957503 891.67/725.00 c (25,0) c PropsPreBlocker_0 : 95193248 891.67/725.00 c (25,0) c PropsPreBlocker_1 : 84379927 891.67/725.00 c (25,0) c PropsPreBlocker_total : 179573175 891.67/725.00 c (25,0) c PropsPreBlocker_winner : 95193248 891.67/725.00 c (25,0) c PropsNotBlocker_0 : 35877522 891.67/725.00 c (25,0) c PropsNotBlocker_1 : 44435570 891.67/725.00 c (25,0) c PropsNotBlocker_total : 80313092 891.67/725.00 c (25,0) c PropsNotBlocker_winner : 35877522 891.67/725.00 c (25,0) c PropsLitFullScans_0 : 133250178 891.67/725.00 c (25,0) c PropsLitFullScans_1 : 134696013 891.67/725.00 c (25,0) c PropsLitFullScans_total : 267946191 891.67/725.00 c (25,0) c PropsLitFullScans_winner : 133250178 891.67/725.00 c (25,0) c LitScanFractions_0 : 24250 891.67/725.00 c (25,0) c LitScanFractions_1 : 30156 891.67/725.00 c (25,0) c LitScanFractions_total : 54406 891.67/725.00 c (25,0) c LitScanFractions_winner : 24250 891.67/725.00 c (25,0) c DecisionLevel0_0 : 1 891.67/725.00 c (25,0) c DecisionLevel0_1 : 3 891.67/725.00 c (25,0) c DecisionLevel0_total : 4 891.67/725.00 c (25,0) c DecisionLevel0_winner : 1 891.67/725.00 c (25,0) c Periods_0 : 22 891.67/725.00 c (25,0) c Periods_1 : 22 891.67/725.00 c (25,0) c Periods_total : 44 891.67/725.00 c (25,0) c Periods_winner : 22 891.67/725.00 c (25,0) c Margin_0 : 20 891.67/725.00 c (25,0) c Margin_1 : 20 891.67/725.00 c (25,0) c Margin_total : 40 891.67/725.00 c (25,0) c Margin_winner : 20 891.67/725.00 c (25,0) c Exported_0 : 1 891.67/725.00 c (25,0) c Exported_1 : 53 891.67/725.00 c (25,0) c Exported_total : 54 891.67/725.00 c (25,0) c Exported_winner : 1 891.67/725.00 c (25,0) c Imported_0 : 0 891.67/725.00 c (25,0) c Imported_1 : 0 891.67/725.00 c (25,0) c Imported_total : 0 891.67/725.00 c (25,0) c Imported_winner : 0 891.67/725.00 c (25,0) c Good_0 : 0 891.67/725.00 c (25,0) c Good_1 : 0 891.67/725.00 c (25,0) c Good_total : 0 891.67/725.00 c (25,0) c Good_winner : 0 891.67/725.00 c (25,0) c Purge_0 : 0 891.67/725.00 c (25,0) c Purge_1 : 0 891.67/725.00 c (25,0) c Purge_total : 0 891.67/725.00 c (25,0) c Purge_winner : 0 891.67/725.00 c (25,0) c Promoted_0 : 0 891.67/725.00 c (25,0) c Promoted_1 : 0 891.67/725.00 c (25,0) c Promoted_total : 0 891.67/725.00 c (25,0) c Promoted_winner : 0 891.67/725.00 c (25,0) c Remove_Imp_0 : 0 891.67/725.01 c (25,0) c Remove_Imp_1 : 0 891.67/725.01 c (25,0) c Remove_Imp_total : 0 891.67/725.01 c (25,0) c Remove_Imp_winner : 0 891.67/725.01 c (25,0) c Blocked_Reuse_0 : 0 891.67/725.01 c (25,0) c Blocked_Reuse_1 : 0 891.67/725.01 c (25,0) c Blocked_Reuse_total : 0 891.67/725.01 c (25,0) c Blocked_Reuse_winner : 0 891.67/725.01 c (25,0) c Unaries_0 : 0 891.67/725.01 c (25,0) c Unaries_1 : 1 891.67/725.01 c (25,0) c Unaries_total : 1 891.67/725.01 c (25,0) c Unaries_winner : 0 891.67/725.01 c (25,0) c Binaries_0 : 0 891.67/725.01 c (25,0) c Binaries_1 : 20 891.67/725.01 c (25,0) c Binaries_total : 20 891.67/725.01 c (25,0) c Binaries_winner : 0 891.67/725.01 c (25,0) c Glues_0 : 1 891.67/725.01 c (25,0) c Glues_1 : 53 891.67/725.01 c (25,0) c Glues_total : 54 891.67/725.01 c (25,0) c Glues_winner : 1 891.67/725.01 c (25,0) c RunningTime_0 : 3.805621 891.67/725.01 c (25,0) c RunningTime_1 : 6.011462 891.67/725.01 c (25,0) c RunningTime_total : 9.817084 891.67/725.01 c (25,0) c RunningTime_winner : 3.805621 891.67/725.01 c (25,0) c WaitingTime_0 : 0.000001 891.67/725.01 c (25,0) c WaitingTime_1 : 0.000002 891.67/725.01 c (25,0) c WaitingTime_total : 0.000003 891.67/725.01 c (25,0) c WaitingTime_winner : 0.000001 891.67/725.01 c (25,0) c ExchangingTime_0 : 0.000035 891.67/725.01 c (25,0) c ExchangingTime_1 : 0.000215 891.67/725.01 c (25,0) c ExchangingTime_total : 0.000250 891.67/725.01 c (25,0) c ExchangingTime_winner : 0.000035 891.67/725.01 c (25,0) c PeriodProcTime_0 : 0.000227 891.67/725.01 c (25,0) c PeriodProcTime_1 : 0.000237 891.67/725.01 c (25,0) c PeriodProcTime_total : 0.000465 891.67/725.01 c (25,0) c PeriodProcTime_winner : 0.000227 891.67/725.01 c (25,0) c SolvingTime_0 : 3.805885 891.67/725.01 c (25,0) c SolvingTime_1 : 6.011917 891.67/725.01 c (25,0) c SolvingTime_total : 9.817802 891.67/725.01 c (25,0) c SolvingTime_winner : 3.805885 891.67/725.01 c (25,0) c PropagationTime_0 : 3.785392 891.67/725.01 c (25,0) c PropagationTime_1 : 5.920182 891.67/725.01 c (25,0) c PropagationTime_total : 9.705575 891.67/725.01 c (25,0) c PropagationTime_winner : 3.785392 891.67/725.01 c (25,0) c AnalysisTime_0 : 0.005850 891.67/725.01 c (25,0) c AnalysisTime_1 : 0.051086 891.67/725.01 c (25,0) c AnalysisTime_total : 0.056936 891.67/725.01 c (25,0) c AnalysisTime_winner : 0.005850 891.67/725.01 c (25,0) c ReductionTime_0 : 0.000000 891.67/725.01 c (25,0) c ReductionTime_1 : 0.000000 891.67/725.01 c (25,0) c ReductionTime_total : 0.000000 891.67/725.01 c (25,0) c ReductionTime_winner : 0.000000 891.67/725.01 c (25,0) c SimplifyTime_0 : 0.000000 891.67/725.01 c (25,0) c SimplifyTime_1 : 0.000000 891.67/725.01 c (25,0) c SimplifyTime_total : 0.000000 891.67/725.01 c (25,0) c SimplifyTime_winner : 0.000000 891.67/725.01 c (25,0) c UsedRateTime_0 : 0.000000 891.67/725.01 c (25,0) c UsedRateTime_1 : 0.000000 891.67/725.01 c (25,0) c UsedRateTime_total : 0.000000 891.67/725.01 c (25,0) c UsedRateTime_winner : 0.000000 891.67/725.01 c (25,0) c OverlapRateTime_0 : 0.000000 891.67/725.01 c (25,0) c OverlapRateTime_1 : 0.000000 891.67/725.01 c (25,0) c OverlapRateTime_total : 0.000000 891.67/725.01 c (25,0) c OverlapRateTime_winner : 0.000000 891.67/725.01 c (25,0) c 891.67/725.01 c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 891.67/725.01 c (25,0) c 891.67/725.01 c (25,0) c |-----------------------|------------|------------| 891.67/725.01 c (25,0) c | Threads | 0 | 1 | 891.67/725.01 c (25,0) c |-----------------------|------------|------------| 891.67/725.01 c (25,0) c | randomizeFirstDescent | False | True | 891.67/725.01 c (25,0) c | adaptStrategeis | True | False | 891.67/725.01 c (25,0) c | forceUnsatOnNewDescent| True | True | 891.67/725.01 c (25,0) c | Initial random_seed | 74832923 | 1839248670 | 891.67/725.01 c (25,0) c | chanseokStrategy | False | False | 891.67/725.01 c (25,0) c | coLBDBound | 5 | 5 | 891.67/725.01 c (25,0) c | glureduce | True | True | 891.67/725.01 c (25,0) c | firstReduceDB | 2000 | 2000 | 891.67/725.01 c (25,0) c | incReduceDB | 300 | 300 | 891.67/725.01 c (25,0) c | luby_restart | False | False | 891.67/725.01 c (25,0) c | luby_restart_factor | 100 | 100 | 891.67/725.01 c (25,0) c | var_decay | 0.8000 | 0.8000 | 891.67/725.01 c (25,0) c | max_var_decay | 0.9500 | 0.9500 | 891.67/725.01 c (25,0) c | randomize_on_restarts | False | False | 891.67/725.01 c (25,0) c | remove_satisfied | True | True | 891.67/725.01 c (25,0) c |-----------------------|------------|------------| 891.67/725.01 c (25,0) 891.67/725.01 c (25,0) s SATISFIABLE 863.95/725.38 c (25,0) SatSolver.solve End 863.95/725.38 c (25,0) Heap : 242 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 863.95/725.38 c (25,0) Show results Begin 892.82/725.53 c (25,0) x[0] = 0 892.82/725.53 c (25,0) x[1] = 82 892.82/725.53 c (25,0) x[2] = 86 892.82/725.53 c (25,0) x[3] = 388 892.82/725.53 c (25,0) x[4] = 498 892.82/725.53 c (25,0) x[5] = 258 892.82/725.53 c (25,0) x[6] = 312 892.82/725.53 c (25,0) x[7] = 406 892.82/725.53 c (25,0) x[8] = 416 892.82/725.53 c (25,0) x[9] = 520 892.82/725.53 c (25,0) x[10] = 120 892.82/725.53 c (25,0) x[11] = 325 892.82/725.53 c (25,0) x[12] = 429 892.82/725.53 c (25,0) x[13] = 185 892.82/725.53 c (25,0) x[14] = 43 892.82/725.53 c (25,0) x[15] = 145 892.82/725.53 c (25,0) x[16] = 180 892.82/725.53 c (25,0) x[17] = 233 892.82/725.53 c (25,0) x[18] = 396 892.82/725.53 c (25,0) x[19] = 70 892.82/725.53 c (25,0) x[20] = 187 892.82/725.53 c (25,0) x[21] = 311 892.82/725.53 c (25,0) x[22] = 403 892.82/725.53 c (25,0) x[23] = 254 892.82/725.53 c (25,0) x[24] = 322 892.82/725.53 c (25,0) x[25] = 379 892.82/725.53 c (25,0) x[26] = 492 892.82/725.53 c (25,0) x[27] = 168 892.82/725.53 c (25,0) x[28] = 320 892.82/725.53 c (25,0) x[29] = 378 892.82/725.53 c (25,0) x[30] = 604 892.82/725.53 c (25,0) x[31] = 42 892.82/725.53 c (25,0) x[32] = 256 892.82/725.53 c (25,0) x[33] = 428 892.82/725.53 c (25,0) x[34] = 462 892.82/725.53 c (25,0) x[35] = 616 892.82/725.53 c (25,0) x[36] = 24 892.82/725.53 c (25,0) x[37] = 39 892.82/725.53 c (25,0) x[38] = 230 892.82/725.53 c (25,0) x[39] = 74 892.82/725.53 c (25,0) x[40] = 227 892.82/725.53 c (25,0) x[41] = 335 892.82/725.53 c (25,0) x[42] = 270 892.82/725.53 c (25,0) x[43] = 375 892.82/725.53 c (25,0) x[44] = 263 892.82/725.53 c (25,0) x[45] = 89 892.82/725.53 c (25,0) x[46] = 303 892.82/725.53 c (25,0) x[47] = 503 892.82/725.53 c (25,0) x[48] = 527 892.82/725.53 c (25,0) x[49] = 338 892.82/725.53 c (25,0) x[50] = 476 892.82/725.53 c (25,0) x[51] = 319 892.82/725.53 c (25,0) x[52] = 573 892.82/725.53 c (25,0) x[53] = 76 892.82/725.53 c (25,0) x[54] = 511 892.82/725.53 c (25,0) x[55] = 152 892.82/725.53 c (25,0) x[56] = 279 892.82/725.53 c (25,0) x[57] = 434 892.82/725.53 c (25,0) x[58] = 352 892.82/725.53 c (25,0) x[59] = 333 892.82/725.53 c (25,0) x[60] = 602 892.82/725.53 c (25,0) x[61] = 176 892.82/725.53 c (25,0) x[62] = 308 892.82/725.53 c (25,0) x[63] = 64 892.82/725.53 c (25,0) x[64] = 437 892.82/725.53 c (25,0) x[65] = 471 892.82/725.53 c (25,0) x[66] = 596 892.82/725.53 c (25,0) x[67] = 58 892.82/725.53 c (25,0) x[68] = 205 892.82/725.53 c (25,0) x[69] = 236 892.82/725.53 c (25,0) x[70] = 93 892.82/725.53 c (25,0) x[71] = 156 892.82/725.53 c (25,0) x[72] = 535 892.82/725.53 c (25,0) x[73] = 31 892.82/725.53 c (25,0) x[74] = 350 892.82/725.53 c (25,0) x[75] = 472 892.82/725.53 c (25,0) x[76] = 108 892.82/725.53 c (25,0) x[77] = 487 892.82/725.53 c (25,0) x[78] = 386 892.82/725.53 c (25,0) x[79] = 103 892.82/725.53 c (25,0) x[80] = 151 892.82/725.53 c (25,0) x[81] = 570 892.82/725.53 c (25,0) x[82] = 368 892.82/725.53 c (25,0) x[83] = 580 892.82/725.53 c (25,0) x[84] = 344 892.82/725.53 c (25,0) x[85] = 455 892.82/725.53 c (25,0) x[86] = 15 892.82/725.53 c (25,0) x[87] = 215 892.82/725.53 c (25,0) x[88] = 347 892.82/725.53 c (25,0) x[89] = 362 892.82/725.53 c (25,0) x[90] = 415 892.82/725.53 c (25,0) x[91] = 494 892.82/725.53 c (25,0) x[92] = 47 892.82/725.53 c (25,0) x[93] = 295 892.82/725.53 c (25,0) x[94] = 479 892.82/725.53 c (25,0) x[95] = 52 892.82/725.53 c (25,0) x[96] = 26 892.82/725.53 c (25,0) x[97] = 447 892.82/725.53 c (25,0) x[98] = 104 892.82/725.53 c (25,0) x[99] = 558 892.82/725.53 c (25,0) x[100] = 474 892.82/725.53 c (25,0) x[101] = 507 892.82/725.53 c (25,0) x[102] = 404 892.82/725.53 c (25,0) x[103] = 433 892.82/725.53 c (25,0) x[104] = 623 892.82/725.53 c (25,0) x[105] = 484 892.82/725.53 c (25,0) x[106] = 525 892.82/725.53 c (25,0) x[107] = 617 892.82/725.53 c (25,0) x[108] = 193 892.82/725.53 c (25,0) x[109] = 56 892.82/725.53 c (25,0) x[110] = 65 892.82/725.53 c (25,0) x[111] = 414 892.82/725.53 c (25,0) x[112] = 442 892.82/725.53 c (25,0) x[113] = 11 892.82/725.53 c (25,0) x[114] = 480 892.82/725.53 c (25,0) x[115] = 555 892.82/725.53 c (25,0) x[116] = 470 892.82/725.53 c (25,0) x[117] = 543 892.82/725.53 c (25,0) x[118] = 77 892.82/725.53 c (25,0) x[119] = 243 892.82/725.53 c (25,0) x[120] = 369 892.82/725.53 c (25,0) x[121] = 191 892.82/725.53 c (25,0) x[122] = 618 892.82/725.53 c (25,0) x[123] = 149 892.82/725.53 c (25,0) x[124] = 345 892.82/725.53 c (25,0) x[125] = 336 892.82/725.53 c (25,0) x[126] = 561 892.82/725.53 c (25,0) x[127] = 25 892.82/725.53 c (25,0) x[128] = 54 892.82/725.53 c (25,0) x[129] = 274 892.82/725.53 c (25,0) x[130] = 430 892.82/725.53 c (25,0) x[131] = 544 892.82/725.53 c (25,0) x[132] = 242 892.82/725.53 c (25,0) x[133] = 244 892.82/725.53 c (25,0) x[134] = 16 892.82/725.53 c (25,0) x[135] = 33 892.82/725.53 c (25,0) x[136] = 300 892.82/725.53 c (25,0) x[137] = 376 892.82/725.53 c (25,0) x[138] = 486 892.82/725.53 c (25,0) x[139] = 123 892.82/725.53 c (25,0) x[140] = 179 892.82/725.53 c (25,0) x[141] = 473 892.82/725.53 c (25,0) x[142] = 261 892.82/725.53 c (25,0) x[143] = 622 892.82/725.53 c (25,0) x[144] = 121 892.82/725.53 c (25,0) x[145] = 167 892.82/725.53 c (25,0) x[146] = 475 892.82/725.53 c (25,0) x[147] = 539 892.82/725.53 c (25,0) x[148] = 582 892.82/725.53 c (25,0) x[149] = 80 892.82/725.53 c (25,0) x[150] = 101 892.82/725.53 c (25,0) x[151] = 161 892.82/725.53 c (25,0) x[152] = 326 892.82/725.53 c (25,0) x[153] = 252 892.82/725.53 c (25,0) x[154] = 318 892.82/725.53 c (25,0) x[155] = 342 892.82/725.53 c (25,0) x[156] = 355 892.82/725.53 c (25,0) x[157] = 427 892.82/725.53 c (25,0) x[158] = 37 892.82/725.53 c (25,0) x[159] = 466 892.82/725.53 c (25,0) x[160] = 248 892.82/725.53 c (25,0) x[161] = 446 892.82/725.53 c (25,0) x[162] = 540 892.82/725.53 c (25,0) x[163] = 489 892.82/725.53 c (25,0) x[164] = 409 892.82/725.53 c (25,0) x[165] = 567 892.82/725.53 c (25,0) x[166] = 63 892.82/725.53 c (25,0) x[167] = 217 892.82/725.53 c (25,0) x[168] = 560 892.82/725.53 c (25,0) x[169] = 136 892.82/725.53 c (25,0) x[170] = 353 892.82/725.53 c (25,0) x[171] = 523 892.82/725.53 c (25,0) x[172] = 321 892.82/725.53 c (25,0) x[173] = 384 892.82/725.53 c (25,0) x[174] = 88 892.82/725.53 c (25,0) x[175] = 290 892.82/725.53 c (25,0) x[176] = 436 892.82/725.53 c (25,0) x[177] = 611 892.82/725.53 c (25,0) x[178] = 365 892.82/725.53 c (25,0) x[179] = 400 892.82/725.53 c (25,0) x[180] = 159 892.82/725.53 c (25,0) x[181] = 444 892.82/725.53 c (25,0) x[182] = 8 892.82/725.53 c (25,0) x[183] = 272 892.82/725.53 c (25,0) x[184] = 231 892.82/725.53 c (25,0) x[185] = 599 892.82/725.53 c (25,0) x[186] = 586 892.82/725.53 c (25,0) x[187] = 372 892.82/725.53 c (25,0) x[188] = 536 892.82/725.53 c (25,0) x[189] = 387 892.82/725.53 c (25,0) x[190] = 419 892.82/725.53 c (25,0) x[191] = 87 892.82/725.53 c (25,0) x[192] = 615 892.82/725.53 c (25,0) x[193] = 621 892.82/725.53 c (25,0) x[194] = 28 892.82/725.53 c (25,0) x[195] = 229 892.82/725.53 c (25,0) x[196] = 504 892.82/725.53 c (25,0) x[197] = 496 892.82/725.53 c (25,0) x[198] = 497 892.82/725.53 c (25,0) x[199] = 153 892.82/725.53 c (25,0) x[200] = 408 892.82/725.53 c (25,0) x[201] = 213 892.82/725.53 c (25,0) x[202] = 299 892.82/725.53 c (25,0) x[203] = 381 892.82/725.53 c (25,0) x[204] = 184 892.82/725.53 c (25,0) x[205] = 394 892.82/725.53 c (25,0) x[206] = 304 892.82/725.53 c (25,0) x[207] = 111 892.82/725.53 c (25,0) x[208] = 49 892.82/725.53 c (25,0) x[209] = 518 892.82/725.53 c (25,0) x[210] = 48 892.82/725.53 c (25,0) x[211] = 339 892.82/725.53 c (25,0) x[212] = 488 892.82/725.53 c (25,0) x[213] = 485 892.82/725.53 c (25,0) x[214] = 499 892.82/725.53 c (25,0) x[215] = 247 892.82/725.53 c (25,0) x[216] = 59 892.82/725.53 c (25,0) x[217] = 147 892.82/725.53 c (25,0) x[218] = 351 892.82/725.53 c (25,0) x[219] = 502 892.82/725.53 c (25,0) x[220] = 163 892.82/725.53 c (25,0) x[221] = 514 892.82/725.53 c (25,0) x[222] = 40 892.82/725.53 c (25,0) x[223] = 450 892.82/725.53 c (25,0) x[224] = 590 892.82/725.53 c (25,0) x[225] = 495 892.82/725.53 c (25,0) x[226] = 255 892.82/725.53 c (25,0) x[227] = 53 892.82/725.53 c (25,0) x[228] = 493 892.82/725.53 c (25,0) x[229] = 574 892.82/725.53 c (25,0) x[230] = 324 892.82/725.53 c (25,0) x[231] = 424 892.82/725.54 c (25,0) x[232] = 198 892.82/725.54 c (25,0) x[233] = 44 892.82/725.54 c (25,0) x[234] = 45 892.82/725.54 c (25,0) x[235] = 262 892.82/725.54 c (25,0) x[236] = 392 892.82/725.54 c (25,0) x[237] = 614 892.82/725.54 c (25,0) x[238] = 23 892.82/725.54 c (25,0) x[239] = 155 892.82/725.54 c (25,0) x[240] = 310 892.82/725.54 c (25,0) x[241] = 139 892.82/725.54 c (25,0) x[242] = 112 892.82/725.54 c (25,0) x[243] = 385 892.82/725.54 c (25,0) x[244] = 359 892.82/725.54 c (25,0) x[245] = 453 892.82/725.54 c (25,0) x[246] = 354 892.82/725.54 c (25,0) x[247] = 190 892.82/725.54 c (25,0) x[248] = 348 892.82/725.54 c (25,0) x[249] = 71 892.82/725.54 s SATISFIABLE 892.82/725.54 v <instantiation> 892.82/725.54 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249]</list> 892.82/725.54 v <values>0 82 86 388 498 258 312 406 416 520 120 325 429 185 43 145 180 233 396 70 187 311 403 254 322 379 492 168 320 378 604 42 256 428 462 616 24 39 230 74 227 335 270 375 263 89 303 503 527 338 476 319 573 76 511 152 279 434 352 333 602 176 308 64 437 471 596 58 205 236 93 156 535 31 350 472 108 487 386 103 151 570 368 580 344 455 15 215 347 362 415 494 47 295 479 52 26 447 104 558 474 507 404 433 623 484 525 617 193 56 65 414 442 11 480 555 470 543 77 243 369 191 618 149 345 336 561 25 54 274 430 544 242 244 16 33 300 376 486 123 179 473 261 622 121 167 475 539 582 80 101 161 326 252 318 342 355 427 37 466 248 446 540 489 409 567 63 217 560 136 353 523 321 384 88 290 436 611 365 400 159 444 8 272 231 599 586 372 536 387 419 87 615 621 28 229 504 496 497 153 408 213 299 381 184 394 304 111 49 518 48 339 488 485 499 247 59 147 351 502 163 514 40 450 590 495 255 53 493 574 324 424 198 44 45 262 392 614 23 155 310 139 112 385 359 453 354 190 348 71</values> 892.82/725.54 v </instantiation> 892.82/725.54 c (25,0) Show results End 892.82/725.55 c (25,0) Heap : 262 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 892.82/725.55 c (25,0) 25,25,STOP-AFTER(ALL) 892.82/725.55 c END-Prog: Sat Sep 14 05:38:46 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 (14127 MiB free) memory of node 1: 16384 MiB (15614 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392595-1568431495/watcher-4392595-1568431495 -o /tmp/evaluation-result-4392595-1568431495/solver-4392595-1568431495 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568428877-7245 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392595-1568431495.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=8899, runsolver pid=8896 [startup+0.100112 s]* /proc/loadavg: 6.45 7.48 7.81 3/209 8921 /proc/meminfo: memFree=30360252/32770624 swapFree=66932112/67108860 [pid=8899] ppid=8896 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8899/stat : 8899 (scop.sh) S 8896 8899 7218 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419417471 115843072 349 33554432000 4194304 5098028 140733117234256 140733117231512 139821139010172 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12013568 140733117240100 140733117240428 140733117240428 140733117243341 0 /proc/8899/statm: 28282 349 296 221 0 87 0 [pid=8902] ppid=8899 vsize=27314120 memory=106612 CPUtime=0.1 cores=0-7 /proc/8902/stat : 8902 (java) S 8899 8899 7218 0 -1 1077944320 6160 0 0 0 8 2 0 0 20 0 20 0 419417471 27969658880 26653 33554432000 4194304 4196468 140732400464656 140732400447200 139722279558903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 /proc/8902/statm: 6828530 26653 2817 1 0 6790935 0 [pid=8902/tid=8903] ppid=8899 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/8902/task/8903/stat : 8903 (java) R 8899 8899 7218 0 -1 4202560 4253 0 0 0 7 2 0 0 20 0 20 0 419417471 27969658880 26653 33554432000 4194304 4196468 140732400464656 139722251385232 139722259091329 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8904] ppid=8899 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8902/task/8904/stat : 8904 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139722283800976 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8905] ppid=8899 vsize=27314120 memory=140500569040512 CPUtime=0 cores=0-7 /proc/8902/task/8905/stat : 8905 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139722067196176 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8906] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8906/stat : 8906 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139722066143888 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8907] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8907/stat : 8907 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721699219984 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8908] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8908/stat : 8908 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721698167696 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8909] ppid=8899 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8902/task/8909/stat : 8909 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721697114896 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8910] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8910/stat : 8910 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721696062608 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8911] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8911/stat : 8911 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721695009808 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8912] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8912/stat : 8912 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417475 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721270319216 139722279570050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8913] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8913/stat : 8913 (java) S 8899 8899 7218 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419417476 27969658880 26653 33554432000 4194304 4196468 140732400464656 139720252187424 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8914] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8914/stat : 8914 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417476 27969658880 26653 33554432000 4194304 4196468 140732400464656 139719983752304 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8915] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8915/stat : 8915 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 26653 33554432000 4194304 4196468 140732400464656 139719609243728 139722279577499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8916] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8916/stat : 8916 (java) S 8899 8899 7218 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721269267056 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8917] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8917/stat : 8917 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721268214256 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8918] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8918/stat : 8918 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721267161968 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8919] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8919/stat : 8919 (java) S 8899 8899 7218 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721266109168 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8920] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8920/stat : 8920 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 26653 33554432000 4194304 4196468 140732400464656 139719111338336 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8921] ppid=8899 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8902/task/8921/stat : 8921 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 26653 33554432000 4194304 4196468 140732400464656 139721265056048 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108008 KiB [startup+0.210045 s]* /proc/loadavg: 6.45 7.48 7.81 3/209 8921 /proc/meminfo: memFree=30339444/32770624 swapFree=66932112/67108860 [pid=8899] ppid=8896 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8899/stat : 8899 (scop.sh) S 8896 8899 7218 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419417471 115843072 349 33554432000 4194304 5098028 140733117234256 140733117231512 139821139010172 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12013568 140733117240100 140733117240428 140733117240428 140733117243341 0 /proc/8899/statm: 28282 349 296 221 0 87 0 [pid=8902] ppid=8899 vsize=27314120 memory=125684 CPUtime=0.24 cores=0-7 /proc/8902/stat : 8902 (java) S 8899 8899 7218 0 -1 1077944320 11760 0 0 0 20 4 0 0 20 0 20 0 419417471 27969658880 31421 33554432000 4194304 4196468 140732400464656 140732400447200 139722279558903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 /proc/8902/statm: 6828530 31421 2927 1 0 6790935 0 [pid=8902/tid=8903] ppid=8899 vsize=27314120 memory=29681743523217448 CPUtime=0.2 cores=0-7 /proc/8902/task/8903/stat : 8903 (java) R 8899 8899 7218 0 -1 4202560 9475 0 0 0 16 4 0 0 20 0 20 0 419417471 27969658880 31421 33554432000 4194304 4196468 140732400464656 139722251358288 139722259834120 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8904] ppid=8899 vsize=27314120 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/8902/task/8904/stat : 8904 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139722283800976 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8905] ppid=8899 vsize=27314120 memory=15393150130857624 CPUtime=0 cores=0-7 /proc/8902/task/8905/stat : 8905 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139722067196176 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8906] ppid=8899 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8902/task/8906/stat : 8906 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139722066143888 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8907] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8907/stat : 8907 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721699219984 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8908] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8908/stat : 8908 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721698167696 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8909] ppid=8899 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8902/task/8909/stat : 8909 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721697114896 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8910] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8910/stat : 8910 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721696062608 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8911] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8911/stat : 8911 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721695009808 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8912] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8912/stat : 8912 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417475 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721270319216 139722279570050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8913] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8913/stat : 8913 (java) S 8899 8899 7218 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419417476 27969658880 31421 33554432000 4194304 4196468 140732400464656 139720252187424 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8914] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8914/stat : 8914 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417476 27969658880 31421 33554432000 4194304 4196468 140732400464656 139719983752304 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8915] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8915/stat : 8915 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 31421 33554432000 4194304 4196468 140732400464656 139719609243728 139722279577499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8916] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8916/stat : 8916 (java) S 8899 8899 7218 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721269267056 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8917] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8917/stat : 8917 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721268214256 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8918] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8918/stat : 8918 (java) S 8899 8899 7218 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721267161968 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8919] ppid=8899 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/8902/task/8919/stat : 8919 (java) S 8899 8899 7218 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 419417479 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721266109168 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8920] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8920/stat : 8920 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 31421 33554432000 4194304 4196468 140732400464656 139719111338336 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8921] ppid=8899 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8902/task/8921/stat : 8921 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 31421 33554432000 4194304 4196468 140732400464656 139721265056048 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127080 KiB [startup+0.309242 s]* /proc/loadavg: 6.45 7.48 7.81 2/209 8921 /proc/meminfo: memFree=30336156/32770624 swapFree=66932112/67108860 [pid=8899] ppid=8896 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8899/stat : 8899 (scop.sh) S 8896 8899 7218 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419417471 115843072 349 33554432000 4194304 5098028 140733117234256 140733117231512 139821139010172 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12013568 140733117240100 140733117240428 140733117240428 140733117243341 0 /proc/8899/statm: 28282 349 296 221 0 87 0 [pid=8902] ppid=8899 vsize=27314120 memory=129820 CPUtime=0.42 cores=0-7 /proc/8902/stat : 8902 (java) S 8899 8899 7218 0 -1 1077944320 12288 0 0 0 37 5 0 0 20 0 20 0 419417471 27969658880 32455 33554432000 4194304 4196468 140732400464656 140732400447200 139722279558903 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 /proc/8902/statm: 6828530 32455 3063 1 0 6790935 0 [pid=8902/tid=8903] ppid=8899 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/8902/task/8903/stat : 8903 (java) R 8899 8899 7218 0 -1 4202560 9788 0 0 0 25 4 0 0 20 0 20 0 419417471 27969658880 32455 33554432000 4194304 4196468 140732400464656 139722251388816 139722261122400 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8904] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8904/stat : 8904 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139722283800976 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8905] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8905/stat : 8905 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139722067196176 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8906] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8906/stat : 8906 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139722066143888 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8907] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8907/stat : 8907 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721699219984 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8908] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8908/stat : 8908 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721698167696 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8909] ppid=8899 vsize=27314120 memory=140500459940527 CPUtime=0 cores=0-7 /proc/8902/task/8909/stat : 8909 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721697114896 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8910] ppid=8899 vsize=27314120 memory=140500459942832 CPUtime=0 cores=0-7 /proc/8902/task/8910/stat : 8910 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721696062608 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8911] ppid=8899 vsize=27314120 memory=140500459945136 CPUtime=0 cores=0-7 /proc/8902/task/8911/stat : 8911 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721695009808 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8912] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8912/stat : 8912 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417475 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721270319216 139722279570050 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8913] ppid=8899 vsize=27314120 memory=281000919904144 CPUtime=0 cores=0-7 /proc/8902/task/8913/stat : 8913 (java) S 8899 8899 7218 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419417476 27969658880 32455 33554432000 4194304 4196468 140732400464656 139720252187424 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8914] ppid=8899 vsize=27314120 memory=281000919901840 CPUtime=0 cores=0-7 /proc/8902/task/8914/stat : 8914 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417476 27969658880 32455 33554432000 4194304 4196468 140732400464656 139719983752304 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8915] ppid=8899 vsize=27314120 memory=281000919908752 CPUtime=0 cores=0-7 /proc/8902/task/8915/stat : 8915 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 32455 33554432000 4194304 4196468 140732400464656 139719609243728 139722279577499 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8916] ppid=8899 vsize=27314120 memory=281000919850032 CPUtime=0.01 cores=0-7 /proc/8902/task/8916/stat : 8916 (java) S 8899 8899 7218 0 -1 1077944384 530 0 0 0 1 0 0 0 20 0 20 0 419417479 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721269267056 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8917] ppid=8899 vsize=27314120 memory=281000919922576 CPUtime=0 cores=0-7 /proc/8902/task/8917/stat : 8917 (java) S 8899 8899 7218 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721268214256 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8918] ppid=8899 vsize=27314120 memory=281000919929488 CPUtime=0.01 cores=0-7 /proc/8902/task/8918/stat : 8918 (java) S 8899 8899 7218 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 419417479 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721267161968 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8919] ppid=8899 vsize=27314120 memory=281000919927184 CPUtime=0.07 cores=0-7 /proc/8902/task/8919/stat : 8919 (java) S 8899 8899 7218 0 -1 1077944384 516 0 0 0 7 0 0 0 20 0 20 0 419417479 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721266109168 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8920] ppid=8899 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8920/stat : 8920 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 32455 33554432000 4194304 4196468 140732400464656 139719111338336 139722279569109 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8921] ppid=8899 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/8902/task/8921/stat : 8921 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417479 27969658880 32455 33554432000 4194304 4196468 140732400464656 139721265056048 139722279570050 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131216 KiB [startup+0.700866 s] /proc/loadavg: 6.45 7.48 7.81 2/209 8921 /proc/meminfo: memFree=30315444/32770624 swapFree=66932112/67108860 [pid=8899] ppid=8896 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/8899/stat : 8899 (scop.sh) S 8896 8899 7218 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419417471 115843072 349 33554432000 4194304 5098028 140733117234256 140733117231512 139821139010172 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12013568 140733117240100 140733117240428 140733117240428 140733117243341 0 /proc/8899/statm: 28282 349 296 221 0 87 0 [pid=8902] ppid=8899 vsize=27320392 memory=164980 CPUtime=0.99 cores=0-7 /proc/8902/stat : 8902 (java) S 8899 8899 7218 0 -1 1077944320 19904 0 0 0 91 8 0 0 20 0 20 0 419417471 27976081408 41245 33554432000 4194304 4196468 140732400464656 140732400447200 139722279558903 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 /proc/8902/statm: 6830098 41245 3166 1 0 6791447 0 [pid=8902/tid=8903] ppid=8899 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/8902/task/8903/stat : 8903 (java) R 8899 8899 7218 0 -1 4202560 16848 0 0 0 61 6 0 0 20 0 20 0 419417471 27976081408 41245 33554432000 4194304 4196468 140732400464656 139722251397360 139722279570838 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8904] ppid=8899 vsize=27320392 memory=2353 CPUtime=0 cores=0-7 /proc/8902/task/8904/stat : 8904 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27976081408 41245 33554432000 4194304 4196468 140732400464656 139722283800976 139722279569109 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8905] ppid=8899 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/8902/task/8905/stat : 8905 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419417474 27976081408 41245 33554432000 4194304 4196468 140732400464656 139722067196176 139722279569109 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 [pid=8902/tid=8906] ppid=8899 vsize=27320392 memory=1228 CPUtime=0 cores=0-7 /proc/8902/task/8906/stat : 8906 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419417474 27976081408 41245 33554432000 4194304 4196468 140732400464656 139722066143888 139722279569109 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12296192 140732400472811 140732400473238 140732400473238 140732400476111 0 ################ # More data... # ################ [pid=8974/tid=8975] ppid=8899 vsize=8414124 memory=120552 CPUtime=0.77 cores=0-7 /proc/8974/task/8975/stat : 8975 (java) S 8899 8899 7218 0 -1 1077944384 16936 0 0 0 71 6 0 0 20 0 24 0 419487432 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822691544992 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8976] ppid=8899 vsize=8414124 memory=5249616 CPUtime=0 cores=0-7 /proc/8974/task/8976/stat : 8976 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822723946896 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8977] ppid=8899 vsize=8414124 memory=-4075877051373423740 CPUtime=0 cores=0-7 /proc/8974/task/8977/stat : 8977 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822529710352 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8978] ppid=8899 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/8974/task/8978/stat : 8978 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822528658064 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8979] ppid=8899 vsize=8414124 memory=86230 CPUtime=0 cores=0-7 /proc/8974/task/8979/stat : 8979 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822527605264 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8980] ppid=8899 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/8974/task/8980/stat : 8980 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822201736080 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8981] ppid=8899 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8974/task/8981/stat : 8981 (java) S 8899 8899 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822200683280 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8982] ppid=8899 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8974/task/8982/stat : 8982 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822199630992 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8983] ppid=8899 vsize=8414124 memory=120552 CPUtime=0 cores=0-7 /proc/8974/task/8983/stat : 8983 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419487433 8616062976 30138 33554432000 4194304 4196468 140736598395952 139822198578192 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8984] ppid=8899 vsize=8414124 memory=5237784 CPUtime=0 cores=0-7 /proc/8974/task/8984/stat : 8984 (java) S 8899 8899 7218 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419487435 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821813074032 139822719715970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8985] ppid=8899 vsize=8414124 memory=3390808 CPUtime=0 cores=0-7 /proc/8974/task/8985/stat : 8985 (java) S 8899 8899 7218 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419487435 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821318136608 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8986] ppid=8899 vsize=8414124 memory=1396 CPUtime=0 cores=0-7 /proc/8974/task/8986/stat : 8986 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419487435 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821049701488 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8987] ppid=8899 vsize=8414124 memory=16766824 CPUtime=0 cores=0-7 /proc/8974/task/8987/stat : 8987 (java) S 8899 8899 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419487438 8616062976 30138 33554432000 4194304 4196468 140736598395952 139820675192912 139822719723419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8988] ppid=8899 vsize=8414124 memory=14565820 CPUtime=0.05 cores=0-7 /proc/8974/task/8988/stat : 8988 (java) S 8899 8899 7218 0 -1 1077944384 555 0 0 0 5 0 0 0 20 0 24 0 419487438 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821812021872 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8989] ppid=8899 vsize=8414124 memory=-4075877051373423740 CPUtime=0.06 cores=0-7 /proc/8974/task/8989/stat : 8989 (java) S 8899 8899 7218 0 -1 1077944384 237 0 0 0 6 0 0 0 20 0 24 0 419487438 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821810969072 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8990] ppid=8899 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7 /proc/8974/task/8990/stat : 8990 (java) S 8899 8899 7218 0 -1 1077944384 382 0 0 0 7 0 0 0 20 0 24 0 419487438 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821809916784 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8991] ppid=8899 vsize=8414124 memory=120552 CPUtime=0.22 cores=0-7 /proc/8974/task/8991/stat : 8991 (java) S 8899 8899 7218 0 -1 1077944384 597 0 0 0 22 0 0 0 20 0 24 0 419487438 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821808863984 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8992] ppid=8899 vsize=8414124 memory=5085744 CPUtime=0 cores=0-7 /proc/8974/task/8992/stat : 8992 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419487438 8616062976 30138 33554432000 4194304 4196468 140736598395952 139820177287520 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8993] ppid=8899 vsize=8414124 memory=1400504754925836930 CPUtime=0 cores=0-7 /proc/8974/task/8993/stat : 8993 (java) S 8899 8899 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419487439 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821807810864 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8995] ppid=8899 vsize=8414124 memory=12837 CPUtime=0 cores=0-7 /proc/8974/task/8995/stat : 8995 (java) S 8899 8899 7218 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419487507 8616062976 30138 33554432000 4194304 4196468 140736598395952 139821799777600 139822719729433 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8997] ppid=8899 vsize=8414124 memory=18359 CPUtime=0 cores=0-7 /proc/8974/task/8997/stat : 8997 (java) S 8899 8899 7218 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419487507 8616062976 30138 33554432000 4194304 4196468 140736598395952 139819506188208 139822719726749 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8998] ppid=8899 vsize=8414124 memory=18359 CPUtime=0 cores=0-7 /proc/8974/task/8998/stat : 8998 (java) S 8899 8899 7218 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419487507 8616062976 30138 33554432000 4194304 4196468 140736598395952 139819774623536 139822719726749 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8999] ppid=8899 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/8974/task/8999/stat : 8999 (java) S 8899 8899 7218 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419487509 8616062976 30138 33554432000 4194304 4196468 140736598395952 139819237760816 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 Current children cumulated CPU time: 891.67 s Current children cumulated vsize: 14395436 KiB Current children cumulated memory: 5391916 KiB [startup+725.401 s] /proc/loadavg: 0.71 1.51 4.11 3/214 9003 /proc/meminfo: memFree=24478332/32770624 swapFree=66932112/67108860 [pid=8899] ppid=8896 vsize=113128 memory=1476 CPUtime=862.3 cores=0-7 /proc/8899/stat : 8899 (scop.sh) S 8896 8899 7218 0 -1 4202496 583 268811 0 0 0 0 82990 3240 20 0 1 0 419417471 115843072 369 33554432000 4194304 5098028 140733117234256 140733117231000 139821139010172 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12013568 140733117240100 140733117240428 140733117240428 140733117243341 0 /proc/8899/statm: 28282 369 311 221 0 87 0 [pid=8974] ppid=8899 vsize=8283048 memory=257256 CPUtime=30.27 cores=0-7 /proc/8974/stat : 8974 (java) S 8899 8899 7218 0 -1 1077944320 21110 1728485 0 0 167 13 2492 355 20 0 22 0 419487431 8481841152 64314 33554432000 4194304 4196468 140736598395952 140736598378496 139822719704823 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 /proc/8974/statm: 2070762 64314 3216 1 0 2032106 0 [pid=8974/tid=8975] ppid=8899 vsize=8283048 memory=120552 CPUtime=29.27 cores=0-7 /proc/8974/task/8975/stat : 8975 (java) R 8899 8899 7218 0 -1 4202560 17045 1728485 0 0 73 7 2492 355 20 0 22 0 419487432 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822691516000 139822703785310 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8976] ppid=8899 vsize=8283048 memory=5264628 CPUtime=28.47 cores=0-7 /proc/8974/task/8976/stat : 8976 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822723946896 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8977] ppid=8899 vsize=8283048 memory=828 CPUtime=28.47 cores=0-7 /proc/8974/task/8977/stat : 8977 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822529710352 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8978] ppid=8899 vsize=8283048 memory=1448 CPUtime=28.47 cores=0-7 /proc/8974/task/8978/stat : 8978 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822528658064 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8979] ppid=8899 vsize=8283048 memory=1748 CPUtime=28.47 cores=0-7 /proc/8974/task/8979/stat : 8979 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822527605264 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8980] ppid=8899 vsize=8283048 memory=111632 CPUtime=28.47 cores=0-7 /proc/8974/task/8980/stat : 8980 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822201736080 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8981] ppid=8899 vsize=8283048 memory=808 CPUtime=28.47 cores=0-7 /proc/8974/task/8981/stat : 8981 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822200683280 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8982] ppid=8899 vsize=8283048 memory=291045324259328026 CPUtime=28.47 cores=0-7 /proc/8974/task/8982/stat : 8982 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822199630992 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8983] ppid=8899 vsize=8283048 memory=288230596050944315 CPUtime=28.47 cores=0-7 /proc/8974/task/8983/stat : 8983 (java) S 8899 8899 7218 0 -1 1077944384 3 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 64314 33554432000 4194304 4196468 140736598395952 139822198578192 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8984] ppid=8899 vsize=8283048 memory=15259233662798235 CPUtime=28.47 cores=0-7 /proc/8974/task/8984/stat : 8984 (java) S 8899 8899 7218 0 -1 1077944384 7 1728485 0 0 0 0 2492 355 20 0 22 0 419487435 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821813074032 139822719715970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8985] ppid=8899 vsize=8283048 memory=14008 CPUtime=28.47 cores=0-7 /proc/8974/task/8985/stat : 8985 (java) S 8899 8899 7218 0 -1 1077944384 13 1728485 0 0 0 0 2492 355 20 0 22 0 419487435 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821318136608 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8986] ppid=8899 vsize=8283048 memory=21020 CPUtime=28.47 cores=0-7 /proc/8974/task/8986/stat : 8986 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487435 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821049701488 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8987] ppid=8899 vsize=8283048 memory=2116 CPUtime=28.47 cores=0-7 /proc/8974/task/8987/stat : 8987 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487438 8481841152 64314 33554432000 4194304 4196468 140736598395952 139820675192912 139822719723419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8988] ppid=8899 vsize=8283048 memory=11916 CPUtime=28.58 cores=0-7 /proc/8974/task/8988/stat : 8988 (java) S 8899 8899 7218 0 -1 1077944384 582 1728485 0 0 11 0 2492 355 20 0 22 0 419487438 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821812021872 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8989] ppid=8899 vsize=8283048 memory=1560 CPUtime=28.6 cores=0-7 /proc/8974/task/8989/stat : 8989 (java) S 8899 8899 7218 0 -1 1077944384 485 1728485 0 0 13 0 2492 355 20 0 22 0 419487438 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821810969072 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8990] ppid=8899 vsize=8283048 memory=500 CPUtime=28.6 cores=0-7 /proc/8974/task/8990/stat : 8990 (java) S 8899 8899 7218 0 -1 1077944384 395 1728485 0 0 13 0 2492 355 20 0 22 0 419487438 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821809916784 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8991] ppid=8899 vsize=8283048 memory=928 CPUtime=28.74 cores=0-7 /proc/8974/task/8991/stat : 8991 (java) S 8899 8899 7218 0 -1 1077944384 1086 1728485 0 0 27 0 2492 355 20 0 22 0 419487438 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821808863984 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8992] ppid=8899 vsize=8283048 memory=1984 CPUtime=28.47 cores=0-7 /proc/8974/task/8992/stat : 8992 (java) S 8899 8899 7218 0 -1 1077944384 3 1728485 0 0 0 0 2492 355 20 0 22 0 419487438 8481841152 64314 33554432000 4194304 4196468 140736598395952 139820177287520 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8993] ppid=8899 vsize=8283048 memory=2432 CPUtime=28.47 cores=0-7 /proc/8974/task/8993/stat : 8993 (java) S 8899 8899 7218 0 -1 1077944384 3 1728485 0 0 0 0 2492 355 20 0 22 0 419487439 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821807810864 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8995] ppid=8899 vsize=8283048 memory=1692 CPUtime=28.47 cores=0-7 /proc/8974/task/8995/stat : 8995 (java) S 8899 8899 7218 0 -1 1077944384 24 1728485 0 0 0 0 2492 355 20 0 22 0 419487507 8481841152 64314 33554432000 4194304 4196468 140736598395952 139821799776784 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8999] ppid=8899 vsize=8283048 memory=1476 CPUtime=28.47 cores=0-7 /proc/8974/task/8999/stat : 8999 (java) S 8899 8899 7218 0 -1 1077944384 12 1728485 0 0 0 0 2492 355 20 0 22 0 419487509 8481841152 64314 33554432000 4194304 4196468 140736598395952 139819237762608 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 Current children cumulated CPU time: 892.57 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 258732 KiB [startup+725.601 s] /proc/loadavg: 0.71 1.51 4.11 3/214 9003 /proc/meminfo: memFree=24478332/32770624 swapFree=66932112/67108860 [pid=8899] ppid=8896 vsize=113128 memory=1476 CPUtime=862.3 cores=0-7 /proc/8899/stat : 8899 (scop.sh) S 8896 8899 7218 0 -1 4202496 583 268811 0 0 0 0 82990 3240 20 0 1 0 419417471 115843072 369 33554432000 4194304 5098028 140733117234256 140733117231000 139821139010172 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12013568 140733117240100 140733117240428 140733117240428 140733117243341 0 /proc/8899/statm: 28282 369 311 221 0 87 0 [pid=8974] ppid=8899 vsize=8283048 memory=269856 CPUtime=30.69 cores=0-7 /proc/8974/stat : 8974 (java) S 8899 8899 7218 0 -1 1077944320 21604 1728485 0 0 203 19 2492 355 20 0 22 0 419487431 8481841152 67464 33554432000 4194304 4196468 140736598395952 140736598378496 139822719704823 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 /proc/8974/statm: 2070762 67464 3231 1 0 2032106 0 [pid=8974/tid=8975] ppid=8899 vsize=8283048 memory=8112282956445269571 CPUtime=29.46 cores=0-7 /proc/8974/task/8975/stat : 8975 (java) R 8899 8899 7218 0 -1 4202560 17199 1728485 0 0 87 12 2492 355 20 0 22 0 419487432 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822691539712 139822712390455 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8976] ppid=8899 vsize=8283048 memory=3824416 CPUtime=28.47 cores=0-7 /proc/8974/task/8976/stat : 8976 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822723946896 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8977] ppid=8899 vsize=8283048 memory=1476 CPUtime=28.47 cores=0-7 /proc/8974/task/8977/stat : 8977 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822529710352 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8978] ppid=8899 vsize=8283048 memory=1984 CPUtime=28.47 cores=0-7 /proc/8974/task/8978/stat : 8978 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822528658064 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8979] ppid=8899 vsize=8283048 memory=2432 CPUtime=28.47 cores=0-7 /proc/8974/task/8979/stat : 8979 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822527605264 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8980] ppid=8899 vsize=8283048 memory=1692 CPUtime=28.47 cores=0-7 /proc/8974/task/8980/stat : 8980 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822201736080 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8981] ppid=8899 vsize=8283048 memory=120552 CPUtime=28.47 cores=0-7 /proc/8974/task/8981/stat : 8981 (java) S 8899 8899 7218 0 -1 1077944384 2 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822200683280 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8982] ppid=8899 vsize=8283048 memory=5161608 CPUtime=28.47 cores=0-7 /proc/8974/task/8982/stat : 8982 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822199630992 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8983] ppid=8899 vsize=8283048 memory=1748 CPUtime=28.47 cores=0-7 /proc/8974/task/8983/stat : 8983 (java) S 8899 8899 7218 0 -1 1077944384 3 1728485 0 0 0 0 2492 355 20 0 22 0 419487433 8481841152 67464 33554432000 4194304 4196468 140736598395952 139822198578192 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8984] ppid=8899 vsize=8283048 memory=111632 CPUtime=28.47 cores=0-7 /proc/8974/task/8984/stat : 8984 (java) S 8899 8899 7218 0 -1 1077944384 7 1728485 0 0 0 0 2492 355 20 0 22 0 419487435 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821813074032 139822719715970 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8985] ppid=8899 vsize=8283048 memory=808 CPUtime=28.47 cores=0-7 /proc/8974/task/8985/stat : 8985 (java) S 8899 8899 7218 0 -1 1077944384 13 1728485 0 0 0 0 2492 355 20 0 22 0 419487435 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821318136608 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8986] ppid=8899 vsize=8283048 memory=1808 CPUtime=28.47 cores=0-7 /proc/8974/task/8986/stat : 8986 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487435 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821049701488 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8987] ppid=8899 vsize=8283048 memory=920 CPUtime=28.47 cores=0-7 /proc/8974/task/8987/stat : 8987 (java) S 8899 8899 7218 0 -1 1077944384 1 1728485 0 0 0 0 2492 355 20 0 22 0 419487438 8481841152 67464 33554432000 4194304 4196468 140736598395952 139820675192912 139822719723419 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8988] ppid=8899 vsize=8283048 memory=4440 CPUtime=28.63 cores=0-7 /proc/8974/task/8988/stat : 8988 (java) S 8899 8899 7218 0 -1 1077944384 675 1728485 0 0 16 0 2492 355 20 0 22 0 419487438 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821812021872 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8989] ppid=8899 vsize=8283048 memory=4104 CPUtime=28.64 cores=0-7 /proc/8974/task/8989/stat : 8989 (java) S 8899 8899 7218 0 -1 1077944384 512 1728485 0 0 17 0 2492 355 20 0 22 0 419487438 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821810969072 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8990] ppid=8899 vsize=8283048 memory=1412 CPUtime=28.64 cores=0-7 /proc/8974/task/8990/stat : 8990 (java) S 8899 8899 7218 0 -1 1077944384 425 1728485 0 0 17 0 2492 355 20 0 22 0 419487438 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821809916784 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8991] ppid=8899 vsize=8283048 memory=3524 CPUtime=28.82 cores=0-7 /proc/8974/task/8991/stat : 8991 (java) S 8899 8899 7218 0 -1 1077944384 1276 1728485 0 0 35 0 2492 355 20 0 22 0 419487438 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821808863984 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8992] ppid=8899 vsize=8283048 memory=-4059589565078923626 CPUtime=28.47 cores=0-7 /proc/8974/task/8992/stat : 8992 (java) S 8899 8899 7218 0 -1 1077944384 3 1728485 0 0 0 0 2492 355 20 0 22 0 419487438 8481841152 67464 33554432000 4194304 4196468 140736598395952 139820177287520 139822719715029 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8993] ppid=8899 vsize=8283048 memory=-6237260532469557610 CPUtime=28.47 cores=0-7 /proc/8974/task/8993/stat : 8993 (java) S 8899 8899 7218 0 -1 1077944384 3 1728485 0 0 0 0 2492 355 20 0 22 0 419487439 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821807810864 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8995] ppid=8899 vsize=8283048 memory=-7087961436404378774 CPUtime=28.47 cores=0-7 /proc/8974/task/8995/stat : 8995 (java) S 8899 8899 7218 0 -1 1077944384 24 1728485 0 0 0 0 2492 355 20 0 22 0 419487507 8481841152 67464 33554432000 4194304 4196468 140736598395952 139821799776784 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 [pid=8974/tid=8999] ppid=8899 vsize=8283048 memory=-7595718148000617571 CPUtime=28.47 cores=0-7 /proc/8974/task/8999/stat : 8999 (java) S 8899 8899 7218 0 -1 1077944384 12 1728485 0 0 0 0 2492 355 20 0 22 0 419487509 8481841152 67464 33554432000 4194304 4196468 140736598395952 139819237762608 139822719715970 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26931200 140736598397944 140736598398102 140736598398102 140736598400975 0 Current children cumulated CPU time: 892.99 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 271332 KiB Child status: 0 Real time (s): 725.697 CPU time (s): 893.112 CPU user time (s): 856.859 CPU system time (s): 36.2524 CPU usage (%): 123.069 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 17482972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 856.859 system time used= 36.2524 maximum resident set size= 17482040 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2019524 page faults= 0 swaps= 0 block input operations= 8 block output operations= 2018384 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46432 involuntary context switches= 2411 # summary of solver processes directly reported to runsolver: # pid: 8899 # total CPU time (s): 893.112 # total CPU user time (s): 856.859 # total CPU system time (s): 36.2524 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.0454 second user time and 7.18732 second system time The end
Begin job on node139 at 2019-09-14 05:26:40 IDJOB=4392595 IDBENCH=130877 IDSOLVER=2839 FILE ID=node139/4392595-1568431495 RUNJOBID= node139-1568428877-7245 PBS_JOBID= 21702305 Free space on /tmp= 59556 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si4-m4D/Subisomorphism-si4-m4D-m625-05.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392595-1568431495/watcher-4392595-1568431495 -o /tmp/evaluation-result-4392595-1568431495/solver-4392595-1568431495 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568428877-7245 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392595-1568431495.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a06e274e1d637d430249b010d1ea7ff6 RANDOM SEED=1743034530 node139.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.57 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.57 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.57 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.57 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: 30453500 kB MemAvailable: 31821656 kB Buffers: 137992 kB Cached: 1510360 kB SwapCached: 74396 kB Active: 600844 kB Inactive: 1126540 kB Active(anon): 4912 kB Inactive(anon): 114972 kB Active(file): 595932 kB Inactive(file): 1011568 kB Unevictable: 107492 kB Mlocked: 107492 kB SwapTotal: 67108860 kB SwapFree: 66932112 kB Dirty: 20728 kB Writeback: 0 kB AnonPages: 45696 kB Mapped: 44324 kB Shmem: 32208 kB Slab: 181564 kB SReclaimable: 152980 kB SUnreclaim: 28584 kB KernelStack: 3792 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 488672 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59536 MiB End job on node139 at 2019-09-14 05:38:46