Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | UNSAT | 929.764 | 129.706 |
Name | Blackhole/Blackhole-xcsp2-s07/ Blackhole-4-07-8_X2.xml |
MD5SUM | 5c0d10b65067a89bbe36375c556425e1 |
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 | 166.47 |
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-10590-serial-file.bin HOME/instance-4392437-1568436716.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: Sat Sep 14 06:51:16 CEST 2019 0.66/0.56 c PID: 10593 0.66/0.56 c IP: 172.20.3.143 0.66/0.56 c HOST: node143.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.01/1.13 c (0,0) Parsing End 2.01/1.14 c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28 2.01/1.14 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.01/1.14 c (0,0) Constraint Name Generate Begin 2.01/1.15 c (0,0) Ctr:HOME/instance-4392437-1568436716.xml,ExtensionConflict:ExtensionSupport:Var 2.01/1.15 c (0,0) Constraint Name Generate End 2.01/1.15 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.01/1.15 c (0,0) CSP to CSPinCNF Begin 3.11/1.65 c (1,1) translated 127 (10%) constraints 3.50/1.76 c (1,1) translated 253 (20%) constraints 3.92/1.84 c (1,1) translated 379 (30%) constraints 4.34/1.91 c (1,1) translated 505 (40%) constraints 4.34/1.97 c (1,1) translated 631 (50%) constraints 4.79/2.02 c (1,1) translated 757 (60%) constraints 5.19/2.17 c (1,1) translated 883 (70%) constraints 6.05/2.42 c (1,1) translated 1009 (80%) constraints 6.30/2.64 c (2,2) translated 1135 (90%) constraints 6.90/2.96 c (2,2) translated 1261 (100%) constraints 6.90/2.96 c (2,2) =========================================== 6.90/2.96 c (2,2) Order 6.90/2.96 c (2,2) =========================================== 7.37/3.03 c (2,2) translated 1883 (10%) constraints 7.37/3.09 c (2,2) translated 3765 (20%) constraints 7.76/3.14 c (2,2) translated 5647 (30%) constraints 7.76/3.19 c (2,2) translated 7529 (40%) constraints 8.13/3.25 c (2,2) translated 9411 (50%) constraints 8.13/3.29 c (2,2) translated 11294 (60%) constraints 8.53/3.34 c (2,2) translated 13176 (70%) constraints 8.53/3.38 c (2,2) translated 15058 (80%) constraints 8.89/3.42 c (2,2) translated 16940 (90%) constraints 8.89/3.45 c (2,2) translated 18822 (100%) constraints 8.89/3.45 c (2,2) CSP to CSPinCNF End 8.89/3.45 c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28 8.89/3.45 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 8.89/3.45 c (2,2) CSPinCNF Propagation Begin 10.23/3.82 c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed 10.23/3.82 c (3,3) CSPinCNF Propagation End 10.23/3.82 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.23/3.82 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.23/3.82 c (3,3) Simplify CSPinCNF Begin 10.23/3.87 c (3,3) Simplify CSPinCNF End 10.23/3.87 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.23/3.87 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.23/3.87 c (3,3) Calculate Precise Domain Begin 10.23/3.88 c (3,3) 0 values are removed by re-calculation 10.23/3.88 c (3,3) Calculate Precise Domain End 10.23/3.88 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.23/3.88 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.23/3.88 c (3,3) CSPinCNF to SatSolver Begin 10.85/4.03 c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses) 10.85/4.08 c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses) 11.26/4.13 c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses) 11.26/4.17 c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses) 11.62/4.21 c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses) 11.62/4.23 c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses) 11.62/4.25 c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses) 11.62/4.27 c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses) 11.62/4.28 c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses) 11.62/4.30 c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses) 11.62/4.30 c (3,3) CSPinCNF to SatSolver End 11.62/4.30 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.92/4.30 c (3,3) 2482 bool, 15697 clause 11.92/4.30 c (3,3) Export Begin 12.11/4.40 c (3,3) Export to HOME/scop-10590-serial-file.bin 12.11/4.40 c (3,3) Export End 12.11/4.40 c (3,3) Export File Size: 0.02 MB 12.11/4.40 c (3,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS) 12.11/4.40 c END-Prog: Sat Sep 14 06:51:20 CEST 2019 12.11/4.43 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-10590-serial-file.bin 12.68/5.26 c (0,0) Read Serial File Begin 12.68/5.26 c (0,0) HOME/scop-10590-serial-file.bin 12.94/5.48 c (0,0) Read Serial File End 12.94/5.50 12.94/5.50 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 12.94/5.50 (Solving Process) 12.94/5.50 13.12/5.52 c BEGIN-Prog: Sat Sep 14 06:51:21 CEST 2019 13.12/5.52 c PID: 10613 13.12/5.52 c IP: 172.20.3.143 13.12/5.52 c HOST: node143.alineos.net 13.12/5.52 c (0,0) SatSolver.solve Begin 13.12/5.52 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392437-1568436716.xml-scop-10593.cnf 13.12/5.55 c (0,0) c 13.12/5.55 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.12/5.55 c (0,0) c 13.12/5.55 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 13.12/5.55 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 13.12/5.55 c (0,0) c ========================================[ Problem Statistics ]=========================================== 13.12/5.55 c (0,0) c | | 13.12/5.55 c (0,0) WARNING! DIMACS header mismatch: wrong number of variables. 13.12/5.55 c (0,0) c | Number of variables: 2480 | 13.12/5.55 c (0,0) c | Number of clauses: 15697 | 13.12/5.55 c (0,0) c | Parse time: 0.01 s | 13.12/5.55 c (0,0) c | | 13.12/5.56 c (0,0) c | Simplification time: 0.01 s | 13.12/5.56 c (0,0) c | | 13.12/5.56 c (0,0) c | Generating clones | 13.12/5.57 c (0,0) c | all clones generated. Memory = 32.07Mb. | 13.12/5.57 c (0,0) c ========================================================================================================| 13.12/5.57 c (0,0) c 13.12/5.57 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 13.12/5.57 c (0,0) c 13.12/5.57 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.12/5.57 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 13.12/5.57 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 13.12/5.57 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 13.12/5.57 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 13.12/5.57 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 13.12/5.57 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 13.12/5.57 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 13.12/5.57 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 13.12/5.57 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 13.12/5.57 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 13.12/5.57 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 13.12/5.57 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 13.12/5.57 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 13.12/5.57 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 13.12/5.57 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 13.12/5.57 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 13.12/5.57 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 13.12/5.57 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 242.34/35.18 c (30,0) c 242.34/35.18 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 242.34/35.18 c (30,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 242.34/35.18 c (30,0) c |------------------------------------------------------------------------------------------------------------------------| 242.34/35.18 c (30,0) c | 0 | 366 | 556014 | 302396 | 9240 | 71015 | 44813 | 294196 | 17675 | 309 | 20 | 0.847 | 242.34/35.18 c (30,0) c | 1 | 385 | 553099 | 302534 | 9417 | 71154 | 45408 | 290625 | 18851 | 309 | 20 | 0.847 | 242.34/35.18 c (30,0) c | 2 | 355 | 548691 | 292622 | 9351 | 61234 | 43467 | 293784 | 16712 | 305 | 20 | 0.848 | 242.34/35.18 c (30,0) c | 3 | 408 | 554879 | 298618 | 9370 | 67235 | 44900 | 287220 | 14737 | 305 | 20 | 0.848 | 242.34/35.18 c (30,0) c | 4 | 291 | 532782 | 293942 | 9180 | 62546 | 42158 | 290416 | 12455 | 305 | 20 | 0.847 | 242.34/35.18 c (30,0) c | 5 | 332 | 505646 | 270044 | 9227 | 38660 | 40242 | 293840 | 14637 | 293 | 20 | 0.847 | 242.34/35.18 c (30,0) c | 6 | 461 | 589212 | 315512 | 9382 | 48327 | 45678 | 298243 | 16935 | 308 | 20 | 0.847 | 242.34/35.18 c (30,0) c | 7 | 368 | 545802 | 295585 | 9550 | 64196 | 45587 | 281690 | 17658 | 289 | 20 | 0.848 | 242.34/35.18 c (30,0) c 242.34/35.18 c (30,0) c synthesis 2371254 conflicts 176543332 propagations 10350 conflicts/sec 770596 propagations/sec 242.34/35.18 c (30,0) c real: 29.6386 s, cpu: 229.1 s, memory: 629.40 Mb 469.51/65.18 c (60,0) c 469.51/65.18 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 469.51/65.18 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 469.51/65.18 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 469.51/65.18 c (60,0) c | 0 | 405 | 889328 | 472018 | 9285 | 81832 | 60842 | 419441 | 28266 | 581 | 20 | 0.848 | 469.51/65.18 c (60,0) c | 1 | 472 | 879042 | 468970 | 9454 | 78782 | 65912 | 423177 | 30586 | 578 | 20 | 0.847 | 469.51/65.18 c (60,0) c | 2 | 411 | 886183 | 465487 | 9454 | 75307 | 60893 | 421702 | 29379 | 582 | 20 | 0.848 | 469.51/65.18 c (60,0) c | 3 | 463 | 867208 | 463172 | 9436 | 72981 | 62173 | 418938 | 27245 | 573 | 20 | 0.848 | 469.51/65.18 c (60,0) c | 4 | 397 | 853247 | 459996 | 9327 | 69815 | 59695 | 426013 | 26740 | 571 | 20 | 0.847 | 469.51/65.18 c (60,0) c | 5 | 422 | 841892 | 446749 | 9357 | 56569 | 61097 | 427459 | 27743 | 581 | 20 | 0.848 | 469.51/65.18 c (60,0) c | 6 | 551 | 902989 | 475491 | 9412 | 85302 | 63385 | 415995 | 29262 | 562 | 20 | 0.848 | 469.51/65.18 c (60,0) c | 7 | 385 | 883907 | 471453 | 9573 | 81265 | 62281 | 422637 | 28523 | 582 | 20 | 0.848 | 469.51/65.18 c (60,0) c 469.51/65.18 c (60,0) c synthesis 3723338 conflicts 274960749 propagations 8175 conflicts/sec 603708 propagations/sec 469.51/65.18 c (60,0) c real: 59.6386 s, cpu: 455.453 s, memory: 712.02 Mb 683.29/94.18 c (89,0) c 683.29/94.18 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 683.29/94.18 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 683.29/94.18 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 683.29/94.18 c (89,0) c | 0 | 458 | 1151561 | 601735 | 9305 | 65150 | 74024 | 496830 | 37974 | 828 | 20 | 0.848 | 683.29/94.19 c (89,0) c | 1 | 544 | 1148015 | 601437 | 9483 | 64845 | 78464 | 502723 | 40272 | 826 | 20 | 0.847 | 683.29/94.19 c (89,0) c | 2 | 469 | 1140461 | 590859 | 9491 | 54280 | 73190 | 503835 | 38455 | 812 | 20 | 0.848 | 683.29/94.19 c (89,0) c | 3 | 502 | 1132178 | 595638 | 9454 | 59053 | 71384 | 511011 | 37616 | 828 | 20 | 0.848 | 683.29/94.19 c (89,0) c | 4 | 497 | 1121534 | 593807 | 9358 | 57219 | 73632 | 502177 | 37645 | 828 | 20 | 0.848 | 683.29/94.19 c (89,0) c | 5 | 475 | 1097594 | 577168 | 9385 | 91981 | 72307 | 509812 | 37473 | 828 | 20 | 0.848 | 683.29/94.19 c (89,0) c | 6 | 626 | 1169671 | 607313 | 9439 | 70724 | 74663 | 495641 | 38720 | 808 | 20 | 0.847 | 683.29/94.19 c (89,0) c | 7 | 432 | 1152122 | 601842 | 9583 | 65255 | 70482 | 510658 | 39239 | 828 | 20 | 0.847 | 683.29/94.19 c (89,0) c 683.29/94.19 c (89,0) c synthesis 4769800 conflicts 352181566 propagations 7130 conflicts/sec 526433 propagations/sec 683.29/94.19 c (89,0) c real: 88.6386 s, cpu: 668.996 s, memory: 712.02 Mb 890.54/123.19 c (118,0) c 890.54/123.19 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 890.54/123.19 c (118,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 890.54/123.19 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 890.54/123.19 c (118,0) c | 0 | 487 | 1363388 | 706949 | 9322 | 50534 | 83088 | 573204 | 47251 | 1062 | 20 | 1.331 | 890.54/123.19 c (118,0) c | 1 | 589 | 1357491 | 703388 | 9493 | 101953 | 85292 | 572034 | 49055 | 1062 | 20 | 1.413 | 890.54/123.19 c (118,0) c | 2 | 515 | 1350678 | 698852 | 9503 | 105254 | 84370 | 569869 | 47303 | 1062 | 20 | 1.009 | 890.54/123.19 c (118,0) c | 3 | 527 | 1344250 | 700108 | 9461 | 108318 | 78869 | 575968 | 46422 | 1062 | 20 | 1.129 | 890.54/123.19 c (118,0) c | 4 | 523 | 1334931 | 698394 | 9369 | 94513 | 82142 | 574936 | 46229 | 1060 | 20 | 1.371 | 890.54/123.19 c (118,0) c | 5 | 502 | 1304441 | 681220 | 9403 | 89882 | 82924 | 568776 | 45866 | 1062 | 20 | 0.969 | 890.54/123.19 c (118,0) c | 6 | 678 | 1384285 | 712514 | 9454 | 64265 | 83667 | 563782 | 47310 | 1042 | 20 | 0.968 | 890.54/123.19 c (118,0) c | 7 | 464 | 1350422 | 701163 | 9596 | 107484 | 80940 | 576692 | 48194 | 1062 | 20 | 1.331 | 890.54/123.19 c (118,0) c 890.54/123.19 c (118,0) c synthesis 5602588 conflicts 415367150 propagations 6397 conflicts/sec 474263 propagations/sec 890.54/123.19 c (118,0) c real: 117.639 s, cpu: 875.815 s, memory: 800.93 Mb 929.57/129.65 c (124,0) c 929.57/129.65 c (124,0) c real time : 124.106 s 929.57/129.65 c (124,0) c cpu time : 914.341 s 929.57/129.65 c (124,0) c 929.57/129.65 c (124,0) c 929.57/129.65 c (124,0) c 929.57/129.65 c (124,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 929.57/129.65 c (124,0) c 929.57/129.65 c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.65 c (124,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 929.57/129.65 c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.65 c (124,0) c | Conflicts | 5752115 | 727029 | 721841 | 715371 | 717188 | 717081 | 696591 | 736448 | 720566 | 929.57/129.65 c (124,0) c | Decisions | 11095842 | 1404692 | 1394897 | 1385768 | 1378383 | 1373695 | 1335447 | 1433096 | 1389864 | 929.57/129.65 c (124,0) c | Propagations | 427057947 | 53829263 | 53370969 | 53207630 | 53243153 | 53182093 | 52441366 | 54339638 | 53443835 | 929.57/129.65 c (124,0) c | ReduceDBs | 183 | 23 | 23 | 23 | 23 | 23 | 22 | 23 | 23 | 929.57/129.65 c (124,0) c | SimpDBs | 80 | 11 | 9 | 10 | 10 | 11 | 7 | 10 | 12 | 929.57/129.65 c (124,0) c | Restarts | 4311 | 489 | 591 | 518 | 531 | 526 | 502 | 685 | 469 | 929.57/129.65 c (124,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 929.57/129.65 c (124,0) c | PropBinClauses| 898263203 | 112569136 | 111377803 | 112229502 | 113182819 | 112075960 | 112810206 | 112551007 | 111466770 | 929.57/129.65 c (124,0) c | PropPreBlocker| 29893158694 | 3731253295 | 3743953572 | 3737216701 | 3707272487 | 3796702828 | 3688922298 | 3781591281 | 3706246232 | 929.57/129.65 c (124,0) c | PropNotBlocker| 4925683632 | 612178016 | 617318639 | 617141170 | 620334643 | 602375461 | 629788218 | 603424549 | 623122936 | 929.57/129.65 c (124,0) c | LitFullScans | 52961957780 | 6624963993 | 6619050084 | 6618093566 | 6625105803 | 6613621693 | 6623329286 | 6612792462 | 6625000893 | 929.57/129.65 c (124,0) c | LitScanFracts | 8306071 | 919333 | 1045239 | 905909 | 1096591 | 1616506 | 960691 | 768911 | 992891 | 929.57/129.65 c (124,0) c | DecisionLevel0| 4440 | 506 | 607 | 540 | 546 | 542 | 517 | 700 | 482 | 929.57/129.65 c (124,0) c | Periods | 8824 | 1104 | 1103 | 1102 | 1104 | 1102 | 1103 | 1102 | 1104 | 929.57/129.65 c (124,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 929.57/129.65 c (124,0) c | Avg_Trail | | 634 | 636 | 629 | 626 | 632 | 630 | 636 | 627 | 929.57/129.65 c (124,0) c | Avg_DL | | 22 | 22 | 21 | 21 | 21 | 21 | 22 | 22 | 929.57/129.65 c (124,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 929.57/129.65 c (124,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 929.57/129.65 c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.65 c (124,0) c | Exported | 675623 | 84333 | 87298 | 85883 | 80431 | 84012 | 84517 | 86049 | 83100 | 929.57/129.65 c (124,0) c | Imported | 4673185 | 584023 | 581592 | 582851 | 588370 | 584634 | 584424 | 581932 | 585359 | 929.57/129.65 c (124,0) c | Good | 14032 | 1749 | 1761 | 1749 | 1754 | 1799 | 1763 | 1708 | 1749 | 929.57/129.65 c (124,0) c | Purge | 4659153 | 582274 | 579831 | 581102 | 586616 | 582835 | 582661 | 580224 | 583610 | 929.57/129.65 c (124,0) c | Promoted | 388530 | 48585 | 50150 | 48525 | 47802 | 47556 | 47297 | 49144 | 49471 | 929.57/129.65 c (124,0) c | Remove_Imp | 3659949 | 465080 | 459529 | 457062 | 459869 | 465261 | 442988 | 447943 | 462217 | 929.57/129.65 c (124,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 929.57/129.65 c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.65 c (124,0) c | Unaries | | 17 | 16 | 22 | 15 | 16 | 15 | 15 | 13 | 929.57/129.65 c (124,0) c | Binaries | | 278 | 257 | 283 | 264 | 217 | 253 | 307 | 273 | 929.57/129.65 c (124,0) c | Glues | | 1022 | 1021 | 1043 | 1022 | 910 | 1054 | 1091 | 943 | 929.57/129.65 c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.65 c (124,0) c | Orig_Seen | 87 % | 9325 | 9494 | 9505 | 9461 | 9371 | 9404 | 9457 | 9597 | 929.57/129.65 c (124,0) c | Diff Orig seen| | - 180 | - 11 | X | - 44 | - 134 | - 101 | - 48 | 92 | 929.57/129.65 c (124,0) c | Hamming | 11 % | 295 | 331 | X | 265 | 308 | 242 | 277 | 327 | 929.57/129.65 c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.65 c (124,0) c | RunningTime | | 107.8 88%| 112.4 91%| 119.4 97%| 116.9 95%| 116.9 95%| 113.1 92%| 122.0 98%| 108.0 88%| 929.57/129.65 c (124,0) c | WaitingTime | | 14.5 12%| 10.1 8%| 3.0 2%| 5.4 4%| 6.1 5%| 9.2 8%| 1.6 1%| 14.4 12%| 929.57/129.65 c (124,0) c | ExchangingTime| | 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 929.57/129.65 c (124,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%| 929.57/129.65 c (124,0) c | SolvingTime | | 122.7 | 122.8 | 122.8 | 122.7 | 123.3 | 122.6 | 124.0 | 122.7 | 929.57/129.65 c (124,0) c | PropagationTim| | 96.5 79%| 93.0 76%| 83.1 68%| 81.8 67%| 83.0 67%| 86.3 70%| 84.7 68%| 93.4 76%| 929.57/129.65 c (124,0) c | AnalysisTime | | 22.9 19%| 26.5 22%| 36.6 30%| 37.6 31%| 37.2 30%| 33.4 27%| 35.9 29%| 26.0 21%| 929.57/129.65 c (124,0) c | ReductionTime | | 1.3 1%| 1.4 1%| 1.2 1%| 1.2 1%| 1.2 1%| 1.1 1%| 1.3 1%| 1.3 1%| 929.57/129.65 c (124,0) c | SimplifyTime | | 0.1 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.1 0%| 0.0 0%| 0.0 0%| 0.1 0%| 929.57/129.65 c (124,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%| 929.57/129.65 c (124,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%| 929.57/129.65 c (124,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.65 c (124,0) c 929.57/129.65 c (124,0) c 929.57/129.65 c (124,0) c Threads : 8 929.57/129.65 c (124,0) c Winner : 2 929.57/129.65 c (124,0) c Conflicts_0 : 727029 929.57/129.65 c (124,0) c Conflicts_1 : 721841 929.57/129.65 c (124,0) c Conflicts_2 : 715371 929.57/129.65 c (124,0) c Conflicts_3 : 717188 929.57/129.65 c (124,0) c Conflicts_4 : 717081 929.57/129.65 c (124,0) c Conflicts_5 : 696591 929.57/129.65 c (124,0) c Conflicts_6 : 736448 929.57/129.65 c (124,0) c Conflicts_7 : 720566 929.57/129.65 c (124,0) c Conflicts_total : 5752115 929.57/129.65 c (124,0) c Conflicts_winner : 715371 929.57/129.65 c (124,0) c Decisions_0 : 1404692 929.57/129.65 c (124,0) c Decisions_1 : 1394897 929.57/129.65 c (124,0) c Decisions_2 : 1385768 929.57/129.65 c (124,0) c Decisions_3 : 1378383 929.57/129.65 c (124,0) c Decisions_4 : 1373695 929.57/129.65 c (124,0) c Decisions_5 : 1335447 929.57/129.65 c (124,0) c Decisions_6 : 1433096 929.57/129.65 c (124,0) c Decisions_7 : 1389864 929.57/129.65 c (124,0) c Decisions_total : 11095842 929.57/129.65 c (124,0) c Decisions_winner : 1385768 929.57/129.65 c (124,0) c Propagations_0 : 53829263 929.57/129.65 c (124,0) c Propagations_1 : 53370969 929.57/129.65 c (124,0) c Propagations_2 : 53207630 929.57/129.65 c (124,0) c Propagations_3 : 53243153 929.57/129.65 c (124,0) c Propagations_4 : 53182093 929.57/129.65 c (124,0) c Propagations_5 : 52441366 929.57/129.65 c (124,0) c Propagations_6 : 54339638 929.57/129.65 c (124,0) c Propagations_7 : 53443835 929.57/129.65 c (124,0) c Propagations_total : 427057947 929.57/129.65 c (124,0) c Propagations_winner : 53207630 929.57/129.65 c (124,0) c ReduceDBs_0 : 23 929.57/129.65 c (124,0) c ReduceDBs_1 : 23 929.57/129.65 c (124,0) c ReduceDBs_2 : 23 929.57/129.65 c (124,0) c ReduceDBs_3 : 23 929.57/129.65 c (124,0) c ReduceDBs_4 : 23 929.57/129.65 c (124,0) c ReduceDBs_5 : 22 929.57/129.65 c (124,0) c ReduceDBs_6 : 23 929.57/129.65 c (124,0) c ReduceDBs_7 : 23 929.57/129.65 c (124,0) c ReduceDBs_total : 183 929.57/129.65 c (124,0) c ReduceDBs_winner : 23 929.57/129.65 c (124,0) c SimpDBs_0 : 11 929.57/129.65 c (124,0) c SimpDBs_1 : 9 929.57/129.65 c (124,0) c SimpDBs_2 : 10 929.57/129.65 c (124,0) c SimpDBs_3 : 10 929.57/129.65 c (124,0) c SimpDBs_4 : 11 929.57/129.65 c (124,0) c SimpDBs_5 : 7 929.57/129.65 c (124,0) c SimpDBs_6 : 10 929.57/129.65 c (124,0) c SimpDBs_7 : 12 929.57/129.65 c (124,0) c SimpDBs_total : 80 929.57/129.65 c (124,0) c SimpDBs_winner : 10 929.57/129.65 c (124,0) c Restarts_0 : 489 929.57/129.65 c (124,0) c Restarts_1 : 591 929.57/129.65 c (124,0) c Restarts_2 : 518 929.57/129.65 c (124,0) c Restarts_3 : 531 929.57/129.65 c (124,0) c Restarts_4 : 526 929.57/129.65 c (124,0) c Restarts_5 : 502 929.57/129.65 c (124,0) c Restarts_6 : 685 929.57/129.66 c (124,0) c Restarts_7 : 469 929.57/129.66 c (124,0) c Restarts_total : 4311 929.57/129.66 c (124,0) c Restarts_winner : 518 929.57/129.66 c (124,0) c ForcedImports_0 : 0 929.57/129.66 c (124,0) c ForcedImports_1 : 0 929.57/129.66 c (124,0) c ForcedImports_2 : 0 929.57/129.66 c (124,0) c ForcedImports_3 : 0 929.57/129.66 c (124,0) c ForcedImports_4 : 0 929.57/129.66 c (124,0) c ForcedImports_5 : 0 929.57/129.66 c (124,0) c ForcedImports_6 : 0 929.57/129.66 c (124,0) c ForcedImports_7 : 0 929.57/129.66 c (124,0) c ForcedImports_total : 0 929.57/129.66 c (124,0) c ForcedImports_winner : 0 929.57/129.66 c (124,0) c PropsBinClauses_0 : 112569136 929.57/129.66 c (124,0) c PropsBinClauses_1 : 111377803 929.57/129.66 c (124,0) c PropsBinClauses_2 : 112229502 929.57/129.66 c (124,0) c PropsBinClauses_3 : 113182819 929.57/129.66 c (124,0) c PropsBinClauses_4 : 112075960 929.57/129.66 c (124,0) c PropsBinClauses_5 : 112810206 929.57/129.66 c (124,0) c PropsBinClauses_6 : 112551007 929.57/129.66 c (124,0) c PropsBinClauses_7 : 111466770 929.57/129.66 c (124,0) c PropsBinClauses_total : 898263203 929.57/129.66 c (124,0) c PropsBinClauses_winner : 112229502 929.57/129.66 c (124,0) c PropsPreBlocker_0 : 3731253295 929.57/129.66 c (124,0) c PropsPreBlocker_1 : 3743953572 929.57/129.66 c (124,0) c PropsPreBlocker_2 : 3737216701 929.57/129.66 c (124,0) c PropsPreBlocker_3 : 3707272487 929.57/129.66 c (124,0) c PropsPreBlocker_4 : 3796702828 929.57/129.66 c (124,0) c PropsPreBlocker_5 : 3688922298 929.57/129.66 c (124,0) c PropsPreBlocker_6 : 3781591281 929.57/129.66 c (124,0) c PropsPreBlocker_7 : 3706246232 929.57/129.66 c (124,0) c PropsPreBlocker_total : 29893158694 929.57/129.66 c (124,0) c PropsPreBlocker_winner : 3737216701 929.57/129.66 c (124,0) c PropsNotBlocker_0 : 612178016 929.57/129.66 c (124,0) c PropsNotBlocker_1 : 617318639 929.57/129.66 c (124,0) c PropsNotBlocker_2 : 617141170 929.57/129.66 c (124,0) c PropsNotBlocker_3 : 620334643 929.57/129.66 c (124,0) c PropsNotBlocker_4 : 602375461 929.57/129.66 c (124,0) c PropsNotBlocker_5 : 629788218 929.57/129.66 c (124,0) c PropsNotBlocker_6 : 603424549 929.57/129.66 c (124,0) c PropsNotBlocker_7 : 623122936 929.57/129.66 c (124,0) c PropsNotBlocker_total : 4925683632 929.57/129.66 c (124,0) c PropsNotBlocker_winner : 617141170 929.57/129.66 c (124,0) c PropsLitFullScans_0 : 6624963993 929.57/129.66 c (124,0) c PropsLitFullScans_1 : 6619050084 929.57/129.66 c (124,0) c PropsLitFullScans_2 : 6618093566 929.57/129.66 c (124,0) c PropsLitFullScans_3 : 6625105803 929.57/129.66 c (124,0) c PropsLitFullScans_4 : 6613621693 929.57/129.66 c (124,0) c PropsLitFullScans_5 : 6623329286 929.57/129.66 c (124,0) c PropsLitFullScans_6 : 6612792462 929.57/129.66 c (124,0) c PropsLitFullScans_7 : 6625000893 929.57/129.66 c (124,0) c PropsLitFullScans_total : 52961957780 929.57/129.66 c (124,0) c PropsLitFullScans_winner : 6618093566 929.57/129.66 c (124,0) c LitScanFractions_0 : 919333 929.57/129.66 c (124,0) c LitScanFractions_1 : 1045239 929.57/129.66 c (124,0) c LitScanFractions_2 : 905909 929.57/129.66 c (124,0) c LitScanFractions_3 : 1096591 929.57/129.66 c (124,0) c LitScanFractions_4 : 1616506 929.57/129.66 c (124,0) c LitScanFractions_5 : 960691 929.57/129.66 c (124,0) c LitScanFractions_6 : 768911 929.57/129.66 c (124,0) c LitScanFractions_7 : 992891 929.57/129.66 c (124,0) c LitScanFractions_total : 8306071 929.57/129.66 c (124,0) c LitScanFractions_winner : 905909 929.57/129.66 c (124,0) c DecisionLevel0_0 : 506 929.57/129.66 c (124,0) c DecisionLevel0_1 : 607 929.57/129.66 c (124,0) c DecisionLevel0_2 : 540 929.57/129.66 c (124,0) c DecisionLevel0_3 : 546 929.57/129.66 c (124,0) c DecisionLevel0_4 : 542 929.57/129.66 c (124,0) c DecisionLevel0_5 : 517 929.57/129.66 c (124,0) c DecisionLevel0_6 : 700 929.57/129.66 c (124,0) c DecisionLevel0_7 : 482 929.57/129.66 c (124,0) c DecisionLevel0_total : 4440 929.57/129.66 c (124,0) c DecisionLevel0_winner : 540 929.57/129.66 c (124,0) c Periods_0 : 1104 929.57/129.66 c (124,0) c Periods_1 : 1103 929.57/129.66 c (124,0) c Periods_2 : 1102 929.57/129.66 c (124,0) c Periods_3 : 1104 929.57/129.66 c (124,0) c Periods_4 : 1102 929.57/129.66 c (124,0) c Periods_5 : 1103 929.57/129.66 c (124,0) c Periods_6 : 1102 929.57/129.66 c (124,0) c Periods_7 : 1104 929.57/129.66 c (124,0) c Periods_total : 8824 929.57/129.66 c (124,0) c Periods_winner : 1102 929.57/129.66 c (124,0) c Margin_0 : 20 929.57/129.66 c (124,0) c Margin_1 : 20 929.57/129.66 c (124,0) c Margin_2 : 20 929.57/129.66 c (124,0) c Margin_3 : 20 929.57/129.66 c (124,0) c Margin_4 : 20 929.57/129.66 c (124,0) c Margin_5 : 20 929.57/129.66 c (124,0) c Margin_6 : 20 929.57/129.66 c (124,0) c Margin_7 : 20 929.57/129.66 c (124,0) c Margin_total : 160 929.57/129.66 c (124,0) c Margin_winner : 20 929.57/129.66 c (124,0) c Exported_0 : 84333 929.57/129.66 c (124,0) c Exported_1 : 87298 929.57/129.66 c (124,0) c Exported_2 : 85883 929.57/129.66 c (124,0) c Exported_3 : 80431 929.57/129.66 c (124,0) c Exported_4 : 84012 929.57/129.66 c (124,0) c Exported_5 : 84517 929.57/129.66 c (124,0) c Exported_6 : 86049 929.57/129.66 c (124,0) c Exported_7 : 83100 929.57/129.66 c (124,0) c Exported_total : 675623 929.57/129.66 c (124,0) c Exported_winner : 85883 929.57/129.66 c (124,0) c Imported_0 : 584023 929.57/129.66 c (124,0) c Imported_1 : 581592 929.57/129.66 c (124,0) c Imported_2 : 582851 929.57/129.66 c (124,0) c Imported_3 : 588370 929.57/129.66 c (124,0) c Imported_4 : 584634 929.57/129.66 c (124,0) c Imported_5 : 584424 929.57/129.66 c (124,0) c Imported_6 : 581932 929.57/129.66 c (124,0) c Imported_7 : 585359 929.57/129.66 c (124,0) c Imported_total : 4673185 929.57/129.66 c (124,0) c Imported_winner : 582851 929.57/129.66 c (124,0) c Good_0 : 1749 929.57/129.66 c (124,0) c Good_1 : 1761 929.57/129.66 c (124,0) c Good_2 : 1749 929.57/129.66 c (124,0) c Good_3 : 1754 929.57/129.66 c (124,0) c Good_4 : 1799 929.57/129.66 c (124,0) c Good_5 : 1763 929.57/129.66 c (124,0) c Good_6 : 1708 929.57/129.66 c (124,0) c Good_7 : 1749 929.57/129.66 c (124,0) c Good_total : 14032 929.57/129.66 c (124,0) c Good_winner : 1749 929.57/129.66 c (124,0) c Purge_0 : 582274 929.57/129.66 c (124,0) c Purge_1 : 579831 929.57/129.66 c (124,0) c Purge_2 : 581102 929.57/129.66 c (124,0) c Purge_3 : 586616 929.57/129.66 c (124,0) c Purge_4 : 582835 929.57/129.66 c (124,0) c Purge_5 : 582661 929.57/129.66 c (124,0) c Purge_6 : 580224 929.57/129.66 c (124,0) c Purge_7 : 583610 929.57/129.66 c (124,0) c Purge_total : 4659153 929.57/129.66 c (124,0) c Purge_winner : 581102 929.57/129.66 c (124,0) c Promoted_0 : 48585 929.57/129.66 c (124,0) c Promoted_1 : 50150 929.57/129.66 c (124,0) c Promoted_2 : 48525 929.57/129.66 c (124,0) c Promoted_3 : 47802 929.57/129.66 c (124,0) c Promoted_4 : 47556 929.57/129.66 c (124,0) c Promoted_5 : 47297 929.57/129.66 c (124,0) c Promoted_6 : 49144 929.57/129.66 c (124,0) c Promoted_7 : 49471 929.57/129.66 c (124,0) c Promoted_total : 388530 929.57/129.66 c (124,0) c Promoted_winner : 48525 929.57/129.66 c (124,0) c Remove_Imp_0 : 465080 929.57/129.66 c (124,0) c Remove_Imp_1 : 459529 929.57/129.66 c (124,0) c Remove_Imp_2 : 457062 929.57/129.66 c (124,0) c Remove_Imp_3 : 459869 929.57/129.66 c (124,0) c Remove_Imp_4 : 465261 929.57/129.66 c (124,0) c Remove_Imp_5 : 442988 929.57/129.66 c (124,0) c Remove_Imp_6 : 447943 929.57/129.66 c (124,0) c Remove_Imp_7 : 462217 929.57/129.66 c (124,0) c Remove_Imp_total : 3659949 929.57/129.66 c (124,0) c Remove_Imp_winner : 457062 929.57/129.66 c (124,0) c Blocked_Reuse_0 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_1 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_2 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_3 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_4 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_5 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_6 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_7 : 0 929.57/129.66 c (124,0) c Blocked_Reuse_total : 0 929.57/129.66 c (124,0) c Blocked_Reuse_winner : 0 929.57/129.66 c (124,0) c Unaries_0 : 17 929.57/129.66 c (124,0) c Unaries_1 : 16 929.57/129.66 c (124,0) c Unaries_2 : 22 929.57/129.66 c (124,0) c Unaries_3 : 15 929.57/129.66 c (124,0) c Unaries_4 : 16 929.57/129.66 c (124,0) c Unaries_5 : 15 929.57/129.66 c (124,0) c Unaries_6 : 15 929.57/129.66 c (124,0) c Unaries_7 : 13 929.57/129.66 c (124,0) c Unaries_total : 129 929.57/129.66 c (124,0) c Unaries_winner : 22 929.57/129.66 c (124,0) c Binaries_0 : 278 929.57/129.66 c (124,0) c Binaries_1 : 257 929.57/129.66 c (124,0) c Binaries_2 : 283 929.57/129.66 c (124,0) c Binaries_3 : 264 929.57/129.66 c (124,0) c Binaries_4 : 217 929.57/129.66 c (124,0) c Binaries_5 : 253 929.57/129.66 c (124,0) c Binaries_6 : 307 929.57/129.66 c (124,0) c Binaries_7 : 273 929.57/129.66 c (124,0) c Binaries_total : 2132 929.57/129.66 c (124,0) c Binaries_winner : 283 929.57/129.66 c (124,0) c Glues_0 : 1022 929.57/129.66 c (124,0) c Glues_1 : 1021 929.57/129.66 c (124,0) c Glues_2 : 1043 929.57/129.66 c (124,0) c Glues_3 : 1022 929.57/129.66 c (124,0) c Glues_4 : 910 929.57/129.66 c (124,0) c Glues_5 : 1054 929.57/129.66 c (124,0) c Glues_6 : 1091 929.57/129.66 c (124,0) c Glues_7 : 943 929.57/129.66 c (124,0) c Glues_total : 8106 929.57/129.66 c (124,0) c Glues_winner : 1043 929.57/129.66 c (124,0) c RunningTime_0 : 107.811616 929.57/129.66 c (124,0) c RunningTime_1 : 112.398679 929.57/129.66 c (124,0) c RunningTime_2 : 119.395600 929.57/129.66 c (124,0) c RunningTime_3 : 116.944894 929.57/129.66 c (124,0) c RunningTime_4 : 116.854493 929.57/129.66 c (124,0) c RunningTime_5 : 113.069980 929.57/129.66 c (124,0) c RunningTime_6 : 122.041223 929.57/129.66 c (124,0) c RunningTime_7 : 107.959314 929.57/129.66 c (124,0) c RunningTime_total : 916.475799 929.57/129.66 c (124,0) c RunningTime_winner : 119.395600 929.57/129.66 c (124,0) c WaitingTime_0 : 14.496288 929.57/129.66 c (124,0) c WaitingTime_1 : 10.118301 929.57/129.66 c (124,0) c WaitingTime_2 : 3.028423 929.57/129.66 c (124,0) c WaitingTime_3 : 5.430957 929.57/129.66 c (124,0) c WaitingTime_4 : 6.118500 929.57/129.66 c (124,0) c WaitingTime_5 : 9.231160 929.57/129.66 c (124,0) c WaitingTime_6 : 1.626656 929.57/129.66 c (124,0) c WaitingTime_7 : 14.372531 929.57/129.66 c (124,0) c WaitingTime_total : 64.422816 929.57/129.66 c (124,0) c WaitingTime_winner : 3.028423 929.57/129.66 c (124,0) c ExchangingTime_0 : 0.339495 929.57/129.66 c (124,0) c ExchangingTime_1 : 0.321764 929.57/129.66 c (124,0) c ExchangingTime_2 : 0.334225 929.57/129.66 c (124,0) c ExchangingTime_3 : 0.301895 929.57/129.66 c (124,0) c ExchangingTime_4 : 0.308127 929.57/129.66 c (124,0) c ExchangingTime_5 : 0.315953 929.57/129.66 c (124,0) c ExchangingTime_6 : 0.329019 929.57/129.66 c (124,0) c ExchangingTime_7 : 0.314643 929.57/129.66 c (124,0) c ExchangingTime_total : 2.565121 929.57/129.66 c (124,0) c ExchangingTime_winner : 0.334225 929.57/129.66 c (124,0) c PeriodProcTime_0 : 0.010905 929.57/129.66 c (124,0) c PeriodProcTime_1 : 0.010756 929.57/129.66 c (124,0) c PeriodProcTime_2 : 0.009967 929.57/129.66 c (124,0) c PeriodProcTime_3 : 0.011511 929.57/129.66 c (124,0) c PeriodProcTime_4 : 0.009726 929.57/129.66 c (124,0) c PeriodProcTime_5 : 0.011521 929.57/129.66 c (124,0) c PeriodProcTime_6 : 0.014021 929.57/129.67 c (124,0) c PeriodProcTime_7 : 0.011219 929.57/129.67 c (124,0) c PeriodProcTime_total : 0.089626 929.57/129.67 c (124,0) c PeriodProcTime_winner : 0.009967 929.57/129.67 c (124,0) c SolvingTime_0 : 122.658303 929.57/129.67 c (124,0) c SolvingTime_1 : 122.849500 929.57/129.67 c (124,0) c SolvingTime_2 : 122.768215 929.57/129.67 c (124,0) c SolvingTime_3 : 122.689257 929.57/129.67 c (124,0) c SolvingTime_4 : 123.290846 929.57/129.67 c (124,0) c SolvingTime_5 : 122.628614 929.57/129.67 c (124,0) c SolvingTime_6 : 124.010920 929.57/129.67 c (124,0) c SolvingTime_7 : 122.657706 929.57/129.67 c (124,0) c SolvingTime_total : 983.553361 929.57/129.67 c (124,0) c SolvingTime_winner : 122.768215 929.57/129.67 c (124,0) c PropagationTime_0 : 96.525033 929.57/129.67 c (124,0) c PropagationTime_1 : 92.973885 929.57/129.67 c (124,0) c PropagationTime_2 : 83.078006 929.57/129.67 c (124,0) c PropagationTime_3 : 81.822418 929.57/129.67 c (124,0) c PropagationTime_4 : 82.980158 929.57/129.67 c (124,0) c PropagationTime_5 : 86.310243 929.57/129.67 c (124,0) c PropagationTime_6 : 84.691437 929.57/129.67 c (124,0) c PropagationTime_7 : 93.409691 929.57/129.67 c (124,0) c PropagationTime_total : 701.790870 929.57/129.67 c (124,0) c PropagationTime_winner : 83.078006 929.57/129.67 c (124,0) c AnalysisTime_0 : 22.860841 929.57/129.67 c (124,0) c AnalysisTime_1 : 26.523996 929.57/129.67 c (124,0) c AnalysisTime_2 : 36.582826 929.57/129.67 c (124,0) c AnalysisTime_3 : 37.640621 929.57/129.67 c (124,0) c AnalysisTime_4 : 37.185251 929.57/129.67 c (124,0) c AnalysisTime_5 : 33.399447 929.57/129.67 c (124,0) c AnalysisTime_6 : 35.940368 929.57/129.67 c (124,0) c AnalysisTime_7 : 26.049186 929.57/129.67 c (124,0) c AnalysisTime_total : 256.182536 929.57/129.67 c (124,0) c AnalysisTime_winner : 36.582826 929.57/129.67 c (124,0) c ReductionTime_0 : 1.278992 929.57/129.67 c (124,0) c ReductionTime_1 : 1.368022 929.57/129.67 c (124,0) c ReductionTime_2 : 1.199654 929.57/129.67 c (124,0) c ReductionTime_3 : 1.234929 929.57/129.67 c (124,0) c ReductionTime_4 : 1.233667 929.57/129.67 c (124,0) c ReductionTime_5 : 1.084246 929.57/129.67 c (124,0) c ReductionTime_6 : 1.331255 929.57/129.67 c (124,0) c ReductionTime_7 : 1.250882 929.57/129.67 c (124,0) c ReductionTime_total : 9.981648 929.57/129.67 c (124,0) c ReductionTime_winner : 1.199654 929.57/129.67 c (124,0) c SimplifyTime_0 : 0.055863 929.57/129.67 c (124,0) c SimplifyTime_1 : 0.041917 929.57/129.67 c (124,0) c SimplifyTime_2 : 0.044442 929.57/129.67 c (124,0) c SimplifyTime_3 : 0.042802 929.57/129.67 c (124,0) c SimplifyTime_4 : 0.050374 929.57/129.67 c (124,0) c SimplifyTime_5 : 0.038112 929.57/129.67 c (124,0) c SimplifyTime_6 : 0.039801 929.57/129.67 c (124,0) c SimplifyTime_7 : 0.105390 929.57/129.67 c (124,0) c SimplifyTime_total : 0.418701 929.57/129.67 c (124,0) c SimplifyTime_winner : 0.044442 929.57/129.67 c (124,0) c UsedRateTime_0 : 0.000000 929.57/129.67 c (124,0) c UsedRateTime_1 : 0.000000 929.57/129.67 c (124,0) c UsedRateTime_2 : 0.000000 929.57/129.68 c (124,0) c UsedRateTime_3 : 0.000000 929.57/129.68 c (124,0) c UsedRateTime_4 : 0.000000 929.57/129.68 c (124,0) c UsedRateTime_5 : 0.000000 929.57/129.68 c (124,0) c UsedRateTime_6 : 0.000000 929.57/129.68 c (124,0) c UsedRateTime_7 : 0.000000 929.57/129.68 c (124,0) c UsedRateTime_total : 0.000000 929.57/129.68 c (124,0) c UsedRateTime_winner : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_0 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_1 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_2 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_3 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_4 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_5 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_6 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_7 : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_total : 0.000000 929.57/129.68 c (124,0) c OverlapRateTime_winner : 0.000000 929.57/129.68 c (124,0) c 929.57/129.68 c (124,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 929.57/129.68 c (124,0) c 929.57/129.68 c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.68 c (124,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 929.57/129.68 c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.68 c (124,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 929.57/129.68 c (124,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 929.57/129.68 c (124,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 929.57/129.68 c (124,0) c | Initial random_seed | 1091171930 | 1563736294 | 653525899 | 1651554219 | 1481560006 | 301270029 | 1598407428 | 818524449 | 929.57/129.68 c (124,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 929.57/129.68 c (124,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 929.57/129.68 c (124,0) c | glureduce | True | True | True | True | True | True | True | True | 929.57/129.68 c (124,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 929.57/129.68 c (124,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 929.57/129.68 c (124,0) c | luby_restart | False | False | False | False | False | False | False | False | 929.57/129.68 c (124,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 929.57/129.68 c (124,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 929.57/129.68 c (124,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 929.57/129.68 c (124,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 929.57/129.68 c (124,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 929.57/129.68 c (124,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 929.57/129.68 c (124,0) 929.57/129.68 c (124,0) s UNSATISFIABLE 929.57/129.68 c (124,0) SatSolver.solve End 929.57/129.68 c (124,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 929.57/129.68 c (124,0) Show results Begin 929.57/129.68 s UNSATISFIABLE 929.57/129.68 c (124,0) Show results End 929.57/129.68 c (124,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 929.57/129.68 c (124,0) 124,124,STOP-AFTER(ALL) 929.57/129.68 c END-Prog: Sat Sep 14 06:53:25 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 (10816 MiB free) memory of node 1: 16384 MiB (13303 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392437-1568436716/watcher-4392437-1568436716 -o /tmp/evaluation-result-4392437-1568436716/solver-4392437-1568436716 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --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-4392437-1568436716.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=10590, runsolver pid=10587 [startup+0.100214 s]* /proc/loadavg: 5.98 6.97 7.37 2/212 10612 /proc/meminfo: memFree=24606708/32770624 swapFree=67108848/67108860 [pid=10590] ppid=10587 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/10590/stat : 10590 (scop.sh) S 10587 10590 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419608996 115843072 348 33554432000 4194304 5098028 140735788322480 140735788319736 140006594486908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29569024 140735788323621 140735788323948 140735788323948 140735788326861 0 /proc/10590/statm: 28282 348 296 221 0 87 0 [pid=10593] ppid=10590 vsize=27314120 memory=104048 CPUtime=0.1 cores=0-7 /proc/10593/stat : 10593 (java) S 10590 10590 10407 0 -1 1077944320 6581 0 0 0 8 2 0 0 20 0 20 0 419608997 27969658880 26012 33554432000 4194304 4196468 140727511327200 140727511309744 139887854202615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 /proc/10593/statm: 6828530 26012 2811 1 0 6790935 0 [pid=10593/tid=10594] ppid=10590 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/10593/task/10594/stat : 10594 (java) R 10590 10590 10407 0 -1 4202560 4651 0 0 0 7 1 0 0 20 0 20 0 419608997 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887826023936 139887834479440 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10595] ppid=10590 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10593/task/10595/stat : 10595 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887858445328 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10596] ppid=10590 vsize=27314120 memory=140102015936128 CPUtime=0 cores=0-7 /proc/10593/task/10596/stat : 10596 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887276043408 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10597] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10597/stat : 10597 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887274990352 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10598] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10598/stat : 10598 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887273937808 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10599] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10599/stat : 10599 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887272884752 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10600] ppid=10590 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10593/task/10600/stat : 10600 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887271832208 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10601] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10601/stat : 10601 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887270779152 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10602] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10602/stat : 10602 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 26524 33554432000 4194304 4196468 140727511327200 139887269726608 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10603] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10603/stat : 10603 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419609001 27969658880 26524 33554432000 4194304 4196468 140727511327200 139886979750640 139887854213762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10604] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10604/stat : 10604 (java) S 10590 10590 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419609001 27969658880 26524 33554432000 4194304 4196468 140727511327200 139885608429216 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10605] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10605/stat : 10605 (java) S 10590 10590 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419609002 27969658880 26524 33554432000 4194304 4196468 140727511327200 139885474206960 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10606] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10606/stat : 10606 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 26524 33554432000 4194304 4196468 140727511327200 139885099702736 139887854221211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10607] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10607/stat : 10607 (java) S 10590 10590 10407 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 26524 33554432000 4194304 4196468 140727511327200 139886978697456 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10608] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10608/stat : 10608 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 26524 33554432000 4194304 4196468 140727511327200 139886977644912 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10609] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10609/stat : 10609 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 26524 33554432000 4194304 4196468 140727511327200 139886976591856 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10610] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10610/stat : 10610 (java) S 10590 10590 10407 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 26524 33554432000 4194304 4196468 140727511327200 139886975539312 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10611] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10611/stat : 10611 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 26524 33554432000 4194304 4196468 140727511327200 139884601797600 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10612] ppid=10590 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10593/task/10612/stat : 10612 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609005 27969658880 26524 33554432000 4194304 4196468 140727511327200 139886974487728 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 105440 KiB [startup+0.210214 s]* /proc/loadavg: 5.98 6.97 7.37 3/212 10612 /proc/meminfo: memFree=24584616/32770624 swapFree=67108848/67108860 [pid=10590] ppid=10587 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/10590/stat : 10590 (scop.sh) S 10587 10590 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419608996 115843072 348 33554432000 4194304 5098028 140735788322480 140735788319736 140006594486908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29569024 140735788323621 140735788323948 140735788323948 140735788326861 0 /proc/10590/statm: 28282 348 296 221 0 87 0 [pid=10593] ppid=10590 vsize=27314120 memory=123168 CPUtime=0.24 cores=0-7 /proc/10593/stat : 10593 (java) S 10590 10590 10407 0 -1 1077944320 12102 0 0 0 21 3 0 0 20 0 20 0 419608997 27969658880 30792 33554432000 4194304 4196468 140727511327200 140727511309744 139887854202615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 /proc/10593/statm: 6828530 30792 2930 1 0 6790935 0 [pid=10593/tid=10594] ppid=10590 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/10593/task/10594/stat : 10594 (java) R 10590 10590 10407 0 -1 4202560 9762 0 0 0 17 2 0 0 20 0 20 0 419608997 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887826026576 139887839368270 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10595] ppid=10590 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/10593/task/10595/stat : 10595 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887858445328 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10596] ppid=10590 vsize=27314120 memory=140102019025328 CPUtime=0 cores=0-7 /proc/10593/task/10596/stat : 10596 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887276043408 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10597] ppid=10590 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10593/task/10597/stat : 10597 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887274990352 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10598] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10598/stat : 10598 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887273937808 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10599] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10599/stat : 10599 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887272884752 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10600] ppid=10590 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10593/task/10600/stat : 10600 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887271832208 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10601] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10601/stat : 10601 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887270779152 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10602] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10602/stat : 10602 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 30792 33554432000 4194304 4196468 140727511327200 139887269726608 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10603] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10603/stat : 10603 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419609001 27969658880 30792 33554432000 4194304 4196468 140727511327200 139886979750640 139887854213762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10604] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10604/stat : 10604 (java) S 10590 10590 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419609001 27969658880 30792 33554432000 4194304 4196468 140727511327200 139885608429216 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10605] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10605/stat : 10605 (java) S 10590 10590 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419609002 27969658880 30792 33554432000 4194304 4196468 140727511327200 139885474206960 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10606] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10606/stat : 10606 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 30792 33554432000 4194304 4196468 140727511327200 139885099702736 139887854221211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10607] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10607/stat : 10607 (java) S 10590 10590 10407 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 30792 33554432000 4194304 4196468 140727511327200 139886978697456 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10608] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10608/stat : 10608 (java) S 10590 10590 10407 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 30792 33554432000 4194304 4196468 140727511327200 139886977644912 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10609] ppid=10590 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10593/task/10609/stat : 10609 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 30792 33554432000 4194304 4196468 140727511327200 139886976591856 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10610] ppid=10590 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/10593/task/10610/stat : 10610 (java) S 10590 10590 10407 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 20 0 419609004 27969658880 30792 33554432000 4194304 4196468 140727511327200 139886975539312 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10611] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10611/stat : 10611 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 30792 33554432000 4194304 4196468 140727511327200 139884601797600 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10612] ppid=10590 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10593/task/10612/stat : 10612 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609005 27969658880 30792 33554432000 4194304 4196468 140727511327200 139886974487728 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124560 KiB [startup+0.309503 s]* /proc/loadavg: 5.98 6.97 7.37 2/212 10612 /proc/meminfo: memFree=24581948/32770624 swapFree=67108848/67108860 [pid=10590] ppid=10587 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/10590/stat : 10590 (scop.sh) S 10587 10590 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419608996 115843072 348 33554432000 4194304 5098028 140735788322480 140735788319736 140006594486908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29569024 140735788323621 140735788323948 140735788323948 140735788326861 0 /proc/10590/statm: 28282 348 296 221 0 87 0 [pid=10593] ppid=10590 vsize=27314120 memory=127144 CPUtime=0.43 cores=0-7 /proc/10593/stat : 10593 (java) S 10590 10590 10407 0 -1 1077944320 13183 0 0 0 39 4 0 0 20 0 20 0 419608997 27969658880 31786 33554432000 4194304 4196468 140727511327200 140727511309744 139887854202615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 /proc/10593/statm: 6828530 31786 3033 1 0 6790935 0 [pid=10593/tid=10594] ppid=10590 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/10593/task/10594/stat : 10594 (java) R 10590 10590 10407 0 -1 4202560 10574 0 0 0 27 3 0 0 20 0 20 0 419608997 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887826016480 139887838283102 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10595] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10595/stat : 10595 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887858445328 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10596] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10596/stat : 10596 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887276043408 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10597] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10597/stat : 10597 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887274990352 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10598] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10598/stat : 10598 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419608999 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887273937808 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10599] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10599/stat : 10599 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887272884752 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10600] ppid=10590 vsize=27314120 memory=140101900397231 CPUtime=0 cores=0-7 /proc/10593/task/10600/stat : 10600 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887271832208 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10601] ppid=10590 vsize=27314120 memory=140101900399536 CPUtime=0 cores=0-7 /proc/10593/task/10601/stat : 10601 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887270779152 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10602] ppid=10590 vsize=27314120 memory=140101900401840 CPUtime=0 cores=0-7 /proc/10593/task/10602/stat : 10602 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609000 27969658880 31786 33554432000 4194304 4196468 140727511327200 139887269726608 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10603] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10603/stat : 10603 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419609001 27969658880 31786 33554432000 4194304 4196468 140727511327200 139886979750640 139887854213762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10604] ppid=10590 vsize=27314120 memory=280203800817552 CPUtime=0 cores=0-7 /proc/10593/task/10604/stat : 10604 (java) S 10590 10590 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419609001 27969658880 31786 33554432000 4194304 4196468 140727511327200 139885608429216 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10605] ppid=10590 vsize=27314120 memory=280203800815248 CPUtime=0 cores=0-7 /proc/10593/task/10605/stat : 10605 (java) S 10590 10590 10407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419609002 27969658880 31786 33554432000 4194304 4196468 140727511327200 139885474206960 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10606] ppid=10590 vsize=27314120 memory=280203800822160 CPUtime=0 cores=0-7 /proc/10593/task/10606/stat : 10606 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 31786 33554432000 4194304 4196468 140727511327200 139885099702736 139887854221211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10607] ppid=10590 vsize=27314120 memory=280203800763440 CPUtime=0.01 cores=0-7 /proc/10593/task/10607/stat : 10607 (java) R 10590 10590 10407 0 -1 4202560 532 0 0 0 1 0 0 0 20 0 20 0 419609004 27969658880 31786 33554432000 4194304 4196468 140727511327200 139886978697456 139887847309196 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10608] ppid=10590 vsize=27314120 memory=280203800835984 CPUtime=0 cores=0-7 /proc/10593/task/10608/stat : 10608 (java) S 10590 10590 10407 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 31786 33554432000 4194304 4196468 140727511327200 139886977644912 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10609] ppid=10590 vsize=27314120 memory=280203800842896 CPUtime=0.01 cores=0-7 /proc/10593/task/10609/stat : 10609 (java) S 10590 10590 10407 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 419609004 27969658880 31786 33554432000 4194304 4196468 140727511327200 139886976591856 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10610] ppid=10590 vsize=27314120 memory=280203800840592 CPUtime=0.07 cores=0-7 /proc/10593/task/10610/stat : 10610 (java) S 10590 10590 10407 0 -1 1077944384 615 0 0 0 7 0 0 0 20 0 20 0 419609004 27969658880 31786 33554432000 4194304 4196468 140727511327200 139886975539312 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10611] ppid=10590 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10611/stat : 10611 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419609004 27969658880 31786 33554432000 4194304 4196468 140727511327200 139884601797600 139887854212821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10612] ppid=10590 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/10593/task/10612/stat : 10612 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419609005 27969658880 31786 33554432000 4194304 4196468 140727511327200 139886974487728 139887854213762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128536 KiB [startup+0.700856 s] /proc/loadavg: 5.98 6.97 7.37 2/212 10612 /proc/meminfo: memFree=24560356/32770624 swapFree=67108848/67108860 [pid=10590] ppid=10587 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/10590/stat : 10590 (scop.sh) S 10587 10590 10407 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419608996 115843072 348 33554432000 4194304 5098028 140735788322480 140735788319736 140006594486908 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29569024 140735788323621 140735788323948 140735788323948 140735788326861 0 /proc/10590/statm: 28282 348 296 221 0 87 0 [pid=10593] ppid=10590 vsize=27320392 memory=162324 CPUtime=0.99 cores=0-7 /proc/10593/stat : 10593 (java) S 10590 10590 10407 0 -1 1077944320 20235 0 0 0 93 6 0 0 20 0 20 0 419608997 27976081408 40581 33554432000 4194304 4196468 140727511327200 140727511309744 139887854202615 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 /proc/10593/statm: 6830098 40581 3182 1 0 6791447 0 [pid=10593/tid=10594] ppid=10590 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7 /proc/10593/task/10594/stat : 10594 (java) R 10590 10590 10407 0 -1 4202560 17002 0 0 0 63 5 0 0 20 0 20 0 419608997 27976081408 40581 33554432000 4194304 4196468 140727511327200 139887826039824 139887357014429 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10595] ppid=10590 vsize=27320392 memory=140101900608368 CPUtime=0 cores=0-7 /proc/10593/task/10595/stat : 10595 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27976081408 40581 33554432000 4194304 4196468 140727511327200 139887858445328 139887854212821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10596] ppid=10590 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/10593/task/10596/stat : 10596 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27976081408 40581 33554432000 4194304 4196468 140727511327200 139887276043408 139887854212821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 [pid=10593/tid=10597] ppid=10590 vsize=27320392 memory=7180 CPUtime=0 cores=0-7 /proc/10593/task/10597/stat : 10597 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419608999 27976081408 40581 33554432000 4194304 4196468 140727511327200 139887274990352 139887854212821 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17809408 140727511331563 140727511331990 140727511331990 140727511334863 0 ################ # More data... # ################ [pid=10613/tid=10628] ppid=10590 vsize=8414124 memory=3978000793522762438 CPUtime=0.07 cores=0-7 /proc/10613/task/10628/stat : 10628 (java) S 10590 10590 10407 0 -1 1077944384 418 0 0 0 7 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758509501296 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10629] ppid=10590 vsize=8414124 memory=3761553103136323810 CPUtime=0.06 cores=0-7 /proc/10613/task/10629/stat : 10629 (java) S 10590 10590 10407 0 -1 1077944384 308 0 0 0 6 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758508448240 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10630] ppid=10590 vsize=8414124 memory=7452171385925423696 CPUtime=0.21 cores=0-7 /proc/10613/task/10630/stat : 10630 (java) S 10590 10590 10407 0 -1 1077944384 710 0 0 0 21 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758507395696 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10631] ppid=10590 vsize=8414124 memory=7452171385925423696 CPUtime=0 cores=0-7 /proc/10613/task/10631/stat : 10631 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756692302304 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10632] ppid=10590 vsize=8414124 memory=752 CPUtime=0.08 cores=0-7 /proc/10613/task/10632/stat : 10632 (java) S 10590 10590 10407 0 -1 1077944384 9 0 0 0 5 3 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758506343088 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10634] ppid=10590 vsize=8414124 memory=1636 CPUtime=0 cores=0-7 /proc/10613/task/10634/stat : 10634 (java) S 10590 10590 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419609551 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758504731584 139759216733977 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10636] ppid=10590 vsize=8414124 memory=812 CPUtime=0 cores=0-7 /proc/10613/task/10636/stat : 10636 (java) S 10590 10590 10407 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419609552 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756021202960 139759216731293 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10637] ppid=10590 vsize=8414124 memory=1840 CPUtime=0 cores=0-7 /proc/10613/task/10637/stat : 10637 (java) S 10590 10590 10407 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419609552 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756289638544 139759216731293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10646] ppid=10590 vsize=8414124 memory=1384 CPUtime=0 cores=0-7 /proc/10613/task/10646/stat : 10646 (java) S 10590 10590 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419609554 8616062976 30259 33554432000 4194304 4196468 140733055660432 139755752775088 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 Current children cumulated CPU time: 928.64 s Current children cumulated vsize: 9256356 KiB Current children cumulated memory: 692852 KiB [startup+129.201 s] /proc/loadavg: 6.24 6.79 7.26 2/219 10654 /proc/meminfo: memFree=24019732/32770624 swapFree=67108848/67108860 [pid=10590] ppid=10587 vsize=113128 memory=1472 CPUtime=12.15 cores=0-7 /proc/10590/stat : 10590 (scop.sh) S 10587 10590 10407 0 -1 4202496 582 32573 0 0 0 0 1187 28 20 0 1 0 419608996 115843072 368 33554432000 4194304 5098028 140735788322480 140735788319224 140006594486908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29569024 140735788323621 140735788323948 140735788323948 140735788326861 0 /proc/10590/statm: 28282 368 311 221 0 87 0 [pid=10613] ppid=10590 vsize=8414124 memory=121036 CPUtime=1.32 cores=0-7 /proc/10613/stat : 10613 (java) S 10590 10590 10407 0 -1 1077944320 20786 0 0 0 124 8 0 0 20 0 24 0 419609440 8616062976 30259 33554432000 4194304 4196468 140733055660432 140733055642976 139759216709367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 /proc/10613/statm: 2103531 30259 3201 1 0 2064875 0 [pid=10633] ppid=10613 vsize=712712 memory=570328 CPUtime=915.7 cores=0-7 /proc/10633/stat : 10633 (manyglucose-4.1) S 10613 10590 10407 0 -1 1077944320 858718 0 0 0 91388 182 0 0 20 0 2 0 419609551 729817088 142582 33554432000 4194304 4454172 140724686648768 140724686647152 139652435205879 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 31854592 140724686656361 140724686656560 140724686656560 140724686659514 0 /proc/10633/statm: 178178 142582 419 64 0 173846 0 [pid=10633/tid=10644] ppid=10613 vsize=712712 memory=11595 CPUtime=121.43 cores=0-7 /proc/10633/task/10644/stat : 10644 (manyglucose-4.1) R 10613 10590 10407 0 -1 4202560 127880 0 0 0 12110 33 0 0 20 0 2 0 419609554 729817088 142582 33554432000 4194304 4454172 140724686648768 139652369632392 4351539 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 31854592 140724686656361 140724686656560 140724686656560 140724686659514 0 [pid=10613/tid=10614] ppid=10590 vsize=8414124 memory=11552 CPUtime=0.77 cores=0-7 /proc/10613/task/10614/stat : 10614 (java) S 10590 10590 10407 0 -1 1077944384 17470 0 0 0 72 5 0 0 20 0 24 0 419609440 8616062976 30259 33554432000 4194304 4196468 140733055660432 139759188549536 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10615] ppid=10590 vsize=8414124 memory=11221 CPUtime=0 cores=0-7 /proc/10613/task/10615/stat : 10615 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139759220951568 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10616] ppid=10590 vsize=8414124 memory=11963 CPUtime=0 cores=0-7 /proc/10613/task/10616/stat : 10616 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758702217872 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10617] ppid=10590 vsize=8414124 memory=10713 CPUtime=0 cores=0-7 /proc/10613/task/10617/stat : 10617 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758701164816 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10618] ppid=10590 vsize=8414124 memory=77 CPUtime=0 cores=0-7 /proc/10613/task/10618/stat : 10618 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758700112272 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10619] ppid=10590 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10613/task/10619/stat : 10619 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758699060240 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10620] ppid=10590 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/10613/task/10620/stat : 10620 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758698007696 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10621] ppid=10590 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10613/task/10621/stat : 10621 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758696954640 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10622] ppid=10590 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/10613/task/10622/stat : 10622 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758695902096 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10623] ppid=10590 vsize=8414124 memory=5536 CPUtime=0 cores=0-7 /proc/10613/task/10623/stat : 10623 (java) S 10590 10590 10407 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419609480 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758511606000 139759216720514 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10624] ppid=10590 vsize=8414124 memory=4540 CPUtime=0 cores=0-7 /proc/10613/task/10624/stat : 10624 (java) S 10590 10590 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419609480 8616062976 30259 33554432000 4194304 4196468 140733055660432 139757833151648 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10625] ppid=10590 vsize=8414124 memory=752 CPUtime=0 cores=0-7 /proc/10613/task/10625/stat : 10625 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609480 8616062976 30259 33554432000 4194304 4196468 140733055660432 139757564715760 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10626] ppid=10590 vsize=8414124 memory=1636 CPUtime=0 cores=0-7 /proc/10613/task/10626/stat : 10626 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139757190207440 139759216727963 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10627] ppid=10590 vsize=8414124 memory=812 CPUtime=0.06 cores=0-7 /proc/10613/task/10627/stat : 10627 (java) S 10590 10590 10407 0 -1 1077944384 470 0 0 0 6 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758510553840 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10628] ppid=10590 vsize=8414124 memory=1840 CPUtime=0.07 cores=0-7 /proc/10613/task/10628/stat : 10628 (java) S 10590 10590 10407 0 -1 1077944384 418 0 0 0 7 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758509501296 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10629] ppid=10590 vsize=8414124 memory=1384 CPUtime=0.06 cores=0-7 /proc/10613/task/10629/stat : 10629 (java) S 10590 10590 10407 0 -1 1077944384 308 0 0 0 6 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758508448240 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10630] ppid=10590 vsize=8414124 memory=7180 CPUtime=0.21 cores=0-7 /proc/10613/task/10630/stat : 10630 (java) S 10590 10590 10407 0 -1 1077944384 710 0 0 0 21 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758507395696 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10631] ppid=10590 vsize=8414124 memory=1100 CPUtime=0 cores=0-7 /proc/10613/task/10631/stat : 10631 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756692302304 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10632] ppid=10590 vsize=8414124 memory=15208 CPUtime=0.08 cores=0-7 /proc/10613/task/10632/stat : 10632 (java) S 10590 10590 10407 0 -1 1077944384 9 0 0 0 5 3 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758506343088 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10634] ppid=10590 vsize=8414124 memory=24976 CPUtime=0 cores=0-7 /proc/10613/task/10634/stat : 10634 (java) S 10590 10590 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419609551 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758504731584 139759216733977 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10636] ppid=10590 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/10613/task/10636/stat : 10636 (java) S 10590 10590 10407 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419609552 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756021202960 139759216731293 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10637] ppid=10590 vsize=8414124 memory=121036 CPUtime=0 cores=0-7 /proc/10613/task/10637/stat : 10637 (java) S 10590 10590 10407 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419609552 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756289638544 139759216731293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10646] ppid=10590 vsize=8414124 memory=570344 CPUtime=0 cores=0-7 /proc/10613/task/10646/stat : 10646 (java) S 10590 10590 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419609554 8616062976 30259 33554432000 4194304 4196468 140733055660432 139755752775088 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 Current children cumulated CPU time: 929.17 s Current children cumulated vsize: 9239964 KiB Current children cumulated memory: 692836 KiB [startup+129.601 s] /proc/loadavg: 6.24 6.79 7.26 2/219 10654 /proc/meminfo: memFree=24019732/32770624 swapFree=67108848/67108860 [pid=10590] ppid=10587 vsize=113128 memory=1472 CPUtime=12.15 cores=0-7 /proc/10590/stat : 10590 (scop.sh) S 10587 10590 10407 0 -1 4202496 582 32573 0 0 0 0 1187 28 20 0 1 0 419608996 115843072 368 33554432000 4194304 5098028 140735788322480 140735788319224 140006594486908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29569024 140735788323621 140735788323948 140735788323948 140735788326861 0 /proc/10590/statm: 28282 368 311 221 0 87 0 [pid=10613] ppid=10590 vsize=8414124 memory=121036 CPUtime=1.32 cores=0-7 /proc/10613/stat : 10613 (java) S 10590 10590 10407 0 -1 1077944320 20788 0 0 0 124 8 0 0 20 0 24 0 419609440 8616062976 30259 33554432000 4194304 4196468 140733055660432 140733055642976 139759216709367 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 /proc/10613/statm: 2103531 30259 3201 1 0 2064875 0 [pid=10633] ppid=10613 vsize=712712 memory=570328 CPUtime=916.1 cores=0-7 /proc/10633/stat : 10633 (manyglucose-4.1) S 10613 10590 10407 0 -1 1077944320 858835 0 0 0 91428 182 0 0 20 0 2 0 419609551 729817088 142582 33554432000 4194304 4454172 140724686648768 140724686647152 139652435205879 0 4 0 8388610 18446744073709551615 0 0 17 1 0 0 0 0 0 6552832 6554400 31854592 140724686656361 140724686656560 140724686656560 140724686659514 0 /proc/10633/statm: 178178 142582 419 64 0 173846 0 [pid=10633/tid=10644] ppid=10613 vsize=712712 memory=1792 CPUtime=121.84 cores=0-7 /proc/10633/task/10644/stat : 10644 (manyglucose-4.1) R 10613 10590 10407 0 -1 4202560 127997 0 0 0 12150 34 0 0 20 0 2 0 419609554 729817088 142582 33554432000 4194304 4454172 140724686648768 139652369632392 4333329 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 31854592 140724686656361 140724686656560 140724686656560 140724686659514 0 [pid=10613/tid=10614] ppid=10590 vsize=8414124 memory=130 CPUtime=0.77 cores=0-7 /proc/10613/task/10614/stat : 10614 (java) S 10590 10590 10407 0 -1 1077944384 17470 0 0 0 72 5 0 0 20 0 24 0 419609440 8616062976 30259 33554432000 4194304 4196468 140733055660432 139759188549536 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10615] ppid=10590 vsize=8414124 memory=77537 CPUtime=0 cores=0-7 /proc/10613/task/10615/stat : 10615 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139759220951568 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10616] ppid=10590 vsize=8414124 memory=9261 CPUtime=0 cores=0-7 /proc/10613/task/10616/stat : 10616 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758702217872 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10617] ppid=10590 vsize=8414124 memory=9492 CPUtime=0 cores=0-7 /proc/10613/task/10617/stat : 10617 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758701164816 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10618] ppid=10590 vsize=8414124 memory=10037 CPUtime=0 cores=0-7 /proc/10613/task/10618/stat : 10618 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758700112272 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10619] ppid=10590 vsize=8414124 memory=9953 CPUtime=0 cores=0-7 /proc/10613/task/10619/stat : 10619 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758699060240 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10620] ppid=10590 vsize=8414124 memory=132 CPUtime=0 cores=0-7 /proc/10613/task/10620/stat : 10620 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758698007696 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10621] ppid=10590 vsize=8414124 memory=90710 CPUtime=0 cores=0-7 /proc/10613/task/10621/stat : 10621 (java) S 10590 10590 10407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758696954640 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10622] ppid=10590 vsize=8414124 memory=10683 CPUtime=0 cores=0-7 /proc/10613/task/10622/stat : 10622 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419609478 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758695902096 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10623] ppid=10590 vsize=8414124 memory=121036 CPUtime=0 cores=0-7 /proc/10613/task/10623/stat : 10623 (java) S 10590 10590 10407 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419609480 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758511606000 139759216720514 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10624] ppid=10590 vsize=8414124 memory=570184 CPUtime=0 cores=0-7 /proc/10613/task/10624/stat : 10624 (java) S 10590 10590 10407 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419609480 8616062976 30259 33554432000 4194304 4196468 140733055660432 139757833151648 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10625] ppid=10590 vsize=8414124 memory=2212 CPUtime=0 cores=0-7 /proc/10613/task/10625/stat : 10625 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609480 8616062976 30259 33554432000 4194304 4196468 140733055660432 139757564715760 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10626] ppid=10590 vsize=8414124 memory=4276 CPUtime=0 cores=0-7 /proc/10613/task/10626/stat : 10626 (java) S 10590 10590 10407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139757190207440 139759216727963 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10627] ppid=10590 vsize=8414124 memory=1536 CPUtime=0.06 cores=0-7 /proc/10613/task/10627/stat : 10627 (java) S 10590 10590 10407 0 -1 1077944384 470 0 0 0 6 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758510553840 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10628] ppid=10590 vsize=8414124 memory=932 CPUtime=0.07 cores=0-7 /proc/10613/task/10628/stat : 10628 (java) S 10590 10590 10407 0 -1 1077944384 418 0 0 0 7 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758509501296 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10629] ppid=10590 vsize=8414124 memory=2008 CPUtime=0.06 cores=0-7 /proc/10613/task/10629/stat : 10629 (java) S 10590 10590 10407 0 -1 1077944384 308 0 0 0 6 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758508448240 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10630] ppid=10590 vsize=8414124 memory=111636 CPUtime=0.21 cores=0-7 /proc/10613/task/10630/stat : 10630 (java) S 10590 10590 10407 0 -1 1077944384 710 0 0 0 21 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758507395696 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10631] ppid=10590 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/10613/task/10631/stat : 10631 (java) S 10590 10590 10407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756692302304 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10632] ppid=10590 vsize=8414124 memory=4108 CPUtime=0.08 cores=0-7 /proc/10613/task/10632/stat : 10632 (java) S 10590 10590 10407 0 -1 1077944384 11 0 0 0 5 3 0 0 20 0 24 0 419609483 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758506343088 139759216720514 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10634] ppid=10590 vsize=8414124 memory=-8961147775417086354 CPUtime=0 cores=0-7 /proc/10613/task/10634/stat : 10634 (java) S 10590 10590 10407 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419609551 8616062976 30259 33554432000 4194304 4196468 140733055660432 139758504731584 139759216733977 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10636] ppid=10590 vsize=8414124 memory=531584 CPUtime=0 cores=0-7 /proc/10613/task/10636/stat : 10636 (java) S 10590 10590 10407 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419609552 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756021202960 139759216731293 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10637] ppid=10590 vsize=8414124 memory=15544015764327050 CPUtime=0 cores=0-7 /proc/10613/task/10637/stat : 10637 (java) S 10590 10590 10407 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419609552 8616062976 30259 33554432000 4194304 4196468 140733055660432 139756289638544 139759216731293 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 [pid=10613/tid=10646] ppid=10590 vsize=8414124 memory=1804 CPUtime=0 cores=0-7 /proc/10613/task/10646/stat : 10646 (java) S 10590 10590 10407 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419609554 8616062976 30259 33554432000 4194304 4196468 140733055660432 139755752775088 139759216719573 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29347840 140733055665143 140733055665302 140733055665302 140733055668175 0 Current children cumulated CPU time: 929.57 s Current children cumulated vsize: 9239964 KiB Current children cumulated memory: 692836 KiB [startup+129.701 s] /proc/loadavg: 6.24 6.79 7.26 2/219 10654 /proc/meminfo: memFree=24019732/32770624 swapFree=67108848/67108860 [pid=10590] ppid=10587 vsize=113128 memory=1472 CPUtime=12.15 cores=0-7 /proc/10590/stat : 10590 (scop.sh) S 10587 10590 10407 0 -1 4202496 582 32573 0 0 0 0 1187 28 20 0 1 0 419608996 115843072 368 33554432000 4194304 5098028 140735788322480 140735788319224 140006594486908 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 29569024 140735788323621 140735788323948 140735788323948 140735788326861 0 /proc/10590/statm: 28282 368 311 221 0 87 0 Current children cumulated CPU time: 12.15 s Current children cumulated vsize: 113128 KiB Current children cumulated memory: 1472 KiB Child status: 0 Real time (s): 129.706 CPU time (s): 929.764 CPU user time (s): 927.516 CPU system time (s): 2.2476 CPU usage (%): 716.824 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1049860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 927.516 system time used= 2.2476 maximum resident set size= 1051400 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 914596 page faults= 0 swaps= 0 block input operations= 0 block output operations= 912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16724 involuntary context switches= 8600 # summary of solver processes directly reported to runsolver: # pid: 10590 # total CPU time (s): 929.764 # total CPU user time (s): 927.516 # total CPU system time (s): 2.2476 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.26035 second user time and 1.84258 second system time The end
Begin job on node143 at 2019-09-14 06:51:15 IDJOB=4392437 IDBENCH=134584 IDSOLVER=2838 FILE ID=node143/4392437-1568436716 RUNJOBID= node143-1568436511-10434 PBS_JOBID= 21702317 Free space on /tmp= 59272 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-8_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-4392437-1568436716/watcher-4392437-1568436716 -o /tmp/evaluation-result-4392437-1568436716/solver-4392437-1568436716 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568436511-10434 --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-4392437-1568436716.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5c0d10b65067a89bbe36375c556425e1 RANDOM SEED=1054364636 node143.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.73 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.73 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.73 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.73 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: 24697520 kB MemAvailable: 31754040 kB Buffers: 200048 kB Cached: 7146624 kB SwapCached: 8 kB Active: 2144272 kB Inactive: 5253984 kB Active(anon): 5616 kB Inactive(anon): 145344 kB Active(file): 2138656 kB Inactive(file): 5108640 kB Unevictable: 107432 kB Mlocked: 107432 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 20624 kB Writeback: 0 kB AnonPages: 159592 kB Mapped: 49036 kB Shmem: 90756 kB Slab: 266464 kB SReclaimable: 237684 kB SUnreclaim: 28780 kB KernelStack: 3408 kB PageTables: 6104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59252 MiB End job on node143 at 2019-09-14 06:53:25