Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 104.326 | 73.0872 |
Name | PropStress/PropStress-m1-s1/ PropStress-0450.xml |
MD5SUM | ffc1a166c9e21b9812230f61f9b6f38e |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 73.796 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 902 |
Number of constraints | 102376 |
Number of domains | 1 |
Minimum domain size | 202501 |
Maximum domain size | 202501 |
Distribution of domain sizes | [{"size":202501,"count":902}] |
Minimum variable degree | 2 |
Maximum variable degree | 451 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":449},{"degree":450,"count":449},{"degree":451,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":102376}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 102376 |
Distribution of constraint types | [{"type":"intension","count":102376}] |
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-4870-serial-file.bin HOME/instance-4405606-1569336299.xml 0.76/0.61 0.76/0.61 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.76/0.61 0.76/0.64 c BEGIN-Prog: Tue Sep 24 16:44:18 CEST 2019 0.76/0.64 c PID: 4873 0.76/0.64 c IP: 172.20.3.116 0.76/0.64 c HOST: node116.alineos.net 0.76/0.65 c (0,0) Parsing Begin 13.11/7.06 c (6,6) Parsing End 13.11/7.07 c (6,6) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501 13.11/7.07 c (6,6) Heap : 3491 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 13.11/7.07 c (6,6) Constraint Name Generate Begin 13.54/7.38 c (6,6) Ctr:HOME/instance-4405606-1569336299.xml,Add:Le:Num:Var 13.54/7.38 c (6,6) Constraint Name Generate End 13.54/7.38 c (6,6) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 13.54/7.39 c (6,6) CSP to CSPinCNF Begin 15.60/8.08 c (7,7) translated 10238 (10%) constraints 16.61/8.33 c (7,7) translated 20476 (20%) constraints 16.81/8.53 c (7,7) translated 30713 (30%) constraints 17.01/8.73 c (8,8) translated 40951 (40%) constraints 17.21/8.94 c (8,8) translated 51188 (50%) constraints 17.42/9.14 c (8,8) translated 61426 (60%) constraints 17.65/9.34 c (8,8) translated 71664 (70%) constraints 17.85/9.54 c (8,8) translated 81901 (80%) constraints 18.05/9.74 c (9,9) translated 92139 (90%) constraints 18.28/9.95 c (9,9) translated 102376 (100%) constraints 18.28/9.95 c (9,9) =========================================== 18.81/10.18 c (9,9) Hybrid: #OE=0, #LE=902 18.81/10.18 c (9,9) Hybrid 18.81/10.18 c (9,9) =========================================== 19.12/10.38 c (9,9) translated 10238 (10%) constraints 19.64/10.54 c (9,9) translated 20476 (20%) constraints 19.80/10.69 c (10,10) translated 30713 (30%) constraints 20.05/10.84 c (10,10) translated 40951 (40%) constraints 20.15/10.99 c (10,10) translated 51188 (50%) constraints 20.36/11.13 c (10,10) translated 61426 (60%) constraints 20.44/11.28 c (10,10) translated 71664 (70%) constraints 20.64/11.43 c (10,10) translated 81901 (80%) constraints 20.75/11.58 c (10,10) translated 92139 (90%) constraints 20.95/11.73 c (11,11) translated 102376 (100%) constraints 20.95/11.73 c (11,11) CSP to CSPinCNF End 20.95/11.73 c (11,11) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501 20.95/11.73 c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 20.95/11.73 c (11,11) CSPinCNF Propagation Begin 21.61/12.10 c (11,11) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 21.61/12.10 c (11,11) CSPinCNF Propagation End 21.61/12.10 c (11,11) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501 21.61/12.10 c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 22.00/12.30 c (11,11) Hybrid: #OE=0, #LE=902 22.00/12.30 c (11,11) Simplify CSPinCNF Begin 22.28/12.46 c (11,11) Simplify CSPinCNF End 22.28/12.46 c (11,11) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501 22.28/12.46 c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 22.28/12.46 c (11,11) Calculate Precise Domain Begin 22.28/12.46 c (11,11) 0 values are removed by re-calculation 22.28/12.46 c (11,11) Calculate Precise Domain End 22.28/12.46 c (11,11) CSP: 902 int (0 aux), 0 bool (0 aux), 102376 ctr, max domain size 202501 22.28/12.46 c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 22.28/12.46 c (11,11) CSPinCNF to SatSolver Begin 29.75/16.68 c (16,15) 10238 (10 %) CSP clauses are encoded (0 SAT variables, 1319732 SAT clauses) 33.20/20.06 c (19,19) 20476 (20 %) CSP clauses are encoded (0 SAT variables, 2568768 SAT clauses) 37.03/23.81 c (23,22) 30713 (30 %) CSP clauses are encoded (0 SAT variables, 3817682 SAT clauses) 40.44/27.84 c (27,26) 40951 (40 %) CSP clauses are encoded (0 SAT variables, 5066718 SAT clauses) 43.98/31.29 c (30,29) 51188 (50 %) CSP clauses are encoded (0 SAT variables, 6315632 SAT clauses) 47.44/35.25 c (34,33) 61426 (60 %) CSP clauses are encoded (0 SAT variables, 7564668 SAT clauses) 50.80/38.77 c (38,36) 71664 (70 %) CSP clauses are encoded (0 SAT variables, 8813704 SAT clauses) 54.44/42.44 c (41,39) 81901 (80 %) CSP clauses are encoded (0 SAT variables, 10062618 SAT clauses) 57.84/45.87 c (45,43) 92139 (90 %) CSP clauses are encoded (0 SAT variables, 11311654 SAT clauses) 61.42/49.49 c (48,46) 102376 (100 %) CSP clauses are encoded (0 SAT variables, 12560568 SAT clauses) 61.42/49.49 c (48,46) CSPinCNF to SatSolver End 61.42/49.49 c (48,46) Heap : 1063 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 61.42/49.49 c (48,46) 5470960 bool, 12560690 clause 61.42/49.49 c (48,46) Export Begin 62.83/50.31 c (49,47) Export to HOME/scop-4870-serial-file.bin 62.83/50.31 c (49,47) Export End 62.83/50.31 c (49,47) Export File Size: 2.67 MB 62.83/50.31 c (49,47) 6,6,11,11,11,11,48,STOP-AFTER(DIMACS) 62.83/50.31 c END-Prog: Tue Sep 24 16:45:08 CEST 2019 62.83/50.37 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4870-serial-file.bin 62.91/50.88 c (0,0) Read Serial File Begin 62.91/50.88 c (0,0) HOME/scop-4870-serial-file.bin 65.04/51.89 c (1,1) Read Serial File End 65.39/51.91 65.74/52.30 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 65.74/52.30 (Solving Process) 65.74/52.30 65.74/52.30 c BEGIN-Prog: Tue Sep 24 16:45:09 CEST 2019 65.74/52.30 c PID: 4896 65.74/52.30 c IP: 172.20.3.116 65.74/52.30 c HOST: node116.alineos.net 65.74/52.30 c (1,1) SatSolver.solve Begin 65.74/52.30 c (1,1) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405606-1569336299.xml-scop-4873.cnf 65.74/52.30 c (1,0) c 65.74/52.30 c (1,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 65.74/52.30 c (1,0) c 65.74/52.30 c (1,0) c WARNING: for repeatability, setting FPU to use double precision 65.74/52.30 c (1,0) c 8 solvers engines and 1 companion as a blackboard created. 65.74/52.30 c (1,0) c ========================================[ Problem Statistics ]=========================================== 65.74/52.30 c (1,0) c | | 72.63/59.25 c (8,0) c | Number of variables: 5470960 | 72.63/59.25 c (8,0) c | Number of clauses: 12457412 | 72.63/59.25 c (8,0) c | Parse time: 6.33 s | 72.63/59.25 c (8,0) c | | 74.23/60.80 c (10,0) c | Too many clauses... No preprocessing | 74.23/60.80 c (10,0) c | Simplification time: 1.38 s | 74.23/60.80 c (10,0) c | | 74.23/60.81 c (10,0) c | One Solver is taking 2156.48Mb... Let's take 3 solvers for this run (max 40% of the maxmemory). | 74.23/60.81 c (10,0) c | Generating clones | 76.84/63.49 c (12,0) c | all clones generated. Memory = 5019.52Mb. | 76.84/63.49 c (12,0) c ========================================================================================================| 76.84/63.49 c (12,0) c 76.84/63.49 c (12,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 76.84/63.49 c (12,0) c 76.84/63.49 c (12,0) c |-----------------------|------------|------------|------------| 76.84/63.49 c (12,0) c | Threads | 0 | 1 | 2 | 76.84/63.49 c (12,0) c |-----------------------|------------|------------|------------| 76.84/63.49 c (12,0) c | randomizeFirstDescent | False | True | True | 76.84/63.49 c (12,0) c | adaptStrategeis | True | False | True | 76.84/63.49 c (12,0) c | forceUnsatOnNewDescent| True | True | False | 76.84/63.49 c (12,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 76.84/63.49 c (12,0) c | chanseokStrategy | False | False | False | 76.84/63.49 c (12,0) c | coLBDBound | 5 | 5 | 5 | 76.84/63.49 c (12,0) c | glureduce | True | True | True | 76.84/63.49 c (12,0) c | firstReduceDB | 2000 | 2000 | 2000 | 76.84/63.49 c (12,0) c | incReduceDB | 300 | 300 | 300 | 76.84/63.49 c (12,0) c | luby_restart | False | False | False | 76.84/63.49 c (12,0) c | luby_restart_factor | 100 | 100 | 100 | 76.84/63.49 c (12,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 76.84/63.49 c (12,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 76.84/63.49 c (12,0) c | randomize_on_restarts | False | False | False | 76.84/63.49 c (12,0) c | remove_satisfied | True | True | True | 76.84/63.49 c (12,0) c |-----------------------|------------|------------|------------| 103.96/72.86 c (22,0) c 103.96/72.86 c (22,0) c real time : 20.8873 s 103.96/72.86 c (22,0) c cpu time : 34.9785 s 103.96/72.86 c (22,0) c 103.96/72.86 c (22,0) c 103.96/72.86 c (22,0) c 103.96/72.86 c (22,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 103.96/72.86 c (22,0) c 103.96/72.86 c (22,0) c |---------------|-----------------|------------|------------|------------| 103.96/72.86 c (22,0) c | Threads | Total | 0 | 1 | 2 | 103.96/72.86 c (22,0) c |---------------|-----------------|------------|------------|------------| 103.96/72.86 c (22,0) c | Conflicts | 135 | 38 | 67 | 30 | 103.96/72.86 c (22,0) c | Decisions | 818 | 118 | 447 | 253 | 103.96/72.86 c (22,0) c | Propagations | 74518938 | 23036330 | 24649188 | 26833420 | 103.96/72.86 c (22,0) c | ReduceDBs | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | SimpDBs | 3 | 1 | 1 | 1 | 103.96/72.86 c (22,0) c | Restarts | 3 | 1 | 1 | 1 | 103.96/72.86 c (22,0) c | ForcedImports | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | PropBinClauses| 59035259 | 16795034 | 19972225 | 22268000 | 103.96/72.86 c (22,0) c | PropPreBlocker| 103727208 | 33106648 | 37767352 | 32853208 | 103.96/72.86 c (22,0) c | PropNotBlocker| 58290828 | 18329383 | 21747480 | 18213965 | 103.96/72.86 c (22,0) c | LitFullScans | 269267030 | 84031127 | 97008686 | 88227217 | 103.96/72.86 c (22,0) c | LitScanFracts | 31267 | 2931 | 15077 | 13259 | 103.96/72.86 c (22,0) c | DecisionLevel0| 6 | 1 | 2 | 3 | 103.96/72.86 c (22,0) c | Periods | 44 | 14 | 16 | 14 | 103.96/72.86 c (22,0) c | Margin | 60 | 20 | 20 | 20 | 103.96/72.86 c (22,0) c | Avg_Trail | | 3536897 | 2393197 | 2315523 | 103.96/72.86 c (22,0) c | Avg_DL | | 21 | 40 | 34 | 103.96/72.86 c (22,0) c | Avg_Res | | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 103.96/72.86 c (22,0) c |---------------|-----------------|------------|------------|------------| 103.96/72.86 c (22,0) c | Exported | 42 | 5 | 18 | 19 | 103.96/72.86 c (22,0) c | Imported | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | Good | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | Purge | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | Promoted | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 103.96/72.86 c (22,0) c |---------------|-----------------|------------|------------|------------| 103.96/72.86 c (22,0) c | Unaries | | 0 | 1 | 2 | 103.96/72.86 c (22,0) c | Binaries | | 0 | 0 | 0 | 103.96/72.86 c (22,0) c | Glues | | 5 | 18 | 19 | 103.96/72.86 c (22,0) c |---------------|-----------------|------------|------------|------------| 103.96/72.86 c (22,0) c | Orig_Seen | 0 % | 210 | 864 | 351 | 103.96/72.86 c (22,0) c | Diff Orig seen| | - 141 | 513 | X | 103.96/72.86 c (22,0) c | Hamming | 24 % | 1783332 | 910242 | X | 103.96/72.86 c (22,0) c |---------------|-----------------|------------|------------|------------| 103.96/72.86 c (22,0) c | RunningTime | | 9.0 100%| 9.2 100%| 8.9 100%| 103.96/72.86 c (22,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 103.96/72.86 c (22,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 103.96/72.86 c (22,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 103.96/72.86 c (22,0) c | SolvingTime | | 9.0 | 9.2 | 8.9 | 103.96/72.86 c (22,0) c | PropagationTim| | 8.0 89%| 8.1 89%| 7.9 89%| 103.96/72.86 c (22,0) c | AnalysisTime | | 0.2 2%| 0.2 2%| 0.1 1%| 103.96/72.86 c (22,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 103.96/72.86 c (22,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 103.96/72.86 c (22,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 103.96/72.86 c (22,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 103.96/72.86 c (22,0) c |---------------|-----------------|------------|------------|------------| 103.96/72.86 c (22,0) c 103.96/72.86 c (22,0) c 103.96/72.86 c (22,0) c Threads : 3 103.96/72.86 c (22,0) c Winner : 2 103.96/72.86 c (22,0) c Conflicts_0 : 38 103.96/72.86 c (22,0) c Conflicts_1 : 67 103.96/72.86 c (22,0) c Conflicts_2 : 30 103.96/72.86 c (22,0) c Conflicts_total : 135 103.96/72.86 c (22,0) c Conflicts_winner : 30 103.96/72.86 c (22,0) c Decisions_0 : 118 103.96/72.86 c (22,0) c Decisions_1 : 447 103.96/72.86 c (22,0) c Decisions_2 : 253 103.96/72.86 c (22,0) c Decisions_total : 818 103.96/72.86 c (22,0) c Decisions_winner : 253 103.96/72.86 c (22,0) c Propagations_0 : 23036330 103.96/72.86 c (22,0) c Propagations_1 : 24649188 103.96/72.86 c (22,0) c Propagations_2 : 26833420 103.96/72.86 c (22,0) c Propagations_total : 74518938 103.96/72.86 c (22,0) c Propagations_winner : 26833420 103.96/72.86 c (22,0) c ReduceDBs_0 : 0 103.96/72.86 c (22,0) c ReduceDBs_1 : 0 103.96/72.86 c (22,0) c ReduceDBs_2 : 0 103.96/72.86 c (22,0) c ReduceDBs_total : 0 103.96/72.86 c (22,0) c ReduceDBs_winner : 0 103.96/72.86 c (22,0) c SimpDBs_0 : 1 103.96/72.86 c (22,0) c SimpDBs_1 : 1 103.96/72.86 c (22,0) c SimpDBs_2 : 1 103.96/72.86 c (22,0) c SimpDBs_total : 3 103.96/72.86 c (22,0) c SimpDBs_winner : 1 103.96/72.86 c (22,0) c Restarts_0 : 1 103.96/72.86 c (22,0) c Restarts_1 : 1 103.96/72.86 c (22,0) c Restarts_2 : 1 103.96/72.86 c (22,0) c Restarts_total : 3 103.96/72.86 c (22,0) c Restarts_winner : 1 103.96/72.86 c (22,0) c ForcedImports_0 : 0 103.96/72.86 c (22,0) c ForcedImports_1 : 0 103.96/72.86 c (22,0) c ForcedImports_2 : 0 103.96/72.86 c (22,0) c ForcedImports_total : 0 103.96/72.86 c (22,0) c ForcedImports_winner : 0 103.96/72.86 c (22,0) c PropsBinClauses_0 : 16795034 103.96/72.86 c (22,0) c PropsBinClauses_1 : 19972225 103.96/72.86 c (22,0) c PropsBinClauses_2 : 22268000 103.96/72.86 c (22,0) c PropsBinClauses_total : 59035259 103.96/72.86 c (22,0) c PropsBinClauses_winner : 22268000 103.96/72.86 c (22,0) c PropsPreBlocker_0 : 33106648 103.96/72.86 c (22,0) c PropsPreBlocker_1 : 37767352 103.96/72.86 c (22,0) c PropsPreBlocker_2 : 32853208 103.96/72.86 c (22,0) c PropsPreBlocker_total : 103727208 103.96/72.86 c (22,0) c PropsPreBlocker_winner : 32853208 103.96/72.86 c (22,0) c PropsNotBlocker_0 : 18329383 103.96/72.86 c (22,0) c PropsNotBlocker_1 : 21747480 103.96/72.86 c (22,0) c PropsNotBlocker_2 : 18213965 103.96/72.86 c (22,0) c PropsNotBlocker_total : 58290828 103.96/72.86 c (22,0) c PropsNotBlocker_winner : 18213965 103.96/72.86 c (22,0) c PropsLitFullScans_0 : 84031127 103.96/72.86 c (22,0) c PropsLitFullScans_1 : 97008686 103.96/72.86 c (22,0) c PropsLitFullScans_2 : 88227217 103.96/72.86 c (22,0) c PropsLitFullScans_total : 269267030 103.96/72.86 c (22,0) c PropsLitFullScans_winner : 88227217 103.96/72.86 c (22,0) c LitScanFractions_0 : 2931 103.96/72.86 c (22,0) c LitScanFractions_1 : 15077 103.96/72.86 c (22,0) c LitScanFractions_2 : 13259 103.96/72.86 c (22,0) c LitScanFractions_total : 31267 103.96/72.86 c (22,0) c LitScanFractions_winner : 13259 103.96/72.86 c (22,0) c DecisionLevel0_0 : 1 103.96/72.86 c (22,0) c DecisionLevel0_1 : 2 103.96/72.86 c (22,0) c DecisionLevel0_2 : 3 103.96/72.86 c (22,0) c DecisionLevel0_total : 6 103.96/72.86 c (22,0) c DecisionLevel0_winner : 3 103.96/72.86 c (22,0) c Periods_0 : 14 103.96/72.86 c (22,0) c Periods_1 : 16 103.96/72.86 c (22,0) c Periods_2 : 14 103.96/72.86 c (22,0) c Periods_total : 44 103.96/72.86 c (22,0) c Periods_winner : 14 103.96/72.86 c (22,0) c Margin_0 : 20 103.96/72.86 c (22,0) c Margin_1 : 20 103.96/72.86 c (22,0) c Margin_2 : 20 103.96/72.86 c (22,0) c Margin_total : 60 103.96/72.86 c (22,0) c Margin_winner : 20 103.96/72.86 c (22,0) c Exported_0 : 5 103.96/72.86 c (22,0) c Exported_1 : 18 103.96/72.86 c (22,0) c Exported_2 : 19 103.96/72.86 c (22,0) c Exported_total : 42 103.96/72.86 c (22,0) c Exported_winner : 19 103.96/72.86 c (22,0) c Imported_0 : 0 103.96/72.86 c (22,0) c Imported_1 : 0 103.96/72.86 c (22,0) c Imported_2 : 0 103.96/72.86 c (22,0) c Imported_total : 0 103.96/72.86 c (22,0) c Imported_winner : 0 103.96/72.86 c (22,0) c Good_0 : 0 103.96/72.86 c (22,0) c Good_1 : 0 103.96/72.86 c (22,0) c Good_2 : 0 103.96/72.86 c (22,0) c Good_total : 0 103.96/72.86 c (22,0) c Good_winner : 0 103.96/72.86 c (22,0) c Purge_0 : 0 103.96/72.86 c (22,0) c Purge_1 : 0 103.96/72.86 c (22,0) c Purge_2 : 0 103.96/72.86 c (22,0) c Purge_total : 0 103.96/72.86 c (22,0) c Purge_winner : 0 103.96/72.86 c (22,0) c Promoted_0 : 0 103.96/72.86 c (22,0) c Promoted_1 : 0 103.96/72.86 c (22,0) c Promoted_2 : 0 103.96/72.86 c (22,0) c Promoted_total : 0 103.96/72.86 c (22,0) c Promoted_winner : 0 103.96/72.86 c (22,0) c Remove_Imp_0 : 0 103.96/72.86 c (22,0) c Remove_Imp_1 : 0 103.96/72.86 c (22,0) c Remove_Imp_2 : 0 103.96/72.86 c (22,0) c Remove_Imp_total : 0 103.96/72.86 c (22,0) c Remove_Imp_winner : 0 103.96/72.86 c (22,0) c Blocked_Reuse_0 : 0 103.96/72.86 c (22,0) c Blocked_Reuse_1 : 0 103.96/72.86 c (22,0) c Blocked_Reuse_2 : 0 103.96/72.86 c (22,0) c Blocked_Reuse_total : 0 103.96/72.86 c (22,0) c Blocked_Reuse_winner : 0 103.96/72.86 c (22,0) c Unaries_0 : 0 103.96/72.86 c (22,0) c Unaries_1 : 1 103.96/72.86 c (22,0) c Unaries_2 : 2 103.96/72.86 c (22,0) c Unaries_total : 3 103.96/72.87 c (22,0) c Unaries_winner : 2 103.96/72.87 c (22,0) c Binaries_0 : 0 103.96/72.87 c (22,0) c Binaries_1 : 0 103.96/72.87 c (22,0) c Binaries_2 : 0 103.96/72.87 c (22,0) c Binaries_total : 0 103.96/72.87 c (22,0) c Binaries_winner : 0 103.96/72.87 c (22,0) c Glues_0 : 5 103.96/72.87 c (22,0) c Glues_1 : 18 103.96/72.87 c (22,0) c Glues_2 : 19 103.96/72.87 c (22,0) c Glues_total : 42 103.96/72.87 c (22,0) c Glues_winner : 19 103.96/72.87 c (22,0) c RunningTime_0 : 9.011549 103.96/72.87 c (22,0) c RunningTime_1 : 9.162322 103.96/72.87 c (22,0) c RunningTime_2 : 8.919304 103.96/72.87 c (22,0) c RunningTime_total : 27.093175 103.96/72.87 c (22,0) c RunningTime_winner : 8.919304 103.96/72.87 c (22,0) c WaitingTime_0 : 0.000000 103.96/72.87 c (22,0) c WaitingTime_1 : 0.000000 103.96/72.87 c (22,0) c WaitingTime_2 : 0.000000 103.96/72.87 c (22,0) c WaitingTime_total : 0.000000 103.96/72.87 c (22,0) c WaitingTime_winner : 0.000000 103.96/72.87 c (22,0) c ExchangingTime_0 : 0.000042 103.96/72.87 c (22,0) c ExchangingTime_1 : 0.000107 103.96/72.87 c (22,0) c ExchangingTime_2 : 0.000096 103.96/72.87 c (22,0) c ExchangingTime_total : 0.000246 103.96/72.87 c (22,0) c ExchangingTime_winner : 0.000096 103.96/72.87 c (22,0) c PeriodProcTime_0 : 0.000185 103.96/72.87 c (22,0) c PeriodProcTime_1 : 0.000220 103.96/72.87 c (22,0) c PeriodProcTime_2 : 0.000222 103.96/72.87 c (22,0) c PeriodProcTime_total : 0.000628 103.96/72.87 c (22,0) c PeriodProcTime_winner : 0.000222 103.96/72.87 c (22,0) c SolvingTime_0 : 9.011776 103.96/72.87 c (22,0) c SolvingTime_1 : 9.162649 103.96/72.87 c (22,0) c SolvingTime_2 : 8.919622 103.96/72.87 c (22,0) c SolvingTime_total : 27.094048 103.96/72.87 c (22,0) c SolvingTime_winner : 8.919622 103.96/72.87 c (22,0) c PropagationTime_0 : 8.032544 103.96/72.87 c (22,0) c PropagationTime_1 : 8.112196 103.96/72.87 c (22,0) c PropagationTime_2 : 7.916388 103.96/72.87 c (22,0) c PropagationTime_total : 24.061128 103.96/72.87 c (22,0) c PropagationTime_winner : 7.916388 103.96/72.87 c (22,0) c AnalysisTime_0 : 0.159751 103.96/72.87 c (22,0) c AnalysisTime_1 : 0.161195 103.96/72.87 c (22,0) c AnalysisTime_2 : 0.133514 103.96/72.87 c (22,0) c AnalysisTime_total : 0.454460 103.96/72.87 c (22,0) c AnalysisTime_winner : 0.133514 103.96/72.87 c (22,0) c ReductionTime_0 : 0.000000 103.96/72.87 c (22,0) c ReductionTime_1 : 0.000000 103.96/72.87 c (22,0) c ReductionTime_2 : 0.000000 103.96/72.87 c (22,0) c ReductionTime_total : 0.000000 103.96/72.87 c (22,0) c ReductionTime_winner : 0.000000 103.96/72.87 c (22,0) c SimplifyTime_0 : 0.000001 103.96/72.87 c (22,0) c SimplifyTime_1 : 0.000000 103.96/72.87 c (22,0) c SimplifyTime_2 : 0.000000 103.96/72.87 c (22,0) c SimplifyTime_total : 0.000001 103.96/72.87 c (22,0) c SimplifyTime_winner : 0.000000 103.96/72.87 c (22,0) c UsedRateTime_0 : 0.000000 103.96/72.87 c (22,0) c UsedRateTime_1 : 0.000000 103.96/72.87 c (22,0) c UsedRateTime_2 : 0.000000 103.96/72.87 c (22,0) c UsedRateTime_total : 0.000000 103.96/72.87 c (22,0) c UsedRateTime_winner : 0.000000 103.96/72.87 c (22,0) c OverlapRateTime_0 : 0.000000 103.96/72.87 c (22,0) c OverlapRateTime_1 : 0.000000 103.96/72.87 c (22,0) c OverlapRateTime_2 : 0.000000 103.96/72.87 c (22,0) c OverlapRateTime_total : 0.000000 103.96/72.87 c (22,0) c OverlapRateTime_winner : 0.000000 103.96/72.87 c (22,0) c 103.96/72.87 c (22,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 103.96/72.87 c (22,0) c 103.96/72.87 c (22,0) c |-----------------------|------------|------------|------------| 103.96/72.87 c (22,0) c | Threads | 0 | 1 | 2 | 103.96/72.87 c (22,0) c |-----------------------|------------|------------|------------| 103.96/72.87 c (22,0) c | randomizeFirstDescent | False | True | True | 103.96/72.87 c (22,0) c | adaptStrategeis | True | False | True | 103.96/72.87 c (22,0) c | forceUnsatOnNewDescent| True | True | False | 103.96/72.87 c (22,0) c | Initial random_seed | 652374854 | 1761089855 | 1526116021 | 103.96/72.87 c (22,0) c | chanseokStrategy | False | False | False | 103.96/72.87 c (22,0) c | coLBDBound | 5 | 5 | 5 | 103.96/72.87 c (22,0) c | glureduce | True | True | True | 103.96/72.87 c (22,0) c | firstReduceDB | 2000 | 2000 | 2000 | 103.96/72.87 c (22,0) c | incReduceDB | 300 | 300 | 300 | 103.96/72.87 c (22,0) c | luby_restart | False | False | False | 103.96/72.87 c (22,0) c | luby_restart_factor | 100 | 100 | 100 | 103.96/72.87 c (22,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 103.96/72.87 c (22,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 103.96/72.87 c (22,0) c | randomize_on_restarts | False | False | False | 103.96/72.87 c (22,0) c | remove_satisfied | True | True | True | 103.96/72.87 c (22,0) c |-----------------------|------------|------------|------------| 103.96/72.87 c (22,0) 103.96/72.87 c (22,0) s UNSATISFIABLE 65.79/73.03 c (22,1) SatSolver.solve End 65.79/73.03 c (22,1) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 65.79/73.03 c (22,1) Show results Begin 65.79/73.03 s UNSATISFIABLE 65.79/73.03 c (22,1) Show results End 65.79/73.03 c (22,1) Heap : 184 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 65.79/73.03 c (22,1) 22,22,STOP-AFTER(ALL) 65.79/73.03 c END-Prog: Tue Sep 24 16:45:30 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (15502 MiB free) memory of node 1: 16384 MiB (9241 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405606-1569336299/watcher-4405606-1569336299 -o /tmp/evaluation-result-4405606-1569336299/solver-4405606-1569336299 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569335937-4697 --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-4405606-1569336299.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=4870, runsolver pid=4867 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 6.78 4.52 1.97 3/212 4892 /proc/meminfo: memFree=25244452/32770688 swapFree=67001272/67108860 [pid=4870] ppid=4867 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4870/stat : 4870 (scop.sh) S 4867 4870 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509571501 115843072 349 33554432000 4194304 5098028 140721063288896 140721063286152 140177142715004 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24117248 140721063297828 140721063298156 140721063298156 140721063301069 0 /proc/4870/statm: 28282 349 296 221 0 87 0 [pid=4873] ppid=4870 vsize=27314120 memory=105448 CPUtime=0.1 cores=0-7 /proc/4873/stat : 4873 (java) S 4870 4870 4670 0 -1 1077944320 6423 0 0 0 8 2 0 0 20 0 20 0 509571501 27969658880 26362 33554432000 4194304 4196468 140721027024128 140721027006672 139902283091703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 /proc/4873/statm: 6828530 26362 2749 1 0 6790935 0 [pid=4873/tid=4874] ppid=4870 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/4873/task/4874/stat : 4874 (java) R 4870 4870 4670 0 -1 4202560 4540 0 0 0 7 2 0 0 20 0 20 0 509571502 27969658880 26362 33554432000 4194304 4196468 140721027024128 139902254918032 139902283113629 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4875] ppid=4870 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4873/task/4875/stat : 4875 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139902287334416 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4876] ppid=4870 vsize=27314120 memory=140279935878784 CPUtime=0 cores=0-7 /proc/4873/task/4876/stat : 4876 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139902118583440 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4877] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4877/stat : 4877 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901704448784 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4878] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4878/stat : 4878 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901703396240 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4879] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4879/stat : 4879 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901702343184 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4880] ppid=4870 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4873/task/4880/stat : 4880 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901701290640 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4881] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4881/stat : 4881 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901700237584 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4882] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4882/stat : 4882 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901699185040 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4883] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4883/stat : 4883 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571506 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901140200176 139902283102850 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4884] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4884/stat : 4884 (java) S 4870 4870 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509571506 27969658880 26362 33554432000 4194304 4196468 140721027024128 139900238161568 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4885] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4885/stat : 4885 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571507 27969658880 26362 33554432000 4194304 4196468 140721027024128 139899969725680 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4886] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4886/stat : 4886 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 26362 33554432000 4194304 4196468 140721027024128 139899595217360 139902283110299 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4887] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4887/stat : 4887 (java) S 4870 4870 4670 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901139146992 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4888] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4888/stat : 4888 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901138094448 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4889] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4889/stat : 4889 (java) S 4870 4870 4670 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901137041392 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4890] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4890/stat : 4890 (java) S 4870 4870 4670 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901135988848 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4891] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4891/stat : 4891 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509571510 27969658880 26362 33554432000 4194304 4196468 140721027024128 139899097312224 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4892] ppid=4870 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4873/task/4892/stat : 4892 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571510 27969658880 26362 33554432000 4194304 4196468 140721027024128 139901134937264 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106844 KiB [startup+0.211451 s]* /proc/loadavg: 6.78 4.52 1.97 2/212 4892 /proc/meminfo: memFree=25224988/32770688 swapFree=67001272/67108860 [pid=4870] ppid=4867 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4870/stat : 4870 (scop.sh) S 4867 4870 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509571501 115843072 349 33554432000 4194304 5098028 140721063288896 140721063286152 140177142715004 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24117248 140721063297828 140721063298156 140721063298156 140721063301069 0 /proc/4870/statm: 28282 349 296 221 0 87 0 [pid=4873] ppid=4870 vsize=27314120 memory=125168 CPUtime=0.24 cores=0-7 /proc/4873/stat : 4873 (java) S 4870 4870 4670 0 -1 1077944320 11975 0 0 0 20 4 0 0 20 0 20 0 509571501 27969658880 31292 33554432000 4194304 4196468 140721027024128 140721027006672 139902283091703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 /proc/4873/statm: 6828530 31292 2920 1 0 6790935 0 [pid=4873/tid=4874] ppid=4870 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/4873/task/4874/stat : 4874 (java) R 4870 4870 4670 0 -1 4202560 9716 0 0 0 16 3 0 0 20 0 20 0 509571502 27969658880 31298 33554432000 4194304 4196468 140721027024128 139902254906112 139902283115293 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4875] ppid=4870 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/4873/task/4875/stat : 4875 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139902287334416 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4876] ppid=4870 vsize=27314120 memory=3906793291399775904 CPUtime=0 cores=0-7 /proc/4873/task/4876/stat : 4876 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139902118583440 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4877] ppid=4870 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4873/task/4877/stat : 4877 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901704448784 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4878] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4878/stat : 4878 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901703396240 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4879] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4879/stat : 4879 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901702343184 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4880] ppid=4870 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4873/task/4880/stat : 4880 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901701290640 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4881] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4881/stat : 4881 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901700237584 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4882] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4882/stat : 4882 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901699185040 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4883] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4883/stat : 4883 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571506 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901140200176 139902283102850 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4884] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4884/stat : 4884 (java) S 4870 4870 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509571506 27969658880 31298 33554432000 4194304 4196468 140721027024128 139900238161568 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4885] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4885/stat : 4885 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571507 27969658880 31298 33554432000 4194304 4196468 140721027024128 139899969725680 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4886] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4886/stat : 4886 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 31298 33554432000 4194304 4196468 140721027024128 139899595217360 139902283110299 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4887] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4887/stat : 4887 (java) S 4870 4870 4670 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901139146992 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4888] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4888/stat : 4888 (java) S 4870 4870 4670 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901138094448 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4889] ppid=4870 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4873/task/4889/stat : 4889 (java) S 4870 4870 4670 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901137041392 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4890] ppid=4870 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/4873/task/4890/stat : 4890 (java) R 4870 4870 4670 0 -1 4202560 488 0 0 0 2 0 0 0 20 0 20 0 509571509 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901135988848 139902283113050 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4891] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4891/stat : 4891 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509571510 27969658880 31298 33554432000 4194304 4196468 140721027024128 139899097312224 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4892] ppid=4870 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4873/task/4892/stat : 4892 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571510 27969658880 31298 33554432000 4194304 4196468 140721027024128 139901134937264 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126564 KiB [startup+0.310879 s]* /proc/loadavg: 6.78 4.52 1.97 3/212 4892 /proc/meminfo: memFree=25220820/32770688 swapFree=67001272/67108860 [pid=4870] ppid=4867 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4870/stat : 4870 (scop.sh) S 4867 4870 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509571501 115843072 349 33554432000 4194304 5098028 140721063288896 140721063286152 140177142715004 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24117248 140721063297828 140721063298156 140721063298156 140721063301069 0 /proc/4870/statm: 28282 349 296 221 0 87 0 [pid=4873] ppid=4870 vsize=27314120 memory=128588 CPUtime=0.42 cores=0-7 /proc/4873/stat : 4873 (java) S 4870 4870 4670 0 -1 1077944320 12496 0 0 0 37 5 0 0 20 0 20 0 509571501 27969658880 32147 33554432000 4194304 4196468 140721027024128 140721027006672 139902283091703 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 /proc/4873/statm: 6828530 32147 3022 1 0 6790935 0 [pid=4873/tid=4874] ppid=4870 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/4873/task/4874/stat : 4874 (java) R 4870 4870 4670 0 -1 4202560 9991 0 0 0 26 4 0 0 20 0 20 0 509571502 27969658880 32213 33554432000 4194304 4196468 140721027024128 139902254916480 139902267172220 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4875] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4875/stat : 4875 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32213 33554432000 4194304 4196468 140721027024128 139902287334416 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4876] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4876/stat : 4876 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32227 33554432000 4194304 4196468 140721027024128 139902118583440 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4877] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4877/stat : 4877 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901704448784 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4878] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4878/stat : 4878 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901703396240 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4879] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4879/stat : 4879 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901702343184 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4880] ppid=4870 vsize=27314120 memory=140279805995695 CPUtime=0 cores=0-7 /proc/4873/task/4880/stat : 4880 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901701290640 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4881] ppid=4870 vsize=27314120 memory=140279805998000 CPUtime=0 cores=0-7 /proc/4873/task/4881/stat : 4881 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901700237584 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4882] ppid=4870 vsize=27314120 memory=140279806000304 CPUtime=0 cores=0-7 /proc/4873/task/4882/stat : 4882 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901699185040 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4883] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4883/stat : 4883 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571506 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901140200176 139902283102850 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4884] ppid=4870 vsize=27314120 memory=280559612014480 CPUtime=0 cores=0-7 /proc/4873/task/4884/stat : 4884 (java) S 4870 4870 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509571506 27969658880 32227 33554432000 4194304 4196468 140721027024128 139900238161568 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4885] ppid=4870 vsize=27314120 memory=280559612012176 CPUtime=0 cores=0-7 /proc/4873/task/4885/stat : 4885 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571507 27969658880 32227 33554432000 4194304 4196468 140721027024128 139899969725680 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4886] ppid=4870 vsize=27314120 memory=280559612019088 CPUtime=0 cores=0-7 /proc/4873/task/4886/stat : 4886 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 32227 33554432000 4194304 4196468 140721027024128 139899595217360 139902283110299 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4887] ppid=4870 vsize=27314120 memory=280559611960336 CPUtime=0 cores=0-7 /proc/4873/task/4887/stat : 4887 (java) R 4870 4870 4670 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901139146992 139902262753696 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4888] ppid=4870 vsize=27314120 memory=280559612032912 CPUtime=0 cores=0-7 /proc/4873/task/4888/stat : 4888 (java) S 4870 4870 4670 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 509571509 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901138094448 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4889] ppid=4870 vsize=27314120 memory=280559612039824 CPUtime=0.01 cores=0-7 /proc/4873/task/4889/stat : 4889 (java) S 4870 4870 4670 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 20 0 509571509 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901137041392 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4890] ppid=4870 vsize=27314120 memory=280559612037520 CPUtime=0.07 cores=0-7 /proc/4873/task/4890/stat : 4890 (java) S 4870 4870 4670 0 -1 1077944384 594 0 0 0 7 0 0 0 20 0 20 0 509571509 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901135988848 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4891] ppid=4870 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4891/stat : 4891 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509571510 27969658880 32227 33554432000 4194304 4196468 140721027024128 139899097312224 139902283101909 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4892] ppid=4870 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/4873/task/4892/stat : 4892 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571510 27969658880 32227 33554432000 4194304 4196468 140721027024128 139901134937264 139902283102850 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129984 KiB [startup+0.700947 s] /proc/loadavg: 6.78 4.52 1.97 2/212 4892 /proc/meminfo: memFree=25207980/32770688 swapFree=67001272/67108860 [pid=4870] ppid=4867 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/4870/stat : 4870 (scop.sh) S 4867 4870 4670 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 509571501 115843072 349 33554432000 4194304 5098028 140721063288896 140721063286152 140177142715004 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24117248 140721063297828 140721063298156 140721063298156 140721063301069 0 /proc/4870/statm: 28282 349 296 221 0 87 0 [pid=4873] ppid=4870 vsize=27320392 memory=158268 CPUtime=0.89 cores=0-7 /proc/4873/stat : 4873 (java) S 4870 4870 4670 0 -1 1077944320 19203 0 0 0 82 7 0 0 20 0 20 0 509571501 27976081408 39567 33554432000 4194304 4196468 140721027024128 140721027006672 139902283091703 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 /proc/4873/statm: 6830098 39567 3100 1 0 6791447 0 [pid=4873/tid=4874] ppid=4870 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/4873/task/4874/stat : 4874 (java) R 4870 4870 4670 0 -1 4202560 16455 0 0 0 62 6 0 0 20 0 20 0 509571502 27976081408 39567 33554432000 4194304 4196468 140721027024128 139902254915456 139902283105585 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4875] ppid=4870 vsize=27320392 memory=140279806206832 CPUtime=0 cores=0-7 /proc/4873/task/4875/stat : 4875 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27976081408 39567 33554432000 4194304 4196468 140721027024128 139902287334416 139902283101909 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4876] ppid=4870 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/4873/task/4876/stat : 4876 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509571504 27976081408 39567 33554432000 4194304 4196468 140721027024128 139902118583440 139902283101909 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 [pid=4873/tid=4877] ppid=4870 vsize=27320392 memory=1564 CPUtime=0 cores=0-7 /proc/4873/task/4877/stat : 4877 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509571504 27976081408 39567 33554432000 4194304 4196468 140721027024128 139901704448784 139902283101909 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23416832 140721027031787 140721027032214 140721027032214 140721027035087 0 ################ # More data... # ################ /proc/4896/task/4902/stat : 4902 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638863809168 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4903] ppid=4870 vsize=8414124 memory=-8096454439705354400 CPUtime=0 cores=0-7 /proc/4896/task/4903/stat : 4903 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638862756368 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4904] ppid=4870 vsize=8414124 memory=9023629670928638048 CPUtime=0 cores=0-7 /proc/4896/task/4904/stat : 4904 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638861703568 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4905] ppid=4870 vsize=8414124 memory=6872598998417432672 CPUtime=0 cores=0-7 /proc/4896/task/4905/stat : 4905 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638860650768 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4906] ppid=4870 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/4896/task/4906/stat : 4906 (java) S 4870 4870 4670 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638139542384 139639381633666 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4907] ppid=4870 vsize=8414124 memory=168920 CPUtime=0 cores=0-7 /proc/4896/task/4907/stat : 4907 (java) S 4870 4870 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638043829792 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4908] ppid=4870 vsize=8414124 memory=5009056 CPUtime=0 cores=0-7 /proc/4896/task/4908/stat : 4908 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42230 33554432000 4194304 4196468 140730171353824 139637775394160 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4909] ppid=4870 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/4896/task/4909/stat : 4909 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139637400885584 139639381641115 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4910] ppid=4870 vsize=8414124 memory=168920 CPUtime=0.33 cores=0-7 /proc/4896/task/4910/stat : 4910 (java) S 4870 4870 4670 0 -1 1077944384 1325 0 0 0 33 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638138489200 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4911] ppid=4870 vsize=8414124 memory=280559612252192 CPUtime=0.27 cores=0-7 /proc/4896/task/4911/stat : 4911 (java) S 4870 4870 4670 0 -1 1077944384 548 0 0 0 27 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638137436400 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4912] ppid=4870 vsize=8414124 memory=23289191729898 CPUtime=0.28 cores=0-7 /proc/4896/task/4912/stat : 4912 (java) S 4870 4870 4670 0 -1 1077944384 622 0 0 0 28 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638136383600 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4913] ppid=4870 vsize=8414124 memory=23289191729898 CPUtime=0.27 cores=0-7 /proc/4896/task/4913/stat : 4913 (java) S 4870 4870 4670 0 -1 1077944384 597 0 0 0 27 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638135330800 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4914] ppid=4870 vsize=8414124 memory=280559613129008 CPUtime=0 cores=0-7 /proc/4896/task/4914/stat : 4914 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509576546 8616062976 42230 33554432000 4194304 4196468 140730171353824 139636902980704 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4915] ppid=4870 vsize=8414124 memory=23203292383978 CPUtime=0 cores=0-7 /proc/4896/task/4915/stat : 4915 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509576546 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638134279216 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4917] ppid=4870 vsize=8414124 memory=23203292383978 CPUtime=0 cores=0-7 /proc/4896/task/4917/stat : 4917 (java) S 4870 4870 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638126245440 139639381647129 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4919] ppid=4870 vsize=8414124 memory=23203292383978 CPUtime=0 cores=0-7 /proc/4896/task/4919/stat : 4919 (java) S 4870 4870 4670 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42230 33554432000 4194304 4196468 140730171353824 139636231880368 139639381644445 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4920] ppid=4870 vsize=8414124 memory=23203292383978 CPUtime=0 cores=0-7 /proc/4896/task/4920/stat : 4920 (java) S 4870 4870 4670 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42230 33554432000 4194304 4196468 140730171353824 139636500315696 139639381644445 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4921] ppid=4870 vsize=8414124 memory=23203292383978 CPUtime=0 cores=0-7 /proc/4896/task/4921/stat : 4921 (java) S 4870 4870 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509576700 8616062976 42230 33554432000 4194304 4196468 140730171353824 139635963452464 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 14085040 KiB Current children cumulated memory: 5195688 KiB [startup+72.8011 s] /proc/loadavg: 2.89 3.81 1.91 4/219 4924 /proc/meminfo: memFree=19861768/32770688 swapFree=67001272/67108860 [pid=4870] ppid=4867 vsize=113128 memory=1476 CPUtime=62.91 cores=0-7 /proc/4870/stat : 4870 (scop.sh) S 4867 4870 4670 0 -1 4202496 582 49927 0 0 0 0 6051 240 20 0 1 0 509571501 115843072 369 33554432000 4194304 5098028 140721063288896 140721063285640 140177142715004 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24117248 140721063297828 140721063298156 140721063298156 140721063301069 0 /proc/4870/statm: 28282 369 311 221 0 87 0 [pid=4896] ppid=4870 vsize=8414124 memory=168920 CPUtime=2.84 cores=0-7 /proc/4896/stat : 4896 (java) S 4870 4870 4670 0 -1 1077944320 21469 0 0 0 235 49 0 0 20 0 24 0 509576538 8616062976 42230 33554432000 4194304 4196468 140730171353824 140730171336368 139639381622519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 /proc/4896/statm: 2103531 42230 3231 1 0 2064875 0 [pid=4916] ppid=4896 vsize=5557788 memory=5030996 CPUtime=38.21 cores=0-7 /proc/4916/stat : 4916 (manyglucose-4.1) R 4896 4870 4670 0 -1 4202496 1863313 0 0 0 3492 329 0 0 20 0 1 0 509576698 5691174912 1257749 33554432000 4194304 4454172 140722324843328 140722324841712 4329051 0 4 0 8388610 0 0 0 17 2 0 0 33 0 0 6552832 6554400 34381824 140722324845418 140722324845616 140722324845616 140722324848570 0 /proc/4916/statm: 1389447 1257749 403 64 0 1385115 0 [pid=4896/tid=4897] ppid=4870 vsize=8414124 memory=5012652 CPUtime=1.62 cores=0-7 /proc/4896/task/4897/stat : 4897 (java) S 4870 4870 4670 0 -1 1077944384 16981 0 0 0 117 45 0 0 20 0 24 0 509576539 8616062976 42230 33554432000 4194304 4196468 140730171353824 139639353462688 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4898] ppid=4870 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/4896/task/4898/stat : 4898 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139639385865360 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4899] ppid=4870 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/4896/task/4899/stat : 4899 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139639186033680 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4900] ppid=4870 vsize=8414124 memory=168920 CPUtime=0 cores=0-7 /proc/4896/task/4900/stat : 4900 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638865914768 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4901] ppid=4870 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/4896/task/4901/stat : 4901 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638864861968 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4902] ppid=4870 vsize=8414124 memory=6124 CPUtime=0 cores=0-7 /proc/4896/task/4902/stat : 4902 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638863809168 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4903] ppid=4870 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/4896/task/4903/stat : 4903 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638862756368 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4904] ppid=4870 vsize=8414124 memory=3516 CPUtime=0 cores=0-7 /proc/4896/task/4904/stat : 4904 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638861703568 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4905] ppid=4870 vsize=8414124 memory=1088 CPUtime=0 cores=0-7 /proc/4896/task/4905/stat : 4905 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638860650768 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4906] ppid=4870 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/4896/task/4906/stat : 4906 (java) S 4870 4870 4670 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638139542384 139639381633666 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4907] ppid=4870 vsize=8414124 memory=1564 CPUtime=0 cores=0-7 /proc/4896/task/4907/stat : 4907 (java) S 4870 4870 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638043829792 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4908] ppid=4870 vsize=8414124 memory=-4075877051373423738 CPUtime=0 cores=0-7 /proc/4896/task/4908/stat : 4908 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42230 33554432000 4194304 4196468 140730171353824 139637775394160 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4909] ppid=4870 vsize=8414124 memory=280559614003824 CPUtime=0 cores=0-7 /proc/4896/task/4909/stat : 4909 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139637400885584 139639381641115 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4910] ppid=4870 vsize=8414124 memory=0 CPUtime=0.33 cores=0-7 /proc/4896/task/4910/stat : 4910 (java) S 4870 4870 4670 0 -1 1077944384 1325 0 0 0 33 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638138489200 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4911] ppid=4870 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7 /proc/4896/task/4911/stat : 4911 (java) S 4870 4870 4670 0 -1 1077944384 548 0 0 0 27 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638137436400 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4912] ppid=4870 vsize=8414124 memory=0 CPUtime=0.28 cores=0-7 /proc/4896/task/4912/stat : 4912 (java) S 4870 4870 4670 0 -1 1077944384 622 0 0 0 28 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638136383600 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4913] ppid=4870 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7 /proc/4896/task/4913/stat : 4913 (java) S 4870 4870 4670 0 -1 1077944384 597 0 0 0 27 0 0 0 20 0 24 0 509576545 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638135330800 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4914] ppid=4870 vsize=8414124 memory=9041 CPUtime=0 cores=0-7 /proc/4896/task/4914/stat : 4914 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509576546 8616062976 42230 33554432000 4194304 4196468 140730171353824 139636902980704 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4915] ppid=4870 vsize=8414124 memory=140279807012085 CPUtime=0 cores=0-7 /proc/4896/task/4915/stat : 4915 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509576546 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638134279216 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4917] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4917/stat : 4917 (java) S 4870 4870 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42230 33554432000 4194304 4196468 140730171353824 139638126245440 139639381647129 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4919] ppid=4870 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/4896/task/4919/stat : 4919 (java) S 4870 4870 4670 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42230 33554432000 4194304 4196468 140730171353824 139636231880368 139639381644445 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4920] ppid=4870 vsize=8414124 memory=168920 CPUtime=0 cores=0-7 /proc/4896/task/4920/stat : 4920 (java) S 4870 4870 4670 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42230 33554432000 4194304 4196468 140730171353824 139636500315696 139639381644445 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4921] ppid=4870 vsize=8414124 memory=5030068 CPUtime=0 cores=0-7 /proc/4896/task/4921/stat : 4921 (java) S 4870 4870 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509576700 8616062976 42230 33554432000 4194304 4196468 140730171353824 139635963452464 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 Current children cumulated CPU time: 103.96 s Current children cumulated vsize: 14085040 KiB Current children cumulated memory: 5201392 KiB [startup+73.0012 s]* /proc/loadavg: 2.89 3.81 1.91 2/216 4924 /proc/meminfo: memFree=24001332/32770688 swapFree=67001272/67108860 [pid=4870] ppid=4867 vsize=113128 memory=1476 CPUtime=62.91 cores=0-7 /proc/4870/stat : 4870 (scop.sh) S 4867 4870 4670 0 -1 4202496 582 49927 0 0 0 0 6051 240 20 0 1 0 509571501 115843072 369 33554432000 4194304 5098028 140721063288896 140721063285640 140177142715004 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24117248 140721063297828 140721063298156 140721063298156 140721063301069 0 /proc/4870/statm: 28282 369 311 221 0 87 0 [pid=4896] ppid=4870 vsize=8414124 memory=169772 CPUtime=2.88 cores=0-7 /proc/4896/stat : 4896 (java) S 4870 4870 4670 0 -1 1077944320 21700 0 0 0 238 50 0 0 20 0 24 0 509576538 8616062976 42443 33554432000 4194304 4196468 140730171353824 140730171336368 139639381622519 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 /proc/4896/statm: 2103531 42443 3231 1 0 2064875 0 [pid=4896/tid=4897] ppid=4870 vsize=8414124 memory=1398722017469774279 CPUtime=1.62 cores=0-7 /proc/4896/task/4897/stat : 4897 (java) S 4870 4870 4670 0 -1 1077944384 16981 0 0 0 117 45 0 0 20 0 24 0 509576539 8616062976 42443 33554432000 4194304 4196468 140730171353824 139639353462688 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4898] ppid=4870 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4896/task/4898/stat : 4898 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139639385865360 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4899] ppid=4870 vsize=8414124 memory=1728 CPUtime=0 cores=0-7 /proc/4896/task/4899/stat : 4899 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139639186033680 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4900] ppid=4870 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/4896/task/4900/stat : 4900 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638865914768 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4901] ppid=4870 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/4896/task/4901/stat : 4901 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638864861968 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4902] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4902/stat : 4902 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638863809168 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4903] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4903/stat : 4903 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638862756368 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4904] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4904/stat : 4904 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638861703568 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4905] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4905/stat : 4905 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576540 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638860650768 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4906] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4906/stat : 4906 (java) S 4870 4870 4670 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638139542384 139639381633666 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4907] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4907/stat : 4907 (java) S 4870 4870 4670 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638043829792 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4908] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4908/stat : 4908 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576542 8616062976 42443 33554432000 4194304 4196468 140730171353824 139637775394160 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4909] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4909/stat : 4909 (java) S 4870 4870 4670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509576545 8616062976 42443 33554432000 4194304 4196468 140730171353824 139637400885584 139639381641115 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4910] ppid=4870 vsize=8414124 memory=0 CPUtime=0.34 cores=0-7 /proc/4896/task/4910/stat : 4910 (java) S 4870 4870 4670 0 -1 1077944384 1325 0 0 0 33 1 0 0 20 0 24 0 509576545 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638138489200 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4911] ppid=4870 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7 /proc/4896/task/4911/stat : 4911 (java) S 4870 4870 4670 0 -1 1077944384 551 0 0 0 27 0 0 0 20 0 24 0 509576545 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638137436400 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4912] ppid=4870 vsize=8414124 memory=0 CPUtime=0.28 cores=0-7 /proc/4896/task/4912/stat : 4912 (java) S 4870 4870 4670 0 -1 1077944384 622 0 0 0 28 0 0 0 20 0 24 0 509576545 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638136383600 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4913] ppid=4870 vsize=8414124 memory=0 CPUtime=0.29 cores=0-7 /proc/4896/task/4913/stat : 4913 (java) S 4870 4870 4670 0 -1 1077944384 818 0 0 0 28 1 0 0 20 0 24 0 509576545 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638135330800 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4914] ppid=4870 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/4896/task/4914/stat : 4914 (java) S 4870 4870 4670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509576546 8616062976 42443 33554432000 4194304 4196468 140730171353824 139636902980704 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4915] ppid=4870 vsize=8414124 memory=3611942015046004767 CPUtime=0 cores=0-7 /proc/4896/task/4915/stat : 4915 (java) S 4870 4870 4670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509576546 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638134279216 139639381633666 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4917] ppid=4870 vsize=8414124 memory=7019467087973267763 CPUtime=0 cores=0-7 /proc/4896/task/4917/stat : 4917 (java) S 4870 4870 4670 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42443 33554432000 4194304 4196468 140730171353824 139638126245440 139639381647129 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4919] ppid=4870 vsize=8414124 memory=7014751519583524453 CPUtime=0.01 cores=0-7 /proc/4896/task/4919/stat : 4919 (java) S 4870 4870 4670 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 24 0 509576698 8616062976 42443 33554432000 4194304 4196468 140730171353824 139636231880400 139639381644445 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4920] ppid=4870 vsize=8414124 memory=6147521520061272144 CPUtime=0 cores=0-7 /proc/4896/task/4920/stat : 4920 (java) S 4870 4870 4670 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 509576698 8616062976 42443 33554432000 4194304 4196468 140730171353824 139636500315696 139639381644445 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 [pid=4896/tid=4921] ppid=4870 vsize=8414124 memory=6440241270873941074 CPUtime=0 cores=0-7 /proc/4896/task/4921/stat : 4921 (java) S 4870 4870 4670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 509576700 8616062976 42443 33554432000 4194304 4196468 140730171353824 139635963452464 139639381632725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140730171356152 140730171356310 140730171356310 140730171359183 0 Current children cumulated CPU time: 65.79 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 171248 KiB Child status: 0 Real time (s): 73.0872 CPU time (s): 104.326 CPU user time (s): 97.9062 CPU system time (s): 6.42012 CPU usage (%): 142.742 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 6081828 getrusage(RUSAGE_CHILDREN,...) data: user time used= 97.9062 system time used= 6.42012 maximum resident set size= 6080752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1936023 page faults= 0 swaps= 0 block input operations= 16 block output operations= 573864 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25251 involuntary context switches= 214 # summary of solver processes directly reported to runsolver: # pid: 4870 # total CPU time (s): 104.326 # total CPU user time (s): 97.9062 # total CPU system time (s): 6.42012 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.579154 second user time and 0.869709 second system time The end
Begin job on node116 at 2019-09-24 16:44:17 IDJOB=4405606 IDBENCH=126851 IDSOLVER=2868 FILE ID=node116/4405606-1569336299 RUNJOBID= node116-1569335937-4697 PBS_JOBID= 21705067 Free space on /tmp= 6528 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0450.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-4405606-1569336299/watcher-4405606-1569336299 -o /tmp/evaluation-result-4405606-1569336299/solver-4405606-1569336299 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569335937-4697 --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-4405606-1569336299.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ffc1a166c9e21b9812230f61f9b6f38e RANDOM SEED=969539028 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 25338836 kB MemAvailable: 31842164 kB Buffers: 93888 kB Cached: 6573128 kB SwapCached: 3388 kB Active: 3314632 kB Inactive: 3357944 kB Active(anon): 7228 kB Inactive(anon): 54044 kB Active(file): 3307404 kB Inactive(file): 3303900 kB Unevictable: 109496 kB Mlocked: 109496 kB SwapTotal: 67108860 kB SwapFree: 67001272 kB Dirty: 24152 kB Writeback: 0 kB AnonPages: 112208 kB Mapped: 56364 kB Shmem: 47768 kB Slab: 349068 kB SReclaimable: 320484 kB SUnreclaim: 28584 kB KernelStack: 3440 kB PageTables: 5744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 513988 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6504 MiB End job on node116 at 2019-09-24 16:45:31