Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | SAT | 567.623 | 79.3445 |
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-19882-serial-file.bin HOME/instance-4405552-1569354280.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 21:43:58 CEST 2019 0.66/0.56 c PID: 19885 0.66/0.56 c IP: 172.20.3.121 0.66/0.56 c HOST: node121.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.59/0.94 c (0,0) Parsing End 1.59/0.95 c (0,0) CSP: 63 int (0 aux), 1 bool (0 aux), 34 ctr, max domain size 64 1.59/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.59/0.95 c (0,0) Constraint Name Generate Begin 1.59/0.95 c (0,0) Ctr:HOME/instance-4405552-1569354280.xml,AllDifferent:ExtensionSupport:Instantiation:Var 1.59/0.95 c (0,0) Constraint Name Generate End 1.59/0.95 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.59/0.95 c (0,0) CSP to CSPinCNF Begin 3.70/1.63 c (1,1) translated 4 (10%) constraints 6.11/2.25 c (1,1) translated 7 (20%) constraints 7.80/2.72 c (2,2) translated 11 (30%) constraints 8.45/3.04 c (2,2) translated 14 (40%) constraints 8.77/3.34 c (2,2) translated 17 (50%) constraints 9.22/3.74 c (3,3) translated 21 (60%) constraints 9.55/4.04 c (3,3) translated 24 (70%) constraints 9.94/4.44 c (3,3) translated 28 (80%) constraints 10.29/4.74 c (4,4) translated 31 (90%) constraints 10.62/4.95 c (4,4) translated 34 (100%) constraints 10.62/4.95 c (4,4) =========================================== 10.62/5.00 c (4,4) Hybrid: #OE=5895, #LE=3 10.62/5.00 c (4,4) Hybrid 10.62/5.00 c (4,4) =========================================== 12.31/5.49 c (4,4) translated 6228 (10%) constraints 12.89/5.66 c (5,5) translated 12455 (20%) constraints 13.16/5.79 c (5,5) translated 18682 (30%) constraints 13.36/5.93 c (5,5) translated 24909 (40%) constraints 13.51/6.06 c (5,5) translated 31136 (50%) constraints 13.71/6.20 c (5,5) translated 37363 (60%) constraints 13.85/6.34 c (5,5) translated 43590 (70%) constraints 13.95/6.48 c (5,5) translated 49817 (80%) constraints 14.15/6.61 c (6,6) translated 56044 (90%) constraints 14.25/6.75 c (6,6) translated 62271 (100%) constraints 14.25/6.75 c (6,6) CSP to CSPinCNF End 14.25/6.76 c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 70465 ctr, max domain size 32 14.25/6.76 c (6,6) Heap : 1802 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 14.25/6.76 c (6,6) CSPinCNF Propagation Begin 15.41/7.27 c (6,6) 424 values, 2350 unsatisfiable literals, and 2291 valid clauses are removed 15.41/7.27 c (6,6) CSPinCNF Propagation End 15.41/7.27 c (6,6) CSP: 63 int (0 aux), 9931 bool (9930 aux), 68174 ctr, max domain size 32 15.41/7.27 c (6,6) Heap : 2140 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 15.71/7.32 c (6,6) Hybrid: #OE=9991, #LE=3 15.71/7.32 c (6,6) Simplify CSPinCNF Begin 16.27/7.57 c (7,7) Simplify CSPinCNF End 16.27/7.58 c (7,7) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32 16.27/7.58 c (7,7) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 16.27/7.58 c (7,7) Calculate Precise Domain Begin 16.27/7.58 c (7,7) 0 values are removed by re-calculation 16.27/7.58 c (7,7) Calculate Precise Domain End 16.27/7.58 c (7,7) CSP: 63 int (0 aux), 13835 bool (13834 aux), 72078 ctr, max domain size 32 16.27/7.58 c (7,7) Heap : 2252 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 16.27/7.58 c (7,7) CSPinCNF to SatSolver Begin 19.20/8.56 c (8,8) 7208 (10 %) CSP clauses are encoded (0 SAT variables, 111376 SAT clauses) 19.38/8.65 c (8,8) 14416 (20 %) CSP clauses are encoded (0 SAT variables, 118584 SAT clauses) 19.57/8.74 c (8,8) 21624 (30 %) CSP clauses are encoded (0 SAT variables, 125792 SAT clauses) 19.67/8.82 c (8,8) 28832 (40 %) CSP clauses are encoded (0 SAT variables, 133000 SAT clauses) 19.79/8.91 c (8,8) 36039 (50 %) CSP clauses are encoded (0 SAT variables, 140207 SAT clauses) 19.79/8.99 c (8,8) 43247 (60 %) CSP clauses are encoded (0 SAT variables, 147415 SAT clauses) 19.91/9.07 c (8,8) 50455 (70 %) CSP clauses are encoded (0 SAT variables, 154623 SAT clauses) 20.00/9.16 c (8,8) 57663 (80 %) CSP clauses are encoded (0 SAT variables, 161831 SAT clauses) 20.10/9.24 c (8,8) 64871 (90 %) CSP clauses are encoded (0 SAT variables, 169039 SAT clauses) 20.20/9.32 c (8,8) 72078 (100 %) CSP clauses are encoded (0 SAT variables, 176246 SAT clauses) 20.20/9.32 c (8,8) CSPinCNF to SatSolver End 20.20/9.32 c (8,8) Heap : 3153 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB) 20.20/9.32 c (8,8) 15207 bool, 176247 clause 20.20/9.32 c (8,8) Export Begin 20.38/9.44 c (8,8) Export to HOME/scop-19882-serial-file.bin 20.38/9.44 c (8,8) Export End 20.38/9.44 c (8,8) Export File Size: 0.06 MB 20.38/9.44 c (8,8) 0,0,6,6,7,7,8,STOP-AFTER(DIMACS) 20.38/9.44 c END-Prog: Tue Sep 24 21:44:06 CEST 2019 20.38/9.48 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19882-serial-file.bin 20.53/9.94 c (0,0) Read Serial File Begin 20.53/9.94 c (0,0) HOME/scop-19882-serial-file.bin 21.49/10.21 c (0,0) Read Serial File End 21.49/10.23 21.49/10.23 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 21.49/10.23 (Solving Process) 21.49/10.23 21.49/10.25 c BEGIN-Prog: Tue Sep 24 21:44:07 CEST 2019 21.49/10.25 c PID: 19905 21.49/10.25 c IP: 172.20.3.121 21.49/10.25 c HOST: node121.alineos.net 21.49/10.25 c (0,0) SatSolver.solve Begin 21.49/10.25 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405552-1569354280.xml-scop-19885.cnf 21.49/10.28 c (0,0) c 21.49/10.28 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.49/10.28 c (0,0) c 21.49/10.28 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 21.49/10.28 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 21.49/10.28 c (0,0) c ========================================[ Problem Statistics ]=========================================== 21.49/10.28 c (0,0) c | | 21.72/10.33 c (0,0) c | Number of variables: 15207 | 21.72/10.33 c (0,0) c | Number of clauses: 176038 | 21.72/10.33 c (0,0) c | Parse time: 0.05 s | 21.72/10.33 c (0,0) c | | 21.78/10.47 c (0,0) c | Simplification time: 0.14 s | 21.78/10.47 c (0,0) c | | 21.78/10.47 c (0,0) c | Generating clones | 21.78/10.53 c (0,0) c | all clones generated. Memory = 138.25Mb. | 21.78/10.53 c (0,0) c ========================================================================================================| 21.78/10.53 c (0,0) c 21.78/10.53 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 21.78/10.53 c (0,0) c 21.78/10.53 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.78/10.53 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 21.78/10.53 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 21.78/10.53 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 21.78/10.53 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 21.78/10.53 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 21.78/10.53 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 21.78/10.53 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 21.78/10.53 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 21.78/10.53 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 21.78/10.53 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 21.78/10.53 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 21.78/10.53 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 21.78/10.53 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 21.78/10.53 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 21.78/10.53 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 21.78/10.53 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 21.78/10.53 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 21.78/10.53 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 260.90/40.53 c (30,0) c 260.90/40.53 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 260.90/40.53 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 260.90/40.53 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 260.90/40.53 c (30,0) c | 0 | 843 | 477560 | 135710 | 131376 | 44340 | 19562 | 129202 | 9713 | 244 | 20 | 12.553 | 260.90/40.53 c (30,0) c | 1 | 739 | 468590 | 130455 | 130319 | 39107 | 18843 | 125049 | 9254 | 233 | 20 | 12.494 | 260.90/40.53 c (30,0) c | 2 | 805 | 482417 | 138060 | 132010 | 23901 | 19906 | 129655 | 9779 | 246 | 20 | 12.560 | 260.90/40.53 c (30,0) c | 3 | 820 | 486870 | 139955 | 131606 | 25784 | 19936 | 131829 | 10131 | 251 | 20 | 12.560 | 260.90/40.53 c (30,0) c | 4 | 815 | 496349 | 139489 | 131902 | 25331 | 19895 | 131739 | 10034 | 251 | 20 | 12.560 | 260.90/40.53 c (30,0) c | 5 | 753 | 468300 | 133753 | 130446 | 42382 | 19404 | 127980 | 9591 | 241 | 20 | 12.553 | 260.90/40.53 c (30,0) c | 6 | 816 | 499789 | 140535 | 132150 | 26370 | 19711 | 132737 | 10075 | 253 | 20 | 12.560 | 260.90/40.53 c (30,0) c | 7 | 832 | 482964 | 138829 | 131232 | 24669 | 19939 | 131224 | 9975 | 250 | 20 | 12.560 | 260.90/40.53 c (30,0) c 260.90/40.53 c (30,0) c synthesis 1096787 conflicts 664190321 propagations 4593 conflicts/sec 2781156 propagations/sec 260.90/40.53 c (30,0) c real: 30.2464 s, cpu: 238.818 s, memory: 709.56 Mb 490.42/69.53 c (59,0) c 490.42/69.53 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 490.42/69.53 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 490.42/69.53 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 490.42/69.53 c (59,0) c | 0 | 1527 | 838719 | 241402 | 145093 | 43239 | 29879 | 204506 | 17603 | 470 | 20 | 12.593 | 490.42/69.53 c (59,0) c | 1 | 1478 | 828802 | 235872 | 144775 | 37700 | 29263 | 201855 | 17411 | 459 | 20 | 12.593 | 490.42/69.53 c (59,0) c | 2 | 1500 | 853992 | 245291 | 145452 | 47138 | 30642 | 206103 | 17766 | 476 | 20 | 12.600 | 490.42/69.53 c (59,0) c | 3 | 1565 | 860041 | 245175 | 145222 | 47009 | 30235 | 206525 | 18047 | 477 | 20 | 12.593 | 490.42/69.53 c (59,0) c | 4 | 1470 | 857817 | 244426 | 145244 | 46247 | 30435 | 205033 | 17979 | 472 | 20 | 12.593 | 490.42/69.53 c (59,0) c | 5 | 1413 | 824205 | 234922 | 144353 | 36761 | 29866 | 200590 | 17301 | 457 | 20 | 12.593 | 490.42/69.53 c (59,0) c | 6 | 1509 | 838970 | 242047 | 144963 | 43878 | 29851 | 204908 | 17703 | 470 | 20 | 12.593 | 490.42/69.53 c (59,0) c | 7 | 1490 | 830887 | 240854 | 144928 | 42700 | 29873 | 203321 | 17618 | 465 | 20 | 12.593 | 490.42/69.53 c (59,0) c 490.42/69.53 c (59,0) c synthesis 1929991 conflicts 1202988295 propagations 4123 conflicts/sec 2569989 propagations/sec 490.42/69.53 c (59,0) c real: 59.2514 s, cpu: 468.091 s, memory: 709.56 Mb 567.00/79.20 c (69,0) c 567.00/79.20 c (69,0) c real time : 68.9207 s 567.00/79.20 c (69,0) c cpu time : 544.654 s 567.00/79.20 c (69,0) c 567.00/79.20 c (69,0) c 567.00/79.20 c (69,0) c 567.00/79.20 c (69,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 567.00/79.20 c (69,0) c 567.00/79.20 c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.00/79.20 c (69,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 567.00/79.20 c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.00/79.20 c (69,0) c | Conflicts | 2193711 | 274155 | 268584 | 278620 | 277991 | 278066 | 266433 | 274819 | 275043 | 567.00/79.20 c (69,0) c | Decisions | 7633623 | 947204 | 939610 | 966890 | 975774 | 974763 | 927346 | 954244 | 947792 | 567.00/79.20 c (69,0) c | Propagations | 1373476775 | 172027109 | 168294616 | 174135073 | 173957946 | 173464804 | 168299681 | 171828895 | 171468651 | 567.00/79.20 c (69,0) c | ReduceDBs | 112 | 14 | 14 | 14 | 14 | 14 | 14 | 14 | 14 | 567.00/79.20 c (69,0) c | SimpDBs | 339 | 43 | 42 | 42 | 42 | 42 | 41 | 43 | 44 | 567.00/79.20 c (69,0) c | Restarts | 13691 | 1739 | 1698 | 1732 | 1767 | 1682 | 1648 | 1714 | 1711 | 567.00/79.20 c (69,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 567.00/79.20 c (69,0) c | PropBinClauses| 1624152405 | 203460471 | 199027646 | 205933300 | 205934095 | 205215551 | 198627651 | 203188823 | 202764868 | 567.00/79.20 c (69,0) c | PropPreBlocker| 17674009016 | 2214778430 | 2168720696 | 2243956673 | 2237153336 | 2229263698 | 2164956702 | 2211088697 | 2204090784 | 567.00/79.20 c (69,0) c | PropNotBlocker| 3782858254 | 474584336 | 466810174 | 479636295 | 478764745 | 478306672 | 463695904 | 471834907 | 469225221 | 567.00/79.20 c (69,0) c | LitFullScans | 26090773403 | 3270165343 | 3204660371 | 3312091068 | 3302416237 | 3294137618 | 3192086012 | 3263090694 | 3252126060 | 567.00/79.20 c (69,0) c | LitScanFracts | 1162762 | 161071 | 371728 | 83220 | 88502 | 131576 | 102263 | 104804 | 119598 | 567.00/79.20 c (69,0) c | DecisionLevel0| 13807 | 1758 | 1714 | 1743 | 1777 | 1696 | 1663 | 1727 | 1729 | 567.00/79.20 c (69,0) c | Periods | 4346 | 545 | 534 | 552 | 550 | 549 | 531 | 543 | 542 | 567.00/79.20 c (69,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 567.00/79.20 c (69,0) c | Avg_Trail | | 7917 | 7916 | 7904 | 7897 | 7870 | 7973 | 7922 | 7911 | 567.00/79.20 c (69,0) c | Avg_DL | | 51 | 52 | 53 | 53 | 52 | 52 | 53 | 53 | 567.00/79.20 c (69,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 567.00/79.20 c (69,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 567.00/79.20 c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.00/79.20 c (69,0) c | Exported | 264407 | 32872 | 32249 | 33717 | 33227 | 33573 | 32897 | 32980 | 32892 | 567.00/79.20 c (69,0) c | Imported | 1804131 | 225945 | 223321 | 227361 | 227707 | 226848 | 222023 | 225976 | 224950 | 567.00/79.20 c (69,0) c | Good | 14494 | 1796 | 1766 | 1803 | 1856 | 1853 | 1790 | 1808 | 1822 | 567.00/79.20 c (69,0) c | Purge | 1789637 | 224149 | 221555 | 225558 | 225851 | 224995 | 220233 | 224168 | 223128 | 567.00/79.20 c (69,0) c | Promoted | 160629 | 20014 | 19829 | 20147 | 20420 | 20391 | 19701 | 20119 | 20008 | 567.00/79.20 c (69,0) c | Remove_Imp | 1208195 | 151235 | 152044 | 150542 | 150942 | 150028 | 152177 | 151390 | 149837 | 567.00/79.20 c (69,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 567.00/79.20 c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.00/79.20 c (69,0) c | Unaries | | 19 | 16 | 11 | 10 | 14 | 15 | 13 | 18 | 567.00/79.20 c (69,0) c | Binaries | | 277 | 272 | 304 | 250 | 267 | 248 | 261 | 262 | 567.00/79.20 c (69,0) c | Glues | | 4185 | 4219 | 4393 | 4160 | 4171 | 4107 | 4117 | 4038 | 567.00/79.20 c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.00/79.20 c (69,0) c | Orig_Seen | 87 % | 147703 | 147495 | 148046 | 147707 | 148041 | 146958 | 147615 | 147646 | 567.00/79.20 c (69,0) c | Diff Orig seen| | 745 | 537 | 1088 | 749 | 1083 | X | 657 | 688 | 567.00/79.20 c (69,0) c | Hamming | 19 % | 2934 | 2692 | 3146 | 2863 | 3012 | X | 2826 | 2935 | 567.00/79.20 c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.00/79.20 c (69,0) c | RunningTime | | 68.5 100%| 68.5 100%| 68.4 100%| 67.6 99%| 67.9 99%| 68.4 100%| 68.2 99%| 68.5 100%| 567.00/79.20 c (69,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.1 0%| 0.9 1%| 0.5 1%| 0.0 0%| 0.3 0%| 0.0 0%| 567.00/79.20 c (69,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%| 567.00/79.20 c (69,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%| 567.00/79.20 c (69,0) c | SolvingTime | | 68.6 | 68.6 | 68.6 | 68.6 | 68.6 | 68.6 | 68.6 | 68.6 | 567.00/79.20 c (69,0) c | PropagationTim| | 61.2 89%| 61.1 89%| 60.9 89%| 60.9 89%| 61.0 89%| 61.0 89%| 60.7 89%| 61.0 89%| 567.00/79.20 c (69,0) c | AnalysisTime | | 3.7 5%| 3.6 5%| 3.9 6%| 3.8 6%| 3.7 5%| 3.7 5%| 4.0 6%| 3.8 6%| 567.00/79.20 c (69,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%| 567.00/79.20 c (69,0) c | SimplifyTime | | 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 567.00/79.20 c (69,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%| 567.00/79.20 c (69,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%| 567.00/79.20 c (69,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.00/79.20 c (69,0) c 567.00/79.20 c (69,0) c 567.00/79.20 c (69,0) c Threads : 8 567.00/79.20 c (69,0) c Winner : 5 567.00/79.20 c (69,0) c Conflicts_0 : 274155 567.00/79.20 c (69,0) c Conflicts_1 : 268584 567.00/79.20 c (69,0) c Conflicts_2 : 278620 567.00/79.20 c (69,0) c Conflicts_3 : 277991 567.00/79.20 c (69,0) c Conflicts_4 : 278066 567.00/79.20 c (69,0) c Conflicts_5 : 266433 567.00/79.20 c (69,0) c Conflicts_6 : 274819 567.00/79.20 c (69,0) c Conflicts_7 : 275043 567.00/79.20 c (69,0) c Conflicts_total : 2193711 567.00/79.20 c (69,0) c Conflicts_winner : 266433 567.00/79.20 c (69,0) c Decisions_0 : 947204 567.00/79.20 c (69,0) c Decisions_1 : 939610 567.00/79.20 c (69,0) c Decisions_2 : 966890 567.00/79.20 c (69,0) c Decisions_3 : 975774 567.00/79.20 c (69,0) c Decisions_4 : 974763 567.00/79.20 c (69,0) c Decisions_5 : 927346 567.00/79.20 c (69,0) c Decisions_6 : 954244 567.00/79.20 c (69,0) c Decisions_7 : 947792 567.00/79.20 c (69,0) c Decisions_total : 7633623 567.00/79.20 c (69,0) c Decisions_winner : 927346 567.00/79.20 c (69,0) c Propagations_0 : 172027109 567.00/79.20 c (69,0) c Propagations_1 : 168294616 567.00/79.20 c (69,0) c Propagations_2 : 174135073 567.00/79.20 c (69,0) c Propagations_3 : 173957946 567.00/79.20 c (69,0) c Propagations_4 : 173464804 567.00/79.20 c (69,0) c Propagations_5 : 168299681 567.00/79.20 c (69,0) c Propagations_6 : 171828895 567.00/79.20 c (69,0) c Propagations_7 : 171468651 567.00/79.20 c (69,0) c Propagations_total : 1373476775 567.00/79.20 c (69,0) c Propagations_winner : 168299681 567.00/79.20 c (69,0) c ReduceDBs_0 : 14 567.00/79.20 c (69,0) c ReduceDBs_1 : 14 567.00/79.20 c (69,0) c ReduceDBs_2 : 14 567.00/79.20 c (69,0) c ReduceDBs_3 : 14 567.00/79.20 c (69,0) c ReduceDBs_4 : 14 567.00/79.20 c (69,0) c ReduceDBs_5 : 14 567.00/79.20 c (69,0) c ReduceDBs_6 : 14 567.00/79.20 c (69,0) c ReduceDBs_7 : 14 567.00/79.20 c (69,0) c ReduceDBs_total : 112 567.00/79.20 c (69,0) c ReduceDBs_winner : 14 567.00/79.20 c (69,0) c SimpDBs_0 : 43 567.00/79.20 c (69,0) c SimpDBs_1 : 42 567.00/79.20 c (69,0) c SimpDBs_2 : 42 567.00/79.20 c (69,0) c SimpDBs_3 : 42 567.00/79.20 c (69,0) c SimpDBs_4 : 42 567.00/79.20 c (69,0) c SimpDBs_5 : 41 567.00/79.20 c (69,0) c SimpDBs_6 : 43 567.00/79.20 c (69,0) c SimpDBs_7 : 44 567.00/79.20 c (69,0) c SimpDBs_total : 339 567.24/79.20 c (69,0) c SimpDBs_winner : 41 567.24/79.20 c (69,0) c Restarts_0 : 1739 567.24/79.20 c (69,0) c Restarts_1 : 1698 567.24/79.20 c (69,0) c Restarts_2 : 1732 567.24/79.20 c (69,0) c Restarts_3 : 1767 567.24/79.20 c (69,0) c Restarts_4 : 1682 567.24/79.20 c (69,0) c Restarts_5 : 1648 567.24/79.20 c (69,0) c Restarts_6 : 1714 567.24/79.20 c (69,0) c Restarts_7 : 1711 567.24/79.20 c (69,0) c Restarts_total : 13691 567.24/79.20 c (69,0) c Restarts_winner : 1648 567.24/79.20 c (69,0) c ForcedImports_0 : 0 567.24/79.20 c (69,0) c ForcedImports_1 : 0 567.24/79.20 c (69,0) c ForcedImports_2 : 0 567.24/79.20 c (69,0) c ForcedImports_3 : 0 567.24/79.20 c (69,0) c ForcedImports_4 : 0 567.24/79.20 c (69,0) c ForcedImports_5 : 0 567.24/79.20 c (69,0) c ForcedImports_6 : 0 567.24/79.20 c (69,0) c ForcedImports_7 : 0 567.24/79.20 c (69,0) c ForcedImports_total : 0 567.24/79.20 c (69,0) c ForcedImports_winner : 0 567.24/79.20 c (69,0) c PropsBinClauses_0 : 203460471 567.24/79.20 c (69,0) c PropsBinClauses_1 : 199027646 567.24/79.20 c (69,0) c PropsBinClauses_2 : 205933300 567.24/79.20 c (69,0) c PropsBinClauses_3 : 205934095 567.24/79.20 c (69,0) c PropsBinClauses_4 : 205215551 567.24/79.20 c (69,0) c PropsBinClauses_5 : 198627651 567.24/79.20 c (69,0) c PropsBinClauses_6 : 203188823 567.24/79.20 c (69,0) c PropsBinClauses_7 : 202764868 567.24/79.20 c (69,0) c PropsBinClauses_total : 1624152405 567.24/79.20 c (69,0) c PropsBinClauses_winner : 198627651 567.24/79.20 c (69,0) c PropsPreBlocker_0 : 2214778430 567.24/79.20 c (69,0) c PropsPreBlocker_1 : 2168720696 567.24/79.20 c (69,0) c PropsPreBlocker_2 : 2243956673 567.24/79.20 c (69,0) c PropsPreBlocker_3 : 2237153336 567.24/79.20 c (69,0) c PropsPreBlocker_4 : 2229263698 567.24/79.20 c (69,0) c PropsPreBlocker_5 : 2164956702 567.24/79.20 c (69,0) c PropsPreBlocker_6 : 2211088697 567.24/79.20 c (69,0) c PropsPreBlocker_7 : 2204090784 567.24/79.20 c (69,0) c PropsPreBlocker_total : 17674009016 567.24/79.20 c (69,0) c PropsPreBlocker_winner : 2164956702 567.24/79.20 c (69,0) c PropsNotBlocker_0 : 474584336 567.24/79.20 c (69,0) c PropsNotBlocker_1 : 466810174 567.24/79.20 c (69,0) c PropsNotBlocker_2 : 479636295 567.24/79.20 c (69,0) c PropsNotBlocker_3 : 478764745 567.24/79.20 c (69,0) c PropsNotBlocker_4 : 478306672 567.24/79.20 c (69,0) c PropsNotBlocker_5 : 463695904 567.24/79.20 c (69,0) c PropsNotBlocker_6 : 471834907 567.24/79.20 c (69,0) c PropsNotBlocker_7 : 469225221 567.24/79.20 c (69,0) c PropsNotBlocker_total : 3782858254 567.24/79.20 c (69,0) c PropsNotBlocker_winner : 463695904 567.24/79.20 c (69,0) c PropsLitFullScans_0 : 3270165343 567.24/79.20 c (69,0) c PropsLitFullScans_1 : 3204660371 567.24/79.20 c (69,0) c PropsLitFullScans_2 : 3312091068 567.24/79.20 c (69,0) c PropsLitFullScans_3 : 3302416237 567.24/79.20 c (69,0) c PropsLitFullScans_4 : 3294137618 567.24/79.20 c (69,0) c PropsLitFullScans_5 : 3192086012 567.24/79.20 c (69,0) c PropsLitFullScans_6 : 3263090694 567.24/79.20 c (69,0) c PropsLitFullScans_7 : 3252126060 567.24/79.20 c (69,0) c PropsLitFullScans_total : 26090773403 567.24/79.20 c (69,0) c PropsLitFullScans_winner : 3192086012 567.24/79.20 c (69,0) c LitScanFractions_0 : 161071 567.24/79.20 c (69,0) c LitScanFractions_1 : 371728 567.24/79.20 c (69,0) c LitScanFractions_2 : 83220 567.24/79.20 c (69,0) c LitScanFractions_3 : 88502 567.24/79.20 c (69,0) c LitScanFractions_4 : 131576 567.24/79.20 c (69,0) c LitScanFractions_5 : 102263 567.24/79.20 c (69,0) c LitScanFractions_6 : 104804 567.24/79.20 c (69,0) c LitScanFractions_7 : 119598 567.24/79.20 c (69,0) c LitScanFractions_total : 1162762 567.24/79.20 c (69,0) c LitScanFractions_winner : 102263 567.24/79.20 c (69,0) c DecisionLevel0_0 : 1758 567.24/79.20 c (69,0) c DecisionLevel0_1 : 1714 567.24/79.20 c (69,0) c DecisionLevel0_2 : 1743 567.24/79.20 c (69,0) c DecisionLevel0_3 : 1777 567.24/79.20 c (69,0) c DecisionLevel0_4 : 1696 567.24/79.20 c (69,0) c DecisionLevel0_5 : 1663 567.24/79.20 c (69,0) c DecisionLevel0_6 : 1727 567.24/79.20 c (69,0) c DecisionLevel0_7 : 1729 567.24/79.20 c (69,0) c DecisionLevel0_total : 13807 567.24/79.20 c (69,0) c DecisionLevel0_winner : 1663 567.24/79.20 c (69,0) c Periods_0 : 545 567.24/79.20 c (69,0) c Periods_1 : 534 567.24/79.20 c (69,0) c Periods_2 : 552 567.24/79.20 c (69,0) c Periods_3 : 550 567.24/79.20 c (69,0) c Periods_4 : 549 567.24/79.20 c (69,0) c Periods_5 : 531 567.24/79.20 c (69,0) c Periods_6 : 543 567.24/79.20 c (69,0) c Periods_7 : 542 567.24/79.20 c (69,0) c Periods_total : 4346 567.24/79.20 c (69,0) c Periods_winner : 531 567.24/79.20 c (69,0) c Margin_0 : 20 567.24/79.20 c (69,0) c Margin_1 : 20 567.24/79.20 c (69,0) c Margin_2 : 20 567.24/79.20 c (69,0) c Margin_3 : 20 567.24/79.20 c (69,0) c Margin_4 : 20 567.24/79.20 c (69,0) c Margin_5 : 20 567.24/79.20 c (69,0) c Margin_6 : 20 567.24/79.20 c (69,0) c Margin_7 : 20 567.24/79.20 c (69,0) c Margin_total : 160 567.24/79.20 c (69,0) c Margin_winner : 20 567.24/79.20 c (69,0) c Exported_0 : 32872 567.24/79.20 c (69,0) c Exported_1 : 32249 567.24/79.20 c (69,0) c Exported_2 : 33717 567.24/79.20 c (69,0) c Exported_3 : 33227 567.24/79.20 c (69,0) c Exported_4 : 33573 567.24/79.20 c (69,0) c Exported_5 : 32897 567.24/79.20 c (69,0) c Exported_6 : 32980 567.24/79.20 c (69,0) c Exported_7 : 32892 567.24/79.20 c (69,0) c Exported_total : 264407 567.24/79.20 c (69,0) c Exported_winner : 32897 567.24/79.20 c (69,0) c Imported_0 : 225945 567.24/79.20 c (69,0) c Imported_1 : 223321 567.24/79.20 c (69,0) c Imported_2 : 227361 567.24/79.20 c (69,0) c Imported_3 : 227707 567.24/79.20 c (69,0) c Imported_4 : 226848 567.24/79.20 c (69,0) c Imported_5 : 222023 567.24/79.20 c (69,0) c Imported_6 : 225976 567.24/79.20 c (69,0) c Imported_7 : 224950 567.24/79.20 c (69,0) c Imported_total : 1804131 567.24/79.20 c (69,0) c Imported_winner : 222023 567.24/79.20 c (69,0) c Good_0 : 1796 567.24/79.21 c (69,0) c Good_1 : 1766 567.24/79.21 c (69,0) c Good_2 : 1803 567.24/79.21 c (69,0) c Good_3 : 1856 567.24/79.21 c (69,0) c Good_4 : 1853 567.24/79.21 c (69,0) c Good_5 : 1790 567.24/79.21 c (69,0) c Good_6 : 1808 567.24/79.21 c (69,0) c Good_7 : 1822 567.24/79.21 c (69,0) c Good_total : 14494 567.24/79.21 c (69,0) c Good_winner : 1790 567.24/79.21 c (69,0) c Purge_0 : 224149 567.24/79.21 c (69,0) c Purge_1 : 221555 567.24/79.21 c (69,0) c Purge_2 : 225558 567.24/79.21 c (69,0) c Purge_3 : 225851 567.24/79.21 c (69,0) c Purge_4 : 224995 567.24/79.21 c (69,0) c Purge_5 : 220233 567.24/79.21 c (69,0) c Purge_6 : 224168 567.24/79.21 c (69,0) c Purge_7 : 223128 567.24/79.21 c (69,0) c Purge_total : 1789637 567.24/79.21 c (69,0) c Purge_winner : 220233 567.24/79.21 c (69,0) c Promoted_0 : 20014 567.24/79.21 c (69,0) c Promoted_1 : 19829 567.24/79.21 c (69,0) c Promoted_2 : 20147 567.24/79.21 c (69,0) c Promoted_3 : 20420 567.24/79.21 c (69,0) c Promoted_4 : 20391 567.24/79.21 c (69,0) c Promoted_5 : 19701 567.24/79.21 c (69,0) c Promoted_6 : 20119 567.24/79.21 c (69,0) c Promoted_7 : 20008 567.24/79.21 c (69,0) c Promoted_total : 160629 567.24/79.21 c (69,0) c Promoted_winner : 19701 567.24/79.21 c (69,0) c Remove_Imp_0 : 151235 567.24/79.21 c (69,0) c Remove_Imp_1 : 152044 567.24/79.21 c (69,0) c Remove_Imp_2 : 150542 567.24/79.21 c (69,0) c Remove_Imp_3 : 150942 567.24/79.21 c (69,0) c Remove_Imp_4 : 150028 567.24/79.21 c (69,0) c Remove_Imp_5 : 152177 567.24/79.21 c (69,0) c Remove_Imp_6 : 151390 567.24/79.21 c (69,0) c Remove_Imp_7 : 149837 567.24/79.21 c (69,0) c Remove_Imp_total : 1208195 567.24/79.21 c (69,0) c Remove_Imp_winner : 152177 567.24/79.21 c (69,0) c Blocked_Reuse_0 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_1 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_2 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_3 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_4 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_5 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_6 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_7 : 0 567.24/79.21 c (69,0) c Blocked_Reuse_total : 0 567.24/79.21 c (69,0) c Blocked_Reuse_winner : 0 567.24/79.21 c (69,0) c Unaries_0 : 19 567.24/79.21 c (69,0) c Unaries_1 : 16 567.24/79.21 c (69,0) c Unaries_2 : 11 567.24/79.21 c (69,0) c Unaries_3 : 10 567.24/79.21 c (69,0) c Unaries_4 : 14 567.24/79.21 c (69,0) c Unaries_5 : 15 567.24/79.21 c (69,0) c Unaries_6 : 13 567.24/79.21 c (69,0) c Unaries_7 : 18 567.24/79.21 c (69,0) c Unaries_total : 116 567.24/79.21 c (69,0) c Unaries_winner : 15 567.24/79.21 c (69,0) c Binaries_0 : 277 567.24/79.21 c (69,0) c Binaries_1 : 272 567.24/79.21 c (69,0) c Binaries_2 : 304 567.24/79.21 c (69,0) c Binaries_3 : 250 567.24/79.21 c (69,0) c Binaries_4 : 267 567.24/79.21 c (69,0) c Binaries_5 : 248 567.24/79.21 c (69,0) c Binaries_6 : 261 567.24/79.21 c (69,0) c Binaries_7 : 262 567.24/79.21 c (69,0) c Binaries_total : 2141 567.24/79.21 c (69,0) c Binaries_winner : 248 567.24/79.21 c (69,0) c Glues_0 : 4185 567.24/79.21 c (69,0) c Glues_1 : 4219 567.24/79.21 c (69,0) c Glues_2 : 4393 567.24/79.21 c (69,0) c Glues_3 : 4160 567.24/79.21 c (69,0) c Glues_4 : 4171 567.24/79.21 c (69,0) c Glues_5 : 4107 567.24/79.21 c (69,0) c Glues_6 : 4117 567.24/79.21 c (69,0) c Glues_7 : 4038 567.24/79.21 c (69,0) c Glues_total : 33390 567.24/79.21 c (69,0) c Glues_winner : 4107 567.24/79.21 c (69,0) c RunningTime_0 : 68.524667 567.24/79.21 c (69,0) c RunningTime_1 : 68.463492 567.24/79.21 c (69,0) c RunningTime_2 : 68.448590 567.24/79.21 c (69,0) c RunningTime_3 : 67.613586 567.24/79.21 c (69,0) c RunningTime_4 : 67.918510 567.24/79.21 c (69,0) c RunningTime_5 : 68.449844 567.24/79.21 c (69,0) c RunningTime_6 : 68.164608 567.24/79.21 c (69,0) c RunningTime_7 : 68.516425 567.24/79.21 c (69,0) c RunningTime_total : 546.099722 567.24/79.21 c (69,0) c RunningTime_winner : 68.449844 567.24/79.21 c (69,0) c WaitingTime_0 : 0.000790 567.24/79.21 c (69,0) c WaitingTime_1 : 0.000685 567.24/79.21 c (69,0) c WaitingTime_2 : 0.054787 567.24/79.21 c (69,0) c WaitingTime_3 : 0.856713 567.24/79.21 c (69,0) c WaitingTime_4 : 0.541283 567.24/79.21 c (69,0) c WaitingTime_5 : 0.000686 567.24/79.21 c (69,0) c WaitingTime_6 : 0.292319 567.24/79.21 c (69,0) c WaitingTime_7 : 0.018375 567.24/79.21 c (69,0) c WaitingTime_total : 1.765638 567.24/79.21 c (69,0) c WaitingTime_winner : 0.000686 567.24/79.21 c (69,0) c ExchangingTime_0 : 0.086900 567.24/79.21 c (69,0) c ExchangingTime_1 : 0.086742 567.24/79.21 c (69,0) c ExchangingTime_2 : 0.092137 567.24/79.21 c (69,0) c ExchangingTime_3 : 0.088601 567.24/79.21 c (69,0) c ExchangingTime_4 : 0.094984 567.24/79.21 c (69,0) c ExchangingTime_5 : 0.096546 567.24/79.21 c (69,0) c ExchangingTime_6 : 0.096726 567.24/79.21 c (69,0) c ExchangingTime_7 : 0.098870 567.24/79.21 c (69,0) c ExchangingTime_total : 0.741505 567.24/79.21 c (69,0) c ExchangingTime_winner : 0.096546 567.24/79.21 c (69,0) c PeriodProcTime_0 : 0.004280 567.24/79.21 c (69,0) c PeriodProcTime_1 : 0.003996 567.24/79.21 c (69,0) c PeriodProcTime_2 : 0.004328 567.24/79.21 c (69,0) c PeriodProcTime_3 : 0.004657 567.24/79.21 c (69,0) c PeriodProcTime_4 : 0.004493 567.24/79.21 c (69,0) c PeriodProcTime_5 : 0.004948 567.24/79.21 c (69,0) c PeriodProcTime_6 : 0.004467 567.24/79.21 c (69,0) c PeriodProcTime_7 : 0.004366 567.24/79.21 c (69,0) c PeriodProcTime_total : 0.035535 567.24/79.21 c (69,0) c PeriodProcTime_winner : 0.004948 567.24/79.21 c (69,0) c SolvingTime_0 : 68.616636 567.24/79.21 c (69,0) c SolvingTime_1 : 68.554916 567.24/79.21 c (69,0) c SolvingTime_2 : 68.599842 567.24/79.21 c (69,0) c SolvingTime_3 : 68.563557 567.24/79.21 c (69,0) c SolvingTime_4 : 68.559270 567.24/79.21 c (69,0) c SolvingTime_5 : 68.552024 567.24/79.21 c (69,0) c SolvingTime_6 : 68.558120 567.24/79.21 c (69,0) c SolvingTime_7 : 68.638036 567.24/79.21 c (69,0) c SolvingTime_total : 548.642401 567.24/79.21 c (69,0) c SolvingTime_winner : 68.552024 567.24/79.21 c (69,0) c PropagationTime_0 : 61.192618 567.24/79.21 c (69,0) c PropagationTime_1 : 61.127274 567.24/79.21 c (69,0) c PropagationTime_2 : 60.915783 567.24/79.21 c (69,0) c PropagationTime_3 : 60.932379 567.24/79.21 c (69,0) c PropagationTime_4 : 61.037285 567.24/79.21 c (69,0) c PropagationTime_5 : 61.000478 567.24/79.21 c (69,0) c PropagationTime_6 : 60.716917 567.24/79.21 c (69,0) c PropagationTime_7 : 61.015989 567.24/79.21 c (69,0) c PropagationTime_total : 487.938723 567.24/79.21 c (69,0) c PropagationTime_winner : 61.000478 567.24/79.21 c (69,0) c AnalysisTime_0 : 3.697639 567.24/79.21 c (69,0) c AnalysisTime_1 : 3.630763 567.24/79.21 c (69,0) c AnalysisTime_2 : 3.948361 567.24/79.21 c (69,0) c AnalysisTime_3 : 3.842200 567.24/79.21 c (69,0) c AnalysisTime_4 : 3.711501 567.24/79.21 c (69,0) c AnalysisTime_5 : 3.715418 567.24/79.21 c (69,0) c AnalysisTime_6 : 4.003415 567.24/79.21 c (69,0) c AnalysisTime_7 : 3.814213 567.24/79.21 c (69,0) c AnalysisTime_total : 30.363510 567.24/79.21 c (69,0) c AnalysisTime_winner : 3.715418 567.24/79.21 c (69,0) c ReductionTime_0 : 0.588529 567.24/79.21 c (69,0) c ReductionTime_1 : 0.584530 567.24/79.21 c (69,0) c ReductionTime_2 : 0.606031 567.24/79.21 c (69,0) c ReductionTime_3 : 0.612905 567.24/79.21 c (69,0) c ReductionTime_4 : 0.599199 567.24/79.21 c (69,0) c ReductionTime_5 : 0.629501 567.24/79.21 c (69,0) c ReductionTime_6 : 0.588678 567.24/79.21 c (69,0) c ReductionTime_7 : 0.619244 567.24/79.21 c (69,0) c ReductionTime_total : 4.828616 567.24/79.21 c (69,0) c ReductionTime_winner : 0.629501 567.24/79.21 c (69,0) c SimplifyTime_0 : 0.323955 567.24/79.21 c (69,0) c SimplifyTime_1 : 0.326869 567.24/79.21 c (69,0) c SimplifyTime_2 : 0.332257 567.24/79.21 c (69,0) c SimplifyTime_3 : 0.332333 567.24/79.21 c (69,0) c SimplifyTime_4 : 0.330500 567.24/79.21 c (69,0) c SimplifyTime_5 : 0.331579 567.24/79.21 c (69,0) c SimplifyTime_6 : 0.334002 567.24/79.21 c (69,0) c SimplifyTime_7 : 0.335341 567.24/79.21 c (69,0) c SimplifyTime_total : 2.646835 567.24/79.21 c (69,0) c SimplifyTime_winner : 0.331579 567.24/79.21 c (69,0) c UsedRateTime_0 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_1 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_2 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_3 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_4 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_5 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_6 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_7 : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_total : 0.000000 567.24/79.21 c (69,0) c UsedRateTime_winner : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_0 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_1 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_2 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_3 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_4 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_5 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_6 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_7 : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_total : 0.000000 567.24/79.21 c (69,0) c OverlapRateTime_winner : 0.000000 567.24/79.21 c (69,0) c 567.24/79.21 c (69,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 567.24/79.21 c (69,0) c 567.24/79.21 c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.24/79.21 c (69,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 567.24/79.21 c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.24/79.21 c (69,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 567.24/79.21 c (69,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 567.24/79.21 c (69,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 567.24/79.21 c (69,0) c | Initial random_seed | 833471825 | 1004403535 | 340588340 | 137456429 | 2136303817 | 1151414907 | 1246715033 | 1319872318 | 567.24/79.21 c (69,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 567.24/79.21 c (69,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 567.24/79.21 c (69,0) c | glureduce | True | True | True | True | True | True | True | True | 567.24/79.21 c (69,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 567.24/79.21 c (69,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 567.24/79.21 c (69,0) c | luby_restart | False | False | False | False | False | False | False | False | 567.24/79.21 c (69,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 567.24/79.21 c (69,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 567.24/79.21 c (69,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 567.24/79.21 c (69,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 567.24/79.21 c (69,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 567.24/79.21 c (69,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 567.24/79.21 c (69,0) 567.24/79.21 c (69,0) s SATISFIABLE 567.24/79.25 c (69,0) SatSolver.solve End 567.24/79.25 c (69,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 567.24/79.25 c (69,0) Show results Begin 567.52/79.32 c (69,0) x[0] = 0 567.52/79.32 c (69,0) x[1] = 10 567.52/79.32 c (69,0) x[2] = 25 567.52/79.32 c (69,0) x[3] = 8 567.52/79.32 c (69,0) x[4] = 18 567.52/79.32 c (69,0) x[5] = 1 567.52/79.32 c (69,0) x[6] = 16 567.52/79.32 c (69,0) x[7] = 33 567.52/79.32 c (69,0) x[8] = 48 567.52/79.32 c (69,0) x[9] = 42 567.52/79.32 c (69,0) x[10] = 27 567.52/79.32 c (69,0) x[11] = 21 567.52/79.32 c (69,0) x[12] = 36 567.52/79.32 c (69,0) x[13] = 53 567.52/79.32 c (69,0) x[14] = 63 567.52/79.32 c (69,0) x[15] = 46 567.52/79.32 c (69,0) x[16] = 52 567.52/79.32 c (69,0) x[17] = 58 567.52/79.32 c (69,0) x[18] = 43 567.52/79.32 c (69,0) x[19] = 28 567.52/79.32 c (69,0) x[20] = 38 567.52/79.32 c (69,0) x[21] = 55 567.52/79.32 c (69,0) x[22] = 61 567.52/79.32 c (69,0) x[23] = 44 567.52/79.32 c (69,0) x[24] = 59 567.52/79.32 c (69,0) x[25] = 49 567.52/79.32 c (69,0) x[26] = 32 567.52/79.32 c (69,0) x[27] = 26 567.52/79.32 c (69,0) x[28] = 11 567.52/79.32 c (69,0) x[29] = 5 567.52/79.32 c (69,0) x[30] = 15 567.52/79.32 c (69,0) x[31] = 30 567.52/79.32 c (69,0) x[32] = 20 567.52/79.32 c (69,0) x[33] = 3 567.52/79.32 c (69,0) x[34] = 9 567.52/79.32 c (69,0) x[35] = 24 567.52/79.32 c (69,0) x[36] = 34 567.52/79.32 c (69,0) x[37] = 40 567.52/79.32 c (69,0) x[38] = 57 567.52/79.32 c (69,0) x[39] = 51 567.52/79.32 c (69,0) x[40] = 41 567.52/79.32 c (69,0) x[41] = 56 567.52/79.32 c (69,0) x[42] = 50 567.52/79.32 c (69,0) x[43] = 35 567.52/79.32 c (69,0) x[44] = 29 567.52/79.32 c (69,0) x[45] = 19 567.52/79.32 c (69,0) x[46] = 4 567.52/79.32 c (69,0) x[47] = 14 567.52/79.32 c (69,0) x[48] = 31 567.52/79.32 c (69,0) x[49] = 37 567.52/79.32 c (69,0) x[50] = 47 567.52/79.32 c (69,0) x[51] = 62 567.52/79.32 c (69,0) x[52] = 45 567.52/79.32 c (69,0) x[53] = 60 567.52/79.32 c (69,0) x[54] = 54 567.52/79.32 c (69,0) x[55] = 39 567.52/79.33 c (69,0) x[56] = 22 567.52/79.33 c (69,0) x[57] = 7 567.52/79.33 c (69,0) x[58] = 13 567.52/79.33 c (69,0) x[59] = 23 567.52/79.33 c (69,0) x[60] = 6 567.52/79.33 c (69,0) x[61] = 12 567.52/79.33 c (69,0) x[62] = 2 567.52/79.33 c (69,0) x[63] = 17 567.52/79.33 s SATISFIABLE 567.52/79.33 v <instantiation> 567.52/79.33 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> 567.52/79.33 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> 567.52/79.33 v </instantiation> 567.52/79.33 c (69,0) Show results End 567.52/79.33 c (69,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 567.52/79.33 c (69,0) 69,69,STOP-AFTER(ALL) 567.52/79.33 c END-Prog: Tue Sep 24 21:45:16 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 (11805 MiB free) memory of node 1: 16384 MiB (13080 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405552-1569354280/watcher-4405552-1569354280 -o /var/tmp/evaluation-result-4405552-1569354280/solver-4405552-1569354280 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569349151-18849 --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-4405552-1569354280.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 Current StackSize limit: 8192 KiB solver pid=19882, runsolver pid=19879 [startup+0.10014 s]* /proc/loadavg: 8.65 8.41 8.32 3/212 19904 /proc/meminfo: memFree=25393708/32770624 swapFree=66992432/67108860 [pid=19882] ppid=19879 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19882/stat : 19882 (scop.sh) S 19879 19882 18822 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511690562 115843072 349 33554432000 4194304 5098028 140721012065440 140721012062696 140602304553596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36573184 140721012073212 140721012073560 140721012073560 140721012076489 0 /proc/19882/statm: 28282 349 296 221 0 87 0 [pid=19885] ppid=19882 vsize=27314120 memory=104092 CPUtime=0.1 cores=0-7 /proc/19885/stat : 19885 (java) S 19882 19882 18822 0 -1 1077944320 6620 0 0 0 8 2 0 0 20 0 20 0 511690563 27969658880 26023 33554432000 4194304 4196468 140727884598592 140727884581136 140110514536183 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 /proc/19885/statm: 6828530 26023 2771 1 0 6790935 0 [pid=19885/tid=19886] ppid=19882 vsize=27314120 memory=-2177352373413752899 CPUtime=0.08 cores=0-7 /proc/19885/task/19886/stat : 19886 (java) R 19882 19882 18822 0 -1 4202560 4706 0 0 0 7 1 0 0 20 0 20 0 511690563 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110486362512 140110498616670 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19887] ppid=19882 vsize=27314120 memory=732370215883197413 CPUtime=0 cores=0-7 /proc/19885/task/19887/stat : 19887 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110518778384 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19888] ppid=19882 vsize=27314120 memory=140077545744000 CPUtime=0 cores=0-7 /proc/19885/task/19888/stat : 19888 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110302173840 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19889] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19889/stat : 19889 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110301120784 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19890] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19890/stat : 19890 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110300068240 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19891] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19891/stat : 19891 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110299016208 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19892] ppid=19882 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19885/task/19892/stat : 19892 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110297963664 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19893] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19893/stat : 19893 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110296910608 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19894] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19894/stat : 19894 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 26023 33554432000 4194304 4196468 140727884598592 140110295858064 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19895] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19895/stat : 19895 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 26023 33554432000 4194304 4196468 140727884598592 140109887564016 140110514547330 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19896] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19896/stat : 19896 (java) S 19882 19882 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 26023 33554432000 4194304 4196468 140727884598592 140108409857184 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19897] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19897/stat : 19897 (java) S 19882 19882 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 26023 33554432000 4194304 4196468 140727884598592 140108275634928 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19898] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19898/stat : 19898 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 26023 33554432000 4194304 4196468 140727884598592 140107901130704 140110514554779 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19899] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19899/stat : 19899 (java) S 19882 19882 18822 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 26023 33554432000 4194304 4196468 140727884598592 140109504572144 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19900] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19900/stat : 19900 (java) S 19882 19882 18822 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 26023 33554432000 4194304 4196468 140727884598592 140109503519600 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19901] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19901/stat : 19901 (java) S 19882 19882 18822 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 26023 33554432000 4194304 4196468 140727884598592 140109502466544 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19902] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19902/stat : 19902 (java) S 19882 19882 18822 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 26023 33554432000 4194304 4196468 140727884598592 140109501414000 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19903] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19903/stat : 19903 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 26023 33554432000 4194304 4196468 140727884598592 140107403225568 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19904] ppid=19882 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19885/task/19904/stat : 19904 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690571 27969658880 26023 33554432000 4194304 4196468 140727884598592 140109500361392 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105488 KiB [startup+0.210337 s]* /proc/loadavg: 8.65 8.41 8.32 2/212 19904 /proc/meminfo: memFree=25370220/32770624 swapFree=66992432/67108860 [pid=19882] ppid=19879 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19882/stat : 19882 (scop.sh) S 19879 19882 18822 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511690562 115843072 349 33554432000 4194304 5098028 140721012065440 140721012062696 140602304553596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36573184 140721012073212 140721012073560 140721012073560 140721012076489 0 /proc/19882/statm: 28282 349 296 221 0 87 0 [pid=19885] ppid=19882 vsize=27314120 memory=123460 CPUtime=0.25 cores=0-7 /proc/19885/stat : 19885 (java) S 19882 19882 18822 0 -1 1077944320 12254 0 0 0 21 4 0 0 20 0 20 0 511690563 27969658880 30865 33554432000 4194304 4196468 140727884598592 140727884581136 140110514536183 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 /proc/19885/statm: 6828530 30865 2926 1 0 6790935 0 [pid=19885/tid=19886] ppid=19882 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7 /proc/19885/task/19886/stat : 19886 (java) R 19882 19882 18822 0 -1 4202560 9943 0 0 0 17 3 0 0 20 0 20 0 511690563 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110486335568 140110496101156 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19887] ppid=19882 vsize=27314120 memory=732370215883197413 CPUtime=0 cores=0-7 /proc/19885/task/19887/stat : 19887 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110518778384 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19888] ppid=19882 vsize=27314120 memory=140077545744000 CPUtime=0 cores=0-7 /proc/19885/task/19888/stat : 19888 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110302173840 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19889] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19889/stat : 19889 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110301120784 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19890] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19890/stat : 19890 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110300068240 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19891] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19891/stat : 19891 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110299016208 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19892] ppid=19882 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19885/task/19892/stat : 19892 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110297963664 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19893] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19893/stat : 19893 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110296910608 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19894] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19894/stat : 19894 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 30865 33554432000 4194304 4196468 140727884598592 140110295858064 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19895] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19895/stat : 19895 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 30865 33554432000 4194304 4196468 140727884598592 140109887564016 140110514547330 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19896] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19896/stat : 19896 (java) S 19882 19882 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 30865 33554432000 4194304 4196468 140727884598592 140108409857184 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19897] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19897/stat : 19897 (java) S 19882 19882 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 30865 33554432000 4194304 4196468 140727884598592 140108275634928 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19898] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19898/stat : 19898 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 30865 33554432000 4194304 4196468 140727884598592 140107901130704 140110514554779 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19899] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19899/stat : 19899 (java) S 19882 19882 18822 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 30865 33554432000 4194304 4196468 140727884598592 140109504572144 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19900] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19900/stat : 19900 (java) S 19882 19882 18822 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 30865 33554432000 4194304 4196468 140727884598592 140109503519600 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19901] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19901/stat : 19901 (java) S 19882 19882 18822 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 30865 33554432000 4194304 4196468 140727884598592 140109502466544 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19902] ppid=19882 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/19885/task/19902/stat : 19902 (java) S 19882 19882 18822 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 511690570 27969658880 30865 33554432000 4194304 4196468 140727884598592 140109501414000 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19903] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19903/stat : 19903 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 30865 33554432000 4194304 4196468 140727884598592 140107403225568 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19904] ppid=19882 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19885/task/19904/stat : 19904 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690571 27969658880 30865 33554432000 4194304 4196468 140727884598592 140109500361392 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124856 KiB [startup+0.309758 s]* /proc/loadavg: 8.65 8.41 8.32 2/212 19904 /proc/meminfo: memFree=25368216/32770624 swapFree=66992432/67108860 [pid=19882] ppid=19879 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19882/stat : 19882 (scop.sh) S 19879 19882 18822 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511690562 115843072 349 33554432000 4194304 5098028 140721012065440 140721012062696 140602304553596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36573184 140721012073212 140721012073560 140721012073560 140721012076489 0 /proc/19882/statm: 28282 349 296 221 0 87 0 [pid=19885] ppid=19882 vsize=27314120 memory=127496 CPUtime=0.42 cores=0-7 /proc/19885/stat : 19885 (java) S 19882 19882 18822 0 -1 1077944320 12815 0 0 0 38 4 0 0 20 0 20 0 511690563 27969658880 31874 33554432000 4194304 4196468 140727884598592 140727884581136 140110514536183 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 /proc/19885/statm: 6828530 31874 3019 1 0 6790935 0 [pid=19885/tid=19886] ppid=19882 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/19885/task/19886/stat : 19886 (java) R 19882 19882 18822 0 -1 4202560 10307 0 0 0 26 3 0 0 20 0 20 0 511690563 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110486321168 140110494807920 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19887] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19887/stat : 19887 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110518778384 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19888] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19888/stat : 19888 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110302173840 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19889] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19889/stat : 19889 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110301120784 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19890] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19890/stat : 19890 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110300068240 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19891] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19891/stat : 19891 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110299016208 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19892] ppid=19882 vsize=27314120 memory=140077405661871 CPUtime=0 cores=0-7 /proc/19885/task/19892/stat : 19892 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110297963664 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19893] ppid=19882 vsize=27314120 memory=140077405664176 CPUtime=0 cores=0-7 /proc/19885/task/19893/stat : 19893 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110296910608 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19894] ppid=19882 vsize=27314120 memory=140077405666480 CPUtime=0 cores=0-7 /proc/19885/task/19894/stat : 19894 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27969658880 31874 33554432000 4194304 4196468 140727884598592 140110295858064 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19895] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19895/stat : 19895 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 31874 33554432000 4194304 4196468 140727884598592 140109887564016 140110514547330 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19896] ppid=19882 vsize=27314120 memory=280154811346832 CPUtime=0 cores=0-7 /proc/19885/task/19896/stat : 19896 (java) S 19882 19882 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 31874 33554432000 4194304 4196468 140727884598592 140108409857184 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19897] ppid=19882 vsize=27314120 memory=280154811344528 CPUtime=0 cores=0-7 /proc/19885/task/19897/stat : 19897 (java) S 19882 19882 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511690567 27969658880 31874 33554432000 4194304 4196468 140727884598592 140108275634928 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19898] ppid=19882 vsize=27314120 memory=280154811351440 CPUtime=0 cores=0-7 /proc/19885/task/19898/stat : 19898 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 31874 33554432000 4194304 4196468 140727884598592 140107901130704 140110514554779 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19899] ppid=19882 vsize=27314120 memory=280154811292688 CPUtime=0.01 cores=0-7 /proc/19885/task/19899/stat : 19899 (java) S 19882 19882 18822 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 20 0 511690570 27969658880 31874 33554432000 4194304 4196468 140727884598592 140109504572144 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19900] ppid=19882 vsize=27314120 memory=280154811365264 CPUtime=0 cores=0-7 /proc/19885/task/19900/stat : 19900 (java) S 19882 19882 18822 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 31874 33554432000 4194304 4196468 140727884598592 140109503519600 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19901] ppid=19882 vsize=27314120 memory=280154811372176 CPUtime=0.02 cores=0-7 /proc/19885/task/19901/stat : 19901 (java) R 19882 19882 18822 0 -1 4202560 105 0 0 0 2 0 0 0 20 0 20 0 511690570 27969658880 31874 33554432000 4194304 4196468 140727884598592 140109502466544 140110496080672 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19902] ppid=19882 vsize=27314120 memory=280154811369872 CPUtime=0.07 cores=0-7 /proc/19885/task/19902/stat : 19902 (java) S 19882 19882 18822 0 -1 1077944384 521 0 0 0 7 0 0 0 20 0 20 0 511690570 27969658880 31874 33554432000 4194304 4196468 140727884598592 140109501414000 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19903] ppid=19882 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19903/stat : 19903 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511690570 27969658880 31874 33554432000 4194304 4196468 140727884598592 140107403225568 140110514546389 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19904] ppid=19882 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19885/task/19904/stat : 19904 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690571 27969658880 31874 33554432000 4194304 4196468 140727884598592 140109500361392 140110514547330 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128892 KiB [startup+0.70092 s] /proc/loadavg: 8.65 8.41 8.32 2/212 19904 /proc/meminfo: memFree=25346588/32770624 swapFree=66992432/67108860 [pid=19882] ppid=19879 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19882/stat : 19882 (scop.sh) S 19879 19882 18822 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 511690562 115843072 349 33554432000 4194304 5098028 140721012065440 140721012062696 140602304553596 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 36573184 140721012073212 140721012073560 140721012073560 140721012076489 0 /proc/19882/statm: 28282 349 296 221 0 87 0 [pid=19885] ppid=19882 vsize=27322516 memory=163824 CPUtime=0.99 cores=0-7 /proc/19885/stat : 19885 (java) S 19882 19882 18822 0 -1 1077944320 20629 0 0 0 92 7 0 0 20 0 20 0 511690563 27978256384 40956 33554432000 4194304 4196468 140727884598592 140727884581136 140110514536183 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 /proc/19885/statm: 6830629 40956 3202 1 0 6791959 0 [pid=19885/tid=19886] ppid=19882 vsize=27322516 memory=0 CPUtime=0.68 cores=0-7 /proc/19885/task/19886/stat : 19886 (java) R 19882 19882 18822 0 -1 4202560 17528 0 0 0 62 6 0 0 20 0 20 0 511690563 27978256384 40956 33554432000 4194304 4196468 140727884598592 140110486365376 140109970233400 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19887] ppid=19882 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19887/stat : 19887 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511690565 27978256384 40956 33554432000 4194304 4196468 140727884598592 140110518778384 140110514546389 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19888] ppid=19882 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19888/stat : 19888 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511690565 27978256384 40956 33554432000 4194304 4196468 140727884598592 140110302173840 140110514546389 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 [pid=19885/tid=19889] ppid=19882 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/19885/task/19889/stat : 19889 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511690565 27978256384 40956 33554432000 4194304 4196468 140727884598592 140110301120784 140110514546389 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18329600 140727884604102 140727884604550 140727884604550 140727884607439 0 ################ # More data... # ################ /proc/19905/task/19909/stat : 19909 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661201296144 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19910] ppid=19882 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/19905/task/19910/stat : 19910 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661200243600 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19911] ppid=19882 vsize=8414124 memory=118712 CPUtime=0 cores=0-7 /proc/19905/task/19911/stat : 19911 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661199190544 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19912] ppid=19882 vsize=8414124 memory=1060 CPUtime=0 cores=0-7 /proc/19905/task/19912/stat : 19912 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661198138000 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19913] ppid=19882 vsize=8414124 memory=2828 CPUtime=0 cores=0-7 /proc/19905/task/19913/stat : 19913 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661197084944 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19914] ppid=19882 vsize=8414124 memory=756 CPUtime=0 cores=0-7 /proc/19905/task/19914/stat : 19914 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661196032400 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19915] ppid=19882 vsize=8414124 memory=1548 CPUtime=0 cores=0-7 /proc/19905/task/19915/stat : 19915 (java) S 19882 19882 18822 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511691514 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660676655856 140661717359234 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19916] ppid=19882 vsize=8414124 memory=8248 CPUtime=0 cores=0-7 /proc/19905/task/19916/stat : 19916 (java) S 19882 19882 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511691514 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660313155232 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19917] ppid=19882 vsize=8414124 memory=1164 CPUtime=0 cores=0-7 /proc/19905/task/19917/stat : 19917 (java) S 19882 19882 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511691515 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660178932976 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19918] ppid=19882 vsize=8414124 memory=9520 CPUtime=0 cores=0-7 /proc/19905/task/19918/stat : 19918 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140659804428752 140661717366683 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19919] ppid=19882 vsize=8414124 memory=14008 CPUtime=0.05 cores=0-7 /proc/19905/task/19919/stat : 19919 (java) S 19882 19882 18822 0 -1 1077944384 548 0 0 0 5 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660675602672 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19920] ppid=19882 vsize=8414124 memory=2120 CPUtime=0.07 cores=0-7 /proc/19905/task/19920/stat : 19920 (java) S 19882 19882 18822 0 -1 1077944384 428 0 0 0 7 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660674550128 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19921] ppid=19882 vsize=8414124 memory=12028 CPUtime=0.08 cores=0-7 /proc/19905/task/19921/stat : 19921 (java) S 19882 19882 18822 0 -1 1077944384 224 0 0 0 8 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660673497072 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19922] ppid=19882 vsize=8414124 memory=21156 CPUtime=0.22 cores=0-7 /proc/19905/task/19922/stat : 19922 (java) S 19882 19882 18822 0 -1 1077944384 747 0 0 0 22 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660672444528 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19923] ppid=19882 vsize=8414124 memory=512 CPUtime=0 cores=0-7 /proc/19905/task/19923/stat : 19923 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140659306523616 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19924] ppid=19882 vsize=8414124 memory=1564 CPUtime=0.03 cores=0-7 /proc/19905/task/19924/stat : 19924 (java) S 19882 19882 18822 0 -1 1077944384 5 0 0 0 0 3 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660671392944 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19926] ppid=19882 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/19905/task/19926/stat : 19926 (java) S 19882 19882 18822 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511691590 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660663358912 140661717372697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19928] ppid=19882 vsize=8414124 memory=280154813877088 CPUtime=0 cores=0-7 /proc/19905/task/19928/stat : 19928 (java) S 19882 19882 18822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 511691590 8616062976 29841 33554432000 4194304 4196468 140725100709136 140658635423280 140661717370013 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19929] ppid=19882 vsize=8414124 memory=8292088525465231505 CPUtime=0 cores=0-7 /proc/19905/task/19929/stat : 19929 (java) S 19882 19882 18822 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511691591 8616062976 29841 33554432000 4194304 4196468 140725100709136 140658903858864 140661717370013 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19930] ppid=19882 vsize=8414124 memory=306807953173886642 CPUtime=0 cores=0-7 /proc/19905/task/19930/stat : 19930 (java) S 19882 19882 18822 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511691593 8616062976 29841 33554432000 4194304 4196468 140725100709136 140658366995376 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 Current children cumulated CPU time: 564.53 s Current children cumulated vsize: 9253840 KiB Current children cumulated memory: 555184 KiB [startup+79.2044 s] /proc/loadavg: 8.04 8.23 8.26 9/225 19943 /proc/meminfo: memFree=24938648/32770624 swapFree=66992432/67108860 [pid=19882] ppid=19879 vsize=113128 memory=1476 CPUtime=20.53 cores=0-7 /proc/19882/stat : 19882 (scop.sh) S 19879 19882 18822 0 -1 4202496 583 38280 0 0 0 0 1989 64 20 0 1 0 511690562 115843072 369 33554432000 4194304 5098028 140721012065440 140721012062184 140602304553596 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36573184 140721012073212 140721012073560 140721012073560 140721012076489 0 /proc/19882/statm: 28282 369 311 221 0 87 0 [pid=19905] ppid=19882 vsize=8414124 memory=119364 CPUtime=1.31 cores=0-7 /proc/19905/stat : 19905 (java) S 19882 19882 18822 0 -1 1077944320 20893 0 0 0 122 9 0 0 20 0 24 0 511691511 8616062976 29841 33554432000 4194304 4196468 140725100709136 140725100691680 140661717348087 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 /proc/19905/statm: 2103531 29841 3202 1 0 2064875 0 [pid=19925] ppid=19905 vsize=693804 memory=434364 CPUtime=545.4 cores=0-7 /proc/19925/stat : 19925 (manyglucose-4.1) R 19905 19882 18822 0 -1 4202496 427746 0 0 0 54465 75 0 0 20 0 1 0 511691590 710455296 108591 33554432000 4194304 4454172 140730499742016 140730499738736 139783642448208 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 22835200 140730499744589 140730499744796 140730499744796 140730499747766 0 /proc/19925/statm: 173451 108591 423 64 0 169119 0 [pid=19905/tid=19906] ppid=19882 vsize=8414124 memory=3184097920075970769 CPUtime=0.79 cores=0-7 /proc/19905/task/19906/stat : 19906 (java) S 19882 19882 18822 0 -1 1077944384 17509 0 0 0 72 7 0 0 20 0 24 0 511691511 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661689188256 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19907] ppid=19882 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19905/task/19907/stat : 19907 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661721590800 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19908] ppid=19882 vsize=8414124 memory=8292088525465231505 CPUtime=0 cores=0-7 /proc/19905/task/19908/stat : 19908 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661202349200 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19909] ppid=19882 vsize=8414124 memory=2996162 CPUtime=0 cores=0-7 /proc/19905/task/19909/stat : 19909 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661201296144 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19910] ppid=19882 vsize=8414124 memory=3961569 CPUtime=0 cores=0-7 /proc/19905/task/19910/stat : 19910 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661200243600 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19911] ppid=19882 vsize=8414124 memory=-8817310725128352146 CPUtime=0 cores=0-7 /proc/19905/task/19911/stat : 19911 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661199190544 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19912] ppid=19882 vsize=8414124 memory=119364 CPUtime=0 cores=0-7 /proc/19905/task/19912/stat : 19912 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661198138000 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19913] ppid=19882 vsize=8414124 memory=434344 CPUtime=0 cores=0-7 /proc/19905/task/19913/stat : 19913 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661197084944 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19914] ppid=19882 vsize=8414124 memory=756 CPUtime=0 cores=0-7 /proc/19905/task/19914/stat : 19914 (java) S 19882 19882 18822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 511691512 8616062976 29841 33554432000 4194304 4196468 140725100709136 140661196032400 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19915] ppid=19882 vsize=8414124 memory=1548 CPUtime=0 cores=0-7 /proc/19905/task/19915/stat : 19915 (java) S 19882 19882 18822 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511691514 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660676655856 140661717359234 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19916] ppid=19882 vsize=8414124 memory=8248 CPUtime=0 cores=0-7 /proc/19905/task/19916/stat : 19916 (java) S 19882 19882 18822 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 511691514 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660313155232 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19917] ppid=19882 vsize=8414124 memory=445636 CPUtime=0 cores=0-7 /proc/19905/task/19917/stat : 19917 (java) S 19882 19882 18822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 511691515 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660178932976 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19918] ppid=19882 vsize=8414124 memory=984 CPUtime=0 cores=0-7 /proc/19905/task/19918/stat : 19918 (java) S 19882 19882 18822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140659804428752 140661717366683 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19919] ppid=19882 vsize=8414124 memory=1324 CPUtime=0.05 cores=0-7 /proc/19905/task/19919/stat : 19919 (java) R 19882 19882 18822 0 -1 1077944384 548 0 0 0 5 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660675602672 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19920] ppid=19882 vsize=8414124 memory=780 CPUtime=0.07 cores=0-7 /proc/19905/task/19920/stat : 19920 (java) S 19882 19882 18822 0 -1 1077944384 428 0 0 0 7 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660674550128 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19921] ppid=19882 vsize=8414124 memory=3620 CPUtime=0.08 cores=0-7 /proc/19905/task/19921/stat : 19921 (java) R 19882 19882 18822 0 -1 1077944384 224 0 0 0 8 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660673497072 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19922] ppid=19882 vsize=8414124 memory=928 CPUtime=0.23 cores=0-7 /proc/19905/task/19922/stat : 19922 (java) R 19882 19882 18822 0 -1 4202560 762 0 0 0 23 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660672444528 140661717360022 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19923] ppid=19882 vsize=8414124 memory=3784 CPUtime=0 cores=0-7 /proc/19905/task/19923/stat : 19923 (java) S 19882 19882 18822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140659306523616 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19924] ppid=19882 vsize=8414124 memory=1440 CPUtime=0.04 cores=0-7 /proc/19905/task/19924/stat : 19924 (java) S 19882 19882 18822 0 -1 1077944384 5 0 0 0 0 4 0 0 20 0 24 0 511691517 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660671392944 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19926] ppid=19882 vsize=8414124 memory=904 CPUtime=0 cores=0-7 /proc/19905/task/19926/stat : 19926 (java) S 19882 19882 18822 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 511691590 8616062976 29841 33554432000 4194304 4196468 140725100709136 140660663358912 140661717372697 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19928] ppid=19882 vsize=8414124 memory=1984 CPUtime=0.01 cores=0-7 /proc/19905/task/19928/stat : 19928 (java) R 19882 19882 18822 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 511691590 8616062976 29841 33554432000 4194304 4196468 140725100709136 140658635423280 140661717369917 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19929] ppid=19882 vsize=8414124 memory=2528 CPUtime=0 cores=0-7 /proc/19905/task/19929/stat : 19929 (java) S 19882 19882 18822 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 511691591 8616062976 29841 33554432000 4194304 4196468 140725100709136 140658903858864 140661717370013 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19930] ppid=19882 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/19905/task/19930/stat : 19930 (java) S 19882 19882 18822 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 511691593 8616062976 29841 33554432000 4194304 4196468 140725100709136 140658366995376 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 Current children cumulated CPU time: 567.24 s Current children cumulated vsize: 9221056 KiB Current children cumulated memory: 555204 KiB [startup+79.3012 s] /proc/loadavg: 8.04 8.23 8.26 9/225 19943 /proc/meminfo: memFree=24938648/32770624 swapFree=66992432/67108860 [pid=19882] ppid=19879 vsize=113128 memory=1476 CPUtime=20.53 cores=0-7 /proc/19882/stat : 19882 (scop.sh) S 19879 19882 18822 0 -1 4202496 583 38280 0 0 0 0 1989 64 20 0 1 0 511690562 115843072 369 33554432000 4194304 5098028 140721012065440 140721012062184 140602304553596 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36573184 140721012073212 140721012073560 140721012073560 140721012076489 0 /proc/19882/statm: 28282 369 311 221 0 87 0 [pid=19905] ppid=19882 vsize=8283048 memory=128536 CPUtime=546.99 cores=0-7 /proc/19905/stat : 19905 (java) S 19882 19882 18822 0 -1 1077944320 21626 427752 0 0 147 10 54465 77 20 0 22 0 511691511 8481841152 32134 33554432000 4194304 4196468 140725100709136 140725100691680 140661717348087 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 /proc/19905/statm: 2070762 32134 3216 1 0 2032106 0 [pid=19905/tid=19906] ppid=19882 vsize=8283048 memory=1476 CPUtime=546.25 cores=0-7 /proc/19905/task/19906/stat : 19906 (java) R 19882 19882 18822 0 -1 4202560 17622 427752 0 0 76 7 54465 77 20 0 22 0 511691511 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661689186096 140661717360022 0 4 2 25189581 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19907] ppid=19882 vsize=8283048 memory=3620 CPUtime=545.42 cores=0-7 /proc/19905/task/19907/stat : 19907 (java) S 19882 19882 18822 0 -1 1077944384 1 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661721590800 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19908] ppid=19882 vsize=8283048 memory=49648 CPUtime=545.42 cores=0-7 /proc/19905/task/19908/stat : 19908 (java) S 19882 19882 18822 0 -1 1077944384 2 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661202349200 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19909] ppid=19882 vsize=8283048 memory=434344 CPUtime=545.42 cores=0-7 /proc/19905/task/19909/stat : 19909 (java) S 19882 19882 18822 0 -1 1077944384 1 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661201296144 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19910] ppid=19882 vsize=8283048 memory=0 CPUtime=545.42 cores=0-7 /proc/19905/task/19910/stat : 19910 (java) S 19882 19882 18822 0 -1 1077944384 2 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661200243600 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19911] ppid=19882 vsize=8283048 memory=434344 CPUtime=545.42 cores=0-7 /proc/19905/task/19911/stat : 19911 (java) S 19882 19882 18822 0 -1 1077944384 1 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661199190544 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19912] ppid=19882 vsize=8283048 memory=6184 CPUtime=545.42 cores=0-7 /proc/19905/task/19912/stat : 19912 (java) S 19882 19882 18822 0 -1 1077944384 1 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661198138000 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19913] ppid=19882 vsize=8283048 memory=451260 CPUtime=545.42 cores=0-7 /proc/19905/task/19913/stat : 19913 (java) S 19882 19882 18822 0 -1 1077944384 2 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661197084944 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19914] ppid=19882 vsize=8283048 memory=0 CPUtime=545.42 cores=0-7 /proc/19905/task/19914/stat : 19914 (java) S 19882 19882 18822 0 -1 1077944384 2 427752 0 0 0 0 54465 77 20 0 22 0 511691512 8481841152 32134 33554432000 4194304 4196468 140725100709136 140661196032400 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19915] ppid=19882 vsize=8283048 memory=1804 CPUtime=545.42 cores=0-7 /proc/19905/task/19915/stat : 19915 (java) S 19882 19882 18822 0 -1 1077944384 7 427752 0 0 0 0 54465 77 20 0 22 0 511691514 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660676655856 140661717359234 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19916] ppid=19882 vsize=8283048 memory=920 CPUtime=545.42 cores=0-7 /proc/19905/task/19916/stat : 19916 (java) S 19882 19882 18822 0 -1 1077944384 13 427752 0 0 0 0 54465 77 20 0 22 0 511691514 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660313155232 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19917] ppid=19882 vsize=8283048 memory=0 CPUtime=545.42 cores=0-7 /proc/19905/task/19917/stat : 19917 (java) S 19882 19882 18822 0 -1 1077944384 21 427752 0 0 0 0 54465 77 20 0 22 0 511691515 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660178932976 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19918] ppid=19882 vsize=8283048 memory=280154812046272 CPUtime=545.42 cores=0-7 /proc/19905/task/19918/stat : 19918 (java) S 19882 19882 18822 0 -1 1077944384 1 427752 0 0 0 0 54465 77 20 0 22 0 511691517 8481841152 32134 33554432000 4194304 4196468 140725100709136 140659804428752 140661717366683 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19919] ppid=19882 vsize=8283048 memory=928 CPUtime=545.51 cores=0-7 /proc/19905/task/19919/stat : 19919 (java) S 19882 19882 18822 0 -1 1077944384 759 427752 0 0 9 0 54465 77 20 0 22 0 511691517 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660675602672 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19920] ppid=19882 vsize=8283048 memory=3784 CPUtime=545.53 cores=0-7 /proc/19905/task/19920/stat : 19920 (java) R 19882 19882 18822 0 -1 1077944384 441 427752 0 0 11 0 54465 77 20 0 22 0 511691517 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660674550128 140661717359234 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19921] ppid=19882 vsize=8283048 memory=1440 CPUtime=545.52 cores=0-7 /proc/19905/task/19921/stat : 19921 (java) S 19882 19882 18822 0 -1 1077944384 286 427752 0 0 10 0 54465 77 20 0 22 0 511691517 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660673497072 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19922] ppid=19882 vsize=8283048 memory=5793994631639296865 CPUtime=545.71 cores=0-7 /proc/19905/task/19922/stat : 19922 (java) R 19882 19882 18822 0 -1 4202560 1035 427752 0 0 29 0 54465 77 20 0 22 0 511691517 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660672444528 140661697062884 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19923] ppid=19882 vsize=8283048 memory=7012219413208850795 CPUtime=545.42 cores=0-7 /proc/19905/task/19923/stat : 19923 (java) S 19882 19882 18822 0 -1 1077944384 3 427752 0 0 0 0 54465 77 20 0 22 0 511691517 8481841152 32134 33554432000 4194304 4196468 140725100709136 140659306523616 140661717358293 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19924] ppid=19882 vsize=8283048 memory=5793994631639296865 CPUtime=545.46 cores=0-7 /proc/19905/task/19924/stat : 19924 (java) S 19882 19882 18822 0 -1 1077944384 5 427752 0 0 0 4 54465 77 20 0 22 0 511691517 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660671392944 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19926] ppid=19882 vsize=8283048 memory=0 CPUtime=545.42 cores=0-7 /proc/19905/task/19926/stat : 19926 (java) S 19882 19882 18822 0 -1 1077944384 24 427752 0 0 0 0 54465 77 20 0 22 0 511691590 8481841152 32134 33554432000 4194304 4196468 140725100709136 140660663358096 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 [pid=19905/tid=19930] ppid=19882 vsize=8283048 memory=-8817310725128352146 CPUtime=545.42 cores=0-7 /proc/19905/task/19930/stat : 19930 (java) S 19882 19882 18822 0 -1 1077944384 10 427752 0 0 0 0 54465 77 20 0 22 0 511691593 8481841152 32134 33554432000 4194304 4196468 140725100709136 140658366997168 140661717359234 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140725100712927 140725100713094 140725100713094 140725100715983 0 Current children cumulated CPU time: 567.52 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 130012 KiB Child status: 0 Real time (s): 79.3445 CPU time (s): 567.623 CPU user time (s): 566.079 CPU system time (s): 1.54346 CPU usage (%): 715.39 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 3144328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 566.079 system time used= 1.54346 maximum resident set size= 3146192 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 489356 page faults= 0 swaps= 0 block input operations= 0 block output operations= 7160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16061 involuntary context switches= 6135 # summary of solver processes directly reported to runsolver: # pid: 19882 # total CPU time (s): 567.623 # total CPU user time (s): 566.079 # total CPU system time (s): 1.54346 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.771159 second user time and 1.0461 second system time The end
Begin job on node121 at 2019-09-24 21:43:57 IDJOB=4405552 IDBENCH=134620 IDSOLVER=2868 FILE ID=node121/4405552-1569354280 RUNJOBID= node121-1569349151-18849 PBS_JOBID= 21705085 Free space on /var/tmp= 13512 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) 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 /var/tmp/evaluation-result-4405552-1569354280/watcher-4405552-1569354280 -o /var/tmp/evaluation-result-4405552-1569354280/solver-4405552-1569354280 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569349151-18849 --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-4405552-1569354280.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8a5157f08f2f2e597251b23721b8eb7d RANDOM SEED=764224896 node121.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.75 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.75 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.75 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.75 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: 25484152 kB MemAvailable: 31847524 kB Buffers: 149532 kB Cached: 6303408 kB SwapCached: 4588 kB Active: 3203476 kB Inactive: 3258176 kB Active(anon): 4468 kB Inactive(anon): 53336 kB Active(file): 3199008 kB Inactive(file): 3204840 kB Unevictable: 109596 kB Mlocked: 109596 kB SwapTotal: 67108860 kB SwapFree: 66992432 kB Dirty: 20628 kB Writeback: 0 kB AnonPages: 194856 kB Mapped: 53608 kB Shmem: 41120 kB Slab: 417348 kB SReclaimable: 387984 kB SUnreclaim: 29364 kB KernelStack: 3888 kB PageTables: 4932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514504 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13492 MiB End job on node121 at 2019-09-24 21:45:16