Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | UNSAT | 955.609 | 177.03 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07-3_X2.xml |
MD5SUM | 72c85c51a44e0e8527757e040a083bca |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 165.887 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 112 |
Number of constraints | 1262 |
Number of domains | 4 |
Minimum domain size | 1 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}] |
Minimum variable degree | 0 |
Maximum variable degree | 56 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1262}] |
Number of extensional constraints | 1262 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":1262}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-17612-serial-file.bin HOME/instance-4405291-1569343266.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Tue Sep 24 18:40:27 CEST 2019 0.66/0.56 c PID: 17615 0.66/0.56 c IP: 172.20.3.123 0.66/0.56 c HOST: node123.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.06/1.13 c (0,0) Parsing End 2.06/1.13 c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28 2.06/1.13 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.06/1.13 c (0,0) Constraint Name Generate Begin 2.06/1.15 c (0,0) Ctr:HOME/instance-4405291-1569343266.xml,ExtensionConflict:ExtensionSupport:Var 2.06/1.15 c (0,0) Constraint Name Generate End 2.06/1.15 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.06/1.15 c (0,0) CSP to CSPinCNF Begin 3.16/1.64 c (1,1) translated 127 (10%) constraints 3.57/1.75 c (1,1) translated 253 (20%) constraints 3.99/1.82 c (1,1) translated 379 (30%) constraints 3.99/1.88 c (1,1) translated 505 (40%) constraints 4.42/1.94 c (1,1) translated 631 (50%) constraints 4.42/1.98 c (1,1) translated 757 (60%) constraints 5.24/2.12 c (1,1) translated 883 (70%) constraints 5.88/2.36 c (1,1) translated 1009 (80%) constraints 6.13/2.58 c (2,2) translated 1135 (90%) constraints 6.72/2.89 c (2,2) translated 1261 (100%) constraints 6.72/2.89 c (2,2) =========================================== 6.72/2.89 c (2,2) Order 6.72/2.89 c (2,2) =========================================== 7.08/2.95 c (2,2) translated 1883 (10%) constraints 7.08/3.00 c (2,2) translated 3765 (20%) constraints 7.53/3.06 c (2,2) translated 5647 (30%) constraints 7.53/3.10 c (2,2) translated 7529 (40%) constraints 7.92/3.15 c (2,2) translated 9411 (50%) constraints 8.29/3.20 c (2,2) translated 11294 (60%) constraints 8.29/3.25 c (2,2) translated 13176 (70%) constraints 8.29/3.29 c (2,2) translated 15058 (80%) constraints 8.65/3.32 c (2,2) translated 16940 (90%) constraints 8.65/3.35 c (2,2) translated 18822 (100%) constraints 8.65/3.36 c (2,2) CSP to CSPinCNF End 8.65/3.36 c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28 8.65/3.36 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 8.65/3.36 c (2,2) CSPinCNF Propagation Begin 10.25/3.71 c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed 10.25/3.71 c (3,3) CSPinCNF Propagation End 10.25/3.71 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.25/3.71 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.25/3.71 c (3,3) Simplify CSPinCNF Begin 10.25/3.77 c (3,3) Simplify CSPinCNF End 10.25/3.77 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.25/3.77 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.25/3.77 c (3,3) Calculate Precise Domain Begin 10.25/3.77 c (3,3) 0 values are removed by re-calculation 10.25/3.77 c (3,3) Calculate Precise Domain End 10.25/3.77 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.25/3.77 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.25/3.77 c (3,3) CSPinCNF to SatSolver Begin 10.90/3.92 c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses) 10.90/3.97 c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses) 11.31/4.02 c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses) 11.31/4.07 c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses) 11.71/4.11 c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses) 11.71/4.15 c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses) 11.71/4.17 c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses) 11.71/4.18 c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses) 12.03/4.20 c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses) 12.03/4.21 c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses) 12.03/4.21 c (3,3) CSPinCNF to SatSolver End 12.03/4.21 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 12.03/4.21 c (3,3) 2482 bool, 15697 clause 12.03/4.21 c (3,3) Export Begin 12.24/4.32 c (3,3) Export to HOME/scop-17612-serial-file.bin 12.24/4.32 c (3,3) Export End 12.24/4.32 c (3,3) Export File Size: 0.02 MB 12.24/4.32 c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS) 12.24/4.32 c END-Prog: Tue Sep 24 18:40:31 CEST 2019 12.24/4.34 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-17612-serial-file.bin 12.29/4.80 c (0,0) Read Serial File Begin 12.29/4.80 c (0,0) HOME/scop-17612-serial-file.bin 13.21/5.02 c (0,0) Read Serial File End 13.21/5.04 13.21/5.04 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 13.21/5.04 (Solving Process) 13.21/5.04 13.21/5.06 c BEGIN-Prog: Tue Sep 24 18:40:31 CEST 2019 13.21/5.06 c PID: 17635 13.21/5.06 c IP: 172.20.3.123 13.21/5.06 c HOST: node123.alineos.net 13.21/5.06 c (0,0) SatSolver.solve Begin 13.21/5.06 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405291-1569343266.xml-scop-17615.cnf 13.21/5.09 c (0,0) c 13.21/5.09 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.21/5.09 c (0,0) c 13.21/5.09 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 13.21/5.09 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 13.21/5.09 c (0,0) c ========================================[ Problem Statistics ]=========================================== 13.21/5.09 c (0,0) c | | 13.21/5.09 c (0,0) c | Number of variables: 2480 | 13.21/5.09 c (0,0) c | Number of clauses: 15697 | 13.21/5.09 c (0,0) c | Parse time: 0.00 s | 13.21/5.09 c (0,0) c | | 13.21/5.09 c (0,0) WARNING! DIMACS header mismatch: wrong number of variables. 13.21/5.10 c (0,0) c | Simplification time: 0.01 s | 13.21/5.10 c (0,0) c | | 13.21/5.10 c (0,0) c | Generating clones | 13.21/5.11 c (0,0) c | all clones generated. Memory = 32.06Mb. | 13.21/5.11 c (0,0) c ========================================================================================================| 13.21/5.11 c (0,0) c 13.21/5.11 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 13.21/5.11 c (0,0) c 13.21/5.11 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.21/5.11 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 13.46/5.11 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.46/5.11 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 13.46/5.11 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 13.46/5.11 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 13.46/5.11 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 13.46/5.11 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 13.46/5.11 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 13.46/5.11 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 13.46/5.11 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 13.46/5.11 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 13.46/5.11 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 13.46/5.11 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 13.46/5.11 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 13.46/5.11 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 13.46/5.11 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 13.46/5.11 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 13.46/5.11 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 215.04/34.25 c (29,0) c 215.04/34.25 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 215.04/34.25 c (29,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 215.04/34.25 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 215.04/34.25 c (29,0) c | 0 | 320 | 566566 | 303828 | 9163 | 36643 | 49337 | 289830 | 13697 | 327 | 20 | 0.847 | 215.04/34.25 c (29,0) c | 1 | 343 | 573114 | 307755 | 9381 | 40568 | 44925 | 296887 | 14689 | 327 | 20 | 0.848 | 215.04/34.25 c (29,0) c | 2 | 226 | 535059 | 294605 | 9288 | 63215 | 43466 | 300134 | 11667 | 327 | 20 | 0.847 | 215.04/34.25 c (29,0) c | 3 | 319 | 547875 | 300706 | 9372 | 69321 | 44085 | 287129 | 13128 | 307 | 20 | 0.847 | 215.04/34.25 c (29,0) c | 4 | 340 | 575603 | 312901 | 9267 | 45721 | 44618 | 296572 | 15719 | 323 | 20 | 0.848 | 215.04/34.25 c (29,0) c | 5 | 438 | 558041 | 299271 | 9461 | 67886 | 38753 | 306764 | 12090 | 327 | 20 | 0.847 | 215.04/34.25 c (29,0) c | 6 | 514 | 586340 | 321316 | 9463 | 54133 | 46833 | 296603 | 17041 | 327 | 20 | 0.848 | 215.04/34.25 c (29,0) c | 7 | 378 | 538418 | 294075 | 9356 | 62683 | 43058 | 293513 | 12636 | 327 | 20 | 0.847 | 215.04/34.25 c (29,0) c 215.04/34.25 c (29,0) c synthesis 2434457 conflicts 183869810 propagations 12095 conflicts/sec 913525 propagations/sec 215.04/34.25 c (29,0) c real: 29.1623 s, cpu: 201.275 s, memory: 630.85 Mb 375.60/63.25 c (58,0) c 375.60/63.25 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 375.60/63.25 c (58,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 375.60/63.25 c (58,0) c |------------------------------------------------------------------------------------------------------------------------| 375.60/63.25 c (58,0) c | 0 | 357 | 821204 | 439443 | 9186 | 49256 | 61551 | 394029 | 18114 | 559 | 20 | 0.847 | 375.60/63.25 c (58,0) c | 1 | 449 | 870499 | 460736 | 9431 | 70558 | 57242 | 402279 | 23859 | 559 | 20 | 0.847 | 375.60/63.25 c (58,0) c | 2 | 311 | 818287 | 443103 | 9403 | 52919 | 56705 | 399175 | 22557 | 559 | 20 | 0.847 | 375.60/63.25 c (58,0) c | 3 | 449 | 840419 | 451915 | 9451 | 61728 | 57669 | 394417 | 23744 | 539 | 20 | 0.848 | 375.60/63.25 c (58,0) c | 4 | 417 | 869349 | 463728 | 9322 | 73538 | 61336 | 389983 | 25638 | 556 | 20 | 0.847 | 375.60/63.25 c (58,0) c | 5 | 509 | 844920 | 448801 | 9495 | 58610 | 54315 | 397365 | 21199 | 559 | 20 | 0.847 | 375.60/63.25 c (58,0) c | 6 | 612 | 861169 | 465425 | 9494 | 75243 | 60735 | 397205 | 26488 | 559 | 20 | 0.848 | 375.60/63.25 c (58,0) c | 7 | 401 | 784485 | 423516 | 9393 | 76924 | 56367 | 402451 | 20701 | 559 | 20 | 0.847 | 375.60/63.25 c (58,0) c 375.60/63.25 c (58,0) c synthesis 3596667 conflicts 269680936 propagations 9953 conflicts/sec 746275 propagations/sec 375.60/63.25 c (58,0) c real: 58.1623 s, cpu: 361.37 s, memory: 636.86 Mb 515.25/92.25 c (87,0) c 515.25/92.25 c (87,0) c |------------------------------------------------------------------------------------------------------------------------| 515.25/92.25 c (87,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 515.25/92.25 c (87,0) c |------------------------------------------------------------------------------------------------------------------------| 515.25/92.25 c (87,0) c | 0 | 381 | 1023807 | 545125 | 9328 | 59936 | 72061 | 472564 | 25898 | 757 | 20 | 0.848 | 515.25/92.25 c (87,0) c | 1 | 493 | 1077311 | 568368 | 9446 | 83181 | 68518 | 472643 | 30709 | 757 | 20 | 0.847 | 515.25/92.25 c (87,0) c | 2 | 379 | 1041882 | 555172 | 9417 | 69983 | 67637 | 476679 | 31010 | 757 | 20 | 0.848 | 515.25/92.25 c (87,0) c | 3 | 515 | 1054400 | 562174 | 9478 | 76992 | 69602 | 466717 | 30851 | 737 | 20 | 0.847 | 515.25/92.25 c (87,0) c | 4 | 443 | 1075999 | 572403 | 9346 | 87215 | 71588 | 467554 | 32493 | 757 | 20 | 0.848 | 515.25/92.25 c (87,0) c | 5 | 527 | 1049843 | 552647 | 9501 | 67464 | 63590 | 465843 | 26201 | 757 | 20 | 0.847 | 515.25/92.25 c (87,0) c | 6 | 663 | 1065433 | 572247 | 9506 | 87054 | 72504 | 465383 | 32695 | 757 | 20 | 0.847 | 515.25/92.25 c (87,0) c | 7 | 467 | 993034 | 531593 | 9448 | 95207 | 66895 | 469666 | 30998 | 757 | 20 | 0.847 | 515.25/92.25 c (87,0) c 515.25/92.25 c (87,0) c synthesis 4459732 conflicts 333722909 propagations 8900 conflicts/sec 665984 propagations/sec 515.25/92.25 c (87,0) c real: 87.1625 s, cpu: 501.098 s, memory: 668.18 Mb 686.33/122.26 c (117,0) c 686.33/122.26 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 686.33/122.26 c (117,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 686.33/122.26 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 686.33/122.26 c (117,0) c | 0 | 404 | 1270333 | 667905 | 9395 | 77318 | 82111 | 555738 | 35825 | 1006 | 20 | 0.848 | 686.33/122.26 c (117,0) c | 1 | 575 | 1322065 | 690499 | 9463 | 99910 | 81274 | 544156 | 38928 | 1007 | 20 | 0.847 | 686.33/122.26 c (117,0) c | 2 | 475 | 1289481 | 679927 | 9437 | 89342 | 80046 | 557339 | 38229 | 1007 | 20 | 0.848 | 686.33/122.26 c (117,0) c | 3 | 564 | 1300626 | 688936 | 9485 | 98355 | 81791 | 552841 | 39237 | 1003 | 20 | 0.847 | 686.33/122.26 c (117,0) c | 4 | 507 | 1304819 | 685623 | 9357 | 95035 | 82988 | 541465 | 40120 | 987 | 20 | 0.848 | 686.33/122.26 c (117,0) c | 5 | 544 | 1284447 | 671964 | 9510 | 81375 | 74147 | 563024 | 33578 | 1006 | 20 | 0.847 | 686.33/122.26 c (117,0) c | 6 | 733 | 1300061 | 694052 | 9520 | 103470 | 80365 | 547093 | 40882 | 1007 | 20 | 0.848 | 686.33/122.26 c (117,0) c | 7 | 507 | 1222335 | 650118 | 9463 | 59534 | 80324 | 557557 | 40368 | 1007 | 20 | 0.847 | 686.33/122.26 c (117,0) c 686.33/122.26 c (117,0) c synthesis 5429024 conflicts 406377090 propagations 8077 conflicts/sec 604622 propagations/sec 686.33/122.26 c (117,0) c real: 117.162 s, cpu: 672.117 s, memory: 775.33 Mb 823.10/151.26 c (146,0) c 823.10/151.26 c (146,0) c |------------------------------------------------------------------------------------------------------------------------| 823.10/151.26 c (146,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 823.10/151.26 c (146,0) c |------------------------------------------------------------------------------------------------------------------------| 823.10/151.26 c (146,0) c | 0 | 433 | 1433334 | 750454 | 9409 | 103269 | 87361 | 598957 | 42352 | 1188 | 20 | 0.848 | 823.10/151.26 c (146,0) c | 1 | 587 | 1471010 | 767205 | 9467 | 60814 | 87168 | 588120 | 45194 | 1188 | 20 | 0.848 | 823.10/151.26 c (146,0) c | 2 | 493 | 1445221 | 757869 | 9450 | 110686 | 84862 | 595171 | 43873 | 1188 | 20 | 0.849 | 823.10/151.26 c (146,0) c | 3 | 603 | 1445160 | 761582 | 9492 | 114396 | 86380 | 596044 | 44727 | 1168 | 20 | 0.847 | 823.10/151.26 c (146,0) c | 4 | 542 | 1468733 | 766759 | 9368 | 60375 | 89201 | 598214 | 47639 | 1188 | 20 | 0.848 | 823.10/151.26 c (146,0) c | 5 | 571 | 1451702 | 756696 | 9558 | 109509 | 85986 | 598596 | 41112 | 1188 | 20 | 0.848 | 823.10/151.26 c (146,0) c | 6 | 792 | 1461924 | 775000 | 9526 | 68612 | 85357 | 601689 | 46066 | 1188 | 20 | 0.848 | 823.10/151.26 c (146,0) c | 7 | 546 | 1393113 | 736032 | 9478 | 88846 | 86180 | 601623 | 45811 | 1188 | 20 | 0.847 | 823.10/151.26 c (146,0) c 823.10/151.26 c (146,0) c synthesis 6071597 conflicts 455081153 propagations 7508 conflicts/sec 562742 propagations/sec 823.10/151.26 c (146,0) c real: 146.163 s, cpu: 808.686 s, memory: 875.64 Mb 955.41/176.98 c (172,0) c 955.41/176.98 c (172,0) c real time : 171.893 s 955.41/176.98 c (172,0) c cpu time : 940.46 s 955.41/176.98 c (172,0) c 955.41/176.98 c (172,0) c 955.41/176.98 c (172,0) c 955.41/176.98 c (172,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 955.41/176.98 c (172,0) c 955.41/176.98 c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.98 c (172,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 955.41/176.98 c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.98 c (172,0) c | Conflicts | 6620451 | 815568 | 833164 | 827050 | 843521 | 831858 | 823437 | 842309 | 803544 | 955.41/176.98 c (172,0) c | Decisions | 12678432 | 1562620 | 1604893 | 1585528 | 1614089 | 1600206 | 1584450 | 1595620 | 1531026 | 955.41/176.98 c (172,0) c | Propagations | 497929690 | 61498381 | 62257060 | 62043101 | 62798750 | 62032174 | 63466688 | 62566199 | 61267337 | 955.41/176.98 c (172,0) c | ReduceDBs | 196 | 24 | 25 | 24 | 25 | 25 | 24 | 25 | 24 | 955.41/176.98 c (172,0) c | SimpDBs | 88 | 14 | 7 | 12 | 11 | 9 | 10 | 13 | 12 | 955.41/176.98 c (172,0) c | Restarts | 4723 | 457 | 599 | 501 | 636 | 562 | 577 | 814 | 577 | 955.41/176.98 c (172,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.41/176.98 c (172,0) c | PropBinClauses| 1065157379 | 131979194 | 131612408 | 135686876 | 133579513 | 131779532 | 132971017 | 132590088 | 134958751 | 955.41/176.98 c (172,0) c | PropPreBlocker| 36967133313 | 4607935059 | 4648018637 | 4619211770 | 4626375938 | 4608429416 | 4558461697 | 4674495980 | 4624204816 | 955.41/176.98 c (172,0) c | PropNotBlocker| 5931717793 | 740256635 | 735229694 | 737437637 | 747132136 | 742475156 | 746487369 | 741748906 | 740950260 | 955.41/176.98 c (172,0) c | LitFullScans | 64985966408 | 8125726516 | 8125450710 | 8120863511 | 8119215434 | 8119331880 | 8125419179 | 8125616848 | 8124342330 | 955.41/176.98 c (172,0) c | LitScanFracts | 11660679 | 1702330 | 1443728 | 1216776 | 1205929 | 1303939 | 1412746 | 1610863 | 1764368 | 955.41/176.98 c (172,0) c | DecisionLevel0| 4828 | 468 | 608 | 522 | 651 | 573 | 587 | 824 | 595 | 955.41/176.98 c (172,0) c | Periods | 10828 | 1354 | 1354 | 1353 | 1353 | 1353 | 1354 | 1354 | 1353 | 955.41/176.98 c (172,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 955.41/176.98 c (172,0) c | Avg_Trail | | 629 | 623 | 625 | 628 | 628 | 633 | 631 | 625 | 955.41/176.98 c (172,0) c | Avg_DL | | 21 | 20 | 20 | 21 | 21 | 22 | 21 | 21 | 955.41/176.98 c (172,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.41/176.98 c (172,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.41/176.98 c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.98 c (172,0) c | Exported | 741323 | 92647 | 92407 | 91455 | 93491 | 94265 | 95397 | 90703 | 90958 | 955.41/176.98 c (172,0) c | Imported | 5122483 | 640076 | 634753 | 643785 | 641709 | 640477 | 636263 | 641039 | 644381 | 955.41/176.98 c (172,0) c | Good | 14552 | 1835 | 1796 | 1864 | 1841 | 1871 | 1769 | 1753 | 1823 | 955.41/176.98 c (172,0) c | Purge | 5107931 | 638241 | 632957 | 641921 | 639868 | 638606 | 634494 | 639286 | 642558 | 955.41/176.98 c (172,0) c | Promoted | 403247 | 48287 | 51629 | 49473 | 50488 | 52851 | 48065 | 51060 | 51394 | 955.41/176.98 c (172,0) c | Remove_Imp | 4013211 | 486319 | 509177 | 492154 | 521878 | 510514 | 480019 | 512609 | 500541 | 955.41/176.98 c (172,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 955.41/176.98 c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.98 c (172,0) c | Unaries | | 11 | 9 | 21 | 15 | 11 | 10 | 10 | 18 | 955.41/176.98 c (172,0) c | Binaries | | 257 | 256 | 249 | 279 | 228 | 315 | 318 | 300 | 955.41/176.98 c (172,0) c | Glues | | 933 | 1068 | 999 | 1020 | 934 | 1101 | 1024 | 1031 | 955.41/176.98 c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.98 c (172,0) c | Orig_Seen | 87 % | 9422 | 9483 | 9455 | 9503 | 9375 | 9574 | 9531 | 9493 | 955.41/176.98 c (172,0) c | Diff Orig seen| | - 33 | 28 | X | 48 | - 80 | 119 | 76 | 38 | 955.41/176.98 c (172,0) c | Hamming | 10 % | 285 | 265 | X | 254 | 248 | 274 | 261 | 225 | 955.41/176.98 c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.98 c (172,0) c | RunningTime | | 103.7 61%| 103.4 61%| 101.7 60%| 170.0 99%| 155.6 91%| 105.2 62%| 100.5 59%| 100.8 59%| 955.41/176.98 c (172,0) c | WaitingTime | | 66.3 39%| 66.5 39%| 68.1 40%| 1.4 1%| 14.3 8%| 64.8 38%| 69.5 41%| 69.1 41%| 955.41/176.98 c (172,0) c | ExchangingTime| | 0.3 0%| 0.4 0%| 0.3 0%| 0.4 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 955.41/176.98 c (172,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%| 955.41/176.98 c (172,0) c | SolvingTime | | 170.3 | 170.3 | 170.2 | 171.8 | 170.3 | 170.3 | 170.3 | 170.2 | 955.41/176.98 c (172,0) c | PropagationTim| | 154.5 91%| 155.5 91%| 152.3 89%| 90.4 53%| 100.4 59%| 155.9 92%| 154.8 91%| 154.8 91%| 955.41/176.98 c (172,0) c | AnalysisTime | | 12.4 7%| 11.3 7%| 14.7 9%| 77.9 45%| 66.5 39%| 10.9 6%| 12.0 7%| 12.2 7%| 955.41/176.98 c (172,0) c | ReductionTime | | 1.2 1%| 1.4 1%| 1.2 1%| 1.3 1%| 1.3 1%| 1.3 1%| 1.4 1%| 1.2 1%| 955.41/176.98 c (172,0) c | SimplifyTime | | 0.3 0%| 0.0 0%| 0.0 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 955.41/176.98 c (172,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%| 955.41/176.98 c (172,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%| 955.41/176.98 c (172,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.98 c (172,0) c 955.41/176.98 c (172,0) c 955.41/176.98 c (172,0) c Threads : 8 955.41/176.98 c (172,0) c Winner : 2 955.41/176.98 c (172,0) c Conflicts_0 : 815568 955.41/176.98 c (172,0) c Conflicts_1 : 833164 955.41/176.98 c (172,0) c Conflicts_2 : 827050 955.41/176.98 c (172,0) c Conflicts_3 : 843521 955.41/176.98 c (172,0) c Conflicts_4 : 831858 955.41/176.98 c (172,0) c Conflicts_5 : 823437 955.41/176.98 c (172,0) c Conflicts_6 : 842309 955.41/176.98 c (172,0) c Conflicts_7 : 803544 955.41/176.98 c (172,0) c Conflicts_total : 6620451 955.41/176.98 c (172,0) c Conflicts_winner : 827050 955.41/176.98 c (172,0) c Decisions_0 : 1562620 955.41/176.98 c (172,0) c Decisions_1 : 1604893 955.41/176.98 c (172,0) c Decisions_2 : 1585528 955.41/176.98 c (172,0) c Decisions_3 : 1614089 955.41/176.98 c (172,0) c Decisions_4 : 1600206 955.41/176.98 c (172,0) c Decisions_5 : 1584450 955.41/176.98 c (172,0) c Decisions_6 : 1595620 955.41/176.98 c (172,0) c Decisions_7 : 1531026 955.41/176.98 c (172,0) c Decisions_total : 12678432 955.41/176.98 c (172,0) c Decisions_winner : 1585528 955.41/176.98 c (172,0) c Propagations_0 : 61498381 955.41/176.98 c (172,0) c Propagations_1 : 62257060 955.41/176.98 c (172,0) c Propagations_2 : 62043101 955.41/176.98 c (172,0) c Propagations_3 : 62798750 955.41/176.98 c (172,0) c Propagations_4 : 62032174 955.41/176.98 c (172,0) c Propagations_5 : 63466688 955.41/176.98 c (172,0) c Propagations_6 : 62566199 955.41/176.98 c (172,0) c Propagations_7 : 61267337 955.41/176.98 c (172,0) c Propagations_total : 497929690 955.41/176.98 c (172,0) c Propagations_winner : 62043101 955.41/176.98 c (172,0) c ReduceDBs_0 : 24 955.41/176.98 c (172,0) c ReduceDBs_1 : 25 955.41/176.98 c (172,0) c ReduceDBs_2 : 24 955.41/176.98 c (172,0) c ReduceDBs_3 : 25 955.41/176.98 c (172,0) c ReduceDBs_4 : 25 955.41/176.98 c (172,0) c ReduceDBs_5 : 24 955.41/176.98 c (172,0) c ReduceDBs_6 : 25 955.41/176.98 c (172,0) c ReduceDBs_7 : 24 955.41/176.98 c (172,0) c ReduceDBs_total : 196 955.41/176.98 c (172,0) c ReduceDBs_winner : 24 955.41/176.98 c (172,0) c SimpDBs_0 : 14 955.41/176.98 c (172,0) c SimpDBs_1 : 7 955.41/176.98 c (172,0) c SimpDBs_2 : 12 955.41/176.98 c (172,0) c SimpDBs_3 : 11 955.41/176.98 c (172,0) c SimpDBs_4 : 9 955.41/176.98 c (172,0) c SimpDBs_5 : 10 955.41/176.98 c (172,0) c SimpDBs_6 : 13 955.41/176.98 c (172,0) c SimpDBs_7 : 12 955.41/176.98 c (172,0) c SimpDBs_total : 88 955.41/176.98 c (172,0) c SimpDBs_winner : 12 955.41/176.98 c (172,0) c Restarts_0 : 457 955.41/176.98 c (172,0) c Restarts_1 : 599 955.41/176.98 c (172,0) c Restarts_2 : 501 955.41/176.98 c (172,0) c Restarts_3 : 636 955.41/176.98 c (172,0) c Restarts_4 : 562 955.41/176.98 c (172,0) c Restarts_5 : 577 955.41/176.98 c (172,0) c Restarts_6 : 814 955.41/176.98 c (172,0) c Restarts_7 : 577 955.41/176.98 c (172,0) c Restarts_total : 4723 955.41/176.98 c (172,0) c Restarts_winner : 501 955.41/176.98 c (172,0) c ForcedImports_0 : 0 955.41/176.98 c (172,0) c ForcedImports_1 : 0 955.41/176.98 c (172,0) c ForcedImports_2 : 0 955.41/176.98 c (172,0) c ForcedImports_3 : 0 955.41/176.98 c (172,0) c ForcedImports_4 : 0 955.41/176.98 c (172,0) c ForcedImports_5 : 0 955.41/176.98 c (172,0) c ForcedImports_6 : 0 955.41/176.98 c (172,0) c ForcedImports_7 : 0 955.41/176.98 c (172,0) c ForcedImports_total : 0 955.41/176.98 c (172,0) c ForcedImports_winner : 0 955.41/176.98 c (172,0) c PropsBinClauses_0 : 131979194 955.41/176.98 c (172,0) c PropsBinClauses_1 : 131612408 955.41/176.98 c (172,0) c PropsBinClauses_2 : 135686876 955.41/176.98 c (172,0) c PropsBinClauses_3 : 133579513 955.41/176.98 c (172,0) c PropsBinClauses_4 : 131779532 955.41/176.98 c (172,0) c PropsBinClauses_5 : 132971017 955.41/176.98 c (172,0) c PropsBinClauses_6 : 132590088 955.41/176.98 c (172,0) c PropsBinClauses_7 : 134958751 955.41/176.98 c (172,0) c PropsBinClauses_total : 1065157379 955.41/176.98 c (172,0) c PropsBinClauses_winner : 135686876 955.41/176.98 c (172,0) c PropsPreBlocker_0 : 4607935059 955.41/176.98 c (172,0) c PropsPreBlocker_1 : 4648018637 955.41/176.98 c (172,0) c PropsPreBlocker_2 : 4619211770 955.41/176.98 c (172,0) c PropsPreBlocker_3 : 4626375938 955.41/176.98 c (172,0) c PropsPreBlocker_4 : 4608429416 955.41/176.98 c (172,0) c PropsPreBlocker_5 : 4558461697 955.41/176.98 c (172,0) c PropsPreBlocker_6 : 4674495980 955.41/176.98 c (172,0) c PropsPreBlocker_7 : 4624204816 955.41/176.98 c (172,0) c PropsPreBlocker_total : 36967133313 955.41/176.98 c (172,0) c PropsPreBlocker_winner : 4619211770 955.41/176.98 c (172,0) c PropsNotBlocker_0 : 740256635 955.41/176.98 c (172,0) c PropsNotBlocker_1 : 735229694 955.41/176.98 c (172,0) c PropsNotBlocker_2 : 737437637 955.41/176.98 c (172,0) c PropsNotBlocker_3 : 747132136 955.41/176.98 c (172,0) c PropsNotBlocker_4 : 742475156 955.41/176.98 c (172,0) c PropsNotBlocker_5 : 746487369 955.41/176.98 c (172,0) c PropsNotBlocker_6 : 741748906 955.41/176.98 c (172,0) c PropsNotBlocker_7 : 740950260 955.41/176.98 c (172,0) c PropsNotBlocker_total : 5931717793 955.41/176.98 c (172,0) c PropsNotBlocker_winner : 737437637 955.41/176.98 c (172,0) c PropsLitFullScans_0 : 8125726516 955.41/176.98 c (172,0) c PropsLitFullScans_1 : 8125450710 955.41/176.98 c (172,0) c PropsLitFullScans_2 : 8120863511 955.41/176.98 c (172,0) c PropsLitFullScans_3 : 8119215434 955.41/176.98 c (172,0) c PropsLitFullScans_4 : 8119331880 955.41/176.98 c (172,0) c PropsLitFullScans_5 : 8125419179 955.41/176.98 c (172,0) c PropsLitFullScans_6 : 8125616848 955.41/176.98 c (172,0) c PropsLitFullScans_7 : 8124342330 955.41/176.98 c (172,0) c PropsLitFullScans_total : 64985966408 955.41/176.98 c (172,0) c PropsLitFullScans_winner : 8120863511 955.41/176.98 c (172,0) c LitScanFractions_0 : 1702330 955.41/176.98 c (172,0) c LitScanFractions_1 : 1443728 955.41/176.98 c (172,0) c LitScanFractions_2 : 1216776 955.41/176.98 c (172,0) c LitScanFractions_3 : 1205929 955.41/176.98 c (172,0) c LitScanFractions_4 : 1303939 955.41/176.98 c (172,0) c LitScanFractions_5 : 1412746 955.41/176.98 c (172,0) c LitScanFractions_6 : 1610863 955.41/176.98 c (172,0) c LitScanFractions_7 : 1764368 955.41/176.98 c (172,0) c LitScanFractions_total : 11660679 955.41/176.98 c (172,0) c LitScanFractions_winner : 1216776 955.41/176.98 c (172,0) c DecisionLevel0_0 : 468 955.41/176.98 c (172,0) c DecisionLevel0_1 : 608 955.41/176.98 c (172,0) c DecisionLevel0_2 : 522 955.41/176.98 c (172,0) c DecisionLevel0_3 : 651 955.41/176.98 c (172,0) c DecisionLevel0_4 : 573 955.41/176.98 c (172,0) c DecisionLevel0_5 : 587 955.41/176.98 c (172,0) c DecisionLevel0_6 : 824 955.41/176.98 c (172,0) c DecisionLevel0_7 : 595 955.41/176.98 c (172,0) c DecisionLevel0_total : 4828 955.41/176.98 c (172,0) c DecisionLevel0_winner : 522 955.41/176.98 c (172,0) c Periods_0 : 1354 955.41/176.98 c (172,0) c Periods_1 : 1354 955.41/176.98 c (172,0) c Periods_2 : 1353 955.41/176.98 c (172,0) c Periods_3 : 1353 955.41/176.98 c (172,0) c Periods_4 : 1353 955.41/176.98 c (172,0) c Periods_5 : 1354 955.41/176.98 c (172,0) c Periods_6 : 1354 955.41/176.98 c (172,0) c Periods_7 : 1353 955.41/176.98 c (172,0) c Periods_total : 10828 955.41/176.98 c (172,0) c Periods_winner : 1353 955.41/176.98 c (172,0) c Margin_0 : 20 955.41/176.98 c (172,0) c Margin_1 : 20 955.41/176.98 c (172,0) c Margin_2 : 20 955.41/176.98 c (172,0) c Margin_3 : 20 955.41/176.98 c (172,0) c Margin_4 : 20 955.41/176.98 c (172,0) c Margin_5 : 20 955.41/176.98 c (172,0) c Margin_6 : 20 955.41/176.98 c (172,0) c Margin_7 : 20 955.41/176.98 c (172,0) c Margin_total : 160 955.41/176.98 c (172,0) c Margin_winner : 20 955.41/176.98 c (172,0) c Exported_0 : 92647 955.41/176.98 c (172,0) c Exported_1 : 92407 955.41/176.98 c (172,0) c Exported_2 : 91455 955.41/176.98 c (172,0) c Exported_3 : 93491 955.41/176.98 c (172,0) c Exported_4 : 94265 955.41/176.98 c (172,0) c Exported_5 : 95397 955.41/176.98 c (172,0) c Exported_6 : 90703 955.41/176.98 c (172,0) c Exported_7 : 90958 955.41/176.99 c (172,0) c Exported_total : 741323 955.41/176.99 c (172,0) c Exported_winner : 91455 955.41/176.99 c (172,0) c Imported_0 : 640076 955.41/176.99 c (172,0) c Imported_1 : 634753 955.41/176.99 c (172,0) c Imported_2 : 643785 955.41/176.99 c (172,0) c Imported_3 : 641709 955.41/176.99 c (172,0) c Imported_4 : 640477 955.41/176.99 c (172,0) c Imported_5 : 636263 955.41/176.99 c (172,0) c Imported_6 : 641039 955.41/176.99 c (172,0) c Imported_7 : 644381 955.41/176.99 c (172,0) c Imported_total : 5122483 955.41/176.99 c (172,0) c Imported_winner : 643785 955.41/176.99 c (172,0) c Good_0 : 1835 955.41/176.99 c (172,0) c Good_1 : 1796 955.41/176.99 c (172,0) c Good_2 : 1864 955.41/176.99 c (172,0) c Good_3 : 1841 955.41/176.99 c (172,0) c Good_4 : 1871 955.41/176.99 c (172,0) c Good_5 : 1769 955.41/176.99 c (172,0) c Good_6 : 1753 955.41/176.99 c (172,0) c Good_7 : 1823 955.41/176.99 c (172,0) c Good_total : 14552 955.41/176.99 c (172,0) c Good_winner : 1864 955.41/176.99 c (172,0) c Purge_0 : 638241 955.41/176.99 c (172,0) c Purge_1 : 632957 955.41/176.99 c (172,0) c Purge_2 : 641921 955.41/176.99 c (172,0) c Purge_3 : 639868 955.41/176.99 c (172,0) c Purge_4 : 638606 955.41/176.99 c (172,0) c Purge_5 : 634494 955.41/176.99 c (172,0) c Purge_6 : 639286 955.41/176.99 c (172,0) c Purge_7 : 642558 955.41/176.99 c (172,0) c Purge_total : 5107931 955.41/176.99 c (172,0) c Purge_winner : 641921 955.41/176.99 c (172,0) c Promoted_0 : 48287 955.41/176.99 c (172,0) c Promoted_1 : 51629 955.41/176.99 c (172,0) c Promoted_2 : 49473 955.41/176.99 c (172,0) c Promoted_3 : 50488 955.41/176.99 c (172,0) c Promoted_4 : 52851 955.41/176.99 c (172,0) c Promoted_5 : 48065 955.41/176.99 c (172,0) c Promoted_6 : 51060 955.41/176.99 c (172,0) c Promoted_7 : 51394 955.41/176.99 c (172,0) c Promoted_total : 403247 955.41/176.99 c (172,0) c Promoted_winner : 49473 955.41/176.99 c (172,0) c Remove_Imp_0 : 486319 955.41/176.99 c (172,0) c Remove_Imp_1 : 509177 955.41/176.99 c (172,0) c Remove_Imp_2 : 492154 955.41/176.99 c (172,0) c Remove_Imp_3 : 521878 955.41/176.99 c (172,0) c Remove_Imp_4 : 510514 955.41/176.99 c (172,0) c Remove_Imp_5 : 480019 955.41/176.99 c (172,0) c Remove_Imp_6 : 512609 955.41/176.99 c (172,0) c Remove_Imp_7 : 500541 955.41/176.99 c (172,0) c Remove_Imp_total : 4013211 955.41/176.99 c (172,0) c Remove_Imp_winner : 492154 955.41/176.99 c (172,0) c Blocked_Reuse_0 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_1 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_2 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_3 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_4 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_5 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_6 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_7 : 0 955.41/176.99 c (172,0) c Blocked_Reuse_total : 0 955.41/176.99 c (172,0) c Blocked_Reuse_winner : 0 955.41/176.99 c (172,0) c Unaries_0 : 11 955.41/176.99 c (172,0) c Unaries_1 : 9 955.41/176.99 c (172,0) c Unaries_2 : 21 955.41/176.99 c (172,0) c Unaries_3 : 15 955.41/176.99 c (172,0) c Unaries_4 : 11 955.41/176.99 c (172,0) c Unaries_5 : 10 955.41/176.99 c (172,0) c Unaries_6 : 10 955.41/176.99 c (172,0) c Unaries_7 : 18 955.41/176.99 c (172,0) c Unaries_total : 105 955.41/176.99 c (172,0) c Unaries_winner : 21 955.41/176.99 c (172,0) c Binaries_0 : 257 955.41/176.99 c (172,0) c Binaries_1 : 256 955.41/176.99 c (172,0) c Binaries_2 : 249 955.41/176.99 c (172,0) c Binaries_3 : 279 955.41/176.99 c (172,0) c Binaries_4 : 228 955.41/176.99 c (172,0) c Binaries_5 : 315 955.41/176.99 c (172,0) c Binaries_6 : 318 955.41/176.99 c (172,0) c Binaries_7 : 300 955.41/176.99 c (172,0) c Binaries_total : 2202 955.41/176.99 c (172,0) c Binaries_winner : 249 955.41/176.99 c (172,0) c Glues_0 : 933 955.41/176.99 c (172,0) c Glues_1 : 1068 955.41/176.99 c (172,0) c Glues_2 : 999 955.41/176.99 c (172,0) c Glues_3 : 1020 955.41/176.99 c (172,0) c Glues_4 : 934 955.41/176.99 c (172,0) c Glues_5 : 1101 955.41/176.99 c (172,0) c Glues_6 : 1024 955.41/176.99 c (172,0) c Glues_7 : 1031 955.41/176.99 c (172,0) c Glues_total : 8110 955.41/176.99 c (172,0) c Glues_winner : 999 955.41/176.99 c (172,0) c RunningTime_0 : 103.719884 955.41/176.99 c (172,0) c RunningTime_1 : 103.442274 955.41/176.99 c (172,0) c RunningTime_2 : 101.697203 955.41/176.99 c (172,0) c RunningTime_3 : 169.975902 955.41/176.99 c (172,0) c RunningTime_4 : 155.647960 955.41/176.99 c (172,0) c RunningTime_5 : 105.156145 955.41/176.99 c (172,0) c RunningTime_6 : 100.460175 955.41/176.99 c (172,0) c RunningTime_7 : 100.815619 955.41/176.99 c (172,0) c RunningTime_total : 940.915160 955.41/176.99 c (172,0) c RunningTime_winner : 101.697203 955.41/176.99 c (172,0) c WaitingTime_0 : 66.256423 955.41/176.99 c (172,0) c WaitingTime_1 : 66.520566 955.41/176.99 c (172,0) c WaitingTime_2 : 68.146897 955.41/176.99 c (172,0) c WaitingTime_3 : 1.440884 955.41/176.99 c (172,0) c WaitingTime_4 : 14.298305 955.41/176.99 c (172,0) c WaitingTime_5 : 64.844506 955.41/176.99 c (172,0) c WaitingTime_6 : 69.507559 955.41/176.99 c (172,0) c WaitingTime_7 : 69.095656 955.41/176.99 c (172,0) c WaitingTime_total : 420.110796 955.41/176.99 c (172,0) c WaitingTime_winner : 68.146897 955.41/176.99 c (172,0) c ExchangingTime_0 : 0.340109 955.41/176.99 c (172,0) c ExchangingTime_1 : 0.351384 955.41/176.99 c (172,0) c ExchangingTime_2 : 0.342728 955.41/176.99 c (172,0) c ExchangingTime_3 : 0.353923 955.41/176.99 c (172,0) c ExchangingTime_4 : 0.314050 955.41/176.99 c (172,0) c ExchangingTime_5 : 0.313900 955.41/176.99 c (172,0) c ExchangingTime_6 : 0.345367 955.41/176.99 c (172,0) c ExchangingTime_7 : 0.317355 955.41/176.99 c (172,0) c ExchangingTime_total : 2.678817 955.41/176.99 c (172,0) c ExchangingTime_winner : 0.342728 955.41/176.99 c (172,0) c PeriodProcTime_0 : 0.010321 955.41/176.99 c (172,0) c PeriodProcTime_1 : 0.010595 955.41/176.99 c (172,0) c PeriodProcTime_2 : 0.010714 955.41/176.99 c (172,0) c PeriodProcTime_3 : 0.018677 955.41/176.99 c (172,0) c PeriodProcTime_4 : 0.013000 955.41/176.99 c (172,0) c PeriodProcTime_5 : 0.010864 955.41/176.99 c (172,0) c PeriodProcTime_6 : 0.011332 955.41/176.99 c (172,0) c PeriodProcTime_7 : 0.011020 955.41/176.99 c (172,0) c PeriodProcTime_total : 0.096522 955.41/176.99 c (172,0) c PeriodProcTime_winner : 0.010714 955.41/176.99 c (172,0) c SolvingTime_0 : 170.326737 955.41/176.99 c (172,0) c SolvingTime_1 : 170.324819 955.41/176.99 c (172,0) c SolvingTime_2 : 170.197542 955.41/176.99 c (172,0) c SolvingTime_3 : 171.789386 955.41/176.99 c (172,0) c SolvingTime_4 : 170.273315 955.41/176.99 c (172,0) c SolvingTime_5 : 170.325414 955.41/176.99 c (172,0) c SolvingTime_6 : 170.324433 955.41/176.99 c (172,0) c SolvingTime_7 : 170.239650 955.41/176.99 c (172,0) c SolvingTime_total : 1363.801295 955.41/176.99 c (172,0) c SolvingTime_winner : 170.197542 955.41/176.99 c (172,0) c PropagationTime_0 : 154.461222 955.41/176.99 c (172,0) c PropagationTime_1 : 155.502445 955.41/176.99 c (172,0) c PropagationTime_2 : 152.251489 955.41/176.99 c (172,0) c PropagationTime_3 : 90.405522 955.41/176.99 c (172,0) c PropagationTime_4 : 100.388195 955.41/176.99 c (172,0) c PropagationTime_5 : 155.895792 955.41/176.99 c (172,0) c PropagationTime_6 : 154.776031 955.41/176.99 c (172,0) c PropagationTime_7 : 154.773245 955.41/176.99 c (172,0) c PropagationTime_total : 1118.453941 955.41/176.99 c (172,0) c PropagationTime_winner : 152.251489 955.41/176.99 c (172,0) c AnalysisTime_0 : 12.391959 955.41/176.99 c (172,0) c AnalysisTime_1 : 11.338975 955.41/176.99 c (172,0) c AnalysisTime_2 : 14.733822 955.41/176.99 c (172,0) c AnalysisTime_3 : 77.860096 955.41/176.99 c (172,0) c AnalysisTime_4 : 66.501191 955.41/176.99 c (172,0) c AnalysisTime_5 : 10.947464 955.41/176.99 c (172,0) c AnalysisTime_6 : 12.010970 955.41/176.99 c (172,0) c AnalysisTime_7 : 12.225663 955.41/176.99 c (172,0) c AnalysisTime_total : 218.010141 955.41/176.99 c (172,0) c AnalysisTime_winner : 14.733822 955.41/176.99 c (172,0) c ReductionTime_0 : 1.175248 955.41/176.99 c (172,0) c ReductionTime_1 : 1.352190 955.41/176.99 c (172,0) c ReductionTime_2 : 1.180486 955.41/176.99 c (172,0) c ReductionTime_3 : 1.302323 955.41/176.99 c (172,0) c ReductionTime_4 : 1.291782 955.41/176.99 c (172,0) c ReductionTime_5 : 1.290930 955.41/176.99 c (172,0) c ReductionTime_6 : 1.365486 955.41/176.99 c (172,0) c ReductionTime_7 : 1.197891 955.41/176.99 c (172,0) c ReductionTime_total : 10.156336 955.41/176.99 c (172,0) c ReductionTime_winner : 1.180486 955.41/176.99 c (172,0) c SimplifyTime_0 : 0.256270 955.41/176.99 c (172,0) c SimplifyTime_1 : 0.024096 955.41/176.99 c (172,0) c SimplifyTime_2 : 0.047109 955.41/176.99 c (172,0) c SimplifyTime_3 : 0.104623 955.41/176.99 c (172,0) c SimplifyTime_4 : 0.065951 955.41/176.99 c (172,0) c SimplifyTime_5 : 0.139805 955.41/176.99 c (172,0) c SimplifyTime_6 : 0.141560 955.41/176.99 c (172,0) c SimplifyTime_7 : 0.084172 955.41/176.99 c (172,0) c SimplifyTime_total : 0.863586 955.41/176.99 c (172,0) c SimplifyTime_winner : 0.047109 955.41/176.99 c (172,0) c UsedRateTime_0 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_1 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_2 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_3 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_4 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_5 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_6 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_7 : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_total : 0.000000 955.41/176.99 c (172,0) c UsedRateTime_winner : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_0 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_1 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_2 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_3 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_4 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_5 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_6 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_7 : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_total : 0.000000 955.41/176.99 c (172,0) c OverlapRateTime_winner : 0.000000 955.41/176.99 c (172,0) c 955.41/176.99 c (172,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 955.41/176.99 c (172,0) c 955.41/176.99 c (172,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.99 c (172,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 955.41/176.99 c (172,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.99 c (172,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 955.41/176.99 c (172,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 955.41/176.99 c (172,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 955.41/176.99 c (172,0) c | Initial random_seed | 1321799185 | 85422588 | 1882410120 | 1483762742 | 1504758565 | 1059418195 | 209025956 | 368410280 | 955.41/176.99 c (172,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 955.41/176.99 c (172,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 955.41/176.99 c (172,0) c | glureduce | True | True | True | True | True | True | True | True | 955.41/176.99 c (172,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 955.41/176.99 c (172,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 955.41/176.99 c (172,0) c | luby_restart | False | False | False | False | False | False | False | False | 955.41/176.99 c (172,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 955.41/176.99 c (172,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 955.41/176.99 c (172,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 955.41/176.99 c (172,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 955.41/176.99 c (172,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 955.41/176.99 c (172,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 955.41/176.99 c (172,0) 955.41/176.99 c (172,0) s UNSATISFIABLE 955.41/177.00 c (172,0) SatSolver.solve End 955.41/177.00 c (172,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 955.41/177.00 c (172,0) Show results Begin 955.41/177.00 s UNSATISFIABLE 955.41/177.00 c (172,0) Show results End 955.41/177.00 c (172,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 955.41/177.01 c (172,0) 172,172,STOP-AFTER(ALL) 955.41/177.01 c END-Prog: Tue Sep 24 18:43:23 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 (10910 MiB free) memory of node 1: 16384 MiB (14339 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405291-1569343266/watcher-4405291-1569343266 -o /tmp/evaluation-result-4405291-1569343266/solver-4405291-1569343266 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405291-1569343266.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17612, runsolver pid=17609 Current StackSize limit: 8192 KiB [startup+0.102911 s]* /proc/loadavg: 6.71 7.67 7.55 2/212 17634 /proc/meminfo: memFree=25761648/32770624 swapFree=66999804/67108860 [pid=17612] ppid=17609 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17612/stat : 17612 (scop.sh) S 17609 17612 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510591389 115843072 349 33554432000 4194304 5098028 140726833129232 140726833126488 140092444193404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9469952 140726833136421 140726833136748 140726833136748 140726833139661 0 /proc/17612/statm: 28282 349 296 221 0 87 0 [pid=17615] ppid=17612 vsize=27314120 memory=107904 CPUtime=0.11 cores=0-7 /proc/17615/stat : 17615 (java) S 17612 17612 15640 0 -1 1077944320 6551 0 0 0 9 2 0 0 20 0 20 0 510591390 27969658880 26976 33554432000 4194304 4196468 140721583953280 140721583935824 140066051018487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 /proc/17615/statm: 6828530 26976 2817 1 0 6790935 0 [pid=17615/tid=17616] ppid=17612 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7 /proc/17615/task/17616/stat : 17616 (java) R 17612 17612 15640 0 -1 4202560 4622 0 0 0 7 2 0 0 20 0 20 0 510591390 27969658880 26976 33554432000 4194304 4196468 140721583953280 140066022832448 140066036450469 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17617] ppid=17612 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17615/task/17617/stat : 17617 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 27041 33554432000 4194304 4196468 140721583953280 140066055260432 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17618] ppid=17612 vsize=27314120 memory=140355844683392 CPUtime=0 cores=0-7 /proc/17615/task/17618/stat : 17618 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 27041 33554432000 4194304 4196468 140721583953280 140065869416848 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17619] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17619/stat : 17619 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 27041 33554432000 4194304 4196468 140721583953280 140065868364304 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17620] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17620/stat : 17620 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 27041 33554432000 4194304 4196468 140721583953280 140065867311760 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17621] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17621/stat : 17621 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 27041 33554432000 4194304 4196468 140721583953280 140065866259216 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17622] ppid=17612 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17615/task/17622/stat : 17622 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065865206672 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17623] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17623/stat : 17623 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065864154128 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17624] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17624/stat : 17624 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591393 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065467169936 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17625] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17625/stat : 17625 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591394 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065243068400 140066051029634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17626] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17626/stat : 17626 (java) S 17612 17612 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510591394 27969658880 27107 33554432000 4194304 4196468 140721583953280 140063849571232 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17627] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17627/stat : 17627 (java) S 17612 17612 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510591395 27969658880 27107 33554432000 4194304 4196468 140721583953280 140063715349488 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17628] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17628/stat : 17628 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 27107 33554432000 4194304 4196468 140721583953280 140063340845264 140066051037083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17629] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17629/stat : 17629 (java) S 17612 17612 15640 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065242016240 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17630] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17630/stat : 17630 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065240963696 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17631] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17631/stat : 17631 (java) R 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065239911152 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17632] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17632/stat : 17632 (java) R 17612 17612 15640 0 -1 4202560 352 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065238854328 140066030154028 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17633] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17633/stat : 17633 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 27107 33554432000 4194304 4196468 140721583953280 140062842939616 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17634] ppid=17612 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17615/task/17634/stat : 17634 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591398 27969658880 27107 33554432000 4194304 4196468 140721583953280 140065237805488 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109300 KiB [startup+0.210668 s]* /proc/loadavg: 6.71 7.67 7.55 2/212 17634 /proc/meminfo: memFree=25743448/32770624 swapFree=66999804/67108860 [pid=17612] ppid=17609 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17612/stat : 17612 (scop.sh) S 17609 17612 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510591389 115843072 349 33554432000 4194304 5098028 140726833129232 140726833126488 140092444193404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9469952 140726833136421 140726833136748 140726833136748 140726833139661 0 /proc/17612/statm: 28282 349 296 221 0 87 0 [pid=17615] ppid=17612 vsize=27314120 memory=122452 CPUtime=0.25 cores=0-7 /proc/17615/stat : 17615 (java) S 17612 17612 15640 0 -1 1077944320 11500 0 0 0 21 4 0 0 20 0 20 0 510591390 27969658880 30613 33554432000 4194304 4196468 140721583953280 140721583935824 140066051018487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 /proc/17615/statm: 6828530 30613 2931 1 0 6790935 0 [pid=17615/tid=17616] ppid=17612 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/17615/task/17616/stat : 17616 (java) R 17612 17612 15640 0 -1 4202560 9188 0 0 0 16 3 0 0 20 0 20 0 510591390 27969658880 30613 33554432000 4194304 4196468 140721583953280 140066022817872 140066031293874 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17617] ppid=17612 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/17615/task/17617/stat : 17617 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 30613 33554432000 4194304 4196468 140721583953280 140066055260432 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17618] ppid=17612 vsize=27314120 memory=3689212106504648352 CPUtime=0 cores=0-7 /proc/17615/task/17618/stat : 17618 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065869416848 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17619] ppid=17612 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17615/task/17619/stat : 17619 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065868364304 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17620] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17620/stat : 17620 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065867311760 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17621] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17621/stat : 17621 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065866259216 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17622] ppid=17612 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17615/task/17622/stat : 17622 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065865206672 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17623] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17623/stat : 17623 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065864154128 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17624] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17624/stat : 17624 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591393 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065467169936 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17625] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17625/stat : 17625 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591394 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065243068400 140066051029634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17626] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17626/stat : 17626 (java) S 17612 17612 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510591394 27969658880 30613 33554432000 4194304 4196468 140721583953280 140063849571232 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17627] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17627/stat : 17627 (java) S 17612 17612 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510591395 27969658880 30613 33554432000 4194304 4196468 140721583953280 140063715349488 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17628] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17628/stat : 17628 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 30613 33554432000 4194304 4196468 140721583953280 140063340845264 140066051037083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17629] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17629/stat : 17629 (java) S 17612 17612 15640 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065242016240 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17630] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17630/stat : 17630 (java) S 17612 17612 15640 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065240963696 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17631] ppid=17612 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17615/task/17631/stat : 17631 (java) S 17612 17612 15640 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065239911152 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17632] ppid=17612 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/17615/task/17632/stat : 17632 (java) S 17612 17612 15640 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 510591397 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065238858608 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17633] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17633/stat : 17633 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 30613 33554432000 4194304 4196468 140721583953280 140062842939616 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17634] ppid=17612 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17615/task/17634/stat : 17634 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591398 27969658880 30613 33554432000 4194304 4196468 140721583953280 140065237805488 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 123848 KiB [startup+0.310977 s]* /proc/loadavg: 6.71 7.67 7.55 2/212 17634 /proc/meminfo: memFree=25740772/32770624 swapFree=66999804/67108860 [pid=17612] ppid=17609 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17612/stat : 17612 (scop.sh) S 17609 17612 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510591389 115843072 349 33554432000 4194304 5098028 140726833129232 140726833126488 140092444193404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9469952 140726833136421 140726833136748 140726833136748 140726833139661 0 /proc/17612/statm: 28282 349 296 221 0 87 0 [pid=17615] ppid=17612 vsize=27314120 memory=126124 CPUtime=0.43 cores=0-7 /proc/17615/stat : 17615 (java) S 17612 17612 15640 0 -1 1077944320 12430 0 0 0 38 5 0 0 20 0 20 0 510591390 27969658880 31531 33554432000 4194304 4196468 140721583953280 140721583935824 140066051018487 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 /proc/17615/statm: 6828530 31531 3019 1 0 6790935 0 [pid=17615/tid=17616] ppid=17612 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/17615/task/17616/stat : 17616 (java) R 17612 17612 15640 0 -1 4202560 9953 0 0 0 26 4 0 0 20 0 20 0 510591390 27969658880 31531 33554432000 4194304 4196468 140721583953280 140066022813160 140066032582001 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17617] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17617/stat : 17617 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 31531 33554432000 4194304 4196468 140721583953280 140066055260432 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17618] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17618/stat : 17618 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065869416848 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17619] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17619/stat : 17619 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065868364304 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17620] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17620/stat : 17620 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065867311760 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17621] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17621/stat : 17621 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065866259216 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17622] ppid=17612 vsize=27314120 memory=140355706120879 CPUtime=0 cores=0-7 /proc/17615/task/17622/stat : 17622 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065865206672 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17623] ppid=17612 vsize=27314120 memory=140355706123184 CPUtime=0 cores=0-7 /proc/17615/task/17623/stat : 17623 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065864154128 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17624] ppid=17612 vsize=27314120 memory=140355706125488 CPUtime=0 cores=0-7 /proc/17615/task/17624/stat : 17624 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591393 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065467169936 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17625] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17625/stat : 17625 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591394 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065243068400 140066051029634 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17626] ppid=17612 vsize=27314120 memory=280711412264848 CPUtime=0 cores=0-7 /proc/17615/task/17626/stat : 17626 (java) S 17612 17612 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510591394 27969658880 31531 33554432000 4194304 4196468 140721583953280 140063849571232 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17627] ppid=17612 vsize=27314120 memory=280711412262544 CPUtime=0 cores=0-7 /proc/17615/task/17627/stat : 17627 (java) S 17612 17612 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510591395 27969658880 31531 33554432000 4194304 4196468 140721583953280 140063715349488 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17628] ppid=17612 vsize=27314120 memory=280711412269456 CPUtime=0 cores=0-7 /proc/17615/task/17628/stat : 17628 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 31531 33554432000 4194304 4196468 140721583953280 140063340845264 140066051037083 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17629] ppid=17612 vsize=27314120 memory=280711412210736 CPUtime=0 cores=0-7 /proc/17615/task/17629/stat : 17629 (java) S 17612 17612 15640 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065242016240 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17630] ppid=17612 vsize=27314120 memory=280711412283280 CPUtime=0.02 cores=0-7 /proc/17615/task/17630/stat : 17630 (java) S 17612 17612 15640 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 510591397 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065240963696 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17631] ppid=17612 vsize=27314120 memory=280711412290192 CPUtime=0.01 cores=0-7 /proc/17615/task/17631/stat : 17631 (java) R 17612 17612 15640 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 20 0 510591397 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065239911152 140066030207936 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17632] ppid=17612 vsize=27314120 memory=280711412287888 CPUtime=0.07 cores=0-7 /proc/17615/task/17632/stat : 17632 (java) S 17612 17612 15640 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 510591397 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065238858608 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17633] ppid=17612 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17633/stat : 17633 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510591397 27969658880 31531 33554432000 4194304 4196468 140721583953280 140062842939616 140066051028693 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17634] ppid=17612 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/17615/task/17634/stat : 17634 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591398 27969658880 31531 33554432000 4194304 4196468 140721583953280 140065237805488 140066051029634 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127520 KiB [startup+0.700939 s] /proc/loadavg: 6.71 7.67 7.55 2/212 17634 /proc/meminfo: memFree=25717568/32770624 swapFree=66999804/67108860 [pid=17612] ppid=17609 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/17612/stat : 17612 (scop.sh) S 17609 17612 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510591389 115843072 349 33554432000 4194304 5098028 140726833129232 140726833126488 140092444193404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9469952 140726833136421 140726833136748 140726833136748 140726833139661 0 /proc/17612/statm: 28282 349 296 221 0 87 0 [pid=17615] ppid=17612 vsize=27320392 memory=163412 CPUtime=1.01 cores=0-7 /proc/17615/stat : 17615 (java) S 17612 17612 15640 0 -1 1077944320 19946 0 0 0 94 7 0 0 20 0 20 0 510591390 27976081408 40853 33554432000 4194304 4196468 140721583953280 140721583935824 140066051018487 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 /proc/17615/statm: 6830098 40853 3181 1 0 6791447 0 [pid=17615/tid=17616] ppid=17612 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/17615/task/17616/stat : 17616 (java) R 17612 17612 15640 0 -1 4202560 16898 0 0 0 62 6 0 0 20 0 20 0 510591390 27976081408 40853 33554432000 4194304 4196468 140721583953280 140066022855864 140065546413322 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17617] ppid=17612 vsize=27320392 memory=140355706332016 CPUtime=0 cores=0-7 /proc/17615/task/17617/stat : 17617 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27976081408 40853 33554432000 4194304 4196468 140721583953280 140066055260432 140066051028693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17618] ppid=17612 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/17615/task/17618/stat : 17618 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510591392 27976081408 40853 33554432000 4194304 4196468 140721583953280 140065869416848 140066051028693 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 [pid=17615/tid=17619] ppid=17612 vsize=27320392 memory=776 CPUtime=0 cores=0-7 /proc/17615/task/17619/stat : 17619 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510591392 27976081408 40853 33554432000 4194304 4196468 140721583953280 140065868364304 140066051028693 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37699584 140721583960811 140721583961238 140721583961238 140721583964111 0 ################ # More data... # ################ /proc/17635/task/17639/stat : 17639 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353896872976 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17640] ppid=17612 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17635/task/17640/stat : 17640 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353895820432 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17641] ppid=17612 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/17635/task/17641/stat : 17641 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353894766864 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17642] ppid=17612 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/17635/task/17642/stat : 17642 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353893714320 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17643] ppid=17612 vsize=8414124 memory=2428 CPUtime=0 cores=0-7 /proc/17635/task/17643/stat : 17643 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353892661776 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17644] ppid=17612 vsize=8414124 memory=1580 CPUtime=0 cores=0-7 /proc/17635/task/17644/stat : 17644 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353891609232 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17645] ppid=17612 vsize=8414124 memory=892 CPUtime=0 cores=0-7 /proc/17635/task/17645/stat : 17645 (java) S 17612 17612 15640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510591826 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353707448816 140354412567170 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17646] ppid=17612 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/17635/task/17646/stat : 17646 (java) S 17612 17612 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510591827 8616062976 30326 33554432000 4194304 4196468 140726615961872 140352954557856 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17647] ppid=17612 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/17635/task/17647/stat : 17647 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591827 8616062976 30326 33554432000 4194304 4196468 140726615961872 140352686122480 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17648] ppid=17612 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/17635/task/17648/stat : 17648 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140352311614160 140354412574619 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17649] ppid=17612 vsize=8414124 memory=800 CPUtime=0.05 cores=0-7 /proc/17635/task/17649/stat : 17649 (java) S 17612 17612 15640 0 -1 1077944384 521 0 0 0 5 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353706395632 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17650] ppid=17612 vsize=8414124 memory=1808 CPUtime=0.09 cores=0-7 /proc/17635/task/17650/stat : 17650 (java) S 17612 17612 15640 0 -1 1077944384 307 0 0 0 9 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353705343088 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17651] ppid=17612 vsize=8414124 memory=924 CPUtime=0.06 cores=0-7 /proc/17635/task/17651/stat : 17651 (java) S 17612 17612 15640 0 -1 1077944384 371 0 0 0 6 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353704290544 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17652] ppid=17612 vsize=8414124 memory=2020 CPUtime=0.22 cores=0-7 /proc/17635/task/17652/stat : 17652 (java) S 17612 17612 15640 0 -1 1077944384 792 0 0 0 22 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353703238000 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17653] ppid=17612 vsize=8414124 memory=1432 CPUtime=0 cores=0-7 /proc/17635/task/17653/stat : 17653 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140351813708512 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17654] ppid=17612 vsize=8414124 memory=9396 CPUtime=0.1 cores=0-7 /proc/17635/task/17654/stat : 17654 (java) S 17612 17612 15640 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353702185904 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17656] ppid=17612 vsize=8414124 memory=656 CPUtime=0 cores=0-7 /proc/17635/task/17656/stat : 17656 (java) S 17612 17612 15640 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510591898 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353694152384 140354412580633 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17658] ppid=17612 vsize=8414124 memory=3612 CPUtime=0 cores=0-7 /proc/17635/task/17658/stat : 17658 (java) S 17612 17612 15640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510591898 8616062976 30326 33554432000 4194304 4196468 140726615961872 140351142608144 140354412577949 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17659] ppid=17612 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/17635/task/17659/stat : 17659 (java) S 17612 17612 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510591899 8616062976 30326 33554432000 4194304 4196468 140726615961872 140351411043728 140354412577949 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17665] ppid=17612 vsize=8414124 memory=1552 CPUtime=0 cores=0-7 /proc/17635/task/17665/stat : 17665 (java) S 17612 17612 15640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510591901 8616062976 30326 33554432000 4194304 4196468 140726615961872 140350874180784 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 Current children cumulated CPU time: 954.52 s Current children cumulated vsize: 9329768 KiB Current children cumulated memory: 763900 KiB [startup+176.801 s] /proc/loadavg: 4.44 6.31 7.05 2/218 17679 /proc/meminfo: memFree=25105092/32770624 swapFree=66999804/67108860 [pid=17612] ppid=17609 vsize=113128 memory=1476 CPUtime=12.29 cores=0-7 /proc/17612/stat : 17612 (scop.sh) S 17609 17612 15640 0 -1 4202496 583 32022 0 0 0 0 1201 28 20 0 1 0 510591389 115843072 369 33554432000 4194304 5098028 140726833129232 140726833125976 140092444193404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9469952 140726833136421 140726833136748 140726833136748 140726833139661 0 /proc/17612/statm: 28282 369 311 221 0 87 0 [pid=17635] ppid=17612 vsize=8414124 memory=121304 CPUtime=1.35 cores=0-7 /proc/17635/stat : 17635 (java) S 17612 17612 15640 0 -1 1077944320 21386 0 0 0 127 8 0 0 20 0 24 0 510591823 8616062976 30326 33554432000 4194304 4196468 140726615961872 140726615944416 140354412556023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 /proc/17635/statm: 2103531 30326 3200 1 0 2064875 0 [pid=17655] ppid=17635 vsize=802516 memory=641120 CPUtime=941.67 cores=0-7 /proc/17655/stat : 17655 (manyglucose-4.1) S 17635 17612 15640 0 -1 1077944320 746007 0 0 0 94028 139 0 0 20 0 2 0 510591898 821776384 160280 33554432000 4194304 4454172 140734287384640 140734287383024 139900827995895 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 38686720 140734287389545 140734287389744 140734287389744 140734287392698 0 /proc/17655/statm: 200629 160280 419 64 0 196297 0 [pid=17655/tid=17663] ppid=17635 vsize=802516 memory=121304 CPUtime=170.14 cores=0-7 /proc/17655/task/17663/stat : 17663 (manyglucose-4.1) R 17635 17612 15640 0 -1 4202560 105379 0 0 0 16993 21 0 0 20 0 2 0 510591900 821776384 160280 33554432000 4194304 4454172 140734287384640 139900787600520 4351488 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 38686720 140734287389545 140734287389744 140734287389744 140734287392698 0 [pid=17635/tid=17636] ppid=17612 vsize=8414124 memory=-8816469607323038098 CPUtime=0.77 cores=0-7 /proc/17635/task/17636/stat : 17636 (java) S 17612 17612 15640 0 -1 1077944384 17980 0 0 0 72 5 0 0 20 0 24 0 510591824 8616062976 30326 33554432000 4194304 4196468 140726615961872 140354384396192 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17637] ppid=17612 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/17635/task/17637/stat : 17637 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140354416798480 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17638] ppid=17612 vsize=8414124 memory=1552 CPUtime=0 cores=0-7 /proc/17635/task/17638/stat : 17638 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140354230954896 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17639] ppid=17612 vsize=8414124 memory=1204 CPUtime=0 cores=0-7 /proc/17635/task/17639/stat : 17639 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353896872976 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17640] ppid=17612 vsize=8414124 memory=1072 CPUtime=0 cores=0-7 /proc/17635/task/17640/stat : 17640 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353895820432 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17641] ppid=17612 vsize=8414124 memory=6096 CPUtime=0 cores=0-7 /proc/17635/task/17641/stat : 17641 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353894766864 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17642] ppid=17612 vsize=8414124 memory=1544 CPUtime=0 cores=0-7 /proc/17635/task/17642/stat : 17642 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353893714320 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17643] ppid=17612 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/17635/task/17643/stat : 17643 (java) S 17612 17612 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353892661776 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17644] ppid=17612 vsize=8414124 memory=641120 CPUtime=0 cores=0-7 /proc/17635/task/17644/stat : 17644 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510591825 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353891609232 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17645] ppid=17612 vsize=8414124 memory=619440 CPUtime=0 cores=0-7 /proc/17635/task/17645/stat : 17645 (java) S 17612 17612 15640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510591826 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353707448816 140354412567170 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17646] ppid=17612 vsize=8414124 memory=1660 CPUtime=0 cores=0-7 /proc/17635/task/17646/stat : 17646 (java) S 17612 17612 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510591827 8616062976 30326 33554432000 4194304 4196468 140726615961872 140352954557856 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17647] ppid=17612 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/17635/task/17647/stat : 17647 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591827 8616062976 30326 33554432000 4194304 4196468 140726615961872 140352686122480 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17648] ppid=17612 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17635/task/17648/stat : 17648 (java) S 17612 17612 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140352311614160 140354412574619 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17649] ppid=17612 vsize=8414124 memory=4872558044660077418 CPUtime=0.05 cores=0-7 /proc/17635/task/17649/stat : 17649 (java) S 17612 17612 15640 0 -1 1077944384 521 0 0 0 5 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353706395632 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17650] ppid=17612 vsize=8414124 memory=656 CPUtime=0.09 cores=0-7 /proc/17635/task/17650/stat : 17650 (java) S 17612 17612 15640 0 -1 1077944384 307 0 0 0 9 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353705343088 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17651] ppid=17612 vsize=8414124 memory=3612 CPUtime=0.06 cores=0-7 /proc/17635/task/17651/stat : 17651 (java) S 17612 17612 15640 0 -1 1077944384 371 0 0 0 6 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353704290544 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17652] ppid=17612 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7 /proc/17635/task/17652/stat : 17652 (java) S 17612 17612 15640 0 -1 1077944384 792 0 0 0 22 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353703238000 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17653] ppid=17612 vsize=8414124 memory=121304 CPUtime=0 cores=0-7 /proc/17635/task/17653/stat : 17653 (java) S 17612 17612 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140351813708512 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17654] ppid=17612 vsize=8414124 memory=719688 CPUtime=0.1 cores=0-7 /proc/17635/task/17654/stat : 17654 (java) S 17612 17612 15640 0 -1 1077944384 13 0 0 0 5 5 0 0 20 0 24 0 510591830 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353702185904 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17656] ppid=17612 vsize=8414124 memory=-8816469607323038098 CPUtime=0 cores=0-7 /proc/17635/task/17656/stat : 17656 (java) S 17612 17612 15640 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510591898 8616062976 30326 33554432000 4194304 4196468 140726615961872 140353694152384 140354412580633 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17658] ppid=17612 vsize=8414124 memory=4380 CPUtime=0 cores=0-7 /proc/17635/task/17658/stat : 17658 (java) S 17612 17612 15640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510591898 8616062976 30326 33554432000 4194304 4196468 140726615961872 140351142608144 140354412577949 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17659] ppid=17612 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/17635/task/17659/stat : 17659 (java) S 17612 17612 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510591899 8616062976 30326 33554432000 4194304 4196468 140726615961872 140351411043728 140354412577949 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17665] ppid=17612 vsize=8414124 memory=121304 CPUtime=0 cores=0-7 /proc/17635/task/17665/stat : 17665 (java) S 17612 17612 15640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510591901 8616062976 30326 33554432000 4194304 4196468 140726615961872 140350874180784 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 Current children cumulated CPU time: 955.31 s Current children cumulated vsize: 9329768 KiB Current children cumulated memory: 763900 KiB [startup+177.003 s]* /proc/loadavg: 4.44 6.31 7.05 2/217 17679 /proc/meminfo: memFree=25725520/32770624 swapFree=66999804/67108860 [pid=17612] ppid=17609 vsize=113128 memory=1476 CPUtime=12.29 cores=0-7 /proc/17612/stat : 17612 (scop.sh) S 17609 17612 15640 0 -1 4202496 583 32022 0 0 0 0 1201 28 20 0 1 0 510591389 115843072 369 33554432000 4194304 5098028 140726833129232 140726833125976 140092444193404 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9469952 140726833136421 140726833136748 140726833136748 140726833139661 0 /proc/17612/statm: 28282 369 311 221 0 87 0 [pid=17635] ppid=17612 vsize=8151972 memory=123888 CPUtime=943.28 cores=0-7 /proc/17635/stat : 17635 (java) S 17612 17612 15640 0 -1 1077944320 21482 746023 0 0 132 9 94046 141 20 0 21 0 510591823 8347619328 30972 33554432000 4194304 4196468 140726615961872 140726615944416 140354412556023 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 /proc/17635/statm: 2037993 30972 3212 1 0 1999337 0 [pid=17635/tid=17636] ppid=17612 vsize=8151972 memory=1398722017469774279 CPUtime=942.65 cores=0-7 /proc/17635/task/17636/stat : 17636 (java) S 17612 17612 15640 0 -1 1077944384 17994 746023 0 0 73 5 94046 141 20 0 21 0 510591824 8347619328 30972 33554432000 4194304 4196468 140726615961872 140354384399504 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17637] ppid=17612 vsize=8151972 memory=4872558044660077418 CPUtime=941.87 cores=0-7 /proc/17635/task/17637/stat : 17637 (java) S 17612 17612 15640 0 -1 1077944384 1 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140354416798480 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17638] ppid=17612 vsize=8151972 memory=-8412652169205224307 CPUtime=941.87 cores=0-7 /proc/17635/task/17638/stat : 17638 (java) S 17612 17612 15640 0 -1 1077944384 1 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140354230954896 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17639] ppid=17612 vsize=8151972 memory=6944656592455097440 CPUtime=941.87 cores=0-7 /proc/17635/task/17639/stat : 17639 (java) S 17612 17612 15640 0 -1 1077944384 2 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353896872976 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17640] ppid=17612 vsize=8151972 memory=7451302763166264168 CPUtime=941.87 cores=0-7 /proc/17635/task/17640/stat : 17640 (java) S 17612 17612 15640 0 -1 1077944384 2 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353895820432 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17641] ppid=17612 vsize=8151972 memory=1476 CPUtime=941.87 cores=0-7 /proc/17635/task/17641/stat : 17641 (java) S 17612 17612 15640 0 -1 1077944384 1 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353894766864 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17642] ppid=17612 vsize=8151972 memory=288230574492221466 CPUtime=941.87 cores=0-7 /proc/17635/task/17642/stat : 17642 (java) S 17612 17612 15640 0 -1 1077944384 2 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353893714320 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17643] ppid=17612 vsize=8151972 memory=288230596050944315 CPUtime=941.87 cores=0-7 /proc/17635/task/17643/stat : 17643 (java) S 17612 17612 15640 0 -1 1077944384 2 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353892661776 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17644] ppid=17612 vsize=8151972 memory=14413717844530249 CPUtime=941.87 cores=0-7 /proc/17635/task/17644/stat : 17644 (java) S 17612 17612 15640 0 -1 1077944384 3 746023 0 0 0 0 94046 141 20 0 21 0 510591825 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353891609232 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17645] ppid=17612 vsize=8151972 memory=3580 CPUtime=941.87 cores=0-7 /proc/17635/task/17645/stat : 17645 (java) S 17612 17612 15640 0 -1 1077944384 8 746023 0 0 0 0 94046 141 20 0 21 0 510591826 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353707449024 140354412567170 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17646] ppid=17612 vsize=8151972 memory=63104 CPUtime=941.87 cores=0-7 /proc/17635/task/17646/stat : 17646 (java) S 17612 17612 15640 0 -1 1077944384 13 746023 0 0 0 0 94046 141 20 0 21 0 510591827 8347619328 30972 33554432000 4194304 4196468 140726615961872 140352954557856 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17647] ppid=17612 vsize=8151972 memory=988 CPUtime=941.87 cores=0-7 /proc/17635/task/17647/stat : 17647 (java) S 17612 17612 15640 0 -1 1077944384 1 746023 0 0 0 0 94046 141 20 0 21 0 510591827 8347619328 30972 33554432000 4194304 4196468 140726615961872 140352686122480 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17648] ppid=17612 vsize=8151972 memory=2020 CPUtime=941.87 cores=0-7 /proc/17635/task/17648/stat : 17648 (java) S 17612 17612 15640 0 -1 1077944384 21 746023 0 0 0 0 94046 141 20 0 21 0 510591830 8347619328 30972 33554432000 4194304 4196468 140726615961872 140352311613872 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17649] ppid=17612 vsize=8151972 memory=1432 CPUtime=941.93 cores=0-7 /proc/17635/task/17649/stat : 17649 (java) S 17612 17612 15640 0 -1 1077944384 524 746023 0 0 6 0 94046 141 20 0 21 0 510591830 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353706395632 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17650] ppid=17612 vsize=8151972 memory=9396 CPUtime=941.96 cores=0-7 /proc/17635/task/17650/stat : 17650 (java) S 17612 17612 15640 0 -1 1077944384 314 746023 0 0 9 0 94046 141 20 0 21 0 510591830 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353705343088 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17651] ppid=17612 vsize=8151972 memory=656 CPUtime=941.94 cores=0-7 /proc/17635/task/17651/stat : 17651 (java) S 17612 17612 15640 0 -1 1077944384 372 746023 0 0 7 0 94046 141 20 0 21 0 510591830 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353704271024 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17652] ppid=17612 vsize=8151972 memory=3612 CPUtime=942.1 cores=0-7 /proc/17635/task/17652/stat : 17652 (java) S 17612 17612 15640 0 -1 1077944384 816 746023 0 0 23 0 94046 141 20 0 21 0 510591830 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353703238000 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17653] ppid=17612 vsize=8151972 memory=-8816469607323038098 CPUtime=941.87 cores=0-7 /proc/17635/task/17653/stat : 17653 (java) S 17612 17612 15640 0 -1 1077944384 3 746023 0 0 0 0 94046 141 20 0 21 0 510591830 8347619328 30972 33554432000 4194304 4196468 140726615961872 140351813708512 140354412566229 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17656] ppid=17612 vsize=8151972 memory=1552 CPUtime=941.87 cores=0-7 /proc/17635/task/17656/stat : 17656 (java) S 17612 17612 15640 0 -1 1077944384 24 746023 0 0 0 0 94046 141 20 0 21 0 510591898 8347619328 30972 33554432000 4194304 4196468 140726615961872 140353694151568 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 [pid=17635/tid=17665] ppid=17612 vsize=8151972 memory=1204 CPUtime=941.87 cores=0-7 /proc/17635/task/17665/stat : 17665 (java) S 17612 17612 15640 0 -1 1077944384 11 746023 0 0 0 0 94046 141 20 0 21 0 510591901 8347619328 30972 33554432000 4194304 4196468 140726615961872 140350874182576 140354412567170 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726615970807 140726615970966 140726615970966 140726615973839 0 Current children cumulated CPU time: 955.57 s Current children cumulated vsize: 8265100 KiB Current children cumulated memory: 125364 KiB Child status: 0 Real time (s): 177.03 CPU time (s): 955.609 CPU user time (s): 953.802 CPU system time (s): 1.80732 CPU usage (%): 539.8 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1050424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 953.802 system time used= 1.80732 maximum resident set size= 1054100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 800126 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1032 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22581 involuntary context switches= 8021 # summary of solver processes directly reported to runsolver: # pid: 17612 # total CPU time (s): 955.609 # total CPU user time (s): 953.802 # total CPU system time (s): 1.80732 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.71985 second user time and 2.30111 second system time The end
Begin job on node123 at 2019-09-24 18:40:26 IDJOB=4405291 IDBENCH=134589 IDSOLVER=2867 FILE ID=node123/4405291-1569343266 RUNJOBID= node123-1569335939-15667 PBS_JOBID= 21705062 Free space on /tmp= 25920 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-3_X2.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405291-1569343266/watcher-4405291-1569343266 -o /tmp/evaluation-result-4405291-1569343266/solver-4405291-1569343266 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405291-1569343266.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 72c85c51a44e0e8527757e040a083bca RANDOM SEED=1201978005 node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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: 25855604 kB MemAvailable: 31837332 kB Buffers: 90392 kB Cached: 6051776 kB SwapCached: 6620 kB Active: 3187784 kB Inactive: 2966208 kB Active(anon): 3788 kB Inactive(anon): 64784 kB Active(file): 3183996 kB Inactive(file): 2901424 kB Unevictable: 107416 kB Mlocked: 107416 kB SwapTotal: 67108860 kB SwapFree: 66999804 kB Dirty: 20728 kB Writeback: 0 kB AnonPages: 113760 kB Mapped: 56704 kB Shmem: 47936 kB Slab: 354816 kB SReclaimable: 324768 kB SUnreclaim: 30048 kB KernelStack: 3408 kB PageTables: 5856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514560 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 25900 MiB End job on node123 at 2019-09-24 18:43:23