Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 299.135 | 43.5474 |
Name | QRandom/ QRandom-geometric-rw/geometric-50-20-d4-75-94.xml |
MD5SUM | 6d6d0435d13d3ff0671cf8a5c787b057 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 48.6477 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 496 |
Number of domains | 1 |
Minimum domain size | 20 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":20,"count":50}] |
Minimum variable degree | 7 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":7,"count":2},{"degree":8,"count":1},{"degree":9,"count":1},{"degree":12,"count":1},{"degree":13,"count":2},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":6},{"degree":17,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":2},{"degree":21,"count":7},{"degree":23,"count":1},{"degree":24,"count":2},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":29,"count":4},{"degree":30,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":496}] |
Number of extensional constraints | 496 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":496}] |
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-9553-serial-file.bin HOME/instance-4405484-1569336000.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Tue Sep 24 16:39:19 CEST 2019 0.65/0.57 c PID: 9556 0.65/0.57 c IP: 172.20.3.140 0.65/0.57 c HOST: node140.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.90/1.21 c (0,0) Parsing End 3.31/1.37 c (0,0) CSP: 50 int (0 aux), 0 bool (0 aux), 496 ctr, max domain size 20 3.31/1.37 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.31/1.37 c (0,0) Constraint Name Generate Begin 3.31/1.37 c (0,0) Ctr:HOME/instance-4405484-1569336000.xml,ExtensionConflict:Var 3.31/1.37 c (0,0) Constraint Name Generate End 3.31/1.37 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 3.31/1.37 c (0,0) CSP to CSPinCNF Begin 5.33/1.98 c (1,1) translated 50 (10%) constraints 6.54/2.26 c (1,1) translated 100 (20%) constraints 7.75/2.50 c (1,1) translated 149 (30%) constraints 8.55/2.76 c (2,2) translated 199 (40%) constraints 9.35/2.99 c (2,2) translated 248 (50%) constraints 10.33/3.20 c (2,2) translated 298 (60%) constraints 10.47/3.39 c (2,2) translated 348 (70%) constraints 10.68/3.57 c (3,3) translated 397 (80%) constraints 10.91/3.76 c (3,3) translated 447 (90%) constraints 11.11/3.94 c (3,3) translated 496 (100%) constraints 11.11/3.95 c (3,3) =========================================== 11.11/3.98 c (3,3) Hybrid: #OE=50, #LE=0 11.11/3.98 c (3,3) Hybrid 11.11/3.98 c (3,3) =========================================== 11.34/4.10 c (3,3) translated 3772 (10%) constraints 11.50/4.20 c (3,3) translated 7544 (20%) constraints 11.74/4.28 c (3,3) translated 11315 (30%) constraints 11.85/4.36 c (3,3) translated 15087 (40%) constraints 11.95/4.45 c (3,3) translated 18858 (50%) constraints 12.05/4.53 c (3,3) translated 22630 (60%) constraints 12.15/4.61 c (4,4) translated 26402 (70%) constraints 12.25/4.70 c (4,4) translated 30173 (80%) constraints 12.25/4.78 c (4,4) translated 33945 (90%) constraints 12.36/4.87 c (4,4) translated 37716 (100%) constraints 12.36/4.87 c (4,4) CSP to CSPinCNF End 12.36/4.87 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20 12.36/4.87 c (4,4) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 12.36/4.87 c (4,4) CSPinCNF Propagation Begin 13.10/5.16 c (4,4) 0 values, 4251 unsatisfiable literals, and 0 valid clauses are removed 13.10/5.16 c (4,4) CSPinCNF Propagation End 13.10/5.16 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20 13.10/5.16 c (4,4) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 13.10/5.18 c (4,4) Hybrid: #OE=50, #LE=0 13.10/5.18 c (4,4) Simplify CSPinCNF Begin 13.40/5.31 c (4,4) Simplify CSPinCNF End 13.40/5.31 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20 13.40/5.31 c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 13.40/5.31 c (4,4) Calculate Precise Domain Begin 13.40/5.31 c (4,4) 0 values are removed by re-calculation 13.40/5.31 c (4,4) Calculate Precise Domain End 13.40/5.31 c (4,4) CSP: 50 int (0 aux), 0 bool (0 aux), 37716 ctr, max domain size 20 13.40/5.31 c (4,4) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 13.40/5.31 c (4,4) CSPinCNF to SatSolver Begin 14.09/5.53 c (4,4) 3772 (10 %) CSP clauses are encoded (0 SAT variables, 4671 SAT clauses) 14.48/5.62 c (5,5) 7544 (20 %) CSP clauses are encoded (0 SAT variables, 8443 SAT clauses) 14.48/5.69 c (5,5) 11315 (30 %) CSP clauses are encoded (0 SAT variables, 12214 SAT clauses) 14.86/5.73 c (5,5) 15087 (40 %) CSP clauses are encoded (0 SAT variables, 15986 SAT clauses) 14.86/5.78 c (5,5) 18858 (50 %) CSP clauses are encoded (0 SAT variables, 19757 SAT clauses) 14.98/5.82 c (5,5) 22630 (60 %) CSP clauses are encoded (0 SAT variables, 23529 SAT clauses) 14.98/5.86 c (5,5) 26402 (70 %) CSP clauses are encoded (0 SAT variables, 27301 SAT clauses) 15.08/5.91 c (5,5) 30173 (80 %) CSP clauses are encoded (0 SAT variables, 31072 SAT clauses) 15.08/5.95 c (5,5) 33945 (90 %) CSP clauses are encoded (0 SAT variables, 34844 SAT clauses) 15.08/6.00 c (5,5) 37716 (100 %) CSP clauses are encoded (0 SAT variables, 38615 SAT clauses) 15.08/6.00 c (5,5) CSPinCNF to SatSolver End 15.08/6.00 c (5,5) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 15.08/6.00 c (5,5) 950 bool, 38616 clause 15.08/6.00 c (5,5) Export Begin 15.22/6.09 c (5,5) Export to HOME/scop-9553-serial-file.bin 15.22/6.09 c (5,5) Export End 15.22/6.09 c (5,5) Export File Size: 0.01 MB 15.22/6.09 c (5,5) 0,0,4,4,4,4,5,STOP-AFTER(DIMACS) 15.22/6.09 c END-Prog: Tue Sep 24 16:39:25 CEST 2019 0.00/6.11 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9553-serial-file.bin 15.44/6.57 c (0,0) Read Serial File Begin 15.44/6.57 c (0,0) HOME/scop-9553-serial-file.bin 15.44/6.79 c (0,0) Read Serial File End 15.44/6.80 15.44/6.80 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 15.44/6.80 (Solving Process) 15.44/6.80 15.44/6.82 c BEGIN-Prog: Tue Sep 24 16:39:26 CEST 2019 15.44/6.82 c PID: 9576 15.44/6.82 c IP: 172.20.3.140 15.44/6.82 c HOST: node140.alineos.net 15.44/6.83 c (0,0) SatSolver.solve Begin 15.44/6.83 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405484-1569336000.xml-scop-9556.cnf 15.44/6.85 c (0,0) c 15.44/6.85 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) 15.44/6.85 c (0,0) c 15.44/6.85 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 15.44/6.85 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 15.44/6.85 c (0,0) c ========================================[ Problem Statistics ]=========================================== 15.44/6.85 c (0,0) c | | 15.44/6.86 c (0,0) c | Number of variables: 950 | 15.44/6.86 c (0,0) c | Number of clauses: 38616 | 15.44/6.86 c (0,0) c | Parse time: 0.01 s | 15.44/6.86 c (0,0) c | | 15.44/6.90 c (0,0) c | Simplification time: 0.04 s | 15.44/6.90 c (0,0) c | | 15.44/6.90 c (0,0) c | Generating clones | 15.44/6.91 c (0,0) c | all clones generated. Memory = 42.06Mb. | 15.44/6.91 c (0,0) c ========================================================================================================| 15.44/6.91 c (0,0) c 15.44/6.91 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 15.44/6.91 c (0,0) c 15.44/6.91 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.44/6.91 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 15.44/6.91 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 15.44/6.91 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 15.44/6.91 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 15.44/6.91 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 15.44/6.91 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 15.44/6.91 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 15.44/6.91 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 15.44/6.91 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 15.44/6.91 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 15.44/6.91 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 15.44/6.91 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 15.44/6.91 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 15.44/6.91 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 15.44/6.91 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 15.44/6.91 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 15.44/6.91 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 15.44/6.91 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 250.82/36.60 c (30,0) c 250.82/36.60 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 250.82/36.60 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 250.82/36.60 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 250.82/36.60 c (30,0) c | 0 | 141 | 546913 | 454506 | 50489 | 2261 | 55350 | 229544 | 4678 | 511 | 20 | 0.848 | 250.82/36.60 c (30,0) c | 1 | 49 | 410832 | 342714 | 28953 | 70383 | 36044 | 224017 | 14698 | 511 | 20 | 0.211 | 250.82/36.60 c (30,0) c | 2 | 88 | 409868 | 340719 | 27377 | 40230 | 33338 | 248525 | 15178 | 507 | 20 | 1.054 | 250.82/36.60 c (30,0) c | 3 | 95 | 408323 | 341316 | 27406 | 54611 | 36985 | 239202 | 15955 | 491 | 20 | 0.843 | 250.82/36.60 c (30,0) c | 4 | 70 | 426875 | 355678 | 26606 | 37740 | 33340 | 242697 | 14245 | 500 | 20 | 0.737 | 250.82/36.60 c (30,0) c | 5 | 62 | 402163 | 334844 | 27070 | 65006 | 30251 | 253377 | 15801 | 511 | 20 | 0.843 | 250.82/36.60 c (30,0) c | 6 | 235 | 411320 | 341496 | 26677 | 64836 | 32336 | 242330 | 14772 | 495 | 20 | 0.738 | 250.82/36.60 c (30,0) c | 7 | 108 | 404015 | 336581 | 26536 | 62085 | 32009 | 251572 | 15469 | 511 | 20 | 0.843 | 250.82/36.60 c (30,0) c 250.82/36.60 c (30,0) c synthesis 2847856 conflicts 294857710 propagations 12182 conflicts/sec 1261312 propagations/sec 250.82/36.60 c (30,0) c real: 29.7477 s, cpu: 233.771 s, memory: 651.01 Mb 299.02/43.50 c (37,0) c 299.02/43.50 c (37,0) c real time : 36.6514 s 299.02/43.50 c (37,0) c cpu time : 281.913 s 299.02/43.50 c (37,0) c 299.02/43.50 c (37,0) c 299.02/43.50 c (37,0) c 299.02/43.50 c (37,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 299.02/43.50 c (37,0) c 299.02/43.50 c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.50 c (37,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 299.02/43.50 c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.50 c (37,0) c | Conflicts | 3338260 | 535146 | 403950 | 400686 | 410094 | 417158 | 382159 | 401489 | 387578 | 299.02/43.50 c (37,0) c | Decisions | 4001545 | 642683 | 482985 | 480935 | 489788 | 499734 | 458371 | 482866 | 464183 | 299.02/43.50 c (37,0) c | Propagations | 344077272 | 56405654 | 41861846 | 40679889 | 42204166 | 42312923 | 39181061 | 41402654 | 40029079 | 299.02/43.50 c (37,0) c | ReduceDBs | 342 | 225 | 17 | 17 | 17 | 17 | 16 | 17 | 16 | 299.02/43.50 c (37,0) c | SimpDBs | 77 | 14 | 9 | 8 | 10 | 9 | 7 | 11 | 9 | 299.02/43.50 c (37,0) c | Restarts | 917 | 146 | 55 | 104 | 101 | 81 | 73 | 244 | 113 | 299.02/43.50 c (37,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 299.02/43.50 c (37,0) c | PropBinClauses| 333999145 | 54741133 | 40357795 | 39454098 | 40853651 | 41280463 | 38212281 | 40213694 | 38886030 | 299.02/43.50 c (37,0) c | PropPreBlocker| 22073118431 | 2756517056 | 2748689787 | 2770396223 | 2712978043 | 2744602283 | 2805181415 | 2740556861 | 2794196763 | 299.02/43.50 c (37,0) c | PropNotBlocker| 3321093708 | 469531467 | 415184051 | 413835246 | 431445001 | 410374863 | 383993226 | 409043273 | 387686581 | 299.02/43.50 c (37,0) c | LitFullScans | 29220274768 | 3660188977 | 3653171793 | 3660306687 | 3636387668 | 3648354239 | 3660364802 | 3641145017 | 3660355585 | 299.02/43.50 c (37,0) c | LitScanFracts | 2919040 | 186378 | 461416 | 302338 | 378542 | 344954 | 359342 | 535829 | 350241 | 299.02/43.50 c (37,0) c | DecisionLevel0| 987 | 156 | 76 | 106 | 114 | 83 | 74 | 264 | 114 | 299.02/43.50 c (37,0) c | Periods | 4868 | 610 | 608 | 610 | 606 | 608 | 610 | 606 | 610 | 299.02/43.50 c (37,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 299.02/43.50 c (37,0) c | Avg_Trail | | 354 | 358 | 350 | 352 | 352 | 352 | 351 | 352 | 299.02/43.50 c (37,0) c | Avg_DL | | 12 | 12 | 12 | 12 | 12 | 12 | 11 | 12 | 299.02/43.50 c (37,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 299.02/43.50 c (37,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 299.02/43.50 c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.50 c (37,0) c | Exported | 332782 | 66687 | 39759 | 37364 | 41316 | 37807 | 34835 | 38177 | 36837 | 299.02/43.50 c (37,0) c | Imported | 2212161 | 256376 | 281984 | 285099 | 279026 | 273447 | 272250 | 283168 | 280811 | 299.02/43.50 c (37,0) c | Good | 1929 | 245 | 277 | 294 | 208 | 193 | 179 | 279 | 254 | 299.02/43.50 c (37,0) c | Purge | 2210232 | 256131 | 281707 | 284805 | 278818 | 273254 | 272071 | 282889 | 280557 | 299.02/43.50 c (37,0) c | Promoted | 136645 | 5248 | 17687 | 18203 | 19539 | 18170 | 19261 | 19007 | 19530 | 299.02/43.50 c (37,0) c | Remove_Imp | 1502088 | 235976 | 198846 | 183955 | 195607 | 176676 | 162802 | 176573 | 171653 | 299.02/43.50 c (37,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 299.02/43.50 c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.50 c (37,0) c | Unaries | | 10 | 21 | 2 | 13 | 2 | 1 | 20 | 1 | 299.02/43.50 c (37,0) c | Binaries | | 89 | 82 | 33 | 131 | 28 | 24 | 108 | 26 | 299.02/43.50 c (37,0) c | Glues | | 709 | 515 | 467 | 587 | 452 | 456 | 567 | 470 | 299.02/43.50 c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.50 c (37,0) c | Orig_Seen | 93 % | 58311 | 29155 | 27438 | 27517 | 26725 | 27115 | 26747 | 26642 | 299.02/43.50 c (37,0) c | Diff Orig seen| | 31564 | 2408 | 691 | 770 | - 22 | 368 | X | - 105 | 299.02/43.50 c (37,0) c | Hamming | 19 % | 187 | 179 | 180 | 195 | 171 | 215 | X | 191 | 299.02/43.50 c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.50 c (37,0) c | RunningTime | | 33.4 94%| 34.8 98%| 35.6 100%| 36.5 100%| 35.9 100%| 35.0 98%| 36.2 100%| 34.7 97%| 299.02/43.50 c (37,0) c | WaitingTime | | 2.1 6%| 0.7 2%| 0.1 0%| 0.0 0%| 0.0 0%| 0.6 2%| 0.0 0%| 0.9 3%| 299.02/43.50 c (37,0) c | ExchangingTime| | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 299.02/43.50 c (37,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%| 299.02/43.50 c (37,0) c | SolvingTime | | 35.7 | 35.7 | 35.7 | 36.6 | 36.0 | 35.7 | 36.3 | 35.7 | 299.02/43.50 c (37,0) c | PropagationTim| | 30.7 86%| 32.2 90%| 32.2 90%| 32.6 89%| 32.4 90%| 31.7 89%| 32.2 89%| 32.2 90%| 299.02/43.50 c (37,0) c | AnalysisTime | | 3.2 9%| 2.3 6%| 2.4 7%| 2.8 8%| 2.5 7%| 2.9 8%| 2.9 8%| 2.4 7%| 299.02/43.50 c (37,0) c | ReductionTime | | 0.8 2%| 0.4 1%| 0.5 1%| 0.4 1%| 0.5 1%| 0.4 1%| 0.5 1%| 0.4 1%| 299.02/43.50 c (37,0) c | SimplifyTime | | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 299.02/43.50 c (37,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%| 299.02/43.50 c (37,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%| 299.02/43.50 c (37,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.50 c (37,0) c 299.02/43.50 c (37,0) c 299.02/43.50 c (37,0) c Threads : 8 299.02/43.50 c (37,0) c Winner : 6 299.02/43.50 c (37,0) c Conflicts_0 : 535146 299.02/43.50 c (37,0) c Conflicts_1 : 403950 299.02/43.50 c (37,0) c Conflicts_2 : 400686 299.02/43.50 c (37,0) c Conflicts_3 : 410094 299.02/43.50 c (37,0) c Conflicts_4 : 417158 299.02/43.50 c (37,0) c Conflicts_5 : 382159 299.02/43.50 c (37,0) c Conflicts_6 : 401489 299.02/43.50 c (37,0) c Conflicts_7 : 387578 299.02/43.50 c (37,0) c Conflicts_total : 3338260 299.02/43.50 c (37,0) c Conflicts_winner : 401489 299.02/43.50 c (37,0) c Decisions_0 : 642683 299.02/43.50 c (37,0) c Decisions_1 : 482985 299.02/43.50 c (37,0) c Decisions_2 : 480935 299.02/43.50 c (37,0) c Decisions_3 : 489788 299.02/43.51 c (37,0) c Decisions_4 : 499734 299.02/43.51 c (37,0) c Decisions_5 : 458371 299.02/43.51 c (37,0) c Decisions_6 : 482866 299.02/43.51 c (37,0) c Decisions_7 : 464183 299.02/43.51 c (37,0) c Decisions_total : 4001545 299.02/43.51 c (37,0) c Decisions_winner : 482866 299.02/43.51 c (37,0) c Propagations_0 : 56405654 299.02/43.51 c (37,0) c Propagations_1 : 41861846 299.02/43.51 c (37,0) c Propagations_2 : 40679889 299.02/43.51 c (37,0) c Propagations_3 : 42204166 299.02/43.51 c (37,0) c Propagations_4 : 42312923 299.02/43.51 c (37,0) c Propagations_5 : 39181061 299.02/43.51 c (37,0) c Propagations_6 : 41402654 299.02/43.51 c (37,0) c Propagations_7 : 40029079 299.02/43.51 c (37,0) c Propagations_total : 344077272 299.02/43.51 c (37,0) c Propagations_winner : 41402654 299.02/43.51 c (37,0) c ReduceDBs_0 : 225 299.02/43.51 c (37,0) c ReduceDBs_1 : 17 299.02/43.51 c (37,0) c ReduceDBs_2 : 17 299.02/43.51 c (37,0) c ReduceDBs_3 : 17 299.02/43.51 c (37,0) c ReduceDBs_4 : 17 299.02/43.51 c (37,0) c ReduceDBs_5 : 16 299.02/43.51 c (37,0) c ReduceDBs_6 : 17 299.02/43.51 c (37,0) c ReduceDBs_7 : 16 299.02/43.51 c (37,0) c ReduceDBs_total : 342 299.02/43.51 c (37,0) c ReduceDBs_winner : 17 299.02/43.51 c (37,0) c SimpDBs_0 : 14 299.02/43.51 c (37,0) c SimpDBs_1 : 9 299.02/43.51 c (37,0) c SimpDBs_2 : 8 299.02/43.51 c (37,0) c SimpDBs_3 : 10 299.02/43.51 c (37,0) c SimpDBs_4 : 9 299.02/43.51 c (37,0) c SimpDBs_5 : 7 299.02/43.51 c (37,0) c SimpDBs_6 : 11 299.02/43.51 c (37,0) c SimpDBs_7 : 9 299.02/43.51 c (37,0) c SimpDBs_total : 77 299.02/43.51 c (37,0) c SimpDBs_winner : 11 299.02/43.51 c (37,0) c Restarts_0 : 146 299.02/43.51 c (37,0) c Restarts_1 : 55 299.02/43.51 c (37,0) c Restarts_2 : 104 299.02/43.51 c (37,0) c Restarts_3 : 101 299.02/43.51 c (37,0) c Restarts_4 : 81 299.02/43.51 c (37,0) c Restarts_5 : 73 299.02/43.51 c (37,0) c Restarts_6 : 244 299.02/43.51 c (37,0) c Restarts_7 : 113 299.02/43.51 c (37,0) c Restarts_total : 917 299.02/43.51 c (37,0) c Restarts_winner : 244 299.02/43.51 c (37,0) c ForcedImports_0 : 0 299.02/43.51 c (37,0) c ForcedImports_1 : 0 299.02/43.51 c (37,0) c ForcedImports_2 : 0 299.02/43.51 c (37,0) c ForcedImports_3 : 0 299.02/43.51 c (37,0) c ForcedImports_4 : 0 299.02/43.51 c (37,0) c ForcedImports_5 : 0 299.02/43.51 c (37,0) c ForcedImports_6 : 0 299.02/43.51 c (37,0) c ForcedImports_7 : 0 299.02/43.51 c (37,0) c ForcedImports_total : 0 299.02/43.51 c (37,0) c ForcedImports_winner : 0 299.02/43.51 c (37,0) c PropsBinClauses_0 : 54741133 299.02/43.51 c (37,0) c PropsBinClauses_1 : 40357795 299.02/43.51 c (37,0) c PropsBinClauses_2 : 39454098 299.02/43.51 c (37,0) c PropsBinClauses_3 : 40853651 299.02/43.51 c (37,0) c PropsBinClauses_4 : 41280463 299.02/43.51 c (37,0) c PropsBinClauses_5 : 38212281 299.02/43.51 c (37,0) c PropsBinClauses_6 : 40213694 299.02/43.51 c (37,0) c PropsBinClauses_7 : 38886030 299.02/43.51 c (37,0) c PropsBinClauses_total : 333999145 299.02/43.51 c (37,0) c PropsBinClauses_winner : 40213694 299.02/43.51 c (37,0) c PropsPreBlocker_0 : 2756517056 299.02/43.51 c (37,0) c PropsPreBlocker_1 : 2748689787 299.02/43.51 c (37,0) c PropsPreBlocker_2 : 2770396223 299.02/43.51 c (37,0) c PropsPreBlocker_3 : 2712978043 299.02/43.51 c (37,0) c PropsPreBlocker_4 : 2744602283 299.02/43.51 c (37,0) c PropsPreBlocker_5 : 2805181415 299.02/43.51 c (37,0) c PropsPreBlocker_6 : 2740556861 299.02/43.51 c (37,0) c PropsPreBlocker_7 : 2794196763 299.02/43.51 c (37,0) c PropsPreBlocker_total : 22073118431 299.02/43.51 c (37,0) c PropsPreBlocker_winner : 2740556861 299.02/43.51 c (37,0) c PropsNotBlocker_0 : 469531467 299.02/43.51 c (37,0) c PropsNotBlocker_1 : 415184051 299.02/43.51 c (37,0) c PropsNotBlocker_2 : 413835246 299.02/43.51 c (37,0) c PropsNotBlocker_3 : 431445001 299.02/43.51 c (37,0) c PropsNotBlocker_4 : 410374863 299.02/43.51 c (37,0) c PropsNotBlocker_5 : 383993226 299.02/43.51 c (37,0) c PropsNotBlocker_6 : 409043273 299.02/43.51 c (37,0) c PropsNotBlocker_7 : 387686581 299.02/43.51 c (37,0) c PropsNotBlocker_total : 3321093708 299.02/43.51 c (37,0) c PropsNotBlocker_winner : 409043273 299.02/43.51 c (37,0) c PropsLitFullScans_0 : 3660188977 299.02/43.51 c (37,0) c PropsLitFullScans_1 : 3653171793 299.02/43.51 c (37,0) c PropsLitFullScans_2 : 3660306687 299.02/43.51 c (37,0) c PropsLitFullScans_3 : 3636387668 299.02/43.51 c (37,0) c PropsLitFullScans_4 : 3648354239 299.02/43.51 c (37,0) c PropsLitFullScans_5 : 3660364802 299.02/43.51 c (37,0) c PropsLitFullScans_6 : 3641145017 299.02/43.51 c (37,0) c PropsLitFullScans_7 : 3660355585 299.02/43.51 c (37,0) c PropsLitFullScans_total : 29220274768 299.02/43.51 c (37,0) c PropsLitFullScans_winner : 3641145017 299.02/43.51 c (37,0) c LitScanFractions_0 : 186378 299.02/43.51 c (37,0) c LitScanFractions_1 : 461416 299.02/43.51 c (37,0) c LitScanFractions_2 : 302338 299.02/43.51 c (37,0) c LitScanFractions_3 : 378542 299.02/43.51 c (37,0) c LitScanFractions_4 : 344954 299.02/43.51 c (37,0) c LitScanFractions_5 : 359342 299.02/43.51 c (37,0) c LitScanFractions_6 : 535829 299.02/43.51 c (37,0) c LitScanFractions_7 : 350241 299.02/43.51 c (37,0) c LitScanFractions_total : 2919040 299.02/43.51 c (37,0) c LitScanFractions_winner : 535829 299.02/43.51 c (37,0) c DecisionLevel0_0 : 156 299.02/43.51 c (37,0) c DecisionLevel0_1 : 76 299.02/43.51 c (37,0) c DecisionLevel0_2 : 106 299.02/43.51 c (37,0) c DecisionLevel0_3 : 114 299.02/43.51 c (37,0) c DecisionLevel0_4 : 83 299.02/43.51 c (37,0) c DecisionLevel0_5 : 74 299.02/43.51 c (37,0) c DecisionLevel0_6 : 264 299.02/43.51 c (37,0) c DecisionLevel0_7 : 114 299.02/43.51 c (37,0) c DecisionLevel0_total : 987 299.02/43.51 c (37,0) c DecisionLevel0_winner : 264 299.02/43.51 c (37,0) c Periods_0 : 610 299.02/43.51 c (37,0) c Periods_1 : 608 299.02/43.51 c (37,0) c Periods_2 : 610 299.02/43.51 c (37,0) c Periods_3 : 606 299.02/43.51 c (37,0) c Periods_4 : 608 299.02/43.51 c (37,0) c Periods_5 : 610 299.02/43.51 c (37,0) c Periods_6 : 606 299.02/43.51 c (37,0) c Periods_7 : 610 299.02/43.51 c (37,0) c Periods_total : 4868 299.02/43.51 c (37,0) c Periods_winner : 606 299.02/43.51 c (37,0) c Margin_0 : 20 299.02/43.51 c (37,0) c Margin_1 : 20 299.02/43.51 c (37,0) c Margin_2 : 20 299.02/43.51 c (37,0) c Margin_3 : 20 299.02/43.51 c (37,0) c Margin_4 : 20 299.02/43.51 c (37,0) c Margin_5 : 20 299.02/43.51 c (37,0) c Margin_6 : 20 299.02/43.51 c (37,0) c Margin_7 : 20 299.02/43.51 c (37,0) c Margin_total : 160 299.02/43.51 c (37,0) c Margin_winner : 20 299.02/43.51 c (37,0) c Exported_0 : 66687 299.02/43.51 c (37,0) c Exported_1 : 39759 299.02/43.51 c (37,0) c Exported_2 : 37364 299.02/43.51 c (37,0) c Exported_3 : 41316 299.02/43.51 c (37,0) c Exported_4 : 37807 299.02/43.51 c (37,0) c Exported_5 : 34835 299.02/43.51 c (37,0) c Exported_6 : 38177 299.02/43.51 c (37,0) c Exported_7 : 36837 299.02/43.51 c (37,0) c Exported_total : 332782 299.02/43.51 c (37,0) c Exported_winner : 38177 299.02/43.51 c (37,0) c Imported_0 : 256376 299.02/43.51 c (37,0) c Imported_1 : 281984 299.02/43.51 c (37,0) c Imported_2 : 285099 299.02/43.51 c (37,0) c Imported_3 : 279026 299.02/43.51 c (37,0) c Imported_4 : 273447 299.02/43.51 c (37,0) c Imported_5 : 272250 299.02/43.51 c (37,0) c Imported_6 : 283168 299.02/43.51 c (37,0) c Imported_7 : 280811 299.02/43.51 c (37,0) c Imported_total : 2212161 299.02/43.51 c (37,0) c Imported_winner : 283168 299.02/43.51 c (37,0) c Good_0 : 245 299.02/43.51 c (37,0) c Good_1 : 277 299.02/43.51 c (37,0) c Good_2 : 294 299.02/43.51 c (37,0) c Good_3 : 208 299.02/43.51 c (37,0) c Good_4 : 193 299.02/43.51 c (37,0) c Good_5 : 179 299.02/43.51 c (37,0) c Good_6 : 279 299.02/43.51 c (37,0) c Good_7 : 254 299.02/43.51 c (37,0) c Good_total : 1929 299.02/43.51 c (37,0) c Good_winner : 279 299.02/43.51 c (37,0) c Purge_0 : 256131 299.02/43.51 c (37,0) c Purge_1 : 281707 299.02/43.51 c (37,0) c Purge_2 : 284805 299.02/43.51 c (37,0) c Purge_3 : 278818 299.02/43.51 c (37,0) c Purge_4 : 273254 299.02/43.51 c (37,0) c Purge_5 : 272071 299.02/43.51 c (37,0) c Purge_6 : 282889 299.02/43.51 c (37,0) c Purge_7 : 280557 299.02/43.51 c (37,0) c Purge_total : 2210232 299.02/43.51 c (37,0) c Purge_winner : 282889 299.02/43.51 c (37,0) c Promoted_0 : 5248 299.02/43.51 c (37,0) c Promoted_1 : 17687 299.02/43.51 c (37,0) c Promoted_2 : 18203 299.02/43.51 c (37,0) c Promoted_3 : 19539 299.02/43.51 c (37,0) c Promoted_4 : 18170 299.02/43.51 c (37,0) c Promoted_5 : 19261 299.02/43.51 c (37,0) c Promoted_6 : 19007 299.02/43.51 c (37,0) c Promoted_7 : 19530 299.02/43.51 c (37,0) c Promoted_total : 136645 299.02/43.51 c (37,0) c Promoted_winner : 19007 299.02/43.51 c (37,0) c Remove_Imp_0 : 235976 299.02/43.51 c (37,0) c Remove_Imp_1 : 198846 299.02/43.51 c (37,0) c Remove_Imp_2 : 183955 299.02/43.51 c (37,0) c Remove_Imp_3 : 195607 299.02/43.51 c (37,0) c Remove_Imp_4 : 176676 299.02/43.51 c (37,0) c Remove_Imp_5 : 162802 299.02/43.51 c (37,0) c Remove_Imp_6 : 176573 299.02/43.51 c (37,0) c Remove_Imp_7 : 171653 299.02/43.51 c (37,0) c Remove_Imp_total : 1502088 299.02/43.52 c (37,0) c Remove_Imp_winner : 176573 299.02/43.52 c (37,0) c Blocked_Reuse_0 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_1 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_2 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_3 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_4 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_5 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_6 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_7 : 0 299.02/43.52 c (37,0) c Blocked_Reuse_total : 0 299.02/43.52 c (37,0) c Blocked_Reuse_winner : 0 299.02/43.52 c (37,0) c Unaries_0 : 10 299.02/43.52 c (37,0) c Unaries_1 : 21 299.02/43.52 c (37,0) c Unaries_2 : 2 299.02/43.52 c (37,0) c Unaries_3 : 13 299.02/43.52 c (37,0) c Unaries_4 : 2 299.02/43.52 c (37,0) c Unaries_5 : 1 299.02/43.52 c (37,0) c Unaries_6 : 20 299.02/43.52 c (37,0) c Unaries_7 : 1 299.02/43.52 c (37,0) c Unaries_total : 70 299.02/43.52 c (37,0) c Unaries_winner : 20 299.02/43.52 c (37,0) c Binaries_0 : 89 299.02/43.52 c (37,0) c Binaries_1 : 82 299.02/43.52 c (37,0) c Binaries_2 : 33 299.02/43.52 c (37,0) c Binaries_3 : 131 299.02/43.52 c (37,0) c Binaries_4 : 28 299.02/43.52 c (37,0) c Binaries_5 : 24 299.02/43.52 c (37,0) c Binaries_6 : 108 299.02/43.52 c (37,0) c Binaries_7 : 26 299.02/43.52 c (37,0) c Binaries_total : 521 299.02/43.52 c (37,0) c Binaries_winner : 108 299.02/43.52 c (37,0) c Glues_0 : 709 299.02/43.52 c (37,0) c Glues_1 : 515 299.02/43.52 c (37,0) c Glues_2 : 467 299.02/43.52 c (37,0) c Glues_3 : 587 299.02/43.52 c (37,0) c Glues_4 : 452 299.02/43.52 c (37,0) c Glues_5 : 456 299.02/43.52 c (37,0) c Glues_6 : 567 299.02/43.52 c (37,0) c Glues_7 : 470 299.02/43.52 c (37,0) c Glues_total : 4223 299.02/43.52 c (37,0) c Glues_winner : 567 299.02/43.52 c (37,0) c RunningTime_0 : 33.441817 299.02/43.52 c (37,0) c RunningTime_1 : 34.840559 299.02/43.52 c (37,0) c RunningTime_2 : 35.559845 299.02/43.52 c (37,0) c RunningTime_3 : 36.460812 299.02/43.52 c (37,0) c RunningTime_4 : 35.910775 299.02/43.52 c (37,0) c RunningTime_5 : 35.011404 299.02/43.52 c (37,0) c RunningTime_6 : 36.191929 299.02/43.52 c (37,0) c RunningTime_7 : 34.690396 299.02/43.52 c (37,0) c RunningTime_total : 282.107537 299.02/43.52 c (37,0) c RunningTime_winner : 36.191929 299.02/43.52 c (37,0) c WaitingTime_0 : 2.129076 299.02/43.52 c (37,0) c WaitingTime_1 : 0.723284 299.02/43.52 c (37,0) c WaitingTime_2 : 0.058017 299.02/43.52 c (37,0) c WaitingTime_3 : 0.000750 299.02/43.52 c (37,0) c WaitingTime_4 : 0.049623 299.02/43.52 c (37,0) c WaitingTime_5 : 0.592023 299.02/43.52 c (37,0) c WaitingTime_6 : 0.000799 299.02/43.52 c (37,0) c WaitingTime_7 : 0.915225 299.02/43.52 c (37,0) c WaitingTime_total : 4.468797 299.02/43.52 c (37,0) c WaitingTime_winner : 0.000799 299.02/43.52 c (37,0) c ExchangingTime_0 : 0.108392 299.02/43.52 c (37,0) c ExchangingTime_1 : 0.082788 299.02/43.52 c (37,0) c ExchangingTime_2 : 0.085098 299.02/43.52 c (37,0) c ExchangingTime_3 : 0.082762 299.02/43.52 c (37,0) c ExchangingTime_4 : 0.082273 299.02/43.52 c (37,0) c ExchangingTime_5 : 0.089241 299.02/43.52 c (37,0) c ExchangingTime_6 : 0.082794 299.02/43.52 c (37,0) c ExchangingTime_7 : 0.086936 299.02/43.52 c (37,0) c ExchangingTime_total : 0.700285 299.02/43.52 c (37,0) c ExchangingTime_winner : 0.082794 299.02/43.52 c (37,0) c PeriodProcTime_0 : 0.005079 299.02/43.52 c (37,0) c PeriodProcTime_1 : 0.004707 299.02/43.52 c (37,0) c PeriodProcTime_2 : 0.004225 299.02/43.52 c (37,0) c PeriodProcTime_3 : 0.005772 299.02/43.52 c (37,0) c PeriodProcTime_4 : 0.004621 299.02/43.52 c (37,0) c PeriodProcTime_5 : 0.005512 299.02/43.52 c (37,0) c PeriodProcTime_6 : 0.004232 299.02/43.52 c (37,0) c PeriodProcTime_7 : 0.004888 299.02/43.52 c (37,0) c PeriodProcTime_total : 0.039036 299.02/43.52 c (37,0) c PeriodProcTime_winner : 0.004232 299.02/43.52 c (37,0) c SolvingTime_0 : 35.684364 299.02/43.52 c (37,0) c SolvingTime_1 : 35.651339 299.02/43.52 c (37,0) c SolvingTime_2 : 35.707185 299.02/43.52 c (37,0) c SolvingTime_3 : 36.550096 299.02/43.52 c (37,0) c SolvingTime_4 : 36.047293 299.02/43.52 c (37,0) c SolvingTime_5 : 35.698180 299.02/43.52 c (37,0) c SolvingTime_6 : 36.279754 299.02/43.52 c (37,0) c SolvingTime_7 : 35.697445 299.02/43.52 c (37,0) c SolvingTime_total : 287.315656 299.02/43.52 c (37,0) c SolvingTime_winner : 36.279754 299.02/43.52 c (37,0) c PropagationTime_0 : 30.744176 299.02/43.52 c (37,0) c PropagationTime_1 : 32.237235 299.02/43.52 c (37,0) c PropagationTime_2 : 32.177886 299.02/43.52 c (37,0) c PropagationTime_3 : 32.595733 299.02/43.52 c (37,0) c PropagationTime_4 : 32.382866 299.02/43.52 c (37,0) c PropagationTime_5 : 31.741706 299.02/43.52 c (37,0) c PropagationTime_6 : 32.214486 299.02/43.52 c (37,0) c PropagationTime_7 : 32.196177 299.02/43.52 c (37,0) c PropagationTime_total : 256.290266 299.02/43.52 c (37,0) c PropagationTime_winner : 32.214486 299.02/43.52 c (37,0) c AnalysisTime_0 : 3.175610 299.02/43.52 c (37,0) c AnalysisTime_1 : 2.263072 299.02/43.52 c (37,0) c AnalysisTime_2 : 2.392340 299.02/43.52 c (37,0) c AnalysisTime_3 : 2.839667 299.02/43.52 c (37,0) c AnalysisTime_4 : 2.463644 299.02/43.52 c (37,0) c AnalysisTime_5 : 2.882961 299.02/43.52 c (37,0) c AnalysisTime_6 : 2.878422 299.02/43.52 c (37,0) c AnalysisTime_7 : 2.387386 299.02/43.52 c (37,0) c AnalysisTime_total : 21.283102 299.02/43.52 c (37,0) c AnalysisTime_winner : 2.878422 299.02/43.52 c (37,0) c ReductionTime_0 : 0.814666 299.02/43.52 c (37,0) c ReductionTime_1 : 0.440055 299.02/43.52 c (37,0) c ReductionTime_2 : 0.458970 299.02/43.52 c (37,0) c ReductionTime_3 : 0.427824 299.02/43.52 c (37,0) c ReductionTime_4 : 0.499527 299.02/43.52 c (37,0) c ReductionTime_5 : 0.440798 299.02/43.52 c (37,0) c ReductionTime_6 : 0.484551 299.02/43.52 c (37,0) c ReductionTime_7 : 0.434741 299.02/43.52 c (37,0) c ReductionTime_total : 4.001133 299.02/43.52 c (37,0) c ReductionTime_winner : 0.484551 299.02/43.52 c (37,0) c SimplifyTime_0 : 0.070620 299.02/43.52 c (37,0) c SimplifyTime_1 : 0.092552 299.02/43.52 c (37,0) c SimplifyTime_2 : 0.090832 299.02/43.52 c (37,0) c SimplifyTime_3 : 0.099663 299.02/43.52 c (37,0) c SimplifyTime_4 : 0.105079 299.02/43.52 c (37,0) c SimplifyTime_5 : 0.054042 299.02/43.52 c (37,0) c SimplifyTime_6 : 0.122027 299.02/43.52 c (37,0) c SimplifyTime_7 : 0.095852 299.02/43.52 c (37,0) c SimplifyTime_total : 0.730667 299.02/43.52 c (37,0) c SimplifyTime_winner : 0.122027 299.02/43.52 c (37,0) c UsedRateTime_0 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_1 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_2 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_3 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_4 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_5 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_6 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_7 : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_total : 0.000000 299.02/43.52 c (37,0) c UsedRateTime_winner : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_0 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_1 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_2 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_3 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_4 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_5 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_6 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_7 : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_total : 0.000000 299.02/43.52 c (37,0) c OverlapRateTime_winner : 0.000000 299.02/43.52 c (37,0) c 299.02/43.52 c (37,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 299.02/43.52 c (37,0) c 299.02/43.52 c (37,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.52 c (37,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 299.02/43.52 c (37,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.52 c (37,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 299.02/43.52 c (37,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 299.02/43.52 c (37,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 299.02/43.52 c (37,0) c | Initial random_seed | 1089775688 | 192807017 | 948025079 | 311053846 | 106243521 | 1414704385 | 1366989969 | 534765519 | 299.02/43.52 c (37,0) c | chanseokStrategy | True | False | False | False | False | False | False | False | 299.02/43.52 c (37,0) c | coLBDBound | 4 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 299.02/43.52 c (37,0) c | glureduce | True | True | True | True | True | True | True | True | 299.02/43.52 c (37,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 299.02/43.52 c (37,0) c | incReduceDB | 0 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 299.02/43.52 c (37,0) c | luby_restart | False | False | False | False | False | False | False | False | 299.02/43.52 c (37,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 299.02/43.52 c (37,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 299.02/43.52 c (37,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 299.02/43.52 c (37,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 299.02/43.52 c (37,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 299.02/43.52 c (37,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 299.02/43.52 c (37,0) 299.02/43.52 c (37,0) s UNSATISFIABLE 299.02/43.52 c (37,0) SatSolver.solve End 299.02/43.52 c (37,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 299.02/43.52 c (37,0) Show results Begin 299.02/43.52 s UNSATISFIABLE 299.02/43.52 c (37,0) Show results End 299.02/43.52 c (37,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 299.02/43.52 c (37,0) 37,37,STOP-AFTER(ALL) 299.02/43.52 c END-Prog: Tue Sep 24 16:40:02 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14071 MiB free) memory of node 1: 16384 MiB (10984 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405484-1569336000/watcher-4405484-1569336000 -o /var/tmp/evaluation-result-4405484-1569336000/solver-4405484-1569336000 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405484-1569336000.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 solver pid=9553, runsolver pid=9550 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100136 s]* /proc/loadavg: 1.57 0.37 0.16 3/211 9575 /proc/meminfo: memFree=25561112/32770624 swapFree=66997504/67108860 [pid=9553] ppid=9550 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/9553/stat : 9553 (scop.sh) S 9550 9553 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509538354 115843072 350 33554432000 4194304 5098028 140721550514768 140721550512024 140627016348284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22724608 140721550521084 140721550521432 140721550521432 140721550524361 0 /proc/9553/statm: 28282 350 297 221 0 87 0 [pid=9556] ppid=9553 vsize=27314120 memory=107812 CPUtime=0.11 cores=0-7 /proc/9556/stat : 9556 (java) S 9553 9553 9260 0 -1 1077944320 6513 0 0 0 8 3 0 0 20 0 20 0 509538355 27969658880 26953 33554432000 4194304 4196468 140727041416256 140727041398800 140542102392567 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 /proc/9556/statm: 6828530 26953 2799 1 0 6790935 0 [pid=9556/tid=9557] ppid=9553 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7 /proc/9556/task/9557/stat : 9557 (java) R 9553 9553 9260 0 -1 4202560 4624 0 0 0 7 2 0 0 20 0 20 0 509538355 27969658880 26953 33554432000 4194304 4196468 140727041416256 140542074217424 140542102414493 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9558] ppid=9553 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/9556/task/9558/stat : 9558 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140542106634896 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9559] ppid=9553 vsize=27314120 memory=140470418810496 CPUtime=0 cores=0-7 /proc/9556/task/9559/stat : 9559 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140541524789776 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9560] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9560/stat : 9560 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140541523736976 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9561] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9561/stat : 9561 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140541522684176 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9562] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9562/stat : 9562 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140541521632400 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9563] ppid=9553 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9556/task/9563/stat : 9563 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140541520579600 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9564] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9564/stat : 9564 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140541519526800 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9565] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9565/stat : 9565 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 26953 33554432000 4194304 4196468 140727041416256 140541518474000 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9566] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9566/stat : 9566 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538359 27969658880 26953 33554432000 4194304 4196468 140727041416256 140540221340016 140542102403714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9567] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9567/stat : 9567 (java) S 9553 9553 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509538359 27969658880 26953 33554432000 4194304 4196468 140727041416256 140540054070304 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9568] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9568/stat : 9568 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538360 27969658880 26953 33554432000 4194304 4196468 140727041416256 140539785634672 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9569] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9569/stat : 9569 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 26953 33554432000 4194304 4196468 140727041416256 140539411126096 140542102411163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9570] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9570/stat : 9570 (java) S 9553 9553 9260 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 26953 33554432000 4194304 4196468 140727041416256 140540220287856 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9571] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9571/stat : 9571 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 26953 33554432000 4194304 4196468 140727041416256 140540219235056 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9572] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9572/stat : 9572 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 26953 33554432000 4194304 4196468 140727041416256 140540218182256 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9573] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9573/stat : 9573 (java) S 9553 9553 9260 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 26953 33554432000 4194304 4196468 140727041416256 140540217129456 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9574] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9574/stat : 9574 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 26953 33554432000 4194304 4196468 140727041416256 140538913221216 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9575] ppid=9553 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9556/task/9575/stat : 9575 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538363 27969658880 26953 33554432000 4194304 4196468 140727041416256 140540216076848 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109212 KiB [startup+0.210235 s]* /proc/loadavg: 1.57 0.37 0.16 3/211 9575 /proc/meminfo: memFree=25543756/32770624 swapFree=66997504/67108860 [pid=9553] ppid=9550 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/9553/stat : 9553 (scop.sh) S 9550 9553 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509538354 115843072 350 33554432000 4194304 5098028 140721550514768 140721550512024 140627016348284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22724608 140721550521084 140721550521432 140721550521432 140721550524361 0 /proc/9553/statm: 28282 350 297 221 0 87 0 [pid=9556] ppid=9553 vsize=27314120 memory=125024 CPUtime=0.25 cores=0-7 /proc/9556/stat : 9556 (java) S 9553 9553 9260 0 -1 1077944320 11392 0 0 0 20 5 0 0 20 0 20 0 509538355 27969658880 31256 33554432000 4194304 4196468 140727041416256 140727041398800 140542102392567 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 /proc/9556/statm: 6828530 31256 2974 1 0 6790935 0 [pid=9556/tid=9557] ppid=9553 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/9556/task/9557/stat : 9557 (java) R 9553 9553 9260 0 -1 4202560 9104 0 0 0 16 4 0 0 20 0 20 0 509538355 27969658880 31256 33554432000 4194304 4196468 140727041416256 140542074201624 140542087558113 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9558] ppid=9553 vsize=27314120 memory=339 CPUtime=0 cores=0-7 /proc/9556/task/9558/stat : 9558 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140542106634896 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9559] ppid=9553 vsize=27314120 memory=140470418820303 CPUtime=0 cores=0-7 /proc/9556/task/9559/stat : 9559 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140541524789776 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9560] ppid=9553 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9556/task/9560/stat : 9560 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140541523736976 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9561] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9561/stat : 9561 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140541522684176 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9562] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9562/stat : 9562 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140541521632400 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9563] ppid=9553 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9556/task/9563/stat : 9563 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140541520579600 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9564] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9564/stat : 9564 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140541519526800 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9565] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9565/stat : 9565 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 31256 33554432000 4194304 4196468 140727041416256 140541518474000 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9566] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9566/stat : 9566 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538359 27969658880 31256 33554432000 4194304 4196468 140727041416256 140540221340016 140542102403714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9567] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9567/stat : 9567 (java) S 9553 9553 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509538359 27969658880 31256 33554432000 4194304 4196468 140727041416256 140540054070304 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9568] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9568/stat : 9568 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538360 27969658880 31256 33554432000 4194304 4196468 140727041416256 140539785634672 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9569] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9569/stat : 9569 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 31256 33554432000 4194304 4196468 140727041416256 140539411126096 140542102411163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9570] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9570/stat : 9570 (java) S 9553 9553 9260 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 31256 33554432000 4194304 4196468 140727041416256 140540220287856 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9571] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9571/stat : 9571 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 31256 33554432000 4194304 4196468 140727041416256 140540219235056 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9572] ppid=9553 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9556/task/9572/stat : 9572 (java) S 9553 9553 9260 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 31256 33554432000 4194304 4196468 140727041416256 140540218182256 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9573] ppid=9553 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/9556/task/9573/stat : 9573 (java) S 9553 9553 9260 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 509538362 27969658880 31256 33554432000 4194304 4196468 140727041416256 140540217129456 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9574] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9574/stat : 9574 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 31256 33554432000 4194304 4196468 140727041416256 140538913221216 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9575] ppid=9553 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9556/task/9575/stat : 9575 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538363 27969658880 31256 33554432000 4194304 4196468 140727041416256 140540216076848 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126424 KiB [startup+0.310155 s]* /proc/loadavg: 1.57 0.37 0.16 3/211 9575 /proc/meminfo: memFree=25540840/32770624 swapFree=66997504/67108860 [pid=9553] ppid=9550 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/9553/stat : 9553 (scop.sh) S 9550 9553 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509538354 115843072 350 33554432000 4194304 5098028 140721550514768 140721550512024 140627016348284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22724608 140721550521084 140721550521432 140721550521432 140721550524361 0 /proc/9553/statm: 28282 350 297 221 0 87 0 [pid=9556] ppid=9553 vsize=27314120 memory=128320 CPUtime=0.42 cores=0-7 /proc/9556/stat : 9556 (java) S 9553 9553 9260 0 -1 1077944320 12423 0 0 0 37 5 0 0 20 0 20 0 509538355 27969658880 32080 33554432000 4194304 4196468 140727041416256 140727041398800 140542102392567 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 /proc/9556/statm: 6828530 32080 3026 1 0 6790935 0 [pid=9556/tid=9557] ppid=9553 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7 /proc/9556/task/9557/stat : 9557 (java) R 9553 9553 9260 0 -1 4202560 9982 0 0 0 25 4 0 0 20 0 20 0 509538355 27969658880 32080 33554432000 4194304 4196468 140727041416256 140542074175584 140542083956123 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9558] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9558/stat : 9558 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140542106634896 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9559] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9559/stat : 9559 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140541524789776 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9560] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9560/stat : 9560 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140541523736976 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9561] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9561/stat : 9561 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140541522684176 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9562] ppid=9553 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/9556/task/9562/stat : 9562 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140541521632400 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9563] ppid=9553 vsize=27314120 memory=140470260954031 CPUtime=0 cores=0-7 /proc/9556/task/9563/stat : 9563 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140541520579600 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9564] ppid=9553 vsize=27314120 memory=140470260956336 CPUtime=0 cores=0-7 /proc/9556/task/9564/stat : 9564 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140541519526800 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9565] ppid=9553 vsize=27314120 memory=140470260958640 CPUtime=0 cores=0-7 /proc/9556/task/9565/stat : 9565 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27969658880 32080 33554432000 4194304 4196468 140727041416256 140541518474000 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9566] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9566/stat : 9566 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538359 27969658880 32080 33554432000 4194304 4196468 140727041416256 140540221340016 140542102403714 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9567] ppid=9553 vsize=27314120 memory=280940521924240 CPUtime=0 cores=0-7 /proc/9556/task/9567/stat : 9567 (java) S 9553 9553 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509538359 27969658880 32080 33554432000 4194304 4196468 140727041416256 140540054070304 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9568] ppid=9553 vsize=27314120 memory=280940521931152 CPUtime=0 cores=0-7 /proc/9556/task/9568/stat : 9568 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538360 27969658880 32080 33554432000 4194304 4196468 140727041416256 140539785634672 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9569] ppid=9553 vsize=27314120 memory=280940521872304 CPUtime=0 cores=0-7 /proc/9556/task/9569/stat : 9569 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 32080 33554432000 4194304 4196468 140727041416256 140539411126096 140542102411163 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9570] ppid=9553 vsize=27314120 memory=280940521944976 CPUtime=0 cores=0-7 /proc/9556/task/9570/stat : 9570 (java) S 9553 9553 9260 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 32080 33554432000 4194304 4196468 140727041416256 140540220287856 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9571] ppid=9553 vsize=27314120 memory=280940521951888 CPUtime=0 cores=0-7 /proc/9556/task/9571/stat : 9571 (java) S 9553 9553 9260 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 32080 33554432000 4194304 4196468 140727041416256 140540219235056 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9572] ppid=9553 vsize=27314120 memory=280940521949584 CPUtime=0.02 cores=0-7 /proc/9556/task/9572/stat : 9572 (java) S 9553 9553 9260 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 20 0 509538362 27969658880 32080 33554432000 4194304 4196468 140727041416256 140540218182256 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9573] ppid=9553 vsize=27314120 memory=280940521965744 CPUtime=0.07 cores=0-7 /proc/9556/task/9573/stat : 9573 (java) S 9553 9553 9260 0 -1 1077944384 495 0 0 0 7 0 0 0 20 0 20 0 509538362 27969658880 32080 33554432000 4194304 4196468 140727041416256 140540217129456 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9574] ppid=9553 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9574/stat : 9574 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509538362 27969658880 32080 33554432000 4194304 4196468 140727041416256 140538913221216 140542102402773 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9575] ppid=9553 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/9556/task/9575/stat : 9575 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538363 27969658880 32080 33554432000 4194304 4196468 140727041416256 140540216076848 140542102403714 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129720 KiB [startup+0.700967 s] /proc/loadavg: 1.53 0.38 0.17 2/211 9575 /proc/meminfo: memFree=25517028/32770624 swapFree=66997504/67108860 [pid=9553] ppid=9550 vsize=113128 memory=1400 CPUtime=0 cores=0-7 /proc/9553/stat : 9553 (scop.sh) S 9550 9553 9260 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 509538354 115843072 350 33554432000 4194304 5098028 140721550514768 140721550512024 140627016348284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22724608 140721550521084 140721550521432 140721550521432 140721550524361 0 /proc/9553/statm: 28282 350 297 221 0 87 0 [pid=9556] ppid=9553 vsize=27320392 memory=165068 CPUtime=1.02 cores=0-7 /proc/9556/stat : 9556 (java) S 9553 9553 9260 0 -1 1077944320 19902 0 0 0 94 8 0 0 20 0 20 0 509538355 27976081408 41267 33554432000 4194304 4196468 140727041416256 140727041398800 140542102392567 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 /proc/9556/statm: 6830098 41267 3141 1 0 6791447 0 [pid=9556/tid=9557] ppid=9553 vsize=27320392 memory=280940522323632 CPUtime=0.67 cores=0-7 /proc/9556/task/9557/stat : 9557 (java) R 9553 9553 9260 0 -1 4202560 16940 0 0 0 61 6 0 0 20 0 20 0 509538355 27976081408 41267 33554432000 4194304 4196468 140727041416256 140542074227296 140542086473054 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9558] ppid=9553 vsize=27320392 memory=140470261162864 CPUtime=0 cores=0-7 /proc/9556/task/9558/stat : 9558 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509538357 27976081408 41267 33554432000 4194304 4196468 140727041416256 140542106634896 140542102402773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9559] ppid=9553 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/9556/task/9559/stat : 9559 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27976081408 41267 33554432000 4194304 4196468 140727041416256 140541524789776 140542102402773 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 [pid=9556/tid=9560] ppid=9553 vsize=27320392 memory=6124 CPUtime=0 cores=0-7 /proc/9556/task/9560/stat : 9560 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509538357 27976081408 41267 33554432000 4194304 4196468 140727041416256 140541523736976 140542102402773 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39743488 140727041417927 140727041418374 140727041418374 140727041421263 0 ################ # More data... # ################ [pid=9576/tid=9586] ppid=9553 vsize=8414124 memory=2016 CPUtime=0 cores=0-7 /proc/9576/task/9586/stat : 9586 (java) S 9553 9553 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509538969 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678229117808 140679136574082 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9587] ppid=9553 vsize=8414124 memory=1428 CPUtime=0 cores=0-7 /proc/9576/task/9587/stat : 9587 (java) S 9553 9553 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509538969 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677694350880 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9588] ppid=9553 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9576/task/9588/stat : 9588 (java) S 9553 9553 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509538970 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677560128880 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9589] ppid=9553 vsize=8414124 memory=117528 CPUtime=0 cores=0-7 /proc/9576/task/9589/stat : 9589 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677185624400 140679136581531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9590] ppid=9553 vsize=8414124 memory=278044 CPUtime=0.04 cores=0-7 /proc/9576/task/9590/stat : 9590 (java) S 9553 9553 9260 0 -1 1077944384 203 0 0 0 4 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678228064624 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9591] ppid=9553 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7 /proc/9576/task/9591/stat : 9591 (java) S 9553 9553 9260 0 -1 1077944384 429 0 0 0 7 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678227011824 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9592] ppid=9553 vsize=8414124 memory=117528 CPUtime=0.06 cores=0-7 /proc/9576/task/9592/stat : 9592 (java) S 9553 9553 9260 0 -1 1077944384 567 0 0 0 6 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678225959024 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9593] ppid=9553 vsize=8414124 memory=274168 CPUtime=0.19 cores=0-7 /proc/9576/task/9593/stat : 9593 (java) S 9553 9553 9260 0 -1 1077944384 782 0 0 0 19 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678224906224 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9594] ppid=9553 vsize=8414124 memory=-4075877051373423738 CPUtime=0 cores=0-7 /proc/9576/task/9594/stat : 9594 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676687719520 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9595] ppid=9553 vsize=8414124 memory=4872558044660077418 CPUtime=0.01 cores=0-7 /proc/9576/task/9595/stat : 9595 (java) S 9553 9553 9260 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 509538973 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678223854640 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9599] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9599/stat : 9599 (java) S 9553 9553 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678567204416 140679136587545 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9601] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9601/stat : 9601 (java) S 9553 9553 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676016619152 140679136584861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9602] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9602/stat : 9602 (java) S 9553 9553 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676285054480 140679136584861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9603] ppid=9553 vsize=8414124 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/9576/task/9603/stat : 9603 (java) S 9553 9553 9260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509539042 8616062976 29382 33554432000 4194304 4196468 140723842753232 140675748191280 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 Current children cumulated CPU time: 298.69 s Current children cumulated vsize: 9198072 KiB Current children cumulated memory: 398344 KiB [startup+43.401 s] /proc/loadavg: 4.43 1.25 0.47 4/220 9620 /proc/meminfo: memFree=25273856/32770624 swapFree=66997504/67108860 [pid=9553] ppid=9550 vsize=113128 memory=1476 CPUtime=15.44 cores=0-7 /proc/9553/stat : 9553 (scop.sh) S 9550 9553 9260 0 -1 4202496 583 37272 0 0 0 0 1495 49 20 0 1 0 509538354 115843072 369 33554432000 4194304 5098028 140721550514768 140721550511512 140627016348284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22724608 140721550521084 140721550521432 140721550521432 140721550524361 0 /proc/9553/statm: 28282 369 311 221 0 87 0 [pid=9576] ppid=9553 vsize=8414124 memory=117528 CPUtime=1.21 cores=0-7 /proc/9576/stat : 9576 (java) S 9553 9553 9260 0 -1 1077944320 21393 0 0 0 112 9 0 0 20 0 24 0 509538966 8616062976 29382 33554432000 4194304 4196468 140723842753232 140723842735776 140679136562935 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 /proc/9576/statm: 2103531 29382 3198 1 0 2064875 0 [pid=9598] ppid=9576 vsize=670820 memory=279384 CPUtime=282.27 cores=0-7 /proc/9598/stat : 9598 (manyglucose-4.1) S 9576 9553 9260 0 -1 1077944320 203766 0 0 0 28180 47 0 0 20 0 2 0 509539039 686919680 69846 33554432000 4194304 4454172 140722666668528 140722666666912 140195099496183 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 28045312 140722666677070 140722666677276 140722666677276 140722666680246 0 /proc/9598/statm: 167705 69846 419 64 0 163373 0 [pid=9598/tid=9607] ppid=9576 vsize=670820 memory=7883621939031074410 CPUtime=36.45 cores=0-7 /proc/9598/task/9607/stat : 9607 (manyglucose-4.1) R 9576 9553 9260 0 -1 4202560 24612 0 0 0 3641 4 0 0 20 0 2 0 509539046 686919680 69846 33554432000 4194304 4454172 140722666668528 140195052948616 4350035 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 28045312 140722666677070 140722666677276 140722666677276 140722666680246 0 [pid=9576/tid=9577] ppid=9553 vsize=8414124 memory=0 CPUtime=0.77 cores=0-7 /proc/9576/task/9577/stat : 9577 (java) S 9553 9553 9260 0 -1 1077944384 17996 0 0 0 70 7 0 0 20 0 24 0 509538966 8616062976 29382 33554432000 4194304 4196468 140723842753232 140679108403104 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9578] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9578/stat : 9578 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140679140805776 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9579] ppid=9553 vsize=8414124 memory=140470262060704 CPUtime=0 cores=0-7 /proc/9576/task/9579/stat : 9579 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678621727760 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9580] ppid=9553 vsize=8414124 memory=280940523650528 CPUtime=0 cores=0-7 /proc/9576/task/9580/stat : 9580 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678620674960 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9581] ppid=9553 vsize=8414124 memory=140470262061008 CPUtime=0 cores=0-7 /proc/9576/task/9581/stat : 9581 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678619622160 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9582] ppid=9553 vsize=8414124 memory=7680170600251679038 CPUtime=0 cores=0-7 /proc/9576/task/9582/stat : 9582 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678618569360 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9583] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9583/stat : 9583 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678617516560 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9584] ppid=9553 vsize=8414124 memory=280940522313312 CPUtime=0 cores=0-7 /proc/9576/task/9584/stat : 9584 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678616463760 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9585] ppid=9553 vsize=8414124 memory=140470261158912 CPUtime=0 cores=0-7 /proc/9576/task/9585/stat : 9585 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678615410960 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9586] ppid=9553 vsize=8414124 memory=301741382031376688 CPUtime=0 cores=0-7 /proc/9576/task/9586/stat : 9586 (java) S 9553 9553 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509538969 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678229117808 140679136574082 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9587] ppid=9553 vsize=8414124 memory=3470692292451393600 CPUtime=0 cores=0-7 /proc/9576/task/9587/stat : 9587 (java) S 9553 9553 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509538969 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677694350880 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9588] ppid=9553 vsize=8414124 memory=7453282923444726100 CPUtime=0 cores=0-7 /proc/9576/task/9588/stat : 9588 (java) S 9553 9553 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509538970 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677560128880 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9589] ppid=9553 vsize=8414124 memory=7093354002167646982 CPUtime=0 cores=0-7 /proc/9576/task/9589/stat : 9589 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677185624400 140679136581531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9590] ppid=9553 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7 /proc/9576/task/9590/stat : 9590 (java) S 9553 9553 9260 0 -1 1077944384 203 0 0 0 4 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678228064624 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9591] ppid=9553 vsize=8414124 memory=36164 CPUtime=0.07 cores=0-7 /proc/9576/task/9591/stat : 9591 (java) S 9553 9553 9260 0 -1 1077944384 429 0 0 0 7 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678227011824 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9592] ppid=9553 vsize=8414124 memory=7446258233816016746 CPUtime=0.06 cores=0-7 /proc/9576/task/9592/stat : 9592 (java) S 9553 9553 9260 0 -1 1077944384 567 0 0 0 6 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678225959024 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9593] ppid=9553 vsize=8414124 memory=6724268248534313024 CPUtime=0.19 cores=0-7 /proc/9576/task/9593/stat : 9593 (java) S 9553 9553 9260 0 -1 1077944384 782 0 0 0 19 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678224906224 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9594] ppid=9553 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/9576/task/9594/stat : 9594 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676687719520 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9595] ppid=9553 vsize=8414124 memory=117528 CPUtime=0.01 cores=0-7 /proc/9576/task/9595/stat : 9595 (java) S 9553 9553 9260 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 509538973 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678223854640 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9599] ppid=9553 vsize=8414124 memory=275708 CPUtime=0 cores=0-7 /proc/9576/task/9599/stat : 9599 (java) S 9553 9553 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678567204416 140679136587545 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9601] ppid=9553 vsize=8414124 memory=532 CPUtime=0 cores=0-7 /proc/9576/task/9601/stat : 9601 (java) S 9553 9553 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676016619152 140679136584861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9602] ppid=9553 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/9576/task/9602/stat : 9602 (java) S 9553 9553 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676285054480 140679136584861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9603] ppid=9553 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/9576/task/9603/stat : 9603 (java) S 9553 9553 9260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509539042 8616062976 29382 33554432000 4194304 4196468 140723842753232 140675748191280 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 Current children cumulated CPU time: 298.92 s Current children cumulated vsize: 9198072 KiB Current children cumulated memory: 398388 KiB [startup+43.501 s] /proc/loadavg: 4.43 1.25 0.47 4/220 9620 /proc/meminfo: memFree=25273856/32770624 swapFree=66997504/67108860 [pid=9553] ppid=9550 vsize=113128 memory=1476 CPUtime=15.44 cores=0-7 /proc/9553/stat : 9553 (scop.sh) S 9550 9553 9260 0 -1 4202496 583 37272 0 0 0 0 1495 49 20 0 1 0 509538354 115843072 369 33554432000 4194304 5098028 140721550514768 140721550511512 140627016348284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22724608 140721550521084 140721550521432 140721550521432 140721550524361 0 /proc/9553/statm: 28282 369 311 221 0 87 0 [pid=9576] ppid=9553 vsize=8414124 memory=117528 CPUtime=1.21 cores=0-7 /proc/9576/stat : 9576 (java) S 9553 9553 9260 0 -1 1077944320 21393 0 0 0 112 9 0 0 20 0 24 0 509538966 8616062976 29382 33554432000 4194304 4196468 140723842753232 140723842735776 140679136562935 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 /proc/9576/statm: 2103531 29382 3198 1 0 2064875 0 [pid=9598] ppid=9576 vsize=670820 memory=279384 CPUtime=282.37 cores=0-7 /proc/9598/stat : 9598 (manyglucose-4.1) S 9576 9553 9260 0 -1 1077944320 203768 0 0 0 28190 47 0 0 20 0 2 0 509539039 686919680 69846 33554432000 4194304 4454172 140722666668528 140722666666912 140195099496183 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 28045312 140722666677070 140722666677276 140722666677276 140722666680246 0 /proc/9598/statm: 167705 69846 419 64 0 163373 0 [pid=9598/tid=9607] ppid=9576 vsize=670820 memory=1476 CPUtime=36.55 cores=0-7 /proc/9598/task/9607/stat : 9607 (manyglucose-4.1) R 9576 9553 9260 0 -1 4202560 24614 0 0 0 3651 4 0 0 20 0 2 0 509539046 686919680 69846 33554432000 4194304 4454172 140722666668528 140195052948616 4351758 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 28045312 140722666677070 140722666677276 140722666677276 140722666680246 0 [pid=9576/tid=9577] ppid=9553 vsize=8414124 memory=3624 CPUtime=0.77 cores=0-7 /proc/9576/task/9577/stat : 9577 (java) S 9553 9553 9260 0 -1 1077944384 17996 0 0 0 70 7 0 0 20 0 24 0 509538966 8616062976 29382 33554432000 4194304 4196468 140723842753232 140679108403104 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9578] ppid=9553 vsize=8414124 memory=63632 CPUtime=0 cores=0-7 /proc/9576/task/9578/stat : 9578 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140679140805776 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9579] ppid=9553 vsize=8414124 memory=-4075877051373423738 CPUtime=0 cores=0-7 /proc/9576/task/9579/stat : 9579 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678621727760 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9580] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9580/stat : 9580 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678620674960 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9581] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9581/stat : 9581 (java) S 9553 9553 9260 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678619622160 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9582] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9582/stat : 9582 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678618569360 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9583] ppid=9553 vsize=8414124 memory=280940521914784 CPUtime=0 cores=0-7 /proc/9576/task/9583/stat : 9583 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678617516560 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9584] ppid=9553 vsize=8414124 memory=280940521914848 CPUtime=0 cores=0-7 /proc/9576/task/9584/stat : 9584 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678616463760 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9585] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9585/stat : 9585 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538967 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678615410960 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9586] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9586/stat : 9586 (java) S 9553 9553 9260 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509538969 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678229117808 140679136574082 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9587] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9587/stat : 9587 (java) S 9553 9553 9260 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509538969 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677694350880 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9588] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9588/stat : 9588 (java) S 9553 9553 9260 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 509538970 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677560128880 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9589] ppid=9553 vsize=8414124 memory=140470261282870 CPUtime=0 cores=0-7 /proc/9576/task/9589/stat : 9589 (java) S 9553 9553 9260 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140677185624400 140679136581531 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9590] ppid=9553 vsize=8414124 memory=6944652177228980320 CPUtime=0.04 cores=0-7 /proc/9576/task/9590/stat : 9590 (java) S 9553 9553 9260 0 -1 1077944384 203 0 0 0 4 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678228064624 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9591] ppid=9553 vsize=8414124 memory=140474713777791 CPUtime=0.07 cores=0-7 /proc/9576/task/9591/stat : 9591 (java) S 9553 9553 9260 0 -1 1077944384 429 0 0 0 7 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678227011824 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9592] ppid=9553 vsize=8414124 memory=7014751519583457898 CPUtime=0.06 cores=0-7 /proc/9576/task/9592/stat : 9592 (java) S 9553 9553 9260 0 -1 1077944384 567 0 0 0 6 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678225959024 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9593] ppid=9553 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7 /proc/9576/task/9593/stat : 9593 (java) S 9553 9553 9260 0 -1 1077944384 782 0 0 0 19 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678224906224 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9594] ppid=9553 vsize=8414124 memory=164 CPUtime=0 cores=0-7 /proc/9576/task/9594/stat : 9594 (java) S 9553 9553 9260 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509538972 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676687719520 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9595] ppid=9553 vsize=8414124 memory=6944613755495348631 CPUtime=0.01 cores=0-7 /proc/9576/task/9595/stat : 9595 (java) S 9553 9553 9260 0 -1 1077944384 5 0 0 0 0 1 0 0 20 0 24 0 509538973 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678223854640 140679136574082 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9599] ppid=9553 vsize=8414124 memory=6944656592452807326 CPUtime=0 cores=0-7 /proc/9576/task/9599/stat : 9599 (java) S 9553 9553 9260 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140678567204416 140679136587545 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9601] ppid=9553 vsize=8414124 memory=6944656425123485561 CPUtime=0 cores=0-7 /proc/9576/task/9601/stat : 9601 (java) S 9553 9553 9260 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676016619152 140679136584861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9602] ppid=9553 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/9576/task/9602/stat : 9602 (java) S 9553 9553 9260 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 509539040 8616062976 29382 33554432000 4194304 4196468 140723842753232 140676285054480 140679136584861 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 [pid=9576/tid=9603] ppid=9553 vsize=8414124 memory=119 CPUtime=0 cores=0-7 /proc/9576/task/9603/stat : 9603 (java) S 9553 9553 9260 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 509539042 8616062976 29382 33554432000 4194304 4196468 140723842753232 140675748191280 140679136573141 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14381056 140723842757600 140723842757766 140723842757766 140723842760655 0 Current children cumulated CPU time: 299.02 s Current children cumulated vsize: 9198072 KiB Current children cumulated memory: 398388 KiB Child status: 0 Real time (s): 43.5474 CPU time (s): 299.135 CPU user time (s): 298.055 CPU system time (s): 1.08072 CPU usage (%): 686.918 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 2100664 getrusage(RUSAGE_CHILDREN,...) data: user time used= 298.055 system time used= 1.08072 maximum resident set size= 2107768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 263367 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14351 involuntary context switches= 3102 # summary of solver processes directly reported to runsolver: # pid: 9553 # total CPU time (s): 299.135 # total CPU user time (s): 298.055 # total CPU system time (s): 1.08072 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.424447 second user time and 0.580669 second system time The end
Begin job on node140 at 2019-09-24 16:39:19 IDJOB=4405484 IDBENCH=126185 IDSOLVER=2868 FILE ID=node140/4405484-1569336000 RUNJOBID= node140-1569335937-9287 PBS_JOBID= 21705054 Free space on /var/tmp= 13516 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/QRandom/QRandom-geometric-rw/geometric-50-20-d4-75-94.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 /var/tmp/evaluation-result-4405484-1569336000/watcher-4405484-1569336000 -o /var/tmp/evaluation-result-4405484-1569336000/solver-4405484-1569336000 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node140-1569335937-9287 --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-4405484-1569336000.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 6d6d0435d13d3ff0671cf8a5c787b057 RANDOM SEED=1849938884 node140.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.43 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.43 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.43 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.43 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: 25658608 kB MemAvailable: 31844476 kB Buffers: 117496 kB Cached: 6166964 kB SwapCached: 2804 kB Active: 3121480 kB Inactive: 3170296 kB Active(anon): 4460 kB Inactive(anon): 58400 kB Active(file): 3117020 kB Inactive(file): 3111896 kB Unevictable: 107700 kB Mlocked: 107700 kB SwapTotal: 67108860 kB SwapFree: 66997504 kB Dirty: 21316 kB Writeback: 0 kB AnonPages: 117188 kB Mapped: 55868 kB Shmem: 46800 kB Slab: 413696 kB SReclaimable: 385412 kB SUnreclaim: 28284 kB KernelStack: 3680 kB PageTables: 5996 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514856 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /var/tmp at the end= 13496 MiB End job on node140 at 2019-09-24 16:40:03