Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 153.579 | 35.2273 |
Name | Primes/ Primes-m1-p15/Primes-15-80-3-7.xml |
MD5SUM | 06954292f1b618a5cd25146d74869010 |
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.066718 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 80 |
Number of domains | 1 |
Minimum domain size | 46 |
Maximum domain size | 46 |
Distribution of domain sizes | [{"size":46,"count":100}] |
Minimum variable degree | 1 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":1,"count":3},{"degree":2,"count":3},{"degree":3,"count":7},{"degree":4,"count":26},{"degree":5,"count":14},{"degree":6,"count":23},{"degree":7,"count":15},{"degree":8,"count":2},{"degree":9,"count":2},{"degree":10,"count":3},{"degree":11,"count":1},{"degree":12,"count":1}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":3,"count":10},{"arity":4,"count":9},{"arity":5,"count":13},{"arity":6,"count":3},{"arity":7,"count":12},{"arity":8,"count":9},{"arity":9,"count":11},{"arity":10,"count":13}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":80}] |
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-10788-serial-file.bin HOME/instance-4405487-1569341045.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.57 c BEGIN-Prog: Tue Sep 24 18:06:18 CEST 2019 0.66/0.57 c PID: 10791 0.66/0.57 c IP: 172.20.3.139 0.66/0.57 c HOST: node139.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.40/0.94 c (0,0) Parsing End 1.40/0.95 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 46 1.40/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.95 c (0,0) Constraint Name Generate Begin 1.40/0.96 c (0,0) Ctr:HOME/instance-4405487-1569341045.xml,Num:Var:WeightedSum 1.40/0.96 c (0,0) Constraint Name Generate End 1.40/0.96 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.40/0.96 c (0,0) CSP to CSPinCNF Begin 1.59/1.07 c (0,0) translated 8 (10%) constraints 1.59/1.09 c (0,0) translated 16 (20%) constraints 1.59/1.10 c (0,0) translated 24 (30%) constraints 1.81/1.11 c (0,0) translated 32 (40%) constraints 1.81/1.12 c (0,0) translated 40 (50%) constraints 1.81/1.13 c (0,0) translated 48 (60%) constraints 1.81/1.14 c (0,0) translated 56 (70%) constraints 1.81/1.15 c (0,0) translated 64 (80%) constraints 1.81/1.16 c (0,0) translated 72 (90%) constraints 1.81/1.16 c (0,0) translated 80 (100%) constraints 1.81/1.17 c (0,0) =========================================== 1.81/1.18 c (0,0) Hybrid: #OE=1, #LE=99 1.81/1.18 c (0,0) Hybrid 1.81/1.18 c (0,0) =========================================== 1.81/1.19 c (0,0) translated 8 (10%) constraints 2.10/1.20 c (0,0) translated 16 (20%) constraints 2.10/1.20 c (0,0) translated 24 (30%) constraints 2.10/1.21 c (0,0) translated 32 (40%) constraints 2.10/1.22 c (0,0) translated 40 (50%) constraints 2.10/1.22 c (0,0) translated 48 (60%) constraints 2.10/1.23 c (0,0) translated 56 (70%) constraints 2.10/1.23 c (0,0) translated 64 (80%) constraints 2.10/1.23 c (0,0) translated 72 (90%) constraints 2.10/1.24 c (0,0) translated 80 (100%) constraints 2.10/1.24 c (0,0) CSP to CSPinCNF End 2.10/1.24 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46 2.10/1.24 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.10/1.24 c (0,0) CSPinCNF Propagation Begin 2.10/1.26 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.10/1.26 c (0,0) CSPinCNF Propagation End 2.10/1.26 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46 2.10/1.26 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.10/1.27 c (0,0) Hybrid: #OE=1, #LE=99 2.10/1.27 c (0,0) Simplify CSPinCNF Begin 2.10/1.27 c (0,0) Simplify CSPinCNF End 2.10/1.27 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46 2.10/1.27 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.10/1.27 c (0,0) Calculate Precise Domain Begin 2.10/1.27 c (0,0) 0 values are removed by re-calculation 2.10/1.27 c (0,0) Calculate Precise Domain End 2.10/1.28 c (0,0) CSP: 100 int (0 aux), 0 bool (0 aux), 160 ctr, max domain size 46 2.10/1.28 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 2.10/1.28 c (0,0) CSPinCNF to SatSolver Begin 4.33/2.64 c (2,1) 16 (10 %) CSP clauses are encoded (0 SAT variables, 311954 SAT clauses) 4.85/3.11 c (2,2) 32 (20 %) CSP clauses are encoded (0 SAT variables, 521423 SAT clauses) 5.76/4.03 c (3,3) 48 (30 %) CSP clauses are encoded (0 SAT variables, 941013 SAT clauses) 6.46/4.77 c (4,3) 64 (40 %) CSP clauses are encoded (0 SAT variables, 1277404 SAT clauses) 7.21/5.42 c (4,4) 80 (50 %) CSP clauses are encoded (0 SAT variables, 1568352 SAT clauses) 7.45/5.68 c (5,4) 96 (60 %) CSP clauses are encoded (0 SAT variables, 1685766 SAT clauses) 8.05/6.22 c (5,5) 112 (70 %) CSP clauses are encoded (0 SAT variables, 1932706 SAT clauses) 8.25/6.40 c (5,5) 128 (80 %) CSP clauses are encoded (0 SAT variables, 2014839 SAT clauses) 8.92/7.05 c (6,6) 144 (90 %) CSP clauses are encoded (0 SAT variables, 2300423 SAT clauses) 9.63/8.37 c (7,6) 160 (100 %) CSP clauses are encoded (0 SAT variables, 2626417 SAT clauses) 9.73/8.43 c (7,6) CSPinCNF to SatSolver End 9.73/8.43 c (7,6) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 9.73/8.43 c (7,6) 960903 bool, 2653696 clause 9.73/8.43 c (7,6) Export Begin 9.86/8.56 c (8,6) Export to HOME/scop-10788-serial-file.bin 9.86/8.56 c (8,6) Export End 9.86/8.56 c (8,6) Export File Size: 0.11 MB 9.86/8.56 c (8,6) 0,0,0,0,0,0,7,STOP-AFTER(DIMACS) 9.86/8.56 c END-Prog: Tue Sep 24 18:06:26 CEST 2019 0.00/8.60 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10788-serial-file.bin 10.61/9.06 c (0,0) Read Serial File Begin 10.61/9.06 c (0,0) HOME/scop-10788-serial-file.bin 11.14/9.32 c (0,0) Read Serial File End 11.14/9.33 11.14/9.33 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 11.14/9.33 (Solving Process) 11.14/9.33 11.14/9.36 c BEGIN-Prog: Tue Sep 24 18:06:27 CEST 2019 11.14/9.36 c PID: 10811 11.14/9.36 c IP: 172.20.3.139 11.14/9.36 c HOST: node139.alineos.net 11.14/9.36 c (0,0) SatSolver.solve Begin 11.14/9.36 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405487-1569341045.xml-scop-10791.cnf 11.14/9.39 c (0,0) c 11.14/9.39 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) 11.14/9.39 c (0,0) c 11.14/9.39 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 11.14/9.39 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 11.14/9.39 c (0,0) c ========================================[ Problem Statistics ]=========================================== 11.14/9.39 c (0,0) c | | 12.73/10.60 c (1,0) c | Number of variables: 960903 | 12.73/10.60 c (1,0) c | Number of clauses: 2653444 | 12.73/10.60 c (1,0) c | Parse time: 1.07 s | 12.73/10.60 c (1,0) c | | 16.83/14.79 c (5,0) c | Simplification time: 4.09 s | 16.83/14.79 c (5,0) c | | 16.83/14.79 c (5,0) c | Generating clones | 18.53/16.49 c (7,0) c | all clones generated. Memory = 2629.63Mb. | 18.53/16.49 c (7,0) c ========================================================================================================| 18.53/16.49 c (7,0) c 18.53/16.49 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 18.53/16.49 c (7,0) c 18.53/16.49 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.53/16.49 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 18.53/16.49 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 18.53/16.49 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 18.53/16.49 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 18.53/16.49 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 18.53/16.49 c (7,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 18.53/16.49 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 18.53/16.49 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 18.53/16.49 c (7,0) c | glureduce | True | True | True | True | True | True | True | True | 18.53/16.49 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 18.53/16.49 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 18.53/16.49 c (7,0) c | luby_restart | False | False | False | False | False | False | False | False | 18.53/16.49 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 18.53/16.49 c (7,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 18.53/16.49 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 18.53/16.49 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 18.53/16.49 c (7,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 18.53/16.49 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c 152.26/34.58 c (25,0) c real time : 25.1944 s 152.26/34.58 c (25,0) c cpu time : 137.11 s 152.26/34.58 c (25,0) c 152.26/34.58 c (25,0) c 152.26/34.58 c (25,0) c 152.26/34.58 c (25,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 152.26/34.58 c (25,0) c 152.26/34.58 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 152.26/34.58 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c | Conflicts | 63144 | 8106 | 7263 | 7894 | 7395 | 7222 | 7420 | 7542 | 10302 | 152.26/34.58 c (25,0) c | Decisions | 642041 | 39069 | 55979 | 53490 | 48403 | 316150 | 38578 | 48769 | 41603 | 152.26/34.58 c (25,0) c | Propagations | 417636339 | 51434412 | 51133160 | 54658162 | 51525198 | 52521332 | 54165121 | 52695352 | 49503602 | 152.26/34.58 c (25,0) c | ReduceDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 152.26/34.58 c (25,0) c | SimpDBs | 50 | 6 | 6 | 6 | 7 | 6 | 6 | 7 | 6 | 152.26/34.58 c (25,0) c | Restarts | 203 | 21 | 19 | 26 | 31 | 36 | 18 | 24 | 28 | 152.26/34.58 c (25,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 152.26/34.58 c (25,0) c | PropBinClauses| 246914086 | 30406968 | 28598496 | 32565685 | 30316276 | 30257878 | 31267650 | 32326780 | 31174353 | 152.26/34.58 c (25,0) c | PropPreBlocker| 657581907 | 80689931 | 81918102 | 82176689 | 80800101 | 82048851 | 86477884 | 81637213 | 81833136 | 152.26/34.58 c (25,0) c | PropNotBlocker| 384617982 | 46813646 | 48634905 | 49277008 | 47486767 | 48270052 | 50445044 | 47468670 | 46221890 | 152.26/34.58 c (25,0) c | LitFullScans | 1957536649 | 240091499 | 240158536 | 246268537 | 246768223 | 241515767 | 252160992 | 250305035 | 240268060 | 152.26/34.58 c (25,0) c | LitScanFracts | 1362426 | 79467 | 108478 | 246825 | 227074 | 200834 | 127497 | 105520 | 266731 | 152.26/34.58 c (25,0) c | DecisionLevel0| 459 | 48 | 56 | 68 | 68 | 65 | 46 | 48 | 60 | 152.26/34.58 c (25,0) c | Periods | 325 | 40 | 40 | 41 | 41 | 40 | 42 | 41 | 40 | 152.26/34.58 c (25,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 152.26/34.58 c (25,0) c | Avg_Trail | | 79227 | 85583 | 73567 | 79922 | 81907 | 85346 | 75411 | 62273 | 152.26/34.58 c (25,0) c | Avg_DL | | 51 | 57 | 166 | 55 | 59 | 39 | 53 | 97 | 152.26/34.58 c (25,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 152.26/34.58 c (25,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 152.26/34.58 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c | Exported | 9066 | 1119 | 1036 | 1483 | 1132 | 823 | 1070 | 977 | 1426 | 152.26/34.58 c (25,0) c | Imported | 13406 | 1674 | 1748 | 1799 | 1745 | 1410 | 1779 | 1851 | 1400 | 152.26/34.58 c (25,0) c | Good | 4423 | 547 | 574 | 577 | 550 | 471 | 575 | 592 | 537 | 152.26/34.58 c (25,0) c | Purge | 8983 | 1127 | 1174 | 1222 | 1195 | 939 | 1204 | 1259 | 863 | 152.26/34.58 c (25,0) c | Promoted | 270 | 40 | 14 | 37 | 63 | 26 | 26 | 46 | 18 | 152.26/34.58 c (25,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 152.26/34.58 c (25,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 152.26/34.58 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c | Unaries | | 27 | 37 | 42 | 37 | 29 | 28 | 24 | 32 | 152.26/34.58 c (25,0) c | Binaries | | 111 | 134 | 119 | 133 | 110 | 121 | 102 | 145 | 152.26/34.58 c (25,0) c | Glues | | 264 | 383 | 366 | 331 | 320 | 313 | 304 | 382 | 152.26/34.58 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c | Orig_Seen | 3 % | 86399 | 83199 | 62369 | 70711 | 77722 | 73130 | 87947 | 84243 | 152.26/34.58 c (25,0) c | Diff Orig seen| | 8677 | 5477 | - 15353 | - 7011 | X | - 4592 | 10225 | 6521 | 152.26/34.58 c (25,0) c | Hamming | 2 % | 28478 | 28393 | 26652 | 27455 | X | 27745 | 29889 | 29518 | 152.26/34.58 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c | RunningTime | | 18.0 100%| 17.9 100%| 16.5 100%| 16.9 100%| 16.3 100%| 16.6 100%| 16.4 100%| 16.4 100%| 152.26/34.58 c (25,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%| 152.26/34.58 c (25,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%| 152.26/34.58 c (25,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%| 152.26/34.58 c (25,0) c | SolvingTime | | 18.0 | 17.9 | 16.5 | 16.9 | 16.3 | 16.6 | 16.4 | 16.4 | 152.26/34.58 c (25,0) c | PropagationTim| | 16.0 89%| 16.0 89%| 14.6 88%| 14.8 88%| 14.3 88%| 14.6 88%| 14.4 88%| 14.3 88%| 152.26/34.58 c (25,0) c | AnalysisTime | | 0.6 3%| 0.5 3%| 0.5 3%| 0.5 3%| 0.5 3%| 0.5 3%| 0.5 3%| 0.6 3%| 152.26/34.58 c (25,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%| 152.26/34.58 c (25,0) c | SimplifyTime | | 0.4 2%| 0.4 2%| 0.3 2%| 0.5 3%| 0.4 2%| 0.4 2%| 0.4 3%| 0.4 2%| 152.26/34.58 c (25,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%| 152.26/34.58 c (25,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%| 152.26/34.58 c (25,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.58 c (25,0) c 152.26/34.58 c (25,0) c 152.26/34.58 c (25,0) c Threads : 8 152.26/34.58 c (25,0) c Winner : 4 152.26/34.58 c (25,0) c Conflicts_0 : 8106 152.26/34.58 c (25,0) c Conflicts_1 : 7263 152.26/34.58 c (25,0) c Conflicts_2 : 7894 152.26/34.58 c (25,0) c Conflicts_3 : 7395 152.26/34.58 c (25,0) c Conflicts_4 : 7222 152.26/34.58 c (25,0) c Conflicts_5 : 7420 152.26/34.58 c (25,0) c Conflicts_6 : 7542 152.26/34.58 c (25,0) c Conflicts_7 : 10302 152.26/34.58 c (25,0) c Conflicts_total : 63144 152.26/34.58 c (25,0) c Conflicts_winner : 7222 152.26/34.58 c (25,0) c Decisions_0 : 39069 152.26/34.58 c (25,0) c Decisions_1 : 55979 152.26/34.58 c (25,0) c Decisions_2 : 53490 152.26/34.58 c (25,0) c Decisions_3 : 48403 152.26/34.58 c (25,0) c Decisions_4 : 316150 152.26/34.58 c (25,0) c Decisions_5 : 38578 152.26/34.58 c (25,0) c Decisions_6 : 48769 152.26/34.58 c (25,0) c Decisions_7 : 41603 152.26/34.58 c (25,0) c Decisions_total : 642041 152.26/34.58 c (25,0) c Decisions_winner : 316150 152.26/34.58 c (25,0) c Propagations_0 : 51434412 152.26/34.58 c (25,0) c Propagations_1 : 51133160 152.26/34.58 c (25,0) c Propagations_2 : 54658162 152.26/34.58 c (25,0) c Propagations_3 : 51525198 152.26/34.58 c (25,0) c Propagations_4 : 52521332 152.26/34.58 c (25,0) c Propagations_5 : 54165121 152.26/34.58 c (25,0) c Propagations_6 : 52695352 152.26/34.58 c (25,0) c Propagations_7 : 49503602 152.26/34.58 c (25,0) c Propagations_total : 417636339 152.26/34.58 c (25,0) c Propagations_winner : 52521332 152.26/34.58 c (25,0) c ReduceDBs_0 : 2 152.26/34.58 c (25,0) c ReduceDBs_1 : 2 152.26/34.58 c (25,0) c ReduceDBs_2 : 2 152.26/34.58 c (25,0) c ReduceDBs_3 : 2 152.26/34.58 c (25,0) c ReduceDBs_4 : 2 152.26/34.58 c (25,0) c ReduceDBs_5 : 2 152.26/34.58 c (25,0) c ReduceDBs_6 : 2 152.26/34.58 c (25,0) c ReduceDBs_7 : 2 152.26/34.58 c (25,0) c ReduceDBs_total : 16 152.26/34.58 c (25,0) c ReduceDBs_winner : 2 152.26/34.58 c (25,0) c SimpDBs_0 : 6 152.26/34.58 c (25,0) c SimpDBs_1 : 6 152.26/34.58 c (25,0) c SimpDBs_2 : 6 152.26/34.58 c (25,0) c SimpDBs_3 : 7 152.26/34.58 c (25,0) c SimpDBs_4 : 6 152.26/34.58 c (25,0) c SimpDBs_5 : 6 152.26/34.58 c (25,0) c SimpDBs_6 : 7 152.26/34.58 c (25,0) c SimpDBs_7 : 6 152.26/34.58 c (25,0) c SimpDBs_total : 50 152.26/34.58 c (25,0) c SimpDBs_winner : 6 152.26/34.58 c (25,0) c Restarts_0 : 21 152.26/34.58 c (25,0) c Restarts_1 : 19 152.26/34.58 c (25,0) c Restarts_2 : 26 152.26/34.58 c (25,0) c Restarts_3 : 31 152.26/34.58 c (25,0) c Restarts_4 : 36 152.26/34.58 c (25,0) c Restarts_5 : 18 152.26/34.58 c (25,0) c Restarts_6 : 24 152.26/34.58 c (25,0) c Restarts_7 : 28 152.26/34.58 c (25,0) c Restarts_total : 203 152.26/34.58 c (25,0) c Restarts_winner : 36 152.26/34.58 c (25,0) c ForcedImports_0 : 0 152.26/34.58 c (25,0) c ForcedImports_1 : 0 152.26/34.58 c (25,0) c ForcedImports_2 : 0 152.26/34.58 c (25,0) c ForcedImports_3 : 0 152.26/34.58 c (25,0) c ForcedImports_4 : 0 152.26/34.58 c (25,0) c ForcedImports_5 : 0 152.26/34.58 c (25,0) c ForcedImports_6 : 0 152.26/34.58 c (25,0) c ForcedImports_7 : 0 152.26/34.58 c (25,0) c ForcedImports_total : 0 152.26/34.58 c (25,0) c ForcedImports_winner : 0 152.26/34.58 c (25,0) c PropsBinClauses_0 : 30406968 152.26/34.58 c (25,0) c PropsBinClauses_1 : 28598496 152.26/34.58 c (25,0) c PropsBinClauses_2 : 32565685 152.26/34.58 c (25,0) c PropsBinClauses_3 : 30316276 152.26/34.58 c (25,0) c PropsBinClauses_4 : 30257878 152.26/34.58 c (25,0) c PropsBinClauses_5 : 31267650 152.26/34.58 c (25,0) c PropsBinClauses_6 : 32326780 152.26/34.59 c (25,0) c PropsBinClauses_7 : 31174353 152.26/34.59 c (25,0) c PropsBinClauses_total : 246914086 152.26/34.59 c (25,0) c PropsBinClauses_winner : 30257878 152.26/34.59 c (25,0) c PropsPreBlocker_0 : 80689931 152.26/34.59 c (25,0) c PropsPreBlocker_1 : 81918102 152.26/34.59 c (25,0) c PropsPreBlocker_2 : 82176689 152.26/34.59 c (25,0) c PropsPreBlocker_3 : 80800101 152.26/34.59 c (25,0) c PropsPreBlocker_4 : 82048851 152.26/34.59 c (25,0) c PropsPreBlocker_5 : 86477884 152.26/34.59 c (25,0) c PropsPreBlocker_6 : 81637213 152.26/34.59 c (25,0) c PropsPreBlocker_7 : 81833136 152.26/34.59 c (25,0) c PropsPreBlocker_total : 657581907 152.26/34.59 c (25,0) c PropsPreBlocker_winner : 82048851 152.26/34.59 c (25,0) c PropsNotBlocker_0 : 46813646 152.26/34.59 c (25,0) c PropsNotBlocker_1 : 48634905 152.26/34.59 c (25,0) c PropsNotBlocker_2 : 49277008 152.26/34.59 c (25,0) c PropsNotBlocker_3 : 47486767 152.26/34.59 c (25,0) c PropsNotBlocker_4 : 48270052 152.26/34.59 c (25,0) c PropsNotBlocker_5 : 50445044 152.26/34.59 c (25,0) c PropsNotBlocker_6 : 47468670 152.26/34.59 c (25,0) c PropsNotBlocker_7 : 46221890 152.26/34.59 c (25,0) c PropsNotBlocker_total : 384617982 152.26/34.59 c (25,0) c PropsNotBlocker_winner : 48270052 152.26/34.59 c (25,0) c PropsLitFullScans_0 : 240091499 152.26/34.59 c (25,0) c PropsLitFullScans_1 : 240158536 152.26/34.59 c (25,0) c PropsLitFullScans_2 : 246268537 152.26/34.59 c (25,0) c PropsLitFullScans_3 : 246768223 152.26/34.59 c (25,0) c PropsLitFullScans_4 : 241515767 152.26/34.59 c (25,0) c PropsLitFullScans_5 : 252160992 152.26/34.59 c (25,0) c PropsLitFullScans_6 : 250305035 152.26/34.59 c (25,0) c PropsLitFullScans_7 : 240268060 152.26/34.59 c (25,0) c PropsLitFullScans_total : 1957536649 152.26/34.59 c (25,0) c PropsLitFullScans_winner : 241515767 152.26/34.59 c (25,0) c LitScanFractions_0 : 79467 152.26/34.59 c (25,0) c LitScanFractions_1 : 108478 152.26/34.59 c (25,0) c LitScanFractions_2 : 246825 152.26/34.59 c (25,0) c LitScanFractions_3 : 227074 152.26/34.59 c (25,0) c LitScanFractions_4 : 200834 152.26/34.59 c (25,0) c LitScanFractions_5 : 127497 152.26/34.59 c (25,0) c LitScanFractions_6 : 105520 152.26/34.59 c (25,0) c LitScanFractions_7 : 266731 152.26/34.59 c (25,0) c LitScanFractions_total : 1362426 152.26/34.59 c (25,0) c LitScanFractions_winner : 200834 152.26/34.59 c (25,0) c DecisionLevel0_0 : 48 152.26/34.59 c (25,0) c DecisionLevel0_1 : 56 152.26/34.59 c (25,0) c DecisionLevel0_2 : 68 152.26/34.59 c (25,0) c DecisionLevel0_3 : 68 152.26/34.59 c (25,0) c DecisionLevel0_4 : 65 152.26/34.59 c (25,0) c DecisionLevel0_5 : 46 152.26/34.59 c (25,0) c DecisionLevel0_6 : 48 152.26/34.59 c (25,0) c DecisionLevel0_7 : 60 152.26/34.59 c (25,0) c DecisionLevel0_total : 459 152.26/34.59 c (25,0) c DecisionLevel0_winner : 65 152.26/34.59 c (25,0) c Periods_0 : 40 152.26/34.59 c (25,0) c Periods_1 : 40 152.26/34.59 c (25,0) c Periods_2 : 41 152.26/34.59 c (25,0) c Periods_3 : 41 152.26/34.59 c (25,0) c Periods_4 : 40 152.26/34.59 c (25,0) c Periods_5 : 42 152.26/34.59 c (25,0) c Periods_6 : 41 152.26/34.59 c (25,0) c Periods_7 : 40 152.26/34.59 c (25,0) c Periods_total : 325 152.26/34.59 c (25,0) c Periods_winner : 40 152.26/34.59 c (25,0) c Margin_0 : 20 152.26/34.59 c (25,0) c Margin_1 : 20 152.26/34.59 c (25,0) c Margin_2 : 20 152.26/34.59 c (25,0) c Margin_3 : 20 152.26/34.59 c (25,0) c Margin_4 : 20 152.26/34.59 c (25,0) c Margin_5 : 20 152.26/34.59 c (25,0) c Margin_6 : 20 152.26/34.59 c (25,0) c Margin_7 : 20 152.26/34.59 c (25,0) c Margin_total : 160 152.26/34.59 c (25,0) c Margin_winner : 20 152.26/34.59 c (25,0) c Exported_0 : 1119 152.26/34.59 c (25,0) c Exported_1 : 1036 152.26/34.59 c (25,0) c Exported_2 : 1483 152.26/34.59 c (25,0) c Exported_3 : 1132 152.26/34.59 c (25,0) c Exported_4 : 823 152.26/34.59 c (25,0) c Exported_5 : 1070 152.26/34.59 c (25,0) c Exported_6 : 977 152.26/34.59 c (25,0) c Exported_7 : 1426 152.26/34.59 c (25,0) c Exported_total : 9066 152.26/34.59 c (25,0) c Exported_winner : 823 152.26/34.59 c (25,0) c Imported_0 : 1674 152.26/34.59 c (25,0) c Imported_1 : 1748 152.26/34.59 c (25,0) c Imported_2 : 1799 152.26/34.59 c (25,0) c Imported_3 : 1745 152.26/34.59 c (25,0) c Imported_4 : 1410 152.26/34.59 c (25,0) c Imported_5 : 1779 152.26/34.59 c (25,0) c Imported_6 : 1851 152.26/34.59 c (25,0) c Imported_7 : 1400 152.26/34.59 c (25,0) c Imported_total : 13406 152.26/34.59 c (25,0) c Imported_winner : 1410 152.26/34.59 c (25,0) c Good_0 : 547 152.26/34.59 c (25,0) c Good_1 : 574 152.26/34.59 c (25,0) c Good_2 : 577 152.26/34.59 c (25,0) c Good_3 : 550 152.26/34.59 c (25,0) c Good_4 : 471 152.26/34.59 c (25,0) c Good_5 : 575 152.26/34.59 c (25,0) c Good_6 : 592 152.26/34.59 c (25,0) c Good_7 : 537 152.26/34.59 c (25,0) c Good_total : 4423 152.26/34.59 c (25,0) c Good_winner : 471 152.26/34.59 c (25,0) c Purge_0 : 1127 152.26/34.59 c (25,0) c Purge_1 : 1174 152.26/34.59 c (25,0) c Purge_2 : 1222 152.26/34.59 c (25,0) c Purge_3 : 1195 152.26/34.59 c (25,0) c Purge_4 : 939 152.26/34.59 c (25,0) c Purge_5 : 1204 152.26/34.59 c (25,0) c Purge_6 : 1259 152.26/34.59 c (25,0) c Purge_7 : 863 152.26/34.59 c (25,0) c Purge_total : 8983 152.26/34.59 c (25,0) c Purge_winner : 939 152.26/34.59 c (25,0) c Promoted_0 : 40 152.26/34.59 c (25,0) c Promoted_1 : 14 152.26/34.59 c (25,0) c Promoted_2 : 37 152.26/34.59 c (25,0) c Promoted_3 : 63 152.26/34.59 c (25,0) c Promoted_4 : 26 152.26/34.59 c (25,0) c Promoted_5 : 26 152.26/34.59 c (25,0) c Promoted_6 : 46 152.26/34.59 c (25,0) c Promoted_7 : 18 152.26/34.59 c (25,0) c Promoted_total : 270 152.26/34.59 c (25,0) c Promoted_winner : 26 152.26/34.59 c (25,0) c Remove_Imp_0 : 0 152.26/34.59 c (25,0) c Remove_Imp_1 : 0 152.26/34.59 c (25,0) c Remove_Imp_2 : 0 152.26/34.59 c (25,0) c Remove_Imp_3 : 0 152.26/34.59 c (25,0) c Remove_Imp_4 : 0 152.26/34.59 c (25,0) c Remove_Imp_5 : 0 152.26/34.59 c (25,0) c Remove_Imp_6 : 0 152.26/34.59 c (25,0) c Remove_Imp_7 : 0 152.26/34.59 c (25,0) c Remove_Imp_total : 0 152.26/34.59 c (25,0) c Remove_Imp_winner : 0 152.26/34.59 c (25,0) c Blocked_Reuse_0 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_1 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_2 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_3 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_4 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_5 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_6 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_7 : 0 152.26/34.59 c (25,0) c Blocked_Reuse_total : 0 152.26/34.59 c (25,0) c Blocked_Reuse_winner : 0 152.26/34.59 c (25,0) c Unaries_0 : 27 152.26/34.59 c (25,0) c Unaries_1 : 37 152.26/34.59 c (25,0) c Unaries_2 : 42 152.26/34.59 c (25,0) c Unaries_3 : 37 152.26/34.59 c (25,0) c Unaries_4 : 29 152.26/34.59 c (25,0) c Unaries_5 : 28 152.26/34.59 c (25,0) c Unaries_6 : 24 152.26/34.59 c (25,0) c Unaries_7 : 32 152.26/34.59 c (25,0) c Unaries_total : 256 152.26/34.59 c (25,0) c Unaries_winner : 29 152.26/34.59 c (25,0) c Binaries_0 : 111 152.26/34.59 c (25,0) c Binaries_1 : 134 152.26/34.59 c (25,0) c Binaries_2 : 119 152.26/34.59 c (25,0) c Binaries_3 : 133 152.26/34.59 c (25,0) c Binaries_4 : 110 152.26/34.59 c (25,0) c Binaries_5 : 121 152.26/34.59 c (25,0) c Binaries_6 : 102 152.26/34.59 c (25,0) c Binaries_7 : 145 152.26/34.59 c (25,0) c Binaries_total : 975 152.26/34.59 c (25,0) c Binaries_winner : 110 152.26/34.59 c (25,0) c Glues_0 : 264 152.26/34.59 c (25,0) c Glues_1 : 383 152.26/34.59 c (25,0) c Glues_2 : 366 152.26/34.59 c (25,0) c Glues_3 : 331 152.26/34.59 c (25,0) c Glues_4 : 320 152.26/34.59 c (25,0) c Glues_5 : 313 152.26/34.59 c (25,0) c Glues_6 : 304 152.26/34.59 c (25,0) c Glues_7 : 382 152.26/34.59 c (25,0) c Glues_total : 2663 152.26/34.59 c (25,0) c Glues_winner : 320 152.26/34.59 c (25,0) c RunningTime_0 : 18.044707 152.26/34.59 c (25,0) c RunningTime_1 : 17.873307 152.26/34.59 c (25,0) c RunningTime_2 : 16.540742 152.26/34.59 c (25,0) c RunningTime_3 : 16.903853 152.26/34.59 c (25,0) c RunningTime_4 : 16.307641 152.26/34.59 c (25,0) c RunningTime_5 : 16.564329 152.26/34.59 c (25,0) c RunningTime_6 : 16.431719 152.26/34.59 c (25,0) c RunningTime_7 : 16.357857 152.26/34.59 c (25,0) c RunningTime_total : 135.024156 152.26/34.59 c (25,0) c RunningTime_winner : 16.307641 152.26/34.59 c (25,0) c WaitingTime_0 : 0.000031 152.26/34.59 c (25,0) c WaitingTime_1 : 0.000059 152.26/34.59 c (25,0) c WaitingTime_2 : 0.000048 152.26/34.59 c (25,0) c WaitingTime_3 : 0.000055 152.26/34.59 c (25,0) c WaitingTime_4 : 0.000049 152.26/34.59 c (25,0) c WaitingTime_5 : 0.000048 152.26/34.59 c (25,0) c WaitingTime_6 : 0.000049 152.26/34.59 c (25,0) c WaitingTime_7 : 0.000050 152.26/34.59 c (25,0) c WaitingTime_total : 0.000391 152.26/34.59 c (25,0) c WaitingTime_winner : 0.000049 152.26/34.59 c (25,0) c ExchangingTime_0 : 0.003710 152.26/34.59 c (25,0) c ExchangingTime_1 : 0.004278 152.26/34.59 c (25,0) c ExchangingTime_2 : 0.004645 152.26/34.59 c (25,0) c ExchangingTime_3 : 0.003528 152.26/34.59 c (25,0) c ExchangingTime_4 : 0.005131 152.26/34.59 c (25,0) c ExchangingTime_5 : 0.005964 152.26/34.59 c (25,0) c ExchangingTime_6 : 0.004125 152.26/34.59 c (25,0) c ExchangingTime_7 : 0.005325 152.26/34.59 c (25,0) c ExchangingTime_total : 0.036705 152.26/34.59 c (25,0) c ExchangingTime_winner : 0.005131 152.26/34.59 c (25,0) c PeriodProcTime_0 : 0.000464 152.26/34.59 c (25,0) c PeriodProcTime_1 : 0.000461 152.26/34.59 c (25,0) c PeriodProcTime_2 : 0.000455 152.26/34.59 c (25,0) c PeriodProcTime_3 : 0.000513 152.26/34.59 c (25,0) c PeriodProcTime_4 : 0.000491 152.26/34.59 c (25,0) c PeriodProcTime_5 : 0.000489 152.26/34.59 c (25,0) c PeriodProcTime_6 : 0.000463 152.26/34.59 c (25,0) c PeriodProcTime_7 : 0.000464 152.26/34.59 c (25,0) c PeriodProcTime_total : 0.003799 152.26/34.59 c (25,0) c PeriodProcTime_winner : 0.000491 152.26/34.59 c (25,0) c SolvingTime_0 : 18.048912 152.26/34.59 c (25,0) c SolvingTime_1 : 17.878104 152.26/34.59 c (25,0) c SolvingTime_2 : 16.545890 152.26/34.59 c (25,0) c SolvingTime_3 : 16.907949 152.26/34.59 c (25,0) c SolvingTime_4 : 16.313313 152.26/34.59 c (25,0) c SolvingTime_5 : 16.570830 152.26/34.59 c (25,0) c SolvingTime_6 : 16.436355 152.26/34.59 c (25,0) c SolvingTime_7 : 16.363696 152.26/34.59 c (25,0) c SolvingTime_total : 135.065050 152.26/34.59 c (25,0) c SolvingTime_winner : 16.313313 152.26/34.59 c (25,0) c PropagationTime_0 : 15.997184 152.26/34.59 c (25,0) c PropagationTime_1 : 16.000314 152.26/34.59 c (25,0) c PropagationTime_2 : 14.598048 152.26/34.59 c (25,0) c PropagationTime_3 : 14.803896 152.26/34.59 c (25,0) c PropagationTime_4 : 14.328771 152.26/34.59 c (25,0) c PropagationTime_5 : 14.640229 152.26/34.59 c (25,0) c PropagationTime_6 : 14.406892 152.26/34.59 c (25,0) c PropagationTime_7 : 14.325916 152.26/34.59 c (25,0) c PropagationTime_total : 119.101250 152.26/34.59 c (25,0) c PropagationTime_winner : 14.328771 152.26/34.59 c (25,0) c AnalysisTime_0 : 0.575395 152.26/34.59 c (25,0) c AnalysisTime_1 : 0.487253 152.26/34.59 c (25,0) c AnalysisTime_2 : 0.504293 152.26/34.59 c (25,0) c AnalysisTime_3 : 0.519732 152.26/34.59 c (25,0) c AnalysisTime_4 : 0.497154 152.26/34.59 c (25,0) c AnalysisTime_5 : 0.513379 152.26/34.59 c (25,0) c AnalysisTime_6 : 0.513726 152.26/34.59 c (25,0) c AnalysisTime_7 : 0.556131 152.26/34.59 c (25,0) c AnalysisTime_total : 4.167063 152.26/34.59 c (25,0) c AnalysisTime_winner : 0.497154 152.26/34.59 c (25,0) c ReductionTime_0 : 0.001933 152.26/34.59 c (25,0) c ReductionTime_1 : 0.002018 152.26/34.59 c (25,0) c ReductionTime_2 : 0.001520 152.26/34.59 c (25,0) c ReductionTime_3 : 0.002097 152.26/34.59 c (25,0) c ReductionTime_4 : 0.001525 152.26/34.59 c (25,0) c ReductionTime_5 : 0.001529 152.26/34.59 c (25,0) c ReductionTime_6 : 0.002554 152.26/34.59 c (25,0) c ReductionTime_7 : 0.001611 152.26/34.59 c (25,0) c ReductionTime_total : 0.014787 152.26/34.59 c (25,0) c ReductionTime_winner : 0.001525 152.26/34.59 c (25,0) c SimplifyTime_0 : 0.400194 152.26/34.59 c (25,0) c SimplifyTime_1 : 0.357063 152.26/34.59 c (25,0) c SimplifyTime_2 : 0.349702 152.26/34.59 c (25,0) c SimplifyTime_3 : 0.454739 152.26/34.59 c (25,0) c SimplifyTime_4 : 0.373453 152.26/34.59 c (25,0) c SimplifyTime_5 : 0.352950 152.26/34.59 c (25,0) c SimplifyTime_6 : 0.445975 152.26/34.59 c (25,0) c SimplifyTime_7 : 0.382372 152.26/34.59 c (25,0) c SimplifyTime_total : 3.116448 152.26/34.59 c (25,0) c SimplifyTime_winner : 0.373453 152.26/34.59 c (25,0) c UsedRateTime_0 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_1 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_2 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_3 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_4 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_5 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_6 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_7 : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_total : 0.000000 152.26/34.59 c (25,0) c UsedRateTime_winner : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_0 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_1 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_2 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_3 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_4 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_5 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_6 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_7 : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_total : 0.000000 152.26/34.59 c (25,0) c OverlapRateTime_winner : 0.000000 152.26/34.59 c (25,0) c 152.26/34.59 c (25,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 152.26/34.59 c (25,0) c 152.26/34.59 c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.59 c (25,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 152.26/34.59 c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.59 c (25,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 152.26/34.59 c (25,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 152.26/34.59 c (25,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 152.26/34.59 c (25,0) c | Initial random_seed | 1177361258 | 2035031971 | 193278617 | 1756643445 | 4603262 | 1379868726 | 1891074077 | 1782723360 | 152.26/34.59 c (25,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 152.26/34.59 c (25,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 152.26/34.59 c (25,0) c | glureduce | True | True | True | True | True | True | True | True | 152.26/34.59 c (25,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 152.26/34.59 c (25,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 152.26/34.59 c (25,0) c | luby_restart | False | False | False | False | False | False | False | False | 152.26/34.59 c (25,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 152.26/34.59 c (25,0) c | var_decay | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8200 | 152.26/34.59 c (25,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 152.26/34.59 c (25,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 152.26/34.59 c (25,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 152.26/34.59 c (25,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 152.26/34.59 c (25,0) 152.26/34.59 c (25,0) s SATISFIABLE 153.21/35.08 c (26,0) SatSolver.solve End 153.21/35.08 c (26,0) Heap : 321 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 153.21/35.08 c (26,0) Show results Begin 153.37/35.18 c (26,0) x[0] = 43 153.37/35.18 c (26,0) x[1] = 3 153.37/35.18 c (26,0) x[2] = 41 153.37/35.18 c (26,0) x[3] = 31 153.37/35.18 c (26,0) x[4] = 23 153.37/35.18 c (26,0) x[5] = 31 153.37/35.18 c (26,0) x[6] = 3 153.37/35.18 c (26,0) x[7] = 41 153.37/35.18 c (26,0) x[8] = 29 153.37/35.18 c (26,0) x[9] = 3 153.37/35.18 c (26,0) x[10] = 5 153.37/35.18 c (26,0) x[11] = 19 153.37/35.18 c (26,0) x[12] = 13 153.37/35.18 c (26,0) x[13] = 11 153.37/35.18 c (26,0) x[14] = 23 153.37/35.18 c (26,0) x[15] = 3 153.37/35.18 c (26,0) x[16] = 2 153.37/35.18 c (26,0) x[17] = 17 153.37/35.18 c (26,0) x[18] = 19 153.37/35.18 c (26,0) x[19] = 3 153.37/35.18 c (26,0) x[20] = 37 153.37/35.18 c (26,0) x[21] = 23 153.37/35.18 c (26,0) x[22] = 41 153.37/35.18 c (26,0) x[23] = 29 153.37/35.18 c (26,0) x[24] = 5 153.37/35.18 c (26,0) x[25] = 13 153.37/35.18 c (26,0) x[26] = 5 153.37/35.18 c (26,0) x[27] = 43 153.37/35.18 c (26,0) x[28] = 19 153.37/35.18 c (26,0) x[29] = 31 153.37/35.18 c (26,0) x[30] = 47 153.37/35.18 c (26,0) x[31] = 41 153.37/35.18 c (26,0) x[32] = 41 153.37/35.18 c (26,0) x[33] = 7 153.37/35.18 c (26,0) x[34] = 47 153.37/35.18 c (26,0) x[35] = 41 153.37/35.18 c (26,0) x[36] = 43 153.37/35.18 c (26,0) x[37] = 3 153.37/35.18 c (26,0) x[38] = 3 153.37/35.18 c (26,0) x[39] = 19 153.37/35.18 c (26,0) x[40] = 29 153.37/35.18 c (26,0) x[41] = 7 153.37/35.18 c (26,0) x[42] = 17 153.37/35.18 c (26,0) x[43] = 47 153.37/35.18 c (26,0) x[44] = 47 153.37/35.18 c (26,0) x[45] = 19 153.37/35.18 c (26,0) x[46] = 23 153.37/35.18 c (26,0) x[47] = 47 153.37/35.18 c (26,0) x[48] = 13 153.37/35.18 c (26,0) x[49] = 2 153.37/35.18 c (26,0) x[50] = 23 153.37/35.18 c (26,0) x[51] = 3 153.37/35.18 c (26,0) x[52] = 3 153.37/35.18 c (26,0) x[53] = 13 153.37/35.18 c (26,0) x[54] = 37 153.37/35.18 c (26,0) x[55] = 7 153.37/35.18 c (26,0) x[56] = 5 153.37/35.18 c (26,0) x[57] = 13 153.37/35.18 c (26,0) x[58] = 3 153.37/35.18 c (26,0) x[59] = 3 153.37/35.18 c (26,0) x[60] = 2 153.37/35.18 c (26,0) x[61] = 2 153.37/35.18 c (26,0) x[62] = 47 153.37/35.18 c (26,0) x[63] = 41 153.37/35.18 c (26,0) x[64] = 37 153.37/35.18 c (26,0) x[65] = 13 153.37/35.18 c (26,0) x[66] = 3 153.37/35.18 c (26,0) x[67] = 29 153.37/35.18 c (26,0) x[68] = 43 153.37/35.18 c (26,0) x[69] = 5 153.37/35.18 c (26,0) x[70] = 29 153.37/35.19 c (26,0) x[71] = 2 153.37/35.19 c (26,0) x[72] = 41 153.37/35.19 c (26,0) x[73] = 2 153.37/35.19 c (26,0) x[74] = 47 153.37/35.19 c (26,0) x[75] = 41 153.37/35.19 c (26,0) x[76] = 47 153.37/35.19 c (26,0) x[77] = 47 153.37/35.19 c (26,0) x[78] = 7 153.37/35.19 c (26,0) x[79] = 13 153.37/35.19 c (26,0) x[80] = 19 153.37/35.19 c (26,0) x[81] = 7 153.37/35.19 c (26,0) x[82] = 17 153.37/35.19 c (26,0) x[83] = 23 153.37/35.19 c (26,0) x[84] = 23 153.37/35.19 c (26,0) x[85] = 29 153.37/35.20 c (26,0) x[86] = 7 153.37/35.20 c (26,0) x[87] = 37 153.37/35.20 c (26,0) x[88] = 47 153.37/35.20 c (26,0) x[89] = 11 153.37/35.20 c (26,0) x[90] = 41 153.37/35.20 c (26,0) x[91] = 2 153.37/35.20 c (26,0) x[92] = 37 153.37/35.20 c (26,0) x[93] = 7 153.37/35.20 c (26,0) x[94] = 11 153.37/35.20 c (26,0) x[95] = 19 153.37/35.20 c (26,0) x[96] = 3 153.37/35.20 c (26,0) x[97] = 17 153.37/35.20 c (26,0) x[98] = 29 153.37/35.20 c (26,0) x[99] = 47 153.37/35.20 s SATISFIABLE 153.52/35.20 v <instantiation> 153.52/35.20 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99]</list> 153.52/35.20 v <values>43 3 41 31 23 31 3 41 29 3 5 19 13 11 23 3 2 17 19 3 37 23 41 29 5 13 5 43 19 31 47 41 41 7 47 41 43 3 3 19 29 7 17 47 47 19 23 47 13 2 23 3 3 13 37 7 5 13 3 3 2 2 47 41 37 13 3 29 43 5 29 2 41 2 47 41 47 47 7 13 19 7 17 23 23 29 7 37 47 11 41 2 37 7 11 19 3 17 29 47</values> 153.52/35.20 v </instantiation> 153.52/35.20 c (26,0) Show results End 153.52/35.20 c (26,0) Heap : 321 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 153.52/35.20 c (26,0) 26,26,STOP-AFTER(ALL) 153.52/35.20 c END-Prog: Tue Sep 24 18:06:53 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 (13220 MiB free) memory of node 1: 16384 MiB (11634 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405487-1569341045/watcher-4405487-1569341045 -o /tmp/evaluation-result-4405487-1569341045/solver-4405487-1569341045 -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-4405487-1569341045.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=10788, runsolver pid=10785 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100061 s]* /proc/loadavg: 6.11 5.96 5.18 2/209 10810 /proc/meminfo: memFree=25356828/32770624 swapFree=66941024/67108860 [pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10788/stat : 10788 (scop.sh) S 10785 10788 9857 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375253 115843072 349 33554432000 4194304 5098028 140732630960624 140732630957880 140559169843836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32288768 140732630967076 140732630967404 140732630967404 140732630970317 0 /proc/10788/statm: 28282 349 296 221 0 87 0 [pid=10791] ppid=10788 vsize=27314120 memory=106568 CPUtime=0.11 cores=0-7 /proc/10791/stat : 10791 (java) S 10788 10788 9857 0 -1 1077944320 6749 0 0 0 8 3 0 0 20 0 20 0 510375253 27969658880 26642 33554432000 4194304 4196468 140722595974432 140722595956976 139767333990135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 /proc/10791/statm: 6828530 26642 2772 1 0 6790935 0 [pid=10791/tid=10792] ppid=10788 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/10791/task/10792/stat : 10792 (java) R 10788 10788 9857 0 -1 4202560 4876 0 0 0 7 2 0 0 20 0 20 0 510375254 27969658880 26707 33554432000 4194304 4196468 140722595974432 139767305820200 139767334012061 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10793] ppid=10788 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/10791/task/10793/stat : 10793 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139767338232080 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10794] ppid=10788 vsize=27314120 memory=139793430328960 CPUtime=0 cores=0-7 /proc/10791/task/10794/stat : 10794 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139767162874256 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10795] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10795/stat : 10795 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766755129872 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10796] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10796/stat : 10796 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766754077328 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10797] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10797/stat : 10797 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766753024784 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10798] ppid=10788 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10791/task/10798/stat : 10798 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766751972240 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10799] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10799/stat : 10799 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766750919696 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10800] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10800/stat : 10800 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766749867152 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10801] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10801/stat : 10801 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766325348336 139767334001282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10802] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10802/stat : 10802 (java) S 10788 10788 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 26707 33554432000 4194304 4196468 140722595974432 139765282235296 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10803] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10803/stat : 10803 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 26707 33554432000 4194304 4196468 140722595974432 139765013799920 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10804] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10804/stat : 10804 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 26707 33554432000 4194304 4196468 140722595974432 139764639291600 139767334008731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10805] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10805/stat : 10805 (java) S 10788 10788 9857 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766324296176 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10806] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10806/stat : 10806 (java) R 10788 10788 9857 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766323243632 139767334001282 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10807] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10807/stat : 10807 (java) R 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766322191088 139767334001282 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10808] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10808/stat : 10808 (java) R 10788 10788 9857 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766321138544 139767334011482 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10809] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10809/stat : 10809 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 26707 33554432000 4194304 4196468 140722595974432 139764141385952 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10810] ppid=10788 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10791/task/10810/stat : 10810 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 26707 33554432000 4194304 4196468 140722595974432 139766320085424 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107964 KiB [startup+0.210396 s]* /proc/loadavg: 6.11 5.96 5.18 3/209 10810 /proc/meminfo: memFree=25338856/32770624 swapFree=66941024/67108860 [pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10788/stat : 10788 (scop.sh) S 10785 10788 9857 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375253 115843072 349 33554432000 4194304 5098028 140732630960624 140732630957880 140559169843836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32288768 140732630967076 140732630967404 140732630967404 140732630970317 0 /proc/10788/statm: 28282 349 296 221 0 87 0 [pid=10791] ppid=10788 vsize=27314120 memory=123708 CPUtime=0.24 cores=0-7 /proc/10791/stat : 10791 (java) S 10788 10788 9857 0 -1 1077944320 11786 0 0 0 20 4 0 0 20 0 20 0 510375253 27969658880 30927 33554432000 4194304 4196468 140722595974432 140722595956976 139767333990135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 /proc/10791/statm: 6828530 30927 2951 1 0 6790935 0 [pid=10791/tid=10792] ppid=10788 vsize=27314120 memory=29681743523217448 CPUtime=0.19 cores=0-7 /proc/10791/task/10792/stat : 10792 (java) R 10788 10788 9857 0 -1 4202560 9501 0 0 0 16 3 0 0 20 0 20 0 510375254 27969658880 30927 33554432000 4194304 4196468 140722595974432 139767305795800 139767334004022 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10793] ppid=10788 vsize=27314120 memory=288230587528118625 CPUtime=0 cores=0-7 /proc/10791/task/10793/stat : 10793 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139767338232080 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10794] ppid=10788 vsize=27314120 memory=288370169582040704 CPUtime=0 cores=0-7 /proc/10791/task/10794/stat : 10794 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139767162874256 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10795] ppid=10788 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10791/task/10795/stat : 10795 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766755129872 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10796] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10796/stat : 10796 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766754077328 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10797] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10797/stat : 10797 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766753024784 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10798] ppid=10788 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10791/task/10798/stat : 10798 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766751972240 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10799] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10799/stat : 10799 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766750919696 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10800] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10800/stat : 10800 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766749867152 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10801] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10801/stat : 10801 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766325348336 139767334001282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10802] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10802/stat : 10802 (java) S 10788 10788 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 30927 33554432000 4194304 4196468 140722595974432 139765282235296 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10803] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10803/stat : 10803 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 30927 33554432000 4194304 4196468 140722595974432 139765013799920 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10804] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10804/stat : 10804 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 30927 33554432000 4194304 4196468 140722595974432 139764639291600 139767334008731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10805] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10805/stat : 10805 (java) S 10788 10788 9857 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766324296176 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10806] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10806/stat : 10806 (java) S 10788 10788 9857 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766323243632 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10807] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10807/stat : 10807 (java) S 10788 10788 9857 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766322191088 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10808] ppid=10788 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/10791/task/10808/stat : 10808 (java) S 10788 10788 9857 0 -1 1077944384 464 0 0 0 2 0 0 0 20 0 20 0 510375261 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766321138544 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10809] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10809/stat : 10809 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 30927 33554432000 4194304 4196468 140722595974432 139764141385952 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10810] ppid=10788 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10791/task/10810/stat : 10810 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 30927 33554432000 4194304 4196468 140722595974432 139766320085424 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125104 KiB [startup+0.310204 s]* /proc/loadavg: 6.11 5.96 5.18 2/209 10810 /proc/meminfo: memFree=25336064/32770624 swapFree=66941024/67108860 [pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10788/stat : 10788 (scop.sh) S 10785 10788 9857 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375253 115843072 349 33554432000 4194304 5098028 140732630960624 140732630957880 140559169843836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32288768 140732630967076 140732630967404 140732630967404 140732630970317 0 /proc/10788/statm: 28282 349 296 221 0 87 0 [pid=10791] ppid=10788 vsize=27314120 memory=127596 CPUtime=0.43 cores=0-7 /proc/10791/stat : 10791 (java) S 10788 10788 9857 0 -1 1077944320 12311 0 0 0 38 5 0 0 20 0 20 0 510375253 27969658880 31899 33554432000 4194304 4196468 140722595974432 140722595956976 139767333990135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 /proc/10791/statm: 6828530 31899 3021 1 0 6790935 0 [pid=10791/tid=10792] ppid=10788 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/10791/task/10792/stat : 10792 (java) R 10788 10788 9857 0 -1 4202560 9827 0 0 0 26 4 0 0 20 0 20 0 510375254 27969658880 31899 33554432000 4194304 4196468 140722595974432 139767305817776 139767318070622 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10793] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10793/stat : 10793 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139767338232080 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10794] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10794/stat : 10794 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139767162874256 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10795] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10795/stat : 10795 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766755129872 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10796] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10796/stat : 10796 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766754077328 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10797] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10797/stat : 10797 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766753024784 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10798] ppid=10788 vsize=27314120 memory=139793333840559 CPUtime=0 cores=0-7 /proc/10791/task/10798/stat : 10798 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766751972240 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10799] ppid=10788 vsize=27314120 memory=139793333842864 CPUtime=0 cores=0-7 /proc/10791/task/10799/stat : 10799 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766750919696 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10800] ppid=10788 vsize=27314120 memory=139793333845168 CPUtime=0 cores=0-7 /proc/10791/task/10800/stat : 10800 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375256 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766749867152 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10801] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10801/stat : 10801 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766325348336 139767334001282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10802] ppid=10788 vsize=27314120 memory=279586667704208 CPUtime=0 cores=0-7 /proc/10791/task/10802/stat : 10802 (java) S 10788 10788 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 31899 33554432000 4194304 4196468 140722595974432 139765282235296 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10803] ppid=10788 vsize=27314120 memory=279586667701904 CPUtime=0 cores=0-7 /proc/10791/task/10803/stat : 10803 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375258 27969658880 31899 33554432000 4194304 4196468 140722595974432 139765013799920 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10804] ppid=10788 vsize=27314120 memory=279586667708816 CPUtime=0 cores=0-7 /proc/10791/task/10804/stat : 10804 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 31899 33554432000 4194304 4196468 140722595974432 139764639291600 139767334008731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10805] ppid=10788 vsize=27314120 memory=279586667650096 CPUtime=0.01 cores=0-7 /proc/10791/task/10805/stat : 10805 (java) R 10788 10788 9857 0 -1 4202560 391 0 0 0 1 0 0 0 20 0 20 0 510375261 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766324296176 139767311624784 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10806] ppid=10788 vsize=27314120 memory=279586667722640 CPUtime=0.01 cores=0-7 /proc/10791/task/10806/stat : 10806 (java) S 10788 10788 9857 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 510375261 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766323243632 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10807] ppid=10788 vsize=27314120 memory=279586667729552 CPUtime=0.01 cores=0-7 /proc/10791/task/10807/stat : 10807 (java) S 10788 10788 9857 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 510375261 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766322191088 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10808] ppid=10788 vsize=27314120 memory=279586667727248 CPUtime=0.07 cores=0-7 /proc/10791/task/10808/stat : 10808 (java) S 10788 10788 9857 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 510375261 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766321138544 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10809] ppid=10788 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10809/stat : 10809 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 31899 33554432000 4194304 4196468 140722595974432 139764141385952 139767334000341 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10810] ppid=10788 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10791/task/10810/stat : 10810 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375261 27969658880 31899 33554432000 4194304 4196468 140722595974432 139766320085424 139767334001282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128992 KiB [startup+0.703654 s] /proc/loadavg: 6.11 5.96 5.18 2/209 10810 /proc/meminfo: memFree=25312128/32770624 swapFree=66941024/67108860 [pid=10788] ppid=10785 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/10788/stat : 10788 (scop.sh) S 10785 10788 9857 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510375253 115843072 349 33554432000 4194304 5098028 140732630960624 140732630957880 140559169843836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32288768 140732630967076 140732630967404 140732630967404 140732630970317 0 /proc/10788/statm: 28282 349 296 221 0 87 0 [pid=10791] ppid=10788 vsize=27322440 memory=165452 CPUtime=1.02 cores=0-7 /proc/10791/stat : 10791 (java) S 10788 10788 9857 0 -1 1077944320 20560 0 0 0 95 7 0 0 20 0 20 0 510375253 27978178560 41363 33554432000 4194304 4196468 140722595974432 140722595956976 139767333990135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 /proc/10791/statm: 6830610 41363 3181 1 0 6791959 0 [pid=10791/tid=10792] ppid=10788 vsize=27322440 memory=0 CPUtime=0.68 cores=0-7 /proc/10791/task/10792/stat : 10792 (java) R 10788 10788 9857 0 -1 4202560 17489 0 0 0 62 6 0 0 20 0 20 0 510375254 27978178560 41363 33554432000 4194304 4196468 140722595974432 139767305825760 139767318070622 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10793] ppid=10788 vsize=27322440 memory=2353 CPUtime=0 cores=0-7 /proc/10791/task/10793/stat : 10793 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510375256 27978178560 41363 33554432000 4194304 4196468 140722595974432 139767338232080 139767334000341 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10794] ppid=10788 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/10791/task/10794/stat : 10794 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510375256 27978178560 41363 33554432000 4194304 4196468 140722595974432 139767162874256 139767334000341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15548416 140722595980010 140722595980438 140722595980438 140722595983311 0 [pid=10791/tid=10795] ppid=10788 vsize=27322440 memory=1416 CPUtime=0 cores=0-7 ################ # More data... # ################ /proc/10811/task/10815/stat : 10815 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 31186 33554432000 4194304 4196468 140724277741184 139848245013520 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10816] ppid=10788 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/10811/task/10816/stat : 10816 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 31186 33554432000 4194304 4196468 140724277741184 139848243960976 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10817] ppid=10788 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/10811/task/10817/stat : 10817 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 31186 33554432000 4194304 4196468 140724277741184 139848242907408 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10818] ppid=10788 vsize=8414124 memory=500 CPUtime=0 cores=0-7 /proc/10811/task/10818/stat : 10818 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 31186 33554432000 4194304 4196468 140724277741184 139848241854864 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10819] ppid=10788 vsize=8414124 memory=124744 CPUtime=0 cores=0-7 /proc/10811/task/10819/stat : 10819 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 31186 33554432000 4194304 4196468 140724277741184 139848240802320 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10820] ppid=10788 vsize=8414124 memory=1008 CPUtime=0 cores=0-7 /proc/10811/task/10820/stat : 10820 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 31186 33554432000 4194304 4196468 140724277741184 139848239749776 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10821] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10821/stat : 10821 (java) S 10788 10788 9857 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510376117 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847535192560 139848441666178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10822] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10822/stat : 10822 (java) S 10788 10788 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510376117 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847020832160 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10823] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10823/stat : 10823 (java) S 10788 10788 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510376117 8616062976 31186 33554432000 4194304 4196468 140724277741184 139846886610416 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10824] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10824/stat : 10824 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376120 8616062976 31186 33554432000 4194304 4196468 140724277741184 139846512106192 139848441673627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10825] ppid=10788 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7 /proc/10811/task/10825/stat : 10825 (java) S 10788 10788 9857 0 -1 1077944384 813 0 0 0 13 0 0 0 20 0 24 0 510376120 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847534139376 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10826] ppid=10788 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7 /proc/10811/task/10826/stat : 10826 (java) S 10788 10788 9857 0 -1 1077944384 192 0 0 0 8 0 0 0 20 0 24 0 510376120 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847533086832 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10827] ppid=10788 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7 /proc/10811/task/10827/stat : 10827 (java) S 10788 10788 9857 0 -1 1077944384 653 0 0 0 13 0 0 0 20 0 24 0 510376120 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847532034288 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10828] ppid=10788 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7 /proc/10811/task/10828/stat : 10828 (java) S 10788 10788 9857 0 -1 1077944384 613 0 0 0 24 0 0 0 20 0 24 0 510376120 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847530981744 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10829] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10829/stat : 10829 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510376120 8616062976 31186 33554432000 4194304 4196468 140724277741184 139846014200544 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10830] ppid=10788 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/10811/task/10830/stat : 10830 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 510376120 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847529929648 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10832] ppid=10788 vsize=8414124 memory=44324 CPUtime=0 cores=0-7 /proc/10811/task/10832/stat : 10832 (java) S 10788 10788 9857 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510376192 8616062976 31186 33554432000 4194304 4196468 140724277741184 139847521896128 139848441679641 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10834] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10834/stat : 10834 (java) S 10788 10788 9857 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510376192 8616062976 31186 33554432000 4194304 4196468 140724277741184 139845343100176 139848441676957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10835] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10835/stat : 10835 (java) S 10788 10788 9857 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510376192 8616062976 31186 33554432000 4194304 4196468 140724277741184 139845611535760 139848441676957 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10836] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10836/stat : 10836 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510376194 8616062976 31186 33554432000 4194304 4196468 140724277741184 139845074672816 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 Current children cumulated CPU time: 152.16 s Current children cumulated vsize: 11818692 KiB Current children cumulated memory: 3040120 KiB [startup+34.801 s] /proc/loadavg: 5.66 5.83 5.16 3/216 10845 /proc/meminfo: memFree=22364680/32770624 swapFree=66941024/67108860 [pid=10788] ppid=10785 vsize=113128 memory=1476 CPUtime=10.08 cores=0-7 /proc/10788/stat : 10788 (scop.sh) S 10785 10788 9857 0 -1 4202496 583 30661 0 0 0 0 915 93 20 0 1 0 510375253 115843072 369 33554432000 4194304 5098028 140732630960624 140732630957368 140559169843836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32288768 140732630967076 140732630967404 140732630967404 140732630970317 0 /proc/10788/statm: 28282 369 311 221 0 87 0 [pid=10811] ppid=10788 vsize=8414124 memory=167952 CPUtime=1.67 cores=0-7 /proc/10811/stat : 10811 (java) S 10788 10788 9857 0 -1 1077944320 21750 0 0 0 156 11 0 0 20 0 24 0 510376114 8616062976 41988 33554432000 4194304 4196468 140724277741184 140724277723728 139848441655031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 /proc/10811/statm: 2103531 41988 3211 1 0 2064875 0 [pid=10831] ppid=10811 vsize=3259624 memory=2914896 CPUtime=140.99 cores=0-7 /proc/10831/stat : 10831 (manyglucose-4.1) R 10811 10788 9857 0 -1 4202496 1872492 0 0 0 13730 369 0 0 20 0 1 0 510376191 3337854976 728724 33554432000 4194304 4454172 140723091895328 140723091892048 140086657652374 0 4 0 8388610 0 0 0 17 7 0 0 0 0 0 6552832 6554400 29360128 140723091899241 140723091899440 140723091899440 140723091902394 0 /proc/10831/statm: 814906 728724 425 64 0 810574 0 [pid=10811/tid=10812] ppid=10788 vsize=8414124 memory=1476 CPUtime=0.81 cores=0-7 /proc/10811/task/10812/stat : 10812 (java) S 10788 10788 9857 0 -1 1077944384 17465 0 0 0 74 7 0 0 20 0 24 0 510376114 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848413495200 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10813] ppid=10788 vsize=8414124 memory=124744 CPUtime=0 cores=0-7 /proc/10811/task/10813/stat : 10813 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848445897488 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10814] ppid=10788 vsize=8414124 memory=93071941325987 CPUtime=0 cores=0-7 /proc/10811/task/10814/stat : 10814 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848246066064 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10815] ppid=10788 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/10811/task/10815/stat : 10815 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848245013520 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10816] ppid=10788 vsize=8414124 memory=2364 CPUtime=0 cores=0-7 /proc/10811/task/10816/stat : 10816 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848243960976 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10817] ppid=10788 vsize=8414124 memory=1744 CPUtime=0 cores=0-7 /proc/10811/task/10817/stat : 10817 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848242907408 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10818] ppid=10788 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/10811/task/10818/stat : 10818 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848241854864 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10819] ppid=10788 vsize=8414124 memory=1448 CPUtime=0 cores=0-7 /proc/10811/task/10819/stat : 10819 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848240802320 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10820] ppid=10788 vsize=8414124 memory=1748 CPUtime=0 cores=0-7 /proc/10811/task/10820/stat : 10820 (java) S 10788 10788 9857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510376115 8616062976 41988 33554432000 4194304 4196468 140724277741184 139848239749776 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10821] ppid=10788 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10811/task/10821/stat : 10821 (java) S 10788 10788 9857 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510376117 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847535192560 139848441666178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10822] ppid=10788 vsize=8414124 memory=279586669395232 CPUtime=0 cores=0-7 /proc/10811/task/10822/stat : 10822 (java) S 10788 10788 9857 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510376117 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847020832160 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10823] ppid=10788 vsize=8414124 memory=3184237713410668432 CPUtime=0 cores=0-7 /proc/10811/task/10823/stat : 10823 (java) S 10788 10788 9857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510376117 8616062976 41988 33554432000 4194304 4196468 140724277741184 139846886610416 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10824] ppid=10788 vsize=8414124 memory=7865572153494089777 CPUtime=0 cores=0-7 /proc/10811/task/10824/stat : 10824 (java) S 10788 10788 9857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510376120 8616062976 41988 33554432000 4194304 4196468 140724277741184 139846512106192 139848441673627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10825] ppid=10788 vsize=8414124 memory=7865572157789057073 CPUtime=0.16 cores=0-7 /proc/10811/task/10825/stat : 10825 (java) S 10788 10788 9857 0 -1 1077944384 841 0 0 0 16 0 0 0 20 0 24 0 510376120 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847534139376 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10826] ppid=10788 vsize=8414124 memory=7865572162084024369 CPUtime=0.1 cores=0-7 /proc/10811/task/10826/stat : 10826 (java) S 10788 10788 9857 0 -1 1077944384 248 0 0 0 10 0 0 0 20 0 24 0 510376120 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847533086832 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10827] ppid=10788 vsize=8414124 memory=7649399367035007025 CPUtime=0.16 cores=0-7 /proc/10811/task/10827/stat : 10827 (java) S 10788 10788 9857 0 -1 1077944384 666 0 0 0 16 0 0 0 20 0 24 0 510376120 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847532034288 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10828] ppid=10788 vsize=8414124 memory=7649399371329974321 CPUtime=0.27 cores=0-7 /proc/10811/task/10828/stat : 10828 (java) S 10788 10788 9857 0 -1 1077944384 1085 0 0 0 27 0 0 0 20 0 24 0 510376120 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847530981744 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10829] ppid=10788 vsize=8414124 memory=7649399375624941617 CPUtime=0 cores=0-7 /proc/10811/task/10829/stat : 10829 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510376120 8616062976 41988 33554432000 4194304 4196468 140724277741184 139846014200544 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10830] ppid=10788 vsize=8414124 memory=7649399379919908913 CPUtime=0.01 cores=0-7 /proc/10811/task/10830/stat : 10830 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 510376120 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847529929648 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10832] ppid=10788 vsize=8414124 memory=7649399384214876209 CPUtime=0 cores=0-7 /proc/10811/task/10832/stat : 10832 (java) S 10788 10788 9857 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510376192 8616062976 41988 33554432000 4194304 4196468 140724277741184 139847521896128 139848441679641 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10834] ppid=10788 vsize=8414124 memory=7649399388509843505 CPUtime=0.11 cores=0-7 /proc/10811/task/10834/stat : 10834 (java) S 10788 10788 9857 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 24 0 510376192 8616062976 41988 33554432000 4194304 4196468 140724277741184 139845343100160 139848441676957 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10835] ppid=10788 vsize=8414124 memory=7649399392804810801 CPUtime=0 cores=0-7 /proc/10811/task/10835/stat : 10835 (java) S 10788 10788 9857 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510376192 8616062976 41988 33554432000 4194304 4196468 140724277741184 139845611535760 139848441676957 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10836] ppid=10788 vsize=8414124 memory=279586668425744 CPUtime=0 cores=0-7 /proc/10811/task/10836/stat : 10836 (java) S 10788 10788 9857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510376194 8616062976 41988 33554432000 4194304 4196468 140724277741184 139845074672816 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 Current children cumulated CPU time: 152.74 s Current children cumulated vsize: 11786876 KiB Current children cumulated memory: 3084324 KiB [startup+35.201 s] /proc/loadavg: 5.66 5.83 5.16 2/212 10845 /proc/meminfo: memFree=25110036/32770624 swapFree=66941024/67108860 [pid=10788] ppid=10785 vsize=113128 memory=1476 CPUtime=10.08 cores=0-7 /proc/10788/stat : 10788 (scop.sh) S 10785 10788 9857 0 -1 4202496 583 30661 0 0 0 0 915 93 20 0 1 0 510375253 115843072 369 33554432000 4194304 5098028 140732630960624 140732630957368 140559169843836 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32288768 140732630967076 140732630967404 140732630967404 140732630970317 0 /proc/10788/statm: 28282 369 311 221 0 87 0 [pid=10811] ppid=10788 vsize=8283048 memory=319748 CPUtime=143.44 cores=0-7 /proc/10811/stat : 10811 (java) S 10788 10788 9857 0 -1 1077944320 23383 1872499 0 0 213 17 13732 382 20 0 22 0 510376114 8481841152 79937 33554432000 4194304 4196468 140724277741184 140724277723728 139848441655031 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 /proc/10811/statm: 2070762 79937 3231 1 0 2032106 0 [pid=10811/tid=10812] ppid=10788 vsize=8283048 memory=0 CPUtime=142.06 cores=0-7 /proc/10811/task/10812/stat : 10812 (java) R 10788 10788 9857 0 -1 4202560 18752 1872499 0 0 84 8 13732 382 20 0 22 0 510376114 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848413481760 139847910108937 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10813] ppid=10788 vsize=8283048 memory=1476 CPUtime=141.14 cores=0-7 /proc/10811/task/10813/stat : 10813 (java) S 10788 10788 9857 0 -1 1077944384 1 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848445897488 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10814] ppid=10788 vsize=8283048 memory=139797725296255 CPUtime=141.14 cores=0-7 /proc/10811/task/10814/stat : 10814 (java) S 10788 10788 9857 0 -1 1077944384 2 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848246066064 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10815] ppid=10788 vsize=8283048 memory=-6370764230427955803 CPUtime=141.14 cores=0-7 /proc/10811/task/10815/stat : 10815 (java) S 10788 10788 9857 0 -1 1077944384 1 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848245013520 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10816] ppid=10788 vsize=8283048 memory=6149754627490790768 CPUtime=141.14 cores=0-7 /proc/10811/task/10816/stat : 10816 (java) S 10788 10788 9857 0 -1 1077944384 1 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848243960976 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10817] ppid=10788 vsize=8283048 memory=7891840952711471676 CPUtime=141.14 cores=0-7 /proc/10811/task/10817/stat : 10817 (java) S 10788 10788 9857 0 -1 1077944384 2 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848242907408 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10818] ppid=10788 vsize=8283048 memory=4784058833354135968 CPUtime=141.14 cores=0-7 /proc/10811/task/10818/stat : 10818 (java) S 10788 10788 9857 0 -1 1077944384 3 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848241854864 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10819] ppid=10788 vsize=8283048 memory=-6081100125891549016 CPUtime=141.14 cores=0-7 /proc/10811/task/10819/stat : 10819 (java) S 10788 10788 9857 0 -1 1077944384 1 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848240802320 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10820] ppid=10788 vsize=8283048 memory=7449323672164004262 CPUtime=141.14 cores=0-7 /proc/10811/task/10820/stat : 10820 (java) S 10788 10788 9857 0 -1 1077944384 2 1872499 0 0 0 0 13732 382 20 0 22 0 510376115 8481841152 79937 33554432000 4194304 4196468 140724277741184 139848239749776 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10821] ppid=10788 vsize=8283048 memory=1476 CPUtime=141.15 cores=0-7 /proc/10811/task/10821/stat : 10821 (java) S 10788 10788 9857 0 -1 1077944384 7 1872499 0 0 0 1 13732 382 20 0 22 0 510376117 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847535192560 139848441666178 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10822] ppid=10788 vsize=8283048 memory=1476 CPUtime=141.14 cores=0-7 /proc/10811/task/10822/stat : 10822 (java) S 10788 10788 9857 0 -1 1077944384 13 1872499 0 0 0 0 13732 382 20 0 22 0 510376117 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847020832160 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10823] ppid=10788 vsize=8283048 memory=124744 CPUtime=141.14 cores=0-7 /proc/10811/task/10823/stat : 10823 (java) S 10788 10788 9857 0 -1 1077944384 21 1872499 0 0 0 0 13732 382 20 0 22 0 510376117 8481841152 79937 33554432000 4194304 4196468 140724277741184 139846886610416 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10824] ppid=10788 vsize=8283048 memory=2912584 CPUtime=141.14 cores=0-7 /proc/10811/task/10824/stat : 10824 (java) S 10788 10788 9857 0 -1 1077944384 1 1872499 0 0 0 0 13732 382 20 0 22 0 510376120 8481841152 79937 33554432000 4194304 4196468 140724277741184 139846512106192 139848441673627 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10825] ppid=10788 vsize=8283048 memory=19876 CPUtime=141.35 cores=0-7 /proc/10811/task/10825/stat : 10825 (java) S 10788 10788 9857 0 -1 1077944384 867 1872499 0 0 21 0 13732 382 20 0 22 0 510376120 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847534139376 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10826] ppid=10788 vsize=8283048 memory=22084 CPUtime=141.27 cores=0-7 /proc/10811/task/10826/stat : 10826 (java) R 10788 10788 9857 0 -1 1077944384 284 1872499 0 0 13 0 13732 382 20 0 22 0 510376120 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847533086832 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10827] ppid=10788 vsize=8283048 memory=24292 CPUtime=141.35 cores=0-7 /proc/10811/task/10827/stat : 10827 (java) S 10788 10788 9857 0 -1 1077944384 678 1872499 0 0 21 0 13732 382 20 0 22 0 510376120 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847532034288 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10828] ppid=10788 vsize=8283048 memory=7686721470250327443 CPUtime=141.48 cores=0-7 /proc/10811/task/10828/stat : 10828 (java) R 10788 10788 9857 0 -1 4202560 1240 1872499 0 0 34 0 13732 382 20 0 22 0 510376120 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847530981744 139848425735518 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10829] ppid=10788 vsize=8283048 memory=6656426216303648864 CPUtime=141.14 cores=0-7 /proc/10811/task/10829/stat : 10829 (java) S 10788 10788 9857 0 -1 1077944384 3 1872499 0 0 0 0 13732 382 20 0 22 0 510376120 8481841152 79937 33554432000 4194304 4196468 140724277741184 139846014200544 139848441665237 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10830] ppid=10788 vsize=8283048 memory=279586669412832 CPUtime=141.15 cores=0-7 /proc/10811/task/10830/stat : 10830 (java) S 10788 10788 9857 0 -1 1077944384 3 1872499 0 0 1 0 13732 382 20 0 22 0 510376120 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847529929648 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10832] ppid=10788 vsize=8283048 memory=279586667495664 CPUtime=141.14 cores=0-7 /proc/10811/task/10832/stat : 10832 (java) S 10788 10788 9857 0 -1 1077944384 24 1872499 0 0 0 0 13732 382 20 0 22 0 510376192 8481841152 79937 33554432000 4194304 4196468 140724277741184 139847521895312 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 [pid=10811/tid=10836] ppid=10788 vsize=8283048 memory=0 CPUtime=141.14 cores=0-7 /proc/10811/task/10836/stat : 10836 (java) S 10788 10788 9857 0 -1 1077944384 10 1872499 0 0 0 0 13732 382 20 0 22 0 510376194 8481841152 79937 33554432000 4194304 4196468 140724277741184 139845074674608 139848441666178 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30633984 140724277744631 140724277744790 140724277744790 140724277747663 0 Current children cumulated CPU time: 153.52 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 321224 KiB Child status: 0 Real time (s): 35.2273 CPU time (s): 153.579 CPU user time (s): 148.622 CPU system time (s): 4.95682 CPU usage (%): 435.966 Max. virtual memory (cumulated for all children) (KiB): 27443760 Max. memory (cumulated for all children) (KiB): 4860572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 148.622 system time used= 4.95682 maximum resident set size= 4866580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1927177 page faults= 0 swaps= 0 block input operations= 8 block output operations= 111312 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 36025 involuntary context switches= 1197 # summary of solver processes directly reported to runsolver: # pid: 10788 # total CPU time (s): 153.579 # total CPU user time (s): 148.622 # total CPU system time (s): 4.95682 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.31575 second user time and 0.465091 second system time The end
Begin job on node139 at 2019-09-24 18:06:18 IDJOB=4405487 IDBENCH=133404 IDSOLVER=2868 FILE ID=node139/4405487-1569341045 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-p15/Primes-15-80-3-7.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-4405487-1569341045/watcher-4405487-1569341045 -o /tmp/evaluation-result-4405487-1569341045/solver-4405487-1569341045 -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-4405487-1569341045.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 06954292f1b618a5cd25146d74869010 RANDOM SEED=1435980845 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: 25451552 kB MemAvailable: 31781068 kB Buffers: 101920 kB Cached: 6316116 kB SwapCached: 64848 kB Active: 3194100 kB Inactive: 3294056 kB Active(anon): 4280 kB Inactive(anon): 121952 kB Active(file): 3189820 kB Inactive(file): 3172104 kB Unevictable: 107100 kB Mlocked: 107100 kB SwapTotal: 67108860 kB SwapFree: 66941024 kB Dirty: 20596 kB Writeback: 0 kB AnonPages: 112264 kB Mapped: 56800 kB Shmem: 47364 kB Slab: 424740 kB SReclaimable: 396052 kB SUnreclaim: 28688 kB KernelStack: 3632 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 504572 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:06:53