Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 1159.08 | 184.013 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07h-5_X2.xml |
MD5SUM | 0d344e361328211ed16699cc315bd3d7 |
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.955 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 1262 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1262}] |
Number of extensional constraints | 1262 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1262}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-6619-serial-file.bin HOME/instance-4405608-1569342801.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Tue Sep 24 17:22:59 CEST 2019 0.65/0.57 c PID: 6622 0.65/0.57 c IP: 172.20.3.104 0.65/0.57 c HOST: node104.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-4405608-1569342801.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.14/1.65 c (1,1) translated 127 (10%) constraints 3.52/1.76 c (1,1) translated 253 (20%) constraints 3.94/1.84 c (1,1) translated 379 (30%) constraints 4.36/1.91 c (1,1) translated 505 (40%) constraints 4.36/1.96 c (1,1) translated 631 (50%) constraints 4.79/2.01 c (1,1) translated 757 (60%) constraints 5.20/2.16 c (1,1) translated 883 (70%) constraints 6.01/2.40 c (1,1) translated 1009 (80%) constraints 6.25/2.62 c (2,2) translated 1135 (90%) constraints 6.92/2.94 c (2,2) translated 1261 (100%) constraints 6.92/2.94 c (2,2) =========================================== 6.92/2.96 c (2,2) Hybrid: #OE=793, #LE=0 6.92/2.96 c (2,2) Hybrid 6.92/2.96 c (2,2) =========================================== 7.36/3.03 c (2,2) translated 1883 (10%) constraints 7.36/3.09 c (2,2) translated 3765 (20%) constraints 7.76/3.15 c (2,2) translated 5647 (30%) constraints 8.12/3.21 c (2,2) translated 7529 (40%) constraints 8.12/3.26 c (2,2) translated 9411 (50%) constraints 8.52/3.32 c (2,2) translated 11294 (60%) constraints 8.52/3.37 c (2,2) translated 13176 (70%) constraints 8.86/3.41 c (2,2) translated 15058 (80%) constraints 8.86/3.45 c (2,2) translated 16940 (90%) constraints 8.86/3.48 c (2,2) translated 18822 (100%) constraints 8.86/3.48 c (2,2) CSP to CSPinCNF End 8.86/3.48 c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28 8.86/3.48 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 8.86/3.49 c (2,2) CSPinCNF Propagation Begin 10.29/3.85 c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed 10.29/3.85 c (3,3) CSPinCNF Propagation End 10.29/3.85 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.29/3.85 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.29/3.86 c (3,3) Hybrid: #OE=793, #LE=0 10.29/3.86 c (3,3) Simplify CSPinCNF Begin 10.50/3.92 c (3,3) Simplify CSPinCNF End 10.50/3.92 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.50/3.92 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.50/3.92 c (3,3) Calculate Precise Domain Begin 10.50/3.92 c (3,3) 0 values are removed by re-calculation 10.50/3.92 c (3,3) Calculate Precise Domain End 10.50/3.92 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.50/3.92 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.50/3.92 c (3,3) CSPinCNF to SatSolver Begin 10.83/4.07 c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses) 11.14/4.12 c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses) 11.14/4.17 c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses) 11.51/4.22 c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses) 11.51/4.26 c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses) 11.51/4.29 c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses) 11.91/4.32 c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses) 11.91/4.33 c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses) 11.91/4.35 c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses) 11.91/4.36 c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses) 11.91/4.36 c (3,3) CSPinCNF to SatSolver End 11.91/4.36 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.91/4.36 c (3,3) 2482 bool, 15697 clause 11.91/4.36 c (3,3) Export Begin 12.16/4.47 c (3,3) Export to HOME/scop-6619-serial-file.bin 12.16/4.47 c (3,3) Export End 12.16/4.47 c (3,3) Export File Size: 0.02 MB 12.16/4.47 c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS) 12.16/4.47 c END-Prog: Tue Sep 24 17:23:03 CEST 2019 12.16/4.48 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-6619-serial-file.bin 12.32/4.94 c (0,0) Read Serial File Begin 12.32/4.94 c (0,0) HOME/scop-6619-serial-file.bin 13.14/5.17 c (0,0) Read Serial File End 13.14/5.18 13.14/5.18 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 13.14/5.18 (Solving Process) 13.14/5.18 13.31/5.20 c BEGIN-Prog: Tue Sep 24 17:23:03 CEST 2019 13.31/5.20 c PID: 6642 13.31/5.20 c IP: 172.20.3.104 13.31/5.20 c HOST: node104.alineos.net 13.31/5.21 c (0,0) SatSolver.solve Begin 13.31/5.21 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405608-1569342801.xml-scop-6622.cnf 13.31/5.23 c (0,0) c 13.31/5.23 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 13.31/5.23 c (0,0) c 13.31/5.23 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 13.31/5.23 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 13.31/5.23 c (0,0) c ========================================[ Problem Statistics ]=========================================== 13.31/5.23 c (0,0) c | | 13.31/5.24 c (0,0) c | Number of variables: 2480 | 13.31/5.24 c (0,0) c | Number of clauses: 15697 | 13.31/5.24 c (0,0) c | Parse time: 0.01 s | 13.31/5.24 c (0,0) c | | 13.31/5.24 c (0,0) WARNING! DIMACS header mismatch: wrong number of variables. 13.31/5.24 c (0,0) c | Simplification time: 0.01 s | 13.31/5.24 c (0,0) c | | 13.31/5.24 c (0,0) c | Generating clones | 13.31/5.25 c (0,0) c | all clones generated. Memory = 32.07Mb. | 13.31/5.25 c (0,0) c ========================================================================================================| 13.31/5.25 c (0,0) c 13.31/5.25 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 13.31/5.25 c (0,0) c 13.31/5.25 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.31/5.25 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 13.31/5.25 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.31/5.25 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 13.31/5.25 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 13.31/5.25 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 13.31/5.25 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 13.31/5.25 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 13.31/5.25 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 13.31/5.25 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 13.31/5.25 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 13.31/5.25 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 13.31/5.25 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 13.31/5.25 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 13.31/5.25 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 13.31/5.25 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 13.31/5.25 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 13.31/5.25 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 13.31/5.25 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 211.07/34.38 c (29,0) c 211.07/34.38 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 211.07/34.38 c (29,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 211.07/34.38 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 211.07/34.38 c (29,0) c | 0 | 228 | 512453 | 278176 | 8944 | 46790 | 44377 | 268720 | 11573 | 286 | 20 | 0.847 | 211.07/34.38 c (29,0) c | 1 | 405 | 521092 | 282524 | 9350 | 51142 | 43458 | 280302 | 15026 | 287 | 20 | 0.847 | 211.07/34.38 c (29,0) c | 2 | 349 | 505835 | 271657 | 8834 | 40268 | 40427 | 279308 | 9022 | 287 | 20 | 0.847 | 211.07/34.38 c (29,0) c | 3 | 338 | 521844 | 283695 | 9208 | 52317 | 44454 | 278427 | 13806 | 287 | 20 | 0.847 | 211.07/34.38 c (29,0) c | 4 | 383 | 520847 | 282622 | 9317 | 51230 | 40197 | 280065 | 10175 | 287 | 20 | 0.847 | 211.07/34.38 c (29,0) c | 5 | 285 | 495807 | 257970 | 8909 | 59791 | 38041 | 270990 | 9370 | 267 | 20 | 0.847 | 211.07/34.38 c (29,0) c | 6 | 390 | 532108 | 284393 | 9421 | 53005 | 41896 | 259534 | 13071 | 287 | 20 | 0.847 | 211.07/34.38 c (29,0) c | 7 | 323 | 502492 | 276373 | 9250 | 44988 | 42793 | 276803 | 10596 | 287 | 20 | 0.847 | 211.07/34.38 c (29,0) c 211.07/34.38 c (29,0) c synthesis 2217410 conflicts 167453399 propagations 11224 conflicts/sec 847598 propagations/sec 211.07/34.38 c (29,0) c real: 29.1452 s, cpu: 197.562 s, memory: 628.57 Mb 389.51/63.38 c (58,0) c 389.51/63.38 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 389.51/63.38 c (58,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 389.51/63.38 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 389.51/63.38 c (58,0) c | 0 | 276 | 795569 | 423947 | 9182 | 77353 | 59100 | 382603 | 19723 | 524 | 20 | 0.848 | 389.51/63.38 c (58,0) c | 1 | 492 | 782021 | 416406 | 9404 | 69829 | 54414 | 380716 | 24914 | 525 | 20 | 0.847 | 389.51/63.38 c (58,0) c | 2 | 418 | 776033 | 414088 | 9231 | 67501 | 54758 | 388490 | 18600 | 525 | 20 | 0.847 | 389.51/63.38 c (58,0) c | 3 | 500 | 819294 | 439334 | 9339 | 49142 | 59357 | 383823 | 22208 | 525 | 20 | 0.847 | 389.51/63.38 c (58,0) c | 4 | 458 | 795424 | 426033 | 9454 | 79451 | 53398 | 383788 | 19841 | 525 | 20 | 0.847 | 389.51/63.38 c (58,0) c | 5 | 409 | 777441 | 398462 | 8990 | 51876 | 52874 | 375849 | 14913 | 505 | 20 | 0.847 | 389.51/63.38 c (58,0) c | 6 | 455 | 836039 | 442590 | 9518 | 52405 | 58820 | 382643 | 22625 | 525 | 20 | 0.848 | 389.51/63.38 c (58,0) c | 7 | 394 | 784922 | 425124 | 9426 | 78533 | 57858 | 382826 | 20672 | 524 | 20 | 0.848 | 389.51/63.38 c (58,0) c 389.51/63.38 c (58,0) c synthesis 3385984 conflicts 254511833 propagations 9015 conflicts/sec 677588 propagations/sec 389.51/63.38 c (58,0) c real: 58.145 s, cpu: 375.615 s, memory: 636.39 Mb 575.25/93.38 c (88,0) c 575.25/93.38 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 575.25/93.38 c (88,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 575.25/93.38 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 575.25/93.38 c (88,0) c | 0 | 355 | 1031493 | 546015 | 9280 | 60829 | 71054 | 456102 | 28880 | 735 | 20 | 0.847 | 575.25/93.38 c (88,0) c | 1 | 541 | 1009035 | 532699 | 9439 | 96316 | 65552 | 470323 | 32983 | 747 | 20 | 0.847 | 575.25/93.38 c (88,0) c | 2 | 538 | 1015495 | 534002 | 9371 | 48819 | 66793 | 465958 | 29655 | 743 | 20 | 0.847 | 575.25/93.38 c (88,0) c | 3 | 557 | 1058603 | 559517 | 9351 | 74320 | 70038 | 464607 | 29709 | 746 | 20 | 0.847 | 575.25/93.38 c (88,0) c | 4 | 568 | 1044657 | 552370 | 9501 | 67180 | 66323 | 464284 | 29039 | 747 | 20 | 0.847 | 575.25/93.38 c (88,0) c | 5 | 437 | 1008732 | 513738 | 9237 | 77348 | 65363 | 463824 | 22404 | 727 | 20 | 0.847 | 575.25/93.38 c (88,0) c | 6 | 543 | 1082921 | 568636 | 9530 | 83447 | 69436 | 465004 | 31162 | 747 | 20 | 0.848 | 575.25/93.38 c (88,0) c | 7 | 520 | 1024515 | 547671 | 9465 | 62483 | 67162 | 468449 | 29169 | 746 | 20 | 0.847 | 575.25/93.38 c (88,0) c 575.25/93.38 c (88,0) c synthesis 4354648 conflicts 326417040 propagations 7762 conflicts/sec 581807 propagations/sec 575.25/93.38 c (88,0) c real: 88.145 s, cpu: 561.04 s, memory: 696.23 Mb 769.75/122.38 c (117,0) c 769.75/122.38 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 769.75/122.38 c (117,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 769.75/122.38 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 769.75/122.38 c (117,0) c | 0 | 453 | 1262678 | 663442 | 9307 | 72852 | 82097 | 539404 | 36901 | 968 | 20 | 0.847 | 769.75/122.38 c (117,0) c | 1 | 579 | 1242847 | 651174 | 9457 | 60595 | 75808 | 551723 | 41052 | 988 | 20 | 0.847 | 769.75/122.38 c (117,0) c | 2 | 607 | 1263635 | 655893 | 9393 | 65313 | 79400 | 547774 | 37602 | 988 | 20 | 0.848 | 769.75/122.38 c (117,0) c | 3 | 627 | 1294973 | 678306 | 9367 | 87719 | 80136 | 545899 | 38721 | 988 | 20 | 0.847 | 769.75/122.38 c (117,0) c | 4 | 633 | 1272016 | 667585 | 9513 | 76995 | 75822 | 547246 | 37404 | 988 | 20 | 0.847 | 769.75/122.38 c (117,0) c | 5 | 535 | 1261437 | 638921 | 9344 | 102330 | 78241 | 551962 | 34048 | 987 | 20 | 0.847 | 769.75/122.38 c (117,0) c | 6 | 577 | 1310345 | 683631 | 9535 | 93044 | 81221 | 548865 | 38465 | 988 | 20 | 0.847 | 769.75/122.38 c (117,0) c | 7 | 573 | 1263661 | 667993 | 9485 | 77399 | 82614 | 547722 | 37679 | 986 | 20 | 0.847 | 769.75/122.38 c (117,0) c 769.75/122.38 c (117,0) c synthesis 5306945 conflicts 397908819 propagations 7027 conflicts/sec 526906 propagations/sec 769.75/122.38 c (117,0) c real: 117.145 s, cpu: 755.18 s, memory: 666.60 Mb 956.00/151.38 c (146,0) c 956.00/151.38 c (146,0) c |------------------------------------------------------------------------------------------------------------------------| 956.00/151.38 c (146,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 956.00/151.38 c (146,0) c |------------------------------------------------------------------------------------------------------------------------| 956.00/151.38 c (146,0) c | 0 | 501 | 1443309 | 752088 | 9324 | 104898 | 91384 | 595724 | 43846 | 1175 | 20 | 0.847 | 956.00/151.38 c (146,0) c | 1 | 638 | 1416376 | 740804 | 9465 | 93621 | 84022 | 607948 | 48568 | 1195 | 20 | 0.847 | 956.00/151.38 c (146,0) c | 2 | 675 | 1450339 | 747979 | 9405 | 100793 | 86532 | 604311 | 45403 | 1195 | 20 | 0.847 | 956.00/151.38 c (146,0) c | 3 | 679 | 1468258 | 764897 | 9379 | 117707 | 87522 | 604039 | 45819 | 1195 | 20 | 0.848 | 956.00/151.38 c (146,0) c | 4 | 648 | 1455236 | 756520 | 9519 | 109328 | 81360 | 607544 | 43756 | 1195 | 20 | 0.848 | 956.00/151.38 c (146,0) c | 5 | 587 | 1446896 | 730457 | 9361 | 83272 | 86524 | 604339 | 41000 | 1189 | 20 | 0.847 | 956.00/151.38 c (146,0) c | 6 | 649 | 1487015 | 771006 | 9543 | 64617 | 89557 | 602652 | 46133 | 1195 | 20 | 0.847 | 956.00/151.38 c (146,0) c | 7 | 611 | 1440032 | 756357 | 9498 | 109163 | 89885 | 591342 | 45226 | 1191 | 20 | 0.848 | 956.00/151.38 c (146,0) c 956.00/151.38 c (146,0) c synthesis 6020108 conflicts 452650184 propagations 6398 conflicts/sec 481051 propagations/sec 956.00/151.38 c (146,0) c real: 146.145 s, cpu: 940.96 s, memory: 819.51 Mb 1142.95/180.37 c (175,0) c 1142.95/180.37 c (175,0) c |------------------------------------------------------------------------------------------------------------------------| 1142.95/180.37 c (175,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1142.95/180.37 c (175,0) c |------------------------------------------------------------------------------------------------------------------------| 1142.95/180.37 c (175,0) c | 0 | 530 | 1589119 | 824076 | 9337 | 117065 | 96689 | 637534 | 49650 | 1367 | 20 | 0.888 | 1142.95/180.38 c (175,0) c | 1 | 675 | 1557413 | 811542 | 9475 | 104492 | 92158 | 646442 | 54619 | 1387 | 20 | 1.048 | 1142.95/180.38 c (175,0) c | 2 | 703 | 1589076 | 816997 | 9420 | 109876 | 92114 | 648787 | 51703 | 1387 | 20 | 0.968 | 1142.95/180.38 c (175,0) c | 3 | 700 | 1620709 | 839900 | 9387 | 71332 | 96102 | 644870 | 52106 | 1387 | 20 | 1.129 | 1142.95/180.38 c (175,0) c | 4 | 666 | 1598302 | 826687 | 9523 | 119167 | 86777 | 654804 | 50884 | 1387 | 20 | 1.089 | 1142.95/180.38 c (175,0) c | 5 | 610 | 1595173 | 804196 | 9371 | 93401 | 92140 | 648522 | 48104 | 1385 | 20 | 0.968 | 1142.95/180.38 c (175,0) c | 6 | 705 | 1637595 | 844712 | 9552 | 74886 | 94900 | 644152 | 52091 | 1387 | 20 | 1.048 | 1142.95/180.38 c (175,0) c | 7 | 647 | 1588461 | 829600 | 9508 | 122648 | 95458 | 646041 | 51695 | 1387 | 20 | 1.331 | 1142.95/180.38 c (175,0) c 1142.95/180.38 c (175,0) c synthesis 6597710 conflicts 498306446 propagations 5851 conflicts/sec 441941 propagations/sec 1142.95/180.38 c (175,0) c real: 175.145 s, cpu: 1127.54 s, memory: 696.40 Mb 1158.90/183.96 c (179,0) c 1158.90/183.96 c (179,0) c real time : 178.731 s 1158.90/183.96 c (179,0) c cpu time : 1143.01 s 1158.90/183.96 c (179,0) c 1158.90/183.96 c (179,0) c 1158.90/183.96 c (179,0) c 1158.90/183.96 c (179,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1158.90/183.96 c (179,0) c 1158.90/183.96 c (179,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.96 c (179,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1158.90/183.96 c (179,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.96 c (179,0) c | Conflicts | 6640255 | 834464 | 815635 | 820346 | 845511 | 830231 | 809178 | 849468 | 835422 | 1158.90/183.96 c (179,0) c | Decisions | 12858112 | 1609910 | 1564793 | 1594995 | 1631883 | 1605180 | 1604843 | 1646509 | 1599999 | 1158.90/183.96 c (179,0) c | Propagations | 501761863 | 62944959 | 61601949 | 62115046 | 63453946 | 62629781 | 61534000 | 63915330 | 63566852 | 1158.90/183.96 c (179,0) c | ReduceDBs | 197 | 25 | 24 | 24 | 25 | 25 | 24 | 25 | 25 | 1158.90/183.96 c (179,0) c | SimpDBs | 74 | 11 | 9 | 10 | 9 | 8 | 10 | 9 | 8 | 1158.90/183.96 c (179,0) c | Restarts | 5243 | 531 | 676 | 704 | 700 | 669 | 610 | 706 | 647 | 1158.90/183.96 c (179,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1158.90/183.96 c (179,0) c | PropBinClauses| 1018400911 | 126117474 | 126870823 | 125898460 | 129126673 | 127739646 | 125738385 | 127239346 | 129670104 | 1158.90/183.96 c (179,0) c | PropPreBlocker| 38553983161 | 4774734112 | 4823670834 | 4808208658 | 4800588740 | 4846270493 | 4798603646 | 4833280347 | 4868626331 | 1158.90/183.96 c (179,0) c | PropNotBlocker| 6181392772 | 793220059 | 778704737 | 767797647 | 774744685 | 764561386 | 763028570 | 773982325 | 765353363 | 1158.90/183.96 c (179,0) c | LitFullScans | 67279249939 | 8407144032 | 8413435323 | 8407728920 | 8413428558 | 8407953965 | 8413642056 | 8408449139 | 8407467946 | 1158.90/183.96 c (179,0) c | LitScanFracts | 12535391 | 1136774 | 1406090 | 1718487 | 1418535 | 1943506 | 1621816 | 1831514 | 1458669 | 1158.90/183.96 c (179,0) c | DecisionLevel0| 5340 | 543 | 687 | 712 | 717 | 676 | 623 | 724 | 658 | 1158.90/183.96 c (179,0) c | Periods | 11211 | 1401 | 1402 | 1401 | 1402 | 1401 | 1402 | 1401 | 1401 | 1158.90/183.96 c (179,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 1158.90/183.96 c (179,0) c | Avg_Trail | | 626 | 631 | 630 | 632 | 630 | 632 | 630 | 633 | 1158.90/183.96 c (179,0) c | Avg_DL | | 21 | 22 | 21 | 22 | 21 | 21 | 22 | 21 | 1158.90/183.96 c (179,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1158.90/183.96 c (179,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1158.90/183.96 c (179,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.96 c (179,0) c | Exported | 750969 | 97861 | 92656 | 92497 | 96852 | 87077 | 92683 | 95381 | 95962 | 1158.90/183.96 c (179,0) c | Imported | 5207003 | 647605 | 651979 | 651265 | 649447 | 656754 | 653233 | 650679 | 646041 | 1158.90/183.96 c (179,0) c | Good | 12690 | 1667 | 1563 | 1612 | 1643 | 1531 | 1600 | 1514 | 1560 | 1158.90/183.96 c (179,0) c | Purge | 5194313 | 645938 | 650416 | 649653 | 647804 | 655223 | 651633 | 649165 | 644481 | 1158.90/183.96 c (179,0) c | Promoted | 414922 | 50713 | 55003 | 52123 | 52591 | 51451 | 48594 | 52541 | 51906 | 1158.90/183.96 c (179,0) c | Remove_Imp | 4104140 | 518002 | 505315 | 495572 | 512048 | 533138 | 502176 | 515974 | 521915 | 1158.90/183.96 c (179,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1158.90/183.96 c (179,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.96 c (179,0) c | Unaries | | 12 | 11 | 8 | 17 | 7 | 13 | 18 | 11 | 1158.90/183.96 c (179,0) c | Binaries | | 156 | 250 | 201 | 206 | 281 | 234 | 320 | 242 | 1158.90/183.96 c (179,0) c | Glues | | 791 | 976 | 882 | 845 | 956 | 922 | 1087 | 948 | 1158.90/183.96 c (179,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.96 c (179,0) c | Orig_Seen | 86 % | 9337 | 9475 | 9420 | 9388 | 9525 | 9371 | 9553 | 9510 | 1158.90/183.96 c (179,0) c | Diff Orig seen| | - 216 | - 78 | - 133 | - 165 | - 28 | - 182 | X | - 43 | 1158.90/183.96 c (179,0) c | Hamming | 11 % | 304 | 323 | 292 | 241 | 252 | 289 | X | 260 | 1158.90/183.96 c (179,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.96 c (179,0) c | RunningTime | | 172.6 97%| 140.9 79%| 148.3 84%| 138.1 78%| 112.3 63%| 172.8 98%| 115.1 65%| 148.5 84%| 1158.90/183.96 c (179,0) c | WaitingTime | | 5.7 3%| 36.0 20%| 28.4 16%| 38.7 22%| 64.4 36%| 4.0 2%| 61.7 35%| 28.2 16%| 1158.90/183.96 c (179,0) c | ExchangingTime| | 0.3 0%| 0.4 0%| 0.4 0%| 0.4 0%| 0.4 0%| 0.3 0%| 0.4 0%| 0.4 0%| 1158.90/183.96 c (179,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%| 1158.90/183.96 c (179,0) c | SolvingTime | | 178.6 | 177.2 | 177.1 | 177.2 | 177.1 | 177.2 | 177.1 | 177.1 | 1158.90/183.96 c (179,0) c | PropagationTim| | 114.4 64%| 130.0 73%| 127.1 72%| 149.7 84%| 160.4 91%| 106.1 60%| 156.9 89%| 133.2 75%| 1158.90/183.96 c (179,0) c | AnalysisTime | | 60.5 34%| 43.8 25%| 46.5 26%| 23.5 13%| 13.1 7%| 67.4 38%| 16.5 9%| 40.0 23%| 1158.90/183.96 c (179,0) c | ReductionTime | | 1.4 1%| 1.3 1%| 1.3 1%| 1.6 1%| 1.4 1%| 1.3 1%| 1.4 1%| 1.5 1%| 1158.90/183.96 c (179,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.0 0%| 0.0 0%| 0.0 0%| 1158.90/183.96 c (179,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%| 1158.90/183.96 c (179,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%| 1158.90/183.96 c (179,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.96 c (179,0) c 1158.90/183.96 c (179,0) c 1158.90/183.96 c (179,0) c Threads : 8 1158.90/183.96 c (179,0) c Winner : 6 1158.90/183.96 c (179,0) c Conflicts_0 : 834464 1158.90/183.96 c (179,0) c Conflicts_1 : 815635 1158.90/183.96 c (179,0) c Conflicts_2 : 820346 1158.90/183.96 c (179,0) c Conflicts_3 : 845511 1158.90/183.96 c (179,0) c Conflicts_4 : 830231 1158.90/183.96 c (179,0) c Conflicts_5 : 809178 1158.90/183.96 c (179,0) c Conflicts_6 : 849468 1158.90/183.96 c (179,0) c Conflicts_7 : 835422 1158.90/183.96 c (179,0) c Conflicts_total : 6640255 1158.90/183.96 c (179,0) c Conflicts_winner : 849468 1158.90/183.96 c (179,0) c Decisions_0 : 1609910 1158.90/183.96 c (179,0) c Decisions_1 : 1564793 1158.90/183.96 c (179,0) c Decisions_2 : 1594995 1158.90/183.96 c (179,0) c Decisions_3 : 1631883 1158.90/183.96 c (179,0) c Decisions_4 : 1605180 1158.90/183.96 c (179,0) c Decisions_5 : 1604843 1158.90/183.96 c (179,0) c Decisions_6 : 1646509 1158.90/183.96 c (179,0) c Decisions_7 : 1599999 1158.90/183.96 c (179,0) c Decisions_total : 12858112 1158.90/183.96 c (179,0) c Decisions_winner : 1646509 1158.90/183.96 c (179,0) c Propagations_0 : 62944959 1158.90/183.96 c (179,0) c Propagations_1 : 61601949 1158.90/183.96 c (179,0) c Propagations_2 : 62115046 1158.90/183.96 c (179,0) c Propagations_3 : 63453946 1158.90/183.96 c (179,0) c Propagations_4 : 62629781 1158.90/183.96 c (179,0) c Propagations_5 : 61534000 1158.90/183.96 c (179,0) c Propagations_6 : 63915330 1158.90/183.96 c (179,0) c Propagations_7 : 63566852 1158.90/183.96 c (179,0) c Propagations_total : 501761863 1158.90/183.96 c (179,0) c Propagations_winner : 63915330 1158.90/183.96 c (179,0) c ReduceDBs_0 : 25 1158.90/183.96 c (179,0) c ReduceDBs_1 : 24 1158.90/183.96 c (179,0) c ReduceDBs_2 : 24 1158.90/183.96 c (179,0) c ReduceDBs_3 : 25 1158.90/183.96 c (179,0) c ReduceDBs_4 : 25 1158.90/183.96 c (179,0) c ReduceDBs_5 : 24 1158.90/183.96 c (179,0) c ReduceDBs_6 : 25 1158.90/183.96 c (179,0) c ReduceDBs_7 : 25 1158.90/183.96 c (179,0) c ReduceDBs_total : 197 1158.90/183.96 c (179,0) c ReduceDBs_winner : 25 1158.90/183.96 c (179,0) c SimpDBs_0 : 11 1158.90/183.96 c (179,0) c SimpDBs_1 : 9 1158.90/183.96 c (179,0) c SimpDBs_2 : 10 1158.90/183.96 c (179,0) c SimpDBs_3 : 9 1158.90/183.96 c (179,0) c SimpDBs_4 : 8 1158.90/183.96 c (179,0) c SimpDBs_5 : 10 1158.90/183.96 c (179,0) c SimpDBs_6 : 9 1158.90/183.96 c (179,0) c SimpDBs_7 : 8 1158.90/183.97 c (179,0) c SimpDBs_total : 74 1158.90/183.97 c (179,0) c SimpDBs_winner : 9 1158.90/183.97 c (179,0) c Restarts_0 : 531 1158.90/183.97 c (179,0) c Restarts_1 : 676 1158.90/183.97 c (179,0) c Restarts_2 : 704 1158.90/183.97 c (179,0) c Restarts_3 : 700 1158.90/183.97 c (179,0) c Restarts_4 : 669 1158.90/183.97 c (179,0) c Restarts_5 : 610 1158.90/183.97 c (179,0) c Restarts_6 : 706 1158.90/183.97 c (179,0) c Restarts_7 : 647 1158.90/183.97 c (179,0) c Restarts_total : 5243 1158.90/183.97 c (179,0) c Restarts_winner : 706 1158.90/183.97 c (179,0) c ForcedImports_0 : 0 1158.90/183.97 c (179,0) c ForcedImports_1 : 0 1158.90/183.97 c (179,0) c ForcedImports_2 : 0 1158.90/183.97 c (179,0) c ForcedImports_3 : 0 1158.90/183.97 c (179,0) c ForcedImports_4 : 0 1158.90/183.97 c (179,0) c ForcedImports_5 : 0 1158.90/183.97 c (179,0) c ForcedImports_6 : 0 1158.90/183.97 c (179,0) c ForcedImports_7 : 0 1158.90/183.97 c (179,0) c ForcedImports_total : 0 1158.90/183.97 c (179,0) c ForcedImports_winner : 0 1158.90/183.97 c (179,0) c PropsBinClauses_0 : 126117474 1158.90/183.97 c (179,0) c PropsBinClauses_1 : 126870823 1158.90/183.97 c (179,0) c PropsBinClauses_2 : 125898460 1158.90/183.97 c (179,0) c PropsBinClauses_3 : 129126673 1158.90/183.97 c (179,0) c PropsBinClauses_4 : 127739646 1158.90/183.97 c (179,0) c PropsBinClauses_5 : 125738385 1158.90/183.97 c (179,0) c PropsBinClauses_6 : 127239346 1158.90/183.97 c (179,0) c PropsBinClauses_7 : 129670104 1158.90/183.97 c (179,0) c PropsBinClauses_total : 1018400911 1158.90/183.97 c (179,0) c PropsBinClauses_winner : 127239346 1158.90/183.97 c (179,0) c PropsPreBlocker_0 : 4774734112 1158.90/183.97 c (179,0) c PropsPreBlocker_1 : 4823670834 1158.90/183.97 c (179,0) c PropsPreBlocker_2 : 4808208658 1158.90/183.97 c (179,0) c PropsPreBlocker_3 : 4800588740 1158.90/183.97 c (179,0) c PropsPreBlocker_4 : 4846270493 1158.90/183.97 c (179,0) c PropsPreBlocker_5 : 4798603646 1158.90/183.97 c (179,0) c PropsPreBlocker_6 : 4833280347 1158.90/183.97 c (179,0) c PropsPreBlocker_7 : 4868626331 1158.90/183.97 c (179,0) c PropsPreBlocker_total : 38553983161 1158.90/183.97 c (179,0) c PropsPreBlocker_winner : 4833280347 1158.90/183.97 c (179,0) c PropsNotBlocker_0 : 793220059 1158.90/183.97 c (179,0) c PropsNotBlocker_1 : 778704737 1158.90/183.97 c (179,0) c PropsNotBlocker_2 : 767797647 1158.90/183.97 c (179,0) c PropsNotBlocker_3 : 774744685 1158.90/183.97 c (179,0) c PropsNotBlocker_4 : 764561386 1158.90/183.97 c (179,0) c PropsNotBlocker_5 : 763028570 1158.90/183.97 c (179,0) c PropsNotBlocker_6 : 773982325 1158.90/183.97 c (179,0) c PropsNotBlocker_7 : 765353363 1158.90/183.97 c (179,0) c PropsNotBlocker_total : 6181392772 1158.90/183.97 c (179,0) c PropsNotBlocker_winner : 773982325 1158.90/183.97 c (179,0) c PropsLitFullScans_0 : 8407144032 1158.90/183.97 c (179,0) c PropsLitFullScans_1 : 8413435323 1158.90/183.97 c (179,0) c PropsLitFullScans_2 : 8407728920 1158.90/183.97 c (179,0) c PropsLitFullScans_3 : 8413428558 1158.90/183.97 c (179,0) c PropsLitFullScans_4 : 8407953965 1158.90/183.97 c (179,0) c PropsLitFullScans_5 : 8413642056 1158.90/183.97 c (179,0) c PropsLitFullScans_6 : 8408449139 1158.90/183.97 c (179,0) c PropsLitFullScans_7 : 8407467946 1158.90/183.97 c (179,0) c PropsLitFullScans_total : 67279249939 1158.90/183.97 c (179,0) c PropsLitFullScans_winner : 8408449139 1158.90/183.97 c (179,0) c LitScanFractions_0 : 1136774 1158.90/183.97 c (179,0) c LitScanFractions_1 : 1406090 1158.90/183.97 c (179,0) c LitScanFractions_2 : 1718487 1158.90/183.97 c (179,0) c LitScanFractions_3 : 1418535 1158.90/183.97 c (179,0) c LitScanFractions_4 : 1943506 1158.90/183.97 c (179,0) c LitScanFractions_5 : 1621816 1158.90/183.97 c (179,0) c LitScanFractions_6 : 1831514 1158.90/183.97 c (179,0) c LitScanFractions_7 : 1458669 1158.90/183.97 c (179,0) c LitScanFractions_total : 12535391 1158.90/183.97 c (179,0) c LitScanFractions_winner : 1831514 1158.90/183.97 c (179,0) c DecisionLevel0_0 : 543 1158.90/183.97 c (179,0) c DecisionLevel0_1 : 687 1158.90/183.97 c (179,0) c DecisionLevel0_2 : 712 1158.90/183.97 c (179,0) c DecisionLevel0_3 : 717 1158.90/183.97 c (179,0) c DecisionLevel0_4 : 676 1158.90/183.97 c (179,0) c DecisionLevel0_5 : 623 1158.90/183.97 c (179,0) c DecisionLevel0_6 : 724 1158.90/183.97 c (179,0) c DecisionLevel0_7 : 658 1158.90/183.97 c (179,0) c DecisionLevel0_total : 5340 1158.90/183.97 c (179,0) c DecisionLevel0_winner : 724 1158.90/183.97 c (179,0) c Periods_0 : 1401 1158.90/183.97 c (179,0) c Periods_1 : 1402 1158.90/183.97 c (179,0) c Periods_2 : 1401 1158.90/183.97 c (179,0) c Periods_3 : 1402 1158.90/183.97 c (179,0) c Periods_4 : 1401 1158.90/183.97 c (179,0) c Periods_5 : 1402 1158.90/183.97 c (179,0) c Periods_6 : 1401 1158.90/183.97 c (179,0) c Periods_7 : 1401 1158.90/183.97 c (179,0) c Periods_total : 11211 1158.90/183.97 c (179,0) c Periods_winner : 1401 1158.90/183.97 c (179,0) c Margin_0 : 20 1158.90/183.97 c (179,0) c Margin_1 : 20 1158.90/183.97 c (179,0) c Margin_2 : 20 1158.90/183.97 c (179,0) c Margin_3 : 20 1158.90/183.97 c (179,0) c Margin_4 : 20 1158.90/183.97 c (179,0) c Margin_5 : 20 1158.90/183.97 c (179,0) c Margin_6 : 20 1158.90/183.97 c (179,0) c Margin_7 : 20 1158.90/183.97 c (179,0) c Margin_total : 160 1158.90/183.97 c (179,0) c Margin_winner : 20 1158.90/183.97 c (179,0) c Exported_0 : 97861 1158.90/183.97 c (179,0) c Exported_1 : 92656 1158.90/183.97 c (179,0) c Exported_2 : 92497 1158.90/183.97 c (179,0) c Exported_3 : 96852 1158.90/183.97 c (179,0) c Exported_4 : 87077 1158.90/183.97 c (179,0) c Exported_5 : 92683 1158.90/183.97 c (179,0) c Exported_6 : 95381 1158.90/183.97 c (179,0) c Exported_7 : 95962 1158.90/183.97 c (179,0) c Exported_total : 750969 1158.90/183.97 c (179,0) c Exported_winner : 95381 1158.90/183.97 c (179,0) c Imported_0 : 647605 1158.90/183.97 c (179,0) c Imported_1 : 651979 1158.90/183.97 c (179,0) c Imported_2 : 651265 1158.90/183.97 c (179,0) c Imported_3 : 649447 1158.90/183.97 c (179,0) c Imported_4 : 656754 1158.90/183.97 c (179,0) c Imported_5 : 653233 1158.90/183.97 c (179,0) c Imported_6 : 650679 1158.90/183.97 c (179,0) c Imported_7 : 646041 1158.90/183.97 c (179,0) c Imported_total : 5207003 1158.90/183.97 c (179,0) c Imported_winner : 650679 1158.90/183.97 c (179,0) c Good_0 : 1667 1158.90/183.97 c (179,0) c Good_1 : 1563 1158.90/183.97 c (179,0) c Good_2 : 1612 1158.90/183.97 c (179,0) c Good_3 : 1643 1158.90/183.97 c (179,0) c Good_4 : 1531 1158.90/183.97 c (179,0) c Good_5 : 1600 1158.90/183.97 c (179,0) c Good_6 : 1514 1158.90/183.97 c (179,0) c Good_7 : 1560 1158.90/183.97 c (179,0) c Good_total : 12690 1158.90/183.97 c (179,0) c Good_winner : 1514 1158.90/183.97 c (179,0) c Purge_0 : 645938 1158.90/183.97 c (179,0) c Purge_1 : 650416 1158.90/183.97 c (179,0) c Purge_2 : 649653 1158.90/183.97 c (179,0) c Purge_3 : 647804 1158.90/183.97 c (179,0) c Purge_4 : 655223 1158.90/183.97 c (179,0) c Purge_5 : 651633 1158.90/183.97 c (179,0) c Purge_6 : 649165 1158.90/183.97 c (179,0) c Purge_7 : 644481 1158.90/183.97 c (179,0) c Purge_total : 5194313 1158.90/183.97 c (179,0) c Purge_winner : 649165 1158.90/183.97 c (179,0) c Promoted_0 : 50713 1158.90/183.97 c (179,0) c Promoted_1 : 55003 1158.90/183.97 c (179,0) c Promoted_2 : 52123 1158.90/183.97 c (179,0) c Promoted_3 : 52591 1158.90/183.97 c (179,0) c Promoted_4 : 51451 1158.90/183.97 c (179,0) c Promoted_5 : 48594 1158.90/183.97 c (179,0) c Promoted_6 : 52541 1158.90/183.97 c (179,0) c Promoted_7 : 51906 1158.90/183.97 c (179,0) c Promoted_total : 414922 1158.90/183.97 c (179,0) c Promoted_winner : 52541 1158.90/183.97 c (179,0) c Remove_Imp_0 : 518002 1158.90/183.97 c (179,0) c Remove_Imp_1 : 505315 1158.90/183.97 c (179,0) c Remove_Imp_2 : 495572 1158.90/183.97 c (179,0) c Remove_Imp_3 : 512048 1158.90/183.97 c (179,0) c Remove_Imp_4 : 533138 1158.90/183.97 c (179,0) c Remove_Imp_5 : 502176 1158.90/183.97 c (179,0) c Remove_Imp_6 : 515974 1158.90/183.97 c (179,0) c Remove_Imp_7 : 521915 1158.90/183.97 c (179,0) c Remove_Imp_total : 4104140 1158.90/183.97 c (179,0) c Remove_Imp_winner : 515974 1158.90/183.97 c (179,0) c Blocked_Reuse_0 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_1 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_2 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_3 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_4 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_5 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_6 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_7 : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_total : 0 1158.90/183.97 c (179,0) c Blocked_Reuse_winner : 0 1158.90/183.97 c (179,0) c Unaries_0 : 12 1158.90/183.97 c (179,0) c Unaries_1 : 11 1158.90/183.97 c (179,0) c Unaries_2 : 8 1158.90/183.97 c (179,0) c Unaries_3 : 17 1158.90/183.97 c (179,0) c Unaries_4 : 7 1158.90/183.97 c (179,0) c Unaries_5 : 13 1158.90/183.97 c (179,0) c Unaries_6 : 18 1158.90/183.97 c (179,0) c Unaries_7 : 11 1158.90/183.97 c (179,0) c Unaries_total : 97 1158.90/183.97 c (179,0) c Unaries_winner : 18 1158.90/183.97 c (179,0) c Binaries_0 : 156 1158.90/183.97 c (179,0) c Binaries_1 : 250 1158.90/183.97 c (179,0) c Binaries_2 : 201 1158.90/183.97 c (179,0) c Binaries_3 : 206 1158.90/183.97 c (179,0) c Binaries_4 : 281 1158.90/183.97 c (179,0) c Binaries_5 : 234 1158.90/183.97 c (179,0) c Binaries_6 : 320 1158.90/183.97 c (179,0) c Binaries_7 : 242 1158.90/183.97 c (179,0) c Binaries_total : 1890 1158.90/183.97 c (179,0) c Binaries_winner : 320 1158.90/183.97 c (179,0) c Glues_0 : 791 1158.90/183.97 c (179,0) c Glues_1 : 976 1158.90/183.97 c (179,0) c Glues_2 : 882 1158.90/183.97 c (179,0) c Glues_3 : 845 1158.90/183.97 c (179,0) c Glues_4 : 956 1158.90/183.97 c (179,0) c Glues_5 : 922 1158.90/183.97 c (179,0) c Glues_6 : 1087 1158.90/183.97 c (179,0) c Glues_7 : 948 1158.90/183.97 c (179,0) c Glues_total : 7407 1158.90/183.97 c (179,0) c Glues_winner : 1087 1158.90/183.97 c (179,0) c RunningTime_0 : 172.597294 1158.90/183.97 c (179,0) c RunningTime_1 : 140.865937 1158.90/183.97 c (179,0) c RunningTime_2 : 148.309155 1158.90/183.97 c (179,0) c RunningTime_3 : 138.074677 1158.90/183.97 c (179,0) c RunningTime_4 : 112.313974 1158.90/183.97 c (179,0) c RunningTime_5 : 172.817259 1158.90/183.97 c (179,0) c RunningTime_6 : 115.076744 1158.90/183.97 c (179,0) c RunningTime_7 : 148.543004 1158.90/183.97 c (179,0) c RunningTime_total : 1148.598046 1158.90/183.97 c (179,0) c RunningTime_winner : 115.076744 1158.90/183.97 c (179,0) c WaitingTime_0 : 5.678555 1158.90/183.97 c (179,0) c WaitingTime_1 : 35.968681 1158.90/183.97 c (179,0) c WaitingTime_2 : 28.418342 1158.90/183.97 c (179,0) c WaitingTime_3 : 38.748007 1158.90/183.97 c (179,0) c WaitingTime_4 : 64.438420 1158.90/183.97 c (179,0) c WaitingTime_5 : 4.040542 1158.90/183.97 c (179,0) c WaitingTime_6 : 61.652759 1158.90/183.97 c (179,0) c WaitingTime_7 : 28.162706 1158.90/183.97 c (179,0) c WaitingTime_total : 267.108013 1158.90/183.97 c (179,0) c WaitingTime_winner : 61.652759 1158.90/183.97 c (179,0) c ExchangingTime_0 : 0.337243 1158.90/183.97 c (179,0) c ExchangingTime_1 : 0.350303 1158.90/183.97 c (179,0) c ExchangingTime_2 : 0.385355 1158.90/183.97 c (179,0) c ExchangingTime_3 : 0.367098 1158.90/183.97 c (179,0) c ExchangingTime_4 : 0.358504 1158.90/183.97 c (179,0) c ExchangingTime_5 : 0.332875 1158.90/183.97 c (179,0) c ExchangingTime_6 : 0.352216 1158.90/183.97 c (179,0) c ExchangingTime_7 : 0.392313 1158.90/183.97 c (179,0) c ExchangingTime_total : 2.875908 1158.90/183.97 c (179,0) c ExchangingTime_winner : 0.352216 1158.90/183.97 c (179,0) c PeriodProcTime_0 : 0.016798 1158.90/183.97 c (179,0) c PeriodProcTime_1 : 0.014552 1158.90/183.97 c (179,0) c PeriodProcTime_2 : 0.014771 1158.90/183.97 c (179,0) c PeriodProcTime_3 : 0.014101 1158.90/183.97 c (179,0) c PeriodProcTime_4 : 0.015200 1158.90/183.97 c (179,0) c PeriodProcTime_5 : 0.017689 1158.90/183.97 c (179,0) c PeriodProcTime_6 : 0.015513 1158.90/183.97 c (179,0) c PeriodProcTime_7 : 0.013341 1158.90/183.97 c (179,0) c PeriodProcTime_total : 0.121965 1158.90/183.97 c (179,0) c PeriodProcTime_winner : 0.015513 1158.90/183.97 c (179,0) c SolvingTime_0 : 178.629890 1158.90/183.97 c (179,0) c SolvingTime_1 : 177.199473 1158.90/183.97 c (179,0) c SolvingTime_2 : 177.127624 1158.90/183.97 c (179,0) c SolvingTime_3 : 177.203884 1158.90/183.97 c (179,0) c SolvingTime_4 : 177.126098 1158.90/183.97 c (179,0) c SolvingTime_5 : 177.208366 1158.90/183.97 c (179,0) c SolvingTime_6 : 177.097233 1158.90/183.97 c (179,0) c SolvingTime_7 : 177.111365 1158.90/183.97 c (179,0) c SolvingTime_total : 1418.703932 1158.90/183.97 c (179,0) c SolvingTime_winner : 177.097233 1158.90/183.97 c (179,0) c PropagationTime_0 : 114.375599 1158.90/183.97 c (179,0) c PropagationTime_1 : 129.988708 1158.90/183.97 c (179,0) c PropagationTime_2 : 127.121374 1158.90/183.97 c (179,0) c PropagationTime_3 : 149.674943 1158.90/183.97 c (179,0) c PropagationTime_4 : 160.435698 1158.90/183.97 c (179,0) c PropagationTime_5 : 106.149032 1158.90/183.97 c (179,0) c PropagationTime_6 : 156.929816 1158.90/183.97 c (179,0) c PropagationTime_7 : 133.237614 1158.90/183.97 c (179,0) c PropagationTime_total : 1077.912783 1158.90/183.97 c (179,0) c PropagationTime_winner : 156.929816 1158.90/183.97 c (179,0) c AnalysisTime_0 : 60.489322 1158.90/183.97 c (179,0) c AnalysisTime_1 : 43.812639 1158.90/183.97 c (179,0) c AnalysisTime_2 : 46.538601 1158.90/183.97 c (179,0) c AnalysisTime_3 : 23.528886 1158.90/183.97 c (179,0) c AnalysisTime_4 : 13.067043 1158.90/183.97 c (179,0) c AnalysisTime_5 : 67.398726 1158.90/183.97 c (179,0) c AnalysisTime_6 : 16.472392 1158.90/183.97 c (179,0) c AnalysisTime_7 : 40.008105 1158.90/183.97 c (179,0) c AnalysisTime_total : 311.315713 1158.90/183.97 c (179,0) c AnalysisTime_winner : 16.472392 1158.90/183.97 c (179,0) c ReductionTime_0 : 1.434619 1158.90/183.97 c (179,0) c ReductionTime_1 : 1.263054 1158.90/183.97 c (179,0) c ReductionTime_2 : 1.259581 1158.90/183.97 c (179,0) c ReductionTime_3 : 1.636029 1158.90/183.97 c (179,0) c ReductionTime_4 : 1.415582 1158.90/183.97 c (179,0) c ReductionTime_5 : 1.342260 1158.90/183.97 c (179,0) c ReductionTime_6 : 1.433845 1158.90/183.97 c (179,0) c ReductionTime_7 : 1.512081 1158.90/183.97 c (179,0) c ReductionTime_total : 11.297050 1158.90/183.97 c (179,0) c ReductionTime_winner : 1.433845 1158.90/183.97 c (179,0) c SimplifyTime_0 : 0.039340 1158.90/183.97 c (179,0) c SimplifyTime_1 : 0.025053 1158.90/183.97 c (179,0) c SimplifyTime_2 : 0.027560 1158.90/183.97 c (179,0) c SimplifyTime_3 : 0.077900 1158.90/183.97 c (179,0) c SimplifyTime_4 : 0.107771 1158.90/183.97 c (179,0) c SimplifyTime_5 : 0.030188 1158.90/183.97 c (179,0) c SimplifyTime_6 : 0.031694 1158.90/183.97 c (179,0) c SimplifyTime_7 : 0.034067 1158.90/183.97 c (179,0) c SimplifyTime_total : 0.373574 1158.90/183.97 c (179,0) c SimplifyTime_winner : 0.031694 1158.90/183.97 c (179,0) c UsedRateTime_0 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_1 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_2 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_3 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_4 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_5 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_6 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_7 : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_total : 0.000000 1158.90/183.97 c (179,0) c UsedRateTime_winner : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_0 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_1 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_2 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_3 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_4 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_5 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_6 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_7 : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_total : 0.000000 1158.90/183.97 c (179,0) c OverlapRateTime_winner : 0.000000 1158.90/183.97 c (179,0) c 1158.90/183.97 c (179,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1158.90/183.97 c (179,0) c 1158.90/183.97 c (179,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.97 c (179,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1158.90/183.97 c (179,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.97 c (179,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 1158.90/183.97 c (179,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 1158.90/183.97 c (179,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 1158.90/183.97 c (179,0) c | Initial random_seed | 2069390902 | 982619340 | 19405756 | 677195428 | 764027826 | 2137934120 | 791548428 | 1731204463 | 1158.90/183.97 c (179,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 1158.90/183.97 c (179,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 1158.90/183.97 c (179,0) c | glureduce | True | True | True | True | True | True | True | True | 1158.90/183.97 c (179,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 1158.90/183.97 c (179,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 1158.90/183.97 c (179,0) c | luby_restart | False | False | False | False | False | False | False | False | 1158.90/183.97 c (179,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 1158.90/183.97 c (179,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1158.90/183.97 c (179,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 1158.90/183.97 c (179,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 1158.90/183.97 c (179,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 1158.90/183.97 c (179,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 1158.90/183.97 c (179,0) 1158.90/183.97 c (179,0) s UNSATISFIABLE 1158.90/184.00 c (179,0) SatSolver.solve End 1158.90/184.00 c (179,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1158.90/184.00 c (179,0) Show results Begin 1158.90/184.00 s UNSATISFIABLE 1158.90/184.00 c (179,0) Show results End 1158.90/184.00 c (179,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1158.90/184.00 c (179,0) 179,179,STOP-AFTER(ALL) 1158.90/184.00 c END-Prog: Tue Sep 24 17:26:02 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 (13809 MiB free) memory of node 1: 16384 MiB (12344 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405608-1569342801/watcher-4405608-1569342801 -o /tmp/evaluation-result-4405608-1569342801/solver-4405608-1569342801 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405608-1569342801.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=6619, runsolver pid=6616 [startup+0.100111 s]* /proc/loadavg: 7.41 7.67 7.19 3/210 6641 /proc/meminfo: memFree=26685840/32770624 swapFree=66986400/67108860 [pid=6619] ppid=6616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6619/stat : 6619 (scop.sh) S 6616 6619 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510536776 115843072 349 33554432000 4194304 5098028 140732254571056 140732254568312 140012450701948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23310336 140732254577444 140732254577772 140732254577772 140732254580685 0 /proc/6619/statm: 28282 349 296 221 0 87 0 [pid=6622] ppid=6619 vsize=27314120 memory=107828 CPUtime=0.11 cores=0-7 /proc/6622/stat : 6622 (java) S 6619 6619 4774 0 -1 1077944320 6517 0 0 0 8 3 0 0 20 0 20 0 510536777 27969658880 26957 33554432000 4194304 4196468 140730153261664 140730153244208 139804374359799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 /proc/6622/statm: 6828530 26957 2781 1 0 6790935 0 [pid=6622/tid=6623] ppid=6619 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7 /proc/6622/task/6623/stat : 6623 (java) R 6619 6619 4774 0 -1 4202560 4616 0 0 0 7 2 0 0 20 0 20 0 510536777 27969658880 26957 33554432000 4194304 4196468 140730153261664 139804346184656 139804358440286 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6624] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6624/stat : 6624 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139804378601872 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6625] ppid=6619 vsize=27314120 memory=15957790015899288 CPUtime=0 cores=0-7 /proc/6622/task/6625/stat : 6625 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139803797047568 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6626] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6626/stat : 6626 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139803795995280 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6627] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6627/stat : 6627 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139803794942480 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6628] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6628/stat : 6628 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139803793890192 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6629] ppid=6619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6622/task/6629/stat : 6629 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139803792837392 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6630] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6630/stat : 6630 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139803791785104 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6631] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6631/stat : 6631 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 26957 33554432000 4194304 4196468 140730153261664 139803790732304 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6632] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6632/stat : 6632 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536781 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802627545200 139804374370946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6633] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6633/stat : 6633 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510536782 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802326328096 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6634] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6634/stat : 6634 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536782 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802057892976 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6635] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6635/stat : 6635 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 26957 33554432000 4194304 4196468 140730153261664 139801683384400 139804374378395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6636] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6636/stat : 6636 (java) S 6619 6619 4774 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802626493040 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6637] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6637/stat : 6637 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802625440240 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6638] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6638/stat : 6638 (java) S 6619 6619 4774 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802624387952 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6639] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6639/stat : 6639 (java) S 6619 6619 4774 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802623335152 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6640] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6640/stat : 6640 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 26957 33554432000 4194304 4196468 140730153261664 139801185479008 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6641] ppid=6619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6622/task/6641/stat : 6641 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536785 27969658880 26957 33554432000 4194304 4196468 140730153261664 139802622282032 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109224 KiB [startup+0.210163 s]* /proc/loadavg: 7.41 7.67 7.19 3/210 6641 /proc/meminfo: memFree=26665660/32770624 swapFree=66986400/67108860 [pid=6619] ppid=6616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6619/stat : 6619 (scop.sh) S 6616 6619 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510536776 115843072 349 33554432000 4194304 5098028 140732254571056 140732254568312 140012450701948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23310336 140732254577444 140732254577772 140732254577772 140732254580685 0 /proc/6619/statm: 28282 349 296 221 0 87 0 [pid=6622] ppid=6619 vsize=27314120 memory=126860 CPUtime=0.24 cores=0-7 /proc/6622/stat : 6622 (java) S 6619 6619 4774 0 -1 1077944320 12131 0 0 0 20 4 0 0 20 0 20 0 510536777 27969658880 31715 33554432000 4194304 4196468 140730153261664 140730153244208 139804374359799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 /proc/6622/statm: 6828530 31715 2924 1 0 6790935 0 [pid=6622/tid=6623] ppid=6619 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/6622/task/6623/stat : 6623 (java) R 6619 6619 4774 0 -1 4202560 9838 0 0 0 16 3 0 0 20 0 20 0 510536777 27969658880 31715 33554432000 4194304 4196468 140730153261664 139804346168192 139804355923374 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6624] ppid=6619 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/6622/task/6624/stat : 6624 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139804378601872 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6625] ppid=6619 vsize=27314120 memory=13711487760352920 CPUtime=0 cores=0-7 /proc/6622/task/6625/stat : 6625 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139803797047568 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6626] ppid=6619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6622/task/6626/stat : 6626 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139803795995280 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6627] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6627/stat : 6627 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139803794942480 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6628] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6628/stat : 6628 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139803793890192 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6629] ppid=6619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6622/task/6629/stat : 6629 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139803792837392 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6630] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6630/stat : 6630 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139803791785104 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6631] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6631/stat : 6631 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 31715 33554432000 4194304 4196468 140730153261664 139803790732304 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6632] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6632/stat : 6632 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536781 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802627545200 139804374370946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6633] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6633/stat : 6633 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510536782 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802326328096 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6634] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6634/stat : 6634 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536782 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802057892976 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6635] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6635/stat : 6635 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 31715 33554432000 4194304 4196468 140730153261664 139801683384400 139804374378395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6636] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6636/stat : 6636 (java) S 6619 6619 4774 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802626493040 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6637] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6637/stat : 6637 (java) S 6619 6619 4774 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802625440240 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6638] ppid=6619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6622/task/6638/stat : 6638 (java) S 6619 6619 4774 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802624387952 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6639] ppid=6619 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/6622/task/6639/stat : 6639 (java) S 6619 6619 4774 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 20 0 510536784 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802623335152 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6640] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6640/stat : 6640 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 31715 33554432000 4194304 4196468 140730153261664 139801185479008 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6641] ppid=6619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6622/task/6641/stat : 6641 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536785 27969658880 31715 33554432000 4194304 4196468 140730153261664 139802622282032 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128256 KiB [startup+0.309696 s]* /proc/loadavg: 7.41 7.67 7.19 2/210 6641 /proc/meminfo: memFree=26663356/32770624 swapFree=66986400/67108860 [pid=6619] ppid=6616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6619/stat : 6619 (scop.sh) S 6616 6619 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510536776 115843072 349 33554432000 4194304 5098028 140732254571056 140732254568312 140012450701948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23310336 140732254577444 140732254577772 140732254577772 140732254580685 0 /proc/6619/statm: 28282 349 296 221 0 87 0 [pid=6622] ppid=6619 vsize=27314120 memory=130468 CPUtime=0.42 cores=0-7 /proc/6622/stat : 6622 (java) S 6619 6619 4774 0 -1 1077944320 12485 0 0 0 37 5 0 0 20 0 20 0 510536777 27969658880 32617 33554432000 4194304 4196468 140730153261664 140730153244208 139804374359799 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 /proc/6622/statm: 6828530 32617 3028 1 0 6790935 0 [pid=6622/tid=6623] ppid=6619 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/6622/task/6623/stat : 6623 (java) R 6619 6619 4774 0 -1 4202560 10025 0 0 0 26 4 0 0 20 0 20 0 510536777 27969658880 32617 33554432000 4194304 4196468 140730153261664 139804346163024 139804358440286 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6624] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6624/stat : 6624 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139804378601872 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6625] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6625/stat : 6625 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139803797047568 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6626] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6626/stat : 6626 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139803795995280 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6627] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6627/stat : 6627 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139803794942480 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6628] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6628/stat : 6628 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139803793890192 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6629] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6629/stat : 6629 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139803792837392 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6630] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6630/stat : 6630 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139803791785104 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6631] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6631/stat : 6631 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27969658880 32617 33554432000 4194304 4196468 140730153261664 139803790732304 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6632] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6632/stat : 6632 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536781 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802627545200 139804374370946 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6633] ppid=6619 vsize=27314120 memory=279982744214912 CPUtime=0 cores=0-7 /proc/6622/task/6633/stat : 6633 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510536782 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802326328096 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6634] ppid=6619 vsize=27314120 memory=279982744219520 CPUtime=0 cores=0-7 /proc/6622/task/6634/stat : 6634 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536782 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802057892976 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6635] ppid=6619 vsize=27314120 memory=279982744224128 CPUtime=0 cores=0-7 /proc/6622/task/6635/stat : 6635 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 32617 33554432000 4194304 4196468 140730153261664 139801683384400 139804374378395 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6636] ppid=6619 vsize=27314120 memory=279982744228736 CPUtime=0.01 cores=0-7 /proc/6622/task/6636/stat : 6636 (java) R 6619 6619 4774 0 -1 4202560 289 0 0 0 1 0 0 0 20 0 20 0 510536784 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802626493040 139804358265753 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6637] ppid=6619 vsize=27314120 memory=279982744233344 CPUtime=0 cores=0-7 /proc/6622/task/6637/stat : 6637 (java) S 6619 6619 4774 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802625440240 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6638] ppid=6619 vsize=27314120 memory=279982744237952 CPUtime=0.01 cores=0-7 /proc/6622/task/6638/stat : 6638 (java) S 6619 6619 4774 0 -1 1077944384 324 0 0 0 1 0 0 0 20 0 20 0 510536784 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802624387952 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6639] ppid=6619 vsize=27314120 memory=279982744242560 CPUtime=0.07 cores=0-7 /proc/6622/task/6639/stat : 6639 (java) S 6619 6619 4774 0 -1 1077944384 482 0 0 0 7 0 0 0 20 0 20 0 510536784 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802623335152 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6640] ppid=6619 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6640/stat : 6640 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536784 27969658880 32617 33554432000 4194304 4196468 140730153261664 139801185479008 139804374370005 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6641] ppid=6619 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/6622/task/6641/stat : 6641 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510536785 27969658880 32617 33554432000 4194304 4196468 140730153261664 139802622282032 139804374370946 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131864 KiB [startup+0.700974 s] /proc/loadavg: 7.41 7.67 7.19 2/210 6641 /proc/meminfo: memFree=26642084/32770624 swapFree=66986400/67108860 [pid=6619] ppid=6616 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/6619/stat : 6619 (scop.sh) S 6616 6619 4774 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510536776 115843072 349 33554432000 4194304 5098028 140732254571056 140732254568312 140012450701948 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23310336 140732254577444 140732254577772 140732254577772 140732254580685 0 /proc/6619/statm: 28282 349 296 221 0 87 0 [pid=6622] ppid=6619 vsize=27320392 memory=165604 CPUtime=1 cores=0-7 /proc/6622/stat : 6622 (java) S 6619 6619 4774 0 -1 1077944320 19971 0 0 0 93 7 0 0 20 0 20 0 510536777 27976081408 41401 33554432000 4194304 4196468 140730153261664 140730153244208 139804374359799 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 /proc/6622/statm: 6830098 41401 3180 1 0 6791447 0 [pid=6622/tid=6623] ppid=6619 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7 /proc/6622/task/6623/stat : 6623 (java) R 6619 6619 4774 0 -1 4202560 16936 0 0 0 62 6 0 0 20 0 20 0 510536777 27976081408 41401 33554432000 4194304 4196468 140730153261664 139804346198544 139803878023168 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6624] ppid=6619 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6624/stat : 6624 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27976081408 41401 33554432000 4194304 4196468 140730153261664 139804378601872 139804374370005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6625] ppid=6619 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/6622/task/6625/stat : 6625 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510536780 27976081408 41401 33554432000 4194304 4196468 140730153261664 139803797047568 139804374370005 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 [pid=6622/tid=6626] ppid=6619 vsize=27320392 memory=1056 CPUtime=0 cores=0-7 /proc/6622/task/6626/stat : 6626 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510536780 27976081408 41401 33554432000 4194304 4196468 140730153261664 139803795995280 139804374370005 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30724096 140730153267947 140730153268374 140730153268374 140730153271247 0 ################ # More data... # ################ [pid=6642/tid=6657] ppid=6619 vsize=8414124 memory=1056 CPUtime=0.06 cores=0-7 /proc/6642/task/6657/stat : 6657 (java) S 6619 6619 4774 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474101233648 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6658] ppid=6619 vsize=8414124 memory=1556 CPUtime=0.08 cores=0-7 /proc/6642/task/6658/stat : 6658 (java) S 6619 6619 4774 0 -1 1077944384 366 0 0 0 8 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474100181360 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6659] ppid=6619 vsize=8414124 memory=1084 CPUtime=0.21 cores=0-7 /proc/6642/task/6659/stat : 6659 (java) S 6619 6619 4774 0 -1 1077944384 723 0 0 0 21 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474099128560 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6660] ppid=6619 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/6642/task/6660/stat : 6660 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140472139901792 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6661] ppid=6619 vsize=8414124 memory=14048 CPUtime=0.11 cores=0-7 /proc/6642/task/6661/stat : 6661 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 7 4 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474098076464 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6663] ppid=6619 vsize=8414124 memory=34820 CPUtime=0 cores=0-7 /proc/6642/task/6663/stat : 6663 (java) S 6619 6619 4774 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474090043200 140474674294553 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6665] ppid=6619 vsize=8414124 memory=2120 CPUtime=0.01 cores=0-7 /proc/6642/task/6665/stat : 6665 (java) S 6619 6619 4774 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471468801424 140474674291869 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6666] ppid=6619 vsize=8414124 memory=532 CPUtime=0 cores=0-7 /proc/6642/task/6666/stat : 6666 (java) S 6619 6619 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471737236752 140474674291869 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6675] ppid=6619 vsize=8414124 memory=4136 CPUtime=0 cores=0-7 /proc/6642/task/6675/stat : 6675 (java) S 6619 6619 4774 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510537302 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471200374064 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 Current children cumulated CPU time: 1156.93 s Current children cumulated vsize: 9240360 KiB Current children cumulated memory: 691896 KiB [startup+183.201 s] /proc/loadavg: 7.65 7.49 7.19 2/216 6687 /proc/meminfo: memFree=26104284/32770624 swapFree=66986400/67108860 [pid=6619] ppid=6616 vsize=113128 memory=1476 CPUtime=12.32 cores=0-7 /proc/6619/stat : 6619 (scop.sh) S 6616 6619 4774 0 -1 4202496 583 32429 0 0 0 0 1203 29 20 0 1 0 510536776 115843072 369 33554432000 4194304 5098028 140732254571056 140732254567800 140012450701948 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23310336 140732254577444 140732254577772 140732254577772 140732254580685 0 /proc/6619/statm: 28282 369 311 221 0 87 0 [pid=6642] ppid=6619 vsize=8414124 memory=122812 CPUtime=1.36 cores=0-7 /proc/6642/stat : 6642 (java) S 6619 6619 4774 0 -1 1077944320 21291 0 0 0 127 9 0 0 20 0 24 0 510537225 8616062976 30703 33554432000 4194304 4196468 140722648484288 140722648466832 140474674269943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 /proc/6642/statm: 2103531 30703 3197 1 0 2064875 0 [pid=6662] ppid=6642 vsize=713108 memory=567660 CPUtime=1144.52 cores=0-7 /proc/6662/stat : 6662 (manyglucose-4.1) S 6642 6619 4774 0 -1 1077944320 1257404 0 0 0 114224 228 0 0 20 0 2 0 510537300 730222592 141915 33554432000 4194304 4454172 140720458335664 140720458334048 140393643376375 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25501696 140720458343274 140720458343472 140720458343472 140720458346426 0 /proc/6662/statm: 178277 141915 419 64 0 173945 0 [pid=6662/tid=6667] ppid=6642 vsize=713108 memory=7157735280230487909 CPUtime=172.05 cores=0-7 /proc/6662/task/6667/stat : 6667 (manyglucose-4.1) R 6642 6619 4774 0 -1 4202560 164757 0 0 0 17177 28 0 0 20 0 2 0 510537302 730222592 141915 33554432000 4194304 4454172 140720458335664 140393628159112 4302694 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 25501696 140720458343274 140720458343472 140720458343472 140720458346426 0 [pid=6642/tid=6643] ppid=6619 vsize=8414124 memory=7157735280230487909 CPUtime=0.77 cores=0-7 /proc/6642/task/6643/stat : 6643 (java) S 6619 6619 4774 0 -1 1077944384 17969 0 0 0 72 5 0 0 20 0 24 0 510537226 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474646110112 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6644] ppid=6619 vsize=8414124 memory=6655300316396806240 CPUtime=0 cores=0-7 /proc/6642/task/6644/stat : 6644 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474678512528 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6645] ppid=6619 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/6642/task/6645/stat : 6645 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474492668688 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6646] ppid=6619 vsize=8414124 memory=7301575620396540777 CPUtime=0 cores=0-7 /proc/6642/task/6646/stat : 6646 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474491616400 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6647] ppid=6619 vsize=8414124 memory=5859281385544570978 CPUtime=0 cores=0-7 /proc/6642/task/6647/stat : 6647 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474490563600 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6648] ppid=6619 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/6642/task/6648/stat : 6648 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474155956624 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6649] ppid=6619 vsize=8414124 memory=532 CPUtime=0 cores=0-7 /proc/6642/task/6649/stat : 6649 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474154903824 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6650] ppid=6619 vsize=8414124 memory=1564 CPUtime=0 cores=0-7 /proc/6642/task/6650/stat : 6650 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474153851536 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6651] ppid=6619 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/6642/task/6651/stat : 6651 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474152798736 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6652] ppid=6619 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/6642/task/6652/stat : 6652 (java) S 6619 6619 4774 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 510537228 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474103339632 140474674281090 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6653] ppid=6619 vsize=8414124 memory=2004 CPUtime=0 cores=0-7 /proc/6642/task/6653/stat : 6653 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510537229 8616062976 30703 33554432000 4194304 4196468 140722648484288 140473280750880 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6654] ppid=6619 vsize=8414124 memory=1416 CPUtime=0 cores=0-7 /proc/6642/task/6654/stat : 6654 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537229 8616062976 30703 33554432000 4194304 4196468 140722648484288 140473012315760 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6655] ppid=6619 vsize=8414124 memory=1728 CPUtime=0 cores=0-7 /proc/6642/task/6655/stat : 6655 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537231 8616062976 30703 33554432000 4194304 4196468 140722648484288 140472637807184 140474674288539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6656] ppid=6619 vsize=8414124 memory=692 CPUtime=0.05 cores=0-7 /proc/6642/task/6656/stat : 6656 (java) S 6619 6619 4774 0 -1 1077944384 502 0 0 0 5 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474102286448 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6657] ppid=6619 vsize=8414124 memory=1056 CPUtime=0.06 cores=0-7 /proc/6642/task/6657/stat : 6657 (java) S 6619 6619 4774 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474101233648 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6658] ppid=6619 vsize=8414124 memory=1556 CPUtime=0.08 cores=0-7 /proc/6642/task/6658/stat : 6658 (java) S 6619 6619 4774 0 -1 1077944384 366 0 0 0 8 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474100181360 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6659] ppid=6619 vsize=8414124 memory=567492 CPUtime=0.21 cores=0-7 /proc/6642/task/6659/stat : 6659 (java) S 6619 6619 4774 0 -1 1077944384 723 0 0 0 21 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474099128560 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6660] ppid=6619 vsize=8414124 memory=1164 CPUtime=0 cores=0-7 /proc/6642/task/6660/stat : 6660 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140472139901792 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6661] ppid=6619 vsize=8414124 memory=8317482817917895235 CPUtime=0.11 cores=0-7 /proc/6642/task/6661/stat : 6661 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 7 4 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474098076464 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6663] ppid=6619 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/6642/task/6663/stat : 6663 (java) S 6619 6619 4774 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474090043200 140474674294553 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6665] ppid=6619 vsize=8414124 memory=3616 CPUtime=0.01 cores=0-7 /proc/6642/task/6665/stat : 6665 (java) S 6619 6619 4774 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471468801424 140474674291869 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6666] ppid=6619 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/6642/task/6666/stat : 6666 (java) S 6619 6619 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471737236752 140474674291869 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6675] ppid=6619 vsize=8414124 memory=6184 CPUtime=0 cores=0-7 /proc/6642/task/6675/stat : 6675 (java) S 6619 6619 4774 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510537302 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471200374064 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 Current children cumulated CPU time: 1158.2 s Current children cumulated vsize: 9240360 KiB Current children cumulated memory: 691948 KiB [startup+183.601 s] /proc/loadavg: 7.65 7.49 7.19 2/216 6687 /proc/meminfo: memFree=26104284/32770624 swapFree=66986400/67108860 [pid=6619] ppid=6616 vsize=113128 memory=1476 CPUtime=12.32 cores=0-7 /proc/6619/stat : 6619 (scop.sh) S 6616 6619 4774 0 -1 4202496 583 32429 0 0 0 0 1203 29 20 0 1 0 510536776 115843072 369 33554432000 4194304 5098028 140732254571056 140732254567800 140012450701948 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23310336 140732254577444 140732254577772 140732254577772 140732254580685 0 /proc/6619/statm: 28282 369 311 221 0 87 0 [pid=6642] ppid=6619 vsize=8414124 memory=122812 CPUtime=1.36 cores=0-7 /proc/6642/stat : 6642 (java) S 6619 6619 4774 0 -1 1077944320 21291 0 0 0 127 9 0 0 20 0 24 0 510537225 8616062976 30703 33554432000 4194304 4196468 140722648484288 140722648466832 140474674269943 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 /proc/6642/statm: 2103531 30703 3197 1 0 2064875 0 [pid=6662] ppid=6642 vsize=713108 memory=567660 CPUtime=1144.92 cores=0-7 /proc/6662/stat : 6662 (manyglucose-4.1) S 6642 6619 4774 0 -1 1077944320 1258450 0 0 0 114264 228 0 0 20 0 2 0 510537300 730222592 141915 33554432000 4194304 4454172 140720458335664 140720458334048 140393643376375 0 4 0 8388610 18446744073709551615 0 0 17 0 0 0 0 0 0 6552832 6554400 25501696 140720458343274 140720458343472 140720458343472 140720458346426 0 /proc/6662/statm: 178277 141915 419 64 0 173945 0 [pid=6662/tid=6667] ppid=6642 vsize=713108 memory=279982745649456 CPUtime=172.45 cores=0-7 /proc/6662/task/6667/stat : 6667 (manyglucose-4.1) R 6642 6619 4774 0 -1 4202560 165803 0 0 0 17217 28 0 0 20 0 2 0 510537302 730222592 141915 33554432000 4194304 4454172 140720458335664 140393628159112 4351552 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 25501696 140720458343274 140720458343472 140720458343472 140720458346426 0 [pid=6642/tid=6643] ppid=6619 vsize=8414124 memory=2004 CPUtime=0.77 cores=0-7 /proc/6642/task/6643/stat : 6643 (java) S 6619 6619 4774 0 -1 1077944384 17969 0 0 0 72 5 0 0 20 0 24 0 510537226 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474646110112 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6644] ppid=6619 vsize=8414124 memory=1416 CPUtime=0 cores=0-7 /proc/6642/task/6644/stat : 6644 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474678512528 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6645] ppid=6619 vsize=8414124 memory=1728 CPUtime=0 cores=0-7 /proc/6642/task/6645/stat : 6645 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474492668688 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6646] ppid=6619 vsize=8414124 memory=692 CPUtime=0 cores=0-7 /proc/6642/task/6646/stat : 6646 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474491616400 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6647] ppid=6619 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/6642/task/6647/stat : 6647 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474490563600 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6648] ppid=6619 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/6642/task/6648/stat : 6648 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474155956624 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6649] ppid=6619 vsize=8414124 memory=7686721470267300761 CPUtime=0 cores=0-7 /proc/6642/task/6649/stat : 6649 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474154903824 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6650] ppid=6619 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/6642/task/6650/stat : 6650 (java) S 6619 6619 4774 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474153851536 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6651] ppid=6619 vsize=8414124 memory=796 CPUtime=0 cores=0-7 /proc/6642/task/6651/stat : 6651 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510537227 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474152798736 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6652] ppid=6619 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/6642/task/6652/stat : 6652 (java) S 6619 6619 4774 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 510537228 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474103339632 140474674281090 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6653] ppid=6619 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/6642/task/6653/stat : 6653 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510537229 8616062976 30703 33554432000 4194304 4196468 140722648484288 140473280750880 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6654] ppid=6619 vsize=8414124 memory=4136 CPUtime=0 cores=0-7 /proc/6642/task/6654/stat : 6654 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537229 8616062976 30703 33554432000 4194304 4196468 140722648484288 140473012315760 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6655] ppid=6619 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/6642/task/6655/stat : 6655 (java) S 6619 6619 4774 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510537231 8616062976 30703 33554432000 4194304 4196468 140722648484288 140472637807184 140474674288539 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6656] ppid=6619 vsize=8414124 memory=1412 CPUtime=0.05 cores=0-7 /proc/6642/task/6656/stat : 6656 (java) S 6619 6619 4774 0 -1 1077944384 502 0 0 0 5 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474102286448 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6657] ppid=6619 vsize=8414124 memory=3804 CPUtime=0.06 cores=0-7 /proc/6642/task/6657/stat : 6657 (java) S 6619 6619 4774 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474101233648 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6658] ppid=6619 vsize=8414124 memory=780 CPUtime=0.08 cores=0-7 /proc/6642/task/6658/stat : 6658 (java) S 6619 6619 4774 0 -1 1077944384 366 0 0 0 8 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474100181360 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6659] ppid=6619 vsize=8414124 memory=3616 CPUtime=0.21 cores=0-7 /proc/6642/task/6659/stat : 6659 (java) S 6619 6619 4774 0 -1 1077944384 723 0 0 0 21 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474099128560 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6660] ppid=6619 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/6642/task/6660/stat : 6660 (java) S 6619 6619 4774 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140472139901792 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6661] ppid=6619 vsize=8414124 memory=6184 CPUtime=0.11 cores=0-7 /proc/6642/task/6661/stat : 6661 (java) S 6619 6619 4774 0 -1 1077944384 13 0 0 0 7 4 0 0 20 0 24 0 510537232 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474098076464 140474674281090 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6663] ppid=6619 vsize=8414124 memory=7552 CPUtime=0 cores=0-7 /proc/6642/task/6663/stat : 6663 (java) S 6619 6619 4774 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140474090043200 140474674294553 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6665] ppid=6619 vsize=8414124 memory=2832 CPUtime=0.01 cores=0-7 /proc/6642/task/6665/stat : 6665 (java) S 6619 6619 4774 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471468801424 140474674291869 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6666] ppid=6619 vsize=8414124 memory=1084 CPUtime=0 cores=0-7 /proc/6642/task/6666/stat : 6666 (java) S 6619 6619 4774 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510537300 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471737236752 140474674291869 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 [pid=6642/tid=6675] ppid=6619 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/6642/task/6675/stat : 6675 (java) S 6619 6619 4774 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510537302 8616062976 30703 33554432000 4194304 4196468 140722648484288 140471200374064 140474674280149 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29671424 140722648491000 140722648491158 140722648491158 140722648494031 0 Current children cumulated CPU time: 1158.6 s Current children cumulated vsize: 9240360 KiB Current children cumulated memory: 691948 KiB [startup+184.001 s]* /proc/loadavg: 7.12 7.38 7.16 3/212 6687 /proc/meminfo: memFree=26666216/32770624 swapFree=66986400/67108860 [pid=6619] ppid=6616 vsize=113128 memory=1476 CPUtime=12.32 cores=0-7 /proc/6619/stat : 6619 (scop.sh) S 6616 6619 4774 0 -1 4202496 583 32429 0 0 0 0 1203 29 20 0 1 0 510536776 115843072 369 33554432000 4194304 5098028 140732254571056 140732254567800 140012450701948 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23310336 140732254577444 140732254577772 140732254577772 140732254580685 0 /proc/6619/statm: 28282 369 311 221 0 87 0 Current children cumulated CPU time: 12.32 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1476 KiB Child status: 0 Real time (s): 184.013 CPU time (s): 1159.08 CPU user time (s): 1156.36 CPU system time (s): 2.71175 CPU usage (%): 629.888 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1057444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1156.36 system time used= 2.71175 maximum resident set size= 1063708 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1314554 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21709 involuntary context switches= 9655 # summary of solver processes directly reported to runsolver: # pid: 6619 # total CPU time (s): 1159.08 # total CPU user time (s): 1156.36 # total CPU system time (s): 2.71175 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.83081 second user time and 2.59994 second system time The end
Begin job on node104 at 2019-09-24 17:22:58 IDJOB=4405608 IDBENCH=134572 IDSOLVER=2868 FILE ID=node104/4405608-1569342801 RUNJOBID= node104-1569331756-4801 PBS_JOBID= 21705071 Free space on /tmp= 9836 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-5_X2.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405608-1569342801/watcher-4405608-1569342801 -o /tmp/evaluation-result-4405608-1569342801/solver-4405608-1569342801 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569331756-4801 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405608-1569342801.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0d344e361328211ed16699cc315bd3d7 RANDOM SEED=1515817887 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26781732 kB MemAvailable: 31819180 kB Buffers: 92408 kB Cached: 5035764 kB SwapCached: 22640 kB Active: 3161128 kB Inactive: 1992392 kB Active(anon): 1416 kB Inactive(anon): 81584 kB Active(file): 3159712 kB Inactive(file): 1910808 kB Unevictable: 109716 kB Mlocked: 109716 kB SwapTotal: 67108860 kB SwapFree: 66986400 kB Dirty: 20656 kB Writeback: 0 kB AnonPages: 113944 kB Mapped: 57420 kB Shmem: 49032 kB Slab: 424916 kB SReclaimable: 395388 kB SUnreclaim: 29528 kB KernelStack: 3312 kB PageTables: 5216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505724 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9812 MiB End job on node104 at 2019-09-24 17:26:02