Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 554.119 | 78.9217 |
Name | KnightTour/KnightTour-ext-s1/ KnightTour-08-ext03.xml |
MD5SUM | 8a5157f08f2f2e597251b23721b8eb7d |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 2.53772 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 64 |
Number of constraints | 34 |
Number of domains | 1 |
Minimum domain size | 64 |
Maximum domain size | 64 |
Distribution of domain sizes | [{"size":64,"count":64}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":62},{"degree":3,"count":2}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 64 |
Distribution of constraint arities | [{"arity":2,"count":1},{"arity":3,"count":32},{"arity":64,"count":1}] |
Number of extensional constraints | 32 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":32},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-5629-serial-file.bin HOME/instance-4392692-1568437291.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Sat Sep 14 07:00:33 CEST 2019 0.66/0.57 c PID: 5632 0.66/0.57 c IP: 172.20.3.103 0.66/0.57 c HOST: node103.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.60/0.95 c (0,0) Parsing End 1.60/0.96 c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 34 ctr, max domain size 64 1.60/0.96 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.60/0.96 c (0,0) Constraint Name Generate Begin 1.60/0.96 c (0,0) Ctr:HOME/instance-4392692-1568437291.xml,AllDifferent:ExtensionSupport:Instantiation:Var 1.60/0.96 c (0,0) Constraint Name Generate End 1.60/0.96 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.60/0.96 c (0,0) CSP to CSPinCNF Begin 3.72/1.65 c (1,1) translated 4 (10%) constraints 6.12/2.27 c (1,1) translated 7 (20%) constraints 7.80/2.75 c (2,2) translated 11 (30%) constraints 8.52/3.07 c (2,2) translated 14 (40%) constraints 8.84/3.38 c (2,2) translated 17 (50%) constraints 9.39/3.80 c (3,3) translated 21 (60%) constraints 9.62/4.19 c (3,3) translated 24 (70%) constraints 10.03/4.60 c (4,3) translated 28 (80%) constraints 10.47/4.90 c (4,4) translated 31 (90%) constraints 10.80/5.11 c (4,4) translated 34 (100%) constraints 10.80/5.12 c (4,4) =========================================== 10.80/5.17 c (4,4) Hybrid: #OE=5895, #LE=3 10.80/5.17 c (4,4) Hybrid 10.80/5.17 c (4,4) =========================================== 12.47/5.67 c (5,5) translated 6228 (10%) constraints 13.06/5.85 c (5,5) translated 12455 (20%) constraints 13.32/5.99 c (5,5) translated 18682 (30%) constraints 13.58/6.13 c (5,5) translated 24909 (40%) constraints 13.71/6.27 c (5,5) translated 31136 (50%) constraints 13.92/6.42 c (5,5) translated 37363 (60%) constraints 14.06/6.56 c (6,5) translated 43590 (70%) constraints 14.16/6.70 c (6,6) translated 49817 (80%) constraints 14.36/6.84 c (6,6) translated 56044 (90%) constraints 14.46/6.97 c (6,6) translated 62271 (100%) constraints 14.46/6.97 c (6,6) CSP to CSPinCNF End 14.46/6.98 c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 70465 ctr, max domain size 32 14.46/6.98 c (6,6) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 14.46/6.98 c (6,6) CSPinCNF Propagation Begin 15.51/7.48 c (6,6) 424 values, 2350 unsatisfiable literals, and 2291 valid clauses are removed 15.51/7.48 c (6,6) CSPinCNF Propagation End 15.51/7.49 c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 68174 ctr, max domain size 32 15.51/7.49 c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 15.86/7.54 c (6,6) Hybrid: #OE=9991, #LE=3 15.86/7.54 c (6,6) Simplify CSPinCNF Begin 16.38/7.79 c (7,7) Simplify CSPinCNF End 16.38/7.79 c (7,7) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32 16.38/7.79 c (7,7) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 16.38/7.79 c (7,7) Calculate Precise Domain Begin 16.38/7.79 c (7,7) 0 values are removed by re-calculation 16.38/7.79 c (7,7) Calculate Precise Domain End 16.38/7.79 c (7,7) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32 16.38/7.79 c (7,7) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 16.38/7.79 c (7,7) CSPinCNF to SatSolver Begin 19.19/8.70 c (8,8) 7208 (10 %) CSP clauses are encoded (0 SAT variables, 111376 SAT clauses) 19.19/8.79 c (8,8) 14416 (20 %) CSP clauses are encoded (0 SAT variables, 118584 SAT clauses) 19.39/8.88 c (8,8) 21624 (30 %) CSP clauses are encoded (0 SAT variables, 125792 SAT clauses) 19.60/8.96 c (8,8) 28832 (40 %) CSP clauses are encoded (0 SAT variables, 133000 SAT clauses) 19.73/9.04 c (8,8) 36039 (50 %) CSP clauses are encoded (0 SAT variables, 140207 SAT clauses) 19.83/9.12 c (8,8) 43247 (60 %) CSP clauses are encoded (0 SAT variables, 147415 SAT clauses) 19.83/9.20 c (8,8) 50455 (70 %) CSP clauses are encoded (0 SAT variables, 154623 SAT clauses) 19.92/9.27 c (8,8) 57663 (80 %) CSP clauses are encoded (0 SAT variables, 161831 SAT clauses) 20.03/9.35 c (8,8) 64871 (90 %) CSP clauses are encoded (0 SAT variables, 169039 SAT clauses) 20.14/9.42 c (8,8) 72078 (100 %) CSP clauses are encoded (0 SAT variables, 176246 SAT clauses) 20.14/9.42 c (8,8) CSPinCNF to SatSolver End 20.14/9.42 c (8,8) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 20.14/9.42 c (8,8) 15207 bool, 176247 clause 20.14/9.42 c (8,8) Export Begin 20.31/9.55 c (9,8) Export to HOME/scop-5629-serial-file.bin 20.31/9.55 c (9,8) Export End 20.31/9.55 c (9,8) Export File Size: 0.06 MB 20.31/9.55 c (9,8) 0,0,6,6,7,7,8,STOP-AFTER(DIMACS) 20.31/9.55 c END-Prog: Sat Sep 14 07:00:42 CEST 2019 20.31/9.58 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5629-serial-file.bin 21.01/10.05 c (0,0) Read Serial File Begin 21.01/10.05 c (0,0) HOME/scop-5629-serial-file.bin 21.29/10.29 c (0,0) Read Serial File End 21.47/10.30 21.47/10.30 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 21.47/10.30 (Solving Process) 21.47/10.30 21.47/10.32 c BEGIN-Prog: Sat Sep 14 07:00:43 CEST 2019 21.47/10.32 c PID: 5654 21.47/10.32 c IP: 172.20.3.103 21.47/10.32 c HOST: node103.alineos.net 21.47/10.33 c (0,0) SatSolver.solve Begin 21.47/10.33 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392692-1568437291.xml-scop-5632.cnf 21.47/10.35 c (0,0) c 21.47/10.35 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) 21.47/10.35 c (0,0) c 21.47/10.35 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 21.47/10.35 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 21.47/10.35 c (0,0) c ========================================[ Problem Statistics ]=========================================== 21.47/10.35 c (0,0) c | | 21.72/10.40 c (0,0) c | Number of variables: 15207 | 21.72/10.40 c (0,0) c | Number of clauses: 176038 | 21.72/10.40 c (0,0) c | Parse time: 0.05 s | 21.72/10.40 c (0,0) c | | 21.72/10.54 c (0,0) c | Simplification time: 0.14 s | 21.72/10.54 c (0,0) c | | 21.72/10.54 c (0,0) c | Generating clones | 21.72/10.60 c (0,0) c | all clones generated. Memory = 138.25Mb. | 21.72/10.60 c (0,0) c ========================================================================================================| 21.72/10.60 c (0,0) c 21.72/10.60 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 21.72/10.60 c (0,0) c 21.72/10.60 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/10.60 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 21.72/10.60 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.72/10.60 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 21.72/10.60 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 21.72/10.60 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 21.72/10.60 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 21.72/10.60 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 21.72/10.60 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 21.72/10.60 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 21.72/10.60 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 21.72/10.60 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 21.72/10.60 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 21.72/10.60 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 21.72/10.60 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 21.72/10.60 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 21.72/10.60 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 21.72/10.60 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 21.72/10.60 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 256.27/40.05 c (30,0) c 256.27/40.05 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 256.27/40.05 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 256.27/40.05 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 256.27/40.05 c (30,0) c | 0 | 778 | 449194 | 127563 | 129641 | 36193 | 18613 | 122357 | 8980 | 227 | 20 | 12.488 | 256.27/40.05 c (30,0) c | 1 | 754 | 476345 | 132799 | 130802 | 41451 | 19091 | 126557 | 9455 | 238 | 20 | 12.494 | 256.27/40.05 c (30,0) c | 2 | 787 | 473983 | 135518 | 131512 | 44158 | 19642 | 127721 | 9569 | 241 | 20 | 12.553 | 256.27/40.05 c (30,0) c | 3 | 796 | 472726 | 135892 | 130870 | 44511 | 19507 | 128717 | 9847 | 243 | 20 | 12.553 | 256.27/40.05 c (30,0) c | 4 | 787 | 479887 | 135217 | 131154 | 43847 | 19421 | 128284 | 9697 | 242 | 20 | 12.553 | 256.27/40.05 c (30,0) c | 5 | 768 | 474037 | 135592 | 130779 | 44221 | 19632 | 129515 | 9750 | 245 | 20 | 12.553 | 256.27/40.05 c (30,0) c | 6 | 793 | 483676 | 136564 | 131433 | 45193 | 19342 | 129741 | 9835 | 245 | 20 | 12.553 | 256.27/40.05 c (30,0) c | 7 | 802 | 467916 | 134529 | 130433 | 43171 | 19498 | 127426 | 9658 | 241 | 20 | 12.553 | 256.27/40.05 c (30,0) c 256.27/40.05 c (30,0) c synthesis 1073674 conflicts 649064359 propagations 4583 conflicts/sec 2770806 propagations/sec 256.27/40.05 c (30,0) c real: 29.6877 s, cpu: 234.251 s, memory: 709.56 Mb 494.45/70.04 c (60,0) c 494.45/70.04 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 494.45/70.04 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 494.45/70.04 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 494.45/70.04 c (60,0) c | 0 | 1492 | 818294 | 235998 | 144623 | 37835 | 29400 | 201019 | 17255 | 458 | 20 | 12.593 | 494.45/70.04 c (60,0) c | 1 | 1510 | 849308 | 241606 | 145332 | 43434 | 29806 | 205316 | 17796 | 471 | 20 | 12.593 | 494.45/70.04 c (60,0) c | 2 | 1497 | 852053 | 244656 | 145413 | 46503 | 30590 | 205497 | 17711 | 475 | 20 | 12.599 | 494.45/70.04 c (60,0) c | 3 | 1556 | 852563 | 243246 | 145012 | 45080 | 30086 | 205640 | 17918 | 473 | 20 | 12.593 | 494.45/70.04 c (60,0) c | 4 | 1484 | 866611 | 246973 | 145418 | 48792 | 30656 | 206481 | 18155 | 478 | 20 | 12.599 | 494.45/70.04 c (60,0) c | 5 | 1480 | 856836 | 244630 | 145164 | 46469 | 30784 | 206682 | 17958 | 478 | 20 | 12.593 | 494.45/70.04 c (60,0) c | 6 | 1533 | 851419 | 245439 | 145221 | 47270 | 30163 | 207252 | 17947 | 478 | 20 | 12.593 | 494.45/70.04 c (60,0) c | 7 | 1520 | 847808 | 245635 | 145398 | 47480 | 30312 | 206466 | 17953 | 476 | 20 | 12.593 | 494.45/70.04 c (60,0) c 494.45/70.04 c (60,0) c synthesis 1948183 conflicts 1214641363 propagations 4125 conflicts/sec 2572047 propagations/sec 494.45/70.04 c (60,0) c real: 59.6874 s, cpu: 472.247 s, memory: 709.56 Mb 553.65/78.77 c (68,0) c 553.65/78.77 c (68,0) c real time : 68.4233 s 553.65/78.77 c (68,0) c cpu time : 531.29 s 553.65/78.77 c (68,0) c 553.65/78.77 c (68,0) c 553.65/78.77 c (68,0) c 553.65/78.77 c (68,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 553.65/78.77 c (68,0) c 553.65/78.77 c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.77 c (68,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 553.65/78.77 c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.77 c (68,0) c | Conflicts | 2148023 | 267633 | 267122 | 268816 | 268548 | 270478 | 266433 | 268840 | 270153 | 553.65/78.77 c (68,0) c | Decisions | 7472963 | 924433 | 935555 | 935188 | 941015 | 946938 | 927346 | 931592 | 930896 | 553.65/78.77 c (68,0) c | Propagations | 1344902529 | 167716233 | 167400842 | 167976236 | 168217209 | 168682814 | 168299681 | 168376529 | 168232985 | 553.65/78.77 c (68,0) c | ReduceDBs | 112 | 14 | 14 | 14 | 14 | 14 | 14 | 14 | 14 | 553.65/78.77 c (68,0) c | SimpDBs | 339 | 43 | 42 | 42 | 42 | 42 | 41 | 43 | 44 | 553.65/78.77 c (68,0) c | Restarts | 13425 | 1706 | 1689 | 1664 | 1717 | 1635 | 1648 | 1685 | 1681 | 553.65/78.77 c (68,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 553.65/78.77 c (68,0) c | PropBinClauses| 1589296197 | 198189950 | 197920840 | 198466995 | 198923249 | 199387822 | 198627651 | 198967298 | 198812392 | 553.65/78.77 c (68,0) c | PropPreBlocker| 17281561639 | 2157171138 | 2156103369 | 2158078438 | 2158306797 | 2162888695 | 2164956702 | 2165566247 | 2158490253 | 553.65/78.77 c (68,0) c | PropNotBlocker| 3699690628 | 462823187 | 464238960 | 461276793 | 461757943 | 464100748 | 463695904 | 462022797 | 459774296 | 553.65/78.77 c (68,0) c | LitFullScans | 25514985645 | 3186180823 | 3186376260 | 3186089316 | 3186088993 | 3196677235 | 3192086012 | 3195362571 | 3186124435 | 553.65/78.77 c (68,0) c | LitScanFracts | 1152444 | 159152 | 371641 | 80709 | 86575 | 129328 | 102263 | 104403 | 118373 | 553.65/78.77 c (68,0) c | DecisionLevel0| 13541 | 1725 | 1705 | 1675 | 1727 | 1649 | 1663 | 1698 | 1699 | 553.65/78.78 c (68,0) c | Periods | 4250 | 531 | 531 | 531 | 531 | 532 | 531 | 532 | 531 | 553.65/78.78 c (68,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 553.65/78.78 c (68,0) c | Avg_Trail | | 7929 | 7913 | 7908 | 7911 | 7872 | 7973 | 7940 | 7908 | 553.65/78.78 c (68,0) c | Avg_DL | | 51 | 52 | 53 | 53 | 52 | 52 | 53 | 53 | 553.65/78.78 c (68,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 553.65/78.78 c (68,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 553.65/78.78 c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.78 c (68,0) c | Exported | 260644 | 32399 | 32132 | 32850 | 32484 | 32904 | 32897 | 32496 | 32482 | 553.65/78.78 c (68,0) c | Imported | 1777627 | 222192 | 222438 | 221717 | 222186 | 222076 | 222023 | 222878 | 222117 | 553.65/78.78 c (68,0) c | Good | 14167 | 1764 | 1755 | 1723 | 1780 | 1787 | 1790 | 1779 | 1789 | 553.65/78.78 c (68,0) c | Purge | 1763460 | 220428 | 220683 | 219994 | 220406 | 220289 | 220233 | 221099 | 220328 | 553.65/78.78 c (68,0) c | Promoted | 157910 | 19695 | 19739 | 19556 | 19848 | 19900 | 19701 | 19778 | 19693 | 553.65/78.78 c (68,0) c | Remove_Imp | 1208195 | 151235 | 152044 | 150542 | 150942 | 150028 | 152177 | 151390 | 149837 | 553.65/78.78 c (68,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 553.65/78.78 c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.78 c (68,0) c | Unaries | | 19 | 16 | 11 | 10 | 14 | 15 | 13 | 18 | 553.65/78.78 c (68,0) c | Binaries | | 273 | 272 | 302 | 248 | 246 | 248 | 258 | 258 | 553.65/78.78 c (68,0) c | Glues | | 4117 | 4206 | 4285 | 4073 | 4079 | 4107 | 4051 | 3985 | 553.65/78.78 c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.78 c (68,0) c | Orig_Seen | 87 % | 147275 | 147397 | 147457 | 147034 | 147420 | 146958 | 147147 | 147355 | 553.65/78.78 c (68,0) c | Diff Orig seen| | 317 | 439 | 499 | 76 | 462 | X | 189 | 397 | 553.65/78.78 c (68,0) c | Hamming | 19 % | 3262 | 2844 | 3313 | 2718 | 2486 | X | 3198 | 2792 | 553.65/78.78 c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.78 c (68,0) c | RunningTime | | 68.1 100%| 66.9 100%| 66.6 100%| 66.9 100%| 66.2 100%| 65.6 99%| 65.9 99%| 66.4 100%| 553.65/78.78 c (68,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.2 0%| 0.7 1%| 0.5 1%| 0.0 0%| 553.65/78.78 c (68,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%| 553.65/78.78 c (68,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%| 553.65/78.78 c (68,0) c | SolvingTime | | 68.1 | 66.9 | 66.7 | 67.0 | 66.5 | 66.5 | 66.5 | 66.5 | 553.65/78.78 c (68,0) c | PropagationTim| | 60.9 89%| 59.7 89%| 59.2 89%| 59.7 89%| 59.2 89%| 59.1 89%| 58.9 89%| 59.0 89%| 553.65/78.78 c (68,0) c | AnalysisTime | | 3.6 5%| 3.6 5%| 3.8 6%| 3.6 5%| 3.6 5%| 3.6 5%| 3.8 6%| 3.7 6%| 553.65/78.78 c (68,0) c | ReductionTime | | 0.6 1%| 0.6 1%| 0.6 1%| 0.6 1%| 0.6 1%| 0.6 1%| 0.6 1%| 0.6 1%| 553.65/78.78 c (68,0) c | SimplifyTime | | 0.3 0%| 0.3 0%| 0.3 1%| 0.3 0%| 0.4 1%| 0.3 0%| 0.3 0%| 0.3 1%| 553.65/78.78 c (68,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%| 553.65/78.78 c (68,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%| 553.65/78.78 c (68,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.78 c (68,0) c 553.65/78.78 c (68,0) c 553.65/78.78 c (68,0) c Threads : 8 553.65/78.78 c (68,0) c Winner : 5 553.65/78.78 c (68,0) c Conflicts_0 : 267633 553.65/78.78 c (68,0) c Conflicts_1 : 267122 553.65/78.78 c (68,0) c Conflicts_2 : 268816 553.65/78.78 c (68,0) c Conflicts_3 : 268548 553.65/78.78 c (68,0) c Conflicts_4 : 270478 553.65/78.78 c (68,0) c Conflicts_5 : 266433 553.65/78.78 c (68,0) c Conflicts_6 : 268840 553.65/78.78 c (68,0) c Conflicts_7 : 270153 553.65/78.78 c (68,0) c Conflicts_total : 2148023 553.65/78.78 c (68,0) c Conflicts_winner : 266433 553.65/78.78 c (68,0) c Decisions_0 : 924433 553.65/78.78 c (68,0) c Decisions_1 : 935555 553.65/78.78 c (68,0) c Decisions_2 : 935188 553.65/78.78 c (68,0) c Decisions_3 : 941015 553.65/78.78 c (68,0) c Decisions_4 : 946938 553.65/78.78 c (68,0) c Decisions_5 : 927346 553.65/78.78 c (68,0) c Decisions_6 : 931592 553.65/78.78 c (68,0) c Decisions_7 : 930896 553.65/78.78 c (68,0) c Decisions_total : 7472963 553.65/78.78 c (68,0) c Decisions_winner : 927346 553.65/78.78 c (68,0) c Propagations_0 : 167716233 553.65/78.78 c (68,0) c Propagations_1 : 167400842 553.65/78.78 c (68,0) c Propagations_2 : 167976236 553.65/78.78 c (68,0) c Propagations_3 : 168217209 553.65/78.78 c (68,0) c Propagations_4 : 168682814 553.65/78.78 c (68,0) c Propagations_5 : 168299681 553.65/78.78 c (68,0) c Propagations_6 : 168376529 553.65/78.78 c (68,0) c Propagations_7 : 168232985 553.65/78.78 c (68,0) c Propagations_total : 1344902529 553.65/78.78 c (68,0) c Propagations_winner : 168299681 553.65/78.78 c (68,0) c ReduceDBs_0 : 14 553.65/78.78 c (68,0) c ReduceDBs_1 : 14 553.65/78.78 c (68,0) c ReduceDBs_2 : 14 553.65/78.78 c (68,0) c ReduceDBs_3 : 14 553.65/78.78 c (68,0) c ReduceDBs_4 : 14 553.65/78.78 c (68,0) c ReduceDBs_5 : 14 553.65/78.78 c (68,0) c ReduceDBs_6 : 14 553.65/78.78 c (68,0) c ReduceDBs_7 : 14 553.65/78.78 c (68,0) c ReduceDBs_total : 112 553.65/78.78 c (68,0) c ReduceDBs_winner : 14 553.65/78.78 c (68,0) c SimpDBs_0 : 43 553.65/78.78 c (68,0) c SimpDBs_1 : 42 553.65/78.78 c (68,0) c SimpDBs_2 : 42 553.65/78.78 c (68,0) c SimpDBs_3 : 42 553.65/78.78 c (68,0) c SimpDBs_4 : 42 553.65/78.78 c (68,0) c SimpDBs_5 : 41 553.65/78.78 c (68,0) c SimpDBs_6 : 43 553.65/78.78 c (68,0) c SimpDBs_7 : 44 553.65/78.78 c (68,0) c SimpDBs_total : 339 553.65/78.78 c (68,0) c SimpDBs_winner : 41 553.65/78.78 c (68,0) c Restarts_0 : 1706 553.65/78.78 c (68,0) c Restarts_1 : 1689 553.65/78.78 c (68,0) c Restarts_2 : 1664 553.65/78.78 c (68,0) c Restarts_3 : 1717 553.65/78.78 c (68,0) c Restarts_4 : 1635 553.65/78.78 c (68,0) c Restarts_5 : 1648 553.65/78.78 c (68,0) c Restarts_6 : 1685 553.65/78.78 c (68,0) c Restarts_7 : 1681 553.65/78.78 c (68,0) c Restarts_total : 13425 553.65/78.78 c (68,0) c Restarts_winner : 1648 553.65/78.78 c (68,0) c ForcedImports_0 : 0 553.65/78.78 c (68,0) c ForcedImports_1 : 0 553.65/78.78 c (68,0) c ForcedImports_2 : 0 553.65/78.78 c (68,0) c ForcedImports_3 : 0 553.65/78.78 c (68,0) c ForcedImports_4 : 0 553.65/78.78 c (68,0) c ForcedImports_5 : 0 553.65/78.78 c (68,0) c ForcedImports_6 : 0 553.65/78.78 c (68,0) c ForcedImports_7 : 0 553.65/78.78 c (68,0) c ForcedImports_total : 0 553.65/78.78 c (68,0) c ForcedImports_winner : 0 553.65/78.78 c (68,0) c PropsBinClauses_0 : 198189950 553.65/78.78 c (68,0) c PropsBinClauses_1 : 197920840 553.65/78.78 c (68,0) c PropsBinClauses_2 : 198466995 553.65/78.78 c (68,0) c PropsBinClauses_3 : 198923249 553.65/78.78 c (68,0) c PropsBinClauses_4 : 199387822 553.65/78.78 c (68,0) c PropsBinClauses_5 : 198627651 553.65/78.78 c (68,0) c PropsBinClauses_6 : 198967298 553.65/78.78 c (68,0) c PropsBinClauses_7 : 198812392 553.65/78.78 c (68,0) c PropsBinClauses_total : 1589296197 553.65/78.78 c (68,0) c PropsBinClauses_winner : 198627651 553.65/78.78 c (68,0) c PropsPreBlocker_0 : 2157171138 553.65/78.78 c (68,0) c PropsPreBlocker_1 : 2156103369 553.65/78.78 c (68,0) c PropsPreBlocker_2 : 2158078438 553.65/78.78 c (68,0) c PropsPreBlocker_3 : 2158306797 553.65/78.78 c (68,0) c PropsPreBlocker_4 : 2162888695 553.65/78.78 c (68,0) c PropsPreBlocker_5 : 2164956702 553.65/78.78 c (68,0) c PropsPreBlocker_6 : 2165566247 553.65/78.78 c (68,0) c PropsPreBlocker_7 : 2158490253 553.65/78.78 c (68,0) c PropsPreBlocker_total : 17281561639 553.65/78.78 c (68,0) c PropsPreBlocker_winner : 2164956702 553.65/78.78 c (68,0) c PropsNotBlocker_0 : 462823187 553.65/78.78 c (68,0) c PropsNotBlocker_1 : 464238960 553.65/78.78 c (68,0) c PropsNotBlocker_2 : 461276793 553.65/78.78 c (68,0) c PropsNotBlocker_3 : 461757943 553.65/78.78 c (68,0) c PropsNotBlocker_4 : 464100748 553.65/78.78 c (68,0) c PropsNotBlocker_5 : 463695904 553.65/78.78 c (68,0) c PropsNotBlocker_6 : 462022797 553.65/78.78 c (68,0) c PropsNotBlocker_7 : 459774296 553.65/78.78 c (68,0) c PropsNotBlocker_total : 3699690628 553.65/78.78 c (68,0) c PropsNotBlocker_winner : 463695904 553.65/78.78 c (68,0) c PropsLitFullScans_0 : 3186180823 553.65/78.78 c (68,0) c PropsLitFullScans_1 : 3186376260 553.65/78.78 c (68,0) c PropsLitFullScans_2 : 3186089316 553.65/78.78 c (68,0) c PropsLitFullScans_3 : 3186088993 553.65/78.78 c (68,0) c PropsLitFullScans_4 : 3196677235 553.65/78.78 c (68,0) c PropsLitFullScans_5 : 3192086012 553.65/78.78 c (68,0) c PropsLitFullScans_6 : 3195362571 553.65/78.78 c (68,0) c PropsLitFullScans_7 : 3186124435 553.65/78.78 c (68,0) c PropsLitFullScans_total : 25514985645 553.65/78.78 c (68,0) c PropsLitFullScans_winner : 3192086012 553.65/78.78 c (68,0) c LitScanFractions_0 : 159152 553.65/78.78 c (68,0) c LitScanFractions_1 : 371641 553.65/78.78 c (68,0) c LitScanFractions_2 : 80709 553.65/78.78 c (68,0) c LitScanFractions_3 : 86575 553.65/78.78 c (68,0) c LitScanFractions_4 : 129328 553.65/78.78 c (68,0) c LitScanFractions_5 : 102263 553.65/78.78 c (68,0) c LitScanFractions_6 : 104403 553.65/78.78 c (68,0) c LitScanFractions_7 : 118373 553.65/78.78 c (68,0) c LitScanFractions_total : 1152444 553.65/78.78 c (68,0) c LitScanFractions_winner : 102263 553.65/78.78 c (68,0) c DecisionLevel0_0 : 1725 553.65/78.78 c (68,0) c DecisionLevel0_1 : 1705 553.65/78.78 c (68,0) c DecisionLevel0_2 : 1675 553.65/78.78 c (68,0) c DecisionLevel0_3 : 1727 553.65/78.78 c (68,0) c DecisionLevel0_4 : 1649 553.65/78.78 c (68,0) c DecisionLevel0_5 : 1663 553.65/78.78 c (68,0) c DecisionLevel0_6 : 1698 553.65/78.78 c (68,0) c DecisionLevel0_7 : 1699 553.65/78.78 c (68,0) c DecisionLevel0_total : 13541 553.65/78.78 c (68,0) c DecisionLevel0_winner : 1663 553.65/78.78 c (68,0) c Periods_0 : 531 553.65/78.78 c (68,0) c Periods_1 : 531 553.65/78.78 c (68,0) c Periods_2 : 531 553.65/78.78 c (68,0) c Periods_3 : 531 553.65/78.78 c (68,0) c Periods_4 : 532 553.65/78.78 c (68,0) c Periods_5 : 531 553.65/78.78 c (68,0) c Periods_6 : 532 553.65/78.78 c (68,0) c Periods_7 : 531 553.65/78.78 c (68,0) c Periods_total : 4250 553.65/78.78 c (68,0) c Periods_winner : 531 553.65/78.78 c (68,0) c Margin_0 : 20 553.65/78.78 c (68,0) c Margin_1 : 20 553.65/78.78 c (68,0) c Margin_2 : 20 553.65/78.78 c (68,0) c Margin_3 : 20 553.65/78.78 c (68,0) c Margin_4 : 20 553.65/78.78 c (68,0) c Margin_5 : 20 553.65/78.78 c (68,0) c Margin_6 : 20 553.65/78.78 c (68,0) c Margin_7 : 20 553.65/78.78 c (68,0) c Margin_total : 160 553.65/78.78 c (68,0) c Margin_winner : 20 553.65/78.78 c (68,0) c Exported_0 : 32399 553.65/78.78 c (68,0) c Exported_1 : 32132 553.65/78.78 c (68,0) c Exported_2 : 32850 553.65/78.78 c (68,0) c Exported_3 : 32484 553.65/78.78 c (68,0) c Exported_4 : 32904 553.65/78.78 c (68,0) c Exported_5 : 32897 553.65/78.78 c (68,0) c Exported_6 : 32496 553.65/78.78 c (68,0) c Exported_7 : 32482 553.65/78.78 c (68,0) c Exported_total : 260644 553.65/78.78 c (68,0) c Exported_winner : 32897 553.65/78.78 c (68,0) c Imported_0 : 222192 553.65/78.78 c (68,0) c Imported_1 : 222438 553.65/78.78 c (68,0) c Imported_2 : 221717 553.65/78.78 c (68,0) c Imported_3 : 222186 553.65/78.78 c (68,0) c Imported_4 : 222076 553.65/78.78 c (68,0) c Imported_5 : 222023 553.65/78.78 c (68,0) c Imported_6 : 222878 553.65/78.78 c (68,0) c Imported_7 : 222117 553.65/78.78 c (68,0) c Imported_total : 1777627 553.65/78.78 c (68,0) c Imported_winner : 222023 553.65/78.78 c (68,0) c Good_0 : 1764 553.65/78.78 c (68,0) c Good_1 : 1755 553.65/78.78 c (68,0) c Good_2 : 1723 553.65/78.78 c (68,0) c Good_3 : 1780 553.65/78.78 c (68,0) c Good_4 : 1787 553.65/78.78 c (68,0) c Good_5 : 1790 553.65/78.78 c (68,0) c Good_6 : 1779 553.65/78.78 c (68,0) c Good_7 : 1789 553.65/78.78 c (68,0) c Good_total : 14167 553.65/78.78 c (68,0) c Good_winner : 1790 553.65/78.78 c (68,0) c Purge_0 : 220428 553.65/78.78 c (68,0) c Purge_1 : 220683 553.65/78.78 c (68,0) c Purge_2 : 219994 553.65/78.78 c (68,0) c Purge_3 : 220406 553.65/78.78 c (68,0) c Purge_4 : 220289 553.65/78.78 c (68,0) c Purge_5 : 220233 553.65/78.78 c (68,0) c Purge_6 : 221099 553.65/78.78 c (68,0) c Purge_7 : 220328 553.65/78.78 c (68,0) c Purge_total : 1763460 553.65/78.78 c (68,0) c Purge_winner : 220233 553.65/78.78 c (68,0) c Promoted_0 : 19695 553.65/78.78 c (68,0) c Promoted_1 : 19739 553.65/78.78 c (68,0) c Promoted_2 : 19556 553.65/78.78 c (68,0) c Promoted_3 : 19848 553.65/78.78 c (68,0) c Promoted_4 : 19900 553.65/78.78 c (68,0) c Promoted_5 : 19701 553.65/78.78 c (68,0) c Promoted_6 : 19778 553.65/78.78 c (68,0) c Promoted_7 : 19693 553.65/78.78 c (68,0) c Promoted_total : 157910 553.65/78.78 c (68,0) c Promoted_winner : 19701 553.65/78.78 c (68,0) c Remove_Imp_0 : 151235 553.65/78.78 c (68,0) c Remove_Imp_1 : 152044 553.65/78.78 c (68,0) c Remove_Imp_2 : 150542 553.65/78.78 c (68,0) c Remove_Imp_3 : 150942 553.65/78.78 c (68,0) c Remove_Imp_4 : 150028 553.65/78.78 c (68,0) c Remove_Imp_5 : 152177 553.65/78.78 c (68,0) c Remove_Imp_6 : 151390 553.65/78.78 c (68,0) c Remove_Imp_7 : 149837 553.65/78.78 c (68,0) c Remove_Imp_total : 1208195 553.65/78.78 c (68,0) c Remove_Imp_winner : 152177 553.65/78.78 c (68,0) c Blocked_Reuse_0 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_1 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_2 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_3 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_4 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_5 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_6 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_7 : 0 553.65/78.78 c (68,0) c Blocked_Reuse_total : 0 553.65/78.78 c (68,0) c Blocked_Reuse_winner : 0 553.65/78.78 c (68,0) c Unaries_0 : 19 553.65/78.78 c (68,0) c Unaries_1 : 16 553.65/78.78 c (68,0) c Unaries_2 : 11 553.65/78.78 c (68,0) c Unaries_3 : 10 553.65/78.78 c (68,0) c Unaries_4 : 14 553.65/78.78 c (68,0) c Unaries_5 : 15 553.65/78.78 c (68,0) c Unaries_6 : 13 553.65/78.78 c (68,0) c Unaries_7 : 18 553.65/78.78 c (68,0) c Unaries_total : 116 553.65/78.78 c (68,0) c Unaries_winner : 15 553.65/78.78 c (68,0) c Binaries_0 : 273 553.65/78.78 c (68,0) c Binaries_1 : 272 553.65/78.78 c (68,0) c Binaries_2 : 302 553.65/78.78 c (68,0) c Binaries_3 : 248 553.65/78.78 c (68,0) c Binaries_4 : 246 553.65/78.78 c (68,0) c Binaries_5 : 248 553.65/78.78 c (68,0) c Binaries_6 : 258 553.65/78.78 c (68,0) c Binaries_7 : 258 553.65/78.78 c (68,0) c Binaries_total : 2105 553.65/78.78 c (68,0) c Binaries_winner : 248 553.65/78.78 c (68,0) c Glues_0 : 4117 553.65/78.78 c (68,0) c Glues_1 : 4206 553.65/78.78 c (68,0) c Glues_2 : 4285 553.65/78.78 c (68,0) c Glues_3 : 4073 553.65/78.78 c (68,0) c Glues_4 : 4079 553.65/78.78 c (68,0) c Glues_5 : 4107 553.65/78.78 c (68,0) c Glues_6 : 4051 553.65/78.78 c (68,0) c Glues_7 : 3985 553.65/78.78 c (68,0) c Glues_total : 32903 553.65/78.78 c (68,0) c Glues_winner : 4107 553.65/78.78 c (68,0) c RunningTime_0 : 68.051037 553.65/78.78 c (68,0) c RunningTime_1 : 66.861043 553.65/78.78 c (68,0) c RunningTime_2 : 66.603695 553.65/78.78 c (68,0) c RunningTime_3 : 66.883342 553.65/78.78 c (68,0) c RunningTime_4 : 66.243179 553.65/78.78 c (68,0) c RunningTime_5 : 65.648355 553.65/78.78 c (68,0) c RunningTime_6 : 65.896043 553.65/78.78 c (68,0) c RunningTime_7 : 66.426021 553.65/78.78 c (68,0) c RunningTime_total : 532.612715 553.65/78.78 c (68,0) c RunningTime_winner : 65.648355 553.65/78.78 c (68,0) c WaitingTime_0 : 0.000658 553.65/78.78 c (68,0) c WaitingTime_1 : 0.000715 553.65/78.78 c (68,0) c WaitingTime_2 : 0.000759 553.65/78.78 c (68,0) c WaitingTime_3 : 0.000811 553.65/78.78 c (68,0) c WaitingTime_4 : 0.171429 553.65/78.78 c (68,0) c WaitingTime_5 : 0.719006 553.65/78.78 c (68,0) c WaitingTime_6 : 0.485752 553.65/78.78 c (68,0) c WaitingTime_7 : 0.000855 553.65/78.78 c (68,0) c WaitingTime_total : 1.379986 553.65/78.78 c (68,0) c WaitingTime_winner : 0.719006 553.65/78.78 c (68,0) c ExchangingTime_0 : 0.084791 553.65/78.78 c (68,0) c ExchangingTime_1 : 0.083485 553.65/78.78 c (68,0) c ExchangingTime_2 : 0.091047 553.65/78.78 c (68,0) c ExchangingTime_3 : 0.087399 553.65/78.78 c (68,0) c ExchangingTime_4 : 0.091843 553.65/78.78 c (68,0) c ExchangingTime_5 : 0.092568 553.65/78.78 c (68,0) c ExchangingTime_6 : 0.094390 553.65/78.78 c (68,0) c ExchangingTime_7 : 0.096224 553.65/78.78 c (68,0) c ExchangingTime_total : 0.721747 553.65/78.78 c (68,0) c ExchangingTime_winner : 0.092568 553.65/78.78 c (68,0) c PeriodProcTime_0 : 0.006051 553.65/78.78 c (68,0) c PeriodProcTime_1 : 0.004031 553.65/78.78 c (68,0) c PeriodProcTime_2 : 0.004062 553.65/78.78 c (68,0) c PeriodProcTime_3 : 0.004132 553.65/78.78 c (68,0) c PeriodProcTime_4 : 0.004112 553.65/78.78 c (68,0) c PeriodProcTime_5 : 0.004516 553.65/78.78 c (68,0) c PeriodProcTime_6 : 0.004365 553.65/78.78 c (68,0) c PeriodProcTime_7 : 0.004727 553.65/78.78 c (68,0) c PeriodProcTime_total : 0.035996 553.65/78.78 c (68,0) c PeriodProcTime_winner : 0.004516 553.65/78.78 c (68,0) c SolvingTime_0 : 68.142537 553.65/78.78 c (68,0) c SolvingTime_1 : 66.949274 553.65/78.78 c (68,0) c SolvingTime_2 : 66.699564 553.65/78.79 c (68,0) c SolvingTime_3 : 66.975684 553.65/78.79 c (68,0) c SolvingTime_4 : 66.510563 553.65/78.79 c (68,0) c SolvingTime_5 : 66.464445 553.65/78.79 c (68,0) c SolvingTime_6 : 66.480549 553.65/78.79 c (68,0) c SolvingTime_7 : 66.527827 553.65/78.79 c (68,0) c SolvingTime_total : 534.750443 553.65/78.79 c (68,0) c SolvingTime_winner : 66.464445 553.65/78.79 c (68,0) c PropagationTime_0 : 60.898499 553.65/78.79 c (68,0) c PropagationTime_1 : 59.720283 553.65/78.79 c (68,0) c PropagationTime_2 : 59.177974 553.65/78.79 c (68,0) c PropagationTime_3 : 59.682514 553.65/78.79 c (68,0) c PropagationTime_4 : 59.183287 553.65/78.79 c (68,0) c PropagationTime_5 : 59.137431 553.65/78.79 c (68,0) c PropagationTime_6 : 58.928774 553.65/78.79 c (68,0) c PropagationTime_7 : 59.031801 553.65/78.79 c (68,0) c PropagationTime_total : 475.760563 553.65/78.79 c (68,0) c PropagationTime_winner : 59.137431 553.65/78.79 c (68,0) c AnalysisTime_0 : 3.555858 553.65/78.79 c (68,0) c AnalysisTime_1 : 3.554045 553.65/78.79 c (68,0) c AnalysisTime_2 : 3.820796 553.65/78.79 c (68,0) c AnalysisTime_3 : 3.647308 553.65/78.79 c (68,0) c AnalysisTime_4 : 3.592465 553.65/78.79 c (68,0) c AnalysisTime_5 : 3.606085 553.65/78.79 c (68,0) c AnalysisTime_6 : 3.807397 553.65/78.79 c (68,0) c AnalysisTime_7 : 3.715337 553.65/78.79 c (68,0) c AnalysisTime_total : 29.299290 553.65/78.79 c (68,0) c AnalysisTime_winner : 3.606085 553.65/78.79 c (68,0) c ReductionTime_0 : 0.569605 553.65/78.79 c (68,0) c ReductionTime_1 : 0.610494 553.65/78.79 c (68,0) c ReductionTime_2 : 0.612657 553.65/78.79 c (68,0) c ReductionTime_3 : 0.595280 553.65/78.79 c (68,0) c ReductionTime_4 : 0.611777 553.65/78.79 c (68,0) c ReductionTime_5 : 0.587219 553.65/78.79 c (68,0) c ReductionTime_6 : 0.587970 553.65/78.79 c (68,0) c ReductionTime_7 : 0.614001 553.65/78.79 c (68,0) c ReductionTime_total : 4.789003 553.65/78.79 c (68,0) c ReductionTime_winner : 0.587219 553.65/78.79 c (68,0) c SimplifyTime_0 : 0.316930 553.65/78.79 c (68,0) c SimplifyTime_1 : 0.334535 553.65/78.79 c (68,0) c SimplifyTime_2 : 0.340126 553.65/78.79 c (68,0) c SimplifyTime_3 : 0.329370 553.65/78.79 c (68,0) c SimplifyTime_4 : 0.357714 553.65/78.79 c (68,0) c SimplifyTime_5 : 0.319297 553.65/78.79 c (68,0) c SimplifyTime_6 : 0.331355 553.65/78.79 c (68,0) c SimplifyTime_7 : 0.341017 553.65/78.79 c (68,0) c SimplifyTime_total : 2.670345 553.65/78.79 c (68,0) c SimplifyTime_winner : 0.319297 553.65/78.79 c (68,0) c UsedRateTime_0 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_1 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_2 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_3 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_4 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_5 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_6 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_7 : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_total : 0.000000 553.65/78.79 c (68,0) c UsedRateTime_winner : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_0 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_1 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_2 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_3 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_4 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_5 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_6 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_7 : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_total : 0.000000 553.65/78.79 c (68,0) c OverlapRateTime_winner : 0.000000 553.65/78.79 c (68,0) c 553.65/78.79 c (68,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 553.65/78.79 c (68,0) c 553.65/78.79 c (68,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.79 c (68,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 553.65/78.79 c (68,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.79 c (68,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 553.65/78.79 c (68,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 553.65/78.79 c (68,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 553.65/78.79 c (68,0) c | Initial random_seed | 637835855 | 71522305 | 885403704 | 2017724346 | 710621303 | 1151414907 | 912415400 | 582688175 | 553.65/78.79 c (68,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 553.65/78.79 c (68,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 553.65/78.79 c (68,0) c | glureduce | True | True | True | True | True | True | True | True | 553.65/78.79 c (68,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 553.65/78.79 c (68,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 553.65/78.79 c (68,0) c | luby_restart | False | False | False | False | False | False | False | False | 553.65/78.79 c (68,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 553.65/78.79 c (68,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 553.65/78.79 c (68,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 553.65/78.79 c (68,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 553.65/78.79 c (68,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 553.65/78.79 c (68,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 553.65/78.79 c (68,0) 553.65/78.79 c (68,0) s SATISFIABLE 21.85/78.82 c (68,0) SatSolver.solve End 21.85/78.82 c (68,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 21.85/78.82 c (68,0) Show results Begin 21.85/78.89 c (68,0) x[0] = 0 21.85/78.89 c (68,0) x[1] = 10 21.85/78.89 c (68,0) x[2] = 25 21.85/78.89 c (68,0) x[3] = 8 21.85/78.89 c (68,0) x[4] = 18 21.85/78.89 c (68,0) x[5] = 1 21.85/78.89 c (68,0) x[6] = 16 21.85/78.89 c (68,0) x[7] = 33 21.85/78.89 c (68,0) x[8] = 48 21.85/78.89 c (68,0) x[9] = 42 21.85/78.89 c (68,0) x[10] = 27 21.85/78.89 c (68,0) x[11] = 21 21.85/78.89 c (68,0) x[12] = 36 21.85/78.89 c (68,0) x[13] = 53 21.85/78.89 c (68,0) x[14] = 63 21.85/78.89 c (68,0) x[15] = 46 21.85/78.89 c (68,0) x[16] = 52 21.85/78.89 c (68,0) x[17] = 58 21.85/78.89 c (68,0) x[18] = 43 21.85/78.89 c (68,0) x[19] = 28 21.85/78.89 c (68,0) x[20] = 38 21.85/78.89 c (68,0) x[21] = 55 21.85/78.89 c (68,0) x[22] = 61 21.85/78.89 c (68,0) x[23] = 44 21.85/78.89 c (68,0) x[24] = 59 21.85/78.89 c (68,0) x[25] = 49 21.85/78.89 c (68,0) x[26] = 32 21.85/78.89 c (68,0) x[27] = 26 21.85/78.89 c (68,0) x[28] = 11 21.85/78.89 c (68,0) x[29] = 5 21.85/78.89 c (68,0) x[30] = 15 21.85/78.89 c (68,0) x[31] = 30 21.85/78.89 c (68,0) x[32] = 20 21.85/78.89 c (68,0) x[33] = 3 21.85/78.89 c (68,0) x[34] = 9 21.85/78.89 c (68,0) x[35] = 24 21.85/78.89 c (68,0) x[36] = 34 21.85/78.89 c (68,0) x[37] = 40 21.85/78.89 c (68,0) x[38] = 57 21.85/78.89 c (68,0) x[39] = 51 21.85/78.89 c (68,0) x[40] = 41 21.85/78.89 c (68,0) x[41] = 56 21.85/78.89 c (68,0) x[42] = 50 21.85/78.89 c (68,0) x[43] = 35 21.85/78.89 c (68,0) x[44] = 29 21.85/78.89 c (68,0) x[45] = 19 21.85/78.89 c (68,0) x[46] = 4 21.85/78.89 c (68,0) x[47] = 14 21.85/78.89 c (68,0) x[48] = 31 21.85/78.89 c (68,0) x[49] = 37 21.85/78.89 c (68,0) x[50] = 47 21.85/78.89 c (68,0) x[51] = 62 21.85/78.89 c (68,0) x[52] = 45 21.85/78.89 c (68,0) x[53] = 60 21.85/78.89 c (68,0) x[54] = 54 21.85/78.89 c (68,0) x[55] = 39 554.07/78.91 c (68,0) x[56] = 22 554.07/78.91 c (68,0) x[57] = 7 554.07/78.91 c (68,0) x[58] = 13 554.07/78.91 c (68,0) x[59] = 23 554.07/78.91 c (68,0) x[60] = 6 554.07/78.91 c (68,0) x[61] = 12 554.07/78.91 c (68,0) x[62] = 2 554.07/78.91 c (68,0) x[63] = 17 554.07/78.91 s SATISFIABLE 554.07/78.91 v <instantiation> 554.07/78.91 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63]</list> 554.07/78.91 v <values>0 10 25 8 18 1 16 33 48 42 27 21 36 53 63 46 52 58 43 28 38 55 61 44 59 49 32 26 11 5 15 30 20 3 9 24 34 40 57 51 41 56 50 35 29 19 4 14 31 37 47 62 45 60 54 39 22 7 13 23 6 12 2 17</values> 554.07/78.91 v </instantiation> 554.07/78.91 c (68,0) Show results End 554.07/78.91 c (68,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 554.07/78.91 c (68,0) 68,68,STOP-AFTER(ALL) 554.07/78.91 c END-Prog: Sat Sep 14 07:01:51 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15018 MiB free) memory of node 1: 16384 MiB (15580 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392692-1568437291/watcher-4392692-1568437291 -o /tmp/evaluation-result-4392692-1568437291/solver-4392692-1568437291 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392692-1568437291.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Starting watchdog thread solver pid=5629, runsolver pid=5626 Current StackSize limit: 8192 KiB [startup+0.100179 s]* /proc/loadavg: 2.95 2.87 2.73 2/212 5651 /proc/meminfo: memFree=31238256/32770624 swapFree=66996988/67108860 [pid=5629] ppid=5626 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5629/stat : 5629 (scop.sh) S 5626 5629 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419982211 115843072 349 33554432000 4194304 5098028 140732784059872 140732784057128 139887576425084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10424320 140732784067364 140732784067692 140732784067692 140732784070605 0 /proc/5629/statm: 28282 349 296 221 0 87 0 [pid=5632] ppid=5629 vsize=27314120 memory=106112 CPUtime=0.1 cores=0-7 /proc/5632/stat : 5632 (java) S 5629 5629 3266 0 -1 1077944320 6544 0 0 0 8 2 0 0 20 0 20 0 419982211 27969658880 26528 33554432000 4194304 4196468 140720529867312 140720529849856 140210043739895 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 /proc/5632/statm: 6828530 26528 2816 1 0 6790935 0 [pid=5632/tid=5633] ppid=5629 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/5632/task/5633/stat : 5633 (java) R 5629 5629 3266 0 -1 4202560 4649 0 0 0 7 2 0 0 20 0 20 0 419982212 27969658880 26528 33554432000 4194304 4196468 140720529867312 140210015569960 140210022165032 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5634] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5634/stat : 5634 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140210047982736 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5635] ppid=5629 vsize=27314120 memory=139820803892800 CPUtime=0 cores=0-7 /proc/5632/task/5635/stat : 5635 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209465699344 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5636] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5636/stat : 5636 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209464646544 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5637] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5637/stat : 5637 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209463593744 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5638] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5638/stat : 5638 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209462540944 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5639] ppid=5629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5632/task/5639/stat : 5639 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209461488144 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5640] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5640/stat : 5640 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209460435344 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5641] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5641/stat : 5641 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209459382544 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5642] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5642/stat : 5642 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209035053936 140210043751042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5643] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5643/stat : 5643 (java) S 5629 5629 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 26528 33554432000 4194304 4196468 140720529867312 140207999411744 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5644] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5644/stat : 5644 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 26528 33554432000 4194304 4196468 140720529867312 140207730976112 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5645] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5645/stat : 5645 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 26528 33554432000 4194304 4196468 140720529867312 140207356467536 140210043758491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5646] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5646/stat : 5646 (java) S 5629 5629 3266 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209034000752 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5647] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5647/stat : 5647 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209032947952 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5648] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5648/stat : 5648 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209031895152 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5649] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5649/stat : 5649 (java) S 5629 5629 3266 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209030842352 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5650] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5650/stat : 5650 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 26528 33554432000 4194304 4196468 140720529867312 140206858562656 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5651] ppid=5629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5632/task/5651/stat : 5651 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 26528 33554432000 4194304 4196468 140720529867312 140209029790768 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107508 KiB [startup+0.210584 s]* /proc/loadavg: 2.95 2.87 2.73 3/212 5651 /proc/meminfo: memFree=31216556/32770624 swapFree=66996988/67108860 [pid=5629] ppid=5626 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5629/stat : 5629 (scop.sh) S 5626 5629 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419982211 115843072 349 33554432000 4194304 5098028 140732784059872 140732784057128 139887576425084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10424320 140732784067364 140732784067692 140732784067692 140732784070605 0 /proc/5629/statm: 28282 349 296 221 0 87 0 [pid=5632] ppid=5629 vsize=27314120 memory=125428 CPUtime=0.24 cores=0-7 /proc/5632/stat : 5632 (java) S 5629 5629 3266 0 -1 1077944320 12090 0 0 0 20 4 0 0 20 0 20 0 419982211 27969658880 31357 33554432000 4194304 4196468 140720529867312 140720529849856 140210043739895 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 /proc/5632/statm: 6828530 31357 2963 1 0 6790935 0 [pid=5632/tid=5633] ppid=5629 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/5632/task/5633/stat : 5633 (java) R 5629 5629 3266 0 -1 4202560 9754 0 0 0 16 3 0 0 20 0 20 0 419982212 27969658880 31357 33554432000 4194304 4196468 140720529867312 140210015543504 140210028905543 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5634] ppid=5629 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/5632/task/5634/stat : 5634 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140210047982736 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5635] ppid=5629 vsize=27314120 memory=3474158096480442016 CPUtime=0 cores=0-7 /proc/5632/task/5635/stat : 5635 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209465699344 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5636] ppid=5629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5632/task/5636/stat : 5636 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209464646544 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5637] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5637/stat : 5637 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209463593744 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5638] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5638/stat : 5638 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209462540944 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5639] ppid=5629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5632/task/5639/stat : 5639 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209461488144 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5640] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5640/stat : 5640 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209460435344 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5641] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5641/stat : 5641 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209459382544 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5642] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5642/stat : 5642 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209035053936 140210043751042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5643] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5643/stat : 5643 (java) S 5629 5629 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 31357 33554432000 4194304 4196468 140720529867312 140207999411744 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5644] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5644/stat : 5644 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 31357 33554432000 4194304 4196468 140720529867312 140207730976112 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5645] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5645/stat : 5645 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 31357 33554432000 4194304 4196468 140720529867312 140207356467536 140210043758491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5646] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5646/stat : 5646 (java) S 5629 5629 3266 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209034000752 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5647] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5647/stat : 5647 (java) S 5629 5629 3266 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209032947952 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5648] ppid=5629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5632/task/5648/stat : 5648 (java) S 5629 5629 3266 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209031895152 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5649] ppid=5629 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/5632/task/5649/stat : 5649 (java) S 5629 5629 3266 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 20 0 419982219 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209030842352 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5650] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5650/stat : 5650 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 31357 33554432000 4194304 4196468 140720529867312 140206858562656 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5651] ppid=5629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5632/task/5651/stat : 5651 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 31357 33554432000 4194304 4196468 140720529867312 140209029790768 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126824 KiB [startup+0.3104 s]* /proc/loadavg: 2.95 2.87 2.73 2/212 5651 /proc/meminfo: memFree=31214012/32770624 swapFree=66996988/67108860 [pid=5629] ppid=5626 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5629/stat : 5629 (scop.sh) S 5626 5629 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419982211 115843072 349 33554432000 4194304 5098028 140732784059872 140732784057128 139887576425084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10424320 140732784067364 140732784067692 140732784067692 140732784070605 0 /proc/5629/statm: 28282 349 296 221 0 87 0 [pid=5632] ppid=5629 vsize=27314120 memory=129156 CPUtime=0.42 cores=0-7 /proc/5632/stat : 5632 (java) S 5629 5629 3266 0 -1 1077944320 13175 0 0 0 37 5 0 0 20 0 20 0 419982211 27969658880 32289 33554432000 4194304 4196468 140720529867312 140720529849856 140210043739895 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 /proc/5632/statm: 6828530 32289 3015 1 0 6790935 0 [pid=5632/tid=5633] ppid=5629 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/5632/task/5633/stat : 5633 (java) R 5629 5629 3266 0 -1 4202560 10562 0 0 0 25 4 0 0 20 0 20 0 419982212 27969658880 32289 33554432000 4194304 4196468 140720529867312 140210015522912 140210024015776 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5634] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5634/stat : 5634 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140210047982736 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5635] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5635/stat : 5635 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209465699344 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5636] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5636/stat : 5636 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209464646544 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5637] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5637/stat : 5637 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209463593744 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5638] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5638/stat : 5638 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209462540944 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5639] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5639/stat : 5639 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209461488144 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5640] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5640/stat : 5640 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209460435344 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5641] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5641/stat : 5641 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209459382544 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5642] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5642/stat : 5642 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209035053936 140210043751042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5643] ppid=5629 vsize=27314120 memory=279641294314880 CPUtime=0 cores=0-7 /proc/5632/task/5643/stat : 5643 (java) S 5629 5629 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 32289 33554432000 4194304 4196468 140720529867312 140207999411744 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5644] ppid=5629 vsize=27314120 memory=279641294319488 CPUtime=0 cores=0-7 /proc/5632/task/5644/stat : 5644 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982216 27969658880 32289 33554432000 4194304 4196468 140720529867312 140207730976112 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5645] ppid=5629 vsize=27314120 memory=279641294324096 CPUtime=0 cores=0-7 /proc/5632/task/5645/stat : 5645 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 32289 33554432000 4194304 4196468 140720529867312 140207356467536 140210043758491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5646] ppid=5629 vsize=27314120 memory=279641294328704 CPUtime=0.01 cores=0-7 /proc/5632/task/5646/stat : 5646 (java) S 5629 5629 3266 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 419982219 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209034000752 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5647] ppid=5629 vsize=27314120 memory=279641294333312 CPUtime=0.01 cores=0-7 /proc/5632/task/5647/stat : 5647 (java) S 5629 5629 3266 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 419982219 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209032947952 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5648] ppid=5629 vsize=27314120 memory=279641294337920 CPUtime=0.01 cores=0-7 /proc/5632/task/5648/stat : 5648 (java) S 5629 5629 3266 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 419982219 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209031895152 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5649] ppid=5629 vsize=27314120 memory=279641294342528 CPUtime=0.07 cores=0-7 /proc/5632/task/5649/stat : 5649 (java) S 5629 5629 3266 0 -1 1077944384 596 0 0 0 7 0 0 0 20 0 20 0 419982219 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209030842352 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5650] ppid=5629 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5650/stat : 5650 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 32289 33554432000 4194304 4196468 140720529867312 140206858562656 140210043750101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5651] ppid=5629 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/5632/task/5651/stat : 5651 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419982219 27969658880 32289 33554432000 4194304 4196468 140720529867312 140209029790768 140210043751042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130552 KiB [startup+0.700999 s] /proc/loadavg: 2.95 2.87 2.73 2/212 5651 /proc/meminfo: memFree=31192808/32770624 swapFree=66996988/67108860 [pid=5629] ppid=5626 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/5629/stat : 5629 (scop.sh) S 5626 5629 3266 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419982211 115843072 349 33554432000 4194304 5098028 140732784059872 140732784057128 139887576425084 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10424320 140732784067364 140732784067692 140732784067692 140732784070605 0 /proc/5629/statm: 28282 349 296 221 0 87 0 [pid=5632] ppid=5629 vsize=27322440 memory=164896 CPUtime=1 cores=0-7 /proc/5632/stat : 5632 (java) S 5629 5629 3266 0 -1 1077944320 20375 0 0 0 92 8 0 0 20 0 20 0 419982211 27978178560 41224 33554432000 4194304 4196468 140720529867312 140720529849856 140210043739895 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 /proc/5632/statm: 6830610 41224 3193 1 0 6791959 0 [pid=5632/tid=5633] ppid=5629 vsize=27322440 memory=4580 CPUtime=0.67 cores=0-7 /proc/5632/task/5633/stat : 5633 (java) R 5629 5629 3266 0 -1 4202560 17098 0 0 0 61 6 0 0 20 0 20 0 419982212 27978178560 41224 33554432000 4194304 4196468 140720529867312 140210015577616 140210043761821 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5634] ppid=5629 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5634/stat : 5634 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27978178560 41224 33554432000 4194304 4196468 140720529867312 140210047982736 140210043750101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5635] ppid=5629 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/5632/task/5635/stat : 5635 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419982214 27978178560 41224 33554432000 4194304 4196468 140720529867312 140209465699344 140210043750101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14106624 140720529875691 140720529876118 140720529876118 140720529878991 0 [pid=5632/tid=5636] ppid=5629 vsize=27322440 memory=2828 CPUtime=0 cores=0-7 ################ # More data... # ################ [pid=5654/tid=5657] ppid=5629 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/5654/task/5657/stat : 5657 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867745323280 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5658] ppid=5629 vsize=8414124 memory=2124 CPUtime=0 cores=0-7 /proc/5654/task/5658/stat : 5658 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867744270992 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5659] ppid=5629 vsize=8414124 memory=7686721470300920728 CPUtime=0 cores=0-7 /proc/5654/task/5659/stat : 5659 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867743218192 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5660] ppid=5629 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/5654/task/5660/stat : 5660 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867742165904 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5661] ppid=5629 vsize=8414124 memory=111628 CPUtime=0 cores=0-7 /proc/5654/task/5661/stat : 5661 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867741113104 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5662] ppid=5629 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/5654/task/5662/stat : 5662 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867740060816 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5663] ppid=5629 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/5654/task/5663/stat : 5663 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867739008016 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5664] ppid=5629 vsize=8414124 memory=916 CPUtime=0 cores=0-7 /proc/5654/task/5664/stat : 5664 (java) S 5629 5629 3266 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419983173 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867353766000 139868260686466 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5665] ppid=5629 vsize=8414124 memory=4224 CPUtime=0 cores=0-7 /proc/5654/task/5665/stat : 5665 (java) S 5629 5629 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419983173 8616062976 29689 33554432000 4194304 4196468 140732818121760 139866817946400 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5666] ppid=5629 vsize=8414124 memory=4096 CPUtime=0 cores=0-7 /proc/5654/task/5666/stat : 5666 (java) S 5629 5629 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419983173 8616062976 29689 33554432000 4194304 4196468 140732818121760 139866683724912 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5667] ppid=5629 vsize=8414124 memory=7686721470300920728 CPUtime=0 cores=0-7 /proc/5654/task/5667/stat : 5667 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983176 8616062976 29689 33554432000 4194304 4196468 140732818121760 139866309220432 139868260693915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5668] ppid=5629 vsize=8414124 memory=1436 CPUtime=0.05 cores=0-7 /proc/5654/task/5668/stat : 5668 (java) S 5629 5629 3266 0 -1 1077944384 623 0 0 0 5 0 0 0 20 0 24 0 419983176 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867352713840 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5669] ppid=5629 vsize=8414124 memory=812 CPUtime=0.07 cores=0-7 /proc/5654/task/5669/stat : 5669 (java) S 5629 5629 3266 0 -1 1077944384 314 0 0 0 7 0 0 0 20 0 24 0 419983176 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867351661040 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5670] ppid=5629 vsize=8414124 memory=1764 CPUtime=0.09 cores=0-7 /proc/5654/task/5670/stat : 5670 (java) S 5629 5629 3266 0 -1 1077944384 305 0 0 0 9 0 0 0 20 0 24 0 419983176 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867350608752 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5671] ppid=5629 vsize=8414124 memory=111628 CPUtime=0.22 cores=0-7 /proc/5654/task/5671/stat : 5671 (java) S 5629 5629 3266 0 -1 1077944384 1000 0 0 0 22 0 0 0 20 0 24 0 419983176 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867349555952 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5672] ppid=5629 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/5654/task/5672/stat : 5672 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983176 8616062976 29689 33554432000 4194304 4196468 140732818121760 139865811315040 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5673] ppid=5629 vsize=8414124 memory=1804 CPUtime=0.04 cores=0-7 /proc/5654/task/5673/stat : 5673 (java) S 5629 5629 3266 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 24 0 419983176 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867348502832 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5675] ppid=5629 vsize=8414124 memory=916 CPUtime=0 cores=0-7 /proc/5654/task/5675/stat : 5675 (java) S 5629 5629 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419983246 8616062976 29689 33554432000 4194304 4196468 140732818121760 139867690788160 139868260699929 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5677] ppid=5629 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/5654/task/5677/stat : 5677 (java) S 5629 5629 3266 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419983247 8616062976 29689 33554432000 4194304 4196468 140732818121760 139865140215728 139868260697245 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5678] ppid=5629 vsize=8414124 memory=3560 CPUtime=0 cores=0-7 /proc/5654/task/5678/stat : 5678 (java) S 5629 5629 3266 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419983247 8616062976 29689 33554432000 4194304 4196468 140732818121760 139865408651056 139868260697245 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5679] ppid=5629 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/5654/task/5679/stat : 5679 (java) S 5629 5629 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419983249 8616062976 29689 33554432000 4194304 4196468 140732818121760 139864871788336 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 Current children cumulated CPU time: 553.35 s Current children cumulated vsize: 9253840 KiB Current children cumulated memory: 568864 KiB [startup+78.8029 s] /proc/loadavg: 5.93 3.84 3.08 2/218 5712 /proc/meminfo: memFree=30776576/32770624 swapFree=66996988/67108860 [pid=5629] ppid=5626 vsize=113128 memory=1476 CPUtime=20.46 cores=0-7 /proc/5629/stat : 5629 (scop.sh) S 5626 5629 3266 0 -1 4202496 583 35814 0 0 0 0 1982 64 20 0 1 0 419982211 115843072 369 33554432000 4194304 5098028 140732784059872 140732784056616 139887576425084 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10424320 140732784067364 140732784067692 140732784067692 140732784070605 0 /proc/5629/statm: 28282 369 311 221 0 87 0 [pid=5654] ppid=5629 vsize=8414124 memory=120160 CPUtime=1.39 cores=0-7 /proc/5654/stat : 5654 (java) S 5629 5629 3266 0 -1 1077944320 22131 0 0 0 129 10 0 0 20 0 24 0 419983170 8616062976 30040 33554432000 4194304 4196468 140732818121760 140732818104304 139868260675319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 /proc/5654/statm: 2103531 30040 3217 1 0 2064875 0 [pid=5654/tid=5655] ppid=5629 vsize=8414124 memory=8317482817917895235 CPUtime=0.8 cores=0-7 /proc/5654/task/5655/stat : 5655 (java) S 5629 5629 3266 0 -1 1077944384 18057 0 0 0 73 7 0 0 20 0 24 0 419983170 8616062976 30040 33554432000 4194304 4196468 140732818121760 139868232515488 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5656] ppid=5629 vsize=8414124 memory=1060 CPUtime=0 cores=0-7 /proc/5654/task/5656/stat : 5656 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139868264917392 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5657] ppid=5629 vsize=8414124 memory=1548 CPUtime=0 cores=0-7 /proc/5654/task/5657/stat : 5657 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867745323280 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5658] ppid=5629 vsize=8414124 memory=448632 CPUtime=0 cores=0-7 /proc/5654/task/5658/stat : 5658 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867744270992 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5659] ppid=5629 vsize=8414124 memory=1396 CPUtime=0 cores=0-7 /proc/5654/task/5659/stat : 5659 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867743218192 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5660] ppid=5629 vsize=8414124 memory=1914304 CPUtime=0 cores=0-7 /proc/5654/task/5660/stat : 5660 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867742165904 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5661] ppid=5629 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/5654/task/5661/stat : 5661 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867741113104 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5662] ppid=5629 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7 /proc/5654/task/5662/stat : 5662 (java) S 5629 5629 3266 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867740060816 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5663] ppid=5629 vsize=8414124 memory=1060 CPUtime=0 cores=0-7 /proc/5654/task/5663/stat : 5663 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983171 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867739008016 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5664] ppid=5629 vsize=8414124 memory=1548 CPUtime=0 cores=0-7 /proc/5654/task/5664/stat : 5664 (java) S 5629 5629 3266 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419983173 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867353766000 139868260686466 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5665] ppid=5629 vsize=8414124 memory=8560 CPUtime=0 cores=0-7 /proc/5654/task/5665/stat : 5665 (java) S 5629 5629 3266 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419983173 8616062976 30040 33554432000 4194304 4196468 140732818121760 139866817946400 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5666] ppid=5629 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/5654/task/5666/stat : 5666 (java) S 5629 5629 3266 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419983173 8616062976 30040 33554432000 4194304 4196468 140732818121760 139866683724912 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5667] ppid=5629 vsize=8414124 memory=932 CPUtime=0 cores=0-7 /proc/5654/task/5667/stat : 5667 (java) S 5629 5629 3266 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419983176 8616062976 30040 33554432000 4194304 4196468 140732818121760 139866309220432 139868260693915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5668] ppid=5629 vsize=8414124 memory=3624 CPUtime=0.05 cores=0-7 /proc/5654/task/5668/stat : 5668 (java) R 5629 5629 3266 0 -1 4202560 636 0 0 0 5 0 0 0 20 0 24 0 419983176 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867352699920 139868245592608 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5669] ppid=5629 vsize=8414124 memory=1980 CPUtime=0.08 cores=0-7 /proc/5654/task/5669/stat : 5669 (java) S 5629 5629 3266 0 -1 1077944384 390 0 0 0 8 0 0 0 20 0 24 0 419983176 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867351661040 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5670] ppid=5629 vsize=8414124 memory=11960 CPUtime=0.1 cores=0-7 /proc/5654/task/5670/stat : 5670 (java) R 5629 5629 3266 0 -1 4202560 460 0 0 0 10 0 0 0 20 0 24 0 419983176 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867350589656 139868242219042 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5671] ppid=5629 vsize=8414124 memory=500 CPUtime=0.25 cores=0-7 /proc/5654/task/5671/stat : 5671 (java) S 5629 5629 3266 0 -1 1077944384 1177 0 0 0 25 0 0 0 20 0 24 0 419983176 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867349555952 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5672] ppid=5629 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/5654/task/5672/stat : 5672 (java) S 5629 5629 3266 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419983176 8616062976 30040 33554432000 4194304 4196468 140732818121760 139865811315040 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5673] ppid=5629 vsize=8414124 memory=1476 CPUtime=0.04 cores=0-7 /proc/5654/task/5673/stat : 5673 (java) S 5629 5629 3266 0 -1 1077944384 7 0 0 0 1 3 0 0 20 0 24 0 419983176 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867348502832 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5675] ppid=5629 vsize=8414124 memory=117976 CPUtime=0 cores=0-7 /proc/5654/task/5675/stat : 5675 (java) S 5629 5629 3266 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419983246 8616062976 30040 33554432000 4194304 4196468 140732818121760 139867690788160 139868260699929 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5677] ppid=5629 vsize=8414124 memory=450428 CPUtime=0.03 cores=0-7 /proc/5654/task/5677/stat : 5677 (java) R 5629 5629 3266 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 24 0 419983247 8616062976 30040 33554432000 4194304 4196468 140732818121760 139865140219968 139867766412336 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5678] ppid=5629 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/5654/task/5678/stat : 5678 (java) S 5629 5629 3266 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419983247 8616062976 30040 33554432000 4194304 4196468 140732818121760 139865408651056 139868260697245 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5679] ppid=5629 vsize=8414124 memory=117976 CPUtime=0 cores=0-7 /proc/5654/task/5679/stat : 5679 (java) S 5629 5629 3266 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419983249 8616062976 30040 33554432000 4194304 4196468 140732818121760 139864871788336 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 Current children cumulated CPU time: 21.85 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 121636 KiB [startup+78.9049 s] /proc/loadavg: 5.93 3.84 3.08 2/218 5712 /proc/meminfo: memFree=30776576/32770624 swapFree=66996988/67108860 [pid=5629] ppid=5626 vsize=113128 memory=1476 CPUtime=20.46 cores=0-7 /proc/5629/stat : 5629 (scop.sh) S 5626 5629 3266 0 -1 4202496 583 35814 0 0 0 0 1982 64 20 0 1 0 419982211 115843072 369 33554432000 4194304 5098028 140732784059872 140732784056616 139887576425084 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10424320 140732784067364 140732784067692 140732784067692 140732784070605 0 /proc/5629/statm: 28282 369 311 221 0 87 0 [pid=5654] ppid=5629 vsize=8284072 memory=128736 CPUtime=533.61 cores=0-7 /proc/5654/stat : 5654 (java) S 5629 5629 3266 0 -1 1077944320 23156 296100 0 0 152 11 53129 69 20 0 22 0 419983170 8482889728 32119 33554432000 4194304 4196468 140732818121760 140732818104304 139868260675319 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 /proc/5654/statm: 2071018 32184 3225 1 0 2032362 0 [pid=5654/tid=5655] ppid=5629 vsize=8284072 memory=1476 CPUtime=532.85 cores=0-7 /proc/5654/task/5655/stat : 5655 (java) R 5629 5629 3266 0 -1 4202560 18811 296100 0 0 79 8 53129 69 20 0 22 0 419983170 8482889728 32184 33554432000 4194304 4196468 140732818121760 139868232502048 139868253355037 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5656] ppid=5629 vsize=8284072 memory=448632 CPUtime=531.98 cores=0-7 /proc/5654/task/5656/stat : 5656 (java) S 5629 5629 3266 0 -1 1077944384 1 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32250 33554432000 4194304 4196468 140732818121760 139868264917392 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5657] ppid=5629 vsize=8284072 memory=448632 CPUtime=531.98 cores=0-7 /proc/5654/task/5657/stat : 5657 (java) S 5629 5629 3266 0 -1 1077944384 2 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32250 33554432000 4194304 4196468 140732818121760 139867745323280 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5658] ppid=5629 vsize=8284072 memory=118756 CPUtime=531.98 cores=0-7 /proc/5654/task/5658/stat : 5658 (java) S 5629 5629 3266 0 -1 1077944384 2 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32250 33554432000 4194304 4196468 140732818121760 139867744270992 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5659] ppid=5629 vsize=8284072 memory=164 CPUtime=531.98 cores=0-7 /proc/5654/task/5659/stat : 5659 (java) S 5629 5629 3266 0 -1 1077944384 1 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32250 33554432000 4194304 4196468 140732818121760 139867743218192 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5660] ppid=5629 vsize=8284072 memory=450604 CPUtime=531.98 cores=0-7 /proc/5654/task/5660/stat : 5660 (java) S 5629 5629 3266 0 -1 1077944384 2 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32250 33554432000 4194304 4196468 140732818121760 139867742165904 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5661] ppid=5629 vsize=8284072 memory=117976 CPUtime=531.98 cores=0-7 /proc/5654/task/5661/stat : 5661 (java) S 5629 5629 3266 0 -1 1077944384 1 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867741113104 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5662] ppid=5629 vsize=8284072 memory=11960 CPUtime=531.98 cores=0-7 /proc/5654/task/5662/stat : 5662 (java) S 5629 5629 3266 0 -1 1077944384 2 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867740060816 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5663] ppid=5629 vsize=8284072 memory=500 CPUtime=531.98 cores=0-7 /proc/5654/task/5663/stat : 5663 (java) S 5629 5629 3266 0 -1 1077944384 3 296100 0 0 0 0 53129 69 20 0 22 0 419983171 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867739008016 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5664] ppid=5629 vsize=8284072 memory=164 CPUtime=531.98 cores=0-7 /proc/5654/task/5664/stat : 5664 (java) S 5629 5629 3266 0 -1 1077944384 7 296100 0 0 0 0 53129 69 20 0 22 0 419983173 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867353766000 139868260686466 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5665] ppid=5629 vsize=8284072 memory=6370741248460219493 CPUtime=531.98 cores=0-7 /proc/5654/task/5665/stat : 5665 (java) S 5629 5629 3266 0 -1 1077944384 13 296100 0 0 0 0 53129 69 20 0 22 0 419983173 8482889728 32316 33554432000 4194304 4196468 140732818121760 139866817946400 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5666] ppid=5629 vsize=8284072 memory=0 CPUtime=531.98 cores=0-7 /proc/5654/task/5666/stat : 5666 (java) S 5629 5629 3266 0 -1 1077944384 21 296100 0 0 0 0 53129 69 20 0 22 0 419983173 8482889728 32316 33554432000 4194304 4196468 140732818121760 139866683724912 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5667] ppid=5629 vsize=8284072 memory=7309167735352552301 CPUtime=531.98 cores=0-7 /proc/5654/task/5667/stat : 5667 (java) S 5629 5629 3266 0 -1 1077944384 1 296100 0 0 0 0 53129 69 20 0 22 0 419983176 8482889728 32316 33554432000 4194304 4196468 140732818121760 139866309220432 139868260693915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5668] ppid=5629 vsize=8284072 memory=8560 CPUtime=532.05 cores=0-7 /proc/5654/task/5668/stat : 5668 (java) S 5629 5629 3266 0 -1 1077944384 652 296100 0 0 7 0 53129 69 20 0 22 0 419983176 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867352713840 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5669] ppid=5629 vsize=8284072 memory=1668 CPUtime=532.08 cores=0-7 /proc/5654/task/5669/stat : 5669 (java) S 5629 5629 3266 0 -1 1077944384 427 296100 0 0 10 0 53129 69 20 0 22 0 419983176 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867351661040 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5670] ppid=5629 vsize=8284072 memory=448632 CPUtime=532.13 cores=0-7 /proc/5654/task/5670/stat : 5670 (java) S 5629 5629 3266 0 -1 1077944384 537 296100 0 0 15 0 53129 69 20 0 22 0 419983176 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867350608752 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5671] ppid=5629 vsize=8284072 memory=1476 CPUtime=532.27 cores=0-7 /proc/5654/task/5671/stat : 5671 (java) S 5629 5629 3266 0 -1 1077944384 1298 296100 0 0 29 0 53129 69 20 0 22 0 419983176 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867349555952 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5672] ppid=5629 vsize=8284072 memory=0 CPUtime=531.98 cores=0-7 /proc/5654/task/5672/stat : 5672 (java) S 5629 5629 3266 0 -1 1077944384 3 296100 0 0 0 0 53129 69 20 0 22 0 419983176 8482889728 32316 33554432000 4194304 4196468 140732818121760 139865811315040 139868260685525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5673] ppid=5629 vsize=8284072 memory=-5345911727200832470 CPUtime=532.02 cores=0-7 /proc/5654/task/5673/stat : 5673 (java) S 5629 5629 3266 0 -1 1077944384 7 296100 0 0 1 3 53129 69 20 0 22 0 419983176 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867348502832 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5675] ppid=5629 vsize=8284072 memory=288230574492221466 CPUtime=531.98 cores=0-7 /proc/5654/task/5675/stat : 5675 (java) S 5629 5629 3266 0 -1 1077944384 24 296100 0 0 0 0 53129 69 20 0 22 0 419983246 8482889728 32316 33554432000 4194304 4196468 140732818121760 139867690787344 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 [pid=5654/tid=5679] ppid=5629 vsize=8284072 memory=1476 CPUtime=531.98 cores=0-7 /proc/5654/task/5679/stat : 5679 (java) S 5629 5629 3266 0 -1 1077944384 12 296100 0 0 0 0 53129 69 20 0 22 0 419983249 8482889728 32316 33554432000 4194304 4196468 140732818121760 139864871790128 139868260686466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140732818129912 140732818130070 140732818130070 140732818132943 0 Current children cumulated CPU time: 554.07 s Current children cumulated vsize: 8397200 KiB Current children cumulated memory: 130212 KiB Child status: 0 Real time (s): 78.9217 CPU time (s): 554.119 CPU user time (s): 552.651 CPU system time (s): 1.4676 CPU usage (%): 702.112 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 3145820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 552.651 system time used= 1.46761 maximum resident set size= 3147628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 356148 page faults= 0 swaps= 0 block input operations= 0 block output operations= 7112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16154 involuntary context switches= 5855 # summary of solver processes directly reported to runsolver: # pid: 5629 # total CPU time (s): 554.119 # total CPU user time (s): 552.651 # total CPU system time (s): 1.4676 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.732175 second user time and 1.10725 second system time The end
Begin job on node103 at 2019-09-14 07:00:32 IDJOB=4392692 IDBENCH=134620 IDSOLVER=2839 FILE ID=node103/4392692-1568437291 RUNJOBID= node103-1568426882-3293 PBS_JOBID= 21702292 Free space on /tmp= 61720 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-08-ext03.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392692-1568437291/watcher-4392692-1568437291 -o /tmp/evaluation-result-4392692-1568437291/solver-4392692-1568437291 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568426882-3293 --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-4392692-1568437291.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8a5157f08f2f2e597251b23721b8eb7d RANDOM SEED=1672849489 node103.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.74 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.74 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.74 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.74 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: 31333296 kB MemAvailable: 31890328 kB Buffers: 104332 kB Cached: 736248 kB SwapCached: 9120 kB Active: 600276 kB Inactive: 252616 kB Active(anon): 6124 kB Inactive(anon): 47000 kB Active(file): 594152 kB Inactive(file): 205616 kB Unevictable: 111172 kB Mlocked: 111172 kB SwapTotal: 67108860 kB SwapFree: 66996988 kB Dirty: 20836 kB Writeback: 0 kB AnonPages: 114492 kB Mapped: 44756 kB Shmem: 32644 kB Slab: 175332 kB SReclaimable: 146196 kB SUnreclaim: 29136 kB KernelStack: 3408 kB PageTables: 5356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497728 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 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 /tmp at the end= 61700 MiB End job on node103 at 2019-09-14 07:01:51