Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | UNSAT | 947.615 | 162.718 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07-3_X2.xml |
MD5SUM | 72c85c51a44e0e8527757e040a083bca |
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 | 165.887 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 1262 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1262}] |
Number of extensional constraints | 1262 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1262}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-2805-serial-file.bin HOME/instance-4392431-1568436857.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 06:53:36 CEST 2019 0.65/0.56 c PID: 2808 0.65/0.56 c IP: 172.20.3.145 0.65/0.56 c HOST: node145.alineos.net 0.65/0.57 c (0,0) Parsing Begin 2.04/1.13 c (0,0) Parsing End 2.04/1.13 c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28 2.04/1.13 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.04/1.13 c (0,0) Constraint Name Generate Begin 2.04/1.15 c (0,0) Ctr:HOME/instance-4392431-1568436857.xml,ExtensionConflict:ExtensionSupport:Var 2.04/1.15 c (0,0) Constraint Name Generate End 2.04/1.15 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.04/1.15 c (0,0) CSP to CSPinCNF Begin 3.13/1.63 c (1,1) translated 127 (10%) constraints 3.55/1.74 c (1,1) translated 253 (20%) constraints 3.96/1.81 c (1,1) translated 379 (30%) constraints 3.96/1.87 c (1,1) translated 505 (40%) constraints 4.39/1.93 c (1,1) translated 631 (50%) constraints 4.39/1.98 c (1,1) translated 757 (60%) constraints 5.20/2.11 c (1,1) translated 883 (70%) constraints 5.83/2.35 c (1,1) translated 1009 (80%) constraints 6.13/2.57 c (2,2) translated 1135 (90%) constraints 6.71/2.88 c (2,2) translated 1261 (100%) constraints 6.71/2.88 c (2,2) =========================================== 6.71/2.88 c (2,2) Order 6.71/2.88 c (2,2) =========================================== 7.08/2.94 c (2,2) translated 1883 (10%) constraints 7.08/2.99 c (2,2) translated 3765 (20%) constraints 7.48/3.04 c (2,2) translated 5647 (30%) constraints 7.48/3.08 c (2,2) translated 7529 (40%) constraints 7.89/3.13 c (2,2) translated 9411 (50%) constraints 7.89/3.18 c (2,2) translated 11294 (60%) constraints 8.25/3.22 c (2,2) translated 13176 (70%) constraints 8.25/3.26 c (2,2) translated 15058 (80%) constraints 8.25/3.30 c (2,2) translated 16940 (90%) constraints 8.59/3.33 c (2,2) translated 18822 (100%) constraints 8.59/3.33 c (2,2) CSP to CSPinCNF End 8.59/3.33 c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28 8.59/3.33 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 8.59/3.33 c (2,2) CSPinCNF Propagation Begin 9.68/3.68 c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed 9.68/3.68 c (3,3) CSPinCNF Propagation End 9.68/3.68 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 9.68/3.68 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 9.68/3.68 c (3,3) Simplify CSPinCNF Begin 10.01/3.73 c (3,3) Simplify CSPinCNF End 10.01/3.73 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.01/3.73 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.01/3.73 c (3,3) Calculate Precise Domain Begin 10.01/3.73 c (3,3) 0 values are removed by re-calculation 10.01/3.73 c (3,3) Calculate Precise Domain End 10.01/3.73 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.01/3.73 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.01/3.73 c (3,3) CSPinCNF to SatSolver Begin 10.33/3.88 c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses) 10.63/3.93 c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses) 10.63/3.98 c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses) 11.06/4.02 c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses) 11.06/4.04 c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses) 11.06/4.07 c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses) 11.06/4.09 c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses) 11.06/4.10 c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses) 11.43/4.11 c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses) 11.43/4.13 c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses) 11.43/4.13 c (3,3) CSPinCNF to SatSolver End 11.43/4.13 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.43/4.13 c (3,3) 2482 bool, 15697 clause 11.43/4.13 c (3,3) Export Begin 11.56/4.23 c (3,3) Export to HOME/scop-2805-serial-file.bin 11.56/4.23 c (3,3) Export End 11.56/4.23 c (3,3) Export File Size: 0.02 MB 11.56/4.23 c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS) 11.56/4.23 c END-Prog: Sat Sep 14 06:53:40 CEST 2019 11.56/4.26 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-2805-serial-file.bin 11.66/4.72 c (0,0) Read Serial File Begin 11.66/4.72 c (0,0) HOME/scop-2805-serial-file.bin 11.66/4.94 c (0,0) Read Serial File End 11.66/4.96 11.66/4.96 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 11.66/4.96 (Solving Process) 11.66/4.96 11.66/4.98 c BEGIN-Prog: Sat Sep 14 06:53:40 CEST 2019 11.66/4.98 c PID: 2828 11.66/4.98 c IP: 172.20.3.145 11.66/4.98 c HOST: node145.alineos.net 11.66/4.98 c (0,0) SatSolver.solve Begin 11.66/4.98 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392431-1568436857.xml-scop-2808.cnf 12.77/5.01 c (0,0) c 12.77/5.01 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) 12.77/5.01 c (0,0) c 12.77/5.01 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 12.77/5.01 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 12.77/5.01 c (0,0) c ========================================[ Problem Statistics ]=========================================== 12.77/5.01 c (0,0) c | | 12.77/5.01 c (0,0) c | Number of variables: 2480 | 12.77/5.01 c (0,0) c | Number of clauses: 15697 | 12.77/5.01 c (0,0) c | Parse time: 0.01 s | 12.77/5.01 c (0,0) c | | 12.77/5.01 c (0,0) WARNING! DIMACS header mismatch: wrong number of variables. 12.77/5.02 c (0,0) c | Simplification time: 0.01 s | 12.77/5.02 c (0,0) c | | 12.77/5.02 c (0,0) c | Generating clones | 12.77/5.03 c (0,0) c | all clones generated. Memory = 32.06Mb. | 12.77/5.03 c (0,0) c ========================================================================================================| 12.77/5.03 c (0,0) c 12.77/5.03 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 12.77/5.03 c (0,0) c 12.77/5.03 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.77/5.03 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 12.77/5.03 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.77/5.03 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 12.77/5.03 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 12.77/5.03 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 12.77/5.03 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 12.77/5.03 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 12.77/5.03 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 12.77/5.03 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 12.77/5.03 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 12.77/5.03 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 12.77/5.03 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 12.77/5.03 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 12.77/5.03 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 12.77/5.03 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 12.77/5.03 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 12.77/5.03 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 12.77/5.03 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 211.34/34.09 c (29,0) c 211.34/34.09 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 211.34/34.09 c (29,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 211.34/34.09 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 211.34/34.09 c (29,0) c | 0 | 320 | 559908 | 300366 | 9162 | 68978 | 48792 | 289830 | 13498 | 321 | 20 | 0.847 | 211.34/34.09 c (29,0) c | 1 | 343 | 562746 | 301993 | 9380 | 70605 | 44243 | 296887 | 14428 | 321 | 20 | 0.848 | 211.34/34.09 c (29,0) c | 2 | 223 | 528355 | 290991 | 9285 | 59601 | 43249 | 297795 | 11422 | 321 | 20 | 0.847 | 211.34/34.09 c (29,0) c | 3 | 314 | 540573 | 297142 | 9370 | 65757 | 43795 | 274576 | 12840 | 301 | 20 | 0.847 | 211.34/34.09 c (29,0) c | 4 | 339 | 567041 | 307943 | 9265 | 40763 | 44095 | 277054 | 15364 | 318 | 20 | 0.847 | 211.34/34.09 c (29,0) c | 5 | 430 | 550217 | 295157 | 9452 | 63772 | 38329 | 303820 | 11513 | 321 | 20 | 0.847 | 211.34/34.09 c (29,0) c | 6 | 514 | 577002 | 316611 | 9462 | 49428 | 45800 | 296603 | 16726 | 321 | 20 | 0.848 | 211.34/34.09 c (29,0) c | 7 | 378 | 531051 | 290280 | 9356 | 58888 | 42237 | 293513 | 12487 | 321 | 20 | 0.847 | 211.34/34.09 c (29,0) c 211.34/34.09 c (29,0) c synthesis 2400484 conflicts 181382677 propagations 12097 conflicts/sec 914062 propagations/sec 211.34/34.09 c (29,0) c real: 29.0836 s, cpu: 198.436 s, memory: 630.21 Mb 375.80/63.09 c (58,0) c 375.80/63.09 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 375.80/63.09 c (58,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 375.80/63.09 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 375.80/63.09 c (58,0) c | 0 | 357 | 822436 | 440069 | 9186 | 49882 | 61576 | 394029 | 18134 | 561 | 20 | 0.847 | 375.80/63.09 c (58,0) c | 1 | 449 | 871750 | 461356 | 9431 | 71178 | 57302 | 402279 | 23888 | 561 | 20 | 0.847 | 375.80/63.09 c (58,0) c | 2 | 314 | 820074 | 443941 | 9403 | 53757 | 56771 | 404283 | 22611 | 561 | 20 | 0.847 | 375.80/63.09 c (58,0) c | 3 | 449 | 841971 | 452794 | 9451 | 62607 | 57730 | 394417 | 23793 | 541 | 20 | 0.848 | 375.80/63.09 c (58,0) c | 4 | 417 | 858033 | 458060 | 9322 | 67870 | 60892 | 389983 | 25346 | 547 | 20 | 0.847 | 375.80/63.09 c (58,0) c | 5 | 509 | 846454 | 449603 | 9495 | 59411 | 54379 | 397365 | 21227 | 561 | 20 | 0.847 | 375.80/63.09 c (58,0) c | 6 | 612 | 862694 | 466123 | 9494 | 75941 | 60789 | 397205 | 26548 | 561 | 20 | 0.848 | 375.80/63.09 c (58,0) c | 7 | 401 | 785553 | 424187 | 9393 | 77595 | 56457 | 402451 | 20726 | 561 | 20 | 0.847 | 375.80/63.09 c (58,0) c 375.80/63.09 c (58,0) c synthesis 3596133 conflicts 269647495 propagations 9924 conflicts/sec 744155 propagations/sec 375.80/63.09 c (58,0) c real: 58.0836 s, cpu: 362.354 s, memory: 636.93 Mb 547.24/93.09 c (88,0) c 547.24/93.09 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 547.24/93.09 c (88,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 547.24/93.09 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 547.24/93.09 c (88,0) c | 0 | 381 | 1075555 | 570810 | 9348 | 85621 | 75250 | 472564 | 28178 | 808 | 20 | 0.848 | 547.24/93.09 c (88,0) c | 1 | 517 | 1130478 | 594403 | 9450 | 57813 | 71368 | 495900 | 32751 | 808 | 20 | 0.847 | 547.24/93.09 c (88,0) c | 2 | 388 | 1090356 | 579568 | 9420 | 94379 | 70428 | 495819 | 32299 | 808 | 20 | 0.847 | 547.24/93.09 c (88,0) c | 3 | 534 | 1099027 | 585423 | 9480 | 100242 | 70668 | 478251 | 32847 | 788 | 20 | 0.848 | 547.24/93.09 c (88,0) c | 4 | 450 | 1105702 | 587271 | 9348 | 102083 | 73320 | 484801 | 33575 | 788 | 20 | 0.847 | 547.24/93.09 c (88,0) c | 5 | 531 | 1097289 | 577287 | 9505 | 92104 | 65937 | 496254 | 27729 | 808 | 20 | 0.848 | 547.24/93.09 c (88,0) c | 6 | 685 | 1115369 | 597351 | 9508 | 60765 | 74428 | 491710 | 34655 | 808 | 20 | 0.848 | 547.24/93.09 c (88,0) c | 7 | 476 | 1049587 | 560358 | 9449 | 75175 | 70108 | 494342 | 32890 | 808 | 20 | 0.848 | 547.24/93.09 c (88,0) c 547.24/93.09 c (88,0) c synthesis 4652471 conflicts 348122538 propagations 8715 conflicts/sec 652076 propagations/sec 547.24/93.09 c (88,0) c real: 88.0836 s, cpu: 533.868 s, memory: 762.77 Mb 720.01/122.09 c (117,0) c 720.01/122.09 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 720.01/122.09 c (117,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 720.01/122.09 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 720.01/122.09 c (117,0) c | 0 | 407 | 1318770 | 692876 | 9400 | 102290 | 83922 | 569753 | 37397 | 1062 | 20 | 0.847 | 720.01/122.09 c (117,0) c | 1 | 575 | 1366693 | 713356 | 9466 | 66167 | 83926 | 544156 | 39649 | 1062 | 20 | 0.847 | 720.01/122.09 c (117,0) c | 2 | 479 | 1334664 | 702168 | 9442 | 111583 | 81628 | 569085 | 40200 | 1062 | 20 | 0.848 | 720.01/122.09 c (117,0) c | 3 | 570 | 1340256 | 709534 | 9487 | 62349 | 83093 | 567396 | 41041 | 1051 | 20 | 0.847 | 720.01/122.09 c (117,0) c | 4 | 513 | 1346638 | 706563 | 9358 | 59376 | 85777 | 563659 | 41192 | 1042 | 20 | 0.848 | 720.01/122.09 c (117,0) c | 5 | 549 | 1332595 | 696516 | 9524 | 105927 | 76874 | 574404 | 35622 | 1062 | 20 | 0.847 | 720.01/122.09 c (117,0) c | 6 | 754 | 1355263 | 721472 | 9523 | 74289 | 81795 | 572867 | 42569 | 1062 | 20 | 0.848 | 720.01/122.09 c (117,0) c | 7 | 510 | 1281078 | 679287 | 9474 | 88703 | 82526 | 565152 | 42287 | 1062 | 20 | 0.847 | 720.01/122.09 c (117,0) c 720.01/122.09 c (117,0) c synthesis 5621773 conflicts 421019482 propagations 7961 conflicts/sec 596235 propagations/sec 720.01/122.09 c (117,0) c real: 117.084 s, cpu: 706.13 s, memory: 792.51 Mb 886.16/151.09 c (146,0) c 886.16/151.09 c (146,0) c |------------------------------------------------------------------------------------------------------------------------| 886.16/151.09 c (146,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 886.16/151.09 c (146,0) c |------------------------------------------------------------------------------------------------------------------------| 886.16/151.09 c (146,0) c | 0 | 450 | 1510159 | 789400 | 9415 | 81578 | 90215 | 622063 | 45550 | 1281 | 20 | 1.008 | 886.16/151.09 c (146,0) c | 1 | 594 | 1555710 | 808884 | 9477 | 101879 | 90604 | 624993 | 48694 | 1281 | 20 | 1.048 | 886.16/151.09 c (146,0) c | 2 | 497 | 1530814 | 800745 | 9453 | 89403 | 88785 | 626503 | 46542 | 1281 | 20 | 1.049 | 886.16/151.09 c (146,0) c | 3 | 616 | 1535523 | 805532 | 9499 | 83234 | 90302 | 617314 | 47382 | 1261 | 20 | 0.928 | 886.16/151.09 c (146,0) c | 4 | 554 | 1546975 | 805873 | 9370 | 97822 | 92204 | 616362 | 50307 | 1277 | 20 | 0.928 | 886.16/151.09 c (146,0) c | 5 | 575 | 1531143 | 797395 | 9567 | 90013 | 91899 | 621795 | 44917 | 1281 | 20 | 1.009 | 886.16/151.09 c (146,0) c | 6 | 804 | 1538959 | 814487 | 9528 | 106001 | 87979 | 622763 | 48785 | 1281 | 20 | 1.009 | 886.16/151.09 c (146,0) c | 7 | 570 | 1470405 | 774068 | 9482 | 67022 | 88370 | 627163 | 49000 | 1281 | 20 | 1.008 | 886.16/151.09 c (146,0) c 886.16/151.09 c (146,0) c synthesis 6396384 conflicts 480233903 propagations 7335 conflicts/sec 550698 propagations/sec 886.16/151.09 c (146,0) c real: 146.083 s, cpu: 872.046 s, memory: 698.87 Mb 947.42/162.68 c (158,0) c 947.42/162.68 c (158,0) c real time : 157.67 s 947.42/162.68 c (158,0) c cpu time : 932.754 s 947.42/162.68 c (158,0) c 947.42/162.68 c (158,0) c 947.42/162.68 c (158,0) c 947.42/162.68 c (158,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 947.42/162.68 c (158,0) c 947.42/162.68 c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.68 c (158,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 947.42/162.68 c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.68 c (158,0) c | Conflicts | 6620121 | 815238 | 833164 | 827050 | 843521 | 831858 | 823437 | 842309 | 803544 | 947.42/162.68 c (158,0) c | Decisions | 12677675 | 1561863 | 1604893 | 1585528 | 1614089 | 1600206 | 1584450 | 1595620 | 1531026 | 947.42/162.68 c (158,0) c | Propagations | 497901499 | 61470190 | 62257060 | 62043101 | 62798750 | 62032174 | 63466688 | 62566199 | 61267337 | 947.42/162.68 c (158,0) c | ReduceDBs | 196 | 24 | 25 | 24 | 25 | 25 | 24 | 25 | 24 | 947.42/162.68 c (158,0) c | SimpDBs | 88 | 14 | 7 | 12 | 11 | 9 | 10 | 13 | 12 | 947.42/162.68 c (158,0) c | Restarts | 4723 | 457 | 599 | 501 | 636 | 562 | 577 | 814 | 577 | 947.42/162.68 c (158,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 947.42/162.68 c (158,0) c | PropBinClauses| 1065097117 | 131918932 | 131612408 | 135686876 | 133579513 | 131779532 | 132971017 | 132590088 | 134958751 | 947.42/162.68 c (158,0) c | PropPreBlocker| 36963908358 | 4604710104 | 4648018637 | 4619211770 | 4626375938 | 4608429416 | 4558461697 | 4674495980 | 4624204816 | 947.42/162.68 c (158,0) c | PropNotBlocker| 5930990558 | 739529400 | 735229694 | 737437637 | 747132136 | 742475156 | 746487369 | 741748906 | 740950260 | 947.42/162.68 c (158,0) c | LitFullScans | 64979947380 | 8119707488 | 8125450710 | 8120863511 | 8119215434 | 8119331880 | 8125419179 | 8125616848 | 8124342330 | 947.42/162.68 c (158,0) c | LitScanFracts | 11654790 | 1696441 | 1443728 | 1216776 | 1205929 | 1303939 | 1412746 | 1610863 | 1764368 | 947.42/162.68 c (158,0) c | DecisionLevel0| 4828 | 468 | 608 | 522 | 651 | 573 | 587 | 824 | 595 | 947.42/162.68 c (158,0) c | Periods | 10827 | 1353 | 1354 | 1353 | 1353 | 1353 | 1354 | 1354 | 1353 | 947.42/162.68 c (158,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 947.42/162.68 c (158,0) c | Avg_Trail | | 629 | 623 | 625 | 628 | 628 | 633 | 631 | 625 | 947.42/162.68 c (158,0) c | Avg_DL | | 21 | 20 | 20 | 21 | 21 | 22 | 21 | 21 | 947.42/162.68 c (158,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 947.42/162.68 c (158,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 947.42/162.68 c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.68 c (158,0) c | Exported | 741308 | 92632 | 92407 | 91455 | 93491 | 94265 | 95397 | 90703 | 90958 | 947.42/162.68 c (158,0) c | Imported | 5122483 | 640076 | 634753 | 643785 | 641709 | 640477 | 636263 | 641039 | 644381 | 947.42/162.68 c (158,0) c | Good | 14552 | 1835 | 1796 | 1864 | 1841 | 1871 | 1769 | 1753 | 1823 | 947.42/162.68 c (158,0) c | Purge | 5107931 | 638241 | 632957 | 641921 | 639868 | 638606 | 634494 | 639286 | 642558 | 947.42/162.68 c (158,0) c | Promoted | 403208 | 48248 | 51629 | 49473 | 50488 | 52851 | 48065 | 51060 | 51394 | 947.42/162.68 c (158,0) c | Remove_Imp | 4013211 | 486319 | 509177 | 492154 | 521878 | 510514 | 480019 | 512609 | 500541 | 947.42/162.68 c (158,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 947.42/162.68 c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.68 c (158,0) c | Unaries | | 11 | 9 | 21 | 15 | 11 | 10 | 10 | 18 | 947.42/162.68 c (158,0) c | Binaries | | 257 | 256 | 249 | 279 | 228 | 315 | 318 | 300 | 947.42/162.68 c (158,0) c | Glues | | 933 | 1068 | 999 | 1020 | 934 | 1101 | 1024 | 1031 | 947.42/162.68 c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.68 c (158,0) c | Orig_Seen | 87 % | 9422 | 9483 | 9455 | 9503 | 9375 | 9574 | 9531 | 9493 | 947.42/162.68 c (158,0) c | Diff Orig seen| | - 33 | 28 | X | 48 | - 80 | 119 | 76 | 38 | 947.42/162.68 c (158,0) c | Hamming | 10 % | 247 | 265 | X | 254 | 248 | 274 | 261 | 225 | 947.42/162.68 c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.68 c (158,0) c | RunningTime | | 113.7 73%| 100.1 64%| 103.4 66%| 153.9 98%| 154.3 99%| 100.1 64%| 100.2 64%| 110.5 71%| 947.42/162.68 c (158,0) c | WaitingTime | | 42.1 27%| 55.8 36%| 52.4 34%| 3.3 2%| 1.6 1%| 55.9 36%| 55.7 36%| 45.3 29%| 947.42/162.68 c (158,0) c | ExchangingTime| | 0.4 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 947.42/162.68 c (158,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%| 947.42/162.68 c (158,0) c | SolvingTime | | 156.2 | 156.3 | 156.1 | 157.6 | 156.2 | 156.3 | 156.3 | 156.2 | 947.42/162.68 c (158,0) c | PropagationTim| | 140.6 90%| 142.0 91%| 138.5 89%| 91.6 58%| 88.9 57%| 142.5 91%| 141.3 90%| 140.5 90%| 947.42/162.68 c (158,0) c | AnalysisTime | | 11.9 8%| 10.9 7%| 14.5 9%| 62.5 40%| 63.9 41%| 10.4 7%| 11.5 7%| 12.1 8%| 947.42/162.68 c (158,0) c | ReductionTime | | 1.4 1%| 1.3 1%| 1.2 1%| 1.3 1%| 1.3 1%| 1.2 1%| 1.3 1%| 1.4 1%| 947.42/162.68 c (158,0) c | SimplifyTime | | 0.2 0%| 0.0 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.2 0%| 0.2 0%| 0.1 0%| 947.42/162.68 c (158,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%| 947.42/162.68 c (158,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%| 947.42/162.68 c (158,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.68 c (158,0) c 947.42/162.68 c (158,0) c 947.42/162.68 c (158,0) c Threads : 8 947.42/162.68 c (158,0) c Winner : 2 947.42/162.68 c (158,0) c Conflicts_0 : 815238 947.42/162.68 c (158,0) c Conflicts_1 : 833164 947.42/162.68 c (158,0) c Conflicts_2 : 827050 947.42/162.68 c (158,0) c Conflicts_3 : 843521 947.42/162.68 c (158,0) c Conflicts_4 : 831858 947.42/162.68 c (158,0) c Conflicts_5 : 823437 947.42/162.68 c (158,0) c Conflicts_6 : 842309 947.42/162.68 c (158,0) c Conflicts_7 : 803544 947.42/162.68 c (158,0) c Conflicts_total : 6620121 947.42/162.68 c (158,0) c Conflicts_winner : 827050 947.42/162.68 c (158,0) c Decisions_0 : 1561863 947.42/162.68 c (158,0) c Decisions_1 : 1604893 947.42/162.68 c (158,0) c Decisions_2 : 1585528 947.42/162.68 c (158,0) c Decisions_3 : 1614089 947.42/162.68 c (158,0) c Decisions_4 : 1600206 947.42/162.68 c (158,0) c Decisions_5 : 1584450 947.42/162.68 c (158,0) c Decisions_6 : 1595620 947.42/162.68 c (158,0) c Decisions_7 : 1531026 947.42/162.68 c (158,0) c Decisions_total : 12677675 947.42/162.68 c (158,0) c Decisions_winner : 1585528 947.42/162.68 c (158,0) c Propagations_0 : 61470190 947.42/162.68 c (158,0) c Propagations_1 : 62257060 947.42/162.68 c (158,0) c Propagations_2 : 62043101 947.42/162.68 c (158,0) c Propagations_3 : 62798750 947.42/162.68 c (158,0) c Propagations_4 : 62032174 947.42/162.68 c (158,0) c Propagations_5 : 63466688 947.42/162.68 c (158,0) c Propagations_6 : 62566199 947.42/162.68 c (158,0) c Propagations_7 : 61267337 947.42/162.68 c (158,0) c Propagations_total : 497901499 947.42/162.68 c (158,0) c Propagations_winner : 62043101 947.42/162.68 c (158,0) c ReduceDBs_0 : 24 947.42/162.68 c (158,0) c ReduceDBs_1 : 25 947.42/162.68 c (158,0) c ReduceDBs_2 : 24 947.42/162.68 c (158,0) c ReduceDBs_3 : 25 947.42/162.68 c (158,0) c ReduceDBs_4 : 25 947.42/162.68 c (158,0) c ReduceDBs_5 : 24 947.42/162.68 c (158,0) c ReduceDBs_6 : 25 947.42/162.68 c (158,0) c ReduceDBs_7 : 24 947.42/162.68 c (158,0) c ReduceDBs_total : 196 947.42/162.68 c (158,0) c ReduceDBs_winner : 24 947.42/162.68 c (158,0) c SimpDBs_0 : 14 947.42/162.68 c (158,0) c SimpDBs_1 : 7 947.42/162.68 c (158,0) c SimpDBs_2 : 12 947.42/162.68 c (158,0) c SimpDBs_3 : 11 947.42/162.68 c (158,0) c SimpDBs_4 : 9 947.42/162.68 c (158,0) c SimpDBs_5 : 10 947.42/162.68 c (158,0) c SimpDBs_6 : 13 947.42/162.68 c (158,0) c SimpDBs_7 : 12 947.42/162.68 c (158,0) c SimpDBs_total : 88 947.42/162.68 c (158,0) c SimpDBs_winner : 12 947.42/162.68 c (158,0) c Restarts_0 : 457 947.42/162.68 c (158,0) c Restarts_1 : 599 947.42/162.68 c (158,0) c Restarts_2 : 501 947.42/162.68 c (158,0) c Restarts_3 : 636 947.42/162.68 c (158,0) c Restarts_4 : 562 947.42/162.68 c (158,0) c Restarts_5 : 577 947.42/162.68 c (158,0) c Restarts_6 : 814 947.42/162.68 c (158,0) c Restarts_7 : 577 947.42/162.68 c (158,0) c Restarts_total : 4723 947.42/162.68 c (158,0) c Restarts_winner : 501 947.42/162.68 c (158,0) c ForcedImports_0 : 0 947.42/162.68 c (158,0) c ForcedImports_1 : 0 947.42/162.68 c (158,0) c ForcedImports_2 : 0 947.42/162.68 c (158,0) c ForcedImports_3 : 0 947.42/162.68 c (158,0) c ForcedImports_4 : 0 947.42/162.68 c (158,0) c ForcedImports_5 : 0 947.42/162.68 c (158,0) c ForcedImports_6 : 0 947.42/162.68 c (158,0) c ForcedImports_7 : 0 947.42/162.68 c (158,0) c ForcedImports_total : 0 947.42/162.68 c (158,0) c ForcedImports_winner : 0 947.42/162.68 c (158,0) c PropsBinClauses_0 : 131918932 947.42/162.68 c (158,0) c PropsBinClauses_1 : 131612408 947.42/162.68 c (158,0) c PropsBinClauses_2 : 135686876 947.42/162.68 c (158,0) c PropsBinClauses_3 : 133579513 947.42/162.68 c (158,0) c PropsBinClauses_4 : 131779532 947.42/162.68 c (158,0) c PropsBinClauses_5 : 132971017 947.42/162.68 c (158,0) c PropsBinClauses_6 : 132590088 947.42/162.68 c (158,0) c PropsBinClauses_7 : 134958751 947.42/162.68 c (158,0) c PropsBinClauses_total : 1065097117 947.42/162.68 c (158,0) c PropsBinClauses_winner : 135686876 947.42/162.68 c (158,0) c PropsPreBlocker_0 : 4604710104 947.42/162.68 c (158,0) c PropsPreBlocker_1 : 4648018637 947.42/162.68 c (158,0) c PropsPreBlocker_2 : 4619211770 947.42/162.68 c (158,0) c PropsPreBlocker_3 : 4626375938 947.42/162.68 c (158,0) c PropsPreBlocker_4 : 4608429416 947.42/162.68 c (158,0) c PropsPreBlocker_5 : 4558461697 947.42/162.68 c (158,0) c PropsPreBlocker_6 : 4674495980 947.42/162.68 c (158,0) c PropsPreBlocker_7 : 4624204816 947.42/162.68 c (158,0) c PropsPreBlocker_total : 36963908358 947.42/162.68 c (158,0) c PropsPreBlocker_winner : 4619211770 947.42/162.68 c (158,0) c PropsNotBlocker_0 : 739529400 947.42/162.68 c (158,0) c PropsNotBlocker_1 : 735229694 947.42/162.68 c (158,0) c PropsNotBlocker_2 : 737437637 947.42/162.68 c (158,0) c PropsNotBlocker_3 : 747132136 947.42/162.68 c (158,0) c PropsNotBlocker_4 : 742475156 947.42/162.68 c (158,0) c PropsNotBlocker_5 : 746487369 947.42/162.68 c (158,0) c PropsNotBlocker_6 : 741748906 947.42/162.68 c (158,0) c PropsNotBlocker_7 : 740950260 947.42/162.68 c (158,0) c PropsNotBlocker_total : 5930990558 947.42/162.68 c (158,0) c PropsNotBlocker_winner : 737437637 947.42/162.68 c (158,0) c PropsLitFullScans_0 : 8119707488 947.42/162.68 c (158,0) c PropsLitFullScans_1 : 8125450710 947.42/162.68 c (158,0) c PropsLitFullScans_2 : 8120863511 947.42/162.68 c (158,0) c PropsLitFullScans_3 : 8119215434 947.42/162.68 c (158,0) c PropsLitFullScans_4 : 8119331880 947.42/162.68 c (158,0) c PropsLitFullScans_5 : 8125419179 947.42/162.68 c (158,0) c PropsLitFullScans_6 : 8125616848 947.42/162.68 c (158,0) c PropsLitFullScans_7 : 8124342330 947.42/162.68 c (158,0) c PropsLitFullScans_total : 64979947380 947.42/162.68 c (158,0) c PropsLitFullScans_winner : 8120863511 947.42/162.68 c (158,0) c LitScanFractions_0 : 1696441 947.42/162.68 c (158,0) c LitScanFractions_1 : 1443728 947.42/162.68 c (158,0) c LitScanFractions_2 : 1216776 947.42/162.68 c (158,0) c LitScanFractions_3 : 1205929 947.42/162.68 c (158,0) c LitScanFractions_4 : 1303939 947.42/162.68 c (158,0) c LitScanFractions_5 : 1412746 947.42/162.68 c (158,0) c LitScanFractions_6 : 1610863 947.42/162.68 c (158,0) c LitScanFractions_7 : 1764368 947.42/162.68 c (158,0) c LitScanFractions_total : 11654790 947.42/162.68 c (158,0) c LitScanFractions_winner : 1216776 947.42/162.68 c (158,0) c DecisionLevel0_0 : 468 947.42/162.68 c (158,0) c DecisionLevel0_1 : 608 947.42/162.68 c (158,0) c DecisionLevel0_2 : 522 947.42/162.68 c (158,0) c DecisionLevel0_3 : 651 947.42/162.68 c (158,0) c DecisionLevel0_4 : 573 947.42/162.68 c (158,0) c DecisionLevel0_5 : 587 947.42/162.68 c (158,0) c DecisionLevel0_6 : 824 947.42/162.68 c (158,0) c DecisionLevel0_7 : 595 947.42/162.68 c (158,0) c DecisionLevel0_total : 4828 947.42/162.68 c (158,0) c DecisionLevel0_winner : 522 947.42/162.68 c (158,0) c Periods_0 : 1353 947.42/162.68 c (158,0) c Periods_1 : 1354 947.42/162.68 c (158,0) c Periods_2 : 1353 947.42/162.68 c (158,0) c Periods_3 : 1353 947.42/162.68 c (158,0) c Periods_4 : 1353 947.42/162.68 c (158,0) c Periods_5 : 1354 947.42/162.68 c (158,0) c Periods_6 : 1354 947.42/162.68 c (158,0) c Periods_7 : 1353 947.42/162.68 c (158,0) c Periods_total : 10827 947.42/162.68 c (158,0) c Periods_winner : 1353 947.42/162.68 c (158,0) c Margin_0 : 20 947.42/162.68 c (158,0) c Margin_1 : 20 947.42/162.68 c (158,0) c Margin_2 : 20 947.42/162.69 c (158,0) c Margin_3 : 20 947.42/162.69 c (158,0) c Margin_4 : 20 947.42/162.69 c (158,0) c Margin_5 : 20 947.42/162.69 c (158,0) c Margin_6 : 20 947.42/162.69 c (158,0) c Margin_7 : 20 947.42/162.69 c (158,0) c Margin_total : 160 947.42/162.69 c (158,0) c Margin_winner : 20 947.42/162.69 c (158,0) c Exported_0 : 92632 947.42/162.69 c (158,0) c Exported_1 : 92407 947.42/162.69 c (158,0) c Exported_2 : 91455 947.42/162.69 c (158,0) c Exported_3 : 93491 947.42/162.69 c (158,0) c Exported_4 : 94265 947.42/162.69 c (158,0) c Exported_5 : 95397 947.42/162.69 c (158,0) c Exported_6 : 90703 947.42/162.69 c (158,0) c Exported_7 : 90958 947.42/162.69 c (158,0) c Exported_total : 741308 947.42/162.69 c (158,0) c Exported_winner : 91455 947.42/162.69 c (158,0) c Imported_0 : 640076 947.42/162.69 c (158,0) c Imported_1 : 634753 947.42/162.69 c (158,0) c Imported_2 : 643785 947.42/162.69 c (158,0) c Imported_3 : 641709 947.42/162.69 c (158,0) c Imported_4 : 640477 947.42/162.69 c (158,0) c Imported_5 : 636263 947.42/162.69 c (158,0) c Imported_6 : 641039 947.42/162.69 c (158,0) c Imported_7 : 644381 947.42/162.69 c (158,0) c Imported_total : 5122483 947.42/162.69 c (158,0) c Imported_winner : 643785 947.42/162.69 c (158,0) c Good_0 : 1835 947.42/162.69 c (158,0) c Good_1 : 1796 947.42/162.69 c (158,0) c Good_2 : 1864 947.42/162.69 c (158,0) c Good_3 : 1841 947.42/162.69 c (158,0) c Good_4 : 1871 947.42/162.69 c (158,0) c Good_5 : 1769 947.42/162.69 c (158,0) c Good_6 : 1753 947.42/162.69 c (158,0) c Good_7 : 1823 947.42/162.69 c (158,0) c Good_total : 14552 947.42/162.69 c (158,0) c Good_winner : 1864 947.42/162.69 c (158,0) c Purge_0 : 638241 947.42/162.69 c (158,0) c Purge_1 : 632957 947.42/162.69 c (158,0) c Purge_2 : 641921 947.42/162.69 c (158,0) c Purge_3 : 639868 947.42/162.69 c (158,0) c Purge_4 : 638606 947.42/162.69 c (158,0) c Purge_5 : 634494 947.42/162.69 c (158,0) c Purge_6 : 639286 947.42/162.69 c (158,0) c Purge_7 : 642558 947.42/162.69 c (158,0) c Purge_total : 5107931 947.42/162.69 c (158,0) c Purge_winner : 641921 947.42/162.69 c (158,0) c Promoted_0 : 48248 947.42/162.69 c (158,0) c Promoted_1 : 51629 947.42/162.69 c (158,0) c Promoted_2 : 49473 947.42/162.69 c (158,0) c Promoted_3 : 50488 947.42/162.69 c (158,0) c Promoted_4 : 52851 947.42/162.69 c (158,0) c Promoted_5 : 48065 947.42/162.69 c (158,0) c Promoted_6 : 51060 947.42/162.69 c (158,0) c Promoted_7 : 51394 947.42/162.69 c (158,0) c Promoted_total : 403208 947.42/162.69 c (158,0) c Promoted_winner : 49473 947.42/162.69 c (158,0) c Remove_Imp_0 : 486319 947.42/162.69 c (158,0) c Remove_Imp_1 : 509177 947.42/162.69 c (158,0) c Remove_Imp_2 : 492154 947.42/162.69 c (158,0) c Remove_Imp_3 : 521878 947.42/162.69 c (158,0) c Remove_Imp_4 : 510514 947.42/162.69 c (158,0) c Remove_Imp_5 : 480019 947.42/162.69 c (158,0) c Remove_Imp_6 : 512609 947.42/162.69 c (158,0) c Remove_Imp_7 : 500541 947.42/162.69 c (158,0) c Remove_Imp_total : 4013211 947.42/162.69 c (158,0) c Remove_Imp_winner : 492154 947.42/162.69 c (158,0) c Blocked_Reuse_0 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_1 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_2 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_3 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_4 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_5 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_6 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_7 : 0 947.42/162.69 c (158,0) c Blocked_Reuse_total : 0 947.42/162.69 c (158,0) c Blocked_Reuse_winner : 0 947.42/162.69 c (158,0) c Unaries_0 : 11 947.42/162.69 c (158,0) c Unaries_1 : 9 947.42/162.69 c (158,0) c Unaries_2 : 21 947.42/162.69 c (158,0) c Unaries_3 : 15 947.42/162.69 c (158,0) c Unaries_4 : 11 947.42/162.69 c (158,0) c Unaries_5 : 10 947.42/162.69 c (158,0) c Unaries_6 : 10 947.42/162.69 c (158,0) c Unaries_7 : 18 947.42/162.69 c (158,0) c Unaries_total : 105 947.42/162.69 c (158,0) c Unaries_winner : 21 947.42/162.69 c (158,0) c Binaries_0 : 257 947.42/162.69 c (158,0) c Binaries_1 : 256 947.42/162.69 c (158,0) c Binaries_2 : 249 947.42/162.69 c (158,0) c Binaries_3 : 279 947.42/162.69 c (158,0) c Binaries_4 : 228 947.42/162.69 c (158,0) c Binaries_5 : 315 947.42/162.69 c (158,0) c Binaries_6 : 318 947.42/162.69 c (158,0) c Binaries_7 : 300 947.42/162.69 c (158,0) c Binaries_total : 2202 947.42/162.69 c (158,0) c Binaries_winner : 249 947.42/162.69 c (158,0) c Glues_0 : 933 947.42/162.69 c (158,0) c Glues_1 : 1068 947.42/162.69 c (158,0) c Glues_2 : 999 947.42/162.69 c (158,0) c Glues_3 : 1020 947.42/162.69 c (158,0) c Glues_4 : 934 947.42/162.69 c (158,0) c Glues_5 : 1101 947.42/162.69 c (158,0) c Glues_6 : 1024 947.42/162.69 c (158,0) c Glues_7 : 1031 947.42/162.69 c (158,0) c Glues_total : 8110 947.42/162.69 c (158,0) c Glues_winner : 999 947.42/162.69 c (158,0) c RunningTime_0 : 113.740817 947.42/162.69 c (158,0) c RunningTime_1 : 100.147767 947.42/162.69 c (158,0) c RunningTime_2 : 103.403840 947.42/162.69 c (158,0) c RunningTime_3 : 153.880476 947.42/162.69 c (158,0) c RunningTime_4 : 154.268145 947.42/162.69 c (158,0) c RunningTime_5 : 100.067229 947.42/162.69 c (158,0) c RunningTime_6 : 100.225312 947.42/162.69 c (158,0) c RunningTime_7 : 110.536790 947.42/162.69 c (158,0) c RunningTime_total : 936.270376 947.42/162.69 c (158,0) c RunningTime_winner : 103.403840 947.42/162.69 c (158,0) c WaitingTime_0 : 42.055098 947.42/162.69 c (158,0) c WaitingTime_1 : 55.778773 947.42/162.69 c (158,0) c WaitingTime_2 : 52.390675 947.42/162.69 c (158,0) c WaitingTime_3 : 3.335485 947.42/162.69 c (158,0) c WaitingTime_4 : 1.631760 947.42/162.69 c (158,0) c WaitingTime_5 : 55.865532 947.42/162.69 c (158,0) c WaitingTime_6 : 55.679514 947.42/162.69 c (158,0) c WaitingTime_7 : 45.303248 947.42/162.69 c (158,0) c WaitingTime_total : 312.040085 947.42/162.69 c (158,0) c WaitingTime_winner : 52.390675 947.42/162.69 c (158,0) c ExchangingTime_0 : 0.359333 947.42/162.69 c (158,0) c ExchangingTime_1 : 0.327067 947.42/162.69 c (158,0) c ExchangingTime_2 : 0.337831 947.42/162.69 c (158,0) c ExchangingTime_3 : 0.333313 947.42/162.69 c (158,0) c ExchangingTime_4 : 0.331498 947.42/162.69 c (158,0) c ExchangingTime_5 : 0.320336 947.42/162.69 c (158,0) c ExchangingTime_6 : 0.346320 947.42/162.69 c (158,0) c ExchangingTime_7 : 0.340213 947.42/162.69 c (158,0) c ExchangingTime_total : 2.695910 947.42/162.69 c (158,0) c ExchangingTime_winner : 0.337831 947.42/162.69 c (158,0) c PeriodProcTime_0 : 0.011293 947.42/162.69 c (158,0) c PeriodProcTime_1 : 0.011943 947.42/162.69 c (158,0) c PeriodProcTime_2 : 0.011739 947.42/162.69 c (158,0) c PeriodProcTime_3 : 0.017887 947.42/162.69 c (158,0) c PeriodProcTime_4 : 0.014694 947.42/162.69 c (158,0) c PeriodProcTime_5 : 0.012177 947.42/162.69 c (158,0) c PeriodProcTime_6 : 0.012240 947.42/162.69 c (158,0) c PeriodProcTime_7 : 0.011628 947.42/162.69 c (158,0) c PeriodProcTime_total : 0.103601 947.42/162.69 c (158,0) c PeriodProcTime_winner : 0.011739 947.42/162.69 c (158,0) c SolvingTime_0 : 156.166541 947.42/162.69 c (158,0) c SolvingTime_1 : 156.265550 947.42/162.69 c (158,0) c SolvingTime_2 : 156.144084 947.42/162.69 c (158,0) c SolvingTime_3 : 157.567161 947.42/162.69 c (158,0) c SolvingTime_4 : 156.246097 947.42/162.69 c (158,0) c SolvingTime_5 : 156.265275 947.42/162.69 c (158,0) c SolvingTime_6 : 156.263386 947.42/162.69 c (158,0) c SolvingTime_7 : 156.191879 947.42/162.69 c (158,0) c SolvingTime_total : 1251.109972 947.42/162.69 c (158,0) c SolvingTime_winner : 156.144084 947.42/162.69 c (158,0) c PropagationTime_0 : 140.573707 947.42/162.69 c (158,0) c PropagationTime_1 : 142.013803 947.42/162.69 c (158,0) c PropagationTime_2 : 138.484553 947.42/162.69 c (158,0) c PropagationTime_3 : 91.584698 947.42/162.69 c (158,0) c PropagationTime_4 : 88.909101 947.42/162.69 c (158,0) c PropagationTime_5 : 142.475245 947.42/162.69 c (158,0) c PropagationTime_6 : 141.262334 947.42/162.69 c (158,0) c PropagationTime_7 : 140.543290 947.42/162.69 c (158,0) c PropagationTime_total : 1025.846733 947.42/162.69 c (158,0) c PropagationTime_winner : 138.484553 947.42/162.69 c (158,0) c AnalysisTime_0 : 11.909445 947.42/162.69 c (158,0) c AnalysisTime_1 : 10.946254 947.42/162.69 c (158,0) c AnalysisTime_2 : 14.450231 947.42/162.69 c (158,0) c AnalysisTime_3 : 62.484967 947.42/162.69 c (158,0) c AnalysisTime_4 : 63.875788 947.42/162.69 c (158,0) c AnalysisTime_5 : 10.393847 947.42/162.69 c (158,0) c AnalysisTime_6 : 11.460735 947.42/162.69 c (158,0) c AnalysisTime_7 : 12.094976 947.42/162.69 c (158,0) c AnalysisTime_total : 197.616244 947.42/162.69 c (158,0) c AnalysisTime_winner : 14.450231 947.42/162.69 c (158,0) c ReductionTime_0 : 1.354052 947.42/162.69 c (158,0) c ReductionTime_1 : 1.264517 947.42/162.69 c (158,0) c ReductionTime_2 : 1.151999 947.42/162.69 c (158,0) c ReductionTime_3 : 1.286781 947.42/162.69 c (158,0) c ReductionTime_4 : 1.332563 947.42/162.69 c (158,0) c ReductionTime_5 : 1.190336 947.42/162.69 c (158,0) c ReductionTime_6 : 1.342931 947.42/162.69 c (158,0) c ReductionTime_7 : 1.350739 947.42/162.69 c (158,0) c ReductionTime_total : 10.273920 947.42/162.69 c (158,0) c ReductionTime_winner : 1.151999 947.42/162.69 c (158,0) c SimplifyTime_0 : 0.186939 947.42/162.69 c (158,0) c SimplifyTime_1 : 0.023314 947.42/162.69 c (158,0) c SimplifyTime_2 : 0.048625 947.42/162.69 c (158,0) c SimplifyTime_3 : 0.116015 947.42/162.69 c (158,0) c SimplifyTime_4 : 0.063115 947.42/162.69 c (158,0) c SimplifyTime_5 : 0.207473 947.42/162.69 c (158,0) c SimplifyTime_6 : 0.192118 947.42/162.69 c (158,0) c SimplifyTime_7 : 0.111480 947.42/162.69 c (158,0) c SimplifyTime_total : 0.949079 947.42/162.69 c (158,0) c SimplifyTime_winner : 0.048625 947.42/162.69 c (158,0) c UsedRateTime_0 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_1 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_2 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_3 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_4 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_5 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_6 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_7 : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_total : 0.000000 947.42/162.69 c (158,0) c UsedRateTime_winner : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_0 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_1 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_2 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_3 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_4 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_5 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_6 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_7 : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_total : 0.000000 947.42/162.69 c (158,0) c OverlapRateTime_winner : 0.000000 947.42/162.69 c (158,0) c 947.42/162.69 c (158,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 947.42/162.69 c (158,0) c 947.42/162.69 c (158,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.69 c (158,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 947.42/162.69 c (158,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.69 c (158,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 947.42/162.69 c (158,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 947.42/162.69 c (158,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 947.42/162.69 c (158,0) c | Initial random_seed | 1960199336 | 85422588 | 1882410120 | 1483762742 | 1504758565 | 1059418195 | 209025956 | 368410280 | 947.42/162.69 c (158,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 947.42/162.69 c (158,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 947.42/162.69 c (158,0) c | glureduce | True | True | True | True | True | True | True | True | 947.42/162.69 c (158,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 947.42/162.69 c (158,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 947.42/162.69 c (158,0) c | luby_restart | False | False | False | False | False | False | False | False | 947.42/162.69 c (158,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 947.42/162.69 c (158,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 947.42/162.69 c (158,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 947.42/162.69 c (158,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 947.42/162.69 c (158,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 947.42/162.69 c (158,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 947.42/162.69 c (158,0) 947.42/162.69 c (158,0) s UNSATISFIABLE 13.04/162.70 c (158,0) SatSolver.solve End 13.04/162.70 c (158,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 13.04/162.70 c (158,0) Show results Begin 13.04/162.70 s UNSATISFIABLE 13.04/162.70 c (158,0) Show results End 13.04/162.70 c (158,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 13.04/162.71 c (158,0) 158,158,STOP-AFTER(ALL) 13.04/162.71 c END-Prog: Sat Sep 14 06:56:18 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 (15435 MiB free) memory of node 1: 16384 MiB (13441 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392431-1568436857/watcher-4392431-1568436857 -o /tmp/evaluation-result-4392431-1568436857/solver-4392431-1568436857 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392431-1568436857.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=2805, runsolver pid=2802 Current StackSize limit: 8192 KiB [startup+0.100166 s]* /proc/loadavg: 7.58 7.50 7.08 3/212 2827 /proc/meminfo: memFree=29474012/32770624 swapFree=66958244/67108860 [pid=2805] ppid=2802 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/2805/stat : 2805 (scop.sh) S 2802 2805 1012 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419622205 115843072 348 33554432000 4194304 5098028 140731004910400 140731004907656 140422759277180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20180992 140731004912421 140731004912748 140731004912748 140731004915661 0 /proc/2805/statm: 28282 348 296 221 0 87 0 [pid=2808] ppid=2805 vsize=27314120 memory=106612 CPUtime=0.11 cores=0-7 /proc/2808/stat : 2808 (java) S 2805 2805 1012 0 -1 1077944320 6221 0 0 0 8 3 0 0 20 0 20 0 419622206 27969658880 26653 33554432000 4194304 4196468 140735743349344 140735743331888 140503388225271 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 /proc/2808/statm: 6828530 26653 2801 1 0 6790935 0 [pid=2808/tid=2809] ppid=2805 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/2808/task/2809/stat : 2809 (java) R 2805 2805 1012 0 -1 4202560 4318 0 0 0 6 2 0 0 20 0 20 0 419622206 27969658880 26653 33554432000 4194304 4196468 140735743349344 140503360039632 140503374293390 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2810] ppid=2805 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/2808/task/2810/stat : 2810 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 26653 33554432000 4194304 4196468 140735743349344 140503392468112 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2811] ppid=2805 vsize=27314120 memory=140410492839552 CPUtime=0 cores=0-7 /proc/2808/task/2811/stat : 2811 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 26653 33554432000 4194304 4196468 140735743349344 140503212764176 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2812] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2812/stat : 2812 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 27165 33554432000 4194304 4196468 140735743349344 140502809496464 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2813] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2813/stat : 2813 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 27165 33554432000 4194304 4196468 140735743349344 140502808443664 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2814] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2814/stat : 2814 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 27165 33554432000 4194304 4196468 140735743349344 140502807390864 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2815] ppid=2805 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/2808/task/2815/stat : 2815 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 27165 33554432000 4194304 4196468 140735743349344 140502806338064 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2816] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2816/stat : 2816 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 27165 33554432000 4194304 4196468 140735743349344 140502805285264 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2817] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2817/stat : 2817 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 27165 33554432000 4194304 4196468 140735743349344 140502804232464 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2818] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2818/stat : 2818 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622210 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501641350000 140503388236418 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2819] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2819/stat : 2819 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419622210 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501332256288 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2820] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2820/stat : 2820 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622211 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501063820656 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2821] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2821/stat : 2821 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 27165 33554432000 4194304 4196468 140735743349344 140500689312080 140503388243867 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2822] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2822/stat : 2822 (java) S 2805 2805 1012 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501640296816 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2823] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2823/stat : 2823 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501639244016 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2824] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2824/stat : 2824 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501638191216 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2825] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2825/stat : 2825 (java) S 2805 2805 1012 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501637138416 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2826] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2826/stat : 2826 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 27165 33554432000 4194304 4196468 140735743349344 140500191407200 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2827] ppid=2805 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/2808/task/2827/stat : 2827 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622214 27969658880 27165 33554432000 4194304 4196468 140735743349344 140501636086832 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108004 KiB [startup+0.210502 s]* /proc/loadavg: 7.58 7.50 7.08 2/212 2827 /proc/meminfo: memFree=29443124/32770624 swapFree=66958244/67108860 [pid=2805] ppid=2802 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/2805/stat : 2805 (scop.sh) S 2802 2805 1012 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419622205 115843072 348 33554432000 4194304 5098028 140731004910400 140731004907656 140422759277180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20180992 140731004912421 140731004912748 140731004912748 140731004915661 0 /proc/2805/statm: 28282 348 296 221 0 87 0 [pid=2808] ppid=2805 vsize=27314120 memory=125868 CPUtime=0.24 cores=0-7 /proc/2808/stat : 2808 (java) S 2805 2805 1012 0 -1 1077944320 11840 0 0 0 20 4 0 0 20 0 20 0 419622206 27969658880 31467 33554432000 4194304 4196468 140735743349344 140735743331888 140503388225271 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 /proc/2808/statm: 6828530 31467 2941 1 0 6790935 0 [pid=2808/tid=2809] ppid=2805 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2808/task/2809/stat : 2809 (java) R 2805 2805 1012 0 -1 4202560 9525 0 0 0 16 3 0 0 20 0 20 0 419622206 27969658880 31467 33554432000 4194304 4196468 140735743349344 140503360044512 140503368503328 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2810] ppid=2805 vsize=27314120 memory=329 CPUtime=0 cores=0-7 /proc/2808/task/2810/stat : 2810 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140503392468112 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2811] ppid=2805 vsize=27314120 memory=3689775123991127712 CPUtime=0 cores=0-7 /proc/2808/task/2811/stat : 2811 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140503212764176 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2812] ppid=2805 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/2808/task/2812/stat : 2812 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140502809496464 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2813] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2813/stat : 2813 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140502808443664 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2814] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2814/stat : 2814 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140502807390864 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2815] ppid=2805 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/2808/task/2815/stat : 2815 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140502806338064 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2816] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2816/stat : 2816 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140502805285264 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2817] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2817/stat : 2817 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 31467 33554432000 4194304 4196468 140735743349344 140502804232464 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2818] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2818/stat : 2818 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622210 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501641350000 140503388236418 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2819] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2819/stat : 2819 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419622210 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501332256288 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2820] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2820/stat : 2820 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622211 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501063820656 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2821] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2821/stat : 2821 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 31467 33554432000 4194304 4196468 140735743349344 140500689312080 140503388243867 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2822] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2822/stat : 2822 (java) S 2805 2805 1012 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501640296816 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2823] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2823/stat : 2823 (java) S 2805 2805 1012 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501639244016 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2824] ppid=2805 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/2808/task/2824/stat : 2824 (java) S 2805 2805 1012 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501638191216 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2825] ppid=2805 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/2808/task/2825/stat : 2825 (java) S 2805 2805 1012 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 419622213 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501637138416 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2826] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2826/stat : 2826 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 31467 33554432000 4194304 4196468 140735743349344 140500191407200 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2827] ppid=2805 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/2808/task/2827/stat : 2827 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622214 27969658880 31467 33554432000 4194304 4196468 140735743349344 140501636086832 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127260 KiB [startup+0.310311 s]* /proc/loadavg: 7.58 7.50 7.08 2/212 2827 /proc/meminfo: memFree=29443380/32770624 swapFree=66958244/67108860 [pid=2805] ppid=2802 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/2805/stat : 2805 (scop.sh) S 2802 2805 1012 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419622205 115843072 348 33554432000 4194304 5098028 140731004910400 140731004907656 140422759277180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20180992 140731004912421 140731004912748 140731004912748 140731004915661 0 /proc/2805/statm: 28282 348 296 221 0 87 0 [pid=2808] ppid=2805 vsize=27314120 memory=129564 CPUtime=0.42 cores=0-7 /proc/2808/stat : 2808 (java) S 2805 2805 1012 0 -1 1077944320 12566 0 0 0 37 5 0 0 20 0 20 0 419622206 27969658880 32391 33554432000 4194304 4196468 140735743349344 140735743331888 140503388225271 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 /proc/2808/statm: 6828530 32391 3034 1 0 6790935 0 [pid=2808/tid=2809] ppid=2805 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/2808/task/2809/stat : 2809 (java) R 2805 2805 1012 0 -1 4202560 10049 0 0 0 25 4 0 0 20 0 20 0 419622206 27969658880 32456 33554432000 4194304 4196468 140735743349344 140503360038912 140503371412080 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2810] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2810/stat : 2810 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140503392468112 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2811] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2811/stat : 2811 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140503212764176 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2812] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2812/stat : 2812 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140502809496464 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2813] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2813/stat : 2813 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140502808443664 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2814] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2814/stat : 2814 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140502807390864 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2815] ppid=2805 vsize=27314120 memory=140410332736175 CPUtime=0 cores=0-7 /proc/2808/task/2815/stat : 2815 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140502806338064 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2816] ppid=2805 vsize=27314120 memory=140410332738480 CPUtime=0 cores=0-7 /proc/2808/task/2816/stat : 2816 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140502805285264 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2817] ppid=2805 vsize=27314120 memory=140410332740784 CPUtime=0 cores=0-7 /proc/2808/task/2817/stat : 2817 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27969658880 32456 33554432000 4194304 4196468 140735743349344 140502804232464 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2818] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2818/stat : 2818 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622210 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501641350000 140503388236418 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2819] ppid=2805 vsize=27314120 memory=280820665495440 CPUtime=0 cores=0-7 /proc/2808/task/2819/stat : 2819 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419622210 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501332256288 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2820] ppid=2805 vsize=27314120 memory=280820665493136 CPUtime=0 cores=0-7 /proc/2808/task/2820/stat : 2820 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622211 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501063820656 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2821] ppid=2805 vsize=27314120 memory=280820665500048 CPUtime=0 cores=0-7 /proc/2808/task/2821/stat : 2821 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 32456 33554432000 4194304 4196468 140735743349344 140500689312080 140503388243867 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2822] ppid=2805 vsize=27314120 memory=280820665441296 CPUtime=0.01 cores=0-7 /proc/2808/task/2822/stat : 2822 (java) R 2805 2805 1012 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 20 0 419622213 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501640296816 140503365859920 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2823] ppid=2805 vsize=27314120 memory=280820665513872 CPUtime=0.01 cores=0-7 /proc/2808/task/2823/stat : 2823 (java) S 2805 2805 1012 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 419622213 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501639244016 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2824] ppid=2805 vsize=27314120 memory=280820665520784 CPUtime=0.01 cores=0-7 /proc/2808/task/2824/stat : 2824 (java) S 2805 2805 1012 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 20 0 419622213 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501638191216 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2825] ppid=2805 vsize=27314120 memory=280820665518480 CPUtime=0.07 cores=0-7 /proc/2808/task/2825/stat : 2825 (java) S 2805 2805 1012 0 -1 1077944384 524 0 0 0 7 0 0 0 20 0 20 0 419622213 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501637138416 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2826] ppid=2805 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2826/stat : 2826 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622213 27969658880 32456 33554432000 4194304 4196468 140735743349344 140500191407200 140503388235477 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2827] ppid=2805 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/2808/task/2827/stat : 2827 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622214 27969658880 32456 33554432000 4194304 4196468 140735743349344 140501636086832 140503388236418 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 130956 KiB [startup+0.701504 s] /proc/loadavg: 7.58 7.50 7.08 2/212 2827 /proc/meminfo: memFree=29426856/32770624 swapFree=66958244/67108860 [pid=2805] ppid=2802 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/2805/stat : 2805 (scop.sh) S 2802 2805 1012 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419622205 115843072 348 33554432000 4194304 5098028 140731004910400 140731004907656 140422759277180 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20180992 140731004912421 140731004912748 140731004912748 140731004915661 0 /proc/2805/statm: 28282 348 296 221 0 87 0 [pid=2808] ppid=2805 vsize=27320392 memory=165536 CPUtime=1.01 cores=0-7 /proc/2808/stat : 2808 (java) S 2805 2805 1012 0 -1 1077944320 20008 0 0 0 93 8 0 0 20 0 20 0 419622206 27976081408 41384 33554432000 4194304 4196468 140735743349344 140735743331888 140503388225271 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 /proc/2808/statm: 6830098 41384 3182 1 0 6791447 0 [pid=2808/tid=2809] ppid=2805 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/2808/task/2809/stat : 2809 (java) R 2805 2805 1012 0 -1 4202560 16857 0 0 0 61 7 0 0 20 0 20 0 419622206 27976081408 41384 33554432000 4194304 4196468 140735743349344 140503360055312 140502890435790 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2810] ppid=2805 vsize=27320392 memory=140410332947312 CPUtime=0 cores=0-7 /proc/2808/task/2810/stat : 2810 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419622208 27976081408 41384 33554432000 4194304 4196468 140735743349344 140503392468112 140503388235477 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2811] ppid=2805 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/2808/task/2811/stat : 2811 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419622208 27976081408 41384 33554432000 4194304 4196468 140735743349344 140503212764176 140503388235477 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 [pid=2808/tid=2812] ppid=2805 vsize=27320392 memory=8004 CPUtime=0 cores=0-7 /proc/2808/task/2812/stat : 2812 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419622208 27976081408 41384 33554432000 4194304 4196468 140735743349344 140502809496464 140503388235477 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10899456 140735743357676 140735743358102 140735743358102 140735743360975 0 ################ # More data... # ################ /proc/2828/task/2835/stat : 2835 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276339792912 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2836] ppid=2805 vsize=8414124 memory=40496 CPUtime=0 cores=0-7 /proc/2828/task/2836/stat : 2836 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276338740112 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2837] ppid=2805 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/2828/task/2837/stat : 2837 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276337687312 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2838] ppid=2805 vsize=8414124 memory=2020 CPUtime=0 cores=0-7 /proc/2828/task/2838/stat : 2838 (java) S 2805 2805 1012 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275766733168 140276539603586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2839] ppid=2805 vsize=8414124 memory=1432 CPUtime=0 cores=0-7 /proc/2828/task/2839/stat : 2839 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29811 33554432000 4194304 4196468 140728439520320 140274839839776 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2840] ppid=2805 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/2828/task/2840/stat : 2840 (java) S 2805 2805 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29811 33554432000 4194304 4196468 140728439520320 140274705617776 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2841] ppid=2805 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/2828/task/2841/stat : 2841 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140274331113296 140276539611035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2842] ppid=2805 vsize=8414124 memory=578584 CPUtime=0.05 cores=0-7 /proc/2828/task/2842/stat : 2842 (java) S 2805 2805 1012 0 -1 1077944384 543 0 0 0 5 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275765681008 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2843] ppid=2805 vsize=8414124 memory=4000 CPUtime=0.09 cores=0-7 /proc/2828/task/2843/stat : 2843 (java) S 2805 2805 1012 0 -1 1077944384 420 0 0 0 9 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275764628208 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2844] ppid=2805 vsize=8414124 memory=1552 CPUtime=0.07 cores=0-7 /proc/2828/task/2844/stat : 2844 (java) S 2805 2805 1012 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275763575408 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2845] ppid=2805 vsize=8414124 memory=1556 CPUtime=0.21 cores=0-7 /proc/2828/task/2845/stat : 2845 (java) S 2805 2805 1012 0 -1 1077944384 768 0 0 0 21 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275762522608 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2846] ppid=2805 vsize=8414124 memory=1196 CPUtime=0 cores=0-7 /proc/2828/task/2846/stat : 2846 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140273833208416 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2847] ppid=2805 vsize=8414124 memory=1044 CPUtime=0.1 cores=0-7 /proc/2828/task/2847/stat : 2847 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 2 8 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275761470000 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2849] ppid=2805 vsize=8414124 memory=712 CPUtime=0 cores=0-7 /proc/2828/task/2849/stat : 2849 (java) S 2805 2805 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622706 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275753993280 140276539617049 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2851] ppid=2805 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/2828/task/2851/stat : 2851 (java) S 2805 2805 1012 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622707 8616062976 29811 33554432000 4194304 4196468 140728439520320 140273162109072 140276539614365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2852] ppid=2805 vsize=8414124 memory=8004 CPUtime=0 cores=0-7 /proc/2828/task/2852/stat : 2852 (java) S 2805 2805 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622707 8616062976 29811 33554432000 4194304 4196468 140728439520320 140273430544400 140276539614365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2853] ppid=2805 vsize=8414124 memory=10428 CPUtime=0 cores=0-7 /proc/2828/task/2853/stat : 2853 (java) S 2805 2805 1012 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419622709 8616062976 29811 33554432000 4194304 4196468 140728439520320 140272893681200 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 Current children cumulated CPU time: 947.21 s Current children cumulated vsize: 9338776 KiB Current children cumulated memory: 748300 KiB [startup+162.601 s] /proc/loadavg: 5.24 6.64 6.83 2/217 2871 /proc/meminfo: memFree=28836768/32770624 swapFree=66958244/67108860 [pid=2805] ppid=2802 vsize=113128 memory=1472 CPUtime=11.66 cores=0-7 /proc/2805/stat : 2805 (scop.sh) S 2802 2805 1012 0 -1 4202496 582 31499 0 0 0 0 1135 31 20 0 1 0 419622205 115843072 368 33554432000 4194304 5098028 140731004910400 140731004907144 140422759277180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20180992 140731004912421 140731004912748 140731004912748 140731004915661 0 /proc/2805/statm: 28282 368 311 221 0 87 0 [pid=2828] ppid=2805 vsize=8414124 memory=119244 CPUtime=1.34 cores=0-7 /proc/2828/stat : 2828 (java) S 2805 2805 1012 0 -1 1077944320 21356 0 0 0 127 7 0 0 20 0 24 0 419622632 8616062976 29811 33554432000 4194304 4196468 140728439520320 140728439502864 140276539592439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 /proc/2828/statm: 2103531 29811 3208 1 0 2064875 0 [pid=2848] ppid=2828 vsize=811524 memory=627584 CPUtime=934.42 cores=0-7 /proc/2848/stat : 2848 (manyglucose-4.1) S 2828 2805 1012 0 -1 1077944320 1065170 0 0 0 93267 175 0 0 20 0 2 0 419622706 831000576 156896 33554432000 4194304 4454172 140728332688912 140728332687296 139862657064695 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 29937664 140728332690282 140728332690480 140728332690480 140728332693434 0 /proc/2848/statm: 202881 156896 419 64 0 198549 0 [pid=2848/tid=2857] ppid=2828 vsize=811524 memory=1398722017469774279 CPUtime=153.98 cores=0-7 /proc/2848/task/2857/stat : 2857 (manyglucose-4.1) R 2828 2805 1012 0 -1 4202560 131841 0 0 0 15377 21 0 0 20 0 2 0 419622709 831000576 156896 33554432000 4194304 4454172 140728332688912 139862616669320 4329167 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 29937664 140728332690282 140728332690480 140728332690480 140728332693434 0 [pid=2828/tid=2829] ppid=2805 vsize=8414124 memory=7686721470367833493 CPUtime=0.77 cores=0-7 /proc/2828/task/2829/stat : 2829 (java) S 2805 2805 1012 0 -1 1077944384 17839 0 0 0 73 4 0 0 20 0 24 0 419622632 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276511432608 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2830] ppid=2805 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/2828/task/2830/stat : 2830 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276543834768 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2831] ppid=2805 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/2828/task/2831/stat : 2831 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276344003088 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2832] ppid=2805 vsize=8414124 memory=7686721470367833493 CPUtime=0 cores=0-7 /proc/2828/task/2832/stat : 2832 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276342950288 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2833] ppid=2805 vsize=8414124 memory=119204 CPUtime=0 cores=0-7 /proc/2828/task/2833/stat : 2833 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276341897488 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2834] ppid=2805 vsize=8414124 memory=616836 CPUtime=0 cores=0-7 /proc/2828/task/2834/stat : 2834 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276340845712 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2835] ppid=2805 vsize=8414124 memory=521436 CPUtime=0 cores=0-7 /proc/2828/task/2835/stat : 2835 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276339792912 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2836] ppid=2805 vsize=8414124 memory=1660 CPUtime=0 cores=0-7 /proc/2828/task/2836/stat : 2836 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276338740112 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2837] ppid=2805 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/2828/task/2837/stat : 2837 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29811 33554432000 4194304 4196468 140728439520320 140276337687312 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2838] ppid=2805 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/2828/task/2838/stat : 2838 (java) S 2805 2805 1012 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275766733168 140276539603586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2839] ppid=2805 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/2828/task/2839/stat : 2839 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29811 33554432000 4194304 4196468 140728439520320 140274839839776 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2840] ppid=2805 vsize=8414124 memory=16099264824608231 CPUtime=0 cores=0-7 /proc/2828/task/2840/stat : 2840 (java) S 2805 2805 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29811 33554432000 4194304 4196468 140728439520320 140274705617776 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2841] ppid=2805 vsize=8414124 memory=880 CPUtime=0 cores=0-7 /proc/2828/task/2841/stat : 2841 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140274331113296 140276539611035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2842] ppid=2805 vsize=8414124 memory=4104 CPUtime=0.05 cores=0-7 /proc/2828/task/2842/stat : 2842 (java) S 2805 2805 1012 0 -1 1077944384 543 0 0 0 5 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275765681008 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2843] ppid=2805 vsize=8414124 memory=1976 CPUtime=0.09 cores=0-7 /proc/2828/task/2843/stat : 2843 (java) S 2805 2805 1012 0 -1 1077944384 420 0 0 0 9 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275764628208 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2844] ppid=2805 vsize=8414124 memory=2496 CPUtime=0.07 cores=0-7 /proc/2828/task/2844/stat : 2844 (java) S 2805 2805 1012 0 -1 1077944384 222 0 0 0 7 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275763575408 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2845] ppid=2805 vsize=8414124 memory=1760 CPUtime=0.21 cores=0-7 /proc/2828/task/2845/stat : 2845 (java) S 2805 2805 1012 0 -1 1077944384 768 0 0 0 21 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275762522608 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2846] ppid=2805 vsize=8414124 memory=111636 CPUtime=0 cores=0-7 /proc/2828/task/2846/stat : 2846 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140273833208416 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2847] ppid=2805 vsize=8414124 memory=804 CPUtime=0.1 cores=0-7 /proc/2828/task/2847/stat : 2847 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 2 8 0 0 20 0 24 0 419622638 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275761470000 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2849] ppid=2805 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/2828/task/2849/stat : 2849 (java) S 2805 2805 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622706 8616062976 29811 33554432000 4194304 4196468 140728439520320 140275753993280 140276539617049 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2851] ppid=2805 vsize=8414124 memory=7100839861465685612 CPUtime=0 cores=0-7 /proc/2828/task/2851/stat : 2851 (java) S 2805 2805 1012 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419622707 8616062976 29811 33554432000 4194304 4196468 140728439520320 140273162109072 140276539614365 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2852] ppid=2805 vsize=8414124 memory=-7175204567652784766 CPUtime=0 cores=0-7 /proc/2828/task/2852/stat : 2852 (java) S 2805 2805 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622707 8616062976 29811 33554432000 4194304 4196468 140728439520320 140273430544400 140276539614365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2853] ppid=2805 vsize=8414124 memory=3054156605268465310 CPUtime=0 cores=0-7 /proc/2828/task/2853/stat : 2853 (java) S 2805 2805 1012 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419622709 8616062976 29811 33554432000 4194304 4196468 140728439520320 140272893681200 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 Current children cumulated CPU time: 947.42 s Current children cumulated vsize: 9338776 KiB Current children cumulated memory: 748300 KiB [startup+162.701 s] /proc/loadavg: 5.24 6.64 6.83 2/217 2871 /proc/meminfo: memFree=28836768/32770624 swapFree=66958244/67108860 [pid=2805] ppid=2802 vsize=113128 memory=1472 CPUtime=11.66 cores=0-7 /proc/2805/stat : 2805 (scop.sh) S 2802 2805 1012 0 -1 4202496 582 31499 0 0 0 0 1135 31 20 0 1 0 419622205 115843072 368 33554432000 4194304 5098028 140731004910400 140731004907144 140422759277180 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20180992 140731004912421 140731004912748 140731004912748 140731004915661 0 /proc/2805/statm: 28282 368 311 221 0 87 0 [pid=2828] ppid=2805 vsize=8414124 memory=119348 CPUtime=1.38 cores=0-7 /proc/2828/stat : 2828 (java) S 2805 2805 1012 0 -1 1077944320 21410 0 0 0 131 7 0 0 20 0 24 0 419622632 8616062976 29837 33554432000 4194304 4196468 140728439520320 140728439502864 140276539592439 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 /proc/2828/statm: 2103531 29837 3209 1 0 2064875 0 [pid=2828/tid=2829] ppid=2805 vsize=8414124 memory=119244 CPUtime=0.77 cores=0-7 /proc/2828/task/2829/stat : 2829 (java) S 2805 2805 1012 0 -1 1077944384 17839 0 0 0 73 4 0 0 20 0 24 0 419622632 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276511432608 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2830] ppid=2805 vsize=8414124 memory=119244 CPUtime=0 cores=0-7 /proc/2828/task/2830/stat : 2830 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276543834768 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2831] ppid=2805 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/2828/task/2831/stat : 2831 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276344003088 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2832] ppid=2805 vsize=8414124 memory=627584 CPUtime=0 cores=0-7 /proc/2828/task/2832/stat : 2832 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276342950288 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2833] ppid=2805 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/2828/task/2833/stat : 2833 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276341897488 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2834] ppid=2805 vsize=8414124 memory=3752 CPUtime=0 cores=0-7 /proc/2828/task/2834/stat : 2834 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276340845712 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2835] ppid=2805 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/2828/task/2835/stat : 2835 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276339792912 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2836] ppid=2805 vsize=8414124 memory=119244 CPUtime=0 cores=0-7 /proc/2828/task/2836/stat : 2836 (java) S 2805 2805 1012 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276338740112 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2837] ppid=2805 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/2828/task/2837/stat : 2837 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622633 8616062976 29837 33554432000 4194304 4196468 140728439520320 140276337687312 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2838] ppid=2805 vsize=8414124 memory=119204 CPUtime=0 cores=0-7 /proc/2828/task/2838/stat : 2838 (java) S 2805 2805 1012 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29837 33554432000 4194304 4196468 140728439520320 140275766733168 140276539603586 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2839] ppid=2805 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/2828/task/2839/stat : 2839 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29837 33554432000 4194304 4196468 140728439520320 140274839839776 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2840] ppid=2805 vsize=8414124 memory=119204 CPUtime=0 cores=0-7 /proc/2828/task/2840/stat : 2840 (java) S 2805 2805 1012 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419622635 8616062976 29837 33554432000 4194304 4196468 140728439520320 140274705617776 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2841] ppid=2805 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/2828/task/2841/stat : 2841 (java) S 2805 2805 1012 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419622638 8616062976 29837 33554432000 4194304 4196468 140728439520320 140274331113296 140276539611035 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2842] ppid=2805 vsize=8414124 memory=119204 CPUtime=0.06 cores=0-7 /proc/2828/task/2842/stat : 2842 (java) S 2805 2805 1012 0 -1 1077944384 548 0 0 0 6 0 0 0 20 0 24 0 419622638 8616062976 29837 33554432000 4194304 4196468 140728439520320 140275765681008 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2843] ppid=2805 vsize=8414124 memory=0 CPUtime=0.09 cores=0-7 /proc/2828/task/2843/stat : 2843 (java) S 2805 2805 1012 0 -1 1077944384 422 0 0 0 9 0 0 0 20 0 24 0 419622638 8616062976 29837 33554432000 4194304 4196468 140728439520320 140275764628208 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2844] ppid=2805 vsize=8414124 memory=6944613755479294112 CPUtime=0.07 cores=0-7 /proc/2828/task/2844/stat : 2844 (java) S 2805 2805 1012 0 -1 1077944384 226 0 0 0 7 0 0 0 20 0 24 0 419622638 8616062976 29837 33554432000 4194304 4196468 140728439520320 140275763575408 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2845] ppid=2805 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7 /proc/2828/task/2845/stat : 2845 (java) S 2805 2805 1012 0 -1 1077944384 799 0 0 0 22 0 0 0 20 0 24 0 419622638 8616062976 29837 33554432000 4194304 4196468 140728439520320 140275762522608 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2846] ppid=2805 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/2828/task/2846/stat : 2846 (java) S 2805 2805 1012 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419622638 8616062976 29837 33554432000 4194304 4196468 140728439520320 140273833208416 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2847] ppid=2805 vsize=8414124 memory=119204 CPUtime=0.1 cores=0-7 /proc/2828/task/2847/stat : 2847 (java) S 2805 2805 1012 0 -1 1077944384 13 0 0 0 2 8 0 0 20 0 24 0 419622638 8616062976 29837 33554432000 4194304 4196468 140728439520320 140275761470000 140276539603586 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2849] ppid=2805 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/2828/task/2849/stat : 2849 (java) S 2805 2805 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622706 8616062976 29837 33554432000 4194304 4196468 140728439520320 140275753993280 140276539617049 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2851] ppid=2805 vsize=8414124 memory=280820666891888 CPUtime=0.02 cores=0-7 /proc/2828/task/2851/stat : 2851 (java) S 2805 2805 1012 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 24 0 419622707 8616062976 29837 33554432000 4194304 4196468 140728439520320 140273162109104 140276539614365 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2852] ppid=2805 vsize=8414124 memory=8557 CPUtime=0 cores=0-7 /proc/2828/task/2852/stat : 2852 (java) S 2805 2805 1012 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419622707 8616062976 29837 33554432000 4194304 4196468 140728439520320 140273430544400 140276539614365 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 [pid=2828/tid=2853] ppid=2805 vsize=8414124 memory=8635 CPUtime=0 cores=0-7 /proc/2828/task/2853/stat : 2853 (java) S 2805 2805 1012 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419622709 8616062976 29837 33554432000 4194304 4196468 140728439520320 140272893681200 140276539602645 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10473472 140728439526392 140728439526550 140728439526550 140728439529423 0 Current children cumulated CPU time: 13.04 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 120820 KiB Child status: 0 Real time (s): 162.718 CPU time (s): 947.615 CPU user time (s): 945.437 CPU system time (s): 2.17758 CPU usage (%): 582.365 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1049932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 945.437 system time used= 2.17759 maximum resident set size= 1051472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1118730 page faults= 0 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22021 involuntary context switches= 8457 # summary of solver processes directly reported to runsolver: # pid: 2805 # total CPU time (s): 947.615 # total CPU user time (s): 945.437 # total CPU system time (s): 2.17758 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.61039 second user time and 2.21759 second system time The end
Begin job on node145 at 2019-09-14 06:53:35 IDJOB=4392431 IDBENCH=134589 IDSOLVER=2838 FILE ID=node145/4392431-1568436857 RUNJOBID= node145-1568426894-1040 PBS_JOBID= 21702291 Free space on /tmp= 59508 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-3_X2.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392431-1568436857/watcher-4392431-1568436857 -o /tmp/evaluation-result-4392431-1568436857/solver-4392431-1568436857 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node145-1568426894-1040 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392431-1568436857.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 72c85c51a44e0e8527757e040a083bca RANDOM SEED=265234486 node145.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.59 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: 29569600 kB MemAvailable: 31859276 kB Buffers: 136736 kB Cached: 2436528 kB SwapCached: 41072 kB Active: 1237020 kB Inactive: 1380340 kB Active(anon): 6360 kB Inactive(anon): 78464 kB Active(file): 1230660 kB Inactive(file): 1301876 kB Unevictable: 109424 kB Mlocked: 109424 kB SwapTotal: 67108860 kB SwapFree: 66958244 kB Dirty: 20640 kB Writeback: 0 kB AnonPages: 112772 kB Mapped: 44188 kB Shmem: 32364 kB Slab: 173948 kB SReclaimable: 145948 kB SUnreclaim: 28000 kB KernelStack: 3376 kB PageTables: 5116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498120 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: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 59484 MiB End job on node145 at 2019-09-14 06:56:18