Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 4109.93 | 757.112 |
Name | Random/Random-m1-7-40-8t/ rand-7-40-8-40-15000-9.xml |
MD5SUM | 134b875ea7bd230347634fe517213ca9 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 11.0648 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 40 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 8 |
Maximum domain size | 8 |
Distribution of domain sizes | [{"size":8,"count":40}] |
Minimum variable degree | 1 |
Maximum variable degree | 13 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1},{"degree":3,"count":1},{"degree":4,"count":2},{"degree":5,"count":9},{"degree":6,"count":5},{"degree":7,"count":4},{"degree":8,"count":5},{"degree":9,"count":5},{"degree":10,"count":3},{"degree":11,"count":2},{"degree":13,"count":2}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 7 |
Distribution of constraint arities | [{"arity":7,"count":40}] |
Number of extensional constraints | 40 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":40}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-19205-serial-file.bin HOME/instance-4392599-1568417094.xml 0.64/0.55 0.64/0.55 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.64/0.55 0.64/0.58 c BEGIN-Prog: Sat Sep 14 00:22:58 CEST 2019 0.64/0.58 c PID: 19208 0.64/0.58 c IP: 172.20.3.107 0.64/0.58 c HOST: node107.alineos.net 0.64/0.59 c (0,0) Parsing Begin 3.52/2.08 c (1,1) Parsing End 3.52/2.08 c (1,1) CSP: 40 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 8 3.52/2.08 c (1,1) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.52/2.08 c (1,1) Constraint Name Generate Begin 3.52/2.09 c (1,1) Ctr:HOME/instance-4392599-1568417094.xml,ExtensionSupport:Var 3.52/2.09 c (1,1) Constraint Name Generate End 3.52/2.09 c (1,1) Heap : 1351 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 3.52/2.09 c (1,1) CSP to CSPinCNF Begin 31.97/15.60 c (15,14) translated 4 (10%) constraints 50.69/31.22 c (30,29) translated 8 (20%) constraints 69.26/46.92 c (46,45) translated 12 (30%) constraints 88.50/62.70 c (62,60) translated 16 (40%) constraints 108.94/78.67 c (78,75) translated 20 (50%) constraints 129.71/94.64 c (94,91) translated 24 (60%) constraints 150.40/110.52 c (109,106) translated 28 (70%) constraints 174.79/126.95 c (126,121) translated 32 (80%) constraints 194.45/142.77 c (142,136) translated 36 (90%) constraints 214.21/158.50 c (157,152) translated 40 (100%) constraints 218.02/162.30 c (161,155) =========================================== 218.86/163.13 c (162,156) Hybrid: #OE=249944, #LE=0 218.86/163.13 c (162,156) Hybrid 218.86/163.13 c (162,156) =========================================== 226.93/168.56 c (168,161) translated 239038 (10%) constraints 232.14/173.69 c (173,166) translated 478076 (20%) constraints 237.41/178.83 c (178,172) translated 717114 (30%) constraints 242.50/183.94 c (183,177) translated 956152 (40%) constraints 251.74/189.56 c (189,182) translated 1195190 (50%) constraints 256.84/194.68 c (194,187) translated 1434228 (60%) constraints 261.96/199.75 c (199,192) translated 1673266 (70%) constraints 271.86/205.46 c (204,197) translated 1912304 (80%) constraints 277.04/210.57 c (210,202) translated 2151342 (90%) constraints 282.21/215.64 c (215,207) translated 2390380 (100%) constraints 282.21/215.64 c (215,207) CSP to CSPinCNF End 282.32/215.74 c (215,207) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 282.32/215.74 c (215,207) Heap : 6827 MiB used (max 21376 MiB), NonHeap : 26 MiB used (max 0 MiB) 282.32/215.74 c (215,207) CSPinCNF Propagation Begin 312.02/229.48 c (228,219) 0 values, 40 unsatisfiable literals, and 0 valid clauses are removed 312.02/229.48 c (228,219) CSPinCNF Propagation End 312.13/229.58 c (229,219) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 312.13/229.58 c (229,219) Heap : 6169 MiB used (max 21414 MiB), NonHeap : 26 MiB used (max 0 MiB) 312.94/230.36 c (229,220) Hybrid: #OE=249944, #LE=0 312.94/230.36 c (229,220) Simplify CSPinCNF Begin 317.86/235.15 c (234,224) Simplify CSPinCNF End 317.95/235.24 c (234,225) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 317.95/235.24 c (234,225) Heap : 8934 MiB used (max 21414 MiB), NonHeap : 26 MiB used (max 0 MiB) 317.95/235.24 c (234,225) Calculate Precise Domain Begin 317.95/235.25 c (234,225) 0 values are removed by re-calculation 317.95/235.25 c (234,225) Calculate Precise Domain End 318.06/235.34 c (234,225) CSP: 40 int (0 aux), 249904 bool (249904 aux), 2390380 ctr, max domain size 8 318.06/235.34 c (234,225) Heap : 8938 MiB used (max 21414 MiB), NonHeap : 27 MiB used (max 0 MiB) 318.06/235.34 c (234,225) CSPinCNF to SatSolver Begin 328.73/239.06 c (238,228) 239038 (10 %) CSP clauses are encoded (0 SAT variables, 239277 SAT clauses) 331.05/241.34 c (240,230) 478076 (20 %) CSP clauses are encoded (0 SAT variables, 478315 SAT clauses) 340.54/244.53 c (243,232) 717114 (30 %) CSP clauses are encoded (0 SAT variables, 717353 SAT clauses) 342.75/246.80 c (246,234) 956152 (40 %) CSP clauses are encoded (0 SAT variables, 956391 SAT clauses) 345.06/249.04 c (248,237) 1195190 (50 %) CSP clauses are encoded (0 SAT variables, 1195429 SAT clauses) 350.00/251.64 c (251,239) 1434228 (60 %) CSP clauses are encoded (0 SAT variables, 1434467 SAT clauses) 352.20/253.89 c (253,241) 1673266 (70 %) CSP clauses are encoded (0 SAT variables, 1673505 SAT clauses) 357.24/256.49 c (255,243) 1912304 (80 %) CSP clauses are encoded (0 SAT variables, 1912543 SAT clauses) 359.54/258.77 c (258,246) 2151342 (90 %) CSP clauses are encoded (0 SAT variables, 2151581 SAT clauses) 361.85/261.01 c (260,248) 2390380 (100 %) CSP clauses are encoded (0 SAT variables, 2390619 SAT clauses) 361.85/261.01 c (260,248) CSPinCNF to SatSolver End 361.85/261.01 c (260,248) Heap : 9537 MiB used (max 21479 MiB), NonHeap : 29 MiB used (max 0 MiB) 361.85/261.01 c (260,248) 250184 bool, 2390620 clause 361.85/261.01 c (260,248) Export Begin 361.85/261.10 c (260,248) Export to HOME/scop-19205-serial-file.bin 361.85/261.10 c (260,248) Export End 361.85/261.10 c (260,248) Export File Size: 0.01 MB 361.85/261.10 c (260,248) 1,1,215,229,234,234,260,STOP-AFTER(DIMACS) 361.85/261.10 c END-Prog: Sat Sep 14 00:27:19 CEST 2019 362.04/261.17 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19205-serial-file.bin 362.10/261.64 c (0,0) Read Serial File Begin 362.10/261.64 c (0,0) HOME/scop-19205-serial-file.bin 362.10/261.85 c (0,0) Read Serial File End 362.10/261.86 362.10/261.86 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 362.10/261.86 (Solving Process) 362.10/261.86 362.10/261.89 c BEGIN-Prog: Sat Sep 14 00:27:19 CEST 2019 362.10/261.89 c PID: 19245 362.10/261.89 c IP: 172.20.3.107 362.10/261.89 c HOST: node107.alineos.net 362.10/261.89 c (0,0) SatSolver.solve Begin 362.10/261.89 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392599-1568417094.xml-scop-19208.cnf 362.10/261.92 c (0,0) c 362.10/261.92 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) 362.10/261.92 c (0,0) c 362.10/261.92 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 362.10/261.92 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 362.10/261.92 c (0,0) c ========================================[ Problem Statistics ]=========================================== 362.10/261.92 c (0,0) c | | 364.16/262.83 c (1,0) c | Number of variables: 250184 | 364.16/262.83 c (1,0) c | Number of clauses: 2390620 | 364.16/262.83 c (1,0) c | Parse time: 0.84 s | 364.16/262.83 c (1,0) c | | 382.55/281.20 c (19,0) c | Simplification time: 18.30 s | 382.55/281.20 c (19,0) c | | 382.55/281.20 c (19,0) c | Generating clones | 383.27/281.96 c (20,0) c | all clones generated. Memory = 1491.96Mb. | 383.27/281.96 c (20,0) c ========================================================================================================| 383.27/281.96 c (20,0) c 383.27/281.96 c (20,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 383.27/281.96 c (20,0) c 383.27/281.96 c (20,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 383.27/281.96 c (20,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 383.27/281.96 c (20,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 383.27/281.96 c (20,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 383.27/281.96 c (20,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 383.27/281.96 c (20,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 383.27/281.96 c (20,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 383.27/281.96 c (20,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 383.27/281.96 c (20,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 383.27/281.96 c (20,0) c | glureduce | True | True | True | True | True | True | True | True | 383.27/281.96 c (20,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 383.27/281.96 c (20,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 383.27/281.96 c (20,0) c | luby_restart | False | False | False | False | False | False | False | False | 383.27/281.96 c (20,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 383.27/281.96 c (20,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 383.27/281.96 c (20,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 383.27/281.96 c (20,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 383.27/281.96 c (20,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 383.27/281.96 c (20,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 619.03/311.92 c (50,0) c 619.03/311.92 c (50,0) c |------------------------------------------------------------------------------------------------------------------------| 619.03/311.92 c (50,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 619.03/311.92 c (50,0) c |------------------------------------------------------------------------------------------------------------------------| 619.03/311.92 c (50,0) c | 0 | 3 | 15034 | 4434 | 89047 | 3441 | 75 | 395 | 1 | 118 | 20 | 0.000 | 619.03/311.92 c (50,0) c | 1 | 3 | 8408 | 3021 | 96612 | 2025 | 150 | 61 | 1 | 107 | 20 | 0.000 | 619.03/311.92 c (50,0) c | 2 | 2 | 11501 | 4010 | 93885 | 3017 | 46 | 0 | 0 | 112 | 20 | 0.000 | 619.03/311.92 c (50,0) c | 3 | 2 | 11767 | 3866 | 96875 | 2865 | 139 | 381 | 14 | 111 | 20 | 0.000 | 619.03/311.92 c (50,0) c | 4 | 3 | 10486 | 3770 | 106734 | 2777 | 141 | 94 | 4 | 111 | 20 | 0.000 | 619.03/311.92 c (50,0) c | 5 | 6 | 12975 | 3699 | 104632 | 2704 | 132 | 553 | 13 | 112 | 20 | 0.000 | 619.03/311.92 c (50,0) c | 6 | 4 | 9120 | 3390 | 62103 | 2393 | 129 | 670 | 9 | 106 | 20 | 0.000 | 619.03/311.92 c (50,0) c | 7 | 8 | 8952 | 3333 | 82041 | 2340 | 169 | 611 | 14 | 109 | 20 | 0.000 | 619.03/311.92 c (50,0) c 619.03/311.92 c (50,0) c synthesis 29523 conflicts 577260659 propagations 119 conflicts/sec 2319436 propagations/sec 619.03/311.92 c (50,0) c real: 50.0044 s, cpu: 248.88 s, memory: 2174.48 Mb 858.25/341.92 c (80,0) c 858.25/341.92 c (80,0) c |------------------------------------------------------------------------------------------------------------------------| 858.25/341.92 c (80,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 858.25/341.92 c (80,0) c |------------------------------------------------------------------------------------------------------------------------| 858.25/341.92 c (80,0) c | 0 | 3 | 18408 | 6769 | 111475 | 2974 | 580 | 395 | 3 | 229 | 20 | 0.000 | 858.25/341.92 c (80,0) c | 1 | 7 | 15392 | 6856 | 133757 | 3065 | 889 | 3242 | 86 | 217 | 20 | 0.000 | 858.25/341.92 c (80,0) c | 2 | 3 | 17511 | 7296 | 151624 | 3506 | 734 | 1008 | 68 | 223 | 20 | 0.000 | 858.25/341.92 c (80,0) c | 3 | 6 | 19328 | 7722 | 151845 | 3926 | 1083 | 4495 | 124 | 227 | 20 | 0.000 | 858.25/341.92 c (80,0) c | 4 | 11 | 19092 | 8387 | 166813 | 4594 | 1197 | 4425 | 125 | 227 | 20 | 0.000 | 858.25/341.92 c (80,0) c | 5 | 7 | 18109 | 7001 | 137919 | 3212 | 738 | 1132 | 41 | 225 | 20 | 0.000 | 858.25/341.92 c (80,0) c | 6 | 13 | 14915 | 6589 | 100291 | 5592 | 728 | 4264 | 47 | 216 | 20 | 0.000 | 858.25/341.92 c (80,0) c | 7 | 22 | 18262 | 7658 | 175822 | 3873 | 1177 | 4509 | 135 | 225 | 20 | 0.000 | 858.25/341.92 c (80,0) c 858.25/341.92 c (80,0) c synthesis 58278 conflicts 1192828601 propagations 120 conflicts/sec 2446018 propagations/sec 858.25/341.92 c (80,0) c real: 80.0044 s, cpu: 487.661 s, memory: 2178.48 Mb 1097.33/371.92 c (110,0) c 1097.33/371.92 c (110,0) c |------------------------------------------------------------------------------------------------------------------------| 1097.33/371.92 c (110,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1097.33/371.92 c (110,0) c |------------------------------------------------------------------------------------------------------------------------| 1097.33/371.92 c (110,0) c | 0 | 4 | 21827 | 9164 | 132319 | 5369 | 1143 | 11524 | 22 | 334 | 20 | 0.000 | 1097.33/371.92 c (110,0) c | 1 | 12 | 22289 | 10681 | 186599 | 6890 | 1916 | 8492 | 442 | 328 | 20 | 0.000 | 1097.33/371.92 c (110,0) c | 2 | 3 | 21952 | 10349 | 178112 | 6559 | 1364 | 1008 | 87 | 334 | 20 | 0.000 | 1097.33/371.92 c (110,0) c | 3 | 6 | 26875 | 12059 | 177944 | 8263 | 2194 | 4495 | 303 | 344 | 20 | 0.000 | 1097.33/371.92 c (110,0) c | 4 | 11 | 23218 | 11143 | 221433 | 7350 | 1991 | 4425 | 213 | 341 | 20 | 0.000 | 1097.33/371.92 c (110,0) c | 5 | 12 | 24588 | 10423 | 185790 | 6634 | 1701 | 11094 | 340 | 339 | 20 | 0.000 | 1097.33/371.92 c (110,0) c | 6 | 20 | 20704 | 9808 | 149509 | 6014 | 1412 | 11420 | 278 | 329 | 20 | 0.000 | 1097.33/371.92 c (110,0) c | 7 | 26 | 28643 | 13074 | 230778 | 9289 | 2789 | 10613 | 423 | 343 | 20 | 0.000 | 1097.33/371.92 c (110,0) c 1097.33/371.92 c (110,0) c synthesis 86701 conflicts 1780481348 propagations 119 conflicts/sec 2450853 propagations/sec 1097.33/371.92 c (110,0) c real: 110.004 s, cpu: 726.474 s, memory: 2180.93 Mb 1335.11/401.92 c (140,0) c 1335.11/401.92 c (140,0) c |------------------------------------------------------------------------------------------------------------------------| 1335.11/401.92 c (140,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1335.11/401.92 c (140,0) c |------------------------------------------------------------------------------------------------------------------------| 1335.11/401.92 c (140,0) c | 0 | 6 | 27222 | 12176 | 194328 | 8381 | 1843 | 15918 | 580 | 434 | 20 | 0.000 | 1335.11/401.92 c (140,0) c | 1 | 12 | 28576 | 14238 | 234227 | 5445 | 2914 | 8492 | 708 | 440 | 20 | 0.000 | 1335.11/401.92 c (140,0) c | 2 | 3 | 26902 | 13412 | 207461 | 9622 | 2026 | 1008 | 109 | 445 | 20 | 0.000 | 1335.11/401.92 c (140,0) c | 3 | 6 | 32550 | 15499 | 201547 | 6707 | 2949 | 4495 | 372 | 454 | 20 | 0.000 | 1335.11/401.92 c (140,0) c | 4 | 13 | 27918 | 14085 | 260886 | 5298 | 2715 | 16548 | 505 | 454 | 20 | 0.000 | 1335.11/401.92 c (140,0) c | 5 | 14 | 31884 | 14433 | 234088 | 5647 | 2840 | 16056 | 696 | 453 | 20 | 0.000 | 1335.11/401.92 c (140,0) c | 6 | 24 | 27548 | 13648 | 184840 | 9854 | 2280 | 17147 | 745 | 443 | 20 | 0.000 | 1335.11/401.92 c (140,0) c | 7 | 33 | 34359 | 16568 | 254209 | 7781 | 3531 | 15247 | 655 | 449 | 20 | 0.000 | 1335.11/401.92 c (140,0) c 1335.11/401.92 c (140,0) c synthesis 114059 conflicts 2381623873 propagations 118 conflicts/sec 2470547 propagations/sec 1335.11/401.92 c (140,0) c real: 140.004 s, cpu: 964.007 s, memory: 2182.35 Mb 1564.43/430.93 c (169,0) c 1564.43/430.93 c (169,0) c |------------------------------------------------------------------------------------------------------------------------| 1564.43/430.93 c (169,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1564.43/430.93 c (169,0) c |------------------------------------------------------------------------------------------------------------------------| 1564.43/430.93 c (169,0) c | 0 | 9 | 32852 | 15557 | 236339 | 6758 | 2521 | 21459 | 906 | 542 | 20 | 0.000 | 1564.43/430.93 c (169,0) c | 1 | 14 | 34719 | 17852 | 260491 | 7199 | 3652 | 21452 | 1078 | 549 | 20 | 0.000 | 1564.43/430.93 c (169,0) c | 2 | 3 | 32217 | 16707 | 228957 | 7918 | 2728 | 1008 | 119 | 554 | 20 | 0.000 | 1564.43/430.93 c (169,0) c | 3 | 7 | 37807 | 18677 | 223878 | 9885 | 3551 | 18189 | 689 | 558 | 20 | 0.000 | 1564.43/430.93 c (169,0) c | 4 | 17 | 33972 | 17683 | 285216 | 8894 | 3299 | 21945 | 775 | 562 | 20 | 0.000 | 1564.43/430.93 c (169,0) c | 5 | 14 | 36754 | 17381 | 256769 | 8595 | 3392 | 16056 | 791 | 555 | 20 | 0.000 | 1564.43/430.93 c (169,0) c | 6 | 25 | 36602 | 18463 | 229835 | 9660 | 3501 | 22627 | 902 | 562 | 20 | 0.000 | 1564.43/430.93 c (169,0) c | 7 | 42 | 41577 | 19855 | 279262 | 11039 | 4189 | 20367 | 991 | 561 | 20 | 0.000 | 1564.43/430.93 c (169,0) c 1564.43/430.93 c (169,0) c synthesis 142175 conflicts 2962350521 propagations 119 conflicts/sec 2482785 propagations/sec 1564.43/430.93 c (169,0) c real: 169.011 s, cpu: 1193.16 s, memory: 2183.38 Mb 1802.31/460.92 c (199,0) c 1802.31/460.92 c (199,0) c |------------------------------------------------------------------------------------------------------------------------| 1802.31/460.92 c (199,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1802.31/460.92 c (199,0) c |------------------------------------------------------------------------------------------------------------------------| 1802.31/460.92 c (199,0) c | 0 | 13 | 37324 | 18497 | 262925 | 9696 | 3086 | 27229 | 1102 | 656 | 20 | 0.002 | 1802.31/460.92 c (199,0) c | 1 | 16 | 38547 | 20447 | 280595 | 9793 | 4022 | 24648 | 1304 | 664 | 20 | 0.002 | 1802.31/460.92 c (199,0) c | 2 | 4 | 37700 | 19892 | 250114 | 11096 | 3396 | 26446 | 349 | 669 | 20 | 0.002 | 1802.31/460.92 c (199,0) c | 3 | 9 | 44185 | 22457 | 248488 | 13661 | 4444 | 26338 | 1098 | 674 | 20 | 0.002 | 1802.31/460.92 c (199,0) c | 4 | 19 | 39677 | 21081 | 313707 | 12289 | 3972 | 25368 | 1091 | 662 | 20 | 0.002 | 1802.31/460.92 c (199,0) c | 5 | 17 | 43331 | 21184 | 279975 | 12394 | 4033 | 24908 | 1189 | 674 | 20 | 0.001 | 1802.31/460.92 c (199,0) c | 6 | 34 | 41600 | 21438 | 250908 | 11550 | 4036 | 26331 | 1115 | 654 | 20 | 0.002 | 1802.31/460.92 c (199,0) c | 7 | 47 | 46508 | 22943 | 298695 | 14125 | 4780 | 25413 | 1312 | 670 | 20 | 0.002 | 1802.31/460.92 c (199,0) c 1802.31/460.92 c (199,0) c synthesis 167939 conflicts 3550599519 propagations 117 conflicts/sec 2481677 propagations/sec 1802.31/460.92 c (199,0) c real: 199.004 s, cpu: 1430.73 s, memory: 2184.42 Mb 2016.86/489.93 c (228,0) c 2016.86/489.93 c (228,0) c |------------------------------------------------------------------------------------------------------------------------| 2016.86/489.93 c (228,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2016.86/489.93 c (228,0) c |------------------------------------------------------------------------------------------------------------------------| 2016.86/489.93 c (228,0) c | 0 | 14 | 42813 | 21936 | 293830 | 13135 | 3763 | 29041 | 1407 | 767 | 20 | 0.002 | 2016.86/489.93 c (228,0) c | 1 | 16 | 41328 | 22681 | 291257 | 12027 | 4386 | 24648 | 1391 | 767 | 20 | 0.002 | 2016.86/489.93 c (228,0) c | 2 | 5 | 42728 | 22803 | 285202 | 14007 | 4027 | 30744 | 870 | 767 | 20 | 0.002 | 2016.86/489.93 c (228,0) c | 3 | 9 | 50286 | 25907 | 264869 | 9716 | 5079 | 26338 | 1323 | 767 | 20 | 0.002 | 2016.86/489.93 c (228,0) c | 4 | 25 | 44989 | 24459 | 334672 | 8269 | 4553 | 30073 | 1373 | 767 | 20 | 0.002 | 2016.86/489.93 c (228,0) c | 5 | 21 | 48064 | 24223 | 298757 | 8033 | 4584 | 29949 | 1447 | 767 | 20 | 0.002 | 2016.86/489.93 c (228,0) c | 6 | 34 | 44596 | 23657 | 267807 | 6921 | 4449 | 26331 | 1239 | 747 | 20 | 0.002 | 2016.86/489.93 c (228,0) c | 7 | 51 | 51548 | 25971 | 314228 | 9774 | 5258 | 29996 | 1507 | 767 | 20 | 0.002 | 2016.86/489.93 c (228,0) c 2016.86/489.93 c (228,0) c synthesis 191637 conflicts 4080570506 propagations 117 conflicts/sec 2482422 propagations/sec 2016.86/489.93 c (228,0) c real: 228.008 s, cpu: 1643.79 s, memory: 2185.20 Mb 2244.77/519.92 c (258,0) c 2244.77/519.92 c (258,0) c |------------------------------------------------------------------------------------------------------------------------| 2244.77/519.92 c (258,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2244.77/519.92 c (258,0) c |------------------------------------------------------------------------------------------------------------------------| 2244.77/519.92 c (258,0) c | 0 | 17 | 47775 | 25179 | 315855 | 8985 | 4297 | 35515 | 1617 | 875 | 20 | 0.002 | 2244.77/519.92 c (258,0) c | 1 | 17 | 44838 | 25194 | 304099 | 8071 | 4813 | 32372 | 1487 | 875 | 20 | 0.002 | 2244.77/519.92 c (258,0) c | 2 | 7 | 48191 | 26087 | 313818 | 9894 | 4707 | 33306 | 1084 | 875 | 20 | 0.002 | 2244.77/519.92 c (258,0) c | 3 | 14 | 56776 | 29727 | 287784 | 13536 | 5761 | 32799 | 1595 | 874 | 20 | 0.002 | 2244.77/519.92 c (258,0) c | 4 | 31 | 50565 | 27787 | 351784 | 10981 | 5051 | 34445 | 1584 | 875 | 20 | 0.002 | 2244.77/519.92 c (258,0) c | 5 | 25 | 54463 | 27608 | 323298 | 11091 | 5360 | 34263 | 1634 | 874 | 20 | 0.003 | 2244.77/519.92 c (258,0) c | 6 | 34 | 48195 | 26152 | 278993 | 9416 | 4890 | 26331 | 1307 | 855 | 20 | 0.002 | 2244.77/519.92 c (258,0) c | 7 | 57 | 57123 | 29050 | 327802 | 11819 | 5871 | 34085 | 1705 | 875 | 20 | 0.002 | 2244.77/519.92 c (258,0) c 2244.77/519.92 c (258,0) c synthesis 216784 conflicts 4647810282 propagations 116 conflicts/sec 2483678 propagations/sec 2244.77/519.92 c (258,0) c real: 258.004 s, cpu: 1871.34 s, memory: 2185.84 Mb 2473.86/548.92 c (287,0) c 2473.86/548.92 c (287,0) c |------------------------------------------------------------------------------------------------------------------------| 2473.86/548.92 c (287,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2473.86/548.92 c (287,0) c |------------------------------------------------------------------------------------------------------------------------| 2473.86/548.92 c (287,0) c | 0 | 18 | 52867 | 28333 | 333891 | 12139 | 4881 | 36917 | 1905 | 977 | 20 | 0.003 | 2473.86/548.92 c (287,0) c | 1 | 20 | 49697 | 28308 | 322959 | 11182 | 5363 | 38877 | 1636 | 977 | 20 | 0.003 | 2473.86/548.92 c (287,0) c | 2 | 9 | 53466 | 29580 | 336183 | 13385 | 5305 | 38099 | 1278 | 984 | 20 | 0.003 | 2473.86/548.92 c (287,0) c | 3 | 16 | 62161 | 32953 | 303165 | 16761 | 6286 | 35856 | 1788 | 981 | 20 | 0.003 | 2473.86/548.92 c (287,0) c | 4 | 36 | 56656 | 31509 | 363870 | 14702 | 5582 | 36435 | 1845 | 984 | 20 | 0.003 | 2473.86/548.92 c (287,0) c | 5 | 29 | 60220 | 31214 | 337486 | 14697 | 5957 | 38353 | 1860 | 984 | 20 | 0.003 | 2473.86/548.92 c (287,0) c | 6 | 35 | 54111 | 29823 | 303666 | 13086 | 5424 | 34380 | 1666 | 964 | 20 | 0.002 | 2473.86/548.92 c (287,0) c | 7 | 61 | 61912 | 32093 | 338400 | 14861 | 6277 | 37769 | 1933 | 973 | 20 | 0.003 | 2473.86/548.92 c (287,0) c 2473.86/548.92 c (287,0) c synthesis 243813 conflicts 5224002917 propagations 116 conflicts/sec 2488658 propagations/sec 2473.86/548.92 c (287,0) c real: 287.004 s, cpu: 2099.12 s, memory: 2186.36 Mb 2711.87/578.92 c (317,0) c 2711.87/578.92 c (317,0) c |------------------------------------------------------------------------------------------------------------------------| 2711.87/578.92 c (317,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2711.87/578.92 c (317,0) c |------------------------------------------------------------------------------------------------------------------------| 2711.87/578.92 c (317,0) c | 0 | 19 | 57763 | 31540 | 359601 | 15346 | 5448 | 40371 | 2178 | 1089 | 20 | 0.003 | 2711.87/578.92 c (317,0) c | 1 | 23 | 54217 | 31215 | 339087 | 14089 | 5770 | 41737 | 1873 | 1076 | 20 | 0.003 | 2711.87/578.92 c (317,0) c | 2 | 10 | 58302 | 32985 | 352657 | 16790 | 5847 | 42899 | 1473 | 1096 | 20 | 0.003 | 2711.87/578.92 c (317,0) c | 3 | 17 | 66832 | 35819 | 315667 | 19627 | 6755 | 38964 | 1983 | 1076 | 20 | 0.003 | 2711.87/578.92 c (317,0) c | 4 | 45 | 61957 | 34936 | 375586 | 18130 | 6073 | 42251 | 2115 | 1096 | 20 | 0.003 | 2711.87/578.92 c (317,0) c | 5 | 32 | 65511 | 34625 | 348799 | 18108 | 6503 | 40553 | 2100 | 1096 | 20 | 0.003 | 2711.87/578.92 c (317,0) c | 6 | 36 | 58698 | 33212 | 319582 | 16476 | 6058 | 38469 | 1943 | 1078 | 20 | 0.003 | 2711.87/578.92 c (317,0) c | 7 | 63 | 66820 | 35333 | 349456 | 18101 | 6671 | 38849 | 2241 | 1086 | 20 | 0.003 | 2711.87/578.92 c (317,0) c 2711.87/578.92 c (317,0) c synthesis 269665 conflicts 5813535265 propagations 115 conflicts/sec 2488823 propagations/sec 2711.87/578.92 c (317,0) c real: 317.004 s, cpu: 2335.86 s, memory: 2186.87 Mb 2949.65/608.92 c (347,0) c 2949.65/608.92 c (347,0) c |------------------------------------------------------------------------------------------------------------------------| 2949.65/608.92 c (347,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2949.65/608.92 c (347,0) c |------------------------------------------------------------------------------------------------------------------------| 2949.65/608.92 c (347,0) c | 0 | 21 | 61629 | 34327 | 373543 | 18133 | 5890 | 45377 | 2401 | 1201 | 20 | 0.003 | 2949.65/609.00 c (347,0) c | 1 | 26 | 58416 | 34106 | 350312 | 16979 | 6198 | 45379 | 2091 | 1187 | 20 | 0.003 | 2950.53/609.02 c (347,0) c | 2 | 10 | 63540 | 36297 | 366783 | 10202 | 6402 | 42899 | 1756 | 1199 | 20 | 0.003 | 2950.53/609.02 c (347,0) c | 3 | 23 | 72181 | 39154 | 329001 | 13067 | 7250 | 44194 | 2133 | 1189 | 20 | 0.003 | 2950.53/609.02 c (347,0) c | 4 | 51 | 66590 | 38056 | 390031 | 11661 | 6474 | 46017 | 2309 | 1207 | 20 | 0.003 | 2950.53/609.02 c (347,0) c | 5 | 32 | 70242 | 37764 | 358059 | 11510 | 6955 | 40553 | 2196 | 1198 | 20 | 0.003 | 2950.53/609.02 c (347,0) c | 6 | 39 | 64604 | 36831 | 335161 | 9560 | 6581 | 44757 | 2289 | 1192 | 20 | 0.003 | 2950.53/609.02 c (347,0) c | 7 | 63 | 71646 | 38697 | 363150 | 12084 | 7164 | 38849 | 2375 | 1201 | 20 | 0.003 | 2950.53/609.02 c (347,0) c 2950.53/609.02 c (347,0) c synthesis 295232 conflicts 6412817250 propagations 115 conflicts/sec 2492119 propagations/sec 2950.53/609.02 c (347,0) c real: 347.004 s, cpu: 2573.24 s, memory: 2187.39 Mb 3188.13/638.92 c (377,0) c 3188.13/638.92 c (377,0) c |------------------------------------------------------------------------------------------------------------------------| 3188.13/638.92 c (377,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3188.13/638.92 c (377,0) c |------------------------------------------------------------------------------------------------------------------------| 3188.13/638.92 c (377,0) c | 0 | 21 | 64591 | 36707 | 381407 | 10613 | 6136 | 45377 | 2527 | 1308 | 20 | 0.003 | 3188.13/638.92 c (377,0) c | 1 | 32 | 63765 | 37495 | 365334 | 10945 | 6718 | 48765 | 2321 | 1298 | 20 | 0.003 | 3188.13/638.92 c (377,0) c | 2 | 13 | 69259 | 39868 | 381309 | 13766 | 6967 | 48985 | 1957 | 1314 | 20 | 0.003 | 3188.13/638.92 c (377,0) c | 3 | 24 | 77810 | 42791 | 341785 | 16704 | 7884 | 46813 | 2347 | 1303 | 20 | 0.003 | 3188.13/638.92 c (377,0) c | 4 | 52 | 70757 | 40935 | 398022 | 14540 | 6895 | 47672 | 2488 | 1303 | 20 | 0.003 | 3188.13/638.92 c (377,0) c | 5 | 34 | 75140 | 40821 | 367314 | 14564 | 7381 | 47615 | 2365 | 1297 | 20 | 0.003 | 3188.13/638.92 c (377,0) c | 6 | 44 | 70229 | 40359 | 347350 | 13088 | 7062 | 48597 | 2408 | 1306 | 20 | 0.003 | 3188.13/638.92 c (377,0) c | 7 | 66 | 77198 | 42245 | 372535 | 13841 | 7651 | 47976 | 2675 | 1316 | 20 | 0.058 | 3188.13/638.92 c (377,0) c 3188.13/638.92 c (377,0) c synthesis 321221 conflicts 7012736161 propagations 114 conflicts/sec 2495319 propagations/sec 3188.13/638.92 c (377,0) c real: 377.004 s, cpu: 2810.36 s, memory: 2187.64 Mb 3425.87/668.92 c (407,0) c 3425.87/668.92 c (407,0) c |------------------------------------------------------------------------------------------------------------------------| 3425.87/668.92 c (407,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3425.87/668.92 c (407,0) c |------------------------------------------------------------------------------------------------------------------------| 3425.87/668.92 c (407,0) c | 0 | 21 | 68047 | 39224 | 389937 | 13130 | 6508 | 45377 | 2563 | 1405 | 20 | 0.003 | 3425.87/668.92 c (407,0) c | 1 | 32 | 69177 | 41078 | 374998 | 13244 | 7353 | 50679 | 2485 | 1410 | 20 | 0.059 | 3425.87/668.92 c (407,0) c | 2 | 14 | 73674 | 43032 | 391351 | 16649 | 7429 | 50112 | 2127 | 1425 | 20 | 0.058 | 3425.87/668.92 c (407,0) c | 3 | 27 | 83030 | 46383 | 353820 | 19805 | 8590 | 51325 | 2627 | 1420 | 20 | 0.059 | 3425.87/668.92 c (407,0) c | 4 | 54 | 75636 | 44293 | 407644 | 16522 | 7337 | 50561 | 2645 | 1416 | 20 | 0.058 | 3425.87/668.92 c (407,0) c | 5 | 35 | 79715 | 44010 | 375525 | 17157 | 7822 | 51854 | 2516 | 1410 | 20 | 0.059 | 3425.87/668.92 c (407,0) c | 6 | 50 | 75905 | 43845 | 360481 | 16434 | 7553 | 50912 | 2657 | 1421 | 20 | 0.058 | 3425.87/668.92 c (407,0) c | 7 | 73 | 81549 | 45142 | 380034 | 16738 | 7975 | 50936 | 2878 | 1419 | 20 | 0.059 | 3425.87/668.92 c (407,0) c 3425.87/668.92 c (407,0) c synthesis 347007 conflicts 7618354917 propagations 114 conflicts/sec 2499653 propagations/sec 3425.87/668.92 c (407,0) c real: 407.004 s, cpu: 3047.76 s, memory: 2188.03 Mb 3663.49/698.92 c (437,0) c 3663.49/698.92 c (437,0) c |------------------------------------------------------------------------------------------------------------------------| 3663.49/698.92 c (437,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3663.49/698.92 c (437,0) c |------------------------------------------------------------------------------------------------------------------------| 3663.49/698.92 c (437,0) c | 0 | 24 | 73021 | 42374 | 401687 | 15653 | 6997 | 54274 | 2798 | 1516 | 20 | 0.059 | 3663.49/698.92 c (437,0) c | 1 | 34 | 74252 | 44540 | 383589 | 16706 | 7795 | 53792 | 2673 | 1523 | 20 | 0.059 | 3663.49/698.92 c (437,0) c | 2 | 14 | 76548 | 45299 | 397069 | 18916 | 7696 | 50112 | 2220 | 1521 | 20 | 0.058 | 3663.49/698.92 c (437,0) c | 3 | 27 | 87914 | 49980 | 362799 | 23402 | 9181 | 51325 | 2895 | 1533 | 20 | 0.059 | 3663.49/698.92 c (437,0) c | 4 | 56 | 79509 | 47091 | 413422 | 19318 | 7659 | 55324 | 2790 | 1514 | 20 | 0.059 | 3663.49/698.92 c (437,0) c | 5 | 35 | 85013 | 47358 | 385799 | 20505 | 8298 | 51854 | 2773 | 1524 | 20 | 0.059 | 3663.49/698.92 c (437,0) c | 6 | 57 | 80904 | 46987 | 371497 | 19573 | 7975 | 55234 | 2878 | 1528 | 20 | 0.059 | 3663.49/698.92 c (437,0) c | 7 | 77 | 86149 | 48315 | 388348 | 19911 | 8356 | 55171 | 3139 | 1529 | 20 | 0.059 | 3663.49/698.92 c (437,0) c 3663.49/698.92 c (437,0) c synthesis 371944 conflicts 8215743921 propagations 113 conflicts/sec 2501336 propagations/sec 3663.49/698.92 c (437,0) c real: 437.004 s, cpu: 3284.54 s, memory: 2188.31 Mb 3902.73/728.92 c (467,0) c 3902.73/728.92 c (467,0) c |------------------------------------------------------------------------------------------------------------------------| 3902.73/728.92 c (467,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3902.73/728.92 c (467,0) c |------------------------------------------------------------------------------------------------------------------------| 3902.73/728.92 c (467,0) c | 0 | 25 | 77696 | 45559 | 410506 | 15663 | 7473 | 58167 | 3049 | 1625 | 20 | 0.161 | 3902.73/728.92 c (467,0) c | 1 | 37 | 79344 | 47889 | 389707 | 15957 | 8342 | 57765 | 2906 | 1634 | 20 | 0.161 | 3902.73/728.92 c (467,0) c | 2 | 15 | 81318 | 48839 | 405467 | 20981 | 8222 | 57114 | 2486 | 1635 | 20 | 0.162 | 3902.73/728.92 c (467,0) c | 3 | 27 | 92461 | 53465 | 368821 | 14685 | 9705 | 51325 | 2994 | 1644 | 20 | 0.059 | 3902.73/728.92 c (467,0) c | 4 | 59 | 84639 | 50502 | 419111 | 20896 | 8129 | 58146 | 3094 | 1628 | 20 | 0.161 | 3902.73/728.92 c (467,0) c | 5 | 37 | 89947 | 50624 | 392740 | 22277 | 8699 | 57240 | 3070 | 1639 | 20 | 0.161 | 3902.73/728.92 c (467,0) c | 6 | 60 | 85387 | 50135 | 378695 | 17898 | 8395 | 58665 | 3119 | 1637 | 20 | 0.161 | 3902.73/728.92 c (467,0) c | 7 | 80 | 90808 | 51446 | 394603 | 8044 | 8704 | 56573 | 3426 | 1638 | 20 | 0.161 | 3902.73/728.92 c (467,0) c 3902.73/728.92 c (467,0) c synthesis 398459 conflicts 8834297070 propagations 113 conflicts/sec 2507620 propagations/sec 3902.73/728.92 c (467,0) c real: 467.004 s, cpu: 3522.98 s, memory: 2188.57 Mb 4109.62/756.98 c (495,0) c 4109.62/756.98 c (495,0) c real time : 495.066 s 4109.62/756.98 c (495,0) c cpu time : 3729.45 s 4109.62/756.98 c (495,0) c 4109.62/756.98 c (495,0) c 4109.62/756.98 c (495,0) c 4109.62/756.98 c (495,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 4109.62/756.98 c (495,0) c 4109.62/756.98 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.98 c (495,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4109.62/756.98 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.98 c (495,0) c | Conflicts | 421919 | 48891 | 50801 | 51581 | 56385 | 53513 | 53521 | 53033 | 54194 | 4109.62/756.98 c (495,0) c | Decisions | 715783 | 82704 | 83850 | 85076 | 96769 | 88908 | 94256 | 89782 | 94438 | 4109.62/756.98 c (495,0) c | Propagations | 9379267692 | 1155750663 | 1163728221 | 1181386270 | 1188444615 | 1174671099 | 1190553641 | 1155971229 | 1168761954 | 4109.62/756.98 c (495,0) c | ReduceDBs | 46 | 5 | 5 | 6 | 6 | 6 | 6 | 6 | 6 | 4109.62/756.98 c (495,0) c | SimpDBs | 84 | 12 | 10 | 10 | 9 | 11 | 10 | 11 | 11 | 4109.62/756.98 c (495,0) c | Restarts | 352 | 26 | 41 | 16 | 27 | 60 | 37 | 63 | 82 | 4109.62/756.98 c (495,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4109.62/756.98 c (495,0) c | PropBinClauses| 3197104837 | 406936842 | 410597727 | 399154326 | 389823732 | 394705246 | 391604130 | 404765473 | 399517361 | 4109.62/756.98 c (495,0) c | PropPreBlocker| 38286847468 | 4798965889 | 4743874343 | 4815848105 | 4790121446 | 4799263448 | 4792300284 | 4779176036 | 4767297917 | 4109.62/756.98 c (495,0) c | PropNotBlocker| 20986805413 | 2653549637 | 2707714936 | 2592962638 | 2584452652 | 2614945101 | 2599536525 | 2625436526 | 2608207398 | 4109.62/756.98 c (495,0) c | LitFullScans | 83244499372 |10398514659 |10399027056 |10398382452 |10431603049 |10398689889 |10421737175 |10398602720 |10397942372 | 4109.62/756.98 c (495,0) c | LitScanFracts | 49604622 | 6424572 | 6954198 | 5883048 | 6064068 | 6365254 | 5709857 | 6397508 | 5806117 | 4109.62/756.98 c (495,0) c | DecisionLevel0| 396 | 28 | 47 | 26 | 40 | 62 | 41 | 66 | 86 | 4109.62/756.98 c (495,0) c | Periods | 13865 | 1732 | 1732 | 1732 | 1737 | 1732 | 1736 | 1732 | 1732 | 4109.62/756.98 c (495,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 4109.62/756.98 c (495,0) c | Avg_Trail | | 86932 | 81876 | 86932 | 84690 | 83969 | 86544 | 84747 | 84964 | 4109.62/756.98 c (495,0) c | Avg_DL | | 19 | 18 | 26 | 23 | 16 | 18 | 15 | 16 | 4109.62/756.98 c (495,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4109.62/756.98 c (495,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4109.62/756.98 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.98 c (495,0) c | Exported | 70899 | 8003 | 8732 | 8629 | 10346 | 8505 | 9101 | 8732 | 8851 | 4109.62/756.98 c (495,0) c | Imported | 484000 | 62173 | 61271 | 61586 | 60091 | 59859 | 59236 | 59891 | 59893 | 4109.62/756.98 c (495,0) c | Good | 28753 | 3702 | 3629 | 3759 | 3673 | 3468 | 3495 | 3563 | 3464 | 4109.62/756.98 c (495,0) c | Purge | 455247 | 58471 | 57642 | 57827 | 56418 | 56391 | 55741 | 56328 | 56429 | 4109.62/756.98 c (495,0) c | Promoted | 25695 | 3351 | 3200 | 2725 | 3174 | 3221 | 3211 | 3249 | 3564 | 4109.62/756.98 c (495,0) c | Remove_Imp | 249165 | 24406 | 26416 | 35885 | 24704 | 32968 | 30477 | 37015 | 37294 | 4109.62/756.98 c (495,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4109.62/756.98 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.98 c (495,0) c | Unaries | | 2 | 6 | 10 | 13 | 2 | 4 | 3 | 4 | 4109.62/756.98 c (495,0) c | Binaries | | 473 | 533 | 438 | 545 | 596 | 555 | 520 | 626 | 4109.62/756.98 c (495,0) c | Glues | | 1169 | 1558 | 1265 | 1354 | 1450 | 1463 | 1336 | 1615 | 4109.62/756.98 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.98 c (495,0) c | Orig_Seen | 21 % | 423467 | 397571 | 410862 | 374266 | 425376 | 398954 | 385480 | 398245 | 4109.62/756.98 c (495,0) c | Diff Orig seen| | 12605 | - 13291 | X | - 36596 | 14514 | - 11908 | - 25382 | - 12617 | 4109.62/756.98 c (495,0) c | Hamming | 0 % | 2108 | 2780 | X | 2498 | 2788 | 2252 | 2107 | 2499 | 4109.62/756.98 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.98 c (495,0) c | RunningTime | | 473.2 100%| 470.1 99%| 467.7 99%| 464.7 98%| 466.5 98%| 463.9 98%| 470.5 100%| 465.0 98%| 4109.62/756.98 c (495,0) c | WaitingTime | | 1.7 0%| 2.7 1%| 4.5 1%| 7.6 2%| 7.2 2%| 8.4 2%| 1.7 0%| 7.4 2%| 4109.62/756.98 c (495,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%| 4109.62/756.98 c (495,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%| 4109.62/756.98 c (495,0) c | SolvingTime | | 475.0 | 472.9 | 472.2 | 472.4 | 473.8 | 472.4 | 472.3 | 472.4 | 4109.62/756.98 c (495,0) c | PropagationTim| | 453.4 95%| 451.7 96%| 450.5 95%| 448.8 95%| 451.4 95%| 449.9 95%| 449.4 95%| 448.5 95%| 4109.62/756.98 c (495,0) c | AnalysisTime | | 6.5 1%| 6.5 1%| 6.6 1%| 7.8 2%| 6.9 1%| 7.1 2%| 7.7 2%| 7.8 2%| 4109.62/756.98 c (495,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.3 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.4 0%| 0.0 0%| 4109.62/756.98 c (495,0) c | SimplifyTime | | 1.2 0%| 0.6 0%| 0.8 0%| 1.3 0%| 1.2 0%| 1.1 0%| 0.7 0%| 1.8 0%| 4109.62/756.98 c (495,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%| 4109.62/756.98 c (495,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%| 4109.62/756.98 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.98 c (495,0) c 4109.62/756.98 c (495,0) c 4109.62/756.98 c (495,0) c Threads : 8 4109.62/756.98 c (495,0) c Winner : 2 4109.62/756.98 c (495,0) c Conflicts_0 : 48891 4109.62/756.98 c (495,0) c Conflicts_1 : 50801 4109.62/756.98 c (495,0) c Conflicts_2 : 51581 4109.62/756.98 c (495,0) c Conflicts_3 : 56385 4109.62/756.98 c (495,0) c Conflicts_4 : 53513 4109.62/756.98 c (495,0) c Conflicts_5 : 53521 4109.62/756.98 c (495,0) c Conflicts_6 : 53033 4109.62/756.98 c (495,0) c Conflicts_7 : 54194 4109.62/756.98 c (495,0) c Conflicts_total : 421919 4109.62/756.98 c (495,0) c Conflicts_winner : 51581 4109.62/756.98 c (495,0) c Decisions_0 : 82704 4109.62/756.98 c (495,0) c Decisions_1 : 83850 4109.62/756.98 c (495,0) c Decisions_2 : 85076 4109.62/756.98 c (495,0) c Decisions_3 : 96769 4109.62/756.98 c (495,0) c Decisions_4 : 88908 4109.62/756.98 c (495,0) c Decisions_5 : 94256 4109.62/756.98 c (495,0) c Decisions_6 : 89782 4109.62/756.98 c (495,0) c Decisions_7 : 94438 4109.62/756.98 c (495,0) c Decisions_total : 715783 4109.62/756.98 c (495,0) c Decisions_winner : 85076 4109.62/756.98 c (495,0) c Propagations_0 : 1155750663 4109.62/756.98 c (495,0) c Propagations_1 : 1163728221 4109.62/756.98 c (495,0) c Propagations_2 : 1181386270 4109.62/756.98 c (495,0) c Propagations_3 : 1188444615 4109.62/756.98 c (495,0) c Propagations_4 : 1174671099 4109.62/756.98 c (495,0) c Propagations_5 : 1190553641 4109.62/756.98 c (495,0) c Propagations_6 : 1155971229 4109.62/756.98 c (495,0) c Propagations_7 : 1168761954 4109.62/756.98 c (495,0) c Propagations_total : 9379267692 4109.62/756.98 c (495,0) c Propagations_winner : 1181386270 4109.62/756.98 c (495,0) c ReduceDBs_0 : 5 4109.62/756.98 c (495,0) c ReduceDBs_1 : 5 4109.62/756.98 c (495,0) c ReduceDBs_2 : 6 4109.62/756.98 c (495,0) c ReduceDBs_3 : 6 4109.62/756.98 c (495,0) c ReduceDBs_4 : 6 4109.62/756.98 c (495,0) c ReduceDBs_5 : 6 4109.62/756.98 c (495,0) c ReduceDBs_6 : 6 4109.62/756.98 c (495,0) c ReduceDBs_7 : 6 4109.62/756.98 c (495,0) c ReduceDBs_total : 46 4109.62/756.98 c (495,0) c ReduceDBs_winner : 6 4109.62/756.98 c (495,0) c SimpDBs_0 : 12 4109.62/756.98 c (495,0) c SimpDBs_1 : 10 4109.62/756.98 c (495,0) c SimpDBs_2 : 10 4109.62/756.98 c (495,0) c SimpDBs_3 : 9 4109.62/756.98 c (495,0) c SimpDBs_4 : 11 4109.62/756.98 c (495,0) c SimpDBs_5 : 10 4109.62/756.98 c (495,0) c SimpDBs_6 : 11 4109.62/756.98 c (495,0) c SimpDBs_7 : 11 4109.62/756.98 c (495,0) c SimpDBs_total : 84 4109.62/756.98 c (495,0) c SimpDBs_winner : 10 4109.62/756.98 c (495,0) c Restarts_0 : 26 4109.62/756.99 c (495,0) c Restarts_1 : 41 4109.62/756.99 c (495,0) c Restarts_2 : 16 4109.62/756.99 c (495,0) c Restarts_3 : 27 4109.62/756.99 c (495,0) c Restarts_4 : 60 4109.62/756.99 c (495,0) c Restarts_5 : 37 4109.62/756.99 c (495,0) c Restarts_6 : 63 4109.62/756.99 c (495,0) c Restarts_7 : 82 4109.62/756.99 c (495,0) c Restarts_total : 352 4109.62/756.99 c (495,0) c Restarts_winner : 16 4109.62/756.99 c (495,0) c ForcedImports_0 : 0 4109.62/756.99 c (495,0) c ForcedImports_1 : 0 4109.62/756.99 c (495,0) c ForcedImports_2 : 0 4109.62/756.99 c (495,0) c ForcedImports_3 : 0 4109.62/756.99 c (495,0) c ForcedImports_4 : 0 4109.62/756.99 c (495,0) c ForcedImports_5 : 0 4109.62/756.99 c (495,0) c ForcedImports_6 : 0 4109.62/756.99 c (495,0) c ForcedImports_7 : 0 4109.62/756.99 c (495,0) c ForcedImports_total : 0 4109.62/756.99 c (495,0) c ForcedImports_winner : 0 4109.62/756.99 c (495,0) c PropsBinClauses_0 : 406936842 4109.62/756.99 c (495,0) c PropsBinClauses_1 : 410597727 4109.62/756.99 c (495,0) c PropsBinClauses_2 : 399154326 4109.62/756.99 c (495,0) c PropsBinClauses_3 : 389823732 4109.62/756.99 c (495,0) c PropsBinClauses_4 : 394705246 4109.62/756.99 c (495,0) c PropsBinClauses_5 : 391604130 4109.62/756.99 c (495,0) c PropsBinClauses_6 : 404765473 4109.62/756.99 c (495,0) c PropsBinClauses_7 : 399517361 4109.62/756.99 c (495,0) c PropsBinClauses_total : 3197104837 4109.62/756.99 c (495,0) c PropsBinClauses_winner : 399154326 4109.62/756.99 c (495,0) c PropsPreBlocker_0 : 4798965889 4109.62/756.99 c (495,0) c PropsPreBlocker_1 : 4743874343 4109.62/756.99 c (495,0) c PropsPreBlocker_2 : 4815848105 4109.62/756.99 c (495,0) c PropsPreBlocker_3 : 4790121446 4109.62/756.99 c (495,0) c PropsPreBlocker_4 : 4799263448 4109.62/756.99 c (495,0) c PropsPreBlocker_5 : 4792300284 4109.62/756.99 c (495,0) c PropsPreBlocker_6 : 4779176036 4109.62/756.99 c (495,0) c PropsPreBlocker_7 : 4767297917 4109.62/756.99 c (495,0) c PropsPreBlocker_total : 38286847468 4109.62/756.99 c (495,0) c PropsPreBlocker_winner : 4815848105 4109.62/756.99 c (495,0) c PropsNotBlocker_0 : 2653549637 4109.62/756.99 c (495,0) c PropsNotBlocker_1 : 2707714936 4109.62/756.99 c (495,0) c PropsNotBlocker_2 : 2592962638 4109.62/756.99 c (495,0) c PropsNotBlocker_3 : 2584452652 4109.62/756.99 c (495,0) c PropsNotBlocker_4 : 2614945101 4109.62/756.99 c (495,0) c PropsNotBlocker_5 : 2599536525 4109.62/756.99 c (495,0) c PropsNotBlocker_6 : 2625436526 4109.62/756.99 c (495,0) c PropsNotBlocker_7 : 2608207398 4109.62/756.99 c (495,0) c PropsNotBlocker_total : 20986805413 4109.62/756.99 c (495,0) c PropsNotBlocker_winner : 2592962638 4109.62/756.99 c (495,0) c PropsLitFullScans_0 : 10398514659 4109.62/756.99 c (495,0) c PropsLitFullScans_1 : 10399027056 4109.62/756.99 c (495,0) c PropsLitFullScans_2 : 10398382452 4109.62/756.99 c (495,0) c PropsLitFullScans_3 : 10431603049 4109.62/756.99 c (495,0) c PropsLitFullScans_4 : 10398689889 4109.62/756.99 c (495,0) c PropsLitFullScans_5 : 10421737175 4109.62/756.99 c (495,0) c PropsLitFullScans_6 : 10398602720 4109.62/756.99 c (495,0) c PropsLitFullScans_7 : 10397942372 4109.62/756.99 c (495,0) c PropsLitFullScans_total : 83244499372 4109.62/756.99 c (495,0) c PropsLitFullScans_winner : 10398382452 4109.62/756.99 c (495,0) c LitScanFractions_0 : 6424572 4109.62/756.99 c (495,0) c LitScanFractions_1 : 6954198 4109.62/756.99 c (495,0) c LitScanFractions_2 : 5883048 4109.62/756.99 c (495,0) c LitScanFractions_3 : 6064068 4109.62/756.99 c (495,0) c LitScanFractions_4 : 6365254 4109.62/756.99 c (495,0) c LitScanFractions_5 : 5709857 4109.62/756.99 c (495,0) c LitScanFractions_6 : 6397508 4109.62/756.99 c (495,0) c LitScanFractions_7 : 5806117 4109.62/756.99 c (495,0) c LitScanFractions_total : 49604622 4109.62/756.99 c (495,0) c LitScanFractions_winner : 5883048 4109.62/756.99 c (495,0) c DecisionLevel0_0 : 28 4109.62/756.99 c (495,0) c DecisionLevel0_1 : 47 4109.62/756.99 c (495,0) c DecisionLevel0_2 : 26 4109.62/756.99 c (495,0) c DecisionLevel0_3 : 40 4109.62/756.99 c (495,0) c DecisionLevel0_4 : 62 4109.62/756.99 c (495,0) c DecisionLevel0_5 : 41 4109.62/756.99 c (495,0) c DecisionLevel0_6 : 66 4109.62/756.99 c (495,0) c DecisionLevel0_7 : 86 4109.62/756.99 c (495,0) c DecisionLevel0_total : 396 4109.62/756.99 c (495,0) c DecisionLevel0_winner : 26 4109.62/756.99 c (495,0) c Periods_0 : 1732 4109.62/756.99 c (495,0) c Periods_1 : 1732 4109.62/756.99 c (495,0) c Periods_2 : 1732 4109.62/756.99 c (495,0) c Periods_3 : 1737 4109.62/756.99 c (495,0) c Periods_4 : 1732 4109.62/756.99 c (495,0) c Periods_5 : 1736 4109.62/756.99 c (495,0) c Periods_6 : 1732 4109.62/756.99 c (495,0) c Periods_7 : 1732 4109.62/756.99 c (495,0) c Periods_total : 13865 4109.62/756.99 c (495,0) c Periods_winner : 1732 4109.62/756.99 c (495,0) c Margin_0 : 20 4109.62/756.99 c (495,0) c Margin_1 : 20 4109.62/756.99 c (495,0) c Margin_2 : 20 4109.62/756.99 c (495,0) c Margin_3 : 20 4109.62/756.99 c (495,0) c Margin_4 : 20 4109.62/756.99 c (495,0) c Margin_5 : 20 4109.62/756.99 c (495,0) c Margin_6 : 20 4109.62/756.99 c (495,0) c Margin_7 : 20 4109.62/756.99 c (495,0) c Margin_total : 160 4109.62/756.99 c (495,0) c Margin_winner : 20 4109.62/756.99 c (495,0) c Exported_0 : 8003 4109.62/756.99 c (495,0) c Exported_1 : 8732 4109.62/756.99 c (495,0) c Exported_2 : 8629 4109.62/756.99 c (495,0) c Exported_3 : 10346 4109.62/756.99 c (495,0) c Exported_4 : 8505 4109.62/756.99 c (495,0) c Exported_5 : 9101 4109.62/756.99 c (495,0) c Exported_6 : 8732 4109.62/756.99 c (495,0) c Exported_7 : 8851 4109.62/756.99 c (495,0) c Exported_total : 70899 4109.62/756.99 c (495,0) c Exported_winner : 8629 4109.62/756.99 c (495,0) c Imported_0 : 62173 4109.62/756.99 c (495,0) c Imported_1 : 61271 4109.62/756.99 c (495,0) c Imported_2 : 61586 4109.62/756.99 c (495,0) c Imported_3 : 60091 4109.62/756.99 c (495,0) c Imported_4 : 59859 4109.62/756.99 c (495,0) c Imported_5 : 59236 4109.62/756.99 c (495,0) c Imported_6 : 59891 4109.62/756.99 c (495,0) c Imported_7 : 59893 4109.62/756.99 c (495,0) c Imported_total : 484000 4109.62/756.99 c (495,0) c Imported_winner : 61586 4109.62/756.99 c (495,0) c Good_0 : 3702 4109.62/756.99 c (495,0) c Good_1 : 3629 4109.62/756.99 c (495,0) c Good_2 : 3759 4109.62/756.99 c (495,0) c Good_3 : 3673 4109.62/756.99 c (495,0) c Good_4 : 3468 4109.62/756.99 c (495,0) c Good_5 : 3495 4109.62/756.99 c (495,0) c Good_6 : 3563 4109.62/756.99 c (495,0) c Good_7 : 3464 4109.62/756.99 c (495,0) c Good_total : 28753 4109.62/756.99 c (495,0) c Good_winner : 3759 4109.62/756.99 c (495,0) c Purge_0 : 58471 4109.62/756.99 c (495,0) c Purge_1 : 57642 4109.62/756.99 c (495,0) c Purge_2 : 57827 4109.62/756.99 c (495,0) c Purge_3 : 56418 4109.62/756.99 c (495,0) c Purge_4 : 56391 4109.62/756.99 c (495,0) c Purge_5 : 55741 4109.62/756.99 c (495,0) c Purge_6 : 56328 4109.62/756.99 c (495,0) c Purge_7 : 56429 4109.62/756.99 c (495,0) c Purge_total : 455247 4109.62/756.99 c (495,0) c Purge_winner : 57827 4109.62/756.99 c (495,0) c Promoted_0 : 3351 4109.62/756.99 c (495,0) c Promoted_1 : 3200 4109.62/756.99 c (495,0) c Promoted_2 : 2725 4109.62/756.99 c (495,0) c Promoted_3 : 3174 4109.62/756.99 c (495,0) c Promoted_4 : 3221 4109.62/756.99 c (495,0) c Promoted_5 : 3211 4109.62/756.99 c (495,0) c Promoted_6 : 3249 4109.62/756.99 c (495,0) c Promoted_7 : 3564 4109.62/756.99 c (495,0) c Promoted_total : 25695 4109.62/756.99 c (495,0) c Promoted_winner : 2725 4109.62/756.99 c (495,0) c Remove_Imp_0 : 24406 4109.62/756.99 c (495,0) c Remove_Imp_1 : 26416 4109.62/756.99 c (495,0) c Remove_Imp_2 : 35885 4109.62/756.99 c (495,0) c Remove_Imp_3 : 24704 4109.62/756.99 c (495,0) c Remove_Imp_4 : 32968 4109.62/756.99 c (495,0) c Remove_Imp_5 : 30477 4109.62/756.99 c (495,0) c Remove_Imp_6 : 37015 4109.62/756.99 c (495,0) c Remove_Imp_7 : 37294 4109.62/756.99 c (495,0) c Remove_Imp_total : 249165 4109.62/756.99 c (495,0) c Remove_Imp_winner : 35885 4109.62/756.99 c (495,0) c Blocked_Reuse_0 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_1 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_2 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_3 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_4 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_5 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_6 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_7 : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_total : 0 4109.62/756.99 c (495,0) c Blocked_Reuse_winner : 0 4109.62/756.99 c (495,0) c Unaries_0 : 2 4109.62/756.99 c (495,0) c Unaries_1 : 6 4109.62/756.99 c (495,0) c Unaries_2 : 10 4109.62/756.99 c (495,0) c Unaries_3 : 13 4109.62/756.99 c (495,0) c Unaries_4 : 2 4109.62/756.99 c (495,0) c Unaries_5 : 4 4109.62/756.99 c (495,0) c Unaries_6 : 3 4109.62/756.99 c (495,0) c Unaries_7 : 4 4109.62/756.99 c (495,0) c Unaries_total : 44 4109.62/756.99 c (495,0) c Unaries_winner : 10 4109.62/756.99 c (495,0) c Binaries_0 : 473 4109.62/756.99 c (495,0) c Binaries_1 : 533 4109.62/756.99 c (495,0) c Binaries_2 : 438 4109.62/756.99 c (495,0) c Binaries_3 : 545 4109.62/756.99 c (495,0) c Binaries_4 : 596 4109.62/756.99 c (495,0) c Binaries_5 : 555 4109.62/756.99 c (495,0) c Binaries_6 : 520 4109.62/756.99 c (495,0) c Binaries_7 : 626 4109.62/756.99 c (495,0) c Binaries_total : 4286 4109.62/756.99 c (495,0) c Binaries_winner : 438 4109.62/756.99 c (495,0) c Glues_0 : 1169 4109.62/756.99 c (495,0) c Glues_1 : 1558 4109.62/756.99 c (495,0) c Glues_2 : 1265 4109.62/756.99 c (495,0) c Glues_3 : 1354 4109.62/756.99 c (495,0) c Glues_4 : 1450 4109.62/756.99 c (495,0) c Glues_5 : 1463 4109.62/756.99 c (495,0) c Glues_6 : 1336 4109.62/756.99 c (495,0) c Glues_7 : 1615 4109.62/756.99 c (495,0) c Glues_total : 11210 4109.62/756.99 c (495,0) c Glues_winner : 1265 4109.62/756.99 c (495,0) c RunningTime_0 : 473.211185 4109.62/756.99 c (495,0) c RunningTime_1 : 470.092620 4109.62/756.99 c (495,0) c RunningTime_2 : 467.684212 4109.62/756.99 c (495,0) c RunningTime_3 : 464.699364 4109.62/756.99 c (495,0) c RunningTime_4 : 466.485968 4109.62/756.99 c (495,0) c RunningTime_5 : 463.943497 4109.62/756.99 c (495,0) c RunningTime_6 : 470.543687 4109.62/756.99 c (495,0) c RunningTime_7 : 464.995105 4109.62/756.99 c (495,0) c RunningTime_total : 3741.655638 4109.62/756.99 c (495,0) c RunningTime_winner : 467.684212 4109.62/756.99 c (495,0) c WaitingTime_0 : 1.713856 4109.62/756.99 c (495,0) c WaitingTime_1 : 2.699960 4109.62/756.99 c (495,0) c WaitingTime_2 : 4.473083 4109.62/756.99 c (495,0) c WaitingTime_3 : 7.617634 4109.62/756.99 c (495,0) c WaitingTime_4 : 7.195671 4109.62/756.99 c (495,0) c WaitingTime_5 : 8.397288 4109.62/756.99 c (495,0) c WaitingTime_6 : 1.684502 4109.62/756.99 c (495,0) c WaitingTime_7 : 7.365760 4109.62/756.99 c (495,0) c WaitingTime_total : 41.147753 4109.62/756.99 c (495,0) c WaitingTime_winner : 4.473083 4109.62/756.99 c (495,0) c ExchangingTime_0 : 0.056839 4109.62/756.99 c (495,0) c ExchangingTime_1 : 0.058393 4109.62/756.99 c (495,0) c ExchangingTime_2 : 0.053062 4109.62/756.99 c (495,0) c ExchangingTime_3 : 0.056982 4109.62/756.99 c (495,0) c ExchangingTime_4 : 0.059815 4109.62/756.99 c (495,0) c ExchangingTime_5 : 0.058572 4109.62/756.99 c (495,0) c ExchangingTime_6 : 0.060062 4109.62/756.99 c (495,0) c ExchangingTime_7 : 0.059757 4109.62/756.99 c (495,0) c ExchangingTime_total : 0.463483 4109.62/756.99 c (495,0) c ExchangingTime_winner : 0.053062 4109.62/756.99 c (495,0) c PeriodProcTime_0 : 0.021684 4109.62/756.99 c (495,0) c PeriodProcTime_1 : 0.019122 4109.62/756.99 c (495,0) c PeriodProcTime_2 : 0.016726 4109.62/756.99 c (495,0) c PeriodProcTime_3 : 0.018948 4109.62/756.99 c (495,0) c PeriodProcTime_4 : 0.018169 4109.62/756.99 c (495,0) c PeriodProcTime_5 : 0.019780 4109.62/756.99 c (495,0) c PeriodProcTime_6 : 0.022113 4109.62/756.99 c (495,0) c PeriodProcTime_7 : 0.017420 4109.62/756.99 c (495,0) c PeriodProcTime_total : 0.153962 4109.62/756.99 c (495,0) c PeriodProcTime_winner : 0.016726 4109.62/756.99 c (495,0) c SolvingTime_0 : 475.003564 4109.62/756.99 c (495,0) c SolvingTime_1 : 472.870095 4109.62/756.99 c (495,0) c SolvingTime_2 : 472.227082 4109.62/756.99 c (495,0) c SolvingTime_3 : 472.392928 4109.62/756.99 c (495,0) c SolvingTime_4 : 473.759623 4109.62/756.99 c (495,0) c SolvingTime_5 : 472.419137 4109.62/756.99 c (495,0) c SolvingTime_6 : 472.310364 4109.62/756.99 c (495,0) c SolvingTime_7 : 472.438042 4109.62/756.99 c (495,0) c SolvingTime_total : 3783.420836 4109.62/756.99 c (495,0) c SolvingTime_winner : 472.227082 4109.62/756.99 c (495,0) c PropagationTime_0 : 453.420627 4109.62/756.99 c (495,0) c PropagationTime_1 : 451.698183 4109.62/756.99 c (495,0) c PropagationTime_2 : 450.506009 4109.62/756.99 c (495,0) c PropagationTime_3 : 448.826489 4109.62/756.99 c (495,0) c PropagationTime_4 : 451.378774 4109.62/756.99 c (495,0) c PropagationTime_5 : 449.947931 4109.62/756.99 c (495,0) c PropagationTime_6 : 449.439451 4109.62/756.99 c (495,0) c PropagationTime_7 : 448.527255 4109.62/756.99 c (495,0) c PropagationTime_total : 3603.744719 4109.62/756.99 c (495,0) c PropagationTime_winner : 450.506009 4109.62/756.99 c (495,0) c AnalysisTime_0 : 6.547787 4109.62/756.99 c (495,0) c AnalysisTime_1 : 6.475981 4109.62/756.99 c (495,0) c AnalysisTime_2 : 6.569262 4109.62/756.99 c (495,0) c AnalysisTime_3 : 7.759378 4109.62/756.99 c (495,0) c AnalysisTime_4 : 6.905517 4109.62/756.99 c (495,0) c AnalysisTime_5 : 7.127308 4109.62/756.99 c (495,0) c AnalysisTime_6 : 7.665893 4109.62/756.99 c (495,0) c AnalysisTime_7 : 7.766118 4109.62/756.99 c (495,0) c AnalysisTime_total : 56.817245 4109.62/756.99 c (495,0) c AnalysisTime_winner : 6.569262 4109.62/756.99 c (495,0) c ReductionTime_0 : 0.025912 4109.62/756.99 c (495,0) c ReductionTime_1 : 0.024780 4109.62/756.99 c (495,0) c ReductionTime_2 : 0.332400 4109.62/756.99 c (495,0) c ReductionTime_3 : 0.036967 4109.62/756.99 c (495,0) c ReductionTime_4 : 0.038862 4109.62/756.99 c (495,0) c ReductionTime_5 : 0.039120 4109.62/756.99 c (495,0) c ReductionTime_6 : 0.355328 4109.62/756.99 c (495,0) c ReductionTime_7 : 0.040196 4109.62/756.99 c (495,0) c ReductionTime_total : 0.893565 4109.62/756.99 c (495,0) c ReductionTime_winner : 0.332400 4109.62/756.99 c (495,0) c SimplifyTime_0 : 1.239701 4109.62/756.99 c (495,0) c SimplifyTime_1 : 0.633740 4109.62/756.99 c (495,0) c SimplifyTime_2 : 0.768734 4109.62/756.99 c (495,0) c SimplifyTime_3 : 1.263740 4109.62/756.99 c (495,0) c SimplifyTime_4 : 1.246448 4109.62/756.99 c (495,0) c SimplifyTime_5 : 1.072314 4109.62/756.99 c (495,0) c SimplifyTime_6 : 0.679409 4109.62/756.99 c (495,0) c SimplifyTime_7 : 1.800352 4109.62/756.99 c (495,0) c SimplifyTime_total : 8.704438 4109.62/756.99 c (495,0) c SimplifyTime_winner : 0.768734 4109.62/756.99 c (495,0) c UsedRateTime_0 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_1 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_2 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_3 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_4 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_5 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_6 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_7 : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_total : 0.000000 4109.62/756.99 c (495,0) c UsedRateTime_winner : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_0 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_1 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_2 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_3 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_4 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_5 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_6 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_7 : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_total : 0.000000 4109.62/756.99 c (495,0) c OverlapRateTime_winner : 0.000000 4109.62/756.99 c (495,0) c 4109.62/756.99 c (495,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 4109.62/756.99 c (495,0) c 4109.62/756.99 c (495,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.99 c (495,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 4109.62/756.99 c (495,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.99 c (495,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 4109.62/756.99 c (495,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 4109.62/756.99 c (495,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 4109.62/756.99 c (495,0) c | Initial random_seed | 949978738 | 1923304095 | 1301142833 | 347850616 | 563701640 | 1642209264 | 2047624180 | 1746744266 | 4109.62/756.99 c (495,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 4109.62/756.99 c (495,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 4109.62/756.99 c (495,0) c | glureduce | True | True | True | True | True | True | True | True | 4109.62/756.99 c (495,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 4109.62/756.99 c (495,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 4109.62/756.99 c (495,0) c | luby_restart | False | False | False | False | False | False | False | False | 4109.62/756.99 c (495,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 4109.62/756.99 c (495,0) c | var_decay | 0.8900 | 0.9000 | 0.9000 | 0.9100 | 0.9000 | 0.9000 | 0.9000 | 0.9000 | 4109.62/756.99 c (495,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 4109.62/756.99 c (495,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 4109.62/756.99 c (495,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 4109.62/756.99 c (495,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 4109.62/756.99 c (495,0) 4109.62/756.99 c (495,0) s UNSATISFIABLE 363.71/757.09 c (495,0) SatSolver.solve End 363.71/757.09 c (495,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 363.71/757.09 c (495,0) Show results Begin 363.71/757.09 s UNSATISFIABLE 363.71/757.09 c (495,0) Show results End 363.71/757.09 c (495,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 363.71/757.09 c (495,0) 495,495,STOP-AFTER(ALL) 363.71/757.09 c END-Prog: Sat Sep 14 00:35:35 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (14967 MiB free) memory of node 1: 16384 MiB (15378 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392599-1568417094/watcher-4392599-1568417094 -o /tmp/evaluation-result-4392599-1568417094/solver-4392599-1568417094 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392599-1568417094.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=19205, runsolver pid=19202 Current StackSize limit: 8192 KiB [startup+0.100141 s]* /proc/loadavg: 0.88 1.06 1.35 2/211 19227 /proc/meminfo: memFree=30982600/32770624 swapFree=66922724/67108860 [pid=19205] ppid=19202 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19205/stat : 19205 (scop.sh) S 19202 19205 19161 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417965422 115843072 349 33554432000 4194304 5098028 140721129394048 140721129391304 140187877417596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29130752 140721129399076 140721129399404 140721129399404 140721129402317 0 /proc/19205/statm: 28282 349 296 221 0 87 0 [pid=19208] ppid=19205 vsize=27314120 memory=103940 CPUtime=0.09 cores=0-7 /proc/19208/stat : 19208 (java) S 19205 19205 19161 0 -1 1077944320 6552 0 0 0 7 2 0 0 20 0 20 0 417965422 27969658880 25985 33554432000 4194304 4196468 140737248982256 140737248964800 140710722993911 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 /proc/19208/statm: 6828530 25985 2770 1 0 6790935 0 [pid=19208/tid=19209] ppid=19205 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/19208/task/19209/stat : 19209 (java) R 19205 19205 19161 0 -1 4202560 4657 0 0 0 6 2 0 0 20 0 20 0 417965423 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710694820096 140710707117476 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19210] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19210/stat : 19210 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710727236752 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19211] ppid=19205 vsize=27314120 memory=288370522862909056 CPUtime=0 cores=0-7 /proc/19208/task/19211/stat : 19211 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710145678352 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19212] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19212/stat : 19212 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710144625552 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19213] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19213/stat : 19213 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710143572752 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19214] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19214/stat : 19214 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710142519952 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19215] ppid=19205 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19208/task/19215/stat : 19215 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710141467152 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19216] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19216/stat : 19216 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710140414352 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19217] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19217/stat : 19217 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 25985 33554432000 4194304 4196468 140737248982256 140710139361552 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19218] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19218/stat : 19218 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965427 27969658880 25985 33554432000 4194304 4196468 140737248982256 140709982702448 140710723005058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19219] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19219/stat : 19219 (java) S 19205 19205 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417965428 27969658880 25985 33554432000 4194304 4196468 140737248982256 140708497319456 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19220] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19220/stat : 19220 (java) S 19205 19205 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417965428 27969658880 25985 33554432000 4194304 4196468 140737248982256 140708363097456 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19221] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19221/stat : 19221 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 25985 33554432000 4194304 4196468 140737248982256 140707988592976 140710723012507 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19222] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19222/stat : 19222 (java) S 19205 19205 19161 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 25985 33554432000 4194304 4196468 140737248982256 140709981649264 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19223] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19223/stat : 19223 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 25985 33554432000 4194304 4196468 140737248982256 140709980596464 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19224] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19224/stat : 19224 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 25985 33554432000 4194304 4196468 140737248982256 140709979543664 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19225] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19225/stat : 19225 (java) S 19205 19205 19161 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 25985 33554432000 4194304 4196468 140737248982256 140709978490864 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19226] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19226/stat : 19226 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 25985 33554432000 4194304 4196468 140737248982256 140707490688096 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19227] ppid=19205 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19208/task/19227/stat : 19227 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 25985 33554432000 4194304 4196468 140737248982256 140709977439280 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105336 KiB [startup+0.209849 s]* /proc/loadavg: 0.88 1.06 1.35 4/211 19227 /proc/meminfo: memFree=30964392/32770624 swapFree=66922724/67108860 [pid=19205] ppid=19202 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19205/stat : 19205 (scop.sh) S 19202 19205 19161 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417965422 115843072 349 33554432000 4194304 5098028 140721129394048 140721129391304 140187877417596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29130752 140721129399076 140721129399404 140721129399404 140721129402317 0 /proc/19205/statm: 28282 349 296 221 0 87 0 [pid=19208] ppid=19205 vsize=27314120 memory=121116 CPUtime=0.23 cores=0-7 /proc/19208/stat : 19208 (java) S 19205 19205 19161 0 -1 1077944320 11668 0 0 0 20 3 0 0 20 0 20 0 417965422 27969658880 30279 33554432000 4194304 4196468 140737248982256 140737248964800 140710722993911 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 /proc/19208/statm: 6828530 30279 2929 1 0 6790935 0 [pid=19208/tid=19209] ppid=19205 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/19208/task/19209/stat : 19209 (java) R 19205 19205 19161 0 -1 4202560 9348 0 0 0 16 3 0 0 20 0 20 0 417965423 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710694793296 140710707074398 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19210] ppid=19205 vsize=27314120 memory=10923 CPUtime=0 cores=0-7 /proc/19208/task/19210/stat : 19210 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710727236752 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19211] ppid=19205 vsize=27314120 memory=140146711214301 CPUtime=0 cores=0-7 /proc/19208/task/19211/stat : 19211 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710145678352 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19212] ppid=19205 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19208/task/19212/stat : 19212 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710144625552 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19213] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19213/stat : 19213 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710143572752 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19214] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19214/stat : 19214 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710142519952 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19215] ppid=19205 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19208/task/19215/stat : 19215 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710141467152 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19216] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19216/stat : 19216 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710140414352 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19217] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19217/stat : 19217 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 30279 33554432000 4194304 4196468 140737248982256 140710139361552 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19218] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19218/stat : 19218 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965427 27969658880 30279 33554432000 4194304 4196468 140737248982256 140709982702448 140710723005058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19219] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19219/stat : 19219 (java) S 19205 19205 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417965428 27969658880 30279 33554432000 4194304 4196468 140737248982256 140708497319456 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19220] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19220/stat : 19220 (java) S 19205 19205 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417965428 27969658880 30279 33554432000 4194304 4196468 140737248982256 140708363097456 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19221] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19221/stat : 19221 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 30279 33554432000 4194304 4196468 140737248982256 140707988592976 140710723012507 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19222] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19222/stat : 19222 (java) S 19205 19205 19161 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 30279 33554432000 4194304 4196468 140737248982256 140709981649264 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19223] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19223/stat : 19223 (java) S 19205 19205 19161 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 30279 33554432000 4194304 4196468 140737248982256 140709980596464 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19224] ppid=19205 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19208/task/19224/stat : 19224 (java) S 19205 19205 19161 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 30279 33554432000 4194304 4196468 140737248982256 140709979543664 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19225] ppid=19205 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/19208/task/19225/stat : 19225 (java) S 19205 19205 19161 0 -1 1077944384 489 0 0 0 2 0 0 0 20 0 20 0 417965431 27969658880 30279 33554432000 4194304 4196468 140737248982256 140709978490864 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19226] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19226/stat : 19226 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 30279 33554432000 4194304 4196468 140737248982256 140707490688096 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19227] ppid=19205 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19208/task/19227/stat : 19227 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 30279 33554432000 4194304 4196468 140737248982256 140709977439280 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 122512 KiB [startup+0.309402 s]* /proc/loadavg: 0.88 1.06 1.35 2/211 19227 /proc/meminfo: memFree=30960484/32770624 swapFree=66922724/67108860 [pid=19205] ppid=19202 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19205/stat : 19205 (scop.sh) S 19202 19205 19161 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417965422 115843072 349 33554432000 4194304 5098028 140721129394048 140721129391304 140187877417596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29130752 140721129399076 140721129399404 140721129399404 140721129402317 0 /proc/19205/statm: 28282 349 296 221 0 87 0 [pid=19208] ppid=19205 vsize=27314120 memory=125604 CPUtime=0.41 cores=0-7 /proc/19208/stat : 19208 (java) S 19205 19205 19161 0 -1 1077944320 12749 0 0 0 37 4 0 0 20 0 20 0 417965422 27969658880 31401 33554432000 4194304 4196468 140737248982256 140737248964800 140710722993911 0 0 2 16800973 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 /proc/19208/statm: 6828530 31401 3038 1 0 6790935 0 [pid=19208/tid=19209] ppid=19205 vsize=27314120 memory=8317482817917895235 CPUtime=0.28 cores=0-7 /proc/19208/task/19209/stat : 19209 (java) R 19205 19205 19161 0 -1 4202560 10245 0 0 0 25 3 0 0 20 0 20 0 417965423 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710694823984 140710708159504 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19210] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19210/stat : 19210 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710727236752 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19211] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19211/stat : 19211 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710145678352 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19212] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19212/stat : 19212 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710144625552 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19213] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19213/stat : 19213 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710143572752 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19214] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19214/stat : 19214 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710142519952 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19215] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19215/stat : 19215 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710141467152 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19216] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19216/stat : 19216 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710140414352 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19217] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19217/stat : 19217 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965426 27969658880 31401 33554432000 4194304 4196468 140737248982256 140710139361552 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19218] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19218/stat : 19218 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965427 27969658880 31401 33554432000 4194304 4196468 140737248982256 140709982702448 140710723005058 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19219] ppid=19205 vsize=27314120 memory=280293189819776 CPUtime=0 cores=0-7 /proc/19208/task/19219/stat : 19219 (java) S 19205 19205 19161 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417965428 27969658880 31401 33554432000 4194304 4196468 140737248982256 140708497319456 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19220] ppid=19205 vsize=27314120 memory=280293189824384 CPUtime=0 cores=0-7 /proc/19208/task/19220/stat : 19220 (java) S 19205 19205 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417965428 27969658880 31401 33554432000 4194304 4196468 140737248982256 140708363097456 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19221] ppid=19205 vsize=27314120 memory=280293189828992 CPUtime=0 cores=0-7 /proc/19208/task/19221/stat : 19221 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 31401 33554432000 4194304 4196468 140737248982256 140707988592976 140710723012507 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19222] ppid=19205 vsize=27314120 memory=280293189833600 CPUtime=0 cores=0-7 /proc/19208/task/19222/stat : 19222 (java) S 19205 19205 19161 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 31401 33554432000 4194304 4196468 140737248982256 140709981649264 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19223] ppid=19205 vsize=27314120 memory=280293189838208 CPUtime=0.01 cores=0-7 /proc/19208/task/19223/stat : 19223 (java) S 19205 19205 19161 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 417965431 27969658880 31401 33554432000 4194304 4196468 140737248982256 140709980596464 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19224] ppid=19205 vsize=27314120 memory=280293189842816 CPUtime=0.02 cores=0-7 /proc/19208/task/19224/stat : 19224 (java) S 19205 19205 19161 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 20 0 417965431 27969658880 31401 33554432000 4194304 4196468 140737248982256 140709979543664 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19225] ppid=19205 vsize=27314120 memory=280293189847424 CPUtime=0.07 cores=0-7 /proc/19208/task/19225/stat : 19225 (java) S 19205 19205 19161 0 -1 1077944384 532 0 0 0 7 0 0 0 20 0 20 0 417965431 27969658880 31401 33554432000 4194304 4196468 140737248982256 140709978490864 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19226] ppid=19205 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19226/stat : 19226 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 31401 33554432000 4194304 4196468 140737248982256 140707490688096 140710723004117 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19227] ppid=19205 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/19208/task/19227/stat : 19227 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417965431 27969658880 31401 33554432000 4194304 4196468 140737248982256 140709977439280 140710723005058 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127000 KiB [startup+0.700858 s] /proc/loadavg: 0.88 1.06 1.35 3/211 19227 /proc/meminfo: memFree=30937864/32770624 swapFree=66922724/67108860 [pid=19205] ppid=19202 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/19205/stat : 19205 (scop.sh) S 19202 19205 19161 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 417965422 115843072 349 33554432000 4194304 5098028 140721129394048 140721129391304 140187877417596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29130752 140721129399076 140721129399404 140721129399404 140721129402317 0 /proc/19205/statm: 28282 349 296 221 0 87 0 [pid=19208] ppid=19205 vsize=27320392 memory=163180 CPUtime=0.98 cores=0-7 /proc/19208/stat : 19208 (java) S 19205 19205 19161 0 -1 1077944320 20395 0 0 0 91 7 0 0 20 0 20 0 417965422 27976081408 40795 33554432000 4194304 4196468 140737248982256 140737248964800 140710722993911 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 /proc/19208/statm: 6830098 40795 3185 1 0 6791447 0 [pid=19208/tid=19209] ppid=19205 vsize=27320392 memory=0 CPUtime=0.66 cores=0-7 /proc/19208/task/19209/stat : 19209 (java) R 19205 19205 19161 0 -1 4202560 17345 0 0 0 60 6 0 0 20 0 20 0 417965423 27976081408 40795 33554432000 4194304 4196468 140737248982256 140710694830880 140710723015837 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19210] ppid=19205 vsize=27320392 memory=140146595111808 CPUtime=0 cores=0-7 /proc/19208/task/19210/stat : 19210 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27976081408 40795 33554432000 4194304 4196468 140737248982256 140710727236752 140710723004117 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19211] ppid=19205 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/19208/task/19211/stat : 19211 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27976081408 40795 33554432000 4194304 4196468 140737248982256 140710145678352 140710723004117 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 [pid=19208/tid=19212] ppid=19205 vsize=27320392 memory=9364 CPUtime=0 cores=0-7 /proc/19208/task/19212/stat : 19212 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417965426 27976081408 40795 33554432000 4194304 4196468 140737248982256 140710144625552 140710723004117 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9080832 140737248989930 140737248990358 140737248990358 140737248993231 0 ################ # More data... # ################ /proc/19245/task/19257/stat : 19257 (java) S 19205 19205 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417991544 8616062976 30526 33554432000 4194304 4196468 140732906470320 140518445011696 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19258] ppid=19205 vsize=8414124 memory=20944 CPUtime=0 cores=0-7 /proc/19245/task/19258/stat : 19258 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140518070507472 140520253376411 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19259] ppid=19205 vsize=8414124 memory=8048 CPUtime=0.03 cores=0-7 /proc/19245/task/19259/stat : 19259 (java) S 19205 19205 19161 0 -1 1077944384 484 0 0 0 3 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519488338672 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19260] ppid=19205 vsize=8414124 memory=3444 CPUtime=0.07 cores=0-7 /proc/19245/task/19260/stat : 19260 (java) S 19205 19205 19161 0 -1 1077944384 290 0 0 0 7 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519487286128 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19261] ppid=19205 vsize=8414124 memory=1556 CPUtime=0.08 cores=0-7 /proc/19245/task/19261/stat : 19261 (java) S 19205 19205 19161 0 -1 1077944384 387 0 0 0 8 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519486233072 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19262] ppid=19205 vsize=8414124 memory=2832 CPUtime=0.23 cores=0-7 /proc/19245/task/19262/stat : 19262 (java) S 19205 19205 19161 0 -1 1077944384 852 0 0 0 23 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519485180528 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19263] ppid=19205 vsize=8414124 memory=984 CPUtime=0 cores=0-7 /proc/19245/task/19263/stat : 19263 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140517572602336 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19264] ppid=19205 vsize=8414124 memory=14012 CPUtime=0.27 cores=0-7 /proc/19245/task/19264/stat : 19264 (java) S 19205 19205 19161 0 -1 1077944384 35 0 0 0 18 9 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519484127920 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19266] ppid=19205 vsize=8414124 memory=6712 CPUtime=0 cores=0-7 /proc/19245/task/19266/stat : 19266 (java) S 19205 19205 19161 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417991614 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519476093888 140520253382425 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19268] ppid=19205 vsize=8414124 memory=2120 CPUtime=0.03 cores=0-7 /proc/19245/task/19268/stat : 19268 (java) S 19205 19205 19161 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 417991614 8616062976 30526 33554432000 4194304 4196468 140732906470320 140516901502992 140520253379741 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19269] ppid=19205 vsize=8414124 memory=12020 CPUtime=0 cores=0-7 /proc/19245/task/19269/stat : 19269 (java) S 19205 19205 19161 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417991614 8616062976 30526 33554432000 4194304 4196468 140732906470320 140517169938576 140520253379741 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19270] ppid=19205 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/19245/task/19270/stat : 19270 (java) S 19205 19205 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417991616 8616062976 30526 33554432000 4194304 4196468 140732906470320 140516633075120 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 Current children cumulated CPU time: 4108.73 s Current children cumulated vsize: 10770260 KiB Current children cumulated memory: 1880436 KiB [startup+756.801 s] /proc/loadavg: 8.18 6.71 4.03 2/217 19318 /proc/meminfo: memFree=29140448/32770624 swapFree=66922732/67108860 [pid=19205] ppid=19202 vsize=113128 memory=1476 CPUtime=362.1 cores=0-7 /proc/19205/stat : 19205 (scop.sh) S 19202 19205 19161 0 -1 4202496 581 138969 0 0 0 0 34372 1838 20 0 1 0 417965422 115843072 369 33554432000 4194304 5098028 140721129394048 140721129390792 140187877417596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29130752 140721129399076 140721129399404 140721129399404 140721129402317 0 /proc/19205/statm: 28282 369 311 221 0 87 0 [pid=19245] ppid=19205 vsize=8414124 memory=122104 CPUtime=1.55 cores=0-7 /proc/19245/stat : 19245 (java) S 19205 19205 19161 0 -1 1077944320 23070 0 0 0 143 12 0 0 20 0 24 0 417991539 8616062976 30526 33554432000 4194304 4196468 140732906470320 140732906452864 140520253357815 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 /proc/19245/statm: 2103531 30526 3200 1 0 2064875 0 [pid=19265] ppid=19245 vsize=2243488 memory=1757260 CPUtime=3745.87 cores=0-7 /proc/19265/stat : 19265 (manyglucose-4.1) S 19245 19205 19161 0 -1 1077944320 7848510 0 0 0 372926 1661 0 0 20 0 2 0 417991614 2297331712 439315 33554432000 4194304 4454172 140733545990416 140733545988800 139742316191479 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 22155264 140733545993065 140733545993264 140733545993264 140733545996218 0 /proc/19265/statm: 560872 439315 422 64 0 556540 0 [pid=19265/tid=19271] ppid=19245 vsize=2243488 memory=1760 CPUtime=470.41 cores=0-7 /proc/19265/task/19271/stat : 19271 (manyglucose-4.1) R 19245 19205 19161 0 -1 4202560 1087629 0 0 0 46870 171 0 0 20 0 2 0 417993618 2297331712 439315 33554432000 4194304 4454172 140733545990416 139742289906952 4351289 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 22155264 140733545993065 140733545993264 140733545993264 140733545996218 0 [pid=19245/tid=19246] ppid=19205 vsize=8414124 memory=111632 CPUtime=0.76 cores=0-7 /proc/19245/task/19246/stat : 19246 (java) S 19205 19205 19161 0 -1 1077944384 17921 0 0 0 71 5 0 0 20 0 24 0 417991540 8616062976 30526 33554432000 4194304 4196468 140732906470320 140520225197984 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19247] ppid=19205 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/19245/task/19247/stat : 19247 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140520257600016 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19248] ppid=19205 vsize=8414124 memory=122104 CPUtime=0 cores=0-7 /proc/19245/task/19248/stat : 19248 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140520057768592 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19249] ppid=19205 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/19245/task/19249/stat : 19249 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140520056715536 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19250] ppid=19205 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/19245/task/19250/stat : 19250 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519736863120 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19251] ppid=19205 vsize=8414124 memory=1680 CPUtime=0 cores=0-7 /proc/19245/task/19251/stat : 19251 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519735811088 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19252] ppid=19205 vsize=8414124 memory=1444 CPUtime=0 cores=0-7 /proc/19245/task/19252/stat : 19252 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519734758544 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19253] ppid=19205 vsize=8414124 memory=888 CPUtime=0 cores=0-7 /proc/19245/task/19253/stat : 19253 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519733705488 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19254] ppid=19205 vsize=8414124 memory=122104 CPUtime=0 cores=0-7 /proc/19245/task/19254/stat : 19254 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519732652944 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19255] ppid=19205 vsize=8414124 memory=1756800 CPUtime=0.01 cores=0-7 /proc/19245/task/19255/stat : 19255 (java) S 19205 19205 19161 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 417991543 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519489390832 140520253368962 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19256] ppid=19205 vsize=8414124 memory=1756800 CPUtime=0 cores=0-7 /proc/19245/task/19256/stat : 19256 (java) S 19205 19205 19161 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 417991544 8616062976 30526 33554432000 4194304 4196468 140732906470320 140518579233952 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19257] ppid=19205 vsize=8414124 memory=3444 CPUtime=0 cores=0-7 /proc/19245/task/19257/stat : 19257 (java) S 19205 19205 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417991544 8616062976 30526 33554432000 4194304 4196468 140732906470320 140518445011696 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19258] ppid=19205 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/19245/task/19258/stat : 19258 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140518070507472 140520253376411 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19259] ppid=19205 vsize=8414124 memory=2832 CPUtime=0.03 cores=0-7 /proc/19245/task/19259/stat : 19259 (java) S 19205 19205 19161 0 -1 1077944384 484 0 0 0 3 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519488338672 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19260] ppid=19205 vsize=8414124 memory=1476 CPUtime=0.07 cores=0-7 /proc/19245/task/19260/stat : 19260 (java) S 19205 19205 19161 0 -1 1077944384 290 0 0 0 7 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519487286128 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19261] ppid=19205 vsize=8414124 memory=122104 CPUtime=0.08 cores=0-7 /proc/19245/task/19261/stat : 19261 (java) S 19205 19205 19161 0 -1 1077944384 387 0 0 0 8 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519486233072 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19262] ppid=19205 vsize=8414124 memory=1756856 CPUtime=0.23 cores=0-7 /proc/19245/task/19262/stat : 19262 (java) S 19205 19205 19161 0 -1 1077944384 852 0 0 0 23 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519485180528 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19263] ppid=19205 vsize=8414124 memory=2016 CPUtime=0 cores=0-7 /proc/19245/task/19263/stat : 19263 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140517572602336 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19264] ppid=19205 vsize=8414124 memory=1284 CPUtime=0.27 cores=0-7 /proc/19245/task/19264/stat : 19264 (java) S 19205 19205 19161 0 -1 1077944384 35 0 0 0 18 9 0 0 20 0 24 0 417991547 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519484127920 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19266] ppid=19205 vsize=8414124 memory=1044 CPUtime=0 cores=0-7 /proc/19245/task/19266/stat : 19266 (java) S 19205 19205 19161 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417991614 8616062976 30526 33554432000 4194304 4196468 140732906470320 140519476093888 140520253382425 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19268] ppid=19205 vsize=8414124 memory=1560 CPUtime=0.03 cores=0-7 /proc/19245/task/19268/stat : 19268 (java) S 19205 19205 19161 0 -1 4202560 1684 0 0 0 1 2 0 0 20 0 24 0 417991614 8616062976 30526 33554432000 4194304 4196468 140732906470320 140516901502992 140520253379741 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19269] ppid=19205 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/19245/task/19269/stat : 19269 (java) S 19205 19205 19161 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417991614 8616062976 30526 33554432000 4194304 4196468 140732906470320 140517169938576 140520253379741 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19270] ppid=19205 vsize=8414124 memory=1680 CPUtime=0 cores=0-7 /proc/19245/task/19270/stat : 19270 (java) S 19205 19205 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417991616 8616062976 30526 33554432000 4194304 4196468 140732906470320 140516633075120 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 Current children cumulated CPU time: 4109.52 s Current children cumulated vsize: 10770740 KiB Current children cumulated memory: 1880840 KiB [startup+757.001 s]* /proc/loadavg: 7.60 6.61 4.01 3/216 19318 /proc/meminfo: memFree=29326740/32770624 swapFree=66922732/67108860 [pid=19205] ppid=19202 vsize=113128 memory=1476 CPUtime=362.1 cores=0-7 /proc/19205/stat : 19205 (scop.sh) S 19202 19205 19161 0 -1 4202496 581 138969 0 0 0 0 34372 1838 20 0 1 0 417965422 115843072 369 33554432000 4194304 5098028 140721129394048 140721129390792 140187877417596 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29130752 140721129399076 140721129399404 140721129399404 140721129402317 0 /proc/19205/statm: 28282 369 311 221 0 87 0 [pid=19245] ppid=19205 vsize=8414124 memory=122456 CPUtime=1.61 cores=0-7 /proc/19245/stat : 19245 (java) S 19205 19205 19161 0 -1 1077944320 23268 0 0 0 148 13 0 0 20 0 24 0 417991539 8616062976 30614 33554432000 4194304 4196468 140732906470320 140732906452864 140520253357815 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 /proc/19245/statm: 2103531 30614 3211 1 0 2064875 0 [pid=19245/tid=19246] ppid=19205 vsize=8414124 memory=8317482817917895235 CPUtime=0.76 cores=0-7 /proc/19245/task/19246/stat : 19246 (java) S 19205 19205 19161 0 -1 1077944384 17921 0 0 0 71 5 0 0 20 0 24 0 417991540 8616062976 30614 33554432000 4194304 4196468 140732906470320 140520225197984 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19247] ppid=19205 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19245/task/19247/stat : 19247 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140520257600016 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19248] ppid=19205 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19245/task/19248/stat : 19248 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140520057768592 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19249] ppid=19205 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/19245/task/19249/stat : 19249 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140520056715536 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19250] ppid=19205 vsize=8414124 memory=3 CPUtime=0 cores=0-7 /proc/19245/task/19250/stat : 19250 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519736863120 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19251] ppid=19205 vsize=8414124 memory=7 CPUtime=0 cores=0-7 /proc/19245/task/19251/stat : 19251 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519735811088 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19252] ppid=19205 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/19245/task/19252/stat : 19252 (java) S 19205 19205 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519734758544 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19253] ppid=19205 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/19245/task/19253/stat : 19253 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519733705488 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19254] ppid=19205 vsize=8414124 memory=3908 CPUtime=0 cores=0-7 /proc/19245/task/19254/stat : 19254 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991542 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519732652944 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19255] ppid=19205 vsize=8414124 memory=1412 CPUtime=0.01 cores=0-7 /proc/19245/task/19255/stat : 19255 (java) S 19205 19205 19161 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 24 0 417991543 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519489390832 140520253368962 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19256] ppid=19205 vsize=8414124 memory=3984 CPUtime=0 cores=0-7 /proc/19245/task/19256/stat : 19256 (java) S 19205 19205 19161 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 417991544 8616062976 30614 33554432000 4194304 4196468 140732906470320 140518579233952 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19257] ppid=19205 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/19245/task/19257/stat : 19257 (java) S 19205 19205 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 417991544 8616062976 30614 33554432000 4194304 4196468 140732906470320 140518445011696 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19258] ppid=19205 vsize=8414124 memory=122104 CPUtime=0 cores=0-7 /proc/19245/task/19258/stat : 19258 (java) S 19205 19205 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 417991547 8616062976 30614 33554432000 4194304 4196468 140732906470320 140518070507472 140520253376411 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19259] ppid=19205 vsize=8414124 memory=1756804 CPUtime=0.05 cores=0-7 /proc/19245/task/19259/stat : 19259 (java) R 19205 19205 19161 0 -1 4202560 603 0 0 0 5 0 0 0 20 0 24 0 417991547 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519488328496 140520234880039 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19260] ppid=19205 vsize=8414124 memory=1164 CPUtime=0.08 cores=0-7 /proc/19245/task/19260/stat : 19260 (java) S 19205 19205 19161 0 -1 1077944384 293 0 0 0 8 0 0 0 20 0 24 0 417991547 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519487286128 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19261] ppid=19205 vsize=8414124 memory=3444 CPUtime=0.09 cores=0-7 /proc/19245/task/19261/stat : 19261 (java) S 19205 19205 19161 0 -1 1077944384 389 0 0 0 9 0 0 0 20 0 24 0 417991547 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519486233072 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19262] ppid=19205 vsize=8414124 memory=1556 CPUtime=0.24 cores=0-7 /proc/19245/task/19262/stat : 19262 (java) S 19205 19205 19161 0 -1 1077944384 867 0 0 0 24 0 0 0 20 0 24 0 417991547 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519485180528 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19263] ppid=19205 vsize=8414124 memory=6712 CPUtime=0 cores=0-7 /proc/19245/task/19263/stat : 19263 (java) S 19205 19205 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 417991547 8616062976 30614 33554432000 4194304 4196468 140732906470320 140517572602336 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19264] ppid=19205 vsize=8414124 memory=2120 CPUtime=0.27 cores=0-7 /proc/19245/task/19264/stat : 19264 (java) S 19205 19205 19161 0 -1 1077944384 35 0 0 0 18 9 0 0 20 0 24 0 417991547 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519484127920 140520253368962 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19266] ppid=19205 vsize=8414124 memory=12020 CPUtime=0 cores=0-7 /proc/19245/task/19266/stat : 19266 (java) S 19205 19205 19161 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417991614 8616062976 30614 33554432000 4194304 4196468 140732906470320 140519476093888 140520253382425 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19268] ppid=19205 vsize=8414124 memory=496 CPUtime=0.04 cores=0-7 /proc/19245/task/19268/stat : 19268 (java) S 19205 19205 19161 0 -1 4202560 1743 0 0 0 1 3 0 0 20 0 24 0 417991614 8616062976 30614 33554432000 4194304 4196468 140732906470320 140516901503152 140520253379741 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19269] ppid=19205 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/19245/task/19269/stat : 19269 (java) S 19205 19205 19161 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 417991614 8616062976 30614 33554432000 4194304 4196468 140732906470320 140517169938576 140520253379741 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 [pid=19245/tid=19270] ppid=19205 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/19245/task/19270/stat : 19270 (java) S 19205 19205 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 417991616 8616062976 30614 33554432000 4194304 4196468 140732906470320 140516633075120 140520253368021 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9674752 140732906476535 140732906476694 140732906476694 140732906479567 0 Current children cumulated CPU time: 363.71 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 123932 KiB [startup+757.111 s] /proc/loadavg: 7.60 6.61 4.01 3/216 19318 /proc/meminfo: memFree=29326740/32770624 swapFree=66922732/67108860 [pid=19205] ppid=19202 vsize=113128 memory=1476 CPUtime=4109.92 cores=0-7 /proc/19205/stat : 19205 (scop.sh) S 19202 19205 19161 0 -1 4202496 581 8010824 0 0 0 0 407467 3525 20 0 1 0 417965422 115843072 369 33554432000 4194304 5098028 140721129394048 140721129390792 140187877417596 0 0 4100 81923 0 0 0 17 4 0 0 0 0 0 7196144 7232144 29130752 140721129399076 140721129399404 140721129399404 140721129402317 0 /proc/19205/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 4109.92 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 757.112 CPU time (s): 4109.93 CPU user time (s): 4074.67 CPU system time (s): 35.2607 CPU usage (%): 542.844 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 12753600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4074.67 system time used= 35.2607 maximum resident set size= 12752532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8011418 page faults= 0 swaps= 0 block input operations= 3208 block output operations= 119568 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 571334 involuntary context switches= 36980 # summary of solver processes directly reported to runsolver: # pid: 19205 # total CPU time (s): 4109.93 # total CPU user time (s): 4074.67 # total CPU system time (s): 35.2607 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.95329 second user time and 9.79519 second system time The end
Begin job on node107 at 2019-09-14 00:22:57 IDJOB=4392599 IDBENCH=121201 IDSOLVER=2839 FILE ID=node107/4392599-1568417094 RUNJOBID= node107-1568413377-19188 PBS_JOBID= 21702267 Free space on /tmp= 59032 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Random/Random-m1-7-40-8t/rand-7-40-8-40-15000-9.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392599-1568417094/watcher-4392599-1568417094 -o /tmp/evaluation-result-4392599-1568417094/solver-4392599-1568417094 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392599-1568417094.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 134b875ea7bd230347634fe517213ca9 RANDOM SEED=506342792 node107.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.11 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.11 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.11 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.11 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: 31074212 kB MemAvailable: 31832392 kB Buffers: 167952 kB Cached: 863084 kB SwapCached: 79216 kB Active: 546832 kB Inactive: 563576 kB Active(anon): 9604 kB Inactive(anon): 101056 kB Active(file): 537228 kB Inactive(file): 462520 kB Unevictable: 109964 kB Mlocked: 109964 kB SwapTotal: 67108860 kB SwapFree: 66922724 kB Dirty: 29444 kB Writeback: 0 kB AnonPages: 111988 kB Mapped: 34616 kB Shmem: 22456 kB Slab: 177044 kB SReclaimable: 148532 kB SUnreclaim: 28512 kB KernelStack: 3344 kB PageTables: 4844 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 488908 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59008 MiB End job on node107 at 2019-09-14 00:35:35