Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 1036.39 | 151.843 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07h-7_X2.xml |
MD5SUM | 10ee2207fbf9262b8884f336b5729a19 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 159.215 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 1262 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1262}] |
Number of extensional constraints | 1262 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1262}] |
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-27117-serial-file.bin HOME/instance-4392718-1568436848.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 06:53:29 CEST 2019 0.65/0.56 c PID: 27120 0.65/0.56 c IP: 172.20.3.119 0.65/0.56 c HOST: node119.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.04/1.13 c (0,0) Parsing End 2.04/1.14 c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28 2.04/1.14 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.04/1.14 c (0,0) Constraint Name Generate Begin 2.04/1.15 c (0,0) Ctr:HOME/instance-4392718-1568436848.xml,ExtensionConflict:ExtensionSupport:Var 2.04/1.15 c (0,0) Constraint Name Generate End 2.04/1.15 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.04/1.15 c (0,0) CSP to CSPinCNF Begin 3.10/1.66 c (1,1) translated 127 (10%) constraints 3.45/1.77 c (1,1) translated 253 (20%) constraints 3.88/1.85 c (1,1) translated 379 (30%) constraints 4.29/1.92 c (1,1) translated 505 (40%) constraints 4.29/1.98 c (1,1) translated 631 (50%) constraints 4.73/2.03 c (1,1) translated 757 (60%) constraints 5.13/2.17 c (1,1) translated 883 (70%) constraints 6.08/2.42 c (1,1) translated 1009 (80%) constraints 6.33/2.65 c (2,2) translated 1135 (90%) constraints 6.90/2.97 c (2,2) translated 1261 (100%) constraints 6.90/2.97 c (2,2) =========================================== 6.90/2.99 c (2,2) Hybrid: #OE=793, #LE=0 6.90/2.99 c (2,2) Hybrid 6.90/2.99 c (2,2) =========================================== 7.35/3.06 c (2,2) translated 1883 (10%) constraints 7.76/3.12 c (2,2) translated 3765 (20%) constraints 7.76/3.18 c (2,2) translated 5647 (30%) constraints 8.10/3.23 c (2,2) translated 7529 (40%) constraints 8.10/3.28 c (2,2) translated 9411 (50%) constraints 8.50/3.33 c (2,2) translated 11294 (60%) constraints 8.50/3.38 c (2,2) translated 13176 (70%) constraints 8.85/3.42 c (2,2) translated 15058 (80%) constraints 8.85/3.46 c (2,2) translated 16940 (90%) constraints 9.14/3.50 c (2,2) translated 18822 (100%) constraints 9.14/3.50 c (2,2) CSP to CSPinCNF End 9.14/3.50 c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28 9.14/3.50 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.14/3.50 c (2,2) CSPinCNF Propagation Begin 10.16/3.85 c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed 10.16/3.85 c (3,3) CSPinCNF Propagation End 10.16/3.85 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.16/3.85 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.16/3.86 c (3,3) Hybrid: #OE=793, #LE=0 10.16/3.86 c (3,3) Simplify CSPinCNF Begin 10.44/3.92 c (3,3) Simplify CSPinCNF End 10.44/3.92 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.44/3.92 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.44/3.92 c (3,3) Calculate Precise Domain Begin 10.44/3.92 c (3,3) 0 values are removed by re-calculation 10.44/3.92 c (3,3) Calculate Precise Domain End 10.44/3.92 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.44/3.92 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.44/3.92 c (3,3) CSPinCNF to SatSolver Begin 10.76/4.07 c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses) 11.09/4.13 c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses) 11.09/4.18 c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses) 11.45/4.22 c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses) 11.45/4.25 c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses) 11.45/4.27 c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses) 11.45/4.30 c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses) 11.85/4.31 c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses) 11.85/4.33 c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses) 11.85/4.34 c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses) 11.85/4.34 c (3,3) CSPinCNF to SatSolver End 11.85/4.34 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.85/4.34 c (3,3) 2482 bool, 15697 clause 11.85/4.34 c (3,3) Export Begin 12.03/4.45 c (3,3) Export to HOME/scop-27117-serial-file.bin 12.03/4.45 c (3,3) Export End 12.03/4.45 c (3,3) Export File Size: 0.02 MB 12.03/4.45 c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS) 12.03/4.45 c END-Prog: Sat Sep 14 06:53:32 CEST 2019 12.03/4.48 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-27117-serial-file.bin 12.16/4.93 c (0,0) Read Serial File Begin 12.16/4.93 c (0,0) HOME/scop-27117-serial-file.bin 13.01/5.45 c (0,0) Read Serial File End 13.01/5.46 13.01/5.46 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 13.01/5.46 (Solving Process) 13.01/5.46 13.01/5.49 c BEGIN-Prog: Sat Sep 14 06:53:33 CEST 2019 13.01/5.49 c PID: 27140 13.01/5.49 c IP: 172.20.3.119 13.01/5.49 c HOST: node119.alineos.net 13.01/5.49 c (0,0) SatSolver.solve Begin 13.01/5.49 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392718-1568436848.xml-scop-27120.cnf 13.20/5.52 c (0,0) c 13.20/5.52 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) 13.20/5.52 c (0,0) c 13.20/5.52 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 13.20/5.52 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 13.20/5.52 c (0,0) c ========================================[ Problem Statistics ]=========================================== 13.20/5.52 c (0,0) c | | 13.20/5.52 c (0,0) c | Number of variables: 2480 | 13.20/5.52 c (0,0) c | Number of clauses: 15697 | 13.20/5.52 c (0,0) c | Parse time: 0.01 s | 13.20/5.52 c (0,0) c | | 13.20/5.52 c (0,0) WARNING! DIMACS header mismatch: wrong number of variables. 13.20/5.53 c (0,0) c | Simplification time: 0.01 s | 13.20/5.53 c (0,0) c | | 13.20/5.53 c (0,0) c | Generating clones | 13.20/5.54 c (0,0) c | all clones generated. Memory = 32.06Mb. | 13.20/5.54 c (0,0) c ========================================================================================================| 13.20/5.54 c (0,0) c 13.20/5.54 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 13.20/5.54 c (0,0) c 13.20/5.54 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.20/5.54 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 13.20/5.54 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.20/5.54 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 13.20/5.54 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 13.20/5.54 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 13.20/5.54 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 13.20/5.54 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 13.20/5.54 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 13.20/5.54 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 13.20/5.54 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 13.20/5.54 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 13.20/5.54 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 13.20/5.54 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 13.20/5.54 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 13.20/5.54 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 13.20/5.54 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 13.20/5.54 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 13.20/5.54 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 220.83/35.49 c (30,0) c 220.83/35.49 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 220.83/35.49 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 220.83/35.49 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 220.83/35.49 c (30,0) c | 0 | 445 | 539369 | 296885 | 9355 | 65500 | 43097 | 285670 | 16879 | 290 | 20 | 0.847 | 220.83/35.49 c (30,0) c | 1 | 347 | 526209 | 276303 | 9429 | 44919 | 39090 | 293808 | 11859 | 295 | 20 | 0.847 | 220.83/35.49 c (30,0) c | 2 | 397 | 540515 | 287806 | 9425 | 56422 | 44111 | 282730 | 13441 | 289 | 20 | 0.848 | 220.83/35.49 c (30,0) c | 3 | 314 | 499218 | 268268 | 9442 | 36882 | 43813 | 276939 | 11369 | 275 | 20 | 0.847 | 220.83/35.49 c (30,0) c | 4 | 263 | 530928 | 281777 | 9183 | 50387 | 44085 | 272175 | 9681 | 295 | 20 | 0.847 | 220.83/35.49 c (30,0) c | 5 | 434 | 530495 | 283177 | 9572 | 51790 | 43710 | 273903 | 14868 | 284 | 20 | 0.848 | 220.83/35.49 c (30,0) c | 6 | 413 | 530504 | 284783 | 9390 | 53402 | 43345 | 290240 | 14949 | 295 | 20 | 0.847 | 220.83/35.49 c (30,0) c | 7 | 339 | 505148 | 270884 | 8364 | 39500 | 41049 | 278414 | 9931 | 282 | 20 | 0.847 | 220.83/35.49 c (30,0) c 220.83/35.49 c (30,0) c synthesis 2249884 conflicts 170539625 propagations 10837 conflicts/sec 821452 propagations/sec 220.83/35.49 c (30,0) c real: 29.971 s, cpu: 207.608 s, memory: 629.23 Mb 427.60/65.49 c (60,0) c 427.60/65.49 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 427.60/65.49 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 427.60/65.49 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 427.60/65.49 c (60,0) c | 0 | 539 | 826360 | 447259 | 9397 | 57078 | 57683 | 385492 | 26191 | 525 | 20 | 0.847 | 427.60/65.49 c (60,0) c | 1 | 565 | 839435 | 436263 | 9528 | 46081 | 51847 | 400577 | 27071 | 545 | 20 | 0.847 | 427.60/65.49 c (60,0) c | 2 | 516 | 823723 | 436158 | 9460 | 45969 | 58072 | 382778 | 21264 | 538 | 20 | 0.848 | 427.60/65.49 c (60,0) c | 3 | 529 | 838098 | 441611 | 9545 | 51429 | 59578 | 393111 | 26618 | 545 | 20 | 0.847 | 427.60/65.49 c (60,0) c | 4 | 311 | 810979 | 425733 | 9345 | 79148 | 57395 | 395842 | 19247 | 545 | 20 | 0.848 | 427.60/65.49 c (60,0) c | 5 | 498 | 836334 | 439186 | 9599 | 49003 | 59980 | 380312 | 23765 | 529 | 20 | 0.848 | 427.60/65.49 c (60,0) c | 6 | 519 | 819530 | 435000 | 9430 | 44823 | 58374 | 388830 | 24140 | 540 | 20 | 0.847 | 427.60/65.49 c (60,0) c | 7 | 443 | 801569 | 423042 | 9195 | 76458 | 55750 | 388470 | 20366 | 528 | 20 | 0.847 | 427.60/65.49 c (60,0) c 427.60/65.49 c (60,0) c synthesis 3484252 conflicts 261895798 propagations 8416 conflicts/sec 632560 propagations/sec 427.60/65.49 c (60,0) c real: 59.9711 s, cpu: 414.025 s, memory: 651.85 Mb 628.49/94.50 c (89,0) c 628.49/94.50 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 628.49/94.50 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 628.49/94.50 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 628.49/94.50 c (89,0) c | 0 | 603 | 1082621 | 577234 | 9416 | 92045 | 72348 | 463261 | 34656 | 775 | 20 | 0.848 | 628.49/94.50 c (89,0) c | 1 | 744 | 1113760 | 572261 | 9547 | 87069 | 64421 | 487186 | 37390 | 794 | 20 | 0.847 | 628.49/94.50 c (89,0) c | 2 | 568 | 1072699 | 563411 | 9483 | 78223 | 68625 | 479053 | 30284 | 795 | 20 | 0.848 | 628.49/94.50 c (89,0) c | 3 | 630 | 1089783 | 573568 | 9559 | 88386 | 73045 | 476679 | 36045 | 791 | 20 | 0.848 | 628.49/94.50 c (89,0) c | 4 | 487 | 1081327 | 563161 | 9518 | 77979 | 67180 | 482538 | 31052 | 795 | 20 | 0.848 | 628.49/94.50 c (89,0) c | 5 | 611 | 1109634 | 577224 | 9614 | 92037 | 70585 | 469900 | 33067 | 782 | 20 | 0.848 | 628.49/94.50 c (89,0) c | 6 | 589 | 1079510 | 565005 | 9445 | 79815 | 71123 | 476036 | 32679 | 780 | 20 | 0.847 | 628.49/94.50 c (89,0) c | 7 | 582 | 1091163 | 568829 | 9345 | 83653 | 67724 | 480453 | 33324 | 784 | 20 | 0.848 | 628.49/94.50 c (89,0) c 628.49/94.50 c (89,0) c synthesis 4560694 conflicts 341617294 propagations 7421 conflicts/sec 555857 propagations/sec 628.49/94.50 c (89,0) c real: 88.9712 s, cpu: 614.578 s, memory: 651.97 Mb 840.19/124.49 c (119,0) c 840.19/124.49 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 840.19/124.49 c (119,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 840.19/124.49 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 840.19/124.49 c (119,0) c | 0 | 680 | 1315403 | 692930 | 9427 | 102351 | 80231 | 548447 | 45609 | 1034 | 20 | 0.847 | 840.19/124.49 c (119,0) c | 1 | 802 | 1346499 | 689562 | 9562 | 98967 | 76040 | 559588 | 45274 | 1054 | 20 | 0.847 | 840.19/124.49 c (119,0) c | 2 | 634 | 1300520 | 678678 | 9492 | 88096 | 79706 | 556635 | 39132 | 1054 | 20 | 0.848 | 840.19/124.49 c (119,0) c | 3 | 690 | 1336145 | 696155 | 9570 | 105569 | 84777 | 544969 | 44909 | 1054 | 20 | 0.849 | 840.19/124.49 c (119,0) c | 4 | 572 | 1329221 | 687121 | 9539 | 96539 | 79183 | 556020 | 41373 | 1054 | 20 | 0.848 | 840.19/124.49 c (119,0) c | 5 | 736 | 1350020 | 696955 | 9621 | 106362 | 81113 | 554199 | 41398 | 1047 | 20 | 0.847 | 840.19/124.49 c (119,0) c | 6 | 648 | 1315603 | 684381 | 9459 | 93790 | 82772 | 552331 | 42188 | 1041 | 20 | 0.847 | 840.19/124.49 c (119,0) c | 7 | 691 | 1330633 | 691275 | 9379 | 100692 | 79226 | 555888 | 42737 | 1049 | 20 | 0.848 | 840.19/124.49 c (119,0) c 840.19/124.49 c (119,0) c synthesis 5517058 conflicts 413912048 propagations 6681 conflicts/sec 501207 propagations/sec 840.19/124.49 c (119,0) c real: 118.971 s, cpu: 825.83 s, memory: 711.25 Mb 1036.27/151.80 c (146,0) c 1036.27/151.80 c (146,0) c real time : 146.288 s 1036.27/151.80 c (146,0) c cpu time : 1021.21 s 1036.27/151.80 c (146,0) c 1036.27/151.80 c (146,0) c 1036.27/151.80 c (146,0) c 1036.27/151.80 c (146,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1036.27/151.80 c (146,0) c 1036.27/151.80 c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.80 c (146,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1036.27/151.80 c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.80 c (146,0) c | Conflicts | 6267587 | 792372 | 780351 | 770006 | 790539 | 780009 | 792818 | 778613 | 782879 | 1036.27/151.80 c (146,0) c | Decisions | 12133076 | 1516388 | 1524795 | 1486343 | 1528034 | 1518481 | 1541985 | 1504969 | 1512081 | 1036.27/151.80 c (146,0) c | Propagations | 472637461 | 58938784 | 59423492 | 57997503 | 59508397 | 59166295 | 59648942 | 58679129 | 59274919 | 1036.27/151.80 c (146,0) c | ReduceDBs | 192 | 24 | 24 | 24 | 24 | 24 | 24 | 24 | 24 | 1036.27/151.80 c (146,0) c | SimpDBs | 88 | 11 | 10 | 12 | 11 | 11 | 11 | 12 | 10 | 1036.27/151.80 c (146,0) c | Restarts | 5807 | 719 | 849 | 669 | 759 | 589 | 795 | 693 | 734 | 1036.27/151.80 c (146,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1036.27/151.80 c (146,0) c | PropBinClauses| 992859305 | 122898132 | 125133868 | 122965913 | 124109801 | 125064929 | 123689362 | 123046105 | 125951195 | 1036.27/151.80 c (146,0) c | PropPreBlocker| 34481167040 | 4288706711 | 4331649464 | 4268349517 | 4363738484 | 4264823858 | 4332720866 | 4289300004 | 4341878136 | 1036.27/151.80 c (146,0) c | PropNotBlocker| 5825378874 | 731691854 | 736100765 | 738424916 | 708927372 | 732282594 | 721845721 | 733736663 | 722368989 | 1036.27/151.80 c (146,0) c | LitFullScans | 61563812374 | 7687228780 | 7705608637 | 7687453835 | 7699361808 | 7705669333 | 7699669552 | 7691171681 | 7687648748 | 1036.27/151.80 c (146,0) c | LitScanFracts | 12097780 | 1220107 | 1595759 | 1447072 | 1355102 | 1662128 | 1657855 | 1519474 | 1640283 | 1036.27/151.80 c (146,0) c | DecisionLevel0| 5916 | 731 | 860 | 680 | 772 | 600 | 812 | 713 | 748 | 1036.27/151.80 c (146,0) c | Periods | 10258 | 1281 | 1284 | 1281 | 1283 | 1284 | 1283 | 1281 | 1281 | 1036.27/151.80 c (146,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1036.27/151.80 c (146,0) c | Avg_Trail | | 634 | 638 | 629 | 636 | 629 | 634 | 632 | 634 | 1036.27/151.80 c (146,0) c | Avg_DL | | 23 | 21 | 21 | 22 | 21 | 21 | 21 | 21 | 1036.27/151.80 c (146,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1036.27/151.80 c (146,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1036.27/151.81 c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.81 c (146,0) c | Exported | 709809 | 90507 | 82993 | 88003 | 92108 | 87903 | 88333 | 90571 | 89391 | 1036.27/151.81 c (146,0) c | Imported | 4890245 | 610926 | 617833 | 608213 | 610288 | 611654 | 612495 | 611569 | 607267 | 1036.27/151.81 c (146,0) c | Good | 14291 | 1762 | 1757 | 1790 | 1840 | 1772 | 1769 | 1773 | 1828 | 1036.27/151.81 c (146,0) c | Purge | 4875954 | 609164 | 616076 | 606423 | 608448 | 609882 | 610726 | 609796 | 605439 | 1036.27/151.81 c (146,0) c | Promoted | 404499 | 53481 | 52898 | 47535 | 52150 | 49000 | 49180 | 50378 | 49877 | 1036.27/151.81 c (146,0) c | Remove_Imp | 3852075 | 475788 | 490931 | 491982 | 478532 | 479297 | 474752 | 480477 | 480316 | 1036.27/151.81 c (146,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1036.27/151.81 c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.81 c (146,0) c | Unaries | | 12 | 11 | 11 | 13 | 11 | 17 | 20 | 14 | 1036.27/151.81 c (146,0) c | Binaries | | 295 | 292 | 254 | 221 | 280 | 288 | 300 | 209 | 1036.27/151.81 c (146,0) c | Glues | | 997 | 1134 | 1007 | 948 | 1032 | 1108 | 1024 | 861 | 1036.27/151.81 c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.81 c (146,0) c | Orig_Seen | 87 % | 9447 | 9573 | 9507 | 9579 | 9545 | 9625 | 9474 | 9399 | 1036.27/151.81 c (146,0) c | Diff Orig seen| | - 27 | 99 | 33 | 105 | 71 | 151 | X | - 75 | 1036.27/151.81 c (146,0) c | Hamming | 11 % | 277 | 291 | 305 | 310 | 306 | 307 | X | 287 | 1036.27/151.81 c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.81 c (146,0) c | RunningTime | | 137.8 95%| 112.0 77%| 128.3 88%| 130.1 90%| 111.9 77%| 133.4 92%| 129.1 89%| 140.8 96%| 1036.27/151.81 c (146,0) c | WaitingTime | | 7.6 5%| 32.8 23%| 16.4 11%| 14.6 10%| 32.8 23%| 11.4 8%| 15.5 11%| 5.1 3%| 1036.27/151.81 c (146,0) c | ExchangingTime| | 0.3 0%| 0.4 0%| 0.3 0%| 0.3 0%| 0.4 0%| 0.3 0%| 0.3 0%| 0.3 0%| 1036.27/151.81 c (146,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%| 1036.27/151.81 c (146,0) c | SolvingTime | | 145.8 | 145.1 | 145.1 | 145.1 | 145.1 | 145.1 | 145.0 | 146.2 | 1036.27/151.81 c (146,0) c | PropagationTim| | 102.1 70%| 130.8 90%| 107.9 74%| 104.3 72%| 128.8 89%| 98.5 68%| 105.4 73%| 90.9 62%| 1036.27/151.81 c (146,0) c | AnalysisTime | | 40.3 28%| 10.6 7%| 33.7 23%| 37.3 26%| 12.7 9%| 43.1 30%| 36.2 25%| 52.1 36%| 1036.27/151.81 c (146,0) c | ReductionTime | | 1.3 1%| 1.4 1%| 1.3 1%| 1.3 1%| 1.4 1%| 1.4 1%| 1.3 1%| 1.2 1%| 1036.27/151.81 c (146,0) c | SimplifyTime | | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.0 0%| 0.0 0%| 1036.27/151.81 c (146,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%| 1036.27/151.81 c (146,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%| 1036.27/151.81 c (146,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.81 c (146,0) c 1036.27/151.81 c (146,0) c 1036.27/151.81 c (146,0) c Threads : 8 1036.27/151.81 c (146,0) c Winner : 6 1036.27/151.81 c (146,0) c Conflicts_0 : 792372 1036.27/151.81 c (146,0) c Conflicts_1 : 780351 1036.27/151.81 c (146,0) c Conflicts_2 : 770006 1036.27/151.81 c (146,0) c Conflicts_3 : 790539 1036.27/151.81 c (146,0) c Conflicts_4 : 780009 1036.27/151.81 c (146,0) c Conflicts_5 : 792818 1036.27/151.81 c (146,0) c Conflicts_6 : 778613 1036.27/151.81 c (146,0) c Conflicts_7 : 782879 1036.27/151.81 c (146,0) c Conflicts_total : 6267587 1036.27/151.81 c (146,0) c Conflicts_winner : 778613 1036.27/151.81 c (146,0) c Decisions_0 : 1516388 1036.27/151.81 c (146,0) c Decisions_1 : 1524795 1036.27/151.81 c (146,0) c Decisions_2 : 1486343 1036.27/151.81 c (146,0) c Decisions_3 : 1528034 1036.27/151.81 c (146,0) c Decisions_4 : 1518481 1036.27/151.81 c (146,0) c Decisions_5 : 1541985 1036.27/151.81 c (146,0) c Decisions_6 : 1504969 1036.27/151.81 c (146,0) c Decisions_7 : 1512081 1036.27/151.81 c (146,0) c Decisions_total : 12133076 1036.27/151.81 c (146,0) c Decisions_winner : 1504969 1036.27/151.81 c (146,0) c Propagations_0 : 58938784 1036.27/151.81 c (146,0) c Propagations_1 : 59423492 1036.27/151.81 c (146,0) c Propagations_2 : 57997503 1036.27/151.81 c (146,0) c Propagations_3 : 59508397 1036.27/151.81 c (146,0) c Propagations_4 : 59166295 1036.27/151.81 c (146,0) c Propagations_5 : 59648942 1036.27/151.81 c (146,0) c Propagations_6 : 58679129 1036.27/151.81 c (146,0) c Propagations_7 : 59274919 1036.27/151.81 c (146,0) c Propagations_total : 472637461 1036.27/151.81 c (146,0) c Propagations_winner : 58679129 1036.27/151.81 c (146,0) c ReduceDBs_0 : 24 1036.27/151.81 c (146,0) c ReduceDBs_1 : 24 1036.27/151.81 c (146,0) c ReduceDBs_2 : 24 1036.27/151.81 c (146,0) c ReduceDBs_3 : 24 1036.27/151.81 c (146,0) c ReduceDBs_4 : 24 1036.27/151.81 c (146,0) c ReduceDBs_5 : 24 1036.27/151.81 c (146,0) c ReduceDBs_6 : 24 1036.27/151.81 c (146,0) c ReduceDBs_7 : 24 1036.27/151.81 c (146,0) c ReduceDBs_total : 192 1036.27/151.81 c (146,0) c ReduceDBs_winner : 24 1036.27/151.81 c (146,0) c SimpDBs_0 : 11 1036.27/151.81 c (146,0) c SimpDBs_1 : 10 1036.27/151.81 c (146,0) c SimpDBs_2 : 12 1036.27/151.81 c (146,0) c SimpDBs_3 : 11 1036.27/151.81 c (146,0) c SimpDBs_4 : 11 1036.27/151.81 c (146,0) c SimpDBs_5 : 11 1036.27/151.81 c (146,0) c SimpDBs_6 : 12 1036.27/151.81 c (146,0) c SimpDBs_7 : 10 1036.27/151.81 c (146,0) c SimpDBs_total : 88 1036.27/151.81 c (146,0) c SimpDBs_winner : 12 1036.27/151.81 c (146,0) c Restarts_0 : 719 1036.27/151.81 c (146,0) c Restarts_1 : 849 1036.27/151.81 c (146,0) c Restarts_2 : 669 1036.27/151.81 c (146,0) c Restarts_3 : 759 1036.27/151.81 c (146,0) c Restarts_4 : 589 1036.27/151.81 c (146,0) c Restarts_5 : 795 1036.27/151.81 c (146,0) c Restarts_6 : 693 1036.27/151.81 c (146,0) c Restarts_7 : 734 1036.27/151.81 c (146,0) c Restarts_total : 5807 1036.27/151.81 c (146,0) c Restarts_winner : 693 1036.27/151.81 c (146,0) c ForcedImports_0 : 0 1036.27/151.81 c (146,0) c ForcedImports_1 : 0 1036.27/151.81 c (146,0) c ForcedImports_2 : 0 1036.27/151.81 c (146,0) c ForcedImports_3 : 0 1036.27/151.81 c (146,0) c ForcedImports_4 : 0 1036.27/151.81 c (146,0) c ForcedImports_5 : 0 1036.27/151.81 c (146,0) c ForcedImports_6 : 0 1036.27/151.81 c (146,0) c ForcedImports_7 : 0 1036.27/151.81 c (146,0) c ForcedImports_total : 0 1036.27/151.81 c (146,0) c ForcedImports_winner : 0 1036.27/151.81 c (146,0) c PropsBinClauses_0 : 122898132 1036.27/151.81 c (146,0) c PropsBinClauses_1 : 125133868 1036.27/151.81 c (146,0) c PropsBinClauses_2 : 122965913 1036.27/151.81 c (146,0) c PropsBinClauses_3 : 124109801 1036.27/151.81 c (146,0) c PropsBinClauses_4 : 125064929 1036.27/151.81 c (146,0) c PropsBinClauses_5 : 123689362 1036.27/151.81 c (146,0) c PropsBinClauses_6 : 123046105 1036.27/151.81 c (146,0) c PropsBinClauses_7 : 125951195 1036.27/151.81 c (146,0) c PropsBinClauses_total : 992859305 1036.27/151.81 c (146,0) c PropsBinClauses_winner : 123046105 1036.27/151.81 c (146,0) c PropsPreBlocker_0 : 4288706711 1036.27/151.81 c (146,0) c PropsPreBlocker_1 : 4331649464 1036.27/151.81 c (146,0) c PropsPreBlocker_2 : 4268349517 1036.27/151.81 c (146,0) c PropsPreBlocker_3 : 4363738484 1036.27/151.81 c (146,0) c PropsPreBlocker_4 : 4264823858 1036.27/151.81 c (146,0) c PropsPreBlocker_5 : 4332720866 1036.27/151.81 c (146,0) c PropsPreBlocker_6 : 4289300004 1036.27/151.81 c (146,0) c PropsPreBlocker_7 : 4341878136 1036.27/151.81 c (146,0) c PropsPreBlocker_total : 34481167040 1036.27/151.81 c (146,0) c PropsPreBlocker_winner : 4289300004 1036.27/151.81 c (146,0) c PropsNotBlocker_0 : 731691854 1036.27/151.81 c (146,0) c PropsNotBlocker_1 : 736100765 1036.27/151.81 c (146,0) c PropsNotBlocker_2 : 738424916 1036.27/151.81 c (146,0) c PropsNotBlocker_3 : 708927372 1036.27/151.81 c (146,0) c PropsNotBlocker_4 : 732282594 1036.27/151.81 c (146,0) c PropsNotBlocker_5 : 721845721 1036.27/151.81 c (146,0) c PropsNotBlocker_6 : 733736663 1036.27/151.81 c (146,0) c PropsNotBlocker_7 : 722368989 1036.27/151.81 c (146,0) c PropsNotBlocker_total : 5825378874 1036.27/151.81 c (146,0) c PropsNotBlocker_winner : 733736663 1036.27/151.81 c (146,0) c PropsLitFullScans_0 : 7687228780 1036.27/151.81 c (146,0) c PropsLitFullScans_1 : 7705608637 1036.27/151.81 c (146,0) c PropsLitFullScans_2 : 7687453835 1036.27/151.81 c (146,0) c PropsLitFullScans_3 : 7699361808 1036.27/151.81 c (146,0) c PropsLitFullScans_4 : 7705669333 1036.27/151.81 c (146,0) c PropsLitFullScans_5 : 7699669552 1036.27/151.81 c (146,0) c PropsLitFullScans_6 : 7691171681 1036.27/151.81 c (146,0) c PropsLitFullScans_7 : 7687648748 1036.27/151.81 c (146,0) c PropsLitFullScans_total : 61563812374 1036.27/151.81 c (146,0) c PropsLitFullScans_winner : 7691171681 1036.27/151.81 c (146,0) c LitScanFractions_0 : 1220107 1036.27/151.81 c (146,0) c LitScanFractions_1 : 1595759 1036.27/151.81 c (146,0) c LitScanFractions_2 : 1447072 1036.27/151.81 c (146,0) c LitScanFractions_3 : 1355102 1036.27/151.81 c (146,0) c LitScanFractions_4 : 1662128 1036.27/151.81 c (146,0) c LitScanFractions_5 : 1657855 1036.27/151.81 c (146,0) c LitScanFractions_6 : 1519474 1036.27/151.81 c (146,0) c LitScanFractions_7 : 1640283 1036.27/151.81 c (146,0) c LitScanFractions_total : 12097780 1036.27/151.81 c (146,0) c LitScanFractions_winner : 1519474 1036.27/151.81 c (146,0) c DecisionLevel0_0 : 731 1036.27/151.81 c (146,0) c DecisionLevel0_1 : 860 1036.27/151.81 c (146,0) c DecisionLevel0_2 : 680 1036.27/151.81 c (146,0) c DecisionLevel0_3 : 772 1036.27/151.81 c (146,0) c DecisionLevel0_4 : 600 1036.27/151.81 c (146,0) c DecisionLevel0_5 : 812 1036.27/151.81 c (146,0) c DecisionLevel0_6 : 713 1036.27/151.81 c (146,0) c DecisionLevel0_7 : 748 1036.27/151.81 c (146,0) c DecisionLevel0_total : 5916 1036.27/151.81 c (146,0) c DecisionLevel0_winner : 713 1036.27/151.81 c (146,0) c Periods_0 : 1281 1036.27/151.81 c (146,0) c Periods_1 : 1284 1036.27/151.81 c (146,0) c Periods_2 : 1281 1036.27/151.81 c (146,0) c Periods_3 : 1283 1036.27/151.81 c (146,0) c Periods_4 : 1284 1036.27/151.81 c (146,0) c Periods_5 : 1283 1036.27/151.81 c (146,0) c Periods_6 : 1281 1036.27/151.81 c (146,0) c Periods_7 : 1281 1036.27/151.81 c (146,0) c Periods_total : 10258 1036.27/151.81 c (146,0) c Periods_winner : 1281 1036.27/151.81 c (146,0) c Margin_0 : 20 1036.27/151.81 c (146,0) c Margin_1 : 20 1036.27/151.81 c (146,0) c Margin_2 : 20 1036.27/151.81 c (146,0) c Margin_3 : 20 1036.27/151.81 c (146,0) c Margin_4 : 20 1036.27/151.81 c (146,0) c Margin_5 : 20 1036.27/151.81 c (146,0) c Margin_6 : 20 1036.27/151.81 c (146,0) c Margin_7 : 20 1036.27/151.81 c (146,0) c Margin_total : 160 1036.27/151.81 c (146,0) c Margin_winner : 20 1036.27/151.81 c (146,0) c Exported_0 : 90507 1036.27/151.81 c (146,0) c Exported_1 : 82993 1036.27/151.81 c (146,0) c Exported_2 : 88003 1036.27/151.81 c (146,0) c Exported_3 : 92108 1036.27/151.81 c (146,0) c Exported_4 : 87903 1036.27/151.81 c (146,0) c Exported_5 : 88333 1036.27/151.81 c (146,0) c Exported_6 : 90571 1036.27/151.81 c (146,0) c Exported_7 : 89391 1036.27/151.81 c (146,0) c Exported_total : 709809 1036.27/151.81 c (146,0) c Exported_winner : 90571 1036.27/151.81 c (146,0) c Imported_0 : 610926 1036.27/151.81 c (146,0) c Imported_1 : 617833 1036.27/151.81 c (146,0) c Imported_2 : 608213 1036.27/151.81 c (146,0) c Imported_3 : 610288 1036.27/151.81 c (146,0) c Imported_4 : 611654 1036.27/151.81 c (146,0) c Imported_5 : 612495 1036.27/151.81 c (146,0) c Imported_6 : 611569 1036.27/151.81 c (146,0) c Imported_7 : 607267 1036.27/151.81 c (146,0) c Imported_total : 4890245 1036.27/151.81 c (146,0) c Imported_winner : 611569 1036.27/151.81 c (146,0) c Good_0 : 1762 1036.27/151.81 c (146,0) c Good_1 : 1757 1036.27/151.81 c (146,0) c Good_2 : 1790 1036.27/151.81 c (146,0) c Good_3 : 1840 1036.27/151.81 c (146,0) c Good_4 : 1772 1036.27/151.81 c (146,0) c Good_5 : 1769 1036.27/151.81 c (146,0) c Good_6 : 1773 1036.27/151.81 c (146,0) c Good_7 : 1828 1036.27/151.81 c (146,0) c Good_total : 14291 1036.27/151.81 c (146,0) c Good_winner : 1773 1036.27/151.81 c (146,0) c Purge_0 : 609164 1036.27/151.81 c (146,0) c Purge_1 : 616076 1036.27/151.81 c (146,0) c Purge_2 : 606423 1036.27/151.81 c (146,0) c Purge_3 : 608448 1036.27/151.81 c (146,0) c Purge_4 : 609882 1036.27/151.81 c (146,0) c Purge_5 : 610726 1036.27/151.81 c (146,0) c Purge_6 : 609796 1036.27/151.81 c (146,0) c Purge_7 : 605439 1036.27/151.81 c (146,0) c Purge_total : 4875954 1036.27/151.81 c (146,0) c Purge_winner : 609796 1036.27/151.81 c (146,0) c Promoted_0 : 53481 1036.27/151.81 c (146,0) c Promoted_1 : 52898 1036.27/151.81 c (146,0) c Promoted_2 : 47535 1036.27/151.81 c (146,0) c Promoted_3 : 52150 1036.27/151.81 c (146,0) c Promoted_4 : 49000 1036.27/151.81 c (146,0) c Promoted_5 : 49180 1036.27/151.81 c (146,0) c Promoted_6 : 50378 1036.27/151.81 c (146,0) c Promoted_7 : 49877 1036.27/151.81 c (146,0) c Promoted_total : 404499 1036.27/151.81 c (146,0) c Promoted_winner : 50378 1036.27/151.81 c (146,0) c Remove_Imp_0 : 475788 1036.27/151.81 c (146,0) c Remove_Imp_1 : 490931 1036.27/151.81 c (146,0) c Remove_Imp_2 : 491982 1036.27/151.81 c (146,0) c Remove_Imp_3 : 478532 1036.27/151.81 c (146,0) c Remove_Imp_4 : 479297 1036.27/151.81 c (146,0) c Remove_Imp_5 : 474752 1036.27/151.81 c (146,0) c Remove_Imp_6 : 480477 1036.27/151.81 c (146,0) c Remove_Imp_7 : 480316 1036.27/151.81 c (146,0) c Remove_Imp_total : 3852075 1036.27/151.81 c (146,0) c Remove_Imp_winner : 480477 1036.27/151.81 c (146,0) c Blocked_Reuse_0 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_1 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_2 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_3 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_4 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_5 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_6 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_7 : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_total : 0 1036.27/151.81 c (146,0) c Blocked_Reuse_winner : 0 1036.27/151.81 c (146,0) c Unaries_0 : 12 1036.27/151.81 c (146,0) c Unaries_1 : 11 1036.27/151.81 c (146,0) c Unaries_2 : 11 1036.27/151.81 c (146,0) c Unaries_3 : 13 1036.27/151.81 c (146,0) c Unaries_4 : 11 1036.27/151.81 c (146,0) c Unaries_5 : 17 1036.27/151.81 c (146,0) c Unaries_6 : 20 1036.27/151.81 c (146,0) c Unaries_7 : 14 1036.27/151.81 c (146,0) c Unaries_total : 109 1036.27/151.81 c (146,0) c Unaries_winner : 20 1036.27/151.81 c (146,0) c Binaries_0 : 295 1036.27/151.81 c (146,0) c Binaries_1 : 292 1036.27/151.81 c (146,0) c Binaries_2 : 254 1036.27/151.81 c (146,0) c Binaries_3 : 221 1036.27/151.81 c (146,0) c Binaries_4 : 280 1036.27/151.81 c (146,0) c Binaries_5 : 288 1036.27/151.81 c (146,0) c Binaries_6 : 300 1036.27/151.81 c (146,0) c Binaries_7 : 209 1036.27/151.81 c (146,0) c Binaries_total : 2139 1036.27/151.81 c (146,0) c Binaries_winner : 300 1036.27/151.81 c (146,0) c Glues_0 : 997 1036.27/151.81 c (146,0) c Glues_1 : 1134 1036.27/151.81 c (146,0) c Glues_2 : 1007 1036.27/151.81 c (146,0) c Glues_3 : 948 1036.27/151.81 c (146,0) c Glues_4 : 1032 1036.27/151.81 c (146,0) c Glues_5 : 1108 1036.27/151.81 c (146,0) c Glues_6 : 1024 1036.27/151.81 c (146,0) c Glues_7 : 861 1036.27/151.81 c (146,0) c Glues_total : 8111 1036.27/151.81 c (146,0) c Glues_winner : 1024 1036.27/151.81 c (146,0) c RunningTime_0 : 137.825820 1036.27/151.81 c (146,0) c RunningTime_1 : 111.972425 1036.27/151.81 c (146,0) c RunningTime_2 : 128.340720 1036.27/151.81 c (146,0) c RunningTime_3 : 130.077311 1036.27/151.81 c (146,0) c RunningTime_4 : 111.899765 1036.27/151.81 c (146,0) c RunningTime_5 : 133.381084 1036.27/151.81 c (146,0) c RunningTime_6 : 129.140404 1036.27/151.81 c (146,0) c RunningTime_7 : 140.789100 1036.27/151.81 c (146,0) c RunningTime_total : 1023.426630 1036.27/151.81 c (146,0) c RunningTime_winner : 129.140404 1036.27/151.81 c (146,0) c WaitingTime_0 : 7.625011 1036.27/151.81 c (146,0) c WaitingTime_1 : 32.762606 1036.27/151.81 c (146,0) c WaitingTime_2 : 16.377677 1036.27/151.81 c (146,0) c WaitingTime_3 : 14.637060 1036.27/151.82 c (146,0) c WaitingTime_4 : 32.818805 1036.27/151.82 c (146,0) c WaitingTime_5 : 11.367796 1036.27/151.82 c (146,0) c WaitingTime_6 : 15.523006 1036.27/151.82 c (146,0) c WaitingTime_7 : 5.069771 1036.27/151.82 c (146,0) c WaitingTime_total : 136.181733 1036.27/151.82 c (146,0) c WaitingTime_winner : 15.523006 1036.27/151.82 c (146,0) c ExchangingTime_0 : 0.323180 1036.27/151.82 c (146,0) c ExchangingTime_1 : 0.351357 1036.27/151.82 c (146,0) c ExchangingTime_2 : 0.332540 1036.27/151.82 c (146,0) c ExchangingTime_3 : 0.326375 1036.27/151.82 c (146,0) c ExchangingTime_4 : 0.365615 1036.27/151.82 c (146,0) c ExchangingTime_5 : 0.317978 1036.27/151.82 c (146,0) c ExchangingTime_6 : 0.340830 1036.27/151.82 c (146,0) c ExchangingTime_7 : 0.319927 1036.27/151.82 c (146,0) c ExchangingTime_total : 2.677803 1036.27/151.82 c (146,0) c ExchangingTime_winner : 0.340830 1036.27/151.82 c (146,0) c PeriodProcTime_0 : 0.015245 1036.27/151.82 c (146,0) c PeriodProcTime_1 : 0.012256 1036.27/151.82 c (146,0) c PeriodProcTime_2 : 0.011588 1036.27/151.82 c (146,0) c PeriodProcTime_3 : 0.013515 1036.27/151.82 c (146,0) c PeriodProcTime_4 : 0.012960 1036.27/151.82 c (146,0) c PeriodProcTime_5 : 0.011617 1036.27/151.82 c (146,0) c PeriodProcTime_6 : 0.012182 1036.27/151.82 c (146,0) c PeriodProcTime_7 : 0.012510 1036.27/151.82 c (146,0) c PeriodProcTime_total : 0.101873 1036.27/151.82 c (146,0) c PeriodProcTime_winner : 0.012182 1036.27/151.82 c (146,0) c SolvingTime_0 : 145.789257 1036.27/151.82 c (146,0) c SolvingTime_1 : 145.098644 1036.27/151.82 c (146,0) c SolvingTime_2 : 145.062525 1036.27/151.82 c (146,0) c SolvingTime_3 : 145.054261 1036.27/151.82 c (146,0) c SolvingTime_4 : 145.097145 1036.27/151.82 c (146,0) c SolvingTime_5 : 145.078476 1036.27/151.82 c (146,0) c SolvingTime_6 : 145.016422 1036.27/151.82 c (146,0) c SolvingTime_7 : 146.191308 1036.27/151.82 c (146,0) c SolvingTime_total : 1162.388038 1036.27/151.82 c (146,0) c SolvingTime_winner : 145.016422 1036.27/151.82 c (146,0) c PropagationTime_0 : 102.125578 1036.27/151.82 c (146,0) c PropagationTime_1 : 130.848704 1036.27/151.82 c (146,0) c PropagationTime_2 : 107.862076 1036.27/151.82 c (146,0) c PropagationTime_3 : 104.267873 1036.27/151.82 c (146,0) c PropagationTime_4 : 128.814961 1036.27/151.82 c (146,0) c PropagationTime_5 : 98.503282 1036.27/151.82 c (146,0) c PropagationTime_6 : 105.411326 1036.27/151.82 c (146,0) c PropagationTime_7 : 90.861353 1036.27/151.82 c (146,0) c PropagationTime_total : 868.695153 1036.27/151.82 c (146,0) c PropagationTime_winner : 105.411326 1036.27/151.82 c (146,0) c AnalysisTime_0 : 40.307792 1036.27/151.82 c (146,0) c AnalysisTime_1 : 10.637205 1036.27/151.82 c (146,0) c AnalysisTime_2 : 33.748222 1036.27/151.82 c (146,0) c AnalysisTime_3 : 37.332409 1036.27/151.82 c (146,0) c AnalysisTime_4 : 12.668382 1036.27/151.82 c (146,0) c AnalysisTime_5 : 43.115743 1036.27/151.82 c (146,0) c AnalysisTime_6 : 36.202580 1036.27/151.82 c (146,0) c AnalysisTime_7 : 52.050072 1036.27/151.82 c (146,0) c AnalysisTime_total : 266.062404 1036.27/151.82 c (146,0) c AnalysisTime_winner : 36.202580 1036.27/151.82 c (146,0) c ReductionTime_0 : 1.252690 1036.27/151.82 c (146,0) c ReductionTime_1 : 1.409394 1036.27/151.82 c (146,0) c ReductionTime_2 : 1.318775 1036.27/151.82 c (146,0) c ReductionTime_3 : 1.264983 1036.27/151.82 c (146,0) c ReductionTime_4 : 1.391606 1036.27/151.82 c (146,0) c ReductionTime_5 : 1.352039 1036.27/151.82 c (146,0) c ReductionTime_6 : 1.279904 1036.27/151.82 c (146,0) c ReductionTime_7 : 1.247034 1036.27/151.82 c (146,0) c ReductionTime_total : 10.516426 1036.27/151.82 c (146,0) c ReductionTime_winner : 1.279904 1036.27/151.82 c (146,0) c SimplifyTime_0 : 0.052818 1036.27/151.82 c (146,0) c SimplifyTime_1 : 0.058722 1036.27/151.82 c (146,0) c SimplifyTime_2 : 0.135317 1036.27/151.82 c (146,0) c SimplifyTime_3 : 0.055932 1036.27/151.82 c (146,0) c SimplifyTime_4 : 0.060213 1036.27/151.82 c (146,0) c SimplifyTime_5 : 0.052269 1036.27/151.82 c (146,0) c SimplifyTime_6 : 0.044755 1036.27/151.82 c (146,0) c SimplifyTime_7 : 0.041862 1036.27/151.82 c (146,0) c SimplifyTime_total : 0.501888 1036.27/151.82 c (146,0) c SimplifyTime_winner : 0.044755 1036.27/151.82 c (146,0) c UsedRateTime_0 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_1 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_2 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_3 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_4 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_5 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_6 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_7 : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_total : 0.000000 1036.27/151.82 c (146,0) c UsedRateTime_winner : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_0 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_1 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_2 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_3 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_4 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_5 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_6 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_7 : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_total : 0.000000 1036.27/151.82 c (146,0) c OverlapRateTime_winner : 0.000000 1036.27/151.82 c (146,0) c 1036.27/151.82 c (146,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1036.27/151.82 c (146,0) c 1036.27/151.82 c (146,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.82 c (146,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1036.27/151.82 c (146,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.82 c (146,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1036.27/151.82 c (146,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 1036.27/151.82 c (146,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1036.27/151.82 c (146,0) c | Initial random_seed | 760881597 | 1875340738 | 368035943 | 1793607187 | 773963715 | 1675374363 | 600817058 | 1414876421 | 1036.27/151.82 c (146,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1036.27/151.82 c (146,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1036.27/151.82 c (146,0) c | glureduce | True | True | True | True | True | True | True | True | 1036.27/151.82 c (146,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1036.27/151.82 c (146,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1036.27/151.82 c (146,0) c | luby_restart | False | False | False | False | False | False | False | False | 1036.27/151.82 c (146,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1036.27/151.82 c (146,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1036.27/151.82 c (146,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1036.27/151.82 c (146,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1036.27/151.82 c (146,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1036.27/151.82 c (146,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1036.27/151.82 c (146,0) 1036.27/151.82 c (146,0) s UNSATISFIABLE 1036.27/151.83 c (146,0) SatSolver.solve End 1036.27/151.83 c (146,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1036.27/151.83 c (146,0) Show results Begin 1036.27/151.83 s UNSATISFIABLE 1036.27/151.83 c (146,0) Show results End 1036.27/151.83 c (146,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1036.27/151.83 c (146,0) 146,146,STOP-AFTER(ALL) 1036.27/151.83 c END-Prog: Sat Sep 14 06:56:00 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12410 MiB free) memory of node 1: 16384 MiB (11639 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392718-1568436848/watcher-4392718-1568436848 -o /tmp/evaluation-result-4392718-1568436848/solver-4392718-1568436848 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568428810-25211 --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-4392718-1568436848.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=27117, runsolver pid=27114 Current StackSize limit: 8192 KiB [startup+0.100154 s]* /proc/loadavg: 7.57 4.77 2.80 2/213 27139 /proc/meminfo: memFree=24531780/32770624 swapFree=66939852/67108860 [pid=27117] ppid=27114 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27117/stat : 27117 (scop.sh) S 27114 27117 25184 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419599666 115843072 349 33554432000 4194304 5098028 140731480626736 140731480623992 140262184784508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34607104 140731480634148 140731480634476 140731480634476 140731480637389 0 /proc/27117/statm: 28282 349 296 221 0 87 0 [pid=27120] ppid=27117 vsize=27314120 memory=108076 CPUtime=0.1 cores=0-7 /proc/27120/stat : 27120 (java) S 27117 27117 25184 0 -1 1077944320 6515 0 0 0 8 2 0 0 20 0 20 0 419599666 27969658880 27019 33554432000 4194304 4196468 140720995465024 140720995447568 140237562957559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 /proc/27120/statm: 6828530 27019 2817 1 0 6790935 0 [pid=27120/tid=27121] ppid=27117 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/27120/task/27121/stat : 27121 (java) R 27117 27117 25184 0 -1 4202560 4610 0 0 0 7 2 0 0 20 0 20 0 419599666 27969658880 27019 33554432000 4194304 4196468 140720995465024 140237534780848 140237547038046 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27122] ppid=27117 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27120/task/27122/stat : 27122 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140237567200400 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27123] ppid=27117 vsize=27314120 memory=139808698406528 CPUtime=0 cores=0-7 /proc/27120/task/27123/stat : 27123 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140236984765456 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27124] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27124/stat : 27124 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140236983712656 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27125] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27125/stat : 27125 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140236982659856 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27126] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27126/stat : 27126 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140236981607056 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27127] ppid=27117 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27120/task/27127/stat : 27127 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140236980554256 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27128] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27128/stat : 27128 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140236979501456 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27129] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27129/stat : 27129 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 27019 33554432000 4194304 4196468 140720995465024 140236978448656 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27130] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27130/stat : 27130 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419599670 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235681721200 140237562968706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27131] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27131/stat : 27131 (java) S 27117 27117 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419599671 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235514045984 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27132] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27132/stat : 27132 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599671 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235245610352 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27133] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27133/stat : 27133 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 27019 33554432000 4194304 4196468 140720995465024 140234871101776 140237562976155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27134] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27134/stat : 27134 (java) S 27117 27117 25184 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235680668016 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27135] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27135/stat : 27135 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235679615216 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27136] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27136/stat : 27136 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235678562416 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27137] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27137/stat : 27137 (java) S 27117 27117 25184 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235677509616 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27138] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27138/stat : 27138 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 27019 33554432000 4194304 4196468 140720995465024 140234373196896 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27139] ppid=27117 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27120/task/27139/stat : 27139 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 27019 33554432000 4194304 4196468 140720995465024 140235676458032 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109472 KiB [startup+0.210679 s]* /proc/loadavg: 7.57 4.77 2.80 2/213 27139 /proc/meminfo: memFree=24513184/32770624 swapFree=66939852/67108860 [pid=27117] ppid=27114 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27117/stat : 27117 (scop.sh) S 27114 27117 25184 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419599666 115843072 349 33554432000 4194304 5098028 140731480626736 140731480623992 140262184784508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34607104 140731480634148 140731480634476 140731480634476 140731480637389 0 /proc/27117/statm: 28282 349 296 221 0 87 0 [pid=27120] ppid=27117 vsize=27314120 memory=124748 CPUtime=0.25 cores=0-7 /proc/27120/stat : 27120 (java) S 27117 27117 25184 0 -1 1077944320 11393 0 0 0 21 4 0 0 20 0 20 0 419599666 27969658880 31187 33554432000 4194304 4196468 140720995465024 140720995447568 140237562957559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 /proc/27120/statm: 6828530 31187 2951 1 0 6790935 0 [pid=27120/tid=27121] ppid=27117 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/27120/task/27121/stat : 27121 (java) R 27117 27117 25184 0 -1 4202560 9094 0 0 0 16 3 0 0 20 0 20 0 419599666 27969658880 31187 33554432000 4194304 4196468 140720995465024 140237534778480 140237543233440 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27122] ppid=27117 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/27120/task/27122/stat : 27122 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140237567200400 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27123] ppid=27117 vsize=27314120 memory=3978567826843768480 CPUtime=0 cores=0-7 /proc/27120/task/27123/stat : 27123 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140236984765456 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27124] ppid=27117 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27120/task/27124/stat : 27124 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140236983712656 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27125] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27125/stat : 27125 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140236982659856 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27126] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27126/stat : 27126 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140236981607056 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27127] ppid=27117 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27120/task/27127/stat : 27127 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140236980554256 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27128] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27128/stat : 27128 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140236979501456 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27129] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27129/stat : 27129 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 31187 33554432000 4194304 4196468 140720995465024 140236978448656 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27130] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27130/stat : 27130 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419599670 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235681721200 140237562968706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27131] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27131/stat : 27131 (java) S 27117 27117 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419599671 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235514045984 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27132] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27132/stat : 27132 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599671 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235245610352 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27133] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27133/stat : 27133 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 31187 33554432000 4194304 4196468 140720995465024 140234871101776 140237562976155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27134] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27134/stat : 27134 (java) S 27117 27117 25184 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235680668016 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27135] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27135/stat : 27135 (java) S 27117 27117 25184 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235679615216 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27136] ppid=27117 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27120/task/27136/stat : 27136 (java) S 27117 27117 25184 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235678562416 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27137] ppid=27117 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/27120/task/27137/stat : 27137 (java) S 27117 27117 25184 0 -1 1077944384 491 0 0 0 2 0 0 0 20 0 20 0 419599674 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235677509616 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27138] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27138/stat : 27138 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 31187 33554432000 4194304 4196468 140720995465024 140234373196896 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27139] ppid=27117 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27120/task/27139/stat : 27139 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 31187 33554432000 4194304 4196468 140720995465024 140235676458032 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126144 KiB [startup+0.310478 s]* /proc/loadavg: 7.57 4.77 2.80 2/213 27139 /proc/meminfo: memFree=24510144/32770624 swapFree=66939852/67108860 [pid=27117] ppid=27114 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27117/stat : 27117 (scop.sh) S 27114 27117 25184 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419599666 115843072 349 33554432000 4194304 5098028 140731480626736 140731480623992 140262184784508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34607104 140731480634148 140731480634476 140731480634476 140731480637389 0 /proc/27117/statm: 28282 349 296 221 0 87 0 [pid=27120] ppid=27117 vsize=27314120 memory=128296 CPUtime=0.42 cores=0-7 /proc/27120/stat : 27120 (java) S 27117 27117 25184 0 -1 1077944320 12442 0 0 0 38 4 0 0 20 0 20 0 419599666 27969658880 32074 33554432000 4194304 4196468 140720995465024 140720995447568 140237562957559 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 /proc/27120/statm: 6828530 32074 3055 1 0 6790935 0 [pid=27120/tid=27121] ppid=27117 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/27120/task/27121/stat : 27121 (java) R 27117 27117 25184 0 -1 4202560 9981 0 0 0 26 3 0 0 20 0 20 0 419599666 27969658880 32074 33554432000 4194304 4196468 140720995465024 140237534740576 140237562979485 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27122] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27122/stat : 27122 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140237567200400 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27123] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27123/stat : 27123 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140236984765456 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27124] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27124/stat : 27124 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140236983712656 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27125] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27125/stat : 27125 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140236982659856 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27126] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27126/stat : 27126 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140236981607056 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27127] ppid=27117 vsize=27314120 memory=139808567552687 CPUtime=0 cores=0-7 /proc/27120/task/27127/stat : 27127 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140236980554256 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27128] ppid=27117 vsize=27314120 memory=139808567554992 CPUtime=0 cores=0-7 /proc/27120/task/27128/stat : 27128 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140236979501456 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27129] ppid=27117 vsize=27314120 memory=139808567557296 CPUtime=0 cores=0-7 /proc/27120/task/27129/stat : 27129 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27969658880 32074 33554432000 4194304 4196468 140720995465024 140236978448656 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27130] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27130/stat : 27130 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419599670 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235681721200 140237562968706 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27131] ppid=27117 vsize=27314120 memory=279617135128464 CPUtime=0 cores=0-7 /proc/27120/task/27131/stat : 27131 (java) S 27117 27117 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419599671 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235514045984 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27132] ppid=27117 vsize=27314120 memory=279617135126160 CPUtime=0 cores=0-7 /proc/27120/task/27132/stat : 27132 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599671 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235245610352 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27133] ppid=27117 vsize=27314120 memory=279617135133072 CPUtime=0 cores=0-7 /proc/27120/task/27133/stat : 27133 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 32074 33554432000 4194304 4196468 140720995465024 140234871101776 140237562976155 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27134] ppid=27117 vsize=27314120 memory=279617135074352 CPUtime=0 cores=0-7 /proc/27120/task/27134/stat : 27134 (java) S 27117 27117 25184 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 419599673 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235680668016 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27135] ppid=27117 vsize=27314120 memory=279617135146896 CPUtime=0.02 cores=0-7 /proc/27120/task/27135/stat : 27135 (java) R 27117 27117 25184 0 -1 4202560 152 0 0 0 2 0 0 0 20 0 20 0 419599673 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235679615216 140237544266451 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27136] ppid=27117 vsize=27314120 memory=279617135153808 CPUtime=0.01 cores=0-7 /proc/27120/task/27136/stat : 27136 (java) S 27117 27117 25184 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 419599674 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235678562416 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27137] ppid=27117 vsize=27314120 memory=279617135151504 CPUtime=0.07 cores=0-7 /proc/27120/task/27137/stat : 27137 (java) S 27117 27117 25184 0 -1 1077944384 513 0 0 0 7 0 0 0 20 0 20 0 419599674 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235677509616 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27138] ppid=27117 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27138/stat : 27138 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 32074 33554432000 4194304 4196468 140720995465024 140234373196896 140237562967765 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27139] ppid=27117 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/27120/task/27139/stat : 27139 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599674 27969658880 32074 33554432000 4194304 4196468 140720995465024 140235676458032 140237562968706 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129692 KiB [startup+0.701029 s] /proc/loadavg: 7.57 4.77 2.80 2/213 27139 /proc/meminfo: memFree=24486580/32770624 swapFree=66939852/67108860 [pid=27117] ppid=27114 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/27117/stat : 27117 (scop.sh) S 27114 27117 25184 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419599666 115843072 349 33554432000 4194304 5098028 140731480626736 140731480623992 140262184784508 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34607104 140731480634148 140731480634476 140731480634476 140731480637389 0 /proc/27117/statm: 28282 349 296 221 0 87 0 [pid=27120] ppid=27117 vsize=27320392 memory=165308 CPUtime=1.01 cores=0-7 /proc/27120/stat : 27120 (java) S 27117 27117 25184 0 -1 1077944320 19875 0 0 0 94 7 0 0 20 0 20 0 419599666 27976081408 41327 33554432000 4194304 4196468 140720995465024 140720995447568 140237562957559 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 /proc/27120/statm: 6830098 41327 3182 1 0 6791447 0 [pid=27120/tid=27121] ppid=27117 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/27120/task/27121/stat : 27121 (java) R 27117 27117 25184 0 -1 4202560 16926 0 0 0 62 6 0 0 20 0 20 0 419599666 27976081408 41327 33554432000 4194304 4196468 140720995465024 140237534796280 140237065895392 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27122] ppid=27117 vsize=27320392 memory=139808567763824 CPUtime=0 cores=0-7 /proc/27120/task/27122/stat : 27122 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27976081408 41327 33554432000 4194304 4196468 140720995465024 140237567200400 140237562967765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27123] ppid=27117 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/27120/task/27123/stat : 27123 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419599669 27976081408 41327 33554432000 4194304 4196468 140720995465024 140236984765456 140237562967765 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 [pid=27120/tid=27124] ppid=27117 vsize=27320392 memory=1256 CPUtime=0 cores=0-7 /proc/27120/task/27124/stat : 27124 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419599669 27976081408 41327 33554432000 4194304 4196468 140720995465024 140236983712656 140237562967765 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19324928 140720995472106 140720995472534 140720995472534 140720995475407 0 ################ # More data... # ################ [pid=27140/tid=27150] ppid=27117 vsize=8414124 memory=3688 CPUtime=0 cores=0-7 /proc/27140/task/27150/stat : 27150 (java) S 27117 27117 25184 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636206086512 139637246864002 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27151] ppid=27117 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/27140/task/27151/stat : 27151 (java) S 27117 27117 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635896345632 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27152] ppid=27117 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/27140/task/27152/stat : 27152 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635627910000 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27153] ppid=27117 vsize=8414124 memory=816 CPUtime=0 cores=0-7 /proc/27140/task/27153/stat : 27153 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635253401424 139637246871451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27154] ppid=27117 vsize=8414124 memory=2580 CPUtime=0.07 cores=0-7 /proc/27140/task/27154/stat : 27154 (java) S 27117 27117 25184 0 -1 1077944384 630 0 0 0 7 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636205034352 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27155] ppid=27117 vsize=8414124 memory=1760 CPUtime=0.07 cores=0-7 /proc/27140/task/27155/stat : 27155 (java) S 27117 27117 25184 0 -1 1077944384 193 0 0 0 7 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636203981552 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27156] ppid=27117 vsize=8414124 memory=111636 CPUtime=0.06 cores=0-7 /proc/27140/task/27156/stat : 27156 (java) S 27117 27117 25184 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636202928752 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27157] ppid=27117 vsize=8414124 memory=808 CPUtime=0.22 cores=0-7 /proc/27140/task/27157/stat : 27157 (java) S 27117 27117 25184 0 -1 1077944384 776 0 0 0 22 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636201875952 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27158] ppid=27117 vsize=8414124 memory=121444 CPUtime=0 cores=0-7 /proc/27140/task/27158/stat : 27158 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634755496544 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27159] ppid=27117 vsize=8414124 memory=691064 CPUtime=0.09 cores=0-7 /proc/27140/task/27159/stat : 27159 (java) S 27117 27117 25184 0 -1 1077944384 10 0 0 0 0 9 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636200823344 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27161] ppid=27117 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/27140/task/27161/stat : 27161 (java) S 27117 27117 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636192789568 139637246877465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27163] ppid=27117 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/27140/task/27163/stat : 27163 (java) S 27117 27117 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634084397200 139637246874781 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27164] ppid=27117 vsize=8414124 memory=4732 CPUtime=0 cores=0-7 /proc/27140/task/27164/stat : 27164 (java) S 27117 27117 25184 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634352832528 139637246874781 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27173] ppid=27117 vsize=8414124 memory=4096 CPUtime=0 cores=0-7 /proc/27140/task/27173/stat : 27173 (java) S 27117 27117 25184 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419600220 8616062976 30361 33554432000 4194304 4196468 140722717855504 139633815969328 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 Current children cumulated CPU time: 1035.46 s Current children cumulated vsize: 9194868 KiB Current children cumulated memory: 649696 KiB [startup+151.601 s] /proc/loadavg: 6.75 5.34 3.30 3/219 27183 /proc/meminfo: memFree=23993932/32770624 swapFree=66939852/67108860 [pid=27117] ppid=27114 vsize=113128 memory=1476 CPUtime=12.16 cores=0-7 /proc/27117/stat : 27117 (scop.sh) S 27114 27117 25184 0 -1 4202496 583 32291 0 0 0 0 1186 30 20 0 1 0 419599666 115843072 369 33554432000 4194304 5098028 140731480626736 140731480623480 140262184784508 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34607104 140731480634148 140731480634476 140731480634476 140731480637389 0 /proc/27117/statm: 28282 369 311 221 0 87 0 [pid=27140] ppid=27117 vsize=8414124 memory=121444 CPUtime=1.35 cores=0-7 /proc/27140/stat : 27140 (java) S 27117 27117 25184 0 -1 1077944320 20349 0 0 0 127 8 0 0 20 0 24 0 419600114 8616062976 30361 33554432000 4194304 4196468 140722717855504 140722717838048 139637246852855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 /proc/27140/statm: 2103531 30361 3207 1 0 2064875 0 [pid=27160] ppid=27140 vsize=643028 memory=526752 CPUtime=1022.56 cores=0-7 /proc/27160/stat : 27160 (manyglucose-4.1) S 27140 27117 25184 0 -1 1077944320 825546 0 0 0 102100 156 0 0 20 0 2 0 419600218 658460672 131688 33554432000 4194304 4454172 140721422076016 140721422074400 140230773563127 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 29405184 140721422082921 140721422083120 140721422083120 140721422086074 0 /proc/27160/statm: 160757 131688 419 64 0 156425 0 [pid=27160/tid=27172] ppid=27140 vsize=643028 memory=7992 CPUtime=140.69 cores=0-7 /proc/27160/task/27172/stat : 27172 (manyglucose-4.1) R 27140 27117 25184 0 -1 4202560 93827 0 0 0 14057 12 0 0 20 0 2 0 419600220 658460672 131688 33554432000 4194304 4454172 140721422076016 140230699596936 4351564 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29405184 140721422082921 140721422083120 140721422083120 140721422086074 0 [pid=27140/tid=27141] ppid=27117 vsize=8414124 memory=9580 CPUtime=0.78 cores=0-7 /proc/27140/task/27141/stat : 27141 (java) S 27117 27117 25184 0 -1 1077944384 16985 0 0 0 73 5 0 0 20 0 24 0 419600114 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637218693024 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27142] ppid=27117 vsize=8414124 memory=1052 CPUtime=0 cores=0-7 /proc/27140/task/27142/stat : 27142 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637251095184 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27143] ppid=27117 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/27140/task/27143/stat : 27143 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637051263504 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27144] ppid=27117 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/27140/task/27144/stat : 27144 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637050210704 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27145] ppid=27117 vsize=8414124 memory=668 CPUtime=0 cores=0-7 /proc/27140/task/27145/stat : 27145 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637049157904 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27146] ppid=27117 vsize=8414124 memory=1256 CPUtime=0 cores=0-7 /proc/27140/task/27146/stat : 27146 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637048106128 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27147] ppid=27117 vsize=8414124 memory=1076 CPUtime=0 cores=0-7 /proc/27140/task/27147/stat : 27147 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637047053328 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27148] ppid=27117 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/27140/task/27148/stat : 27148 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637046000528 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27149] ppid=27117 vsize=8414124 memory=121444 CPUtime=0 cores=0-7 /proc/27140/task/27149/stat : 27149 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637044947728 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27150] ppid=27117 vsize=8414124 memory=600528 CPUtime=0 cores=0-7 /proc/27140/task/27150/stat : 27150 (java) S 27117 27117 25184 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636206086512 139637246864002 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27151] ppid=27117 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27140/task/27151/stat : 27151 (java) S 27117 27117 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635896345632 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27152] ppid=27117 vsize=8414124 memory=121444 CPUtime=0 cores=0-7 /proc/27140/task/27152/stat : 27152 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635627910000 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27153] ppid=27117 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27140/task/27153/stat : 27153 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635253401424 139637246871451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27154] ppid=27117 vsize=8414124 memory=121444 CPUtime=0.07 cores=0-7 /proc/27140/task/27154/stat : 27154 (java) S 27117 27117 25184 0 -1 1077944384 630 0 0 0 7 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636205034352 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27155] ppid=27117 vsize=8414124 memory=596120 CPUtime=0.07 cores=0-7 /proc/27140/task/27155/stat : 27155 (java) S 27117 27117 25184 0 -1 1077944384 193 0 0 0 7 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636203981552 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27156] ppid=27117 vsize=8414124 memory=3504 CPUtime=0.06 cores=0-7 /proc/27140/task/27156/stat : 27156 (java) S 27117 27117 25184 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636202928752 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27157] ppid=27117 vsize=8414124 memory=41124 CPUtime=0.22 cores=0-7 /proc/27140/task/27157/stat : 27157 (java) S 27117 27117 25184 0 -1 1077944384 776 0 0 0 22 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636201875952 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27158] ppid=27117 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27140/task/27158/stat : 27158 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634755496544 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27159] ppid=27117 vsize=8414124 memory=121444 CPUtime=0.09 cores=0-7 /proc/27140/task/27159/stat : 27159 (java) S 27117 27117 25184 0 -1 1077944384 10 0 0 0 0 9 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636200823344 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27161] ppid=27117 vsize=8414124 memory=705400 CPUtime=0 cores=0-7 /proc/27140/task/27161/stat : 27161 (java) S 27117 27117 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636192789568 139637246877465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27163] ppid=27117 vsize=8414124 memory=22668 CPUtime=0 cores=0-7 /proc/27140/task/27163/stat : 27163 (java) S 27117 27117 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634084397200 139637246874781 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27164] ppid=27117 vsize=8414124 memory=14056 CPUtime=0 cores=0-7 /proc/27140/task/27164/stat : 27164 (java) S 27117 27117 25184 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634352832528 139637246874781 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27173] ppid=27117 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/27140/task/27173/stat : 27173 (java) S 27117 27117 25184 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419600220 8616062976 30361 33554432000 4194304 4196468 140722717855504 139633815969328 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 Current children cumulated CPU time: 1036.07 s Current children cumulated vsize: 9170280 KiB Current children cumulated memory: 649672 KiB [startup+151.801 s] /proc/loadavg: 6.75 5.34 3.30 3/219 27183 /proc/meminfo: memFree=23993932/32770624 swapFree=66939852/67108860 [pid=27117] ppid=27114 vsize=113128 memory=1476 CPUtime=12.16 cores=0-7 /proc/27117/stat : 27117 (scop.sh) S 27114 27117 25184 0 -1 4202496 583 32291 0 0 0 0 1186 30 20 0 1 0 419599666 115843072 369 33554432000 4194304 5098028 140731480626736 140731480623480 140262184784508 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34607104 140731480634148 140731480634476 140731480634476 140731480637389 0 /proc/27117/statm: 28282 369 311 221 0 87 0 [pid=27140] ppid=27117 vsize=8414124 memory=121444 CPUtime=1.35 cores=0-7 /proc/27140/stat : 27140 (java) S 27117 27117 25184 0 -1 1077944320 20349 0 0 0 127 8 0 0 20 0 24 0 419600114 8616062976 30361 33554432000 4194304 4196468 140722717855504 140722717838048 139637246852855 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 /proc/27140/statm: 2103531 30361 3207 1 0 2064875 0 [pid=27160] ppid=27140 vsize=643028 memory=526752 CPUtime=1022.76 cores=0-7 /proc/27160/stat : 27160 (manyglucose-4.1) S 27140 27117 25184 0 -1 1077944320 825546 0 0 0 102120 156 0 0 20 0 2 0 419600218 658460672 131688 33554432000 4194304 4454172 140721422076016 140721422074400 140230773563127 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 29405184 140721422082921 140721422083120 140721422083120 140721422086074 0 /proc/27160/statm: 160757 131688 419 64 0 156425 0 [pid=27160/tid=27172] ppid=27140 vsize=643028 memory=3688 CPUtime=140.89 cores=0-7 /proc/27160/task/27172/stat : 27172 (manyglucose-4.1) R 27140 27117 25184 0 -1 4202560 93827 0 0 0 14077 12 0 0 20 0 2 0 419600220 658460672 131688 33554432000 4194304 4454172 140721422076016 140230699596936 4351584 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 29405184 140721422082921 140721422083120 140721422083120 140721422086074 0 [pid=27140/tid=27141] ppid=27117 vsize=8414124 memory=1984 CPUtime=0.78 cores=0-7 /proc/27140/task/27141/stat : 27141 (java) S 27117 27117 25184 0 -1 1077944384 16985 0 0 0 73 5 0 0 20 0 24 0 419600114 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637218693024 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27142] ppid=27117 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/27140/task/27142/stat : 27142 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637251095184 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27143] ppid=27117 vsize=8414124 memory=816 CPUtime=0 cores=0-7 /proc/27140/task/27143/stat : 27143 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637051263504 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27144] ppid=27117 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/27140/task/27144/stat : 27144 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637050210704 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27145] ppid=27117 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/27140/task/27145/stat : 27145 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637049157904 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27146] ppid=27117 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/27140/task/27146/stat : 27146 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637048106128 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27147] ppid=27117 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/27140/task/27147/stat : 27147 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637047053328 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27148] ppid=27117 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/27140/task/27148/stat : 27148 (java) S 27117 27117 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637046000528 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27149] ppid=27117 vsize=8414124 memory=668 CPUtime=0 cores=0-7 /proc/27140/task/27149/stat : 27149 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600115 8616062976 30361 33554432000 4194304 4196468 140722717855504 139637044947728 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27150] ppid=27117 vsize=8414124 memory=1256 CPUtime=0 cores=0-7 /proc/27140/task/27150/stat : 27150 (java) S 27117 27117 25184 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636206086512 139637246864002 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27151] ppid=27117 vsize=8414124 memory=1076 CPUtime=0 cores=0-7 /proc/27140/task/27151/stat : 27151 (java) S 27117 27117 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635896345632 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27152] ppid=27117 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/27140/task/27152/stat : 27152 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600117 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635627910000 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27153] ppid=27117 vsize=8414124 memory=22668 CPUtime=0 cores=0-7 /proc/27140/task/27153/stat : 27153 (java) S 27117 27117 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139635253401424 139637246871451 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27154] ppid=27117 vsize=8414124 memory=14056 CPUtime=0.07 cores=0-7 /proc/27140/task/27154/stat : 27154 (java) S 27117 27117 25184 0 -1 1077944384 630 0 0 0 7 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636205034352 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27155] ppid=27117 vsize=8414124 memory=2116 CPUtime=0.07 cores=0-7 /proc/27140/task/27155/stat : 27155 (java) S 27117 27117 25184 0 -1 1077944384 193 0 0 0 7 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636203981552 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27156] ppid=27117 vsize=8414124 memory=520 CPUtime=0.06 cores=0-7 /proc/27140/task/27156/stat : 27156 (java) S 27117 27117 25184 0 -1 1077944384 355 0 0 0 6 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636202928752 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27157] ppid=27117 vsize=8414124 memory=1560 CPUtime=0.22 cores=0-7 /proc/27140/task/27157/stat : 27157 (java) S 27117 27117 25184 0 -1 1077944384 776 0 0 0 22 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636201875952 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27158] ppid=27117 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/27140/task/27158/stat : 27158 (java) S 27117 27117 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634755496544 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27159] ppid=27117 vsize=8414124 memory=3688 CPUtime=0.09 cores=0-7 /proc/27140/task/27159/stat : 27159 (java) S 27117 27117 25184 0 -1 1077944384 10 0 0 0 0 9 0 0 20 0 24 0 419600120 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636200823344 139637246864002 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27161] ppid=27117 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/27140/task/27161/stat : 27161 (java) S 27117 27117 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139636192789568 139637246877465 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27163] ppid=27117 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/27140/task/27163/stat : 27163 (java) S 27117 27117 25184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634084397200 139637246874781 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27164] ppid=27117 vsize=8414124 memory=816 CPUtime=0 cores=0-7 /proc/27140/task/27164/stat : 27164 (java) S 27117 27117 25184 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419600218 8616062976 30361 33554432000 4194304 4196468 140722717855504 139634352832528 139637246874781 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 [pid=27140/tid=27173] ppid=27117 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/27140/task/27173/stat : 27173 (java) S 27117 27117 25184 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419600220 8616062976 30361 33554432000 4194304 4196468 140722717855504 139633815969328 139637246863061 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26005504 140722717860855 140722717861014 140722717861014 140722717863887 0 Current children cumulated CPU time: 1036.27 s Current children cumulated vsize: 9170280 KiB Current children cumulated memory: 649672 KiB Child status: 0 Real time (s): 151.843 CPU time (s): 1036.39 CPU user time (s): 1034.4 CPU system time (s): 1.99105 CPU usage (%): 682.537 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1058844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1034.4 system time used= 1.99105 maximum resident set size= 1060728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 879055 page faults= 0 swaps= 0 block input operations= 0 block output operations= 928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 19258 involuntary context switches= 8863 # summary of solver processes directly reported to runsolver: # pid: 27117 # total CPU time (s): 1036.39 # total CPU user time (s): 1034.4 # total CPU system time (s): 1.99105 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.47142 second user time and 2.14067 second system time The end
Begin job on node119 at 2019-09-14 06:53:28 IDJOB=4392718 IDBENCH=134588 IDSOLVER=2839 FILE ID=node119/4392718-1568436848 RUNJOBID= node119-1568428810-25211 PBS_JOBID= 21702306 Free space on /tmp= 61504 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-7_X2.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392718-1568436848/watcher-4392718-1568436848 -o /tmp/evaluation-result-4392718-1568436848/solver-4392718-1568436848 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568428810-25211 --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-4392718-1568436848.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 10ee2207fbf9262b8884f336b5729a19 RANDOM SEED=728584920 node119.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.47 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.47 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.47 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.47 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: 24627616 kB MemAvailable: 31821388 kB Buffers: 190212 kB Cached: 7271468 kB SwapCached: 61128 kB Active: 2827916 kB Inactive: 4700176 kB Active(anon): 4464 kB Inactive(anon): 103136 kB Active(file): 2823452 kB Inactive(file): 4597040 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66939852 kB Dirty: 20436 kB Writeback: 0 kB AnonPages: 166736 kB Mapped: 45220 kB Shmem: 32816 kB Slab: 208228 kB SReclaimable: 178228 kB SUnreclaim: 30000 kB KernelStack: 3840 kB PageTables: 4960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498652 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61484 MiB End job on node119 at 2019-09-14 06:56:00