Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 937.958 | 127.4 |
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 -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-26987-serial-file.bin HOME/instance-4392737-1568436719.xml 0.66/0.54 0.66/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.56 c BEGIN-Prog: Sat Sep 14 06:51:20 CEST 2019 0.66/0.56 c PID: 26990 0.66/0.56 c IP: 172.20.3.119 0.66/0.56 c HOST: node119.alineos.net 0.66/0.57 c (0,0) Parsing Begin 2.06/1.12 c (0,0) Parsing End 2.06/1.12 c (0,0) CSP: 109 int (0 aux), 2 bool (0 aux), 1261 ctr, max domain size 28 2.06/1.12 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.06/1.12 c (0,0) Constraint Name Generate Begin 2.06/1.14 c (0,0) Ctr:HOME/instance-4392737-1568436719.xml,ExtensionConflict:ExtensionSupport:Var 2.06/1.14 c (0,0) Constraint Name Generate End 2.06/1.14 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 2.06/1.14 c (0,0) CSP to CSPinCNF Begin 3.16/1.62 c (1,1) translated 127 (10%) constraints 3.57/1.73 c (1,1) translated 253 (20%) constraints 3.98/1.80 c (1,1) translated 379 (30%) constraints 3.98/1.87 c (1,1) translated 505 (40%) constraints 4.41/1.92 c (1,1) translated 631 (50%) constraints 4.41/1.98 c (1,1) translated 757 (60%) constraints 5.24/2.11 c (1,1) translated 883 (70%) constraints 5.90/2.35 c (1,1) translated 1009 (80%) constraints 6.20/2.57 c (2,2) translated 1135 (90%) constraints 6.73/2.87 c (2,2) translated 1261 (100%) constraints 6.73/2.87 c (2,2) =========================================== 6.73/2.89 c (2,2) Hybrid: #OE=793, #LE=0 6.73/2.89 c (2,2) Hybrid 6.73/2.89 c (2,2) =========================================== 7.11/2.95 c (2,2) translated 1883 (10%) constraints 7.55/3.01 c (2,2) translated 3765 (20%) constraints 7.55/3.06 c (2,2) translated 5647 (30%) constraints 7.95/3.11 c (2,2) translated 7529 (40%) constraints 7.95/3.16 c (2,2) translated 9411 (50%) constraints 8.32/3.21 c (2,2) translated 11294 (60%) constraints 8.32/3.25 c (2,2) translated 13176 (70%) constraints 8.32/3.29 c (2,2) translated 15058 (80%) constraints 8.65/3.33 c (2,2) translated 16940 (90%) constraints 8.65/3.36 c (2,2) translated 18822 (100%) constraints 8.65/3.36 c (2,2) CSP to CSPinCNF End 8.65/3.36 c (2,2) CSP: 108 int (0 aux), 685 bool (682 aux), 18822 ctr, max domain size 28 8.65/3.36 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 8.65/3.36 c (2,2) CSPinCNF Propagation Begin 10.06/3.71 c (3,3) 109 values, 8487 unsatisfiable literals, and 4834 valid clauses are removed 10.06/3.71 c (3,3) CSPinCNF Propagation End 10.06/3.71 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.06/3.71 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 10.06/3.73 c (3,3) Hybrid: #OE=793, #LE=0 10.06/3.73 c (3,3) Simplify CSPinCNF Begin 10.06/3.78 c (3,3) Simplify CSPinCNF End 10.06/3.78 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.06/3.78 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.06/3.78 c (3,3) Calculate Precise Domain Begin 10.06/3.78 c (3,3) 0 values are removed by re-calculation 10.06/3.78 c (3,3) Calculate Precise Domain End 10.06/3.78 c (3,3) CSP: 108 int (0 aux), 685 bool (682 aux), 13988 ctr, max domain size 26 10.06/3.78 c (3,3) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB) 10.06/3.78 c (3,3) CSPinCNF to SatSolver Begin 10.60/3.93 c (3,3) 1399 (10 %) CSP clauses are encoded (0 SAT variables, 3107 SAT clauses) 10.82/4.32 c (3,3) 2798 (20 %) CSP clauses are encoded (0 SAT variables, 4506 SAT clauses) 10.82/4.37 c (3,3) 4197 (30 %) CSP clauses are encoded (0 SAT variables, 5905 SAT clauses) 11.21/4.40 c (3,3) 5596 (40 %) CSP clauses are encoded (0 SAT variables, 7304 SAT clauses) 11.21/4.43 c (3,3) 6994 (50 %) CSP clauses are encoded (0 SAT variables, 8702 SAT clauses) 11.21/4.46 c (3,3) 8393 (60 %) CSP clauses are encoded (0 SAT variables, 10101 SAT clauses) 11.21/4.48 c (3,3) 9792 (70 %) CSP clauses are encoded (0 SAT variables, 11500 SAT clauses) 11.21/4.49 c (3,3) 11191 (80 %) CSP clauses are encoded (0 SAT variables, 12899 SAT clauses) 11.61/4.51 c (3,3) 12590 (90 %) CSP clauses are encoded (0 SAT variables, 14298 SAT clauses) 11.61/4.52 c (3,3) 13988 (100 %) CSP clauses are encoded (0 SAT variables, 15696 SAT clauses) 11.61/4.52 c (3,3) CSPinCNF to SatSolver End 11.61/4.52 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 11.61/4.52 c (3,3) 2482 bool, 15697 clause 11.61/4.52 c (3,3) Export Begin 11.76/4.62 c (4,3) Export to HOME/scop-26987-serial-file.bin 11.76/4.62 c (4,3) Export End 11.76/4.63 c (4,3) Export File Size: 0.02 MB 11.76/4.63 c (4,3) 0,0,2,3,3,3,3,STOP-AFTER(DIMACS) 11.76/4.63 c END-Prog: Sat Sep 14 06:51:24 CEST 2019 11.76/4.65 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-26987-serial-file.bin 12.44/5.11 c (0,0) Read Serial File Begin 12.44/5.11 c (0,0) HOME/scop-26987-serial-file.bin 12.73/5.33 c (0,0) Read Serial File End 12.73/5.35 12.73/5.35 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 12.73/5.35 (Solving Process) 12.73/5.35 12.73/5.37 c BEGIN-Prog: Sat Sep 14 06:51:25 CEST 2019 12.73/5.37 c PID: 27010 12.73/5.37 c IP: 172.20.3.119 12.73/5.37 c HOST: node119.alineos.net 12.73/5.37 c (0,0) SatSolver.solve Begin 12.73/5.37 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392737-1568436719.xml-scop-26990.cnf 12.94/5.40 c (0,0) c 12.94/5.40 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 12.94/5.40 c (0,0) c 12.94/5.40 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 12.94/5.40 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 12.94/5.40 c (0,0) c ========================================[ Problem Statistics ]=========================================== 12.94/5.40 c (0,0) c | | 12.94/5.40 c (0,0) c | Number of variables: 2480 | 12.94/5.40 c (0,0) c | Number of clauses: 15697 | 12.94/5.40 c (0,0) c | Parse time: 0.01 s | 12.94/5.40 c (0,0) c | | 12.94/5.40 c (0,0) WARNING! DIMACS header mismatch: wrong number of variables. 12.94/5.41 c (0,0) c | Simplification time: 0.01 s | 12.94/5.41 c (0,0) c | | 12.94/5.41 c (0,0) c | Generating clones | 12.94/5.42 c (0,0) c | all clones generated. Memory = 32.06Mb. | 12.94/5.42 c (0,0) c ========================================================================================================| 12.94/5.42 c (0,0) c 12.94/5.42 c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 12.94/5.42 c (0,0) c 12.94/5.42 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.94/5.42 c (0,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 12.94/5.42 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 12.94/5.42 c (0,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 12.94/5.42 c (0,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 12.94/5.42 c (0,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 12.94/5.42 c (0,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 12.94/5.42 c (0,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 12.94/5.42 c (0,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 12.94/5.42 c (0,0) c | glureduce | True | True | True | True | True | True | True | True | 12.94/5.42 c (0,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 12.94/5.42 c (0,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 12.94/5.42 c (0,0) c | luby_restart | False | False | False | False | False | False | False | False | 12.94/5.42 c (0,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 12.94/5.42 c (0,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 12.94/5.42 c (0,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 12.94/5.42 c (0,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 12.94/5.42 c (0,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 12.94/5.42 c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 238.26/34.97 c (29,0) c 238.26/34.97 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 238.26/34.97 c (29,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 238.26/34.97 c (29,0) c |------------------------------------------------------------------------------------------------------------------------| 238.26/34.97 c (29,0) c | 0 | 366 | 553388 | 300890 | 9240 | 69509 | 44621 | 294196 | 17598 | 307 | 20 | 0.847 | 238.26/34.97 c (29,0) c | 1 | 385 | 551391 | 301649 | 9417 | 70269 | 45290 | 290625 | 18786 | 307 | 20 | 0.847 | 238.26/34.97 c (29,0) c | 2 | 355 | 541264 | 288945 | 9350 | 57556 | 42859 | 293784 | 16531 | 299 | 20 | 0.848 | 238.26/34.97 c (29,0) c | 3 | 408 | 544795 | 293619 | 9365 | 62237 | 43965 | 287220 | 14462 | 298 | 20 | 0.848 | 238.26/34.97 c (29,0) c | 4 | 291 | 528466 | 291827 | 9180 | 60432 | 41928 | 290416 | 12383 | 301 | 20 | 0.847 | 238.26/34.97 c (29,0) c | 5 | 328 | 496993 | 265398 | 9226 | 34014 | 39830 | 286877 | 14437 | 287 | 20 | 0.848 | 238.26/34.97 c (29,0) c | 6 | 457 | 588071 | 314979 | 9381 | 47795 | 45654 | 297442 | 16889 | 307 | 20 | 0.848 | 238.26/34.97 c (29,0) c | 7 | 368 | 550698 | 298273 | 9550 | 66884 | 45941 | 281690 | 17790 | 294 | 20 | 0.848 | 238.26/34.97 c (29,0) c 238.26/34.97 c (29,0) c synthesis 2355580 conflicts 175376964 propagations 10467 conflicts/sec 779321 propagations/sec 238.26/34.97 c (29,0) c real: 29.575 s, cpu: 225.038 s, memory: 629.45 Mb 461.82/64.97 c (59,0) c 461.82/64.97 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 461.82/64.97 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 461.82/64.97 c (59,0) c |------------------------------------------------------------------------------------------------------------------------| 461.82/64.97 c (59,0) c | 0 | 405 | 881234 | 467923 | 9285 | 77736 | 60343 | 419441 | 28072 | 572 | 20 | 0.848 | 461.82/64.97 c (59,0) c | 1 | 465 | 874571 | 466868 | 9452 | 76680 | 65779 | 421931 | 30363 | 574 | 20 | 0.847 | 461.82/64.97 c (59,0) c | 2 | 411 | 870697 | 457565 | 9454 | 67385 | 60281 | 421702 | 28969 | 569 | 20 | 0.848 | 461.82/64.97 c (59,0) c | 3 | 463 | 854625 | 456316 | 9430 | 66125 | 61402 | 418938 | 26807 | 561 | 20 | 0.848 | 461.82/64.97 c (59,0) c | 4 | 391 | 834525 | 449361 | 9326 | 59180 | 58725 | 422012 | 26046 | 556 | 20 | 0.847 | 461.82/64.97 c (59,0) c | 5 | 422 | 833839 | 442724 | 9355 | 52543 | 60539 | 427459 | 27408 | 575 | 20 | 0.848 | 461.82/64.97 c (59,0) c | 6 | 551 | 908004 | 478002 | 9413 | 87812 | 63854 | 415995 | 29444 | 567 | 20 | 0.848 | 461.82/64.97 c (59,0) c | 7 | 385 | 878620 | 468567 | 9570 | 78380 | 62086 | 422637 | 28167 | 576 | 20 | 0.848 | 461.82/64.97 c (59,0) c 461.82/64.97 c (59,0) c synthesis 3687326 conflicts 272334608 propagations 8221 conflicts/sec 607163 propagations/sec 461.82/64.97 c (59,0) c real: 59.575 s, cpu: 448.536 s, memory: 693.48 Mb 684.33/93.97 c (88,0) c 684.33/93.97 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 684.33/93.97 c (88,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 684.33/93.97 c (88,0) c |------------------------------------------------------------------------------------------------------------------------| 684.33/93.97 c (88,0) c | 0 | 458 | 1147725 | 599795 | 9305 | 63210 | 73798 | 496830 | 37885 | 824 | 20 | 0.848 | 684.33/93.97 c (88,0) c | 1 | 544 | 1146319 | 600684 | 9481 | 64092 | 78436 | 502723 | 40212 | 824 | 20 | 0.847 | 684.33/93.97 c (88,0) c | 2 | 464 | 1131035 | 586352 | 9490 | 101173 | 72922 | 497808 | 38196 | 804 | 20 | 0.847 | 684.33/93.97 c (88,0) c | 3 | 500 | 1117622 | 587722 | 9453 | 102529 | 70790 | 501981 | 37229 | 815 | 20 | 0.847 | 684.33/93.97 c (88,0) c | 4 | 497 | 1109910 | 587899 | 9358 | 102714 | 73137 | 502177 | 37466 | 819 | 20 | 0.848 | 684.33/93.97 c (88,0) c | 5 | 472 | 1094929 | 575767 | 9385 | 90579 | 72207 | 499306 | 37338 | 824 | 20 | 0.847 | 684.33/93.97 c (88,0) c | 6 | 627 | 1185911 | 615643 | 9439 | 79054 | 75563 | 503308 | 39171 | 824 | 20 | 0.847 | 684.33/93.97 c (88,0) c | 7 | 432 | 1147826 | 599788 | 9583 | 63202 | 70343 | 510658 | 39089 | 824 | 20 | 0.847 | 684.33/93.97 c (88,0) c 684.33/93.97 c (88,0) c synthesis 4753650 conflicts 351027703 propagations 7088 conflicts/sec 523371 propagations/sec 684.33/93.97 c (88,0) c real: 88.5748 s, cpu: 670.705 s, memory: 693.48 Mb 909.25/122.97 c (117,0) c 909.25/122.97 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 909.25/122.97 c (117,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 909.25/122.97 c (117,0) c |------------------------------------------------------------------------------------------------------------------------| 909.25/122.97 c (117,0) c | 0 | 487 | 1380333 | 715252 | 9322 | 58838 | 83495 | 573204 | 47667 | 1078 | 20 | 1.331 | 909.25/122.97 c (117,0) c | 1 | 590 | 1374414 | 711497 | 9494 | 58885 | 86112 | 575091 | 49498 | 1078 | 20 | 1.533 | 909.25/122.97 c (117,0) c | 2 | 515 | 1350586 | 698778 | 9503 | 105180 | 84369 | 569869 | 47296 | 1062 | 20 | 1.009 | 909.25/122.97 c (117,0) c | 3 | 527 | 1341119 | 698625 | 9461 | 106835 | 78811 | 575968 | 46272 | 1058 | 20 | 1.129 | 909.25/122.97 c (117,0) c | 4 | 524 | 1345217 | 703433 | 9369 | 99552 | 82619 | 576804 | 46758 | 1074 | 20 | 1.411 | 909.25/122.97 c (117,0) c | 5 | 502 | 1314663 | 686378 | 9404 | 79145 | 83491 | 576722 | 46314 | 1076 | 20 | 1.573 | 909.25/122.97 c (117,0) c | 6 | 680 | 1404292 | 722146 | 9456 | 70925 | 84620 | 572079 | 47891 | 1063 | 20 | 1.290 | 909.25/122.97 c (117,0) c | 7 | 468 | 1364886 | 708336 | 9597 | 59608 | 81703 | 577686 | 48715 | 1078 | 20 | 1.372 | 909.25/122.97 c (117,0) c 909.25/122.97 c (117,0) c synthesis 5644447 conflicts 418603114 propagations 6304 conflicts/sec 467503 propagations/sec 909.25/122.97 c (117,0) c real: 117.575 s, cpu: 895.403 s, memory: 693.48 Mb 937.78/127.35 c (122,0) c 937.78/127.35 c (122,0) c real time : 121.959 s 937.78/127.35 c (122,0) c cpu time : 923.457 s 937.78/127.35 c (122,0) c 937.78/127.35 c (122,0) c 937.78/127.35 c (122,0) c 937.78/127.35 c (122,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 937.78/127.35 c (122,0) c 937.78/127.35 c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.35 c (122,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 937.78/127.35 c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.35 c (122,0) c | Conflicts | 5753136 | 727231 | 722294 | 715371 | 716405 | 717518 | 696591 | 736728 | 720998 | 937.78/127.35 c (122,0) c | Decisions | 11098091 | 1405059 | 1395980 | 1385768 | 1376864 | 1374586 | 1335447 | 1433626 | 1390761 | 937.78/127.35 c (122,0) c | Propagations | 427140953 | 53848242 | 53407524 | 53207630 | 53179690 | 53214108 | 52441366 | 54364331 | 53478062 | 937.78/127.35 c (122,0) c | ReduceDBs | 183 | 23 | 23 | 23 | 23 | 23 | 22 | 23 | 23 | 937.78/127.35 c (122,0) c | SimpDBs | 80 | 11 | 9 | 10 | 10 | 11 | 7 | 10 | 12 | 937.78/127.35 c (122,0) c | Restarts | 4311 | 489 | 591 | 518 | 531 | 526 | 502 | 685 | 469 | 937.78/127.35 c (122,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 937.78/127.35 c (122,0) c | PropBinClauses| 898459963 | 112623059 | 111456338 | 112229502 | 113018959 | 112161544 | 112810206 | 112616108 | 111544247 | 937.78/127.35 c (122,0) c | PropPreBlocker| 29901797101 | 3733081291 | 3747339364 | 3737216701 | 3701526309 | 3799768278 | 3688922298 | 3784382220 | 3709560640 | 937.78/127.35 c (122,0) c | PropNotBlocker| 4927771257 | 612901100 | 618031849 | 617141170 | 618573259 | 603114010 | 629788218 | 604397287 | 623824364 | 937.78/127.35 c (122,0) c | LitFullScans | 52978413692 | 6629395766 | 6625062918 | 6618093566 | 6613105193 | 6619624018 | 6623329286 | 6618799368 | 6631003577 | 937.78/127.35 c (122,0) c | LitScanFracts | 8312861 | 919333 | 1045802 | 905909 | 1096383 | 1618265 | 960691 | 772596 | 993882 | 937.78/127.35 c (122,0) c | DecisionLevel0| 4442 | 507 | 607 | 540 | 545 | 542 | 517 | 701 | 483 | 937.78/127.35 c (122,0) c | Periods | 8826 | 1104 | 1104 | 1102 | 1102 | 1103 | 1103 | 1103 | 1105 | 937.78/127.35 c (122,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 937.78/127.35 c (122,0) c | Avg_Trail | | 634 | 636 | 629 | 626 | 632 | 630 | 636 | 627 | 937.78/127.35 c (122,0) c | Avg_DL | | 22 | 22 | 21 | 21 | 21 | 21 | 22 | 22 | 937.78/127.36 c (122,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 937.78/127.36 c (122,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 937.78/127.36 c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.36 c (122,0) c | Exported | 675851 | 84360 | 87352 | 85883 | 80290 | 84121 | 84517 | 86108 | 83220 | 937.78/127.36 c (122,0) c | Imported | 4675038 | 584870 | 581592 | 582851 | 587525 | 584634 | 584424 | 582605 | 586537 | 937.78/127.36 c (122,0) c | Good | 14039 | 1755 | 1761 | 1749 | 1752 | 1799 | 1763 | 1709 | 1751 | 937.78/127.36 c (122,0) c | Purge | 4660999 | 583115 | 579831 | 581102 | 585773 | 582835 | 582661 | 580896 | 584786 | 937.78/127.36 c (122,0) c | Promoted | 388634 | 48619 | 50193 | 48525 | 47717 | 47588 | 47297 | 49174 | 49521 | 937.78/127.36 c (122,0) c | Remove_Imp | 3659949 | 465080 | 459529 | 457062 | 459869 | 465261 | 442988 | 447943 | 462217 | 937.78/127.36 c (122,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 937.78/127.36 c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.36 c (122,0) c | Unaries | | 18 | 16 | 22 | 14 | 16 | 15 | 16 | 14 | 937.78/127.36 c (122,0) c | Binaries | | 281 | 257 | 283 | 255 | 217 | 253 | 309 | 279 | 937.78/127.36 c (122,0) c | Glues | | 1025 | 1023 | 1043 | 1011 | 910 | 1054 | 1094 | 955 | 937.78/127.36 c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.36 c (122,0) c | Orig_Seen | 87 % | 9325 | 9494 | 9505 | 9461 | 9371 | 9404 | 9457 | 9597 | 937.78/127.36 c (122,0) c | Diff Orig seen| | - 180 | - 11 | X | - 44 | - 134 | - 101 | - 48 | 92 | 937.78/127.36 c (122,0) c | Hamming | 11 % | 289 | 303 | X | 323 | 285 | 242 | 323 | 266 | 937.78/127.36 c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.36 c (122,0) c | RunningTime | | 109.9 91%| 109.5 91%| 120.9 99%| 120.0 98%| 118.0 97%| 117.1 97%| 115.8 95%| 115.3 96%| 937.78/127.36 c (122,0) c | WaitingTime | | 10.3 9%| 10.9 9%| 0.6 0%| 1.6 1%| 2.7 2%| 3.3 3%| 5.3 4%| 5.0 4%| 937.78/127.36 c (122,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%| 937.78/127.36 c (122,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%| 937.78/127.36 c (122,0) c | SolvingTime | | 120.5 | 120.7 | 121.8 | 121.9 | 121.1 | 120.8 | 121.4 | 120.6 | 937.78/127.36 c (122,0) c | PropagationTim| | 94.1 78%| 92.1 76%| 80.4 66%| 80.6 66%| 79.3 65%| 82.6 68%| 83.8 69%| 88.6 73%| 937.78/127.36 c (122,0) c | AnalysisTime | | 23.2 19%| 25.3 21%| 38.2 31%| 38.1 31%| 38.7 32%| 35.1 29%| 34.4 28%| 28.7 24%| 937.78/127.36 c (122,0) c | ReductionTime | | 1.3 1%| 1.3 1%| 1.2 1%| 1.2 1%| 1.2 1%| 1.2 1%| 1.3 1%| 1.3 1%| 937.78/127.36 c (122,0) c | SimplifyTime | | 0.0 0%| 0.1 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 937.78/127.36 c (122,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%| 937.78/127.36 c (122,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%| 937.78/127.36 c (122,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.36 c (122,0) c 937.78/127.36 c (122,0) c 937.78/127.36 c (122,0) c Threads : 8 937.78/127.36 c (122,0) c Winner : 2 937.78/127.36 c (122,0) c Conflicts_0 : 727231 937.78/127.36 c (122,0) c Conflicts_1 : 722294 937.78/127.36 c (122,0) c Conflicts_2 : 715371 937.78/127.36 c (122,0) c Conflicts_3 : 716405 937.78/127.36 c (122,0) c Conflicts_4 : 717518 937.78/127.36 c (122,0) c Conflicts_5 : 696591 937.78/127.36 c (122,0) c Conflicts_6 : 736728 937.78/127.36 c (122,0) c Conflicts_7 : 720998 937.78/127.36 c (122,0) c Conflicts_total : 5753136 937.78/127.36 c (122,0) c Conflicts_winner : 715371 937.78/127.36 c (122,0) c Decisions_0 : 1405059 937.78/127.36 c (122,0) c Decisions_1 : 1395980 937.78/127.36 c (122,0) c Decisions_2 : 1385768 937.78/127.36 c (122,0) c Decisions_3 : 1376864 937.78/127.36 c (122,0) c Decisions_4 : 1374586 937.78/127.36 c (122,0) c Decisions_5 : 1335447 937.78/127.36 c (122,0) c Decisions_6 : 1433626 937.78/127.36 c (122,0) c Decisions_7 : 1390761 937.78/127.36 c (122,0) c Decisions_total : 11098091 937.78/127.36 c (122,0) c Decisions_winner : 1385768 937.78/127.36 c (122,0) c Propagations_0 : 53848242 937.78/127.36 c (122,0) c Propagations_1 : 53407524 937.78/127.36 c (122,0) c Propagations_2 : 53207630 937.78/127.36 c (122,0) c Propagations_3 : 53179690 937.78/127.36 c (122,0) c Propagations_4 : 53214108 937.78/127.36 c (122,0) c Propagations_5 : 52441366 937.78/127.36 c (122,0) c Propagations_6 : 54364331 937.78/127.36 c (122,0) c Propagations_7 : 53478062 937.78/127.36 c (122,0) c Propagations_total : 427140953 937.78/127.36 c (122,0) c Propagations_winner : 53207630 937.78/127.36 c (122,0) c ReduceDBs_0 : 23 937.78/127.36 c (122,0) c ReduceDBs_1 : 23 937.78/127.36 c (122,0) c ReduceDBs_2 : 23 937.78/127.36 c (122,0) c ReduceDBs_3 : 23 937.78/127.36 c (122,0) c ReduceDBs_4 : 23 937.78/127.36 c (122,0) c ReduceDBs_5 : 22 937.78/127.36 c (122,0) c ReduceDBs_6 : 23 937.78/127.36 c (122,0) c ReduceDBs_7 : 23 937.78/127.36 c (122,0) c ReduceDBs_total : 183 937.78/127.36 c (122,0) c ReduceDBs_winner : 23 937.78/127.36 c (122,0) c SimpDBs_0 : 11 937.78/127.36 c (122,0) c SimpDBs_1 : 9 937.78/127.36 c (122,0) c SimpDBs_2 : 10 937.78/127.36 c (122,0) c SimpDBs_3 : 10 937.78/127.36 c (122,0) c SimpDBs_4 : 11 937.78/127.36 c (122,0) c SimpDBs_5 : 7 937.78/127.36 c (122,0) c SimpDBs_6 : 10 937.78/127.36 c (122,0) c SimpDBs_7 : 12 937.78/127.36 c (122,0) c SimpDBs_total : 80 937.78/127.36 c (122,0) c SimpDBs_winner : 10 937.78/127.36 c (122,0) c Restarts_0 : 489 937.78/127.36 c (122,0) c Restarts_1 : 591 937.78/127.36 c (122,0) c Restarts_2 : 518 937.78/127.36 c (122,0) c Restarts_3 : 531 937.78/127.36 c (122,0) c Restarts_4 : 526 937.78/127.36 c (122,0) c Restarts_5 : 502 937.78/127.36 c (122,0) c Restarts_6 : 685 937.78/127.36 c (122,0) c Restarts_7 : 469 937.78/127.36 c (122,0) c Restarts_total : 4311 937.78/127.36 c (122,0) c Restarts_winner : 518 937.78/127.36 c (122,0) c ForcedImports_0 : 0 937.78/127.36 c (122,0) c ForcedImports_1 : 0 937.78/127.36 c (122,0) c ForcedImports_2 : 0 937.78/127.36 c (122,0) c ForcedImports_3 : 0 937.78/127.36 c (122,0) c ForcedImports_4 : 0 937.78/127.36 c (122,0) c ForcedImports_5 : 0 937.78/127.36 c (122,0) c ForcedImports_6 : 0 937.78/127.36 c (122,0) c ForcedImports_7 : 0 937.78/127.36 c (122,0) c ForcedImports_total : 0 937.78/127.36 c (122,0) c ForcedImports_winner : 0 937.78/127.36 c (122,0) c PropsBinClauses_0 : 112623059 937.78/127.36 c (122,0) c PropsBinClauses_1 : 111456338 937.78/127.36 c (122,0) c PropsBinClauses_2 : 112229502 937.78/127.36 c (122,0) c PropsBinClauses_3 : 113018959 937.78/127.36 c (122,0) c PropsBinClauses_4 : 112161544 937.78/127.36 c (122,0) c PropsBinClauses_5 : 112810206 937.78/127.36 c (122,0) c PropsBinClauses_6 : 112616108 937.78/127.36 c (122,0) c PropsBinClauses_7 : 111544247 937.78/127.36 c (122,0) c PropsBinClauses_total : 898459963 937.78/127.36 c (122,0) c PropsBinClauses_winner : 112229502 937.78/127.36 c (122,0) c PropsPreBlocker_0 : 3733081291 937.78/127.36 c (122,0) c PropsPreBlocker_1 : 3747339364 937.78/127.36 c (122,0) c PropsPreBlocker_2 : 3737216701 937.78/127.36 c (122,0) c PropsPreBlocker_3 : 3701526309 937.78/127.36 c (122,0) c PropsPreBlocker_4 : 3799768278 937.78/127.36 c (122,0) c PropsPreBlocker_5 : 3688922298 937.78/127.36 c (122,0) c PropsPreBlocker_6 : 3784382220 937.78/127.36 c (122,0) c PropsPreBlocker_7 : 3709560640 937.78/127.36 c (122,0) c PropsPreBlocker_total : 29901797101 937.78/127.36 c (122,0) c PropsPreBlocker_winner : 3737216701 937.78/127.36 c (122,0) c PropsNotBlocker_0 : 612901100 937.78/127.36 c (122,0) c PropsNotBlocker_1 : 618031849 937.78/127.36 c (122,0) c PropsNotBlocker_2 : 617141170 937.78/127.36 c (122,0) c PropsNotBlocker_3 : 618573259 937.78/127.36 c (122,0) c PropsNotBlocker_4 : 603114010 937.78/127.36 c (122,0) c PropsNotBlocker_5 : 629788218 937.78/127.36 c (122,0) c PropsNotBlocker_6 : 604397287 937.78/127.36 c (122,0) c PropsNotBlocker_7 : 623824364 937.78/127.36 c (122,0) c PropsNotBlocker_total : 4927771257 937.78/127.36 c (122,0) c PropsNotBlocker_winner : 617141170 937.78/127.36 c (122,0) c PropsLitFullScans_0 : 6629395766 937.78/127.36 c (122,0) c PropsLitFullScans_1 : 6625062918 937.78/127.36 c (122,0) c PropsLitFullScans_2 : 6618093566 937.78/127.36 c (122,0) c PropsLitFullScans_3 : 6613105193 937.78/127.36 c (122,0) c PropsLitFullScans_4 : 6619624018 937.78/127.36 c (122,0) c PropsLitFullScans_5 : 6623329286 937.78/127.36 c (122,0) c PropsLitFullScans_6 : 6618799368 937.78/127.36 c (122,0) c PropsLitFullScans_7 : 6631003577 937.78/127.36 c (122,0) c PropsLitFullScans_total : 52978413692 937.78/127.36 c (122,0) c PropsLitFullScans_winner : 6618093566 937.78/127.36 c (122,0) c LitScanFractions_0 : 919333 937.78/127.36 c (122,0) c LitScanFractions_1 : 1045802 937.78/127.36 c (122,0) c LitScanFractions_2 : 905909 937.78/127.36 c (122,0) c LitScanFractions_3 : 1096383 937.78/127.36 c (122,0) c LitScanFractions_4 : 1618265 937.78/127.36 c (122,0) c LitScanFractions_5 : 960691 937.78/127.36 c (122,0) c LitScanFractions_6 : 772596 937.78/127.36 c (122,0) c LitScanFractions_7 : 993882 937.78/127.36 c (122,0) c LitScanFractions_total : 8312861 937.78/127.36 c (122,0) c LitScanFractions_winner : 905909 937.78/127.36 c (122,0) c DecisionLevel0_0 : 507 937.78/127.36 c (122,0) c DecisionLevel0_1 : 607 937.78/127.36 c (122,0) c DecisionLevel0_2 : 540 937.78/127.36 c (122,0) c DecisionLevel0_3 : 545 937.78/127.36 c (122,0) c DecisionLevel0_4 : 542 937.78/127.36 c (122,0) c DecisionLevel0_5 : 517 937.78/127.36 c (122,0) c DecisionLevel0_6 : 701 937.78/127.36 c (122,0) c DecisionLevel0_7 : 483 937.78/127.36 c (122,0) c DecisionLevel0_total : 4442 937.78/127.36 c (122,0) c DecisionLevel0_winner : 540 937.78/127.36 c (122,0) c Periods_0 : 1104 937.78/127.36 c (122,0) c Periods_1 : 1104 937.78/127.36 c (122,0) c Periods_2 : 1102 937.78/127.36 c (122,0) c Periods_3 : 1102 937.78/127.36 c (122,0) c Periods_4 : 1103 937.78/127.36 c (122,0) c Periods_5 : 1103 937.78/127.36 c (122,0) c Periods_6 : 1103 937.78/127.36 c (122,0) c Periods_7 : 1105 937.78/127.36 c (122,0) c Periods_total : 8826 937.78/127.36 c (122,0) c Periods_winner : 1102 937.78/127.36 c (122,0) c Margin_0 : 20 937.78/127.36 c (122,0) c Margin_1 : 20 937.78/127.36 c (122,0) c Margin_2 : 20 937.78/127.36 c (122,0) c Margin_3 : 20 937.78/127.36 c (122,0) c Margin_4 : 20 937.78/127.36 c (122,0) c Margin_5 : 20 937.78/127.36 c (122,0) c Margin_6 : 20 937.78/127.36 c (122,0) c Margin_7 : 20 937.78/127.36 c (122,0) c Margin_total : 160 937.78/127.36 c (122,0) c Margin_winner : 20 937.78/127.36 c (122,0) c Exported_0 : 84360 937.78/127.36 c (122,0) c Exported_1 : 87352 937.78/127.36 c (122,0) c Exported_2 : 85883 937.78/127.36 c (122,0) c Exported_3 : 80290 937.78/127.36 c (122,0) c Exported_4 : 84121 937.78/127.36 c (122,0) c Exported_5 : 84517 937.78/127.36 c (122,0) c Exported_6 : 86108 937.78/127.36 c (122,0) c Exported_7 : 83220 937.78/127.36 c (122,0) c Exported_total : 675851 937.78/127.36 c (122,0) c Exported_winner : 85883 937.78/127.36 c (122,0) c Imported_0 : 584870 937.78/127.36 c (122,0) c Imported_1 : 581592 937.78/127.36 c (122,0) c Imported_2 : 582851 937.78/127.36 c (122,0) c Imported_3 : 587525 937.78/127.36 c (122,0) c Imported_4 : 584634 937.78/127.36 c (122,0) c Imported_5 : 584424 937.78/127.36 c (122,0) c Imported_6 : 582605 937.78/127.36 c (122,0) c Imported_7 : 586537 937.78/127.36 c (122,0) c Imported_total : 4675038 937.78/127.36 c (122,0) c Imported_winner : 582851 937.78/127.36 c (122,0) c Good_0 : 1755 937.78/127.36 c (122,0) c Good_1 : 1761 937.78/127.36 c (122,0) c Good_2 : 1749 937.78/127.36 c (122,0) c Good_3 : 1752 937.78/127.36 c (122,0) c Good_4 : 1799 937.78/127.36 c (122,0) c Good_5 : 1763 937.78/127.36 c (122,0) c Good_6 : 1709 937.78/127.36 c (122,0) c Good_7 : 1751 937.78/127.36 c (122,0) c Good_total : 14039 937.78/127.36 c (122,0) c Good_winner : 1749 937.78/127.36 c (122,0) c Purge_0 : 583115 937.78/127.36 c (122,0) c Purge_1 : 579831 937.78/127.36 c (122,0) c Purge_2 : 581102 937.78/127.36 c (122,0) c Purge_3 : 585773 937.78/127.36 c (122,0) c Purge_4 : 582835 937.78/127.36 c (122,0) c Purge_5 : 582661 937.78/127.36 c (122,0) c Purge_6 : 580896 937.78/127.36 c (122,0) c Purge_7 : 584786 937.78/127.36 c (122,0) c Purge_total : 4660999 937.78/127.36 c (122,0) c Purge_winner : 581102 937.78/127.36 c (122,0) c Promoted_0 : 48619 937.78/127.36 c (122,0) c Promoted_1 : 50193 937.78/127.36 c (122,0) c Promoted_2 : 48525 937.78/127.36 c (122,0) c Promoted_3 : 47717 937.78/127.36 c (122,0) c Promoted_4 : 47588 937.78/127.36 c (122,0) c Promoted_5 : 47297 937.78/127.36 c (122,0) c Promoted_6 : 49174 937.78/127.36 c (122,0) c Promoted_7 : 49521 937.78/127.36 c (122,0) c Promoted_total : 388634 937.78/127.36 c (122,0) c Promoted_winner : 48525 937.78/127.36 c (122,0) c Remove_Imp_0 : 465080 937.78/127.36 c (122,0) c Remove_Imp_1 : 459529 937.78/127.36 c (122,0) c Remove_Imp_2 : 457062 937.78/127.36 c (122,0) c Remove_Imp_3 : 459869 937.78/127.36 c (122,0) c Remove_Imp_4 : 465261 937.78/127.36 c (122,0) c Remove_Imp_5 : 442988 937.78/127.36 c (122,0) c Remove_Imp_6 : 447943 937.78/127.36 c (122,0) c Remove_Imp_7 : 462217 937.78/127.36 c (122,0) c Remove_Imp_total : 3659949 937.78/127.36 c (122,0) c Remove_Imp_winner : 457062 937.78/127.36 c (122,0) c Blocked_Reuse_0 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_1 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_2 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_3 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_4 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_5 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_6 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_7 : 0 937.78/127.36 c (122,0) c Blocked_Reuse_total : 0 937.78/127.36 c (122,0) c Blocked_Reuse_winner : 0 937.78/127.36 c (122,0) c Unaries_0 : 18 937.78/127.36 c (122,0) c Unaries_1 : 16 937.78/127.36 c (122,0) c Unaries_2 : 22 937.78/127.36 c (122,0) c Unaries_3 : 14 937.78/127.36 c (122,0) c Unaries_4 : 16 937.78/127.36 c (122,0) c Unaries_5 : 15 937.78/127.36 c (122,0) c Unaries_6 : 16 937.78/127.36 c (122,0) c Unaries_7 : 14 937.78/127.36 c (122,0) c Unaries_total : 131 937.78/127.36 c (122,0) c Unaries_winner : 22 937.78/127.36 c (122,0) c Binaries_0 : 281 937.78/127.36 c (122,0) c Binaries_1 : 257 937.78/127.36 c (122,0) c Binaries_2 : 283 937.78/127.36 c (122,0) c Binaries_3 : 255 937.78/127.36 c (122,0) c Binaries_4 : 217 937.78/127.36 c (122,0) c Binaries_5 : 253 937.78/127.36 c (122,0) c Binaries_6 : 309 937.78/127.36 c (122,0) c Binaries_7 : 279 937.78/127.36 c (122,0) c Binaries_total : 2134 937.78/127.36 c (122,0) c Binaries_winner : 283 937.78/127.36 c (122,0) c Glues_0 : 1025 937.78/127.36 c (122,0) c Glues_1 : 1023 937.78/127.36 c (122,0) c Glues_2 : 1043 937.78/127.36 c (122,0) c Glues_3 : 1011 937.78/127.36 c (122,0) c Glues_4 : 910 937.78/127.36 c (122,0) c Glues_5 : 1054 937.78/127.36 c (122,0) c Glues_6 : 1094 937.78/127.36 c (122,0) c Glues_7 : 955 937.78/127.36 c (122,0) c Glues_total : 8115 937.78/127.36 c (122,0) c Glues_winner : 1043 937.78/127.36 c (122,0) c RunningTime_0 : 109.875993 937.78/127.36 c (122,0) c RunningTime_1 : 109.482889 937.78/127.36 c (122,0) c RunningTime_2 : 120.898868 937.78/127.36 c (122,0) c RunningTime_3 : 119.997193 937.78/127.36 c (122,0) c RunningTime_4 : 118.012528 937.78/127.36 c (122,0) c RunningTime_5 : 117.147645 937.78/127.36 c (122,0) c RunningTime_6 : 115.836901 937.78/127.36 c (122,0) c RunningTime_7 : 115.260593 937.78/127.36 c (122,0) c RunningTime_total : 926.512611 937.78/127.36 c (122,0) c RunningTime_winner : 120.898868 937.78/127.36 c (122,0) c WaitingTime_0 : 10.349694 937.78/127.36 c (122,0) c WaitingTime_1 : 10.938972 937.78/127.36 c (122,0) c WaitingTime_2 : 0.597282 937.78/127.36 c (122,0) c WaitingTime_3 : 1.558137 937.78/127.36 c (122,0) c WaitingTime_4 : 2.747841 937.78/127.36 c (122,0) c WaitingTime_5 : 3.265259 937.78/127.36 c (122,0) c WaitingTime_6 : 5.292098 937.78/127.36 c (122,0) c WaitingTime_7 : 4.982282 937.78/127.36 c (122,0) c WaitingTime_total : 39.731567 937.78/127.36 c (122,0) c WaitingTime_winner : 0.597282 937.78/127.36 c (122,0) c ExchangingTime_0 : 0.312412 937.78/127.36 c (122,0) c ExchangingTime_1 : 0.295462 937.78/127.36 c (122,0) c ExchangingTime_2 : 0.302396 937.78/127.36 c (122,0) c ExchangingTime_3 : 0.300010 937.78/127.36 c (122,0) c ExchangingTime_4 : 0.326449 937.78/127.36 c (122,0) c ExchangingTime_5 : 0.325375 937.78/127.36 c (122,0) c ExchangingTime_6 : 0.285313 937.78/127.36 c (122,0) c ExchangingTime_7 : 0.337034 937.78/127.36 c (122,0) c ExchangingTime_total : 2.484452 937.78/127.36 c (122,0) c ExchangingTime_winner : 0.302396 937.78/127.36 c (122,0) c PeriodProcTime_0 : 0.010423 937.78/127.36 c (122,0) c PeriodProcTime_1 : 0.010816 937.78/127.36 c (122,0) c PeriodProcTime_2 : 0.010781 937.78/127.36 c (122,0) c PeriodProcTime_3 : 0.011822 937.78/127.36 c (122,0) c PeriodProcTime_4 : 0.010807 937.78/127.36 c (122,0) c PeriodProcTime_5 : 0.011950 937.78/127.36 c (122,0) c PeriodProcTime_6 : 0.010056 937.78/127.38 c (122,0) c PeriodProcTime_7 : 0.011315 937.78/127.38 c (122,0) c PeriodProcTime_total : 0.087969 937.78/127.38 c (122,0) c PeriodProcTime_winner : 0.010781 937.78/127.38 c (122,0) c SolvingTime_0 : 120.548522 937.78/127.38 c (122,0) c SolvingTime_1 : 120.728139 937.78/127.38 c (122,0) c SolvingTime_2 : 121.809328 937.78/127.38 c (122,0) c SolvingTime_3 : 121.867163 937.78/127.38 c (122,0) c SolvingTime_4 : 121.097626 937.78/127.38 c (122,0) c SolvingTime_5 : 120.750228 937.78/127.38 c (122,0) c SolvingTime_6 : 121.424369 937.78/127.38 c (122,0) c SolvingTime_7 : 120.591225 937.78/127.38 c (122,0) c SolvingTime_total : 968.816599 937.78/127.38 c (122,0) c SolvingTime_winner : 121.809328 937.78/127.38 c (122,0) c PropagationTime_0 : 94.091048 937.78/127.38 c (122,0) c PropagationTime_1 : 92.146929 937.78/127.38 c (122,0) c PropagationTime_2 : 80.378905 937.78/127.38 c (122,0) c PropagationTime_3 : 80.631411 937.78/127.38 c (122,0) c PropagationTime_4 : 79.300587 937.78/127.38 c (122,0) c PropagationTime_5 : 82.628615 937.78/127.38 c (122,0) c PropagationTime_6 : 83.778854 937.78/127.38 c (122,0) c PropagationTime_7 : 88.625627 937.78/127.38 c (122,0) c PropagationTime_total : 681.581976 937.78/127.38 c (122,0) c PropagationTime_winner : 80.378905 937.78/127.38 c (122,0) c AnalysisTime_0 : 23.193245 937.78/127.38 c (122,0) c AnalysisTime_1 : 25.348485 937.78/127.38 c (122,0) c AnalysisTime_2 : 38.240526 937.78/127.38 c (122,0) c AnalysisTime_3 : 38.078645 937.78/127.38 c (122,0) c AnalysisTime_4 : 38.656701 937.78/127.38 c (122,0) c AnalysisTime_5 : 35.065069 937.78/127.38 c (122,0) c AnalysisTime_6 : 34.428628 937.78/127.38 c (122,0) c AnalysisTime_7 : 28.658796 937.78/127.38 c (122,0) c AnalysisTime_total : 261.670094 937.78/127.38 c (122,0) c AnalysisTime_winner : 38.240526 937.78/127.38 c (122,0) c ReductionTime_0 : 1.322468 937.78/127.38 c (122,0) c ReductionTime_1 : 1.295352 937.78/127.38 c (122,0) c ReductionTime_2 : 1.176613 937.78/127.38 c (122,0) c ReductionTime_3 : 1.186449 937.78/127.38 c (122,0) c ReductionTime_4 : 1.230659 937.78/127.38 c (122,0) c ReductionTime_5 : 1.156310 937.78/127.38 c (122,0) c ReductionTime_6 : 1.269481 937.78/127.38 c (122,0) c ReductionTime_7 : 1.317464 937.78/127.38 c (122,0) c ReductionTime_total : 9.954797 937.78/127.38 c (122,0) c ReductionTime_winner : 1.176613 937.78/127.38 c (122,0) c SimplifyTime_0 : 0.045423 937.78/127.38 c (122,0) c SimplifyTime_1 : 0.051869 937.78/127.38 c (122,0) c SimplifyTime_2 : 0.042972 937.78/127.38 c (122,0) c SimplifyTime_3 : 0.047734 937.78/127.38 c (122,0) c SimplifyTime_4 : 0.049464 937.78/127.38 c (122,0) c SimplifyTime_5 : 0.043028 937.78/127.38 c (122,0) c SimplifyTime_6 : 0.041572 937.78/127.38 c (122,0) c SimplifyTime_7 : 0.048713 937.78/127.38 c (122,0) c SimplifyTime_total : 0.370775 937.78/127.38 c (122,0) c SimplifyTime_winner : 0.042972 937.78/127.38 c (122,0) c UsedRateTime_0 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_1 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_2 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_3 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_4 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_5 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_6 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_7 : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_total : 0.000000 937.78/127.38 c (122,0) c UsedRateTime_winner : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_0 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_1 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_2 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_3 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_4 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_5 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_6 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_7 : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_total : 0.000000 937.78/127.38 c (122,0) c OverlapRateTime_winner : 0.000000 937.78/127.38 c (122,0) c 937.78/127.38 c (122,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 937.78/127.38 c (122,0) c 937.78/127.38 c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.38 c (122,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 937.78/127.38 c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.38 c (122,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 937.78/127.38 c (122,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 937.78/127.38 c (122,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 937.78/127.38 c (122,0) c | Initial random_seed | 600797513 | 1962486809 | 653525899 | 609475511 | 1983696745 | 301270029 | 1767057418 | 1199380234 | 937.78/127.38 c (122,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 937.78/127.38 c (122,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 937.78/127.38 c (122,0) c | glureduce | True | True | True | True | True | True | True | True | 937.78/127.38 c (122,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 937.78/127.38 c (122,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 937.78/127.38 c (122,0) c | luby_restart | False | False | False | False | False | False | False | False | 937.78/127.38 c (122,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 937.78/127.38 c (122,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 937.78/127.38 c (122,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 937.78/127.38 c (122,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 937.78/127.38 c (122,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 937.78/127.38 c (122,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 937.78/127.38 c (122,0) 937.78/127.38 c (122,0) s UNSATISFIABLE 937.78/127.38 c (122,0) SatSolver.solve End 937.78/127.38 c (122,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 937.78/127.38 c (122,0) Show results Begin 937.78/127.38 s UNSATISFIABLE 937.78/127.38 c (122,0) Show results End 937.78/127.38 c (122,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 937.78/127.39 c (122,0) 122,122,STOP-AFTER(ALL) 937.78/127.39 c END-Prog: Sat Sep 14 06:53:27 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 (12410 MiB free) memory of node 1: 16384 MiB (11640 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392737-1568436719/watcher-4392737-1568436719 -o /tmp/evaluation-result-4392737-1568436719/solver-4392737-1568436719 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568428810-25211 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392737-1568436719.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=26987, runsolver pid=26984 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 6.37 3.26 2.10 2/212 27009 /proc/meminfo: memFree=24533504/32770624 swapFree=66939852/67108860 [pid=26987] ppid=26984 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/26987/stat : 26987 (scop.sh) S 26984 26987 25184 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419586818 115843072 349 33554432000 4194304 5098028 140736060862320 140736060859576 139913778463356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11169792 140736060867364 140736060867692 140736060867692 140736060870605 0 /proc/26987/statm: 28282 349 296 221 0 87 0 [pid=26990] ppid=26987 vsize=27314120 memory=107648 CPUtime=0.1 cores=0-7 /proc/26990/stat : 26990 (java) S 26987 26987 25184 0 -1 1077944320 6456 0 0 0 8 2 0 0 20 0 20 0 419586818 27969658880 26912 33554432000 4194304 4196468 140733798199024 140733798181568 140526551052023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 /proc/26990/statm: 6828530 26912 2803 1 0 6790935 0 [pid=26990/tid=26991] ppid=26987 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/26990/task/26991/stat : 26991 (java) R 26987 26987 25184 0 -1 4202560 4565 0 0 0 7 2 0 0 20 0 20 0 419586818 27969658880 26912 33554432000 4194304 4196468 140733798199024 140526522886464 140526532940252 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26992] ppid=26987 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/26990/task/26992/stat : 26992 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140526555294096 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26993] ppid=26987 vsize=27314120 memory=139949772162688 CPUtime=0 cores=0-7 /proc/26990/task/26993/stat : 26993 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140526369450256 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26994] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26994/stat : 26994 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140526368397968 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26995] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26995/stat : 26995 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140526367345168 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26996] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26996/stat : 26996 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140526366292880 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26997] ppid=26987 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/26990/task/26997/stat : 26997 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140526365240080 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26998] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26998/stat : 26998 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140525968194704 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26999] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26999/stat : 26999 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 26912 33554432000 4194304 4196468 140733798199024 140525967141904 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27000] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27000/stat : 27000 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586822 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524736407664 140526551063170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27001] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27001/stat : 27001 (java) S 26987 26987 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419586823 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524484813600 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27002] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27002/stat : 27002 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586823 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524216378480 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27003] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27003/stat : 27003 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 26912 33554432000 4194304 4196468 140733798199024 140523841869904 140526551070619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27004] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27004/stat : 27004 (java) S 26987 26987 25184 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524735355504 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27005] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27005/stat : 27005 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524734302704 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27006] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27006/stat : 27006 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524733250416 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27007] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27007/stat : 27007 (java) R 26987 26987 25184 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524732197616 140526551063958 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27008] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27008/stat : 27008 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586826 27969658880 26912 33554432000 4194304 4196468 140733798199024 140523343964512 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27009] ppid=26987 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/26990/task/27009/stat : 27009 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586826 27969658880 26912 33554432000 4194304 4196468 140733798199024 140524731144496 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 109044 KiB [startup+0.210384 s]* /proc/loadavg: 6.37 3.26 2.10 4/212 27009 /proc/meminfo: memFree=24510564/32770624 swapFree=66939852/67108860 [pid=26987] ppid=26984 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/26987/stat : 26987 (scop.sh) S 26984 26987 25184 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419586818 115843072 349 33554432000 4194304 5098028 140736060862320 140736060859576 139913778463356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11169792 140736060867364 140736060867692 140736060867692 140736060870605 0 /proc/26987/statm: 28282 349 296 221 0 87 0 [pid=26990] ppid=26987 vsize=27314120 memory=126724 CPUtime=0.25 cores=0-7 /proc/26990/stat : 26990 (java) S 26987 26987 25184 0 -1 1077944320 12078 0 0 0 21 4 0 0 20 0 20 0 419586818 27969658880 31681 33554432000 4194304 4196468 140733798199024 140733798181568 140526551052023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 /proc/26990/statm: 6828530 31681 2935 1 0 6790935 0 [pid=26990/tid=26991] ppid=26987 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/26990/task/26991/stat : 26991 (java) R 26987 26987 25184 0 -1 4202560 9801 0 0 0 16 3 0 0 20 0 20 0 419586818 27969658880 31681 33554432000 4194304 4196468 140733798199024 140526522874736 140526532615556 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26992] ppid=26987 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/26990/task/26992/stat : 26992 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140526555294096 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26993] ppid=26987 vsize=27314120 memory=3978567967917524640 CPUtime=0 cores=0-7 /proc/26990/task/26993/stat : 26993 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140526369450256 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26994] ppid=26987 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/26990/task/26994/stat : 26994 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140526368397968 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26995] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26995/stat : 26995 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140526367345168 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26996] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26996/stat : 26996 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140526366292880 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26997] ppid=26987 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/26990/task/26997/stat : 26997 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140526365240080 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26998] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26998/stat : 26998 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140525968194704 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26999] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26999/stat : 26999 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 31681 33554432000 4194304 4196468 140733798199024 140525967141904 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27000] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27000/stat : 27000 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586822 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524736407664 140526551063170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27001] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27001/stat : 27001 (java) S 26987 26987 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419586823 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524484813600 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27002] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27002/stat : 27002 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586823 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524216378480 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27003] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27003/stat : 27003 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 31681 33554432000 4194304 4196468 140733798199024 140523841869904 140526551070619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27004] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27004/stat : 27004 (java) S 26987 26987 25184 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524735355504 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27005] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27005/stat : 27005 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524734302704 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27006] ppid=26987 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/26990/task/27006/stat : 27006 (java) S 26987 26987 25184 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524733250416 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27007] ppid=26987 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/26990/task/27007/stat : 27007 (java) S 26987 26987 25184 0 -1 1077944384 436 0 0 0 2 0 0 0 20 0 20 0 419586825 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524732197616 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27008] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27008/stat : 27008 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586826 27969658880 31681 33554432000 4194304 4196468 140733798199024 140523343964512 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27009] ppid=26987 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/26990/task/27009/stat : 27009 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586826 27969658880 31681 33554432000 4194304 4196468 140733798199024 140524731144496 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128120 KiB [startup+0.310245 s]* /proc/loadavg: 6.37 3.26 2.10 2/212 27009 /proc/meminfo: memFree=24507400/32770624 swapFree=66939852/67108860 [pid=26987] ppid=26984 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/26987/stat : 26987 (scop.sh) S 26984 26987 25184 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419586818 115843072 349 33554432000 4194304 5098028 140736060862320 140736060859576 139913778463356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11169792 140736060867364 140736060867692 140736060867692 140736060870605 0 /proc/26987/statm: 28282 349 296 221 0 87 0 [pid=26990] ppid=26987 vsize=27314120 memory=130076 CPUtime=0.42 cores=0-7 /proc/26990/stat : 26990 (java) S 26987 26987 25184 0 -1 1077944320 12438 0 0 0 38 4 0 0 20 0 20 0 419586818 27969658880 32519 33554432000 4194304 4196468 140733798199024 140733798181568 140526551052023 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 /proc/26990/statm: 6828530 32519 2992 1 0 6790935 0 [pid=26990/tid=26991] ppid=26987 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/26990/task/26991/stat : 26991 (java) R 26987 26987 25184 0 -1 4202560 9991 0 0 0 26 3 0 0 20 0 20 0 419586818 27969658880 32519 33554432000 4194304 4196468 140733798199024 140526522865888 140526532615561 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26992] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26992/stat : 26992 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140526555294096 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26993] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26993/stat : 26993 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140526369450256 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26994] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26994/stat : 26994 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140526368397968 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26995] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26995/stat : 26995 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140526367345168 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26996] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26996/stat : 26996 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140526366292880 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26997] ppid=26987 vsize=27314120 memory=139949630384815 CPUtime=0 cores=0-7 /proc/26990/task/26997/stat : 26997 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140526365240080 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26998] ppid=26987 vsize=27314120 memory=139949630387120 CPUtime=0 cores=0-7 /proc/26990/task/26998/stat : 26998 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140525968194704 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26999] ppid=26987 vsize=27314120 memory=139949630389424 CPUtime=0 cores=0-7 /proc/26990/task/26999/stat : 26999 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27969658880 32519 33554432000 4194304 4196468 140733798199024 140525967141904 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27000] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27000/stat : 27000 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586822 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524736407664 140526551063170 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27001] ppid=26987 vsize=27314120 memory=279899260792720 CPUtime=0 cores=0-7 /proc/26990/task/27001/stat : 27001 (java) S 26987 26987 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419586823 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524484813600 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27002] ppid=26987 vsize=27314120 memory=279899260790416 CPUtime=0 cores=0-7 /proc/26990/task/27002/stat : 27002 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586823 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524216378480 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27003] ppid=26987 vsize=27314120 memory=279899260797328 CPUtime=0 cores=0-7 /proc/26990/task/27003/stat : 27003 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 32519 33554432000 4194304 4196468 140733798199024 140523841869904 140526551070619 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27004] ppid=26987 vsize=27314120 memory=279899260738608 CPUtime=0.02 cores=0-7 /proc/26990/task/27004/stat : 27004 (java) S 26987 26987 25184 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 20 0 419586825 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524735355504 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27005] ppid=26987 vsize=27314120 memory=279899260811152 CPUtime=0.01 cores=0-7 /proc/26990/task/27005/stat : 27005 (java) S 26987 26987 25184 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 20 0 419586825 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524734302704 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27006] ppid=26987 vsize=27314120 memory=279899260818064 CPUtime=0 cores=0-7 /proc/26990/task/27006/stat : 27006 (java) S 26987 26987 25184 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 20 0 419586825 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524733250416 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27007] ppid=26987 vsize=27314120 memory=279899260815760 CPUtime=0.07 cores=0-7 /proc/26990/task/27007/stat : 27007 (java) S 26987 26987 25184 0 -1 1077944384 457 0 0 0 7 0 0 0 20 0 20 0 419586825 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524732197616 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27008] ppid=26987 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/27008/stat : 27008 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586826 27969658880 32519 33554432000 4194304 4196468 140733798199024 140523343964512 140526551062229 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=27009] ppid=26987 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/26990/task/27009/stat : 27009 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586826 27969658880 32519 33554432000 4194304 4196468 140733798199024 140524731144496 140526551063170 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131472 KiB [startup+0.701706 s] /proc/loadavg: 6.37 3.26 2.10 2/212 27009 /proc/meminfo: memFree=24485820/32770624 swapFree=66939852/67108860 [pid=26987] ppid=26984 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/26987/stat : 26987 (scop.sh) S 26984 26987 25184 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 419586818 115843072 349 33554432000 4194304 5098028 140736060862320 140736060859576 139913778463356 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11169792 140736060867364 140736060867692 140736060867692 140736060870605 0 /proc/26987/statm: 28282 349 296 221 0 87 0 [pid=26990] ppid=26987 vsize=27320392 memory=165520 CPUtime=1.01 cores=0-7 /proc/26990/stat : 26990 (java) S 26987 26987 25184 0 -1 1077944320 20002 0 0 0 94 7 0 0 20 0 20 0 419586818 27976081408 41380 33554432000 4194304 4196468 140733798199024 140733798181568 140526551052023 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 /proc/26990/statm: 6830098 41380 3181 1 0 6791447 0 [pid=26990/tid=26991] ppid=26987 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/26990/task/26991/stat : 26991 (java) R 26987 26987 25184 0 -1 4202560 16908 0 0 0 62 5 0 0 20 0 20 0 419586818 27976081408 41380 33554432000 4194304 4196468 140733798199024 140526522889488 140526551063958 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26992] ppid=26987 vsize=27320392 memory=139949630595952 CPUtime=0 cores=0-7 /proc/26990/task/26992/stat : 26992 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419586821 27976081408 41380 33554432000 4194304 4196468 140733798199024 140526555294096 140526551062229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26993] ppid=26987 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/26990/task/26993/stat : 26993 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419586821 27976081408 41380 33554432000 4194304 4196468 140733798199024 140526369450256 140526551062229 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 [pid=26990/tid=26994] ppid=26987 vsize=27320392 memory=1256 CPUtime=0 cores=0-7 /proc/26990/task/26994/stat : 26994 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419586821 27976081408 41380 33554432000 4194304 4196468 140733798199024 140526368397968 140526551062229 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38400000 140733798208234 140733798208662 140733798208662 140733798211535 0 ################ # More data... # ################ [pid=27010/tid=27021] ppid=26987 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/27010/task/27021/stat : 27021 (java) S 26987 26987 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419587287 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956878042400 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27022] ppid=26987 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27010/task/27022/stat : 27022 (java) S 26987 26987 25184 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419587287 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956743820912 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27023] ppid=26987 vsize=8414124 memory=119508 CPUtime=0 cores=0-7 /proc/27010/task/27023/stat : 27023 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956369316432 139958308308891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27024] ppid=26987 vsize=8414124 memory=578480 CPUtime=0.05 cores=0-7 /proc/27010/task/27024/stat : 27024 (java) S 26987 26987 25184 0 -1 1077944384 542 0 0 0 5 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957467285616 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27025] ppid=26987 vsize=8414124 memory=8317482817917895235 CPUtime=0.06 cores=0-7 /proc/27010/task/27025/stat : 27025 (java) S 26987 26987 25184 0 -1 1077944384 274 0 0 0 6 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957466232816 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27026] ppid=26987 vsize=8414124 memory=4872558044660077418 CPUtime=0.07 cores=0-7 /proc/27010/task/27026/stat : 27026 (java) S 26987 26987 25184 0 -1 1077944384 364 0 0 0 7 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957465180528 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27027] ppid=26987 vsize=8414124 memory=924 CPUtime=0.21 cores=0-7 /proc/27010/task/27027/stat : 27027 (java) S 26987 26987 25184 0 -1 1077944384 757 0 0 0 21 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957464127728 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27028] ppid=26987 vsize=8414124 memory=3688 CPUtime=0 cores=0-7 /proc/27010/task/27028/stat : 27028 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955871411040 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27029] ppid=26987 vsize=8414124 memory=1984 CPUtime=0.08 cores=0-7 /proc/27010/task/27029/stat : 27029 (java) S 26987 26987 25184 0 -1 1077944384 9 0 0 0 8 0 0 0 20 0 24 0 419587290 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957463075632 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27031] ppid=26987 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/27010/task/27031/stat : 27031 (java) S 26987 26987 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419587357 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957750957888 139958308314905 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27033] ppid=26987 vsize=8414124 memory=816 CPUtime=0 cores=0-7 /proc/27010/task/27033/stat : 27033 (java) S 26987 26987 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419587358 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955200310672 139958308312221 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27034] ppid=26987 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/27010/task/27034/stat : 27034 (java) S 26987 26987 25184 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419587358 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955468746000 139958308312221 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27043] ppid=26987 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/27010/task/27043/stat : 27043 (java) S 26987 26987 25184 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419587360 8616062976 29877 33554432000 4194304 4196468 140730043145152 139954931883312 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 Current children cumulated CPU time: 936.67 s Current children cumulated vsize: 9237372 KiB Current children cumulated memory: 679068 KiB [startup+127.201 s] /proc/loadavg: 7.57 4.77 2.80 3/220 27052 /proc/meminfo: memFree=23965532/32770624 swapFree=66939852/67108860 [pid=26987] ppid=26984 vsize=113128 memory=1476 CPUtime=11.85 cores=0-7 /proc/26987/stat : 26987 (scop.sh) S 26984 26987 25184 0 -1 4202496 581 32095 0 0 0 0 1156 29 20 0 1 0 419586818 115843072 369 33554432000 4194304 5098028 140736060862320 140736060859064 139913778463356 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11169792 140736060867364 140736060867692 140736060867692 140736060870605 0 /proc/26987/statm: 28282 369 311 221 0 87 0 [pid=27010] ppid=26987 vsize=8414124 memory=119508 CPUtime=1.29 cores=0-7 /proc/27010/stat : 27010 (java) S 26987 26987 25184 0 -1 1077944320 20849 0 0 0 120 9 0 0 20 0 24 0 419587283 8616062976 29877 33554432000 4194304 4196468 140730043145152 140730043127696 139958308290295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 /proc/27010/statm: 2103531 29877 3206 1 0 2064875 0 [pid=27030] ppid=27010 vsize=710120 memory=556060 CPUtime=924.44 cores=0-7 /proc/27030/stat : 27030 (manyglucose-4.1) S 27010 26987 25184 0 -1 1077944320 612615 0 0 0 92320 124 0 0 20 0 3 0 419587357 727162880 139015 33554432000 4194304 4454172 140737039605408 140737039603792 140283297287927 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 10878976 140737039610729 140737039610928 140737039610928 140737039613882 0 /proc/27030/statm: 177530 139015 419 64 0 173198 0 [pid=27030/tid=27037] ppid=27010 vsize=710120 memory=-9177327124519088530 CPUtime=120.73 cores=0-7 /proc/27030/task/27037/stat : 27037 (manyglucose-4.1) R 27010 26987 25184 0 -1 4202560 77782 0 0 0 12055 18 0 0 20 0 3 0 419587360 727162880 139015 33554432000 4194304 4454172 140737039605408 140283265285128 4351502 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 10878976 140737039610729 140737039610928 140737039610928 140737039613882 0 [pid=27030/tid=27038] ppid=27010 vsize=710120 memory=1984 CPUtime=120.09 cores=0-7 /proc/27030/task/27038/stat : 27038 (manyglucose-4.1) R 27010 26987 25184 0 -1 4202560 71806 0 0 0 11995 14 0 0 20 0 3 0 419587360 727162880 139015 33554432000 4194304 4454172 140737039605408 140283256892552 4350400 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 10878976 140737039610729 140737039610928 140737039610928 140737039613882 0 [pid=27010/tid=27011] ppid=26987 vsize=8414124 memory=1440 CPUtime=0.77 cores=0-7 /proc/27010/task/27011/stat : 27011 (java) S 26987 26987 25184 0 -1 1077944384 17353 0 0 0 71 6 0 0 20 0 24 0 419587283 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958280130464 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27012] ppid=26987 vsize=8414124 memory=816 CPUtime=0 cores=0-7 /proc/27010/task/27012/stat : 27012 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958312532880 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27013] ppid=26987 vsize=8414124 memory=2580 CPUtime=0 cores=0-7 /proc/27010/task/27013/stat : 27013 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958112701200 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27014] ppid=26987 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/27010/task/27014/stat : 27014 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958111648912 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27015] ppid=26987 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/27010/task/27015/stat : 27015 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958110596112 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27016] ppid=26987 vsize=8414124 memory=119508 CPUtime=0 cores=0-7 /proc/27010/task/27016/stat : 27016 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958109542800 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27017] ppid=26987 vsize=8414124 memory=582928 CPUtime=0 cores=0-7 /proc/27010/task/27017/stat : 27017 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958108490000 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27018] ppid=26987 vsize=8414124 memory=1620 CPUtime=0 cores=0-7 /proc/27010/task/27018/stat : 27018 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958107437712 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27019] ppid=26987 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/27010/task/27019/stat : 27019 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958106384912 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27020] ppid=26987 vsize=8414124 memory=-9177327124519088530 CPUtime=0 cores=0-7 /proc/27010/task/27020/stat : 27020 (java) S 26987 26987 25184 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419587286 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957468338800 139958308301442 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27021] ppid=26987 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/27010/task/27021/stat : 27021 (java) S 26987 26987 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419587287 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956878042400 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27022] ppid=26987 vsize=8414124 memory=4464 CPUtime=0 cores=0-7 /proc/27010/task/27022/stat : 27022 (java) S 26987 26987 25184 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419587287 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956743820912 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27023] ppid=26987 vsize=8414124 memory=7883106284987377512 CPUtime=0 cores=0-7 /proc/27010/task/27023/stat : 27023 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956369316432 139958308308891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27024] ppid=26987 vsize=8414124 memory=7380104922427517032 CPUtime=0.05 cores=0-7 /proc/27010/task/27024/stat : 27024 (java) S 26987 26987 25184 0 -1 1077944384 542 0 0 0 5 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957467285616 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27025] ppid=26987 vsize=8414124 memory=7450481445210313554 CPUtime=0.06 cores=0-7 /proc/27010/task/27025/stat : 27025 (java) S 26987 26987 25184 0 -1 1077944384 274 0 0 0 6 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957466232816 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27026] ppid=26987 vsize=8414124 memory=7450481445210313554 CPUtime=0.07 cores=0-7 /proc/27010/task/27026/stat : 27026 (java) S 26987 26987 25184 0 -1 1077944384 364 0 0 0 7 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957465180528 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27027] ppid=26987 vsize=8414124 memory=6080536132228377446 CPUtime=0.21 cores=0-7 /proc/27010/task/27027/stat : 27027 (java) S 26987 26987 25184 0 -1 1077944384 757 0 0 0 21 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957464127728 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27028] ppid=26987 vsize=8414124 memory=7229511498059310699 CPUtime=0 cores=0-7 /proc/27010/task/27028/stat : 27028 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955871411040 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27029] ppid=26987 vsize=8414124 memory=6080536132228377446 CPUtime=0.08 cores=0-7 /proc/27010/task/27029/stat : 27029 (java) S 26987 26987 25184 0 -1 1077944384 9 0 0 0 8 0 0 0 20 0 24 0 419587290 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957463075632 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27031] ppid=26987 vsize=8414124 memory=7883106284987377512 CPUtime=0 cores=0-7 /proc/27010/task/27031/stat : 27031 (java) S 26987 26987 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419587357 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957750957888 139958308314905 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27033] ppid=26987 vsize=8414124 memory=33 CPUtime=0 cores=0-7 /proc/27010/task/27033/stat : 27033 (java) S 26987 26987 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419587358 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955200310672 139958308312221 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27034] ppid=26987 vsize=8414124 memory=56 CPUtime=0 cores=0-7 /proc/27010/task/27034/stat : 27034 (java) S 26987 26987 25184 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419587358 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955468746000 139958308312221 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27043] ppid=26987 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/27010/task/27043/stat : 27043 (java) S 26987 26987 25184 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419587360 8616062976 29877 33554432000 4194304 4196468 140730043145152 139954931883312 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 Current children cumulated CPU time: 937.58 s Current children cumulated vsize: 9237372 KiB Current children cumulated memory: 677044 KiB [startup+127.301 s] /proc/loadavg: 7.57 4.77 2.80 3/220 27052 /proc/meminfo: memFree=23965532/32770624 swapFree=66939852/67108860 [pid=26987] ppid=26984 vsize=113128 memory=1476 CPUtime=11.85 cores=0-7 /proc/26987/stat : 26987 (scop.sh) S 26984 26987 25184 0 -1 4202496 581 32095 0 0 0 0 1156 29 20 0 1 0 419586818 115843072 369 33554432000 4194304 5098028 140736060862320 140736060859064 139913778463356 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11169792 140736060867364 140736060867692 140736060867692 140736060870605 0 /proc/26987/statm: 28282 369 311 221 0 87 0 [pid=27010] ppid=26987 vsize=8414124 memory=119508 CPUtime=1.29 cores=0-7 /proc/27010/stat : 27010 (java) S 26987 26987 25184 0 -1 1077944320 20849 0 0 0 120 9 0 0 20 0 24 0 419587283 8616062976 29877 33554432000 4194304 4196468 140730043145152 140730043127696 139958308290295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 /proc/27010/statm: 2103531 29877 3206 1 0 2064875 0 [pid=27030] ppid=27010 vsize=710120 memory=556064 CPUtime=924.64 cores=0-7 /proc/27030/stat : 27030 (manyglucose-4.1) S 27010 26987 25184 0 -1 1077944320 612615 0 0 0 92340 124 0 0 20 0 2 0 419587357 727162880 139016 33554432000 4194304 4454172 140737039605408 140737039603792 140283297287927 0 4 0 8388610 18446744073709551615 0 0 17 6 0 0 0 0 0 6552832 6554400 10878976 140737039610729 140737039610928 140737039610928 140737039613882 0 /proc/27030/statm: 177530 139016 419 64 0 173198 0 [pid=27030/tid=27038] ppid=27010 vsize=710120 memory=1476 CPUtime=120.19 cores=0-7 /proc/27030/task/27038/stat : 27038 (manyglucose-4.1) R 27010 26987 25184 0 -1 4202560 71806 0 0 0 12005 14 0 0 20 0 2 0 419587360 727162880 139016 33554432000 4194304 4454172 140737039605408 140283256892552 4335606 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 10878976 140737039610729 140737039610928 140737039610928 140737039613882 0 [pid=27010/tid=27011] ppid=26987 vsize=8414124 memory=119508 CPUtime=0.77 cores=0-7 /proc/27010/task/27011/stat : 27011 (java) S 26987 26987 25184 0 -1 1077944384 17353 0 0 0 71 6 0 0 20 0 24 0 419587283 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958280130464 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27012] ppid=26987 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27010/task/27012/stat : 27012 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958312532880 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27013] ppid=26987 vsize=8414124 memory=42 CPUtime=0 cores=0-7 /proc/27010/task/27013/stat : 27013 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958112701200 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27014] ppid=26987 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27010/task/27014/stat : 27014 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958111648912 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27015] ppid=26987 vsize=8414124 memory=3504 CPUtime=0 cores=0-7 /proc/27010/task/27015/stat : 27015 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958110596112 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27016] ppid=26987 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/27010/task/27016/stat : 27016 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958109542800 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27017] ppid=26987 vsize=8414124 memory=-6728212222345657552 CPUtime=0 cores=0-7 /proc/27010/task/27017/stat : 27017 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958108490000 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27018] ppid=26987 vsize=8414124 memory=41124 CPUtime=0 cores=0-7 /proc/27010/task/27018/stat : 27018 (java) S 26987 26987 25184 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958107437712 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27019] ppid=26987 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/27010/task/27019/stat : 27019 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419587285 8616062976 29877 33554432000 4194304 4196468 140730043145152 139958106384912 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27020] ppid=26987 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/27010/task/27020/stat : 27020 (java) S 26987 26987 25184 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419587286 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957468338800 139958308301442 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27021] ppid=26987 vsize=8414124 memory=3504 CPUtime=0 cores=0-7 /proc/27010/task/27021/stat : 27021 (java) S 26987 26987 25184 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419587287 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956878042400 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27022] ppid=26987 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/27010/task/27022/stat : 27022 (java) S 26987 26987 25184 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419587287 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956743820912 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27023] ppid=26987 vsize=8414124 memory=7668033027756943201 CPUtime=0 cores=0-7 /proc/27010/task/27023/stat : 27023 (java) S 26987 26987 25184 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139956369316432 139958308308891 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27024] ppid=26987 vsize=8414124 memory=119508 CPUtime=0.05 cores=0-7 /proc/27010/task/27024/stat : 27024 (java) S 26987 26987 25184 0 -1 1077944384 542 0 0 0 5 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957467285616 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27025] ppid=26987 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7 /proc/27010/task/27025/stat : 27025 (java) S 26987 26987 25184 0 -1 1077944384 274 0 0 0 6 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957466232816 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27026] ppid=26987 vsize=8414124 memory=119508 CPUtime=0.07 cores=0-7 /proc/27010/task/27026/stat : 27026 (java) S 26987 26987 25184 0 -1 1077944384 364 0 0 0 7 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957465180528 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27027] ppid=26987 vsize=8414124 memory=9268 CPUtime=0.21 cores=0-7 /proc/27010/task/27027/stat : 27027 (java) S 26987 26987 25184 0 -1 1077944384 757 0 0 0 21 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957464127728 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27028] ppid=26987 vsize=8414124 memory=9081 CPUtime=0 cores=0-7 /proc/27010/task/27028/stat : 27028 (java) S 26987 26987 25184 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419587289 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955871411040 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27029] ppid=26987 vsize=8414124 memory=3504 CPUtime=0.08 cores=0-7 /proc/27010/task/27029/stat : 27029 (java) S 26987 26987 25184 0 -1 1077944384 9 0 0 0 8 0 0 0 20 0 24 0 419587290 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957463075632 139958308301442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27031] ppid=26987 vsize=8414124 memory=41124 CPUtime=0 cores=0-7 /proc/27010/task/27031/stat : 27031 (java) S 26987 26987 25184 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419587357 8616062976 29877 33554432000 4194304 4196468 140730043145152 139957750957888 139958308314905 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27033] ppid=26987 vsize=8414124 memory=119508 CPUtime=0 cores=0-7 /proc/27010/task/27033/stat : 27033 (java) S 26987 26987 25184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 419587358 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955200310672 139958308312221 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27034] ppid=26987 vsize=8414124 memory=558084 CPUtime=0 cores=0-7 /proc/27010/task/27034/stat : 27034 (java) S 26987 26987 25184 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419587358 8616062976 29877 33554432000 4194304 4196468 140730043145152 139955468746000 139958308312221 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 [pid=27010/tid=27043] ppid=26987 vsize=8414124 memory=520 CPUtime=0 cores=0-7 /proc/27010/task/27043/stat : 27043 (java) S 26987 26987 25184 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 24 0 419587360 8616062976 29877 33554432000 4194304 4196468 140730043145152 139954931883312 139958308300501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35766272 140730043147255 140730043147414 140730043147414 140730043150287 0 Current children cumulated CPU time: 937.78 s Current children cumulated vsize: 9237372 KiB Current children cumulated memory: 677048 KiB Child status: 0 Real time (s): 127.4 CPU time (s): 937.958 CPU user time (s): 936.273 CPU system time (s): 1.68503 CPU usage (%): 736.23 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 1059920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 936.273 system time used= 1.68503 maximum resident set size= 1063496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 667937 page faults= 0 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 16220 involuntary context switches= 8647 # summary of solver processes directly reported to runsolver: # pid: 26987 # total CPU time (s): 937.958 # total CPU user time (s): 936.273 # total CPU system time (s): 1.68503 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.22513 second user time and 1.80581 second system time The end
Begin job on node119 at 2019-09-14 06:51:19 IDJOB=4392737 IDBENCH=134584 IDSOLVER=2839 FILE ID=node119/4392737-1568436719 RUNJOBID= node119-1568428810-25211 PBS_JOBID= 21702306 Free space on /tmp= 61504 MiB SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392737-1568436719/watcher-4392737-1568436719 -o /tmp/evaluation-result-4392737-1568436719/solver-4392737-1568436719 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568428810-25211 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392737-1568436719.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5c0d10b65067a89bbe36375c556425e1 RANDOM SEED=1844600457 node119.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.47 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.47 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.47 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.47 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: 24627104 kB MemAvailable: 31820888 kB Buffers: 190152 kB Cached: 7271684 kB SwapCached: 61128 kB Active: 2827952 kB Inactive: 4699904 kB Active(anon): 4280 kB Inactive(anon): 103136 kB Active(file): 2823672 kB Inactive(file): 4596768 kB Unevictable: 107736 kB Mlocked: 107736 kB SwapTotal: 67108860 kB SwapFree: 66939852 kB Dirty: 20740 kB Writeback: 0 kB AnonPages: 166084 kB Mapped: 44836 kB Shmem: 32816 kB Slab: 208148 kB SReclaimable: 178360 kB SUnreclaim: 29788 kB KernelStack: 3856 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61484 MiB End job on node119 at 2019-09-14 06:53:27