| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 114.919 | 19.8066 |
| Name | Primes/ Primes-m1-p10/Primes-10-60-3-5.xml |
| MD5SUM | be3388c5d29b2a85b1452e4a694387b2 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.303618 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 60 |
| Number of domains | 1 |
| Minimum domain size | 28 |
| Maximum domain size | 28 |
| Distribution of domain sizes | [{"size":28,"count":99}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 8 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":14},{"degree":2,"count":13},{"degree":3,"count":22},{"degree":4,"count":24},{"degree":5,"count":17},{"degree":6,"count":6},{"degree":7,"count":2},{"degree":8,"count":1}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 8 |
| Distribution of constraint arities | [{"arity":3,"count":5},{"arity":4,"count":10},{"arity":5,"count":15},{"arity":6,"count":8},{"arity":7,"count":9},{"arity":8,"count":13}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":60}] |
| 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-10910-serial-file.bin HOME/instance-4405525-1569341081.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 18:06:55 CEST 2019 0.66/0.56 c PID: 10913 0.66/0.56 c IP: 172.20.3.139 0.66/0.56 c HOST: node139.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.01/0.92 c (0,0) Parsing End 1.01/1.16 c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 60 ctr, max domain size 28 1.01/1.16 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.01/1.16 c (0,0) Constraint Name Generate Begin 1.01/1.16 c (0,0) Ctr:HOME/instance-4405525-1569341081.xml,Num:Var:WeightedSum 1.01/1.16 c (0,0) Constraint Name Generate End 1.01/1.16 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.01/1.16 c (0,0) CSP to CSPinCNF Begin 1.01/1.16 c (0,0) translated 6 (10%) constraints 1.01/1.16 c (0,0) translated 12 (20%) constraints 1.01/1.16 c (0,0) translated 18 (30%) constraints 1.01/1.16 c (0,0) translated 24 (40%) constraints 1.01/1.16 c (0,0) translated 30 (50%) constraints 1.01/1.16 c (0,0) translated 36 (60%) constraints 1.01/1.16 c (0,0) translated 42 (70%) constraints 1.01/1.16 c (0,0) translated 48 (80%) constraints 1.01/1.16 c (0,0) translated 54 (90%) constraints 1.01/1.16 c (0,0) translated 60 (100%) constraints 1.01/1.16 c (0,0) =========================================== 1.01/1.16 c (0,0) Hybrid: #OE=1, #LE=98 1.01/1.16 c (0,0) Hybrid 1.01/1.16 c (0,0) =========================================== 1.01/1.16 c (0,0) translated 6 (10%) constraints 1.01/1.16 c (0,0) translated 12 (20%) constraints 1.01/1.16 c (0,0) translated 18 (30%) constraints 1.01/1.16 c (0,0) translated 24 (40%) constraints 1.01/1.16 c (0,0) translated 30 (50%) constraints 1.01/1.16 c (0,0) translated 36 (60%) constraints 1.01/1.16 c (0,0) translated 42 (70%) constraints 1.01/1.17 c (0,0) translated 48 (80%) constraints 1.01/1.17 c (0,0) translated 54 (90%) constraints 1.01/1.18 c (0,0) translated 60 (100%) constraints 1.01/1.18 c (0,0) CSP to CSPinCNF End 1.01/1.18 c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28 1.01/1.18 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 1.01/1.18 c (0,0) CSPinCNF Propagation Begin 1.01/1.19 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 1.01/1.19 c (0,0) CSPinCNF Propagation End 1.01/1.19 c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28 1.01/1.19 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 1.01/1.20 c (0,0) Hybrid: #OE=1, #LE=98 1.01/1.20 c (0,0) Simplify CSPinCNF Begin 1.01/1.21 c (0,0) Simplify CSPinCNF End 1.01/1.21 c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28 1.01/1.21 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 1.01/1.21 c (0,0) Calculate Precise Domain Begin 1.01/1.21 c (0,0) 0 values are removed by re-calculation 1.01/1.21 c (0,0) Calculate Precise Domain End 1.01/1.21 c (0,0) CSP: 99 int (0 aux), 0 bool (0 aux), 120 ctr, max domain size 28 1.01/1.21 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 1.01/1.21 c (0,0) CSPinCNF to SatSolver Begin 3.16/1.58 c (1,1) 12 (10 %) CSP clauses are encoded (0 SAT variables, 69404 SAT clauses) 3.39/1.71 c (1,1) 24 (20 %) CSP clauses are encoded (0 SAT variables, 126285 SAT clauses) 3.39/1.79 c (1,1) 36 (30 %) CSP clauses are encoded (0 SAT variables, 158728 SAT clauses) 3.54/1.89 c (1,1) 48 (40 %) CSP clauses are encoded (0 SAT variables, 205663 SAT clauses) 3.80/2.01 c (1,1) 60 (50 %) CSP clauses are encoded (0 SAT variables, 256825 SAT clauses) 3.91/2.14 c (1,1) 72 (60 %) CSP clauses are encoded (0 SAT variables, 311509 SAT clauses) 4.12/2.30 c (1,1) 84 (70 %) CSP clauses are encoded (0 SAT variables, 384698 SAT clauses) 4.24/2.42 c (1,1) 96 (80 %) CSP clauses are encoded (0 SAT variables, 440785 SAT clauses) 4.34/2.53 c (1,1) 108 (90 %) CSP clauses are encoded (0 SAT variables, 489659 SAT clauses) 4.45/2.64 c (2,2) 120 (100 %) CSP clauses are encoded (0 SAT variables, 540247 SAT clauses) 4.45/2.65 c (2,2) CSPinCNF to SatSolver End 4.45/2.65 c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 4.45/2.65 c (2,2) 202754 bool, 545352 clause 4.45/2.65 c (2,2) Export Begin 4.58/2.78 c (2,2) Export to HOME/scop-10910-serial-file.bin 4.58/2.78 c (2,2) Export End 4.58/2.78 c (2,2) Export File Size: 0.09 MB 4.58/2.78 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS) 4.58/2.78 c END-Prog: Tue Sep 24 18:06:57 CEST 2019 0.00/2.81 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10910-serial-file.bin 4.80/3.27 c (0,0) Read Serial File Begin 4.80/3.27 c (0,0) HOME/scop-10910-serial-file.bin 5.85/3.52 c (0,0) Read Serial File End 5.85/3.53 5.85/3.53 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 5.85/3.53 (Solving Process) 5.85/3.53 5.85/3.55 c BEGIN-Prog: Tue Sep 24 18:06:57 CEST 2019 5.85/3.55 c PID: 10935 5.85/3.55 c IP: 172.20.3.139 5.85/3.55 c HOST: node139.alineos.net 5.85/3.56 c (0,0) SatSolver.solve Begin 5.85/3.56 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405525-1569341081.xml-scop-10913.cnf 5.85/3.59 c (0,0) c 5.85/3.59 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 5.85/3.59 c (0,0) c 5.85/3.59 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 5.85/3.59 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 5.85/3.59 c (0,0) c ========================================[ Problem Statistics ]=========================================== 5.85/3.59 c (0,0) c | | 6.16/3.83 c (0,0) c | Number of variables: 202754 | 6.16/3.83 c (0,0) c | Number of clauses: 545138 | 6.16/3.83 c (0,0) c | Parse time: 0.22 s | 6.16/3.83 c (0,0) c | | 7.07/4.58 c (1,0) c | Simplification time: 0.73 s | 7.07/4.58 c (1,0) c | | 7.07/4.58 c (1,0) c | Generating clones | 7.46/4.96 c (1,0) c | all clones generated. Memory = 585.80Mb. | 7.46/4.96 c (1,0) c ========================================================================================================| 7.46/4.96 c (1,0) c 7.46/4.96 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 7.46/4.96 c (1,0) c 7.46/4.96 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.46/4.96 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.46/4.96 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.46/4.96 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 7.46/4.96 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 7.46/4.96 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 7.46/4.96 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 7.46/4.96 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 7.46/4.96 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 7.46/4.96 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 7.46/4.96 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 7.46/4.96 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 7.46/4.96 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 7.46/4.96 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 7.46/4.96 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 7.46/4.96 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 7.46/4.96 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 7.46/4.96 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 7.46/4.96 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c 114.22/19.51 c (16,0) c real time : 15.9272 s 114.22/19.51 c (16,0) c cpu time : 107.128 s 114.22/19.51 c (16,0) c 114.22/19.51 c (16,0) c 114.22/19.51 c (16,0) c 114.22/19.51 c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 114.22/19.51 c (16,0) c 114.22/19.51 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 114.22/19.51 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c | Conflicts | 172992 | 21474 | 21254 | 21592 | 21160 | 20852 | 22697 | 22063 | 21900 | 114.22/19.51 c (16,0) c | Decisions | 661828 | 73901 | 73911 | 135103 | 71865 | 74790 | 80004 | 76788 | 75466 | 114.22/19.51 c (16,0) c | Propagations | 388592454 | 48575019 | 47902499 | 48331811 | 48362408 | 48206748 | 49529992 | 48551096 | 49132881 | 114.22/19.51 c (16,0) c | ReduceDBs | 24 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 114.22/19.51 c (16,0) c | SimpDBs | 176 | 22 | 24 | 21 | 23 | 23 | 22 | 22 | 19 | 114.22/19.51 c (16,0) c | Restarts | 581 | 70 | 89 | 58 | 81 | 75 | 73 | 76 | 59 | 114.22/19.51 c (16,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 114.22/19.51 c (16,0) c | PropBinClauses| 216327599 | 26720669 | 26682515 | 26801005 | 27269143 | 26813235 | 27602950 | 27121013 | 27317069 | 114.22/19.51 c (16,0) c | PropPreBlocker| 732940057 | 91512253 | 89944417 | 92472109 | 90394802 | 90785600 | 93881579 | 91063090 | 92886207 | 114.22/19.51 c (16,0) c | PropNotBlocker| 409414858 | 51111615 | 50146086 | 51568714 | 51195631 | 50620200 | 52394349 | 50888390 | 51489873 | 114.22/19.51 c (16,0) c | LitFullScans | 2025314959 | 252169579 | 252193847 | 253993911 | 252117817 | 252372192 | 258201470 | 252183286 | 252082857 | 114.22/19.51 c (16,0) c | LitScanFracts | 1316504 | 158483 | 179898 | 116271 | 106069 | 357694 | 185265 | 150967 | 61857 | 114.22/19.51 c (16,0) c | DecisionLevel0| 930 | 106 | 134 | 102 | 129 | 121 | 114 | 131 | 93 | 114.22/19.51 c (16,0) c | Periods | 337 | 42 | 42 | 42 | 42 | 42 | 43 | 42 | 42 | 114.22/19.51 c (16,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 114.22/19.51 c (16,0) c | Avg_Trail | | 21152 | 20414 | 21417 | 20731 | 21105 | 20084 | 20013 | 21551 | 114.22/19.51 c (16,0) c | Avg_DL | | 32 | 35 | 40 | 46 | 35 | 36 | 32 | 36 | 114.22/19.51 c (16,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 114.22/19.51 c (16,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 114.22/19.51 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c | Exported | 34020 | 4423 | 4279 | 4165 | 4219 | 4028 | 4397 | 4287 | 4222 | 114.22/19.51 c (16,0) c | Imported | 124333 | 14828 | 15795 | 16538 | 14760 | 15867 | 15683 | 15037 | 15825 | 114.22/19.51 c (16,0) c | Good | 12440 | 1522 | 1570 | 1598 | 1527 | 1549 | 1571 | 1527 | 1576 | 114.22/19.51 c (16,0) c | Purge | 111893 | 13306 | 14225 | 14940 | 13233 | 14318 | 14112 | 13510 | 14249 | 114.22/19.51 c (16,0) c | Promoted | 6825 | 752 | 952 | 863 | 740 | 868 | 882 | 942 | 826 | 114.22/19.51 c (16,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 114.22/19.51 c (16,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 114.22/19.51 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c | Unaries | | 36 | 45 | 44 | 48 | 46 | 41 | 55 | 34 | 114.22/19.51 c (16,0) c | Binaries | | 283 | 278 | 254 | 280 | 302 | 270 | 278 | 252 | 114.22/19.51 c (16,0) c | Glues | | 897 | 917 | 831 | 897 | 868 | 927 | 901 | 802 | 114.22/19.51 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c | Orig_Seen | 21 % | 91418 | 91814 | 97532 | 84837 | 91809 | 92540 | 97857 | 95373 | 114.22/19.51 c (16,0) c | Diff Orig seen| | - 6114 | - 5718 | X | - 12695 | - 5723 | - 4992 | 325 | - 2159 | 114.22/19.51 c (16,0) c | Hamming | 8 % | 17963 | 18072 | X | 17290 | 17110 | 17833 | 18311 | 17886 | 114.22/19.51 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c | RunningTime | | 14.5 100%| 13.8 100%| 12.9 100%| 13.1 100%| 13.1 100%| 13.1 100%| 13.0 100%| 13.5 100%| 114.22/19.51 c (16,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 114.22/19.51 c (16,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 114.22/19.51 c (16,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 114.22/19.51 c (16,0) c | SolvingTime | | 14.5 | 13.8 | 13.0 | 13.1 | 13.1 | 13.1 | 13.0 | 13.5 | 114.22/19.51 c (16,0) c | PropagationTim| | 12.8 88%| 12.0 87%| 11.1 86%| 11.3 86%| 11.3 86%| 11.3 86%| 11.2 86%| 11.7 87%| 114.22/19.51 c (16,0) c | AnalysisTime | | 0.6 4%| 0.6 4%| 0.6 5%| 0.6 5%| 0.6 5%| 0.6 5%| 0.6 5%| 0.7 5%| 114.22/19.51 c (16,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 114.22/19.51 c (16,0) c | SimplifyTime | | 0.3 2%| 0.3 2%| 0.3 2%| 0.3 2%| 0.3 2%| 0.3 2%| 0.3 2%| 0.3 2%| 114.22/19.51 c (16,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 114.22/19.51 c (16,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 114.22/19.51 c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.51 c (16,0) c 114.22/19.51 c (16,0) c 114.22/19.51 c (16,0) c Threads : 8 114.22/19.51 c (16,0) c Winner : 2 114.22/19.51 c (16,0) c Conflicts_0 : 21474 114.22/19.51 c (16,0) c Conflicts_1 : 21254 114.22/19.51 c (16,0) c Conflicts_2 : 21592 114.22/19.51 c (16,0) c Conflicts_3 : 21160 114.22/19.51 c (16,0) c Conflicts_4 : 20852 114.22/19.51 c (16,0) c Conflicts_5 : 22697 114.22/19.51 c (16,0) c Conflicts_6 : 22063 114.22/19.51 c (16,0) c Conflicts_7 : 21900 114.22/19.51 c (16,0) c Conflicts_total : 172992 114.22/19.51 c (16,0) c Conflicts_winner : 21592 114.22/19.51 c (16,0) c Decisions_0 : 73901 114.22/19.51 c (16,0) c Decisions_1 : 73911 114.22/19.51 c (16,0) c Decisions_2 : 135103 114.22/19.51 c (16,0) c Decisions_3 : 71865 114.22/19.51 c (16,0) c Decisions_4 : 74790 114.22/19.51 c (16,0) c Decisions_5 : 80004 114.22/19.51 c (16,0) c Decisions_6 : 76788 114.22/19.51 c (16,0) c Decisions_7 : 75466 114.22/19.51 c (16,0) c Decisions_total : 661828 114.22/19.51 c (16,0) c Decisions_winner : 135103 114.22/19.51 c (16,0) c Propagations_0 : 48575019 114.22/19.51 c (16,0) c Propagations_1 : 47902499 114.22/19.51 c (16,0) c Propagations_2 : 48331811 114.22/19.51 c (16,0) c Propagations_3 : 48362408 114.22/19.51 c (16,0) c Propagations_4 : 48206748 114.22/19.51 c (16,0) c Propagations_5 : 49529992 114.22/19.51 c (16,0) c Propagations_6 : 48551096 114.22/19.51 c (16,0) c Propagations_7 : 49132881 114.22/19.51 c (16,0) c Propagations_total : 388592454 114.22/19.51 c (16,0) c Propagations_winner : 48331811 114.22/19.51 c (16,0) c ReduceDBs_0 : 3 114.22/19.51 c (16,0) c ReduceDBs_1 : 3 114.22/19.51 c (16,0) c ReduceDBs_2 : 3 114.22/19.51 c (16,0) c ReduceDBs_3 : 3 114.22/19.51 c (16,0) c ReduceDBs_4 : 3 114.22/19.51 c (16,0) c ReduceDBs_5 : 3 114.22/19.51 c (16,0) c ReduceDBs_6 : 3 114.22/19.51 c (16,0) c ReduceDBs_7 : 3 114.22/19.51 c (16,0) c ReduceDBs_total : 24 114.22/19.51 c (16,0) c ReduceDBs_winner : 3 114.22/19.51 c (16,0) c SimpDBs_0 : 22 114.22/19.51 c (16,0) c SimpDBs_1 : 24 114.22/19.51 c (16,0) c SimpDBs_2 : 21 114.22/19.51 c (16,0) c SimpDBs_3 : 23 114.22/19.51 c (16,0) c SimpDBs_4 : 23 114.22/19.51 c (16,0) c SimpDBs_5 : 22 114.22/19.51 c (16,0) c SimpDBs_6 : 22 114.22/19.51 c (16,0) c SimpDBs_7 : 19 114.22/19.51 c (16,0) c SimpDBs_total : 176 114.22/19.51 c (16,0) c SimpDBs_winner : 21 114.22/19.51 c (16,0) c Restarts_0 : 70 114.22/19.51 c (16,0) c Restarts_1 : 89 114.22/19.51 c (16,0) c Restarts_2 : 58 114.22/19.51 c (16,0) c Restarts_3 : 81 114.22/19.51 c (16,0) c Restarts_4 : 75 114.22/19.51 c (16,0) c Restarts_5 : 73 114.22/19.51 c (16,0) c Restarts_6 : 76 114.22/19.51 c (16,0) c Restarts_7 : 59 114.22/19.51 c (16,0) c Restarts_total : 581 114.22/19.51 c (16,0) c Restarts_winner : 58 114.22/19.51 c (16,0) c ForcedImports_0 : 0 114.22/19.51 c (16,0) c ForcedImports_1 : 0 114.22/19.51 c (16,0) c ForcedImports_2 : 0 114.22/19.51 c (16,0) c ForcedImports_3 : 0 114.22/19.51 c (16,0) c ForcedImports_4 : 0 114.22/19.51 c (16,0) c ForcedImports_5 : 0 114.22/19.51 c (16,0) c ForcedImports_6 : 0 114.22/19.51 c (16,0) c ForcedImports_7 : 0 114.22/19.52 c (16,0) c ForcedImports_total : 0 114.22/19.52 c (16,0) c ForcedImports_winner : 0 114.22/19.52 c (16,0) c PropsBinClauses_0 : 26720669 114.22/19.52 c (16,0) c PropsBinClauses_1 : 26682515 114.22/19.52 c (16,0) c PropsBinClauses_2 : 26801005 114.22/19.52 c (16,0) c PropsBinClauses_3 : 27269143 114.22/19.52 c (16,0) c PropsBinClauses_4 : 26813235 114.22/19.52 c (16,0) c PropsBinClauses_5 : 27602950 114.22/19.52 c (16,0) c PropsBinClauses_6 : 27121013 114.22/19.52 c (16,0) c PropsBinClauses_7 : 27317069 114.22/19.52 c (16,0) c PropsBinClauses_total : 216327599 114.22/19.52 c (16,0) c PropsBinClauses_winner : 26801005 114.22/19.52 c (16,0) c PropsPreBlocker_0 : 91512253 114.22/19.52 c (16,0) c PropsPreBlocker_1 : 89944417 114.22/19.52 c (16,0) c PropsPreBlocker_2 : 92472109 114.22/19.52 c (16,0) c PropsPreBlocker_3 : 90394802 114.22/19.52 c (16,0) c PropsPreBlocker_4 : 90785600 114.22/19.52 c (16,0) c PropsPreBlocker_5 : 93881579 114.22/19.52 c (16,0) c PropsPreBlocker_6 : 91063090 114.22/19.52 c (16,0) c PropsPreBlocker_7 : 92886207 114.22/19.52 c (16,0) c PropsPreBlocker_total : 732940057 114.22/19.52 c (16,0) c PropsPreBlocker_winner : 92472109 114.22/19.52 c (16,0) c PropsNotBlocker_0 : 51111615 114.22/19.52 c (16,0) c PropsNotBlocker_1 : 50146086 114.22/19.52 c (16,0) c PropsNotBlocker_2 : 51568714 114.22/19.52 c (16,0) c PropsNotBlocker_3 : 51195631 114.22/19.52 c (16,0) c PropsNotBlocker_4 : 50620200 114.22/19.52 c (16,0) c PropsNotBlocker_5 : 52394349 114.22/19.52 c (16,0) c PropsNotBlocker_6 : 50888390 114.22/19.52 c (16,0) c PropsNotBlocker_7 : 51489873 114.22/19.52 c (16,0) c PropsNotBlocker_total : 409414858 114.22/19.52 c (16,0) c PropsNotBlocker_winner : 51568714 114.22/19.52 c (16,0) c PropsLitFullScans_0 : 252169579 114.22/19.52 c (16,0) c PropsLitFullScans_1 : 252193847 114.22/19.52 c (16,0) c PropsLitFullScans_2 : 253993911 114.22/19.52 c (16,0) c PropsLitFullScans_3 : 252117817 114.22/19.52 c (16,0) c PropsLitFullScans_4 : 252372192 114.22/19.52 c (16,0) c PropsLitFullScans_5 : 258201470 114.22/19.52 c (16,0) c PropsLitFullScans_6 : 252183286 114.22/19.52 c (16,0) c PropsLitFullScans_7 : 252082857 114.22/19.52 c (16,0) c PropsLitFullScans_total : 2025314959 114.22/19.52 c (16,0) c PropsLitFullScans_winner : 253993911 114.22/19.52 c (16,0) c LitScanFractions_0 : 158483 114.22/19.52 c (16,0) c LitScanFractions_1 : 179898 114.22/19.52 c (16,0) c LitScanFractions_2 : 116271 114.22/19.52 c (16,0) c LitScanFractions_3 : 106069 114.22/19.52 c (16,0) c LitScanFractions_4 : 357694 114.22/19.52 c (16,0) c LitScanFractions_5 : 185265 114.22/19.52 c (16,0) c LitScanFractions_6 : 150967 114.22/19.52 c (16,0) c LitScanFractions_7 : 61857 114.22/19.52 c (16,0) c LitScanFractions_total : 1316504 114.22/19.52 c (16,0) c LitScanFractions_winner : 116271 114.22/19.52 c (16,0) c DecisionLevel0_0 : 106 114.22/19.52 c (16,0) c DecisionLevel0_1 : 134 114.22/19.52 c (16,0) c DecisionLevel0_2 : 102 114.22/19.52 c (16,0) c DecisionLevel0_3 : 129 114.22/19.52 c (16,0) c DecisionLevel0_4 : 121 114.22/19.52 c (16,0) c DecisionLevel0_5 : 114 114.22/19.52 c (16,0) c DecisionLevel0_6 : 131 114.22/19.52 c (16,0) c DecisionLevel0_7 : 93 114.22/19.52 c (16,0) c DecisionLevel0_total : 930 114.22/19.52 c (16,0) c DecisionLevel0_winner : 102 114.22/19.52 c (16,0) c Periods_0 : 42 114.22/19.52 c (16,0) c Periods_1 : 42 114.22/19.52 c (16,0) c Periods_2 : 42 114.22/19.52 c (16,0) c Periods_3 : 42 114.22/19.52 c (16,0) c Periods_4 : 42 114.22/19.52 c (16,0) c Periods_5 : 43 114.22/19.52 c (16,0) c Periods_6 : 42 114.22/19.52 c (16,0) c Periods_7 : 42 114.22/19.52 c (16,0) c Periods_total : 337 114.22/19.52 c (16,0) c Periods_winner : 42 114.22/19.52 c (16,0) c Margin_0 : 20 114.22/19.52 c (16,0) c Margin_1 : 20 114.22/19.52 c (16,0) c Margin_2 : 20 114.22/19.52 c (16,0) c Margin_3 : 20 114.22/19.52 c (16,0) c Margin_4 : 20 114.22/19.52 c (16,0) c Margin_5 : 20 114.22/19.52 c (16,0) c Margin_6 : 20 114.22/19.52 c (16,0) c Margin_7 : 20 114.22/19.52 c (16,0) c Margin_total : 160 114.22/19.52 c (16,0) c Margin_winner : 20 114.22/19.52 c (16,0) c Exported_0 : 4423 114.22/19.52 c (16,0) c Exported_1 : 4279 114.22/19.52 c (16,0) c Exported_2 : 4165 114.22/19.52 c (16,0) c Exported_3 : 4219 114.22/19.52 c (16,0) c Exported_4 : 4028 114.22/19.52 c (16,0) c Exported_5 : 4397 114.22/19.52 c (16,0) c Exported_6 : 4287 114.22/19.52 c (16,0) c Exported_7 : 4222 114.22/19.52 c (16,0) c Exported_total : 34020 114.22/19.52 c (16,0) c Exported_winner : 4165 114.22/19.52 c (16,0) c Imported_0 : 14828 114.22/19.52 c (16,0) c Imported_1 : 15795 114.22/19.52 c (16,0) c Imported_2 : 16538 114.22/19.52 c (16,0) c Imported_3 : 14760 114.22/19.52 c (16,0) c Imported_4 : 15867 114.22/19.52 c (16,0) c Imported_5 : 15683 114.22/19.52 c (16,0) c Imported_6 : 15037 114.22/19.52 c (16,0) c Imported_7 : 15825 114.22/19.52 c (16,0) c Imported_total : 124333 114.22/19.52 c (16,0) c Imported_winner : 16538 114.22/19.52 c (16,0) c Good_0 : 1522 114.22/19.52 c (16,0) c Good_1 : 1570 114.22/19.52 c (16,0) c Good_2 : 1598 114.22/19.52 c (16,0) c Good_3 : 1527 114.22/19.52 c (16,0) c Good_4 : 1549 114.22/19.52 c (16,0) c Good_5 : 1571 114.22/19.52 c (16,0) c Good_6 : 1527 114.22/19.52 c (16,0) c Good_7 : 1576 114.22/19.52 c (16,0) c Good_total : 12440 114.22/19.52 c (16,0) c Good_winner : 1598 114.22/19.52 c (16,0) c Purge_0 : 13306 114.22/19.52 c (16,0) c Purge_1 : 14225 114.22/19.52 c (16,0) c Purge_2 : 14940 114.22/19.52 c (16,0) c Purge_3 : 13233 114.22/19.52 c (16,0) c Purge_4 : 14318 114.22/19.52 c (16,0) c Purge_5 : 14112 114.22/19.52 c (16,0) c Purge_6 : 13510 114.22/19.52 c (16,0) c Purge_7 : 14249 114.22/19.52 c (16,0) c Purge_total : 111893 114.22/19.52 c (16,0) c Purge_winner : 14940 114.22/19.52 c (16,0) c Promoted_0 : 752 114.22/19.52 c (16,0) c Promoted_1 : 952 114.22/19.52 c (16,0) c Promoted_2 : 863 114.22/19.52 c (16,0) c Promoted_3 : 740 114.22/19.52 c (16,0) c Promoted_4 : 868 114.22/19.52 c (16,0) c Promoted_5 : 882 114.22/19.52 c (16,0) c Promoted_6 : 942 114.22/19.52 c (16,0) c Promoted_7 : 826 114.22/19.52 c (16,0) c Promoted_total : 6825 114.22/19.52 c (16,0) c Promoted_winner : 863 114.22/19.52 c (16,0) c Remove_Imp_0 : 0 114.22/19.52 c (16,0) c Remove_Imp_1 : 0 114.22/19.52 c (16,0) c Remove_Imp_2 : 0 114.22/19.52 c (16,0) c Remove_Imp_3 : 0 114.22/19.52 c (16,0) c Remove_Imp_4 : 0 114.22/19.52 c (16,0) c Remove_Imp_5 : 0 114.22/19.52 c (16,0) c Remove_Imp_6 : 0 114.22/19.52 c (16,0) c Remove_Imp_7 : 0 114.22/19.52 c (16,0) c Remove_Imp_total : 0 114.22/19.52 c (16,0) c Remove_Imp_winner : 0 114.22/19.52 c (16,0) c Blocked_Reuse_0 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_1 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_2 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_3 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_4 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_5 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_6 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_7 : 0 114.22/19.52 c (16,0) c Blocked_Reuse_total : 0 114.22/19.52 c (16,0) c Blocked_Reuse_winner : 0 114.22/19.52 c (16,0) c Unaries_0 : 36 114.22/19.52 c (16,0) c Unaries_1 : 45 114.22/19.52 c (16,0) c Unaries_2 : 44 114.22/19.52 c (16,0) c Unaries_3 : 48 114.22/19.52 c (16,0) c Unaries_4 : 46 114.22/19.52 c (16,0) c Unaries_5 : 41 114.22/19.52 c (16,0) c Unaries_6 : 55 114.22/19.52 c (16,0) c Unaries_7 : 34 114.22/19.52 c (16,0) c Unaries_total : 349 114.22/19.52 c (16,0) c Unaries_winner : 44 114.22/19.52 c (16,0) c Binaries_0 : 283 114.22/19.52 c (16,0) c Binaries_1 : 278 114.22/19.52 c (16,0) c Binaries_2 : 254 114.22/19.52 c (16,0) c Binaries_3 : 280 114.22/19.52 c (16,0) c Binaries_4 : 302 114.22/19.52 c (16,0) c Binaries_5 : 270 114.22/19.52 c (16,0) c Binaries_6 : 278 114.22/19.52 c (16,0) c Binaries_7 : 252 114.22/19.52 c (16,0) c Binaries_total : 2197 114.22/19.52 c (16,0) c Binaries_winner : 254 114.22/19.52 c (16,0) c Glues_0 : 897 114.22/19.52 c (16,0) c Glues_1 : 917 114.22/19.52 c (16,0) c Glues_2 : 831 114.22/19.52 c (16,0) c Glues_3 : 897 114.22/19.52 c (16,0) c Glues_4 : 868 114.22/19.52 c (16,0) c Glues_5 : 927 114.22/19.52 c (16,0) c Glues_6 : 901 114.22/19.52 c (16,0) c Glues_7 : 802 114.22/19.52 c (16,0) c Glues_total : 7040 114.22/19.52 c (16,0) c Glues_winner : 831 114.22/19.52 c (16,0) c RunningTime_0 : 14.530288 114.22/19.52 c (16,0) c RunningTime_1 : 13.803686 114.22/19.52 c (16,0) c RunningTime_2 : 12.948762 114.22/19.52 c (16,0) c RunningTime_3 : 13.094027 114.22/19.52 c (16,0) c RunningTime_4 : 13.074187 114.22/19.52 c (16,0) c RunningTime_5 : 13.061507 114.22/19.52 c (16,0) c RunningTime_6 : 12.987437 114.22/19.52 c (16,0) c RunningTime_7 : 13.495672 114.22/19.52 c (16,0) c RunningTime_total : 106.995566 114.22/19.52 c (16,0) c RunningTime_winner : 12.948762 114.22/19.52 c (16,0) c WaitingTime_0 : 0.000017 114.22/19.52 c (16,0) c WaitingTime_1 : 0.000037 114.22/19.52 c (16,0) c WaitingTime_2 : 0.000042 114.22/19.52 c (16,0) c WaitingTime_3 : 0.000043 114.22/19.52 c (16,0) c WaitingTime_4 : 0.000035 114.22/19.52 c (16,0) c WaitingTime_5 : 0.000046 114.22/19.52 c (16,0) c WaitingTime_6 : 0.000043 114.22/19.52 c (16,0) c WaitingTime_7 : 0.000036 114.22/19.52 c (16,0) c WaitingTime_total : 0.000299 114.22/19.52 c (16,0) c WaitingTime_winner : 0.000042 114.22/19.52 c (16,0) c ExchangingTime_0 : 0.007782 114.22/19.52 c (16,0) c ExchangingTime_1 : 0.007401 114.22/19.52 c (16,0) c ExchangingTime_2 : 0.007683 114.22/19.52 c (16,0) c ExchangingTime_3 : 0.008149 114.22/19.52 c (16,0) c ExchangingTime_4 : 0.007781 114.22/19.52 c (16,0) c ExchangingTime_5 : 0.007942 114.22/19.52 c (16,0) c ExchangingTime_6 : 0.008029 114.22/19.52 c (16,0) c ExchangingTime_7 : 0.007681 114.22/19.52 c (16,0) c ExchangingTime_total : 0.062448 114.22/19.52 c (16,0) c ExchangingTime_winner : 0.007683 114.22/19.52 c (16,0) c PeriodProcTime_0 : 0.000444 114.22/19.52 c (16,0) c PeriodProcTime_1 : 0.000403 114.22/19.52 c (16,0) c PeriodProcTime_2 : 0.000397 114.22/19.52 c (16,0) c PeriodProcTime_3 : 0.000387 114.22/19.52 c (16,0) c PeriodProcTime_4 : 0.000429 114.22/19.52 c (16,0) c PeriodProcTime_5 : 0.000428 114.22/19.52 c (16,0) c PeriodProcTime_6 : 0.000418 114.22/19.52 c (16,0) c PeriodProcTime_7 : 0.000425 114.22/19.52 c (16,0) c PeriodProcTime_total : 0.003331 114.22/19.52 c (16,0) c PeriodProcTime_winner : 0.000397 114.22/19.52 c (16,0) c SolvingTime_0 : 14.538531 114.22/19.52 c (16,0) c SolvingTime_1 : 13.811527 114.22/19.52 c (16,0) c SolvingTime_2 : 12.956884 114.22/19.52 c (16,0) c SolvingTime_3 : 13.102605 114.22/19.52 c (16,0) c SolvingTime_4 : 13.082432 114.22/19.52 c (16,0) c SolvingTime_5 : 13.069923 114.22/19.52 c (16,0) c SolvingTime_6 : 12.995928 114.22/19.52 c (16,0) c SolvingTime_7 : 13.503813 114.22/19.52 c (16,0) c SolvingTime_total : 107.061643 114.22/19.52 c (16,0) c SolvingTime_winner : 12.956884 114.22/19.52 c (16,0) c PropagationTime_0 : 12.781672 114.22/19.52 c (16,0) c PropagationTime_1 : 12.021456 114.22/19.52 c (16,0) c PropagationTime_2 : 11.145226 114.22/19.52 c (16,0) c PropagationTime_3 : 11.318070 114.22/19.52 c (16,0) c PropagationTime_4 : 11.251194 114.22/19.52 c (16,0) c PropagationTime_5 : 11.267063 114.22/19.52 c (16,0) c PropagationTime_6 : 11.186633 114.22/19.52 c (16,0) c PropagationTime_7 : 11.694414 114.22/19.52 c (16,0) c PropagationTime_total : 92.665729 114.22/19.52 c (16,0) c PropagationTime_winner : 11.145226 114.22/19.52 c (16,0) c AnalysisTime_0 : 0.607105 114.22/19.52 c (16,0) c AnalysisTime_1 : 0.602533 114.22/19.52 c (16,0) c AnalysisTime_2 : 0.642521 114.22/19.52 c (16,0) c AnalysisTime_3 : 0.594541 114.22/19.52 c (16,0) c AnalysisTime_4 : 0.628731 114.22/19.52 c (16,0) c AnalysisTime_5 : 0.628273 114.22/19.52 c (16,0) c AnalysisTime_6 : 0.632479 114.22/19.52 c (16,0) c AnalysisTime_7 : 0.661056 114.22/19.52 c (16,0) c AnalysisTime_total : 4.997240 114.22/19.52 c (16,0) c AnalysisTime_winner : 0.642521 114.22/19.52 c (16,0) c ReductionTime_0 : 0.004290 114.22/19.52 c (16,0) c ReductionTime_1 : 0.003609 114.22/19.52 c (16,0) c ReductionTime_2 : 0.003786 114.22/19.52 c (16,0) c ReductionTime_3 : 0.003352 114.22/19.52 c (16,0) c ReductionTime_4 : 0.003733 114.22/19.52 c (16,0) c ReductionTime_5 : 0.004097 114.22/19.52 c (16,0) c ReductionTime_6 : 0.004025 114.22/19.52 c (16,0) c ReductionTime_7 : 0.004160 114.22/19.52 c (16,0) c ReductionTime_total : 0.031052 114.22/19.52 c (16,0) c ReductionTime_winner : 0.003786 114.22/19.52 c (16,0) c SimplifyTime_0 : 0.295919 114.22/19.52 c (16,0) c SimplifyTime_1 : 0.319404 114.22/19.52 c (16,0) c SimplifyTime_2 : 0.283177 114.22/19.52 c (16,0) c SimplifyTime_3 : 0.312047 114.22/19.52 c (16,0) c SimplifyTime_4 : 0.310793 114.22/19.52 c (16,0) c SimplifyTime_5 : 0.288198 114.22/19.52 c (16,0) c SimplifyTime_6 : 0.302513 114.22/19.52 c (16,0) c SimplifyTime_7 : 0.257798 114.22/19.52 c (16,0) c SimplifyTime_total : 2.369849 114.22/19.52 c (16,0) c SimplifyTime_winner : 0.283177 114.22/19.52 c (16,0) c UsedRateTime_0 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_1 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_2 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_3 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_4 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_5 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_6 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_7 : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_total : 0.000000 114.22/19.52 c (16,0) c UsedRateTime_winner : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_0 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_1 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_2 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_3 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_4 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_5 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_6 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_7 : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_total : 0.000000 114.22/19.52 c (16,0) c OverlapRateTime_winner : 0.000000 114.22/19.52 c (16,0) c 114.22/19.52 c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 114.22/19.52 c (16,0) c 114.22/19.52 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.52 c (16,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 114.22/19.52 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.52 c (16,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 114.22/19.52 c (16,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 114.22/19.52 c (16,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 114.22/19.52 c (16,0) c | Initial random_seed | 982210678 | 1850636469 | 2014272267 | 2035611543 | 1824501979 | 887391904 | 138543438 | 702809444 | 114.22/19.52 c (16,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 114.22/19.52 c (16,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 114.22/19.52 c (16,0) c | glureduce | True | True | True | True | True | True | True | True | 114.22/19.52 c (16,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 114.22/19.52 c (16,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 114.22/19.52 c (16,0) c | luby_restart | False | False | False | False | False | False | False | False | 114.22/19.53 c (16,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 114.22/19.53 c (16,0) c | var_decay | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 0.8400 | 114.22/19.53 c (16,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 114.22/19.53 c (16,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 114.22/19.53 c (16,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 114.22/19.53 c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 114.22/19.53 c (16,0) 114.22/19.53 c (16,0) s SATISFIABLE 6.37/19.67 c (16,0) SatSolver.solve End 6.37/19.67 c (16,0) Heap : 166 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 6.37/19.67 c (16,0) Show results Begin 114.71/19.77 c (16,0) x[0] = 7 114.71/19.77 c (16,0) x[1] = 17 114.71/19.77 c (16,0) x[2] = 19 114.71/19.77 c (16,0) x[3] = 13 114.71/19.77 c (16,0) x[4] = 7 114.71/19.77 c (16,0) x[5] = 13 114.71/19.77 c (16,0) x[6] = 17 114.71/19.77 c (16,0) x[7] = 5 114.71/19.77 c (16,0) x[8] = 29 114.71/19.77 c (16,0) x[9] = 3 114.71/19.77 c (16,0) x[10] = 5 114.71/19.77 c (16,0) x[11] = 19 114.71/19.77 c (16,0) x[12] = 2 114.71/19.77 c (16,0) x[13] = 29 114.71/19.77 c (16,0) x[14] = 7 114.71/19.77 c (16,0) x[15] = 17 114.71/19.77 c (16,0) x[16] = 2 114.71/19.77 c (16,0) x[17] = 17 114.71/19.77 c (16,0) x[18] = 5 114.71/19.77 c (16,0) x[19] = 17 114.71/19.77 c (16,0) x[20] = 3 114.71/19.77 c (16,0) x[21] = 23 114.71/19.77 c (16,0) x[22] = 19 114.71/19.77 c (16,0) x[23] = 29 114.71/19.77 c (16,0) x[24] = 5 114.71/19.77 c (16,0) x[25] = 2 114.71/19.77 c (16,0) x[26] = 5 114.71/19.77 c (16,0) x[27] = 7 114.71/19.77 c (16,0) x[28] = 19 114.71/19.77 c (16,0) x[29] = 13 114.71/19.77 c (16,0) x[30] = 29 114.71/19.77 c (16,0) x[31] = 5 114.71/19.77 c (16,0) x[32] = 5 114.71/19.77 c (16,0) x[33] = 23 114.71/19.77 c (16,0) x[34] = 29 114.71/19.77 c (16,0) x[35] = 19 114.71/19.77 c (16,0) x[36] = 9 114.71/19.77 c (16,0) x[37] = 17 114.71/19.77 c (16,0) x[38] = 3 114.71/19.77 c (16,0) x[39] = 5 114.71/19.77 c (16,0) x[40] = 29 114.71/19.77 c (16,0) x[41] = 7 114.71/19.77 c (16,0) x[42] = 3 114.71/19.77 c (16,0) x[43] = 29 114.71/19.77 c (16,0) x[44] = 11 114.71/19.77 c (16,0) x[45] = 19 114.71/19.77 c (16,0) x[46] = 23 114.71/19.77 c (16,0) x[47] = 11 114.71/19.77 c (16,0) x[48] = 13 114.71/19.77 c (16,0) x[49] = 2 114.71/19.77 c (16,0) x[50] = 7 114.71/19.77 c (16,0) x[51] = 17 114.71/19.77 c (16,0) x[52] = 10 114.71/19.77 c (16,0) x[53] = 2 114.71/19.77 c (16,0) x[54] = 17 114.71/19.77 c (16,0) x[55] = 7 114.71/19.77 c (16,0) x[56] = 5 114.71/19.77 c (16,0) x[57] = 2 114.71/19.77 c (16,0) x[58] = 17 114.71/19.77 c (16,0) x[59] = 3 114.71/19.77 c (16,0) x[60] = 13 114.71/19.77 c (16,0) x[61] = 13 114.71/19.77 c (16,0) x[62] = 11 114.71/19.77 c (16,0) x[63] = 19 114.71/19.77 c (16,0) x[64] = 17 114.71/19.77 c (16,0) x[65] = 13 114.71/19.77 c (16,0) x[66] = 17 114.71/19.77 c (16,0) x[67] = 29 114.71/19.77 c (16,0) x[68] = 7 114.71/19.77 c (16,0) x[69] = 19 114.71/19.77 c (16,0) x[70] = 11 114.71/19.77 c (16,0) x[71] = 13 114.71/19.77 c (16,0) x[72] = 5 114.71/19.77 c (16,0) x[73] = 13 114.71/19.77 c (16,0) x[74] = 11 114.71/19.77 c (16,0) x[75] = 19 114.71/19.77 c (16,0) x[76] = 11 114.71/19.77 c (16,0) x[78] = 7 114.71/19.77 c (16,0) x[79] = 2 114.71/19.77 c (16,0) x[80] = 19 114.71/19.77 c (16,0) x[81] = 23 114.71/19.77 c (16,0) x[82] = 17 114.71/19.77 c (16,0) x[83] = 23 114.71/19.77 c (16,0) x[84] = 23 114.71/19.77 c (16,0) x[85] = 11 114.71/19.77 c (16,0) x[86] = 7 114.71/19.78 c (16,0) x[87] = 3 114.71/19.78 c (16,0) x[88] = 11 114.71/19.78 c (16,0) x[89] = 29 114.71/19.78 c (16,0) x[90] = 5 114.71/19.78 c (16,0) x[91] = 2 114.71/19.78 c (16,0) x[92] = 17 114.71/19.78 c (16,0) x[93] = 23 114.71/19.78 c (16,0) x[94] = 29 114.71/19.78 c (16,0) x[95] = 5 114.71/19.78 c (16,0) x[96] = 17 114.71/19.78 c (16,0) x[97] = 17 114.71/19.78 c (16,0) x[98] = 11 114.71/19.78 c (16,0) x[99] = 29 114.71/19.78 s SATISFIABLE 114.71/19.79 v <instantiation> 114.71/19.79 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list> 114.71/19.79 v <values>7 17 19 13 7 13 17 5 29 3 5 19 2 29 7 17 2 17 5 17 3 23 19 29 5 2 5 7 19 13 29 5 5 23 29 19 9 17 3 5 29 7 3 29 11 19 23 11 13 2 7 17 10 2 17 7 5 2 17 3 13 13 11 19 17 13 17 29 7 19 11 13 5 13 11 19 11 7 2 19 23 17 23 23 11 7 3 11 29 5 2 17 23 29 5 17 17 11 29</values> 114.71/19.79 v </instantiation> 114.71/19.79 c (16,0) Show results End 114.71/19.79 c (16,0) Heap : 166 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 114.71/19.79 c (16,0) 16,16,STOP-AFTER(ALL) 114.71/19.79 c END-Prog: Tue Sep 24 18:07:14 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13219 MiB free)
memory of node 1: 16384 MiB (11635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405525-1569341081/watcher-4405525-1569341081 -o /tmp/evaluation-result-4405525-1569341081/solver-4405525-1569341081 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --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-4405525-1569341081.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10910, runsolver pid=10907
Current StackSize limit: 8192 KiB
[startup+0.10239 s]*
/proc/loadavg: 5.66 5.83 5.16 1/209 10932
/proc/meminfo: memFree=25357508/32770624 swapFree=66941024/67108860
[pid=10910] ppid=10907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10910/stat : 10910 (scop.sh) S 10907 10910 9857 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510378860 115843072 349 33554432000 4194304 5098028 140722120407376 140722120404632 140361580548732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38641664 140722120413988 140722120414316 140722120414316 140722120417229 0
/proc/10910/statm: 28282 349 296 221 0 87 0
[pid=10913] ppid=10910 vsize=27314120 memory=106620 CPUtime=0.11 cores=0-7
/proc/10913/stat : 10913 (java) S 10910 10910 9857 0 -1 1077944320 6221 0 0 0 9 2 0 0 20 0 20 0 510378860 27969658880 26655 33554432000 4194304 4196468 140728754229056 140728754211600 140702939324151 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
/proc/10913/statm: 6828530 26655 2817 1 0 6790935 0
[pid=10913/tid=10914] ppid=10910 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10913/task/10914/stat : 10914 (java) R 10910 10910 9857 0 -1 4202560 4299 0 0 0 7 2 0 0 20 0 20 0 510378860 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702911136136 140702923404638 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10915] ppid=10910 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/10913/task/10915/stat : 10915 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702943566864 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10916] ppid=10910 vsize=27314120 memory=140501085800064 CPUtime=0 cores=0-7
/proc/10913/task/10916/stat : 10916 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702361050256 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10917] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10917/stat : 10917 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702359997200 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10918] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10918/stat : 10918 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702358944656 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10919] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10919/stat : 10919 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702357891600 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10920] ppid=10910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10913/task/10920/stat : 10920 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702356839056 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10921] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10921/stat : 10921 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26655 33554432000 4194304 4196468 140728754229056 140702355786000 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10922] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10922/stat : 10922 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 26720 33554432000 4194304 4196468 140728754229056 140702354733456 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10923] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10923/stat : 10923 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510378864 27969658880 26720 33554432000 4194304 4196468 140728754229056 140701460282096 140702939335298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10924] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10924/stat : 10924 (java) S 10910 10910 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510378865 27969658880 26720 33554432000 4194304 4196468 140728754229056 140700578473632 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10925] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10925/stat : 10925 (java) S 10910 10910 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510378865 27969658880 26720 33554432000 4194304 4196468 140728754229056 140700444251376 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10926] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10926/stat : 10926 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 26720 33554432000 4194304 4196468 140728754229056 140700069747152 140702939342747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10927] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10927/stat : 10927 (java) S 10910 10910 9857 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 26720 33554432000 4194304 4196468 140728754229056 140701459228912 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10928] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10928/stat : 10928 (java) S 10910 10910 9857 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 26720 33554432000 4194304 4196468 140728754229056 140701458176368 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10929] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10929/stat : 10929 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 26720 33554432000 4194304 4196468 140728754229056 140701457123312 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10930] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10930/stat : 10930 (java) S 10910 10910 9857 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 26720 33554432000 4194304 4196468 140728754229056 140701456070768 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10931] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10931/stat : 10931 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378868 27969658880 26720 33554432000 4194304 4196468 140728754229056 140699571842016 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10932] ppid=10910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10913/task/10932/stat : 10932 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378868 27969658880 26720 33554432000 4194304 4196468 140728754229056 140701455019184 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108016 KiB
[startup+0.210431 s]*
/proc/loadavg: 5.66 5.83 5.16 3/209 10932
/proc/meminfo: memFree=25336684/32770624 swapFree=66941024/67108860
[pid=10910] ppid=10907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10910/stat : 10910 (scop.sh) S 10907 10910 9857 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510378860 115843072 349 33554432000 4194304 5098028 140722120407376 140722120404632 140361580548732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38641664 140722120413988 140722120414316 140722120414316 140722120417229 0
/proc/10910/statm: 28282 349 296 221 0 87 0
[pid=10913] ppid=10910 vsize=27314120 memory=123468 CPUtime=0.24 cores=0-7
/proc/10913/stat : 10913 (java) S 10910 10910 9857 0 -1 1077944320 11782 0 0 0 20 4 0 0 20 0 20 0 510378860 27969658880 30867 33554432000 4194304 4196468 140728754229056 140728754211600 140702939324151 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
/proc/10913/statm: 6828530 30867 2941 1 0 6790935 0
[pid=10913/tid=10914] ppid=10910 vsize=27314120 memory=29681743523217448 CPUtime=0.19 cores=0-7
/proc/10913/task/10914/stat : 10914 (java) R 10910 10910 9857 0 -1 4202560 9499 0 0 0 16 3 0 0 20 0 20 0 510378860 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702911123536 140702920887707 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10915] ppid=10910 vsize=27314120 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/10913/task/10915/stat : 10915 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702943566864 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10916] ppid=10910 vsize=27314120 memory=288370877237511808 CPUtime=0 cores=0-7
/proc/10913/task/10916/stat : 10916 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702361050256 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10917] ppid=10910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10913/task/10917/stat : 10917 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702359997200 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10918] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10918/stat : 10918 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702358944656 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10919] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10919/stat : 10919 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702357891600 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10920] ppid=10910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10913/task/10920/stat : 10920 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702356839056 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10921] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10921/stat : 10921 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702355786000 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10922] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10922/stat : 10922 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 30867 33554432000 4194304 4196468 140728754229056 140702354733456 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10923] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10923/stat : 10923 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510378864 27969658880 30867 33554432000 4194304 4196468 140728754229056 140701460282096 140702939335298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10924] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10924/stat : 10924 (java) S 10910 10910 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510378865 27969658880 30867 33554432000 4194304 4196468 140728754229056 140700578473632 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10925] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10925/stat : 10925 (java) S 10910 10910 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510378865 27969658880 30867 33554432000 4194304 4196468 140728754229056 140700444251376 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10926] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10926/stat : 10926 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 30867 33554432000 4194304 4196468 140728754229056 140700069747152 140702939342747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10927] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10927/stat : 10927 (java) S 10910 10910 9857 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 30867 33554432000 4194304 4196468 140728754229056 140701459228912 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10928] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10928/stat : 10928 (java) S 10910 10910 9857 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 30867 33554432000 4194304 4196468 140728754229056 140701458176368 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10929] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10929/stat : 10929 (java) S 10910 10910 9857 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 30867 33554432000 4194304 4196468 140728754229056 140701457123312 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10930] ppid=10910 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/10913/task/10930/stat : 10930 (java) S 10910 10910 9857 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 510378867 27969658880 30867 33554432000 4194304 4196468 140728754229056 140701456070768 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10931] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10931/stat : 10931 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378868 27969658880 30867 33554432000 4194304 4196468 140728754229056 140699571842016 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10932] ppid=10910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10913/task/10932/stat : 10932 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378868 27969658880 30867 33554432000 4194304 4196468 140728754229056 140701455019184 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124864 KiB
[startup+0.31023 s]*
/proc/loadavg: 5.66 5.83 5.16 2/209 10932
/proc/meminfo: memFree=25334132/32770624 swapFree=66941024/67108860
[pid=10910] ppid=10907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10910/stat : 10910 (scop.sh) S 10907 10910 9857 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510378860 115843072 349 33554432000 4194304 5098028 140722120407376 140722120404632 140361580548732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38641664 140722120413988 140722120414316 140722120414316 140722120417229 0
/proc/10910/statm: 28282 349 296 221 0 87 0
[pid=10913] ppid=10910 vsize=27314120 memory=127616 CPUtime=0.42 cores=0-7
/proc/10913/stat : 10913 (java) S 10910 10910 9857 0 -1 1077944320 12550 0 0 0 37 5 0 0 20 0 20 0 510378860 27969658880 31904 33554432000 4194304 4196468 140728754229056 140728754211600 140702939324151 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
/proc/10913/statm: 6828530 31904 3021 1 0 6790935 0
[pid=10913/tid=10914] ppid=10910 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/10913/task/10914/stat : 10914 (java) R 10910 10910 9857 0 -1 4202560 10071 0 0 0 26 4 0 0 20 0 20 0 510378860 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702911154224 140702922510977 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10915] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10915/stat : 10915 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702943566864 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10916] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10916/stat : 10916 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702361050256 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10917] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10917/stat : 10917 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702359997200 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10918] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10918/stat : 10918 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702358944656 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10919] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10919/stat : 10919 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702357891600 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10920] ppid=10910 vsize=27314120 memory=140500929702575 CPUtime=0 cores=0-7
/proc/10913/task/10920/stat : 10920 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702356839056 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10921] ppid=10910 vsize=27314120 memory=140500929704880 CPUtime=0 cores=0-7
/proc/10913/task/10921/stat : 10921 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702355786000 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10922] ppid=10910 vsize=27314120 memory=140500929707184 CPUtime=0 cores=0-7
/proc/10913/task/10922/stat : 10922 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27969658880 31904 33554432000 4194304 4196468 140728754229056 140702354733456 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10923] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10923/stat : 10923 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510378864 27969658880 31904 33554432000 4194304 4196468 140728754229056 140701460282096 140702939335298 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10924] ppid=10910 vsize=27314120 memory=281001859428240 CPUtime=0 cores=0-7
/proc/10913/task/10924/stat : 10924 (java) S 10910 10910 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510378865 27969658880 31904 33554432000 4194304 4196468 140728754229056 140700578473632 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10925] ppid=10910 vsize=27314120 memory=281001859425936 CPUtime=0 cores=0-7
/proc/10913/task/10925/stat : 10925 (java) S 10910 10910 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510378865 27969658880 31904 33554432000 4194304 4196468 140728754229056 140700444251376 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10926] ppid=10910 vsize=27314120 memory=281001859432848 CPUtime=0 cores=0-7
/proc/10913/task/10926/stat : 10926 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378867 27969658880 31904 33554432000 4194304 4196468 140728754229056 140700069747152 140702939342747 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10927] ppid=10910 vsize=27314120 memory=281001859374128 CPUtime=0.01 cores=0-7
/proc/10913/task/10927/stat : 10927 (java) S 10910 10910 9857 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 20 0 510378867 27969658880 31904 33554432000 4194304 4196468 140728754229056 140701459228912 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10928] ppid=10910 vsize=27314120 memory=281001859446672 CPUtime=0.01 cores=0-7
/proc/10913/task/10928/stat : 10928 (java) S 10910 10910 9857 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 510378867 27969658880 31904 33554432000 4194304 4196468 140728754229056 140701458176368 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10929] ppid=10910 vsize=27314120 memory=281001859453584 CPUtime=0.01 cores=0-7
/proc/10913/task/10929/stat : 10929 (java) S 10910 10910 9857 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 20 0 510378867 27969658880 31904 33554432000 4194304 4196468 140728754229056 140701457123312 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10930] ppid=10910 vsize=27314120 memory=281001859451280 CPUtime=0.07 cores=0-7
/proc/10913/task/10930/stat : 10930 (java) S 10910 10910 9857 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 20 0 510378867 27969658880 31904 33554432000 4194304 4196468 140728754229056 140701456070768 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10931] ppid=10910 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10931/stat : 10931 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378868 27969658880 31904 33554432000 4194304 4196468 140728754229056 140699571842016 140702939334357 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10932] ppid=10910 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/10913/task/10932/stat : 10932 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378868 27969658880 31904 33554432000 4194304 4196468 140728754229056 140701455019184 140702939335298 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129012 KiB
[startup+0.706256 s]
/proc/loadavg: 5.66 5.83 5.16 2/209 10932
/proc/meminfo: memFree=25312924/32770624 swapFree=66941024/67108860
[pid=10910] ppid=10907 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/10910/stat : 10910 (scop.sh) S 10907 10910 9857 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 510378860 115843072 349 33554432000 4194304 5098028 140722120407376 140722120404632 140361580548732 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38641664 140722120413988 140722120414316 140722120414316 140722120417229 0
/proc/10910/statm: 28282 349 296 221 0 87 0
[pid=10913] ppid=10910 vsize=27322516 memory=163684 CPUtime=1.01 cores=0-7
/proc/10913/stat : 10913 (java) S 10910 10910 9857 0 -1 1077944320 20014 0 0 0 94 7 0 0 20 0 20 0 510378860 27978256384 40921 33554432000 4194304 4196468 140728754229056 140728754211600 140702939324151 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
/proc/10913/statm: 6830629 40921 3198 1 0 6791959 0
[pid=10913/tid=10914] ppid=10910 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7
/proc/10913/task/10914/stat : 10914 (java) R 10910 10910 9857 0 -1 4202560 17048 0 0 0 63 5 0 0 20 0 20 0 510378860 27978256384 40921 33554432000 4194304 4196468 140728754229056 140702911155920 140702923404638 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10915] ppid=10910 vsize=27322516 memory=2353 CPUtime=0 cores=0-7
/proc/10913/task/10915/stat : 10915 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27978256384 40921 33554432000 4194304 4196468 140728754229056 140702943566864 140702939334357 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10916] ppid=10910 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/10913/task/10916/stat : 10916 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510378863 27978256384 40921 33554432000 4194304 4196468 140728754229056 140702361050256 140702939334357 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
[pid=10913/tid=10917] ppid=10910 vsize=27322516 memory=1416 CPUtime=0 cores=0-7
/proc/10913/task/10917/stat : 10917 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510378863 27978256384 40921 33554432000 4194304 4196468 140728754229056 140702359997200 140702939334357 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37441536 140728754234090 140728754234518 140728754234518 140728754237391 0
################
# More data... #
################
/proc/10935/task/10947/stat : 10947 (java) S 10910 10910 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510379145 8616062976 30515 33554432000 4194304 4196468 140736935248672 140598505886704 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10948] ppid=10910 vsize=8414124 memory=122060 CPUtime=0 cores=0-7
/proc/10935/task/10948/stat : 10948 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140598131382480 140600071444379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10949] ppid=10910 vsize=8414124 memory=641776 CPUtime=0.13 cores=0-7
/proc/10935/task/10949/stat : 10949 (java) S 10910 10910 9857 0 -1 1077944384 861 0 0 0 13 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599029078512 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10950] ppid=10910 vsize=8414124 memory=7686721470317567635 CPUtime=0.08 cores=0-7
/proc/10935/task/10950/stat : 10950 (java) S 10910 10910 9857 0 -1 1077944384 401 0 0 0 8 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599028025968 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10951] ppid=10910 vsize=8414124 memory=4126316290023845779 CPUtime=0.06 cores=0-7
/proc/10935/task/10951/stat : 10951 (java) S 10910 10910 9857 0 -1 1077944384 225 0 0 0 6 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599026973424 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10952] ppid=10910 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/10935/task/10952/stat : 10952 (java) S 10910 10910 9857 0 -1 1077944384 664 0 0 0 24 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599025920880 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10953] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10953/stat : 10953 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140597633476832 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10954] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10954/stat : 10954 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379148 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599024867760 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 21 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10956] ppid=10910 vsize=8414124 memory=140500930360416 CPUtime=0 cores=0-7
/proc/10935/task/10956/stat : 10956 (java) S 10910 10910 9857 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510379218 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599017391296 140600071450393 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10958] ppid=10910 vsize=8414124 memory=62888 CPUtime=0 cores=0-7
/proc/10935/task/10958/stat : 10958 (java) S 10910 10910 9857 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510379218 8616062976 30515 33554432000 4194304 4196468 140736935248672 140596962377520 140600071447709 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10959] ppid=10910 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/10935/task/10959/stat : 10959 (java) S 10910 10910 9857 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510379219 8616062976 30515 33554432000 4194304 4196468 140736935248672 140597230813104 140600071447709 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10960] ppid=10910 vsize=8414124 memory=2016 CPUtime=0 cores=0-7
/proc/10935/task/10960/stat : 10960 (java) S 10910 10910 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510379221 8616062976 30515 33554432000 4194304 4196468 140736935248672 140596693950128 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
Current children cumulated CPU time: 111.32 s
Current children cumulated vsize: 9721988 KiB
Current children cumulated memory: 769252 KiB
[startup+18.8012 s]
/proc/loadavg: 5.56 5.78 5.16 4/217 10968
/proc/meminfo: memFree=24685120/32770624 swapFree=66941024/67108860
[pid=10910] ppid=10907 vsize=113128 memory=1476 CPUtime=4.8 cores=0-7
/proc/10910/stat : 10910 (scop.sh) S 10907 10910 9857 0 -1 4202496 583 25579 0 0 0 0 450 30 20 0 1 0 510378860 115843072 369 33554432000 4194304 5098028 140722120407376 140722120404120 140361580548732 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140722120413988 140722120414316 140722120414316 140722120417229 0
/proc/10910/statm: 28282 369 311 221 0 87 0
[pid=10935] ppid=10910 vsize=8414124 memory=122060 CPUtime=1.37 cores=0-7
/proc/10935/stat : 10935 (java) S 10910 10910 9857 0 -1 1077944320 21496 0 0 0 128 9 0 0 20 0 24 0 510379141 8616062976 30515 33554432000 4194304 4196468 140736935248672 140736935231216 140600071425783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
/proc/10935/statm: 2103531 30515 3216 1 0 2064875 0
[pid=10955] ppid=10935 vsize=1194736 memory=645932 CPUtime=107.34 cores=0-7
/proc/10955/stat : 10955 (manyglucose-4.1) S 10935 10910 9857 0 -1 1077944320 525222 0 0 0 10641 93 0 0 20 0 2 0 510379218 1223409664 161483 33554432000 4194304 4454172 140723232990784 140723232989168 140502861131511 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 26525696 140723232994153 140723232994352 140723232994352 140723232997306 0
/proc/10955/statm: 298684 161483 420 64 0 294352 0
[pid=10955/tid=10961] ppid=10935 vsize=1194736 memory=10728 CPUtime=13.82 cores=0-7
/proc/10955/task/10961/stat : 10961 (manyglucose-4.1) R 10935 10910 9857 0 -1 4202560 56741 0 0 0 1368 14 0 0 20 0 2 0 510379356 1223409664 161483 33554432000 4194304 4454172 140723232990784 140502832307304 4351160 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 26525696 140723232994153 140723232994352 140723232994352 140723232997306 0
[pid=10935/tid=10936] ppid=10910 vsize=8414124 memory=0 CPUtime=0.8 cores=0-7
/proc/10935/task/10936/stat : 10936 (java) S 10910 10910 9857 0 -1 1077944384 17923 0 0 0 73 7 0 0 20 0 24 0 510379141 8616062976 30515 33554432000 4194304 4196468 140736935248672 140600043265952 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10937] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10937/stat : 10937 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140600075667728 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10938] ppid=10910 vsize=8414124 memory=281001861115936 CPUtime=0 cores=0-7
/proc/10935/task/10938/stat : 10938 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599875836304 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10939] ppid=10910 vsize=8414124 memory=140500930601712 CPUtime=0 cores=0-7
/proc/10935/task/10939/stat : 10939 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599874783760 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10940] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10940/stat : 10940 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599873731216 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10941] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10941/stat : 10941 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599872678672 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10942] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10942/stat : 10942 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599871626128 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10943] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10943/stat : 10943 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599870573584 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10944] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10944/stat : 10944 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599869521040 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10945] ppid=10910 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/10935/task/10945/stat : 10945 (java) S 10910 10910 9857 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510379144 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599030130672 140600071436930 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10946] ppid=10910 vsize=8414124 memory=281001861188640 CPUtime=0 cores=0-7
/proc/10935/task/10946/stat : 10946 (java) S 10910 10910 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510379144 8616062976 30515 33554432000 4194304 4196468 140736935248672 140598640108448 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10947] ppid=10910 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/10935/task/10947/stat : 10947 (java) S 10910 10910 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510379145 8616062976 30515 33554432000 4194304 4196468 140736935248672 140598505886704 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10948] ppid=10910 vsize=8414124 memory=281001859439152 CPUtime=0 cores=0-7
/proc/10935/task/10948/stat : 10948 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140598131382480 140600071444379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10949] ppid=10910 vsize=8414124 memory=6935656952342406482 CPUtime=0.13 cores=0-7
/proc/10935/task/10949/stat : 10949 (java) S 10910 10910 9857 0 -1 1077944384 861 0 0 0 13 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599029078512 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10950] ppid=10910 vsize=8414124 memory=4638778398332895328 CPUtime=0.08 cores=0-7
/proc/10935/task/10950/stat : 10950 (java) S 10910 10910 9857 0 -1 1077944384 401 0 0 0 8 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599028025968 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10951] ppid=10910 vsize=8414124 memory=5794254077341749604 CPUtime=0.06 cores=0-7
/proc/10935/task/10951/stat : 10951 (java) S 10910 10910 9857 0 -1 1077944384 225 0 0 0 6 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599026973424 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10952] ppid=10910 vsize=8414124 memory=47004122107266 CPUtime=0.24 cores=0-7
/proc/10935/task/10952/stat : 10952 (java) S 10910 10910 9857 0 -1 1077944384 664 0 0 0 24 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599025920880 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10953] ppid=10910 vsize=8414124 memory=7668049507546458688 CPUtime=0 cores=0-7
/proc/10935/task/10953/stat : 10953 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379147 8616062976 30515 33554432000 4194304 4196468 140736935248672 140597633476832 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10954] ppid=10910 vsize=8414124 memory=7811282870217698415 CPUtime=0 cores=0-7
/proc/10935/task/10954/stat : 10954 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379148 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599024867760 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10956] ppid=10910 vsize=8414124 memory=6380 CPUtime=0 cores=0-7
/proc/10935/task/10956/stat : 10956 (java) S 10910 10910 9857 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510379218 8616062976 30515 33554432000 4194304 4196468 140736935248672 140599017391296 140600071450393 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10958] ppid=10910 vsize=8414124 memory=645800 CPUtime=0 cores=0-7
/proc/10935/task/10958/stat : 10958 (java) S 10910 10910 9857 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510379218 8616062976 30515 33554432000 4194304 4196468 140736935248672 140596962377520 140600071447709 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10959] ppid=10910 vsize=8414124 memory=10728 CPUtime=0 cores=0-7
/proc/10935/task/10959/stat : 10959 (java) S 10910 10910 9857 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510379219 8616062976 30515 33554432000 4194304 4196468 140736935248672 140597230813104 140600071447709 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10960] ppid=10910 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/10935/task/10960/stat : 10960 (java) S 10910 10910 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510379221 8616062976 30515 33554432000 4194304 4196468 140736935248672 140596693950128 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
Current children cumulated CPU time: 113.51 s
Current children cumulated vsize: 9721988 KiB
Current children cumulated memory: 769468 KiB
[startup+19.6036 s]
/proc/loadavg: 5.56 5.78 5.16 2/215 10968
/proc/meminfo: memFree=24684516/32770624 swapFree=66941024/67108860
[pid=10910] ppid=10907 vsize=113128 memory=1476 CPUtime=4.8 cores=0-7
/proc/10910/stat : 10910 (scop.sh) S 10907 10910 9857 0 -1 4202496 583 25579 0 0 0 0 450 30 20 0 1 0 510378860 115843072 369 33554432000 4194304 5098028 140722120407376 140722120404120 140361580548732 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140722120413988 140722120414316 140722120414316 140722120417229 0
/proc/10910/statm: 28282 369 311 221 0 87 0
[pid=10935] ppid=10910 vsize=8414124 memory=149868 CPUtime=1.57 cores=0-7
/proc/10935/stat : 10935 (java) S 10910 10910 9857 0 -1 1077944320 22396 0 0 0 147 10 0 0 20 0 24 0 510379141 8616062976 37467 33554432000 4194304 4196468 140736935248672 140736935231216 140600071425783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
/proc/10935/statm: 2103531 37467 3224 1 0 2064875 0
[pid=10935/tid=10936] ppid=10910 vsize=8414124 memory=13572582825789943 CPUtime=0.8 cores=0-7
/proc/10935/task/10936/stat : 10936 (java) S 10910 10910 9857 0 -1 1077944384 17923 0 0 0 73 7 0 0 20 0 24 0 510379141 8616062976 37467 33554432000 4194304 4196468 140736935248672 140600043265952 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10937] ppid=10910 vsize=8414124 memory=1416 CPUtime=0 cores=0-7
/proc/10935/task/10937/stat : 10937 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140600075667728 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10938] ppid=10910 vsize=8414124 memory=10728 CPUtime=0 cores=0-7
/proc/10935/task/10938/stat : 10938 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599875836304 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10939] ppid=10910 vsize=8414124 memory=281001860112032 CPUtime=0 cores=0-7
/proc/10935/task/10939/stat : 10939 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599874783760 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10940] ppid=10910 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/10935/task/10940/stat : 10940 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599873731216 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10941] ppid=10910 vsize=8414124 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/10935/task/10941/stat : 10941 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599872678672 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10942] ppid=10910 vsize=8414124 memory=4427205132082312746 CPUtime=0 cores=0-7
/proc/10935/task/10942/stat : 10942 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599871626128 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10943] ppid=10910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10935/task/10943/stat : 10943 (java) S 10910 10910 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599870573584 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10944] ppid=10910 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/10935/task/10944/stat : 10944 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379142 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599869521040 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10945] ppid=10910 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/10935/task/10945/stat : 10945 (java) S 10910 10910 9857 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510379144 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599030130672 140600071436930 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10946] ppid=10910 vsize=8414124 memory=11044 CPUtime=0 cores=0-7
/proc/10935/task/10946/stat : 10946 (java) S 10910 10910 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510379144 8616062976 37467 33554432000 4194304 4196468 140736935248672 140598640108448 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10947] ppid=10910 vsize=8414124 memory=13252 CPUtime=0 cores=0-7
/proc/10935/task/10947/stat : 10947 (java) S 10910 10910 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510379145 8616062976 37467 33554432000 4194304 4196468 140736935248672 140598505886704 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10948] ppid=10910 vsize=8414124 memory=140500930682849 CPUtime=0 cores=0-7
/proc/10935/task/10948/stat : 10948 (java) S 10910 10910 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510379147 8616062976 37467 33554432000 4194304 4196468 140736935248672 140598131382480 140600071444379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10949] ppid=10910 vsize=8414124 memory=7157735280280688746 CPUtime=0.15 cores=0-7
/proc/10935/task/10949/stat : 10949 (java) S 10910 10910 9857 0 -1 1077944384 878 0 0 0 15 0 0 0 20 0 24 0 510379147 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599029078512 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10950] ppid=10910 vsize=8414124 memory=7084278115029634391 CPUtime=0.11 cores=0-7
/proc/10935/task/10950/stat : 10950 (java) S 10910 10910 9857 0 -1 1077944384 413 0 0 0 11 0 0 0 20 0 24 0 510379147 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599028025968 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10951] ppid=10910 vsize=8414124 memory=281001860329776 CPUtime=0.1 cores=0-7
/proc/10935/task/10951/stat : 10951 (java) R 10910 10910 9857 0 -1 4202560 503 0 0 0 10 0 0 0 20 0 24 0 510379147 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599026963808 140600052970017 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10952] ppid=10910 vsize=8414124 memory=-6641183458053939584 CPUtime=0.27 cores=0-7
/proc/10935/task/10952/stat : 10952 (java) S 10910 10910 9857 0 -1 1077944384 1204 0 0 0 27 0 0 0 20 0 24 0 510379147 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599025920880 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10953] ppid=10910 vsize=8414124 memory=288291069207269610 CPUtime=0 cores=0-7
/proc/10935/task/10953/stat : 10953 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379147 8616062976 37467 33554432000 4194304 4196468 140736935248672 140597633476832 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10954] ppid=10910 vsize=8414124 memory=7739837707981187173 CPUtime=0 cores=0-7
/proc/10935/task/10954/stat : 10954 (java) S 10910 10910 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510379148 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599024867760 140600071436930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10956] ppid=10910 vsize=8414124 memory=7235144313375384403 CPUtime=0 cores=0-7
/proc/10935/task/10956/stat : 10956 (java) S 10910 10910 9857 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510379218 8616062976 37467 33554432000 4194304 4196468 140736935248672 140599017391296 140600071450393 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10958] ppid=10910 vsize=8414124 memory=4638778398332767568 CPUtime=0.07 cores=0-7
/proc/10935/task/10958/stat : 10958 (java) R 10910 10910 9857 0 -1 4202560 60 0 0 0 7 0 0 0 20 0 24 0 510379218 8616062976 37467 33554432000 4194304 4196468 140736935248672 140596962377584 140599532834768 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10959] ppid=10910 vsize=8414124 memory=7521973903189824357 CPUtime=0 cores=0-7
/proc/10935/task/10959/stat : 10959 (java) S 10910 10910 9857 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510379219 8616062976 37467 33554432000 4194304 4196468 140736935248672 140597230813104 140600071447709 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
[pid=10935/tid=10960] ppid=10910 vsize=8414124 memory=7517466828714633816 CPUtime=0 cores=0-7
/proc/10935/task/10960/stat : 10960 (java) S 10910 10910 9857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510379221 8616062976 37467 33554432000 4194304 4196468 140736935248672 140596693950128 140600071435989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6868992 140736935252983 140736935253142 140736935253142 140736935256015 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 151344 KiB
[startup+19.8009 s]
/proc/loadavg: 5.56 5.78 5.16 2/215 10968
/proc/meminfo: memFree=24684516/32770624 swapFree=66941024/67108860
[pid=10910] ppid=10907 vsize=113128 memory=1476 CPUtime=4.8 cores=0-7
/proc/10910/stat : 10910 (scop.sh) S 10907 10910 9857 0 -1 4202496 583 25579 0 0 0 0 450 30 20 0 1 0 510378860 115843072 369 33554432000 4194304 5098028 140722120407376 140722120404120 140361580548732 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38641664 140722120413988 140722120414316 140722120414316 140722120417229 0
/proc/10910/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB
Child status: 0
Real time (s): 19.8066
CPU time (s): 114.919
CPU user time (s): 113.507
CPU system time (s): 1.41237
CPU usage (%): 580.206
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 1143200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.507
system time used= 1.41237
maximum resident set size= 1147316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 575562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11231
involuntary context switches= 1052
# summary of solver processes directly reported to runsolver:
# pid: 10910
# total CPU time (s): 114.919
# total CPU user time (s): 113.507
# total CPU system time (s): 1.41237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211267 second user time and 0.275851 second system time
The end
Begin job on node139 at 2019-09-24 18:06:54 IDJOB=4405525 IDBENCH=133432 IDSOLVER=2868 FILE ID=node139/4405525-1569341081 RUNJOBID= node139-1569336112-9884 PBS_JOBID= 21705055 Free space on /tmp= 5144 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-60-3-5.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-4405525-1569341081/watcher-4405525-1569341081 -o /tmp/evaluation-result-4405525-1569341081/solver-4405525-1569341081 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569336112-9884 --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-4405525-1569341081.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= be3388c5d29b2a85b1452e4a694387b2 RANDOM SEED=586788715 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 25451344 kB MemAvailable: 31780436 kB Buffers: 101996 kB Cached: 6315612 kB SwapCached: 64848 kB Active: 3193740 kB Inactive: 3293704 kB Active(anon): 4184 kB Inactive(anon): 121764 kB Active(file): 3189556 kB Inactive(file): 3171940 kB Unevictable: 107100 kB Mlocked: 107100 kB SwapTotal: 67108860 kB SwapFree: 66941024 kB Dirty: 20840 kB Writeback: 0 kB AnonPages: 113488 kB Mapped: 56800 kB Shmem: 47364 kB Slab: 425024 kB SReclaimable: 396056 kB SUnreclaim: 28968 kB KernelStack: 3744 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5124 MiB End job on node139 at 2019-09-24 18:07:14