Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 2285.34 | 317.997 |
Name | Langford/Langford-m1-k3/ Langford-3-45.xml |
MD5SUM | c29e6924973099ab0a0c802e448a5f67 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 185.253 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 135 |
Number of constraints | 91 |
Number of domains | 1 |
Minimum domain size | 135 |
Maximum domain size | 135 |
Distribution of domain sizes | [{"size":135,"count":135}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":90},{"degree":3,"count":45}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 135 |
Distribution of constraint arities | [{"arity":2,"count":90},{"arity":135,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 90 |
Distribution of constraint types | [{"type":"intension","count":90},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28912-serial-file.bin HOME/instance-4405357-1569241958.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Mon Sep 23 13:22:16 CEST 2019 0.66/0.57 c PID: 28915 0.66/0.57 c IP: 172.20.3.104 0.66/0.57 c HOST: node104.alineos.net 0.66/0.57 c (0,0) Parsing Begin 1.39/0.96 c (0,0) Parsing End 1.39/0.96 c (0,0) CSP: 135 int (0 aux), 0 bool (0 aux), 91 ctr, max domain size 135 1.39/0.97 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.39/0.97 c (0,0) Constraint Name Generate Begin 1.39/0.97 c (0,0) Ctr:HOME/instance-4405357-1569241958.xml,Add:AllDifferent:Eq:Num:Var 1.39/0.97 c (0,0) Constraint Name Generate End 1.39/0.97 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.39/0.97 c (0,0) CSP to CSPinCNF Begin 4.24/1.87 c (1,1) translated 10 (10%) constraints 4.24/1.87 c (1,1) translated 19 (20%) constraints 4.24/1.87 c (1,1) translated 28 (30%) constraints 4.24/1.88 c (1,1) translated 37 (40%) constraints 4.24/1.88 c (1,1) translated 46 (50%) constraints 4.24/1.88 c (1,1) translated 55 (60%) constraints 4.24/1.88 c (1,1) translated 64 (70%) constraints 4.24/1.88 c (1,1) translated 73 (80%) constraints 4.24/1.88 c (1,1) translated 82 (90%) constraints 4.24/1.88 c (1,1) translated 91 (100%) constraints 4.24/1.88 c (1,1) =========================================== 4.24/1.88 c (1,1) Order 4.24/1.88 c (1,1) =========================================== 4.66/1.97 c (1,1) translated 928 (10%) constraints 5.14/2.02 c (1,1) translated 1855 (20%) constraints 5.14/2.06 c (1,1) translated 2782 (30%) constraints 5.14/2.09 c (1,1) translated 3709 (40%) constraints 5.51/2.13 c (1,1) translated 4636 (50%) constraints 5.51/2.16 c (1,1) translated 5564 (60%) constraints 5.51/2.19 c (1,1) translated 6491 (70%) constraints 5.79/2.22 c (1,1) translated 7418 (80%) constraints 5.79/2.25 c (1,1) translated 8345 (90%) constraints 8.43/3.21 c (2,2) translated 9272 (100%) constraints 8.43/3.22 c (2,2) CSP to CSPinCNF End 8.43/3.23 c (2,2) CSP: 135 int (0 aux), 18225 bool (18225 aux), 45812 ctr, max domain size 131 8.43/3.23 c (2,2) Heap : 901 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.43/3.23 c (2,2) CSPinCNF Propagation Begin 10.84/4.23 c (3,3) 6480 values, 13509 unsatisfiable literals, and 13567 valid clauses are removed 10.84/4.23 c (3,3) CSPinCNF Propagation End 10.84/4.23 c (3,3) CSP: 135 int (0 aux), 18225 bool (18225 aux), 32245 ctr, max domain size 131 10.84/4.23 c (3,3) Heap : 1576 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.84/4.24 c (3,3) Simplify CSPinCNF Begin 12.12/4.60 c (4,3) Simplify CSPinCNF End 12.12/4.61 c (4,3) CSP: 135 int (0 aux), 35577 bool (35577 aux), 49597 ctr, max domain size 131 12.12/4.61 c (4,3) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 12.12/4.61 c (4,3) Calculate Precise Domain Begin 12.12/4.61 c (4,3) 0 values are removed by re-calculation 12.12/4.61 c (4,3) Calculate Precise Domain End 12.12/4.63 c (4,3) CSP: 135 int (0 aux), 35577 bool (35577 aux), 49597 ctr, max domain size 131 12.12/4.63 c (4,3) Heap : 1689 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 12.12/4.63 c (4,3) CSPinCNF to SatSolver Begin 15.45/6.08 c (5,5) 4960 (10 %) CSP clauses are encoded (0 SAT variables, 273384 SAT clauses) 16.52/6.90 c (6,6) 9920 (20 %) CSP clauses are encoded (0 SAT variables, 470272 SAT clauses) 17.31/7.50 c (6,6) 14880 (30 %) CSP clauses are encoded (0 SAT variables, 614784 SAT clauses) 18.22/8.44 c (7,7) 19839 (40 %) CSP clauses are encoded (0 SAT variables, 853429 SAT clauses) 19.05/9.32 c (8,8) 24799 (50 %) CSP clauses are encoded (0 SAT variables, 1046073 SAT clauses) 19.23/9.57 c (9,8) 29759 (60 %) CSP clauses are encoded (0 SAT variables, 1101433 SAT clauses) 19.34/9.61 c (9,8) 34718 (70 %) CSP clauses are encoded (0 SAT variables, 1106392 SAT clauses) 19.34/9.66 c (9,8) 39678 (80 %) CSP clauses are encoded (0 SAT variables, 1111352 SAT clauses) 19.45/9.78 c (9,8) 44638 (90 %) CSP clauses are encoded (0 SAT variables, 1116312 SAT clauses) 20.01/9.85 c (9,9) 49597 (100 %) CSP clauses are encoded (0 SAT variables, 1136530 SAT clauses) 20.01/9.85 c (9,9) CSPinCNF to SatSolver End 20.01/9.85 c (9,9) Heap : 235 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 20.01/9.85 c (9,9) 40707 bool, 1136572 clause 20.01/9.85 c (9,9) Export Begin 20.17/9.94 c (9,9) Export to HOME/scop-28912-serial-file.bin 20.17/9.94 c (9,9) Export End 20.17/9.94 c (9,9) Export File Size: 0.02 MB 20.17/9.94 c (9,9) 0,0,2,3,4,4,9,STOP-AFTER(DIMACS) 20.17/9.94 c END-Prog: Mon Sep 23 13:22:25 CEST 2019 20.17/9.99 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28912-serial-file.bin 20.84/10.45 c (0,0) Read Serial File Begin 20.84/10.45 c (0,0) HOME/scop-28912-serial-file.bin 21.10/10.67 c (0,0) Read Serial File End 21.10/10.68 21.10/10.68 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 21.10/10.68 (Solving Process) 21.10/10.68 21.27/10.70 c BEGIN-Prog: Mon Sep 23 13:22:26 CEST 2019 21.27/10.70 c PID: 28937 21.27/10.70 c IP: 172.20.3.104 21.27/10.70 c HOST: node104.alineos.net 21.27/10.71 c (0,0) SatSolver.solve Begin 21.27/10.71 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405357-1569241958.xml-scop-28915.cnf 21.27/10.73 c (0,0) c 21.27/10.73 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 21.27/10.73 c (0,0) c 21.27/10.73 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 21.27/10.73 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 21.27/10.73 c (0,0) c ========================================[ Problem Statistics ]=========================================== 21.27/10.73 c (0,0) c | | 21.74/11.08 c (0,0) c | Number of variables: 40707 | 21.74/11.08 c (0,0) c | Number of clauses: 1136572 | 21.74/11.08 c (0,0) c | Parse time: 0.32 s | 21.74/11.08 c (0,0) c | | 23.84/13.11 c (2,0) c | Simplification time: 2.00 s | 23.84/13.11 c (2,0) c | | 23.84/13.11 c (2,0) c | Generating clones | 24.14/13.41 c (3,0) c | all clones generated. Memory = 774.71Mb. | 24.14/13.41 c (3,0) c ========================================================================================================| 24.14/13.41 c (3,0) c 24.14/13.41 c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 24.14/13.41 c (3,0) c 24.14/13.41 c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.14/13.41 c (3,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 24.14/13.41 c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 24.14/13.41 c (3,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 24.14/13.41 c (3,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 24.14/13.41 c (3,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 24.14/13.41 c (3,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 24.14/13.41 c (3,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 24.14/13.41 c (3,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 24.14/13.41 c (3,0) c | glureduce | True | True | True | True | True | True | True | True | 24.14/13.41 c (3,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 24.14/13.41 c (3,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 24.14/13.41 c (3,0) c | luby_restart | False | False | False | False | False | False | False | False | 24.14/13.41 c (3,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 24.14/13.41 c (3,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 24.14/13.41 c (3,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 24.14/13.41 c (3,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 24.14/13.41 c (3,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 24.14/13.41 c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 246.37/42.48 c (32,0) c 246.37/42.48 c (32,0) c |------------------------------------------------------------------------------------------------------------------------| 246.37/42.48 c (32,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 246.37/42.48 c (32,0) c |------------------------------------------------------------------------------------------------------------------------| 246.37/42.48 c (32,0) c | 0 | 60 | 166643 | 10472 | 305397 | 6677 | 583 | 9078 | 8 | 215 | 20 | 0.000 | 246.37/42.48 c (32,0) c | 1 | 86 | 152199 | 11669 | 315363 | 7873 | 431 | 9485 | 8 | 220 | 20 | 0.000 | 246.37/42.48 c (32,0) c | 2 | 71 | 147505 | 11062 | 325847 | 7267 | 459 | 9568 | 8 | 227 | 20 | 0.000 | 246.37/42.48 c (32,0) c | 3 | 65 | 52020 | 17183 | 139747 | 8397 | 1966 | 8306 | 8 | 235 | 20 | 0.000 | 246.37/42.48 c (32,0) c | 4 | 89 | 160055 | 17398 | 287622 | 8605 | 1806 | 8466 | 7 | 235 | 20 | 0.000 | 246.37/42.48 c (32,0) c | 5 | 28 | 113833 | 12328 | 294859 | 8531 | 797 | 9189 | 9 | 235 | 20 | 0.000 | 246.37/42.48 c (32,0) c | 6 | 66 | 155289 | 24742 | 241739 | 8549 | 3864 | 6427 | 7 | 235 | 20 | 0.000 | 246.37/42.48 c (32,0) c | 7 | 64 | 193381 | 10917 | 342784 | 7118 | 745 | 9406 | 12 | 235 | 20 | 0.000 | 246.37/42.48 c (32,0) c 246.37/42.48 c (32,0) c synthesis 115772 conflicts 294322199 propagations 517 conflicts/sec 1314125 propagations/sec 246.37/42.48 c (32,0) c real: 31.7411 s, cpu: 223.968 s, memory: 1351.92 Mb 465.55/71.49 c (61,0) c 465.55/71.49 c (61,0) c |------------------------------------------------------------------------------------------------------------------------| 465.55/71.49 c (61,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 465.55/71.49 c (61,0) c |------------------------------------------------------------------------------------------------------------------------| 465.55/71.49 c (61,0) c | 0 | 114 | 339171 | 19824 | 507247 | 11027 | 1241 | 15413 | 41 | 432 | 20 | 0.000 | 465.55/71.49 c (61,0) c | 1 | 164 | 335297 | 22068 | 516766 | 13270 | 1122 | 16266 | 42 | 450 | 20 | 0.000 | 465.55/71.49 c (61,0) c | 2 | 90 | 210568 | 29145 | 409821 | 12958 | 2598 | 14700 | 16 | 452 | 20 | 0.000 | 465.55/71.49 c (61,0) c | 3 | 210 | 184968 | 26603 | 395263 | 10410 | 2453 | 14949 | 39 | 452 | 20 | 0.000 | 465.55/71.49 c (61,0) c | 4 | 199 | 308346 | 29450 | 463637 | 13256 | 2916 | 14479 | 53 | 452 | 20 | 0.000 | 465.55/71.49 c (61,0) c | 5 | 50 | 275364 | 23031 | 477980 | 14233 | 1864 | 14627 | 47 | 452 | 20 | 0.000 | 465.55/71.49 c (61,0) c | 6 | 212 | 313940 | 33806 | 455231 | 17613 | 4292 | 13086 | 38 | 452 | 20 | 0.000 | 465.55/71.49 c (61,0) c | 7 | 114 | 350192 | 20633 | 523311 | 11837 | 1406 | 15912 | 43 | 452 | 20 | 0.000 | 465.55/71.49 c (61,0) c 465.55/71.49 c (61,0) c synthesis 204560 conflicts 575626881 propagations 462 conflicts/sec 1300758 propagations/sec 465.55/71.49 c (61,0) c real: 60.7431 s, cpu: 442.532 s, memory: 1352.44 Mb 693.10/101.48 c (91,0) c 693.10/101.48 c (91,0) c |------------------------------------------------------------------------------------------------------------------------| 693.10/101.48 c (91,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 693.10/101.48 c (91,0) c |------------------------------------------------------------------------------------------------------------------------| 693.10/101.48 c (91,0) c | 0 | 189 | 492526 | 33287 | 634074 | 17094 | 2569 | 30519 | 109 | 677 | 20 | 0.000 | 693.10/101.48 c (91,0) c | 1 | 232 | 476993 | 38994 | 617480 | 12896 | 3304 | 29191 | 110 | 672 | 20 | 0.000 | 693.10/101.48 c (91,0) c | 2 | 135 | 401921 | 39856 | 582685 | 13764 | 3466 | 30713 | 74 | 691 | 20 | 0.000 | 693.10/101.48 c (91,0) c | 3 | 257 | 317932 | 58734 | 511656 | 20195 | 8656 | 23384 | 108 | 692 | 20 | 0.000 | 693.10/101.48 c (91,0) c | 4 | 327 | 469986 | 39143 | 628851 | 13046 | 3459 | 30747 | 103 | 691 | 20 | 0.000 | 693.10/101.48 c (91,0) c | 5 | 99 | 440403 | 34238 | 631694 | 18039 | 2836 | 31350 | 100 | 691 | 20 | 0.000 | 693.10/101.48 c (91,0) c | 6 | 248 | 403011 | 62444 | 513172 | 23906 | 6704 | 15756 | 81 | 692 | 20 | 0.000 | 693.10/101.48 c (91,0) c | 7 | 192 | 480472 | 39415 | 638586 | 13320 | 4674 | 29555 | 115 | 692 | 20 | 0.000 | 693.10/101.48 c (91,0) c 693.10/101.48 c (91,0) c synthesis 346111 conflicts 881646210 propagations 517 conflicts/sec 1317686 propagations/sec 693.10/101.48 c (91,0) c real: 90.7411 s, cpu: 669.087 s, memory: 1354.29 Mb 909.97/130.48 c (120,0) c 909.97/130.48 c (120,0) c |------------------------------------------------------------------------------------------------------------------------| 909.97/130.48 c (120,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 909.97/130.48 c (120,0) c |------------------------------------------------------------------------------------------------------------------------| 909.97/130.48 c (120,0) c | 0 | 253 | 646109 | 42405 | 738246 | 16309 | 3135 | 43312 | 186 | 899 | 20 | 0.000 | 909.97/130.48 c (120,0) c | 1 | 316 | 581286 | 59990 | 675898 | 21444 | 6726 | 39351 | 208 | 919 | 20 | 0.000 | 909.97/130.48 c (120,0) c | 2 | 164 | 506656 | 56269 | 646672 | 17739 | 4661 | 39085 | 142 | 907 | 20 | 0.000 | 909.97/130.48 c (120,0) c | 3 | 318 | 406189 | 92566 | 564698 | 21389 | 14135 | 33754 | 136 | 911 | 20 | 0.000 | 909.97/130.48 c (120,0) c | 4 | 399 | 656134 | 47700 | 721410 | 21603 | 4028 | 43843 | 167 | 911 | 20 | 0.000 | 909.97/130.48 c (120,0) c | 5 | 143 | 590704 | 43971 | 721157 | 17878 | 3566 | 44005 | 178 | 910 | 20 | 0.000 | 909.97/130.48 c (120,0) c | 6 | 351 | 535698 | 73510 | 606235 | 19941 | 7453 | 40417 | 133 | 911 | 20 | 0.000 | 909.97/130.48 c (120,0) c | 7 | 273 | 650957 | 48231 | 730548 | 22136 | 5210 | 42585 | 181 | 913 | 20 | 0.000 | 909.97/130.48 c (120,0) c 909.97/130.48 c (120,0) c synthesis 464642 conflicts 1175298119 propagations 525 conflicts/sec 1326752 propagations/sec 909.97/130.48 c (120,0) c real: 119.741 s, cpu: 885.846 s, memory: 1356.21 Mb 1121.36/159.47 c (149,0) c 1121.36/159.47 c (149,0) c |------------------------------------------------------------------------------------------------------------------------| 1121.36/159.47 c (149,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1121.36/159.47 c (149,0) c |------------------------------------------------------------------------------------------------------------------------| 1121.36/159.47 c (149,0) c | 0 | 336 | 768923 | 51000 | 801140 | 24904 | 3647 | 51667 | 271 | 1103 | 20 | 0.000 | 1121.36/159.47 c (149,0) c | 1 | 316 | 608380 | 84489 | 677155 | 30929 | 10080 | 39351 | 219 | 1123 | 20 | 0.000 | 1121.36/159.47 c (149,0) c | 2 | 211 | 589513 | 69144 | 699959 | 15584 | 5436 | 50424 | 198 | 1123 | 20 | 0.000 | 1121.36/159.47 c (149,0) c | 3 | 442 | 531414 | 100132 | 642802 | 28955 | 14436 | 41423 | 198 | 1123 | 20 | 0.000 | 1121.36/159.47 c (149,0) c | 4 | 478 | 788011 | 58058 | 778751 | 19511 | 4925 | 50933 | 260 | 1123 | 20 | 0.000 | 1121.36/159.47 c (149,0) c | 5 | 180 | 722080 | 54472 | 778537 | 15926 | 4292 | 51670 | 256 | 1123 | 20 | 0.000 | 1121.36/159.47 c (149,0) c | 6 | 464 | 674194 | 80967 | 677987 | 27398 | 7819 | 48028 | 209 | 1123 | 20 | 0.000 | 1121.36/159.47 c (149,0) c | 7 | 338 | 800597 | 56427 | 795292 | 17879 | 5783 | 50187 | 255 | 1123 | 20 | 0.000 | 1121.36/159.47 c (149,0) c 1121.36/159.47 c (149,0) c synthesis 554689 conflicts 1449264772 propagations 506 conflicts/sec 1321312 propagations/sec 1121.36/159.47 c (149,0) c real: 148.741 s, cpu: 1096.84 s, memory: 1357.38 Mb 1323.82/188.47 c (178,0) c 1323.82/188.47 c (178,0) c |------------------------------------------------------------------------------------------------------------------------| 1323.82/188.47 c (178,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1323.82/188.47 c (178,0) c |------------------------------------------------------------------------------------------------------------------------| 1323.82/188.47 c (178,0) c | 0 | 381 | 898588 | 58418 | 842515 | 19870 | 4207 | 55276 | 354 | 1286 | 20 | 0.000 | 1323.82/188.47 c (178,0) c | 1 | 419 | 699799 | 91861 | 725795 | 20680 | 10533 | 49512 | 306 | 1306 | 20 | 0.000 | 1323.82/188.47 c (178,0) c | 2 | 262 | 684705 | 76142 | 745310 | 22582 | 5812 | 53741 | 259 | 1306 | 20 | 0.000 | 1323.82/188.47 c (178,0) c | 3 | 540 | 622065 | 106033 | 694770 | 34856 | 14700 | 45035 | 286 | 1294 | 20 | 0.000 | 1323.82/188.47 c (178,0) c | 4 | 548 | 922413 | 65036 | 822194 | 26489 | 5402 | 54599 | 329 | 1306 | 20 | 0.000 | 1323.82/188.47 c (178,0) c | 5 | 194 | 764911 | 72771 | 787324 | 19201 | 5409 | 54046 | 390 | 1306 | 20 | 0.000 | 1323.82/188.47 c (178,0) c | 6 | 575 | 750088 | 87747 | 721921 | 34178 | 8103 | 51870 | 289 | 1304 | 20 | 0.000 | 1323.82/188.47 c (178,0) c | 7 | 391 | 945602 | 63671 | 837120 | 25123 | 6239 | 53727 | 340 | 1306 | 20 | 0.000 | 1323.82/188.47 c (178,0) c 1323.82/188.47 c (178,0) c synthesis 621679 conflicts 1695106561 propagations 479 conflicts/sec 1305331 propagations/sec 1323.82/188.47 c (178,0) c real: 177.741 s, cpu: 1298.6 s, memory: 1358.17 Mb 1537.62/217.47 c (207,0) c 1537.62/217.47 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1537.62/217.47 c (207,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1537.62/217.47 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1537.62/217.47 c (207,0) c | 0 | 434 | 1030777 | 67310 | 880487 | 28762 | 4809 | 59466 | 464 | 1500 | 20 | 0.000 | 1537.62/217.47 c (207,0) c | 1 | 541 | 795846 | 99425 | 770848 | 28244 | 10944 | 53899 | 400 | 1520 | 20 | 0.000 | 1537.62/217.47 c (207,0) c | 2 | 286 | 825070 | 83466 | 792555 | 29906 | 6257 | 58481 | 342 | 1519 | 20 | 0.000 | 1537.62/217.47 c (207,0) c | 3 | 670 | 720235 | 114253 | 743874 | 22865 | 15135 | 49668 | 406 | 1520 | 20 | 0.000 | 1537.62/217.47 c (207,0) c | 4 | 626 | 1051588 | 72506 | 857462 | 18939 | 5796 | 58799 | 430 | 1513 | 20 | 0.000 | 1537.62/217.47 c (207,0) c | 5 | 203 | 788720 | 93372 | 788683 | 22192 | 7040 | 57843 | 443 | 1519 | 20 | 0.000 | 1537.62/217.47 c (207,0) c | 6 | 671 | 872924 | 95268 | 776470 | 24083 | 8475 | 56154 | 381 | 1514 | 20 | 0.000 | 1537.62/217.47 c (207,0) c | 7 | 477 | 1074667 | 71964 | 871750 | 18396 | 6703 | 58095 | 448 | 1520 | 20 | 0.000 | 1537.62/217.47 c (207,0) c 1537.62/217.47 c (207,0) c synthesis 697564 conflicts 1983064574 propagations 462 conflicts/sec 1311976 propagations/sec 1537.62/217.47 c (207,0) c real: 206.741 s, cpu: 1511.51 s, memory: 1358.69 Mb 1757.95/246.47 c (236,0) c 1757.95/246.47 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1757.95/246.47 c (236,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1757.95/246.47 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1757.95/246.47 c (236,0) c | 0 | 484 | 1108183 | 81618 | 901186 | 28043 | 5182 | 62221 | 648 | 1732 | 20 | 0.000 | 1757.95/246.47 c (236,0) c | 1 | 639 | 937540 | 107063 | 817863 | 35882 | 11387 | 57510 | 518 | 1740 | 20 | 0.000 | 1757.95/246.47 c (236,0) c | 2 | 327 | 960438 | 91691 | 831427 | 20511 | 6796 | 62092 | 483 | 1743 | 20 | 0.000 | 1757.95/246.47 c (236,0) c | 3 | 756 | 896076 | 121775 | 796196 | 30387 | 15627 | 53383 | 540 | 1746 | 20 | 0.000 | 1757.95/246.47 c (236,0) c | 4 | 799 | 1136549 | 85556 | 880240 | 31989 | 6250 | 62708 | 585 | 1743 | 20 | 0.000 | 1757.95/246.47 c (236,0) c | 5 | 291 | 880426 | 103459 | 819024 | 32279 | 7761 | 61252 | 569 | 1745 | 20 | 0.000 | 1757.95/246.47 c (236,0) c | 6 | 798 | 973549 | 103963 | 809557 | 32777 | 8947 | 60024 | 477 | 1744 | 20 | 0.000 | 1757.95/246.47 c (236,0) c | 7 | 533 | 1249836 | 80114 | 905361 | 26546 | 7250 | 61598 | 579 | 1747 | 20 | 0.000 | 1757.95/246.47 c (236,0) c 1757.95/246.47 c (236,0) c synthesis 775239 conflicts 2285709481 propagations 448 conflicts/sec 1320681 propagations/sec 1757.95/246.47 c (236,0) c real: 235.741 s, cpu: 1730.71 s, memory: 1359.47 Mb 1983.85/275.47 c (265,0) c 1983.85/275.47 c (265,0) c |------------------------------------------------------------------------------------------------------------------------| 1983.85/275.47 c (265,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1983.85/275.47 c (265,0) c |------------------------------------------------------------------------------------------------------------------------| 1983.85/275.47 c (265,0) c | 0 | 521 | 1216385 | 95452 | 918546 | 41878 | 5637 | 67327 | 787 | 1960 | 20 | 0.000 | 1983.85/275.47 c (265,0) c | 1 | 737 | 1109826 | 115310 | 857694 | 23920 | 11976 | 61287 | 680 | 1971 | 20 | 0.000 | 1983.85/275.47 c (265,0) c | 2 | 384 | 1067312 | 100699 | 862054 | 29518 | 7372 | 65792 | 635 | 1980 | 20 | 0.000 | 1983.85/275.47 c (265,0) c | 3 | 861 | 1073431 | 129948 | 840912 | 38560 | 16186 | 57095 | 679 | 1980 | 20 | 0.000 | 1983.85/275.47 c (265,0) c | 4 | 877 | 1275791 | 94149 | 906742 | 22968 | 6839 | 66558 | 732 | 1980 | 20 | 0.000 | 1983.85/275.47 c (265,0) c | 5 | 333 | 1008807 | 111933 | 856082 | 20542 | 8362 | 65004 | 718 | 1980 | 20 | 0.000 | 1983.85/275.47 c (265,0) c | 6 | 881 | 1119901 | 111583 | 847796 | 40397 | 9511 | 63487 | 602 | 1962 | 20 | 0.000 | 1983.85/275.47 c (265,0) c | 7 | 617 | 1362239 | 88548 | 924628 | 34980 | 7718 | 65305 | 741 | 1969 | 20 | 0.000 | 1983.85/275.47 c (265,0) c 1983.85/275.47 c (265,0) c synthesis 847622 conflicts 2594736668 propagations 433 conflicts/sec 1326188 propagations/sec 1983.85/275.47 c (265,0) c real: 264.741 s, cpu: 1956.54 s, memory: 1360.39 Mb 2186.64/304.47 c (294,0) c 2186.64/304.47 c (294,0) c |------------------------------------------------------------------------------------------------------------------------| 2186.64/304.47 c (294,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2186.64/304.47 c (294,0) c |------------------------------------------------------------------------------------------------------------------------| 2186.64/304.47 c (294,0) c | 0 | 590 | 1315756 | 102178 | 934456 | 26995 | 5989 | 70201 | 897 | 2144 | 20 | 0.000 | 2186.64/304.47 c (294,0) c | 1 | 826 | 1228841 | 122253 | 884821 | 30863 | 12374 | 64175 | 824 | 2164 | 20 | 0.000 | 2186.64/304.47 c (294,0) c | 2 | 406 | 1160396 | 107381 | 882474 | 36200 | 7819 | 68680 | 770 | 2163 | 20 | 0.000 | 2186.64/304.47 c (294,0) c | 3 | 941 | 1187391 | 136050 | 867751 | 44662 | 16605 | 59982 | 800 | 2164 | 20 | 0.000 | 2186.64/304.47 c (294,0) c | 4 | 939 | 1391718 | 100676 | 926209 | 29494 | 7265 | 69322 | 852 | 2164 | 20 | 0.000 | 2186.64/304.47 c (294,0) c | 5 | 363 | 1110842 | 118750 | 881176 | 27360 | 8697 | 67596 | 863 | 2164 | 20 | 0.000 | 2186.64/304.47 c (294,0) c | 6 | 988 | 1197792 | 118928 | 871257 | 27536 | 9926 | 66449 | 744 | 2155 | 20 | 0.000 | 2186.64/304.47 c (294,0) c | 7 | 660 | 1494451 | 95978 | 943617 | 24801 | 8234 | 68077 | 885 | 2164 | 20 | 0.000 | 2186.64/304.47 c (294,0) c 2186.64/304.47 c (294,0) c synthesis 902194 conflicts 2846529671 propagations 418 conflicts/sec 1319063 propagations/sec 2186.64/304.47 c (294,0) c real: 293.741 s, cpu: 2157.99 s, memory: 1360.52 Mb 2284.66/317.74 c (307,0) c 2284.66/317.74 c (307,0) c real time : 307.014 s 2284.66/317.74 c (307,0) c cpu time : 2255.31 s 2284.66/317.74 c (307,0) c 2284.66/317.74 c (307,0) c 2284.66/317.75 c (307,0) c 2284.66/317.75 c (307,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 2284.66/317.75 c (307,0) c 2284.66/317.75 c (307,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.75 c (307,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2284.66/317.75 c (307,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.75 c (307,0) c | Conflicts | 931266 | 105651 | 125941 | 110896 | 139650 | 104120 | 122478 | 123114 | 99416 | 2284.66/317.75 c (307,0) c | Decisions | 10512123 | 1376610 | 1289714 | 1209388 | 1235413 | 1446846 | 1150578 | 1250364 | 1553210 | 2284.66/317.75 c (307,0) c | Propagations | 2977890435 | 356244818 | 371250217 | 373318914 | 381163890 | 375034626 | 374422598 | 371957715 | 374497657 | 2284.66/317.75 c (307,0) c | ReduceDBs | 69 | 8 | 9 | 8 | 10 | 8 | 9 | 9 | 8 | 2284.66/317.75 c (307,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 2284.66/317.75 c (307,0) c | Restarts | 5976 | 616 | 870 | 420 | 997 | 959 | 381 | 1046 | 687 | 2284.66/317.75 c (307,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2284.66/317.75 c (307,0) c | PropBinClauses| 5298106817 | 637435414 | 663849645 | 664551122 | 677358559 | 665332246 | 662443460 | 662901820 | 664234551 | 2284.66/317.75 c (307,0) c | PropPreBlocker| 88057921244 |10928401891 |11138293771 |10993651650 |11092275413 |10954294757 |10925966919 |11080814901 |10944221942 | 2284.66/317.75 c (307,0) c | PropNotBlocker| 9943877721 | 1270646389 | 1154887803 | 1238022643 | 1148161415 | 1309850721 | 1320566018 | 1196222798 | 1305519934 | 2284.66/317.75 c (307,0) c | LitFullScans | 108454453707 |13452441382 |13572541467 |13572521649 |13572546312 |13572803465 |13572624238 |13572491296 |13566483898 | 2284.66/317.75 c (307,0) c | LitScanFracts | 4105502 | 540856 | 519407 | 481145 | 544558 | 501507 | 545314 | 490581 | 482134 | 2284.66/317.75 c (307,0) c | DecisionLevel0| 5976 | 616 | 870 | 420 | 997 | 959 | 381 | 1046 | 687 | 2284.66/317.75 c (307,0) c | Periods | 18074 | 2241 | 2262 | 2262 | 2262 | 2262 | 2262 | 2262 | 2261 | 2284.66/317.75 c (307,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 2284.66/317.75 c (307,0) c | Avg_Trail | | 24256 | 23451 | 23054 | 20275 | 23148 | 21987 | 21675 | 23018 | 2284.66/317.75 c (307,0) c | Avg_DL | | 121 | 94 | 92 | 110 | 108 | 108 | 96 | 136 | 2284.66/317.75 c (307,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2284.66/317.75 c (307,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2284.66/317.75 c (307,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.75 c (307,0) c | Exported | 78874 | 6286 | 12635 | 8040 | 16844 | 7493 | 8985 | 10176 | 8415 | 2284.66/317.75 c (307,0) c | Imported | 548493 | 71815 | 65748 | 70304 | 61713 | 70976 | 69556 | 68338 | 70043 | 2284.66/317.75 c (307,0) c | Good | 34271 | 4197 | 4255 | 4350 | 4398 | 4283 | 4331 | 4351 | 4106 | 2284.66/317.75 c (307,0) c | Purge | 514222 | 67618 | 61493 | 65954 | 57315 | 66693 | 65225 | 63987 | 65937 | 2284.66/317.76 c (307,0) c | Promoted | 7260 | 969 | 922 | 843 | 871 | 918 | 948 | 817 | 972 | 2284.66/317.76 c (307,0) c | Remove_Imp | 196004 | 30135 | 18959 | 25656 | 14936 | 28514 | 24481 | 23071 | 30252 | 2284.66/317.76 c (307,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2284.66/317.76 c (307,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.76 c (307,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2284.66/317.76 c (307,0) c | Binaries | | 670 | 641 | 537 | 537 | 628 | 586 | 561 | 804 | 2284.66/317.76 c (307,0) c | Glues | | 2561 | 2119 | 1804 | 1592 | 2627 | 2035 | 1972 | 2567 | 2284.66/317.76 c (307,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.76 c (307,0) c | Orig_Seen | 80 % | 943843 | 895923 | 892943 | 879019 | 934865 | 892095 | 884147 | 951512 | 2284.66/317.76 c (307,0) c | Diff Orig seen| | X | - 47920 | - 50900 | - 64824 | - 8978 | - 51748 | - 59696 | 7669 | 2284.66/317.76 c (307,0) c | Hamming | 19 % | X | 7782 | 7773 | 7282 | 9344 | 7636 | 7969 | 8064 | 2284.66/317.76 c (307,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.76 c (307,0) c | RunningTime | | 304.1 100%| 284.0 93%| 284.2 93%| 281.3 92%| 276.9 91%| 284.3 93%| 285.2 94%| 273.9 90%| 2284.66/317.76 c (307,0) c | WaitingTime | | 0.0 0%| 20.1 7%| 20.1 7%| 22.8 7%| 27.2 9%| 19.8 7%| 18.8 6%| 30.3 10%| 2284.66/317.76 c (307,0) c | ExchangingTime| | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 2284.66/317.76 c (307,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%| 2284.66/317.76 c (307,0) c | SolvingTime | | 304.2 | 304.2 | 304.3 | 304.2 | 304.2 | 304.2 | 304.2 | 304.2 | 2284.66/317.76 c (307,0) c | PropagationTim| | 282.5 93%| 284.3 93%| 282.4 93%| 283.3 93%| 283.7 93%| 281.2 92%| 282.9 93%| 283.5 93%| 2284.66/317.76 c (307,0) c | AnalysisTime | | 13.7 5%| 12.0 4%| 14.3 5%| 12.9 4%| 12.9 4%| 15.0 5%| 13.2 4%| 12.7 4%| 2284.66/317.76 c (307,0) c | ReductionTime | | 0.6 0%| 0.6 0%| 0.4 0%| 0.6 0%| 0.4 0%| 0.6 0%| 0.7 0%| 0.6 0%| 2284.66/317.76 c (307,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 2284.66/317.76 c (307,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%| 2284.66/317.76 c (307,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%| 2284.66/317.76 c (307,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.76 c (307,0) c 2284.66/317.76 c (307,0) c 2284.66/317.76 c (307,0) c Threads : 8 2284.66/317.76 c (307,0) c Winner : 0 2284.66/317.76 c (307,0) c Conflicts_0 : 105651 2284.66/317.76 c (307,0) c Conflicts_1 : 125941 2284.66/317.76 c (307,0) c Conflicts_2 : 110896 2284.66/317.76 c (307,0) c Conflicts_3 : 139650 2284.66/317.76 c (307,0) c Conflicts_4 : 104120 2284.66/317.76 c (307,0) c Conflicts_5 : 122478 2284.66/317.76 c (307,0) c Conflicts_6 : 123114 2284.66/317.76 c (307,0) c Conflicts_7 : 99416 2284.66/317.76 c (307,0) c Conflicts_total : 931266 2284.66/317.76 c (307,0) c Conflicts_winner : 105651 2284.66/317.76 c (307,0) c Decisions_0 : 1376610 2284.66/317.76 c (307,0) c Decisions_1 : 1289714 2284.66/317.76 c (307,0) c Decisions_2 : 1209388 2284.66/317.76 c (307,0) c Decisions_3 : 1235413 2284.66/317.76 c (307,0) c Decisions_4 : 1446846 2284.66/317.76 c (307,0) c Decisions_5 : 1150578 2284.66/317.76 c (307,0) c Decisions_6 : 1250364 2284.66/317.76 c (307,0) c Decisions_7 : 1553210 2284.66/317.76 c (307,0) c Decisions_total : 10512123 2284.66/317.76 c (307,0) c Decisions_winner : 1376610 2284.66/317.76 c (307,0) c Propagations_0 : 356244818 2284.66/317.76 c (307,0) c Propagations_1 : 371250217 2284.66/317.76 c (307,0) c Propagations_2 : 373318914 2284.66/317.76 c (307,0) c Propagations_3 : 381163890 2284.66/317.76 c (307,0) c Propagations_4 : 375034626 2284.66/317.76 c (307,0) c Propagations_5 : 374422598 2284.66/317.76 c (307,0) c Propagations_6 : 371957715 2284.66/317.76 c (307,0) c Propagations_7 : 374497657 2284.66/317.76 c (307,0) c Propagations_total : 2977890435 2284.66/317.76 c (307,0) c Propagations_winner : 356244818 2284.66/317.76 c (307,0) c ReduceDBs_0 : 8 2284.66/317.76 c (307,0) c ReduceDBs_1 : 9 2284.66/317.76 c (307,0) c ReduceDBs_2 : 8 2284.66/317.76 c (307,0) c ReduceDBs_3 : 10 2284.66/317.76 c (307,0) c ReduceDBs_4 : 8 2284.66/317.76 c (307,0) c ReduceDBs_5 : 9 2284.66/317.76 c (307,0) c ReduceDBs_6 : 9 2284.66/317.76 c (307,0) c ReduceDBs_7 : 8 2284.66/317.76 c (307,0) c ReduceDBs_total : 69 2284.66/317.76 c (307,0) c ReduceDBs_winner : 8 2284.66/317.76 c (307,0) c SimpDBs_0 : 1 2284.66/317.76 c (307,0) c SimpDBs_1 : 1 2284.66/317.76 c (307,0) c SimpDBs_2 : 1 2284.66/317.76 c (307,0) c SimpDBs_3 : 1 2284.66/317.76 c (307,0) c SimpDBs_4 : 1 2284.66/317.76 c (307,0) c SimpDBs_5 : 1 2284.66/317.76 c (307,0) c SimpDBs_6 : 1 2284.66/317.76 c (307,0) c SimpDBs_7 : 1 2284.66/317.76 c (307,0) c SimpDBs_total : 8 2284.66/317.76 c (307,0) c SimpDBs_winner : 1 2284.66/317.76 c (307,0) c Restarts_0 : 616 2284.66/317.76 c (307,0) c Restarts_1 : 870 2284.66/317.76 c (307,0) c Restarts_2 : 420 2284.66/317.76 c (307,0) c Restarts_3 : 997 2284.66/317.76 c (307,0) c Restarts_4 : 959 2284.66/317.76 c (307,0) c Restarts_5 : 381 2284.66/317.76 c (307,0) c Restarts_6 : 1046 2284.66/317.76 c (307,0) c Restarts_7 : 687 2284.66/317.76 c (307,0) c Restarts_total : 5976 2284.66/317.76 c (307,0) c Restarts_winner : 616 2284.66/317.76 c (307,0) c ForcedImports_0 : 0 2284.66/317.76 c (307,0) c ForcedImports_1 : 0 2284.66/317.76 c (307,0) c ForcedImports_2 : 0 2284.66/317.76 c (307,0) c ForcedImports_3 : 0 2284.66/317.76 c (307,0) c ForcedImports_4 : 0 2284.66/317.76 c (307,0) c ForcedImports_5 : 0 2284.66/317.76 c (307,0) c ForcedImports_6 : 0 2284.66/317.76 c (307,0) c ForcedImports_7 : 0 2284.66/317.76 c (307,0) c ForcedImports_total : 0 2284.66/317.76 c (307,0) c ForcedImports_winner : 0 2284.66/317.76 c (307,0) c PropsBinClauses_0 : 637435414 2284.66/317.76 c (307,0) c PropsBinClauses_1 : 663849645 2284.66/317.76 c (307,0) c PropsBinClauses_2 : 664551122 2284.66/317.76 c (307,0) c PropsBinClauses_3 : 677358559 2284.66/317.76 c (307,0) c PropsBinClauses_4 : 665332246 2284.66/317.76 c (307,0) c PropsBinClauses_5 : 662443460 2284.66/317.76 c (307,0) c PropsBinClauses_6 : 662901820 2284.66/317.76 c (307,0) c PropsBinClauses_7 : 664234551 2284.66/317.76 c (307,0) c PropsBinClauses_total : 5298106817 2284.66/317.76 c (307,0) c PropsBinClauses_winner : 637435414 2284.66/317.76 c (307,0) c PropsPreBlocker_0 : 10928401891 2284.66/317.76 c (307,0) c PropsPreBlocker_1 : 11138293771 2284.66/317.76 c (307,0) c PropsPreBlocker_2 : 10993651650 2284.66/317.76 c (307,0) c PropsPreBlocker_3 : 11092275413 2284.66/317.77 c (307,0) c PropsPreBlocker_4 : 10954294757 2284.66/317.77 c (307,0) c PropsPreBlocker_5 : 10925966919 2284.66/317.77 c (307,0) c PropsPreBlocker_6 : 11080814901 2284.66/317.77 c (307,0) c PropsPreBlocker_7 : 10944221942 2284.66/317.77 c (307,0) c PropsPreBlocker_total : 88057921244 2284.66/317.77 c (307,0) c PropsPreBlocker_winner : 10928401891 2284.66/317.77 c (307,0) c PropsNotBlocker_0 : 1270646389 2284.66/317.77 c (307,0) c PropsNotBlocker_1 : 1154887803 2284.66/317.77 c (307,0) c PropsNotBlocker_2 : 1238022643 2284.66/317.77 c (307,0) c PropsNotBlocker_3 : 1148161415 2284.66/317.77 c (307,0) c PropsNotBlocker_4 : 1309850721 2284.66/317.77 c (307,0) c PropsNotBlocker_5 : 1320566018 2284.66/317.77 c (307,0) c PropsNotBlocker_6 : 1196222798 2284.66/317.77 c (307,0) c PropsNotBlocker_7 : 1305519934 2284.66/317.77 c (307,0) c PropsNotBlocker_total : 9943877721 2284.66/317.77 c (307,0) c PropsNotBlocker_winner : 1270646389 2284.66/317.77 c (307,0) c PropsLitFullScans_0 : 13452441382 2284.66/317.77 c (307,0) c PropsLitFullScans_1 : 13572541467 2284.66/317.77 c (307,0) c PropsLitFullScans_2 : 13572521649 2284.66/317.77 c (307,0) c PropsLitFullScans_3 : 13572546312 2284.66/317.77 c (307,0) c PropsLitFullScans_4 : 13572803465 2284.66/317.77 c (307,0) c PropsLitFullScans_5 : 13572624238 2284.66/317.77 c (307,0) c PropsLitFullScans_6 : 13572491296 2284.66/317.77 c (307,0) c PropsLitFullScans_7 : 13566483898 2284.66/317.77 c (307,0) c PropsLitFullScans_total : 108454453707 2284.66/317.77 c (307,0) c PropsLitFullScans_winner : 13452441382 2284.66/317.77 c (307,0) c LitScanFractions_0 : 540856 2284.66/317.77 c (307,0) c LitScanFractions_1 : 519407 2284.66/317.77 c (307,0) c LitScanFractions_2 : 481145 2284.66/317.77 c (307,0) c LitScanFractions_3 : 544558 2284.66/317.77 c (307,0) c LitScanFractions_4 : 501507 2284.66/317.77 c (307,0) c LitScanFractions_5 : 545314 2284.66/317.77 c (307,0) c LitScanFractions_6 : 490581 2284.66/317.77 c (307,0) c LitScanFractions_7 : 482134 2284.66/317.77 c (307,0) c LitScanFractions_total : 4105502 2284.66/317.77 c (307,0) c LitScanFractions_winner : 540856 2284.66/317.77 c (307,0) c DecisionLevel0_0 : 616 2284.66/317.77 c (307,0) c DecisionLevel0_1 : 870 2284.66/317.77 c (307,0) c DecisionLevel0_2 : 420 2284.66/317.77 c (307,0) c DecisionLevel0_3 : 997 2284.66/317.77 c (307,0) c DecisionLevel0_4 : 959 2284.66/317.77 c (307,0) c DecisionLevel0_5 : 381 2284.66/317.77 c (307,0) c DecisionLevel0_6 : 1046 2284.66/317.77 c (307,0) c DecisionLevel0_7 : 687 2284.66/317.77 c (307,0) c DecisionLevel0_total : 5976 2284.66/317.77 c (307,0) c DecisionLevel0_winner : 616 2284.66/317.77 c (307,0) c Periods_0 : 2241 2284.66/317.77 c (307,0) c Periods_1 : 2262 2284.66/317.77 c (307,0) c Periods_2 : 2262 2284.66/317.77 c (307,0) c Periods_3 : 2262 2284.66/317.77 c (307,0) c Periods_4 : 2262 2284.66/317.77 c (307,0) c Periods_5 : 2262 2284.66/317.77 c (307,0) c Periods_6 : 2262 2284.66/317.77 c (307,0) c Periods_7 : 2261 2284.66/317.77 c (307,0) c Periods_total : 18074 2284.66/317.77 c (307,0) c Periods_winner : 2241 2284.66/317.77 c (307,0) c Margin_0 : 20 2284.66/317.77 c (307,0) c Margin_1 : 20 2284.66/317.77 c (307,0) c Margin_2 : 20 2284.66/317.77 c (307,0) c Margin_3 : 20 2284.66/317.77 c (307,0) c Margin_4 : 20 2284.66/317.77 c (307,0) c Margin_5 : 20 2284.66/317.77 c (307,0) c Margin_6 : 20 2284.66/317.77 c (307,0) c Margin_7 : 20 2284.66/317.77 c (307,0) c Margin_total : 160 2284.66/317.77 c (307,0) c Margin_winner : 20 2284.66/317.77 c (307,0) c Exported_0 : 6286 2284.66/317.77 c (307,0) c Exported_1 : 12635 2284.66/317.77 c (307,0) c Exported_2 : 8040 2284.66/317.77 c (307,0) c Exported_3 : 16844 2284.66/317.77 c (307,0) c Exported_4 : 7493 2284.66/317.77 c (307,0) c Exported_5 : 8985 2284.66/317.77 c (307,0) c Exported_6 : 10176 2284.66/317.77 c (307,0) c Exported_7 : 8415 2284.66/317.77 c (307,0) c Exported_total : 78874 2284.66/317.77 c (307,0) c Exported_winner : 6286 2284.66/317.77 c (307,0) c Imported_0 : 71815 2284.66/317.77 c (307,0) c Imported_1 : 65748 2284.66/317.77 c (307,0) c Imported_2 : 70304 2284.66/317.77 c (307,0) c Imported_3 : 61713 2284.66/317.77 c (307,0) c Imported_4 : 70976 2284.66/317.77 c (307,0) c Imported_5 : 69556 2284.66/317.77 c (307,0) c Imported_6 : 68338 2284.66/317.77 c (307,0) c Imported_7 : 70043 2284.66/317.77 c (307,0) c Imported_total : 548493 2284.66/317.77 c (307,0) c Imported_winner : 71815 2284.66/317.77 c (307,0) c Good_0 : 4197 2284.66/317.77 c (307,0) c Good_1 : 4255 2284.66/317.77 c (307,0) c Good_2 : 4350 2284.66/317.77 c (307,0) c Good_3 : 4398 2284.66/317.77 c (307,0) c Good_4 : 4283 2284.66/317.77 c (307,0) c Good_5 : 4331 2284.66/317.77 c (307,0) c Good_6 : 4351 2284.66/317.77 c (307,0) c Good_7 : 4106 2284.66/317.77 c (307,0) c Good_total : 34271 2284.66/317.77 c (307,0) c Good_winner : 4197 2284.66/317.77 c (307,0) c Purge_0 : 67618 2284.66/317.77 c (307,0) c Purge_1 : 61493 2284.66/317.77 c (307,0) c Purge_2 : 65954 2284.66/317.77 c (307,0) c Purge_3 : 57315 2284.66/317.77 c (307,0) c Purge_4 : 66693 2284.66/317.77 c (307,0) c Purge_5 : 65225 2284.66/317.77 c (307,0) c Purge_6 : 63987 2284.66/317.77 c (307,0) c Purge_7 : 65937 2284.66/317.77 c (307,0) c Purge_total : 514222 2284.66/317.77 c (307,0) c Purge_winner : 67618 2284.66/317.77 c (307,0) c Promoted_0 : 969 2284.66/317.77 c (307,0) c Promoted_1 : 922 2284.66/317.77 c (307,0) c Promoted_2 : 843 2284.66/317.77 c (307,0) c Promoted_3 : 871 2284.66/317.77 c (307,0) c Promoted_4 : 918 2284.66/317.77 c (307,0) c Promoted_5 : 948 2284.66/317.77 c (307,0) c Promoted_6 : 817 2284.66/317.77 c (307,0) c Promoted_7 : 972 2284.66/317.77 c (307,0) c Promoted_total : 7260 2284.66/317.77 c (307,0) c Promoted_winner : 969 2284.66/317.77 c (307,0) c Remove_Imp_0 : 30135 2284.66/317.77 c (307,0) c Remove_Imp_1 : 18959 2284.66/317.77 c (307,0) c Remove_Imp_2 : 25656 2284.66/317.77 c (307,0) c Remove_Imp_3 : 14936 2284.66/317.77 c (307,0) c Remove_Imp_4 : 28514 2284.66/317.77 c (307,0) c Remove_Imp_5 : 24481 2284.66/317.77 c (307,0) c Remove_Imp_6 : 23071 2284.66/317.77 c (307,0) c Remove_Imp_7 : 30252 2284.66/317.77 c (307,0) c Remove_Imp_total : 196004 2284.66/317.77 c (307,0) c Remove_Imp_winner : 30135 2284.66/317.77 c (307,0) c Blocked_Reuse_0 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_1 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_2 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_3 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_4 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_5 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_6 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_7 : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_total : 0 2284.66/317.77 c (307,0) c Blocked_Reuse_winner : 0 2284.66/317.77 c (307,0) c Unaries_0 : 0 2284.66/317.77 c (307,0) c Unaries_1 : 0 2284.66/317.77 c (307,0) c Unaries_2 : 0 2284.66/317.77 c (307,0) c Unaries_3 : 0 2284.66/317.77 c (307,0) c Unaries_4 : 0 2284.66/317.77 c (307,0) c Unaries_5 : 0 2284.66/317.77 c (307,0) c Unaries_6 : 0 2284.66/317.77 c (307,0) c Unaries_7 : 0 2284.66/317.77 c (307,0) c Unaries_total : 0 2284.66/317.77 c (307,0) c Unaries_winner : 0 2284.66/317.77 c (307,0) c Binaries_0 : 670 2284.66/317.77 c (307,0) c Binaries_1 : 641 2284.66/317.77 c (307,0) c Binaries_2 : 537 2284.66/317.77 c (307,0) c Binaries_3 : 537 2284.66/317.77 c (307,0) c Binaries_4 : 628 2284.66/317.77 c (307,0) c Binaries_5 : 586 2284.66/317.77 c (307,0) c Binaries_6 : 561 2284.66/317.77 c (307,0) c Binaries_7 : 804 2284.66/317.77 c (307,0) c Binaries_total : 4964 2284.66/317.77 c (307,0) c Binaries_winner : 670 2284.66/317.77 c (307,0) c Glues_0 : 2561 2284.66/317.77 c (307,0) c Glues_1 : 2119 2284.66/317.77 c (307,0) c Glues_2 : 1804 2284.66/317.77 c (307,0) c Glues_3 : 1592 2284.66/317.77 c (307,0) c Glues_4 : 2627 2284.66/317.77 c (307,0) c Glues_5 : 2035 2284.66/317.77 c (307,0) c Glues_6 : 1972 2284.66/317.77 c (307,0) c Glues_7 : 2567 2284.66/317.77 c (307,0) c Glues_total : 17277 2284.66/317.77 c (307,0) c Glues_winner : 2561 2284.66/317.77 c (307,0) c RunningTime_0 : 304.083043 2284.66/317.77 c (307,0) c RunningTime_1 : 283.983667 2284.66/317.77 c (307,0) c RunningTime_2 : 284.151066 2284.66/317.77 c (307,0) c RunningTime_3 : 281.314306 2284.66/317.77 c (307,0) c RunningTime_4 : 276.947834 2284.66/317.77 c (307,0) c RunningTime_5 : 284.291948 2284.66/317.77 c (307,0) c RunningTime_6 : 285.244023 2284.66/317.77 c (307,0) c RunningTime_7 : 273.879627 2284.66/317.77 c (307,0) c RunningTime_total : 2273.895514 2284.66/317.77 c (307,0) c RunningTime_winner : 304.083043 2284.66/317.77 c (307,0) c WaitingTime_0 : 0.002746 2284.66/317.77 c (307,0) c WaitingTime_1 : 20.100538 2284.66/317.77 c (307,0) c WaitingTime_2 : 20.056690 2284.66/317.77 c (307,0) c WaitingTime_3 : 22.773118 2284.66/317.77 c (307,0) c WaitingTime_4 : 27.157515 2284.66/317.77 c (307,0) c WaitingTime_5 : 19.811095 2284.66/317.77 c (307,0) c WaitingTime_6 : 18.842881 2284.66/317.77 c (307,0) c WaitingTime_7 : 30.258561 2284.66/317.77 c (307,0) c WaitingTime_total : 159.003145 2284.66/317.77 c (307,0) c WaitingTime_winner : 0.002746 2284.66/317.77 c (307,0) c ExchangingTime_0 : 0.079942 2284.66/317.77 c (307,0) c ExchangingTime_1 : 0.080125 2284.66/317.77 c (307,0) c ExchangingTime_2 : 0.076813 2284.66/317.77 c (307,0) c ExchangingTime_3 : 0.083189 2284.66/317.77 c (307,0) c ExchangingTime_4 : 0.083320 2284.66/317.77 c (307,0) c ExchangingTime_5 : 0.076354 2284.66/317.77 c (307,0) c ExchangingTime_6 : 0.087997 2284.66/317.77 c (307,0) c ExchangingTime_7 : 0.082129 2284.66/317.77 c (307,0) c ExchangingTime_total : 0.649870 2284.66/317.77 c (307,0) c ExchangingTime_winner : 0.079942 2284.66/317.77 c (307,0) c PeriodProcTime_0 : 0.037977 2284.66/317.77 c (307,0) c PeriodProcTime_1 : 0.039262 2284.66/317.77 c (307,0) c PeriodProcTime_2 : 0.023043 2284.66/317.77 c (307,0) c PeriodProcTime_3 : 0.026382 2284.66/317.77 c (307,0) c PeriodProcTime_4 : 0.020900 2284.66/317.77 c (307,0) c PeriodProcTime_5 : 0.022206 2284.66/317.77 c (307,0) c PeriodProcTime_6 : 0.024283 2284.66/317.77 c (307,0) c PeriodProcTime_7 : 0.021922 2284.66/317.77 c (307,0) c PeriodProcTime_total : 0.215975 2284.66/317.77 c (307,0) c PeriodProcTime_winner : 0.037977 2284.66/317.77 c (307,0) c SolvingTime_0 : 304.203709 2284.66/317.77 c (307,0) c SolvingTime_1 : 304.203593 2284.66/317.77 c (307,0) c SolvingTime_2 : 304.307612 2284.66/317.77 c (307,0) c SolvingTime_3 : 304.196995 2284.66/317.77 c (307,0) c SolvingTime_4 : 304.209569 2284.66/317.77 c (307,0) c SolvingTime_5 : 304.201603 2284.66/317.77 c (307,0) c SolvingTime_6 : 304.199184 2284.66/317.77 c (307,0) c SolvingTime_7 : 304.242239 2284.66/317.77 c (307,0) c SolvingTime_total : 2433.764503 2284.66/317.77 c (307,0) c SolvingTime_winner : 304.203709 2284.66/317.77 c (307,0) c PropagationTime_0 : 282.489675 2284.66/317.77 c (307,0) c PropagationTime_1 : 284.296088 2284.66/317.77 c (307,0) c PropagationTime_2 : 282.375588 2284.66/317.77 c (307,0) c PropagationTime_3 : 283.318504 2284.66/317.77 c (307,0) c PropagationTime_4 : 283.668424 2284.66/317.77 c (307,0) c PropagationTime_5 : 281.213822 2284.66/317.77 c (307,0) c PropagationTime_6 : 282.889152 2284.66/317.77 c (307,0) c PropagationTime_7 : 283.468822 2284.66/317.77 c (307,0) c PropagationTime_total : 2263.720075 2284.66/317.77 c (307,0) c PropagationTime_winner : 282.489675 2284.66/317.77 c (307,0) c AnalysisTime_0 : 13.695452 2284.66/317.77 c (307,0) c AnalysisTime_1 : 12.028712 2284.66/317.77 c (307,0) c AnalysisTime_2 : 14.279477 2284.66/317.77 c (307,0) c AnalysisTime_3 : 12.863912 2284.66/317.77 c (307,0) c AnalysisTime_4 : 12.873382 2284.66/317.77 c (307,0) c AnalysisTime_5 : 15.011019 2284.66/317.77 c (307,0) c AnalysisTime_6 : 13.211468 2284.66/317.77 c (307,0) c AnalysisTime_7 : 12.653321 2284.66/317.77 c (307,0) c AnalysisTime_total : 106.616743 2284.66/317.77 c (307,0) c AnalysisTime_winner : 13.695452 2284.66/317.77 c (307,0) c ReductionTime_0 : 0.640689 2284.66/317.77 c (307,0) c ReductionTime_1 : 0.605096 2284.66/317.77 c (307,0) c ReductionTime_2 : 0.402147 2284.66/317.77 c (307,0) c ReductionTime_3 : 0.642641 2284.66/317.77 c (307,0) c ReductionTime_4 : 0.413343 2284.66/317.77 c (307,0) c ReductionTime_5 : 0.593616 2284.66/317.77 c (307,0) c ReductionTime_6 : 0.731063 2284.66/317.77 c (307,0) c ReductionTime_7 : 0.581058 2284.66/317.77 c (307,0) c ReductionTime_total : 4.609652 2284.66/317.77 c (307,0) c ReductionTime_winner : 0.640689 2284.66/317.77 c (307,0) c SimplifyTime_0 : 0.000081 2284.66/317.77 c (307,0) c SimplifyTime_1 : 0.000080 2284.66/317.77 c (307,0) c SimplifyTime_2 : 0.000045 2284.66/317.77 c (307,0) c SimplifyTime_3 : 0.000131 2284.66/317.77 c (307,0) c SimplifyTime_4 : 0.000102 2284.66/317.77 c (307,0) c SimplifyTime_5 : 0.000044 2284.66/317.77 c (307,0) c SimplifyTime_6 : 0.000145 2284.66/317.77 c (307,0) c SimplifyTime_7 : 0.000068 2284.66/317.77 c (307,0) c SimplifyTime_total : 0.000696 2284.66/317.77 c (307,0) c SimplifyTime_winner : 0.000081 2284.66/317.77 c (307,0) c UsedRateTime_0 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_1 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_2 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_3 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_4 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_5 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_6 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_7 : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_total : 0.000000 2284.66/317.77 c (307,0) c UsedRateTime_winner : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_0 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_1 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_2 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_3 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_4 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_5 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_6 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_7 : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_total : 0.000000 2284.66/317.77 c (307,0) c OverlapRateTime_winner : 0.000000 2284.66/317.77 c (307,0) c 2284.66/317.77 c (307,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2284.66/317.77 c (307,0) c 2284.66/317.77 c (307,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.77 c (307,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2284.66/317.77 c (307,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.77 c (307,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2284.66/317.77 c (307,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 2284.66/317.77 c (307,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2284.66/317.77 c (307,0) c | Initial random_seed | 5042896 | 1102540661 | 364182169 | 1291252078 | 1954254346 | 698109686 | 266986205 | 2064682357 | 2284.66/317.77 c (307,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2284.66/317.77 c (307,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2284.66/317.77 c (307,0) c | glureduce | True | True | True | True | True | True | True | True | 2284.66/317.77 c (307,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2284.66/317.77 c (307,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2284.66/317.77 c (307,0) c | luby_restart | False | False | False | False | False | False | False | False | 2284.66/317.77 c (307,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2284.66/317.77 c (307,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2284.66/317.77 c (307,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2284.66/317.77 c (307,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2284.66/317.77 c (307,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2284.66/317.77 c (307,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2284.66/317.77 c (307,0) 2284.66/317.77 c (307,0) s SATISFIABLE 21.84/317.84 c (307,0) SatSolver.solve End 21.84/317.84 c (307,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 21.84/317.84 c (307,0) Show results Begin 2285.11/317.97 c (307,0) x[0][0] = 84 2285.11/317.97 c (307,0) x[0][1] = 119 2285.11/317.97 c (307,0) x[0][2] = 124 2285.11/317.97 c (307,0) x[0][3] = 103 2285.11/317.97 c (307,0) x[0][4] = 9 2285.11/317.97 c (307,0) x[0][5] = 120 2285.11/317.97 c (307,0) x[0][6] = 107 2285.11/317.97 c (307,0) x[0][7] = 112 2285.11/317.97 c (307,0) x[0][8] = 96 2285.11/317.97 c (307,0) x[0][9] = 1 2285.11/317.97 c (307,0) x[0][10] = 75 2285.11/317.97 c (307,0) x[0][11] = 19 2285.11/317.97 c (307,0) x[0][12] = 51 2285.11/317.97 c (307,0) x[0][13] = 37 2285.11/317.97 c (307,0) x[0][14] = 101 2285.11/317.97 c (307,0) x[0][15] = 77 2285.11/317.97 c (307,0) x[0][16] = 11 2285.11/317.97 c (307,0) x[0][17] = 71 2285.11/317.97 c (307,0) x[0][18] = 0 2285.11/317.97 c (307,0) x[0][19] = 72 2285.11/317.97 c (307,0) x[0][20] = 17 2285.11/317.97 c (307,0) x[0][21] = 2 2285.11/317.97 c (307,0) x[0][22] = 33 2285.11/317.97 c (307,0) x[0][23] = 10 2285.11/317.97 c (307,0) x[0][24] = 24 2285.11/317.97 c (307,0) x[0][25] = 4 2285.11/317.97 c (307,0) x[0][26] = 42 2285.11/317.97 c (307,0) x[0][27] = 27 2285.11/317.97 c (307,0) x[0][28] = 6 2285.11/317.97 c (307,0) x[0][29] = 7 2285.11/317.97 c (307,0) x[0][30] = 41 2285.11/317.97 c (307,0) x[0][31] = 16 2285.11/317.97 c (307,0) x[0][32] = 63 2285.11/317.97 c (307,0) x[0][33] = 8 2285.11/317.97 c (307,0) x[0][34] = 28 2285.11/317.97 c (307,0) x[0][35] = 18 2285.11/317.97 c (307,0) x[0][36] = 53 2285.11/317.97 c (307,0) x[0][37] = 5 2285.11/317.97 c (307,0) x[0][38] = 22 2285.11/317.97 c (307,0) x[0][39] = 13 2285.11/317.97 c (307,0) x[0][40] = 26 2285.11/317.97 c (307,0) x[0][41] = 3 2285.11/317.97 c (307,0) x[0][42] = 30 2285.11/317.97 c (307,0) x[0][43] = 14 2285.11/317.97 c (307,0) x[0][44] = 34 2285.11/317.97 c (307,0) x[1][0] = 86 2285.11/317.97 c (307,0) x[1][1] = 122 2285.11/317.97 c (307,0) x[1][2] = 128 2285.11/317.97 c (307,0) x[1][3] = 108 2285.11/317.97 c (307,0) x[1][4] = 15 2285.11/317.97 c (307,0) x[1][5] = 127 2285.11/317.97 c (307,0) x[1][6] = 115 2285.11/317.97 c (307,0) x[1][7] = 121 2285.11/317.97 c (307,0) x[1][8] = 106 2285.11/317.97 c (307,0) x[1][9] = 12 2285.11/317.97 c (307,0) x[1][10] = 87 2285.11/317.97 c (307,0) x[1][11] = 32 2285.11/317.97 c (307,0) x[1][12] = 65 2285.11/317.97 c (307,0) x[1][13] = 52 2285.11/317.97 c (307,0) x[1][14] = 117 2285.11/317.97 c (307,0) x[1][15] = 94 2285.11/317.97 c (307,0) x[1][16] = 29 2285.11/317.97 c (307,0) x[1][17] = 90 2285.11/317.97 c (307,0) x[1][18] = 20 2285.11/317.97 c (307,0) x[1][19] = 93 2285.11/317.97 c (307,0) x[1][20] = 39 2285.11/317.97 c (307,0) x[1][21] = 25 2285.11/317.97 c (307,0) x[1][22] = 57 2285.11/317.97 c (307,0) x[1][23] = 35 2285.11/317.97 c (307,0) x[1][24] = 50 2285.11/317.97 c (307,0) x[1][25] = 31 2285.11/317.97 c (307,0) x[1][26] = 70 2285.11/317.97 c (307,0) x[1][27] = 56 2285.11/317.97 c (307,0) x[1][28] = 36 2285.11/317.97 c (307,0) x[1][29] = 38 2285.11/317.97 c (307,0) x[1][30] = 73 2285.11/317.97 c (307,0) x[1][31] = 49 2285.11/317.97 c (307,0) x[1][32] = 97 2285.11/317.97 c (307,0) x[1][33] = 43 2285.11/317.97 c (307,0) x[1][34] = 64 2285.11/317.97 c (307,0) x[1][35] = 55 2285.11/317.97 c (307,0) x[1][36] = 91 2285.11/317.97 c (307,0) x[1][37] = 44 2285.11/317.97 c (307,0) x[1][38] = 62 2285.11/317.97 c (307,0) x[1][39] = 54 2285.11/317.97 c (307,0) x[1][40] = 68 2285.11/317.97 c (307,0) x[1][41] = 46 2285.11/317.97 c (307,0) x[1][42] = 74 2285.11/317.97 c (307,0) x[1][43] = 59 2285.11/317.97 c (307,0) x[1][44] = 80 2285.11/317.97 c (307,0) x[2][0] = 88 2285.11/317.97 c (307,0) x[2][1] = 125 2285.11/317.97 c (307,0) x[2][2] = 132 2285.11/317.97 c (307,0) x[2][3] = 113 2285.11/317.97 c (307,0) x[2][4] = 21 2285.11/317.97 c (307,0) x[2][5] = 134 2285.11/317.97 c (307,0) x[2][6] = 123 2285.11/317.97 c (307,0) x[2][7] = 130 2285.11/317.97 c (307,0) x[2][8] = 116 2285.11/317.97 c (307,0) x[2][9] = 23 2285.11/317.97 c (307,0) x[2][10] = 99 2285.11/317.97 c (307,0) x[2][11] = 45 2285.11/317.97 c (307,0) x[2][12] = 79 2285.11/317.97 c (307,0) x[2][13] = 67 2285.11/317.97 c (307,0) x[2][14] = 133 2285.11/317.97 c (307,0) x[2][15] = 111 2285.11/317.97 c (307,0) x[2][16] = 47 2285.11/317.97 c (307,0) x[2][17] = 109 2285.11/317.97 c (307,0) x[2][18] = 40 2285.11/317.97 c (307,0) x[2][19] = 114 2285.11/317.97 c (307,0) x[2][20] = 61 2285.11/317.97 c (307,0) x[2][21] = 48 2285.11/317.97 c (307,0) x[2][22] = 81 2285.11/317.97 c (307,0) x[2][23] = 60 2285.11/317.97 c (307,0) x[2][24] = 76 2285.11/317.97 c (307,0) x[2][25] = 58 2285.11/317.97 c (307,0) x[2][26] = 98 2285.11/317.97 c (307,0) x[2][27] = 85 2285.11/317.97 c (307,0) x[2][28] = 66 2285.11/317.97 c (307,0) x[2][29] = 69 2285.11/317.97 c (307,0) x[2][30] = 105 2285.11/317.97 c (307,0) x[2][31] = 82 2285.11/317.97 c (307,0) x[2][32] = 131 2285.11/317.97 c (307,0) x[2][33] = 78 2285.11/317.97 c (307,0) x[2][34] = 100 2285.11/317.97 c (307,0) x[2][35] = 92 2285.11/317.97 c (307,0) x[2][36] = 129 2285.11/317.97 c (307,0) x[2][37] = 83 2285.11/317.97 c (307,0) x[2][38] = 102 2285.11/317.97 c (307,0) x[2][39] = 95 2285.11/317.97 c (307,0) x[2][40] = 110 2285.11/317.97 c (307,0) x[2][41] = 89 2285.11/317.97 c (307,0) x[2][42] = 118 2285.11/317.97 c (307,0) x[2][43] = 104 2285.11/317.97 c (307,0) x[2][44] = 126 2285.11/317.97 s SATISFIABLE 2285.11/317.98 v <instantiation> 2285.11/317.98 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44]</list> 2285.11/317.98 v <values>84 119 124 103 9 120 107 112 96 1 75 19 51 37 101 77 11 71 0 72 17 2 33 10 24 4 42 27 6 7 41 16 63 8 28 18 53 5 22 13 26 3 30 14 34 86 122 128 108 15 127 115 121 106 12 87 32 65 52 117 94 29 90 20 93 39 25 57 35 50 31 70 56 36 38 73 49 97 43 64 55 91 44 62 54 68 46 74 59 80 88 125 132 113 21 134 123 130 116 23 99 45 79 67 133 111 47 109 40 114 61 48 81 60 76 58 98 85 66 69 105 82 131 78 100 92 129 83 102 95 110 89 118 104 126</values> 2285.11/317.98 v </instantiation> 2285.11/317.98 c (307,0) Show results End 2285.11/317.98 c (307,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 2285.11/317.98 c (307,0) 307,307,STOP-AFTER(ALL) 2285.11/317.98 c END-Prog: Mon Sep 23 13:27:33 CEST 2019
OK
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13161 MiB free) memory of node 1: 16384 MiB (11745 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405357-1569241958/watcher-4405357-1569241958 -o /tmp/evaluation-result-4405357-1569241958/solver-4405357-1569241958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405357-1569241958.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=28912, runsolver pid=28909 [startup+0.100109 s]* /proc/loadavg: 7.28 7.82 7.02 2/211 28934 /proc/meminfo: memFree=25411864/32770624 swapFree=66986356/67108860 [pid=28912] ppid=28909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28912/stat : 28912 (scop.sh) S 28909 28912 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500452467 115843072 349 33554432000 4194304 5098028 140724637344704 140724637341960 140569803297404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11395072 140724637348645 140724637348972 140724637348972 140724637351885 0 /proc/28912/statm: 28282 349 296 221 0 87 0 [pid=28915] ppid=28912 vsize=27314120 memory=106372 CPUtime=0.1 cores=0-7 /proc/28915/stat : 28915 (java) S 28912 28912 27734 0 -1 1077944320 6649 0 0 0 8 2 0 0 20 0 20 0 500452467 27969658880 26593 33554432000 4194304 4196468 140722285654000 140722285636544 139783819775735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 /proc/28915/statm: 6828530 26593 2801 1 0 6790935 0 [pid=28915/tid=28916] ppid=28912 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/28915/task/28916/stat : 28916 (java) R 28912 28912 27734 0 -1 4202560 4756 0 0 0 7 2 0 0 20 0 20 0 500452468 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783791598760 139783812492887 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28917] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28917/stat : 28917 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783824018192 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28918] ppid=28912 vsize=27314120 memory=140575018959399 CPUtime=0 cores=0-7 /proc/28915/task/28918/stat : 28918 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783607413648 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28919] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28919/stat : 28919 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783606361104 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28920] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28920/stat : 28920 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783605308560 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28921] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28921/stat : 28921 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783604254992 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28922] ppid=28912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28915/task/28922/stat : 28922 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783238048144 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28923] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28923/stat : 28923 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783236995600 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28924] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28924/stat : 28924 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783235943056 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28925] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28925/stat : 28925 (java) S 28912 28912 27734 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783078636016 139783819786882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28926] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28926/stat : 28926 (java) S 28912 28912 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 26593 33554432000 4194304 4196468 140722285654000 139781656798624 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28927] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28927/stat : 28927 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 26593 33554432000 4194304 4196468 140722285654000 139781388363248 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28928] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28928/stat : 28928 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 26593 33554432000 4194304 4196468 140722285654000 139781013854928 139783819794331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28929] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28929/stat : 28929 (java) S 28912 28912 27734 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783077582832 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28930] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28930/stat : 28930 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783076530288 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28931] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28931/stat : 28931 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783075477744 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28932] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28932/stat : 28932 (java) S 28912 28912 27734 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783074425200 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28933] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28933/stat : 28933 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 26593 33554432000 4194304 4196468 140722285654000 139780515949280 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28934] ppid=28912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28915/task/28934/stat : 28934 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 26593 33554432000 4194304 4196468 140722285654000 139783073373104 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107768 KiB [startup+0.210182 s]* /proc/loadavg: 7.28 7.82 7.02 4/211 28934 /proc/meminfo: memFree=25390032/32770624 swapFree=66986356/67108860 [pid=28912] ppid=28909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28912/stat : 28912 (scop.sh) S 28909 28912 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500452467 115843072 349 33554432000 4194304 5098028 140724637344704 140724637341960 140569803297404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11395072 140724637348645 140724637348972 140724637348972 140724637351885 0 /proc/28912/statm: 28282 349 296 221 0 87 0 [pid=28915] ppid=28912 vsize=27314120 memory=125760 CPUtime=0.24 cores=0-7 /proc/28915/stat : 28915 (java) S 28912 28912 27734 0 -1 1077944320 12269 0 0 0 20 4 0 0 20 0 20 0 500452467 27969658880 31440 33554432000 4194304 4196468 140722285654000 140722285636544 139783819775735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 /proc/28915/statm: 6828530 31440 2974 1 0 6790935 0 [pid=28915/tid=28916] ppid=28912 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/28915/task/28916/stat : 28916 (java) R 28912 28912 27734 0 -1 4202560 10005 0 0 0 16 3 0 0 20 0 20 0 500452468 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783791575120 139783800051481 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28917] ppid=28912 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/28915/task/28917/stat : 28917 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783824018192 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28918] ppid=28912 vsize=27314120 memory=288370951170643584 CPUtime=0 cores=0-7 /proc/28915/task/28918/stat : 28918 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783607413648 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28919] ppid=28912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28915/task/28919/stat : 28919 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783606361104 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28920] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28920/stat : 28920 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783605308560 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28921] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28921/stat : 28921 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783604254992 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28922] ppid=28912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28915/task/28922/stat : 28922 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783238048144 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28923] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28923/stat : 28923 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783236995600 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28924] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28924/stat : 28924 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783235943056 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28925] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28925/stat : 28925 (java) S 28912 28912 27734 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783078636016 139783819786882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28926] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28926/stat : 28926 (java) S 28912 28912 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 31440 33554432000 4194304 4196468 140722285654000 139781656798624 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28927] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28927/stat : 28927 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 31440 33554432000 4194304 4196468 140722285654000 139781388363248 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28928] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28928/stat : 28928 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 31440 33554432000 4194304 4196468 140722285654000 139781013854928 139783819794331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28929] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28929/stat : 28929 (java) S 28912 28912 27734 0 -1 1077944384 333 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783077582832 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28930] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28930/stat : 28930 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783076530288 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28931] ppid=28912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28915/task/28931/stat : 28931 (java) S 28912 28912 27734 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783075477744 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28932] ppid=28912 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/28915/task/28932/stat : 28932 (java) S 28912 28912 27734 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 500452475 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783074425200 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28933] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28933/stat : 28933 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 31440 33554432000 4194304 4196468 140722285654000 139780515949280 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28934] ppid=28912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28915/task/28934/stat : 28934 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 31440 33554432000 4194304 4196468 140722285654000 139783073373104 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127156 KiB [startup+0.309508 s]* /proc/loadavg: 7.28 7.82 7.02 2/211 28934 /proc/meminfo: memFree=25387604/32770624 swapFree=66986356/67108860 [pid=28912] ppid=28909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28912/stat : 28912 (scop.sh) S 28909 28912 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500452467 115843072 349 33554432000 4194304 5098028 140724637344704 140724637341960 140569803297404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11395072 140724637348645 140724637348972 140724637348972 140724637351885 0 /proc/28912/statm: 28282 349 296 221 0 87 0 [pid=28915] ppid=28912 vsize=27314120 memory=129640 CPUtime=0.42 cores=0-7 /proc/28915/stat : 28915 (java) S 28912 28912 27734 0 -1 1077944320 12779 0 0 0 37 5 0 0 20 0 20 0 500452467 27969658880 32410 33554432000 4194304 4196468 140722285654000 140722285636544 139783819775735 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 /proc/28915/statm: 6828530 32410 3029 1 0 6790935 0 [pid=28915/tid=28916] ppid=28912 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/28915/task/28916/stat : 28916 (java) R 28912 28912 27734 0 -1 4202560 10321 0 0 0 26 3 0 0 20 0 20 0 500452468 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783791569840 139783819797661 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28917] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28917/stat : 28917 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783824018192 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28918] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28918/stat : 28918 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783607413648 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28919] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28919/stat : 28919 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783606361104 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28920] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28920/stat : 28920 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783605308560 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28921] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28921/stat : 28921 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783604254992 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28922] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28922/stat : 28922 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783238048144 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28923] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28923/stat : 28923 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783236995600 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28924] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28924/stat : 28924 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783235943056 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28925] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28925/stat : 28925 (java) S 28912 28912 27734 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783078636016 139783819786882 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28926] ppid=28912 vsize=27314120 memory=281149767359872 CPUtime=0 cores=0-7 /proc/28915/task/28926/stat : 28926 (java) S 28912 28912 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 32410 33554432000 4194304 4196468 140722285654000 139781656798624 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28927] ppid=28912 vsize=27314120 memory=281149767364480 CPUtime=0 cores=0-7 /proc/28915/task/28927/stat : 28927 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452472 27969658880 32410 33554432000 4194304 4196468 140722285654000 139781388363248 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28928] ppid=28912 vsize=27314120 memory=281149767369088 CPUtime=0 cores=0-7 /proc/28915/task/28928/stat : 28928 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 32410 33554432000 4194304 4196468 140722285654000 139781013854928 139783819794331 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28929] ppid=28912 vsize=27314120 memory=281149767373696 CPUtime=0 cores=0-7 /proc/28915/task/28929/stat : 28929 (java) S 28912 28912 27734 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783077582832 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28930] ppid=28912 vsize=27314120 memory=281149767378304 CPUtime=0.01 cores=0-7 /proc/28915/task/28930/stat : 28930 (java) R 28912 28912 27734 0 -1 4202560 120 0 0 0 1 0 0 0 20 0 20 0 500452475 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783076530288 139783812760777 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28931] ppid=28912 vsize=27314120 memory=281149767382912 CPUtime=0.01 cores=0-7 /proc/28915/task/28931/stat : 28931 (java) S 28912 28912 27734 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 500452475 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783075477744 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28932] ppid=28912 vsize=27314120 memory=281149767387520 CPUtime=0.07 cores=0-7 /proc/28915/task/28932/stat : 28932 (java) S 28912 28912 27734 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 500452475 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783074425200 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28933] ppid=28912 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28933/stat : 28933 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 32410 33554432000 4194304 4196468 140722285654000 139780515949280 139783819785941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28934] ppid=28912 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28915/task/28934/stat : 28934 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452475 27969658880 32410 33554432000 4194304 4196468 140722285654000 139783073373104 139783819786882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131036 KiB [startup+0.70092 s] /proc/loadavg: 7.28 7.82 7.02 2/211 28934 /proc/meminfo: memFree=25365508/32770624 swapFree=66986356/67108860 [pid=28912] ppid=28909 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/28912/stat : 28912 (scop.sh) S 28909 28912 27734 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 500452467 115843072 349 33554432000 4194304 5098028 140724637344704 140724637341960 140569803297404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11395072 140724637348645 140724637348972 140724637348972 140724637351885 0 /proc/28912/statm: 28282 349 296 221 0 87 0 [pid=28915] ppid=28912 vsize=27322516 memory=165728 CPUtime=0.99 cores=0-7 /proc/28915/stat : 28915 (java) S 28912 28912 27734 0 -1 1077944320 20596 0 0 0 92 7 0 0 20 0 20 0 500452467 27978256384 41432 33554432000 4194304 4196468 140722285654000 140722285636544 139783819775735 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 /proc/28915/statm: 6830629 41432 3183 1 0 6791959 0 [pid=28915/tid=28916] ppid=28912 vsize=27322516 memory=4580 CPUtime=0.68 cores=0-7 /proc/28915/task/28916/stat : 28916 (java) R 28912 28912 27734 0 -1 4202560 17519 0 0 0 63 5 0 0 20 0 20 0 500452468 27978256384 41432 33554432000 4194304 4196468 140722285654000 139783791607472 139783812453749 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28917] ppid=28912 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28917/stat : 28917 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27978256384 41432 33554432000 4194304 4196468 140722285654000 139783824018192 139783819785941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28918] ppid=28912 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/28915/task/28918/stat : 28918 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500452470 27978256384 41432 33554432000 4194304 4196468 140722285654000 139783607413648 139783819785941 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 [pid=28915/tid=28919] ppid=28912 vsize=27322516 memory=1056 CPUtime=0 cores=0-7 /proc/28915/task/28919/stat : 28919 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500452470 27978256384 41432 33554432000 4194304 4196468 140722285654000 139783606361104 139783819785941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23457792 140722285662955 140722285663382 140722285663382 140722285666255 0 ################ # More data... # ################ [pid=28937/tid=28940] ppid=28912 vsize=8414124 memory=912 CPUtime=0 cores=0-7 /proc/28937/task/28940/stat : 28940 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 30174 33554432000 4194304 4196468 140724224405888 139990019951760 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28941] ppid=28912 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/28937/task/28941/stat : 28941 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 30174 33554432000 4194304 4196468 140724224405888 139990018898704 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28942] ppid=28912 vsize=8414124 memory=2480 CPUtime=0 cores=0-7 /proc/28937/task/28942/stat : 28942 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 30174 33554432000 4194304 4196468 140724224405888 139990017846160 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28943] ppid=28912 vsize=8414124 memory=1768 CPUtime=0 cores=0-7 /proc/28937/task/28943/stat : 28943 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 30174 33554432000 4194304 4196468 140724224405888 139990016793104 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28944] ppid=28912 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/28937/task/28944/stat : 28944 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 30174 33554432000 4194304 4196468 140724224405888 139990015740560 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28945] ppid=28912 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/28937/task/28945/stat : 28945 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 30174 33554432000 4194304 4196468 140724224405888 139990014687504 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28946] ppid=28912 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/28937/task/28946/stat : 28946 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 30174 33554432000 4194304 4196468 140724224405888 139990013634960 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28947] ppid=28912 vsize=8414124 memory=920 CPUtime=0.01 cores=0-7 /proc/28937/task/28947/stat : 28947 (java) S 28912 28912 27734 0 -1 1077944384 8 0 0 0 0 1 0 0 20 0 24 0 500453470 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989963881200 139990534777474 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28948] ppid=28912 vsize=8414124 memory=4392 CPUtime=0 cores=0-7 /proc/28937/task/28948/stat : 28948 (java) S 28912 28912 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500453470 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989090297504 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28949] ppid=28912 vsize=8414124 memory=4108 CPUtime=0 cores=0-7 /proc/28937/task/28949/stat : 28949 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453470 8616062976 30174 33554432000 4194304 4196468 140724224405888 139988821861616 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28950] ppid=28912 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/28937/task/28950/stat : 28950 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453473 8616062976 30174 33554432000 4194304 4196468 140724224405888 139988447353296 139990534784923 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28951] ppid=28912 vsize=8414124 memory=6176 CPUtime=0.06 cores=0-7 /proc/28937/task/28951/stat : 28951 (java) S 28912 28912 27734 0 -1 1077944384 274 0 0 0 6 0 0 0 20 0 24 0 500453473 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989895604464 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28952] ppid=28912 vsize=8414124 memory=7552 CPUtime=0.04 cores=0-7 /proc/28937/task/28952/stat : 28952 (java) S 28912 28912 27734 0 -1 1077944384 133 0 0 0 4 0 0 0 20 0 24 0 500453473 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989894551920 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28953] ppid=28912 vsize=8414124 memory=2832 CPUtime=0.07 cores=0-7 /proc/28937/task/28953/stat : 28953 (java) S 28912 28912 27734 0 -1 1077944384 665 0 0 0 7 0 0 0 20 0 24 0 500453473 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989893498864 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28954] ppid=28912 vsize=8414124 memory=1084 CPUtime=0.21 cores=0-7 /proc/28937/task/28954/stat : 28954 (java) S 28912 28912 27734 0 -1 1077944384 741 0 0 0 21 0 0 0 20 0 24 0 500453473 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989892446320 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28955] ppid=28912 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/28937/task/28955/stat : 28955 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500453473 8616062976 30174 33554432000 4194304 4196468 140724224405888 139987949448160 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28956] ppid=28912 vsize=8414124 memory=14048 CPUtime=0.19 cores=0-7 /proc/28937/task/28956/stat : 28956 (java) S 28912 28912 27734 0 -1 1077944384 23 0 0 0 15 4 0 0 20 0 24 0 500453473 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989891394736 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28958] ppid=28912 vsize=8414124 memory=33260 CPUtime=0 cores=0-7 /proc/28937/task/28958/stat : 28958 (java) S 28912 28912 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500453540 8616062976 30174 33554432000 4194304 4196468 140724224405888 139989883360704 139990534790937 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28960] ppid=28912 vsize=8414124 memory=2120 CPUtime=0.01 cores=0-7 /proc/28937/task/28960/stat : 28960 (java) S 28912 28912 27734 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 500453541 8616062976 30174 33554432000 4194304 4196468 140724224405888 139987278347792 139990534788253 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28961] ppid=28912 vsize=8414124 memory=3864 CPUtime=0 cores=0-7 /proc/28937/task/28961/stat : 28961 (java) S 28912 28912 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500453541 8616062976 30174 33554432000 4194304 4196468 140724224405888 139987546783376 139990534788253 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28962] ppid=28912 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/28937/task/28962/stat : 28962 (java) S 28912 28912 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500453543 8616062976 30174 33554432000 4194304 4196468 140724224405888 139987009919920 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 Current children cumulated CPU time: 2284.32 s Current children cumulated vsize: 9920552 KiB Current children cumulated memory: 947380 KiB [startup+317.801 s] /proc/loadavg: 7.24 7.48 7.10 9/224 28990 /proc/meminfo: memFree=24550312/32770624 swapFree=66986356/67108860 [pid=28912] ppid=28909 vsize=113128 memory=1476 CPUtime=20.3 cores=0-7 /proc/28912/stat : 28912 (scop.sh) S 28909 28912 27734 0 -1 4202496 584 32131 0 0 0 0 1912 118 20 0 1 0 500452467 115843072 369 33554432000 4194304 5098028 140724637344704 140724637341448 140569803297404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11395072 140724637348645 140724637348972 140724637348972 140724637351885 0 /proc/28912/statm: 28282 369 311 221 0 87 0 [pid=28937] ppid=28912 vsize=8414124 memory=128036 CPUtime=1.54 cores=0-7 /proc/28937/stat : 28937 (java) S 28912 28912 27734 0 -1 1077944320 23062 0 0 0 143 11 0 0 20 0 24 0 500453466 8616062976 32009 33554432000 4194304 4196468 140724224405888 140724224388432 139990534766327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 /proc/28937/statm: 2103531 32009 3219 1 0 2064875 0 [pid=28937/tid=28938] ppid=28912 vsize=8414124 memory=1768 CPUtime=0.77 cores=0-7 /proc/28937/task/28938/stat : 28938 (java) S 28912 28912 27734 0 -1 1077944384 17406 0 0 0 71 6 0 0 20 0 24 0 500453467 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990506606496 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28939] ppid=28912 vsize=8414124 memory=120696 CPUtime=0 cores=0-7 /proc/28937/task/28939/stat : 28939 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990539009040 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28940] ppid=28912 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/28937/task/28940/stat : 28940 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990019951760 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28941] ppid=28912 vsize=8414124 memory=7598811100138176585 CPUtime=0 cores=0-7 /proc/28937/task/28941/stat : 28941 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990018898704 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28942] ppid=28912 vsize=8414124 memory=1898911 CPUtime=0 cores=0-7 /proc/28937/task/28942/stat : 28942 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990017846160 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28943] ppid=28912 vsize=8414124 memory=302641894960099105 CPUtime=0 cores=0-7 /proc/28937/task/28943/stat : 28943 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990016793104 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28944] ppid=28912 vsize=8414124 memory=-1088251628401078322 CPUtime=0 cores=0-7 /proc/28937/task/28944/stat : 28944 (java) S 28912 28912 27734 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990015740560 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28945] ppid=28912 vsize=8414124 memory=-1807685287717842718 CPUtime=0 cores=0-7 /proc/28937/task/28945/stat : 28945 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990014687504 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28946] ppid=28912 vsize=8414124 memory=-7169539485663701033 CPUtime=0 cores=0-7 /proc/28937/task/28946/stat : 28946 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453468 8616062976 32009 33554432000 4194304 4196468 140724224405888 139990013634960 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28947] ppid=28912 vsize=8414124 memory=-5921431000321636112 CPUtime=0.01 cores=0-7 /proc/28937/task/28947/stat : 28947 (java) S 28912 28912 27734 0 -1 1077944384 8 0 0 0 0 1 0 0 20 0 24 0 500453470 8616062976 32009 33554432000 4194304 4196468 140724224405888 139989963881200 139990534777474 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28948] ppid=28912 vsize=8414124 memory=-2746958450906831424 CPUtime=0 cores=0-7 /proc/28937/task/28948/stat : 28948 (java) S 28912 28912 27734 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500453470 8616062976 32009 33554432000 4194304 4196468 140724224405888 139989090297504 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28949] ppid=28912 vsize=8414124 memory=823024 CPUtime=0 cores=0-7 /proc/28937/task/28949/stat : 28949 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453470 8616062976 32009 33554432000 4194304 4196468 140724224405888 139988821861616 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28950] ppid=28912 vsize=8414124 memory=120696 CPUtime=0 cores=0-7 /proc/28937/task/28950/stat : 28950 (java) S 28912 28912 27734 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500453473 8616062976 32009 33554432000 4194304 4196468 140724224405888 139988447353296 139990534784923 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28951] ppid=28912 vsize=8414124 memory=820264 CPUtime=0.08 cores=0-7 /proc/28937/task/28951/stat : 28951 (java) R 28912 28912 27734 0 -1 4202560 491 0 0 0 8 0 0 0 20 0 24 0 500453473 8616062976 32009 33554432000 4194304 4196468 140724224405888 139989895590136 139990519877265 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28952] ppid=28912 vsize=8414124 memory=7444568275870902374 CPUtime=0.05 cores=0-7 /proc/28937/task/28952/stat : 28952 (java) R 28912 28912 27734 0 -1 4202560 489 0 0 0 5 0 0 0 20 0 24 0 500453473 8616062976 32009 33554432000 4194304 4196468 140724224405888 139989894550320 139990514483463 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28953] ppid=28912 vsize=8414124 memory=7444568284595186025 CPUtime=0.08 cores=0-7 /proc/28937/task/28953/stat : 28953 (java) R 28912 28912 27734 0 -1 1077944384 676 0 0 0 8 0 0 0 20 0 24 0 500453473 8616062976 32009 33554432000 4194304 4196468 140724224405888 139989893498864 139990534777474 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28954] ppid=28912 vsize=8414124 memory=7235440073312457573 CPUtime=0.23 cores=0-7 /proc/28937/task/28954/stat : 28954 (java) R 28912 28912 27734 0 -1 4202560 891 0 0 0 23 0 0 0 20 0 24 0 500453473 8616062976 32036 33554432000 4194304 4196468 140724224405888 139989892446320 139990534778262 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28955] ppid=28912 vsize=8414124 memory=7381516811758096736 CPUtime=0 cores=0-7 /proc/28937/task/28955/stat : 28955 (java) S 28912 28912 27734 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500453473 8616062976 32036 33554432000 4194304 4196468 140724224405888 139987949448160 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28956] ppid=28912 vsize=8414124 memory=6949178961274949988 CPUtime=0.19 cores=0-7 /proc/28937/task/28956/stat : 28956 (java) S 28912 28912 27734 0 -1 1077944384 23 0 0 0 15 4 0 0 20 0 24 0 500453473 8616062976 32036 33554432000 4194304 4196468 140724224405888 139989891394736 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28958] ppid=28912 vsize=8414124 memory=822868 CPUtime=0 cores=0-7 /proc/28937/task/28958/stat : 28958 (java) S 28912 28912 27734 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500453540 8616062976 32036 33554432000 4194304 4196468 140724224405888 139989883360704 139990534790937 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28960] ppid=28912 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7 /proc/28937/task/28960/stat : 28960 (java) R 28912 28912 27734 0 -1 4202560 1692 0 0 0 5 1 0 0 20 0 24 0 500453541 8616062976 32036 33554432000 4194304 4196468 140724224405888 139987278354720 139990534778262 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28961] ppid=28912 vsize=8414124 memory=120696 CPUtime=0 cores=0-7 /proc/28937/task/28961/stat : 28961 (java) S 28912 28912 27734 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500453541 8616062976 32036 33554432000 4194304 4196468 140724224405888 139987546783376 139990534788253 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28962] ppid=28912 vsize=8414124 memory=820472 CPUtime=0 cores=0-7 /proc/28937/task/28962/stat : 28962 (java) S 28912 28912 27734 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500453543 8616062976 32036 33554432000 4194304 4196468 140724224405888 139987009919920 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 Current children cumulated CPU time: 21.84 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 129512 KiB [startup+317.901 s] /proc/loadavg: 7.24 7.48 7.10 9/224 28990 /proc/meminfo: memFree=24550312/32770624 swapFree=66986356/67108860 [pid=28912] ppid=28909 vsize=113128 memory=1476 CPUtime=20.3 cores=0-7 /proc/28912/stat : 28912 (scop.sh) S 28909 28912 27734 0 -1 4202496 584 32131 0 0 0 0 1912 118 20 0 1 0 500452467 115843072 369 33554432000 4194304 5098028 140724637344704 140724637341448 140569803297404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 11395072 140724637348645 140724637348972 140724637348972 140724637351885 0 /proc/28912/statm: 28282 369 311 221 0 87 0 [pid=28937] ppid=28912 vsize=8283048 memory=135784 CPUtime=2264.81 cores=0-7 /proc/28937/stat : 28937 (java) S 28912 28912 27734 0 -1 1077944320 23929 6382547 0 0 165 11 225531 774 20 0 22 0 500453466 8481841152 33946 33554432000 4194304 4196468 140724224405888 140724224388432 139990534766327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 /proc/28937/statm: 2070762 33946 3224 1 0 2032106 0 [pid=28937/tid=28938] ppid=28912 vsize=8283048 memory=120696 CPUtime=2263.87 cores=0-7 /proc/28937/task/28938/stat : 28938 (java) R 28912 28912 27734 0 -1 4202560 17568 6382547 0 0 76 6 225531 774 20 0 22 0 500453467 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990506602048 139990516172622 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28939] ppid=28912 vsize=8283048 memory=1476 CPUtime=2263.05 cores=0-7 /proc/28937/task/28939/stat : 28939 (java) S 28912 28912 27734 0 -1 1077944384 1 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990539009040 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28940] ppid=28912 vsize=8283048 memory=120696 CPUtime=2263.05 cores=0-7 /proc/28937/task/28940/stat : 28940 (java) S 28912 28912 27734 0 -1 1077944384 3 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990019951760 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28941] ppid=28912 vsize=8283048 memory=-8672351116400554386 CPUtime=2263.05 cores=0-7 /proc/28937/task/28941/stat : 28941 (java) S 28912 28912 27734 0 -1 1077944384 1 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990018898704 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28942] ppid=28912 vsize=8283048 memory=1112 CPUtime=2263.05 cores=0-7 /proc/28937/task/28942/stat : 28942 (java) S 28912 28912 27734 0 -1 1077944384 2 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990017846160 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28943] ppid=28912 vsize=8283048 memory=321 CPUtime=2263.05 cores=0-7 /proc/28937/task/28943/stat : 28943 (java) S 28912 28912 27734 0 -1 1077944384 2 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990016793104 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28944] ppid=28912 vsize=8283048 memory=140574885305600 CPUtime=2263.05 cores=0-7 /proc/28937/task/28944/stat : 28944 (java) S 28912 28912 27734 0 -1 1077944384 2 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990015740560 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28945] ppid=28912 vsize=8283048 memory=281149768670160 CPUtime=2263.05 cores=0-7 /proc/28937/task/28945/stat : 28945 (java) S 28912 28912 27734 0 -1 1077944384 1 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990014687504 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28946] ppid=28912 vsize=8283048 memory=7883378908390452079 CPUtime=2263.05 cores=0-7 /proc/28937/task/28946/stat : 28946 (java) S 28912 28912 27734 0 -1 1077944384 1 6382547 0 0 0 0 225531 774 20 0 22 0 500453468 8481841152 33946 33554432000 4194304 4196468 140724224405888 139990013634960 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28947] ppid=28912 vsize=8283048 memory=62200 CPUtime=2263.06 cores=0-7 /proc/28937/task/28947/stat : 28947 (java) S 28912 28912 27734 0 -1 1077944384 8 6382547 0 0 0 1 225531 774 20 0 22 0 500453470 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989963881200 139990534777474 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28948] ppid=28912 vsize=8283048 memory=988 CPUtime=2263.05 cores=0-7 /proc/28937/task/28948/stat : 28948 (java) S 28912 28912 27734 0 -1 1077944384 13 6382547 0 0 0 0 225531 774 20 0 22 0 500453470 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989090297504 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28949] ppid=28912 vsize=8283048 memory=1476 CPUtime=2263.05 cores=0-7 /proc/28937/task/28949/stat : 28949 (java) S 28912 28912 27734 0 -1 1077944384 1 6382547 0 0 0 0 225531 774 20 0 22 0 500453470 8481841152 33946 33554432000 4194304 4196468 140724224405888 139988821861616 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28950] ppid=28912 vsize=8283048 memory=120696 CPUtime=2263.05 cores=0-7 /proc/28937/task/28950/stat : 28950 (java) S 28912 28912 27734 0 -1 1077944384 1 6382547 0 0 0 0 225531 774 20 0 22 0 500453473 8481841152 33946 33554432000 4194304 4196468 140724224405888 139988447353296 139990534784923 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28951] ppid=28912 vsize=8283048 memory=3616 CPUtime=2263.16 cores=0-7 /proc/28937/task/28951/stat : 28951 (java) R 28912 28912 27734 0 -1 4202560 508 6382547 0 0 11 0 225531 774 20 0 22 0 500453473 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989895604464 139990514609847 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28952] ppid=28912 vsize=8283048 memory=62200 CPUtime=2263.13 cores=0-7 /proc/28937/task/28952/stat : 28952 (java) R 28912 28912 27734 0 -1 4202560 533 6382547 0 0 8 0 225531 774 20 0 22 0 500453473 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989894542272 139990519873951 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28953] ppid=28912 vsize=8283048 memory=988 CPUtime=2263.16 cores=0-7 /proc/28937/task/28953/stat : 28953 (java) R 28912 28912 27734 0 -1 4202560 699 6382547 0 0 11 0 225531 774 20 0 22 0 500453473 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989893478928 139990534787674 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28954] ppid=28912 vsize=8283048 memory=1476 CPUtime=2263.33 cores=0-7 /proc/28937/task/28954/stat : 28954 (java) R 28912 28912 27734 0 -1 1077944384 978 6382547 0 0 28 0 225531 774 20 0 22 0 500453473 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989892446320 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28955] ppid=28912 vsize=8283048 memory=2004 CPUtime=2263.05 cores=0-7 /proc/28937/task/28955/stat : 28955 (java) S 28912 28912 27734 0 -1 1077944384 3 6382547 0 0 0 0 225531 774 20 0 22 0 500453473 8481841152 33946 33554432000 4194304 4196468 140724224405888 139987949448160 139990534776533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28956] ppid=28912 vsize=8283048 memory=1416 CPUtime=2263.24 cores=0-7 /proc/28937/task/28956/stat : 28956 (java) S 28912 28912 27734 0 -1 1077944384 23 6382547 0 0 15 4 225531 774 20 0 22 0 500453473 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989891394736 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28958] ppid=28912 vsize=8283048 memory=1728 CPUtime=2263.05 cores=0-7 /proc/28937/task/28958/stat : 28958 (java) S 28912 28912 27734 0 -1 1077944384 26 6382547 0 0 0 0 225531 774 20 0 22 0 500453540 8481841152 33946 33554432000 4194304 4196468 140724224405888 139989883359888 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 [pid=28937/tid=28962] ppid=28912 vsize=8283048 memory=62200 CPUtime=2263.05 cores=0-7 /proc/28937/task/28962/stat : 28962 (java) S 28912 28912 27734 0 -1 1077944384 12 6382547 0 0 0 0 225531 774 20 0 22 0 500453543 8481841152 33946 33554432000 4194304 4196468 140724224405888 139987009921712 139990534777474 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38604800 140724224410615 140724224410774 140724224410774 140724224413647 0 Current children cumulated CPU time: 2285.11 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 137260 KiB Child status: 0 Real time (s): 317.997 CPU time (s): 2285.34 CPU user time (s): 2276.27 CPU system time (s): 9.06178 CPU usage (%): 718.666 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 5791892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2276.27 system time used= 9.06179 maximum resident set size= 5793764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6439565 page faults= 0 swaps= 0 block input operations= 0 block output operations= 45448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 45302 involuntary context switches= 20842 # summary of solver processes directly reported to runsolver: # pid: 28912 # total CPU time (s): 2285.34 # total CPU user time (s): 2276.27 # total CPU system time (s): 9.06178 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.01462 second user time and 4.5414 second system time The end
Begin job on node104 at 2019-09-23 13:22:15 IDJOB=4405357 IDBENCH=124268 IDSOLVER=2867 FILE ID=node104/4405357-1569241958 RUNJOBID= node104-1569234408-27761 PBS_JOBID= 21704916 Free space on /tmp= 9832 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-45.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4405357-1569241958/watcher-4405357-1569241958 -o /tmp/evaluation-result-4405357-1569241958/solver-4405357-1569241958 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569234408-27761 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405357-1569241958.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c29e6924973099ab0a0c802e448a5f67 RANDOM SEED=1121499942 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 25504808 kB MemAvailable: 31817256 kB Buffers: 87400 kB Cached: 6290248 kB SwapCached: 22652 kB Active: 3174024 kB Inactive: 3230224 kB Active(anon): 4544 kB Inactive(anon): 80080 kB Active(file): 3169480 kB Inactive(file): 3150144 kB Unevictable: 109544 kB Mlocked: 109544 kB SwapTotal: 67108860 kB SwapFree: 66986356 kB Dirty: 20668 kB Writeback: 0 kB AnonPages: 165556 kB Mapped: 55668 kB Shmem: 49004 kB Slab: 451152 kB SReclaimable: 421284 kB SUnreclaim: 29868 kB KernelStack: 3824 kB PageTables: 5856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506204 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9812 MiB End job on node104 at 2019-09-23 13:27:33