Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 759.803 | 103.928 |
Name | Langford/Langford-m1-k3/ Langford-3-35.xml |
MD5SUM | d39bc1ef1e07e502cfee7f2819d89a2a |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 46.1491 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 105 |
Number of constraints | 71 |
Number of domains | 1 |
Minimum domain size | 105 |
Maximum domain size | 105 |
Distribution of domain sizes | [{"size":105,"count":105}] |
Minimum variable degree | 2 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":2,"count":70},{"degree":3,"count":35}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 105 |
Distribution of constraint arities | [{"arity":2,"count":70},{"arity":105,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 70 |
Distribution of constraint types | [{"type":"intension","count":70},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-28963-serial-file.bin HOME/instance-4405356-1569242045.xml 0.65/0.60 0.65/0.60 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.60 0.76/0.63 c BEGIN-Prog: Mon Sep 23 14:33:24 CEST 2019 0.76/0.63 c PID: 28966 0.76/0.63 c IP: 172.20.3.116 0.76/0.63 c HOST: node116.alineos.net 0.76/0.64 c (0,0) Parsing Begin 1.56/1.04 c (0,0) Parsing End 1.56/1.05 c (0,0) CSP: 105 int (0 aux), 0 bool (0 aux), 71 ctr, max domain size 105 1.56/1.05 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.56/1.05 c (0,0) Constraint Name Generate Begin 1.56/1.05 c (0,0) Ctr:HOME/instance-4405356-1569242045.xml,Add:AllDifferent:Eq:Num:Var 1.56/1.05 c (0,0) Constraint Name Generate End 1.56/1.05 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.56/1.05 c (0,0) CSP to CSPinCNF Begin 4.17/1.83 c (1,1) translated 8 (10%) constraints 4.17/1.83 c (1,1) translated 15 (20%) constraints 4.17/1.83 c (1,1) translated 22 (30%) constraints 4.17/1.83 c (1,1) translated 29 (40%) constraints 4.17/1.83 c (1,1) translated 36 (50%) constraints 4.17/1.84 c (1,1) translated 43 (60%) constraints 4.17/1.84 c (1,1) translated 50 (70%) constraints 4.17/1.84 c (1,1) translated 57 (80%) constraints 4.17/1.84 c (1,1) translated 64 (90%) constraints 4.17/1.84 c (1,1) translated 71 (100%) constraints 4.17/1.84 c (1,1) =========================================== 4.17/1.84 c (1,1) Order 4.17/1.84 c (1,1) =========================================== 4.60/1.91 c (1,1) translated 564 (10%) constraints 4.60/1.95 c (1,1) translated 1128 (20%) constraints 4.60/1.98 c (1,1) translated 1692 (30%) constraints 4.60/2.00 c (1,1) translated 2255 (40%) constraints 5.02/2.03 c (1,1) translated 2819 (50%) constraints 5.02/2.06 c (1,1) translated 3383 (60%) constraints 5.02/2.08 c (1,1) translated 3946 (70%) constraints 5.02/2.10 c (1,1) translated 4510 (80%) constraints 5.42/2.12 c (1,1) translated 5074 (90%) constraints 7.83/2.83 c (2,2) translated 5637 (100%) constraints 7.83/2.84 c (2,2) CSP to CSPinCNF End 7.83/2.85 c (2,2) CSP: 105 int (0 aux), 11025 bool (11025 aux), 27757 ctr, max domain size 101 7.83/2.85 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 7.83/2.85 c (2,2) CSPinCNF Propagation Begin 10.00/3.42 c (2,2) 3990 values, 8369 unsatisfiable literals, and 8412 valid clauses are removed 10.00/3.42 c (2,2) CSPinCNF Propagation End 10.00/3.43 c (2,2) CSP: 105 int (0 aux), 11025 bool (11025 aux), 19345 ctr, max domain size 101 10.00/3.43 c (2,2) Heap : 1013 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.00/3.43 c (2,2) Simplify CSPinCNF Begin 10.71/3.68 c (3,3) Simplify CSPinCNF End 10.71/3.68 c (3,3) CSP: 105 int (0 aux), 21447 bool (21447 aux), 29767 ctr, max domain size 101 10.71/3.68 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.71/3.68 c (3,3) Calculate Precise Domain Begin 10.71/3.69 c (3,3) 0 values are removed by re-calculation 10.71/3.69 c (3,3) Calculate Precise Domain End 10.71/3.69 c (3,3) CSP: 105 int (0 aux), 21447 bool (21447 aux), 29767 ctr, max domain size 101 10.71/3.69 c (3,3) Heap : 1126 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.71/3.69 c (3,3) CSPinCNF to SatSolver Begin 14.24/4.69 c (4,4) 2977 (10 %) CSP clauses are encoded (0 SAT variables, 127239 SAT clauses) 14.82/5.17 c (4,4) 5954 (20 %) CSP clauses are encoded (0 SAT variables, 218350 SAT clauses) 15.44/5.53 c (4,4) 8931 (30 %) CSP clauses are encoded (0 SAT variables, 284859 SAT clauses) 16.03/6.06 c (5,5) 11907 (40 %) CSP clauses are encoded (0 SAT variables, 394715 SAT clauses) 16.45/6.49 c (5,5) 14884 (50 %) CSP clauses are encoded (0 SAT variables, 483368 SAT clauses) 16.64/6.64 c (6,6) 17861 (60 %) CSP clauses are encoded (0 SAT variables, 510065 SAT clauses) 16.64/6.67 c (6,6) 20837 (70 %) CSP clauses are encoded (0 SAT variables, 513041 SAT clauses) 16.76/6.70 c (6,6) 23814 (80 %) CSP clauses are encoded (0 SAT variables, 516018 SAT clauses) 16.76/6.73 c (6,6) 26791 (90 %) CSP clauses are encoded (0 SAT variables, 518995 SAT clauses) 16.76/6.78 c (6,6) 29767 (100 %) CSP clauses are encoded (0 SAT variables, 531040 SAT clauses) 16.76/6.78 c (6,6) CSPinCNF to SatSolver End 16.76/6.78 c (6,6) Heap : 3041 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 16.76/6.78 c (6,6) 24387 bool, 531072 clause 16.76/6.78 c (6,6) Export Begin 16.86/6.88 c (6,6) Export to HOME/scop-28963-serial-file.bin 16.86/6.88 c (6,6) Export End 16.86/6.88 c (6,6) Export File Size: 0.02 MB 16.86/6.88 c (6,6) 0,0,2,2,3,3,6,STOP-AFTER(DIMACS) 16.86/6.88 c END-Prog: Mon Sep 23 14:33:30 CEST 2019 0.00/6.91 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-28963-serial-file.bin 17.68/7.43 c (0,0) Read Serial File Begin 17.68/7.43 c (0,0) HOME/scop-28963-serial-file.bin 17.95/7.66 c (0,0) Read Serial File End 17.95/7.68 17.95/7.68 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 17.95/7.68 (Solving Process) 17.95/7.68 18.12/7.70 c BEGIN-Prog: Mon Sep 23 14:33:31 CEST 2019 18.12/7.70 c PID: 28988 18.12/7.70 c IP: 172.20.3.116 18.12/7.70 c HOST: node116.alineos.net 18.12/7.71 c (0,0) SatSolver.solve Begin 18.12/7.71 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405356-1569242045.xml-scop-28966.cnf 18.12/7.74 c (0,0) c 18.12/7.74 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) 18.12/7.74 c (0,0) c 18.12/7.74 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 18.12/7.74 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 18.12/7.74 c (0,0) c ========================================[ Problem Statistics ]=========================================== 18.12/7.74 c (0,0) c | | 18.33/7.91 c (0,0) c | Number of variables: 24387 | 18.33/7.91 c (0,0) c | Number of clauses: 531072 | 18.33/7.91 c (0,0) c | Parse time: 0.16 s | 18.33/7.91 c (0,0) c | | 19.29/8.76 c (1,0) c | Simplification time: 0.83 s | 19.29/8.76 c (1,0) c | | 19.29/8.76 c (1,0) c | Generating clones | 19.49/8.91 c (1,0) c | all clones generated. Memory = 350.16Mb. | 19.49/8.91 c (1,0) c ========================================================================================================| 19.49/8.91 c (1,0) c 19.49/8.91 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 19.49/8.91 c (1,0) c 19.49/8.91 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.49/8.91 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 19.49/8.91 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 19.49/8.91 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 19.49/8.91 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 19.49/8.91 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 19.49/8.91 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 19.49/8.91 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 19.49/8.91 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 19.49/8.91 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 19.49/8.91 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 19.49/8.91 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 19.49/8.91 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 19.49/8.91 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 19.49/8.91 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 19.49/8.91 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 19.49/8.91 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 19.49/8.91 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 19.49/8.91 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 251.43/38.35 c (31,0) c 251.43/38.35 c (31,0) c |------------------------------------------------------------------------------------------------------------------------| 251.43/38.35 c (31,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 251.43/38.35 c (31,0) c |------------------------------------------------------------------------------------------------------------------------| 251.43/38.35 c (31,0) c | 0 | 63 | 196648 | 19306 | 330876 | 10509 | 1361 | 17860 | 68 | 225 | 20 | 0.000 | 251.43/38.35 c (31,0) c | 1 | 26 | 116850 | 29682 | 237182 | 13493 | 3083 | 15839 | 39 | 234 | 20 | 0.000 | 251.43/38.35 c (31,0) c | 2 | 63 | 190464 | 21575 | 299660 | 12781 | 1675 | 18438 | 59 | 228 | 20 | 0.000 | 251.43/38.35 c (31,0) c | 3 | 120 | 213629 | 23797 | 328394 | 7606 | 2405 | 17890 | 80 | 245 | 20 | 0.000 | 251.43/38.35 c (31,0) c | 4 | 82 | 208920 | 23647 | 317812 | 7452 | 2575 | 17911 | 99 | 237 | 20 | 0.000 | 251.43/38.35 c (31,0) c | 5 | 174 | 176611 | 43644 | 262478 | 17552 | 7373 | 13553 | 109 | 244 | 20 | 0.000 | 251.43/38.35 c (31,0) c | 6 | 60 | 214044 | 20192 | 332018 | 11394 | 1676 | 18727 | 91 | 233 | 20 | 0.000 | 251.43/38.35 c (31,0) c | 7 | 49 | 199713 | 20273 | 327316 | 11478 | 1520 | 18497 | 85 | 229 | 20 | 0.000 | 251.43/38.35 c (31,0) c 251.43/38.35 c (31,0) c synthesis 202117 conflicts 351737297 propagations 869 conflicts/sec 1511781 propagations/sec 251.43/38.35 c (31,0) c real: 30.6154 s, cpu: 232.664 s, memory: 909.00 Mb 488.94/68.35 c (61,0) c 488.94/68.35 c (61,0) c |------------------------------------------------------------------------------------------------------------------------| 488.94/68.35 c (61,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 488.94/68.35 c (61,0) c |------------------------------------------------------------------------------------------------------------------------| 488.94/68.35 c (61,0) c | 0 | 204 | 361573 | 47693 | 404639 | 21599 | 6235 | 37462 | 374 | 477 | 20 | 0.000 | 488.94/68.35 c (61,0) c | 1 | 38 | 237616 | 61001 | 320395 | 22462 | 6531 | 36862 | 216 | 482 | 20 | 0.000 | 488.94/68.35 c (61,0) c | 2 | 133 | 366891 | 56609 | 379165 | 18075 | 7260 | 36801 | 280 | 480 | 20 | 0.000 | 488.94/68.35 c (61,0) c | 3 | 239 | 371660 | 45632 | 404241 | 19537 | 3869 | 38171 | 297 | 464 | 20 | 0.000 | 488.94/68.35 c (61,0) c | 4 | 225 | 370471 | 48002 | 395089 | 21907 | 5829 | 37505 | 311 | 465 | 20 | 0.000 | 488.94/68.35 c (61,0) c | 5 | 444 | 398375 | 60301 | 392269 | 21756 | 8435 | 35243 | 352 | 471 | 20 | 0.000 | 488.94/68.35 c (61,0) c | 6 | 130 | 434901 | 40263 | 427265 | 14168 | 3404 | 40596 | 357 | 480 | 20 | 0.000 | 488.94/68.35 c (61,0) c | 7 | 102 | 409346 | 40431 | 421167 | 14333 | 3254 | 40161 | 356 | 475 | 20 | 0.000 | 488.94/68.35 c (61,0) c 488.94/68.35 c (61,0) c synthesis 399933 conflicts 719915045 propagations 851 conflicts/sec 1532575 propagations/sec 488.94/68.35 c (61,0) c real: 60.6154 s, cpu: 469.742 s, memory: 1165.00 Mb 722.52/98.35 c (91,0) c 722.52/98.35 c (91,0) c |------------------------------------------------------------------------------------------------------------------------| 722.52/98.35 c (91,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 722.52/98.35 c (91,0) c |------------------------------------------------------------------------------------------------------------------------| 722.52/98.35 c (91,0) c | 0 | 338 | 549013 | 67924 | 445343 | 29383 | 8054 | 48323 | 773 | 706 | 20 | 0.000 | 722.52/98.35 c (91,0) c | 1 | 60 | 407190 | 79130 | 394972 | 25564 | 8583 | 47843 | 625 | 707 | 20 | 0.000 | 722.52/98.35 c (91,0) c | 2 | 358 | 523386 | 74246 | 429589 | 20680 | 8343 | 48142 | 666 | 707 | 20 | 0.000 | 722.52/98.35 c (91,0) c | 3 | 239 | 412560 | 81434 | 406746 | 27869 | 6209 | 38171 | 351 | 707 | 20 | 0.000 | 722.52/98.35 c (91,0) c | 4 | 368 | 556534 | 64868 | 443001 | 26320 | 7115 | 48223 | 707 | 687 | 20 | 0.000 | 722.52/98.35 c (91,0) c | 5 | 660 | 607403 | 76455 | 440631 | 22887 | 9582 | 46375 | 782 | 697 | 20 | 0.000 | 722.52/98.35 c (91,0) c | 6 | 190 | 648070 | 57297 | 460720 | 18752 | 4918 | 51493 | 779 | 707 | 20 | 0.000 | 722.52/98.35 c (91,0) c | 7 | 147 | 555611 | 63633 | 446739 | 25085 | 4624 | 51838 | 732 | 707 | 20 | 0.000 | 722.52/98.35 c (91,0) c 722.52/98.35 c (91,0) c synthesis 564987 conflicts 1076796038 propagations 804 conflicts/sec 1531467 propagations/sec 722.52/98.35 c (91,0) c real: 90.6154 s, cpu: 703.114 s, memory: 1130.74 Mb 759.12/103.69 c (96,0) c 759.12/103.69 c (96,0) c real time : 95.961 s 759.12/103.69 c (96,0) c cpu time : 739.214 s 759.12/103.69 c (96,0) c 759.12/103.69 c (96,0) c 759.12/103.69 c (96,0) c 759.12/103.69 c (96,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 759.12/103.69 c (96,0) c 759.12/103.69 c (96,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.12/103.69 c (96,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 759.12/103.69 c (96,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.12/103.69 c (96,0) c | Conflicts | 588138 | 69929 | 81659 | 76580 | 86604 | 68237 | 78958 | 59906 | 66265 | 759.12/103.69 c (96,0) c | Decisions | 4480824 | 575949 | 435450 | 554836 | 418458 | 600791 | 637404 | 673544 | 584392 | 759.12/103.69 c (96,0) c | Propagations | 1133783770 | 136235488 | 149129364 | 144004695 | 144239481 | 138623597 | 144711236 | 137246912 | 139592997 | 759.12/103.69 c (96,0) c | ReduceDBs | 53 | 7 | 7 | 7 | 7 | 6 | 7 | 6 | 6 | 759.12/103.69 c (96,0) c | SimpDBs | 8 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 759.12/103.69 c (96,0) c | Restarts | 2477 | 355 | 69 | 373 | 240 | 389 | 685 | 212 | 154 | 759.12/103.69 c (96,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 759.12/103.69 c (96,0) c | PropBinClauses| 2069850654 | 251621273 | 270072099 | 262463264 | 259100052 | 255292174 | 262127936 | 253046629 | 256127227 | 759.12/103.69 c (96,0) c | PropPreBlocker| 27237997314 | 3408979400 | 3416312018 | 3452588872 | 3391385848 | 3392330977 | 3395492750 | 3388265889 | 3392641560 | 759.12/103.69 c (96,0) c | PropNotBlocker| 3709577217 | 450476555 | 441864307 | 451696339 | 501511736 | 444020856 | 439316205 | 483905933 | 496785286 | 759.12/103.69 c (96,0) c | LitFullScans | 35499182525 | 4409461878 | 4452159517 | 4458155479 | 4458153312 | 4404193382 | 4404152752 | 4454759230 | 4458146975 | 759.12/103.69 c (96,0) c | LitScanFracts | 1207762 | 165030 | 155081 | 149312 | 151213 | 135845 | 140634 | 164836 | 145811 | 759.12/103.69 c (96,0) c | DecisionLevel0| 2477 | 355 | 69 | 373 | 240 | 389 | 685 | 212 | 154 | 759.12/103.69 c (96,0) c | Periods | 5915 | 734 | 742 | 743 | 743 | 734 | 734 | 742 | 743 | 759.12/103.69 c (96,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 759.12/103.69 c (96,0) c | Avg_Trail | | 14447 | 12885 | 12866 | 12592 | 14212 | 12147 | 14536 | 13770 | 759.12/103.69 c (96,0) c | Avg_DL | | 80 | 60 | 72 | 72 | 85 | 61 | 104 | 89 | 759.12/103.69 c (96,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 759.12/103.69 c (96,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 759.12/103.69 c (96,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.12/103.69 c (96,0) c | Exported | 59416 | 8222 | 8807 | 8536 | 6681 | 7442 | 9784 | 5094 | 4850 | 759.12/103.69 c (96,0) c | Imported | 407061 | 49827 | 49292 | 50074 | 51835 | 50661 | 48316 | 53443 | 53613 | 759.12/103.69 c (96,0) c | Good | 24083 | 2980 | 3042 | 3038 | 3176 | 2989 | 2923 | 2988 | 2947 | 759.12/103.69 c (96,0) c | Purge | 382978 | 46847 | 46250 | 47036 | 48659 | 47672 | 45393 | 50455 | 50666 | 759.12/103.69 c (96,0) c | Promoted | 5975 | 835 | 714 | 736 | 360 | 823 | 858 | 850 | 799 | 759.12/103.69 c (96,0) c | Remove_Imp | 130506 | 18879 | 11924 | 14031 | 15712 | 14548 | 10928 | 22532 | 21952 | 759.12/103.69 c (96,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 759.12/103.69 c (96,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.12/103.69 c (96,0) c | Unaries | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 759.12/103.69 c (96,0) c | Binaries | | 455 | 396 | 454 | 269 | 449 | 523 | 494 | 526 | 759.12/103.69 c (96,0) c | Glues | | 1560 | 1073 | 1468 | 1054 | 1584 | 1724 | 1799 | 1631 | 759.12/103.69 c (96,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.12/103.69 c (96,0) c | Orig_Seen | 83 % | 449510 | 402305 | 434555 | 407021 | 448994 | 445674 | 463783 | 450980 | 759.12/103.69 c (96,0) c | Diff Orig seen| | X | - 47205 | - 14955 | - 42489 | - 516 | - 3836 | 14273 | 1470 | 759.12/103.69 c (96,0) c | Hamming | 18 % | X | 5080 | 5083 | 3973 | 3934 | 4120 | 4575 | 5564 | 759.12/103.69 c (96,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.12/103.69 c (96,0) c | RunningTime | | 93.2 99%| 92.0 98%| 92.3 98%| 92.1 98%| 94.4 100%| 92.0 98%| 92.6 99%| 93.1 99%| 759.12/103.69 c (96,0) c | WaitingTime | | 0.6 1%| 1.9 2%| 1.6 2%| 1.7 2%| 0.3 0%| 2.3 2%| 1.2 1%| 0.7 1%| 759.12/103.69 c (96,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.1 0%| 0.0 0%| 0.1 0%| 0.0 0%| 0.0 0%| 0.0 0%| 759.12/103.69 c (96,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%| 759.12/103.69 c (96,0) c | SolvingTime | | 93.8 | 93.9 | 93.9 | 93.9 | 94.8 | 94.3 | 93.9 | 93.9 | 759.12/103.69 c (96,0) c | PropagationTim| | 85.3 91%| 85.1 91%| 85.5 91%| 85.0 91%| 85.9 91%| 86.1 91%| 85.1 91%| 85.1 91%| 759.12/103.69 c (96,0) c | AnalysisTime | | 5.5 6%| 6.0 6%| 5.4 6%| 6.1 6%| 5.7 6%| 5.2 5%| 5.7 6%| 5.8 6%| 759.12/103.69 c (96,0) c | ReductionTime | | 0.4 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 0.3 0%| 759.12/103.69 c (96,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 759.12/103.69 c (96,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%| 759.12/103.69 c (96,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%| 759.12/103.69 c (96,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.12/103.69 c (96,0) c 759.12/103.69 c (96,0) c 759.12/103.69 c (96,0) c Threads : 8 759.12/103.69 c (96,0) c Winner : 0 759.12/103.69 c (96,0) c Conflicts_0 : 69929 759.12/103.69 c (96,0) c Conflicts_1 : 81659 759.12/103.69 c (96,0) c Conflicts_2 : 76580 759.12/103.69 c (96,0) c Conflicts_3 : 86604 759.12/103.69 c (96,0) c Conflicts_4 : 68237 759.12/103.69 c (96,0) c Conflicts_5 : 78958 759.12/103.69 c (96,0) c Conflicts_6 : 59906 759.12/103.69 c (96,0) c Conflicts_7 : 66265 759.12/103.69 c (96,0) c Conflicts_total : 588138 759.12/103.69 c (96,0) c Conflicts_winner : 69929 759.12/103.69 c (96,0) c Decisions_0 : 575949 759.12/103.69 c (96,0) c Decisions_1 : 435450 759.12/103.69 c (96,0) c Decisions_2 : 554836 759.12/103.70 c (96,0) c Decisions_3 : 418458 759.12/103.70 c (96,0) c Decisions_4 : 600791 759.12/103.70 c (96,0) c Decisions_5 : 637404 759.12/103.70 c (96,0) c Decisions_6 : 673544 759.12/103.70 c (96,0) c Decisions_7 : 584392 759.12/103.70 c (96,0) c Decisions_total : 4480824 759.12/103.70 c (96,0) c Decisions_winner : 575949 759.12/103.70 c (96,0) c Propagations_0 : 136235488 759.12/103.70 c (96,0) c Propagations_1 : 149129364 759.12/103.70 c (96,0) c Propagations_2 : 144004695 759.12/103.70 c (96,0) c Propagations_3 : 144239481 759.12/103.70 c (96,0) c Propagations_4 : 138623597 759.12/103.70 c (96,0) c Propagations_5 : 144711236 759.12/103.70 c (96,0) c Propagations_6 : 137246912 759.12/103.70 c (96,0) c Propagations_7 : 139592997 759.12/103.70 c (96,0) c Propagations_total : 1133783770 759.12/103.70 c (96,0) c Propagations_winner : 136235488 759.12/103.70 c (96,0) c ReduceDBs_0 : 7 759.12/103.70 c (96,0) c ReduceDBs_1 : 7 759.12/103.70 c (96,0) c ReduceDBs_2 : 7 759.12/103.70 c (96,0) c ReduceDBs_3 : 7 759.12/103.70 c (96,0) c ReduceDBs_4 : 6 759.12/103.70 c (96,0) c ReduceDBs_5 : 7 759.12/103.70 c (96,0) c ReduceDBs_6 : 6 759.12/103.70 c (96,0) c ReduceDBs_7 : 6 759.12/103.70 c (96,0) c ReduceDBs_total : 53 759.12/103.70 c (96,0) c ReduceDBs_winner : 7 759.12/103.70 c (96,0) c SimpDBs_0 : 1 759.12/103.70 c (96,0) c SimpDBs_1 : 1 759.12/103.70 c (96,0) c SimpDBs_2 : 1 759.12/103.70 c (96,0) c SimpDBs_3 : 1 759.12/103.70 c (96,0) c SimpDBs_4 : 1 759.12/103.70 c (96,0) c SimpDBs_5 : 1 759.12/103.70 c (96,0) c SimpDBs_6 : 1 759.12/103.70 c (96,0) c SimpDBs_7 : 1 759.12/103.70 c (96,0) c SimpDBs_total : 8 759.12/103.70 c (96,0) c SimpDBs_winner : 1 759.12/103.70 c (96,0) c Restarts_0 : 355 759.12/103.70 c (96,0) c Restarts_1 : 69 759.12/103.70 c (96,0) c Restarts_2 : 373 759.12/103.70 c (96,0) c Restarts_3 : 240 759.12/103.70 c (96,0) c Restarts_4 : 389 759.12/103.70 c (96,0) c Restarts_5 : 685 759.12/103.70 c (96,0) c Restarts_6 : 212 759.12/103.70 c (96,0) c Restarts_7 : 154 759.12/103.70 c (96,0) c Restarts_total : 2477 759.12/103.70 c (96,0) c Restarts_winner : 355 759.12/103.70 c (96,0) c ForcedImports_0 : 0 759.12/103.70 c (96,0) c ForcedImports_1 : 0 759.12/103.70 c (96,0) c ForcedImports_2 : 0 759.12/103.70 c (96,0) c ForcedImports_3 : 0 759.12/103.70 c (96,0) c ForcedImports_4 : 0 759.12/103.70 c (96,0) c ForcedImports_5 : 0 759.12/103.70 c (96,0) c ForcedImports_6 : 0 759.12/103.70 c (96,0) c ForcedImports_7 : 0 759.12/103.70 c (96,0) c ForcedImports_total : 0 759.12/103.70 c (96,0) c ForcedImports_winner : 0 759.12/103.70 c (96,0) c PropsBinClauses_0 : 251621273 759.12/103.70 c (96,0) c PropsBinClauses_1 : 270072099 759.12/103.70 c (96,0) c PropsBinClauses_2 : 262463264 759.12/103.70 c (96,0) c PropsBinClauses_3 : 259100052 759.12/103.70 c (96,0) c PropsBinClauses_4 : 255292174 759.12/103.70 c (96,0) c PropsBinClauses_5 : 262127936 759.12/103.70 c (96,0) c PropsBinClauses_6 : 253046629 759.12/103.70 c (96,0) c PropsBinClauses_7 : 256127227 759.12/103.70 c (96,0) c PropsBinClauses_total : 2069850654 759.12/103.70 c (96,0) c PropsBinClauses_winner : 251621273 759.12/103.70 c (96,0) c PropsPreBlocker_0 : 3408979400 759.12/103.70 c (96,0) c PropsPreBlocker_1 : 3416312018 759.12/103.70 c (96,0) c PropsPreBlocker_2 : 3452588872 759.12/103.70 c (96,0) c PropsPreBlocker_3 : 3391385848 759.12/103.70 c (96,0) c PropsPreBlocker_4 : 3392330977 759.12/103.70 c (96,0) c PropsPreBlocker_5 : 3395492750 759.12/103.70 c (96,0) c PropsPreBlocker_6 : 3388265889 759.12/103.70 c (96,0) c PropsPreBlocker_7 : 3392641560 759.12/103.70 c (96,0) c PropsPreBlocker_total : 27237997314 759.12/103.70 c (96,0) c PropsPreBlocker_winner : 3408979400 759.12/103.70 c (96,0) c PropsNotBlocker_0 : 450476555 759.12/103.70 c (96,0) c PropsNotBlocker_1 : 441864307 759.12/103.70 c (96,0) c PropsNotBlocker_2 : 451696339 759.12/103.70 c (96,0) c PropsNotBlocker_3 : 501511736 759.12/103.70 c (96,0) c PropsNotBlocker_4 : 444020856 759.12/103.70 c (96,0) c PropsNotBlocker_5 : 439316205 759.12/103.70 c (96,0) c PropsNotBlocker_6 : 483905933 759.12/103.70 c (96,0) c PropsNotBlocker_7 : 496785286 759.12/103.70 c (96,0) c PropsNotBlocker_total : 3709577217 759.12/103.70 c (96,0) c PropsNotBlocker_winner : 450476555 759.12/103.70 c (96,0) c PropsLitFullScans_0 : 4409461878 759.12/103.70 c (96,0) c PropsLitFullScans_1 : 4452159517 759.12/103.70 c (96,0) c PropsLitFullScans_2 : 4458155479 759.12/103.70 c (96,0) c PropsLitFullScans_3 : 4458153312 759.12/103.70 c (96,0) c PropsLitFullScans_4 : 4404193382 759.12/103.70 c (96,0) c PropsLitFullScans_5 : 4404152752 759.22/103.70 c (96,0) c PropsLitFullScans_6 : 4454759230 759.22/103.70 c (96,0) c PropsLitFullScans_7 : 4458146975 759.22/103.70 c (96,0) c PropsLitFullScans_total : 35499182525 759.22/103.70 c (96,0) c PropsLitFullScans_winner : 4409461878 759.22/103.70 c (96,0) c LitScanFractions_0 : 165030 759.22/103.70 c (96,0) c LitScanFractions_1 : 155081 759.22/103.70 c (96,0) c LitScanFractions_2 : 149312 759.22/103.70 c (96,0) c LitScanFractions_3 : 151213 759.22/103.70 c (96,0) c LitScanFractions_4 : 135845 759.22/103.70 c (96,0) c LitScanFractions_5 : 140634 759.22/103.70 c (96,0) c LitScanFractions_6 : 164836 759.22/103.70 c (96,0) c LitScanFractions_7 : 145811 759.22/103.70 c (96,0) c LitScanFractions_total : 1207762 759.22/103.70 c (96,0) c LitScanFractions_winner : 165030 759.22/103.70 c (96,0) c DecisionLevel0_0 : 355 759.22/103.70 c (96,0) c DecisionLevel0_1 : 69 759.22/103.70 c (96,0) c DecisionLevel0_2 : 373 759.22/103.70 c (96,0) c DecisionLevel0_3 : 240 759.22/103.70 c (96,0) c DecisionLevel0_4 : 389 759.22/103.70 c (96,0) c DecisionLevel0_5 : 685 759.22/103.70 c (96,0) c DecisionLevel0_6 : 212 759.22/103.70 c (96,0) c DecisionLevel0_7 : 154 759.22/103.70 c (96,0) c DecisionLevel0_total : 2477 759.22/103.70 c (96,0) c DecisionLevel0_winner : 355 759.22/103.70 c (96,0) c Periods_0 : 734 759.22/103.70 c (96,0) c Periods_1 : 742 759.22/103.70 c (96,0) c Periods_2 : 743 759.22/103.70 c (96,0) c Periods_3 : 743 759.22/103.70 c (96,0) c Periods_4 : 734 759.22/103.70 c (96,0) c Periods_5 : 734 759.22/103.70 c (96,0) c Periods_6 : 742 759.22/103.70 c (96,0) c Periods_7 : 743 759.22/103.70 c (96,0) c Periods_total : 5915 759.22/103.70 c (96,0) c Periods_winner : 734 759.22/103.70 c (96,0) c Margin_0 : 20 759.22/103.70 c (96,0) c Margin_1 : 20 759.22/103.70 c (96,0) c Margin_2 : 20 759.22/103.70 c (96,0) c Margin_3 : 20 759.22/103.70 c (96,0) c Margin_4 : 20 759.22/103.70 c (96,0) c Margin_5 : 20 759.22/103.70 c (96,0) c Margin_6 : 20 759.22/103.70 c (96,0) c Margin_7 : 20 759.22/103.70 c (96,0) c Margin_total : 160 759.22/103.70 c (96,0) c Margin_winner : 20 759.22/103.70 c (96,0) c Exported_0 : 8222 759.22/103.70 c (96,0) c Exported_1 : 8807 759.22/103.70 c (96,0) c Exported_2 : 8536 759.22/103.70 c (96,0) c Exported_3 : 6681 759.22/103.70 c (96,0) c Exported_4 : 7442 759.22/103.70 c (96,0) c Exported_5 : 9784 759.22/103.70 c (96,0) c Exported_6 : 5094 759.22/103.70 c (96,0) c Exported_7 : 4850 759.22/103.70 c (96,0) c Exported_total : 59416 759.22/103.70 c (96,0) c Exported_winner : 8222 759.22/103.70 c (96,0) c Imported_0 : 49827 759.22/103.70 c (96,0) c Imported_1 : 49292 759.22/103.70 c (96,0) c Imported_2 : 50074 759.22/103.70 c (96,0) c Imported_3 : 51835 759.22/103.70 c (96,0) c Imported_4 : 50661 759.22/103.70 c (96,0) c Imported_5 : 48316 759.22/103.70 c (96,0) c Imported_6 : 53443 759.22/103.70 c (96,0) c Imported_7 : 53613 759.22/103.70 c (96,0) c Imported_total : 407061 759.22/103.70 c (96,0) c Imported_winner : 49827 759.22/103.70 c (96,0) c Good_0 : 2980 759.22/103.70 c (96,0) c Good_1 : 3042 759.22/103.70 c (96,0) c Good_2 : 3038 759.22/103.70 c (96,0) c Good_3 : 3176 759.22/103.70 c (96,0) c Good_4 : 2989 759.22/103.70 c (96,0) c Good_5 : 2923 759.22/103.70 c (96,0) c Good_6 : 2988 759.22/103.70 c (96,0) c Good_7 : 2947 759.22/103.70 c (96,0) c Good_total : 24083 759.22/103.70 c (96,0) c Good_winner : 2980 759.22/103.70 c (96,0) c Purge_0 : 46847 759.22/103.70 c (96,0) c Purge_1 : 46250 759.22/103.70 c (96,0) c Purge_2 : 47036 759.22/103.70 c (96,0) c Purge_3 : 48659 759.22/103.70 c (96,0) c Purge_4 : 47672 759.22/103.70 c (96,0) c Purge_5 : 45393 759.22/103.70 c (96,0) c Purge_6 : 50455 759.22/103.70 c (96,0) c Purge_7 : 50666 759.22/103.70 c (96,0) c Purge_total : 382978 759.22/103.70 c (96,0) c Purge_winner : 46847 759.22/103.70 c (96,0) c Promoted_0 : 835 759.22/103.70 c (96,0) c Promoted_1 : 714 759.22/103.70 c (96,0) c Promoted_2 : 736 759.22/103.70 c (96,0) c Promoted_3 : 360 759.22/103.70 c (96,0) c Promoted_4 : 823 759.22/103.70 c (96,0) c Promoted_5 : 858 759.22/103.70 c (96,0) c Promoted_6 : 850 759.22/103.70 c (96,0) c Promoted_7 : 799 759.22/103.70 c (96,0) c Promoted_total : 5975 759.22/103.70 c (96,0) c Promoted_winner : 835 759.22/103.70 c (96,0) c Remove_Imp_0 : 18879 759.22/103.70 c (96,0) c Remove_Imp_1 : 11924 759.22/103.70 c (96,0) c Remove_Imp_2 : 14031 759.22/103.70 c (96,0) c Remove_Imp_3 : 15712 759.22/103.70 c (96,0) c Remove_Imp_4 : 14548 759.22/103.70 c (96,0) c Remove_Imp_5 : 10928 759.22/103.70 c (96,0) c Remove_Imp_6 : 22532 759.22/103.70 c (96,0) c Remove_Imp_7 : 21952 759.22/103.70 c (96,0) c Remove_Imp_total : 130506 759.22/103.70 c (96,0) c Remove_Imp_winner : 18879 759.22/103.70 c (96,0) c Blocked_Reuse_0 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_1 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_2 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_3 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_4 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_5 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_6 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_7 : 0 759.22/103.70 c (96,0) c Blocked_Reuse_total : 0 759.22/103.70 c (96,0) c Blocked_Reuse_winner : 0 759.22/103.70 c (96,0) c Unaries_0 : 0 759.22/103.70 c (96,0) c Unaries_1 : 0 759.22/103.70 c (96,0) c Unaries_2 : 0 759.22/103.70 c (96,0) c Unaries_3 : 0 759.22/103.70 c (96,0) c Unaries_4 : 0 759.22/103.70 c (96,0) c Unaries_5 : 0 759.22/103.70 c (96,0) c Unaries_6 : 0 759.22/103.70 c (96,0) c Unaries_7 : 0 759.22/103.70 c (96,0) c Unaries_total : 0 759.22/103.70 c (96,0) c Unaries_winner : 0 759.22/103.70 c (96,0) c Binaries_0 : 455 759.22/103.70 c (96,0) c Binaries_1 : 396 759.22/103.70 c (96,0) c Binaries_2 : 454 759.22/103.70 c (96,0) c Binaries_3 : 269 759.22/103.70 c (96,0) c Binaries_4 : 449 759.22/103.70 c (96,0) c Binaries_5 : 523 759.22/103.70 c (96,0) c Binaries_6 : 494 759.22/103.70 c (96,0) c Binaries_7 : 526 759.22/103.70 c (96,0) c Binaries_total : 3566 759.22/103.70 c (96,0) c Binaries_winner : 455 759.22/103.70 c (96,0) c Glues_0 : 1560 759.22/103.70 c (96,0) c Glues_1 : 1073 759.22/103.70 c (96,0) c Glues_2 : 1468 759.22/103.70 c (96,0) c Glues_3 : 1054 759.22/103.70 c (96,0) c Glues_4 : 1584 759.22/103.70 c (96,0) c Glues_5 : 1724 759.22/103.70 c (96,0) c Glues_6 : 1799 759.22/103.70 c (96,0) c Glues_7 : 1631 759.22/103.70 c (96,0) c Glues_total : 11893 759.22/103.70 c (96,0) c Glues_winner : 1560 759.22/103.70 c (96,0) c RunningTime_0 : 93.179987 759.22/103.70 c (96,0) c RunningTime_1 : 91.972052 759.22/103.70 c (96,0) c RunningTime_2 : 92.285085 759.22/103.70 c (96,0) c RunningTime_3 : 92.125128 759.22/103.70 c (96,0) c RunningTime_4 : 94.398355 759.22/103.70 c (96,0) c RunningTime_5 : 91.999371 759.22/103.70 c (96,0) c RunningTime_6 : 92.633205 759.22/103.70 c (96,0) c RunningTime_7 : 93.095093 759.22/103.70 c (96,0) c RunningTime_total : 741.688276 759.22/103.70 c (96,0) c RunningTime_winner : 93.179987 759.22/103.70 c (96,0) c WaitingTime_0 : 0.618956 759.22/103.70 c (96,0) c WaitingTime_1 : 1.853853 759.22/103.70 c (96,0) c WaitingTime_2 : 1.561022 759.22/103.70 c (96,0) c WaitingTime_3 : 1.693067 759.22/103.70 c (96,0) c WaitingTime_4 : 0.311947 759.22/103.70 c (96,0) c WaitingTime_5 : 2.275838 759.22/103.70 c (96,0) c WaitingTime_6 : 1.176204 759.22/103.70 c (96,0) c WaitingTime_7 : 0.725187 759.22/103.70 c (96,0) c WaitingTime_total : 10.216076 759.22/103.70 c (96,0) c WaitingTime_winner : 0.618956 759.22/103.70 c (96,0) c ExchangingTime_0 : 0.040911 759.22/103.70 c (96,0) c ExchangingTime_1 : 0.035786 759.22/103.70 c (96,0) c ExchangingTime_2 : 0.057777 759.22/103.70 c (96,0) c ExchangingTime_3 : 0.041782 759.22/103.70 c (96,0) c ExchangingTime_4 : 0.050186 759.22/103.70 c (96,0) c ExchangingTime_5 : 0.047354 759.22/103.70 c (96,0) c ExchangingTime_6 : 0.042255 759.22/103.70 c (96,0) c ExchangingTime_7 : 0.040647 759.22/103.70 c (96,0) c ExchangingTime_total : 0.356698 759.22/103.70 c (96,0) c ExchangingTime_winner : 0.040911 759.22/103.70 c (96,0) c PeriodProcTime_0 : 0.008049 759.22/103.70 c (96,0) c PeriodProcTime_1 : 0.006272 759.22/103.70 c (96,0) c PeriodProcTime_2 : 0.007482 759.22/103.70 c (96,0) c PeriodProcTime_3 : 0.006868 759.22/103.70 c (96,0) c PeriodProcTime_4 : 0.007980 759.22/103.70 c (96,0) c PeriodProcTime_5 : 0.006811 759.22/103.70 c (96,0) c PeriodProcTime_6 : 0.007250 759.22/103.70 c (96,0) c PeriodProcTime_7 : 0.007423 759.22/103.70 c (96,0) c PeriodProcTime_total : 0.058135 759.22/103.70 c (96,0) c PeriodProcTime_winner : 0.008049 759.22/103.70 c (96,0) c SolvingTime_0 : 93.847903 759.22/103.70 c (96,0) c SolvingTime_1 : 93.867963 759.22/103.70 c (96,0) c SolvingTime_2 : 93.911366 759.22/103.70 c (96,0) c SolvingTime_3 : 93.866845 759.22/103.70 c (96,0) c SolvingTime_4 : 94.768468 759.22/103.70 c (96,0) c SolvingTime_5 : 94.329375 759.22/103.70 c (96,0) c SolvingTime_6 : 93.858915 759.22/103.70 c (96,0) c SolvingTime_7 : 93.868350 759.22/103.70 c (96,0) c SolvingTime_total : 752.319185 759.22/103.70 c (96,0) c SolvingTime_winner : 93.847903 759.22/103.70 c (96,0) c PropagationTime_0 : 85.275413 759.22/103.70 c (96,0) c PropagationTime_1 : 85.062082 759.22/103.70 c (96,0) c PropagationTime_2 : 85.483183 759.22/103.70 c (96,0) c PropagationTime_3 : 84.972537 759.22/103.70 c (96,0) c PropagationTime_4 : 85.884548 759.22/103.70 c (96,0) c PropagationTime_5 : 86.066736 759.22/103.70 c (96,0) c PropagationTime_6 : 85.066460 759.22/103.70 c (96,0) c PropagationTime_7 : 85.078414 759.22/103.71 c (96,0) c PropagationTime_total : 682.889374 759.22/103.71 c (96,0) c PropagationTime_winner : 85.275413 759.22/103.71 c (96,0) c AnalysisTime_0 : 5.474519 759.22/103.71 c (96,0) c AnalysisTime_1 : 5.950630 759.22/103.71 c (96,0) c AnalysisTime_2 : 5.432840 759.22/103.71 c (96,0) c AnalysisTime_3 : 6.055086 759.22/103.71 c (96,0) c AnalysisTime_4 : 5.725491 759.22/103.71 c (96,0) c AnalysisTime_5 : 5.160145 759.22/103.71 c (96,0) c AnalysisTime_6 : 5.713594 759.22/103.71 c (96,0) c AnalysisTime_7 : 5.765194 759.22/103.71 c (96,0) c AnalysisTime_total : 45.277499 759.22/103.71 c (96,0) c AnalysisTime_winner : 5.474519 759.22/103.71 c (96,0) c ReductionTime_0 : 0.401854 759.22/103.71 c (96,0) c ReductionTime_1 : 0.284920 759.22/103.71 c (96,0) c ReductionTime_2 : 0.290717 759.22/103.71 c (96,0) c ReductionTime_3 : 0.283401 759.22/103.71 c (96,0) c ReductionTime_4 : 0.301862 759.22/103.71 c (96,0) c ReductionTime_5 : 0.303618 759.22/103.71 c (96,0) c ReductionTime_6 : 0.286108 759.22/103.71 c (96,0) c ReductionTime_7 : 0.290451 759.22/103.71 c (96,0) c ReductionTime_total : 2.442932 759.22/103.71 c (96,0) c ReductionTime_winner : 0.401854 759.22/103.71 c (96,0) c SimplifyTime_0 : 0.000045 759.22/103.71 c (96,0) c SimplifyTime_1 : 0.000009 759.22/103.71 c (96,0) c SimplifyTime_2 : 0.000039 759.22/103.71 c (96,0) c SimplifyTime_3 : 0.000030 759.22/103.71 c (96,0) c SimplifyTime_4 : 0.000050 759.22/103.71 c (96,0) c SimplifyTime_5 : 0.000086 759.22/103.71 c (96,0) c SimplifyTime_6 : 0.000025 759.22/103.71 c (96,0) c SimplifyTime_7 : 0.000029 759.22/103.71 c (96,0) c SimplifyTime_total : 0.000311 759.22/103.71 c (96,0) c SimplifyTime_winner : 0.000045 759.22/103.71 c (96,0) c UsedRateTime_0 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_1 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_2 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_3 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_4 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_5 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_6 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_7 : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_total : 0.000000 759.22/103.71 c (96,0) c UsedRateTime_winner : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_0 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_1 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_2 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_3 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_4 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_5 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_6 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_7 : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_total : 0.000000 759.22/103.71 c (96,0) c OverlapRateTime_winner : 0.000000 759.22/103.71 c (96,0) c 759.22/103.71 c (96,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 759.22/103.71 c (96,0) c 759.22/103.71 c (96,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.22/103.71 c (96,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 759.22/103.71 c (96,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.22/103.71 c (96,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 759.22/103.71 c (96,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 759.22/103.71 c (96,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 759.22/103.71 c (96,0) c | Initial random_seed | 1716073598 | 406873125 | 1668197449 | 731700563 | 1176247934 | 877507375 | 1604249326 | 1351245440 | 759.22/103.71 c (96,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 759.22/103.71 c (96,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 759.22/103.71 c (96,0) c | glureduce | True | True | True | True | True | True | True | True | 759.22/103.71 c (96,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 759.22/103.71 c (96,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 759.22/103.71 c (96,0) c | luby_restart | False | False | False | False | False | False | False | False | 759.22/103.71 c (96,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 759.22/103.71 c (96,0) c | var_decay | 0.9300 | 0.9500 | 0.9500 | 0.9500 | 0.9300 | 0.9500 | 0.9100 | 0.9300 | 759.22/103.71 c (96,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 759.22/103.71 c (96,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 759.22/103.71 c (96,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 759.22/103.71 c (96,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 759.22/103.71 c (96,0) 759.22/103.71 c (96,0) s SATISFIABLE 759.22/103.76 c (96,0) SatSolver.solve End 759.22/103.76 c (96,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 759.22/103.76 c (96,0) Show results Begin 759.51/103.89 c (96,0) x[0][0] = 75 759.51/103.89 c (96,0) x[0][1] = 81 759.51/103.89 c (96,0) x[0][2] = 58 759.51/103.89 c (96,0) x[0][3] = 3 759.51/103.89 c (96,0) x[0][4] = 38 759.51/103.89 c (96,0) x[0][5] = 82 759.51/103.89 c (96,0) x[0][6] = 85 759.51/103.89 c (96,0) x[0][7] = 5 759.51/103.89 c (96,0) x[0][8] = 80 759.51/103.89 c (96,0) x[0][9] = 54 759.51/103.89 c (96,0) x[0][10] = 0 759.51/103.89 c (96,0) x[0][11] = 4 759.51/103.89 c (96,0) x[0][12] = 6 759.51/103.89 c (96,0) x[0][13] = 73 759.51/103.89 c (96,0) x[0][14] = 21 759.51/103.89 c (96,0) x[0][15] = 18 759.51/103.89 c (96,0) x[0][16] = 11 759.51/103.89 c (96,0) x[0][17] = 48 759.51/103.89 c (96,0) x[0][18] = 2 759.51/103.89 c (96,0) x[0][19] = 57 759.51/103.89 c (96,0) x[0][20] = 19 759.51/103.89 c (96,0) x[0][21] = 10 759.51/103.89 c (96,0) x[0][22] = 7 759.51/103.89 c (96,0) x[0][23] = 1 759.51/103.89 c (96,0) x[0][24] = 46 759.51/103.89 c (96,0) x[0][25] = 43 759.51/103.89 c (96,0) x[0][26] = 36 759.51/103.89 c (96,0) x[0][27] = 16 759.51/103.89 c (96,0) x[0][28] = 9 759.51/103.89 c (96,0) x[0][29] = 40 759.51/103.89 c (96,0) x[0][30] = 27 759.51/103.89 c (96,0) x[0][31] = 28 759.51/103.89 c (96,0) x[0][32] = 15 759.51/103.89 c (96,0) x[0][33] = 25 759.51/103.89 c (96,0) x[0][34] = 32 759.51/103.89 c (96,0) x[1][0] = 77 759.51/103.89 c (96,0) x[1][1] = 84 759.51/103.89 c (96,0) x[1][2] = 62 759.51/103.89 c (96,0) x[1][3] = 8 759.51/103.89 c (96,0) x[1][4] = 44 759.51/103.89 c (96,0) x[1][5] = 89 759.73/103.90 c (96,0) x[1][6] = 93 759.73/103.90 c (96,0) x[1][7] = 14 759.73/103.90 c (96,0) x[1][8] = 90 759.73/103.90 c (96,0) x[1][9] = 65 759.73/103.90 c (96,0) x[1][10] = 12 759.73/103.90 c (96,0) x[1][11] = 17 759.73/103.90 c (96,0) x[1][12] = 20 759.73/103.90 c (96,0) x[1][13] = 88 759.73/103.90 c (96,0) x[1][14] = 37 759.73/103.90 c (96,0) x[1][15] = 35 759.73/103.90 c (96,0) x[1][16] = 29 759.73/103.90 c (96,0) x[1][17] = 67 759.73/103.90 c (96,0) x[1][18] = 22 759.73/103.90 c (96,0) x[1][19] = 78 759.73/103.90 c (96,0) x[1][20] = 41 759.73/103.90 c (96,0) x[1][21] = 33 759.73/103.90 c (96,0) x[1][22] = 31 759.73/103.90 c (96,0) x[1][23] = 26 759.73/103.90 c (96,0) x[1][24] = 72 759.73/103.90 c (96,0) x[1][25] = 70 759.73/103.90 c (96,0) x[1][26] = 64 759.73/103.90 c (96,0) x[1][27] = 45 759.73/103.90 c (96,0) x[1][28] = 39 759.73/103.90 c (96,0) x[1][29] = 71 759.73/103.90 c (96,0) x[1][30] = 59 759.73/103.90 c (96,0) x[1][31] = 61 759.73/103.90 c (96,0) x[1][32] = 49 759.73/103.90 c (96,0) x[1][33] = 60 759.73/103.90 c (96,0) x[1][34] = 68 759.73/103.90 c (96,0) x[2][0] = 79 759.73/103.90 c (96,0) x[2][1] = 87 759.73/103.90 c (96,0) x[2][2] = 66 759.73/103.90 c (96,0) x[2][3] = 13 759.73/103.90 c (96,0) x[2][4] = 50 759.73/103.90 c (96,0) x[2][5] = 96 759.73/103.90 c (96,0) x[2][6] = 101 759.73/103.90 c (96,0) x[2][7] = 23 759.73/103.90 c (96,0) x[2][8] = 100 759.73/103.90 c (96,0) x[2][9] = 76 759.73/103.90 c (96,0) x[2][10] = 24 759.73/103.90 c (96,0) x[2][11] = 30 759.73/103.90 c (96,0) x[2][12] = 34 759.73/103.90 c (96,0) x[2][13] = 103 759.73/103.90 c (96,0) x[2][14] = 53 759.73/103.90 c (96,0) x[2][15] = 52 759.73/103.90 c (96,0) x[2][16] = 47 759.73/103.90 c (96,0) x[2][17] = 86 759.73/103.90 c (96,0) x[2][18] = 42 759.73/103.90 c (96,0) x[2][19] = 99 759.73/103.90 c (96,0) x[2][20] = 63 759.73/103.90 c (96,0) x[2][21] = 56 759.73/103.90 c (96,0) x[2][22] = 55 759.73/103.90 c (96,0) x[2][23] = 51 759.73/103.90 c (96,0) x[2][24] = 98 759.73/103.90 c (96,0) x[2][25] = 97 759.73/103.90 c (96,0) x[2][26] = 92 759.73/103.90 c (96,0) x[2][27] = 74 759.73/103.90 c (96,0) x[2][28] = 69 759.73/103.90 c (96,0) x[2][29] = 102 759.73/103.90 c (96,0) x[2][30] = 91 759.73/103.90 c (96,0) x[2][31] = 94 759.73/103.90 c (96,0) x[2][32] = 83 759.73/103.90 c (96,0) x[2][33] = 95 759.73/103.90 c (96,0) x[2][34] = 104 759.73/103.90 s SATISFIABLE 759.73/103.91 v <instantiation> 759.73/103.91 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34]</list> 759.73/103.91 v <values>75 81 58 3 38 82 85 5 80 54 0 4 6 73 21 18 11 48 2 57 19 10 7 1 46 43 36 16 9 40 27 28 15 25 32 77 84 62 8 44 89 93 14 90 65 12 17 20 88 37 35 29 67 22 78 41 33 31 26 72 70 64 45 39 71 59 61 49 60 68 79 87 66 13 50 96 101 23 100 76 24 30 34 103 53 52 47 86 42 99 63 56 55 51 98 97 92 74 69 102 91 94 83 95 104</values> 759.73/103.91 v </instantiation> 759.73/103.91 c (96,0) Show results End 759.73/103.91 c (96,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 759.73/103.91 c (96,0) 96,96,STOP-AFTER(ALL) 759.73/103.91 c END-Prog: Mon Sep 23 14:35:07 CEST 2019
OK
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: 16375 MiB (15515 MiB free) memory of node 1: 16384 MiB (9243 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405356-1569242045/watcher-4405356-1569242045 -o /tmp/evaluation-result-4405356-1569242045/solver-4405356-1569242045 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569238589-28057 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405356-1569242045.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=28963, runsolver pid=28960 [startup+0.100136 s]* /proc/loadavg: 5.72 6.18 5.97 2/213 28985 /proc/meminfo: memFree=25256940/32770688 swapFree=67001204/67108860 [pid=28963] ppid=28960 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/28963/stat : 28963 (scop.sh) S 28960 28963 28030 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500146079 115843072 348 33554432000 4194304 5098028 140734647524160 140734647521416 139676747797116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40787968 140734647530277 140734647530604 140734647530604 140734647533517 0 /proc/28963/statm: 28282 348 296 221 0 87 0 [pid=28966] ppid=28963 vsize=27314120 memory=107264 CPUtime=0.11 cores=0-7 /proc/28966/stat : 28966 (java) S 28963 28963 28030 0 -1 1077944320 6364 0 0 0 8 3 0 0 20 0 20 0 500146079 27969658880 26816 33554432000 4194304 4196468 140724830211120 140724830193664 139652460093175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 /proc/28966/statm: 6828530 26816 2775 1 0 6790935 0 [pid=28966/tid=28967] ppid=28963 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/28966/task/28967/stat : 28967 (java) R 28963 28963 28030 0 -1 4202560 4473 0 0 0 6 2 0 0 20 0 20 0 500146079 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652431919504 139652460115101 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28968] ppid=28963 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28966/task/28968/stat : 28968 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652464335248 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28969] ppid=28963 vsize=27314120 memory=140463376754304 CPUtime=0 cores=0-7 /proc/28966/task/28969/stat : 28969 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652278491408 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28970] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28970/stat : 28970 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652277439120 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28971] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28971/stat : 28971 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652276386320 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28972] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28972/stat : 28972 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652275334032 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28973] ppid=28963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28966/task/28973/stat : 28973 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652274281232 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28974] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28974/stat : 28974 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652273228944 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28975] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28975/stat : 28975 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 26816 33554432000 4194304 4196468 140724830211120 139652272176144 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28976] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28976/stat : 28976 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650578450544 139652460104322 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28977] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28977/stat : 28977 (java) S 28963 28963 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650391860000 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28978] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28978/stat : 28978 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650123424880 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28979] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28979/stat : 28979 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 26816 33554432000 4194304 4196468 140724830211120 139649748916304 139652460111771 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28980] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28980/stat : 28980 (java) S 28963 28963 28030 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650577398384 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28981] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28981/stat : 28981 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650576345584 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28982] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28982/stat : 28982 (java) S 28963 28963 28030 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650575293296 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28983] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28983/stat : 28983 (java) S 28963 28963 28030 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650574240496 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28984] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28984/stat : 28984 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 26816 33554432000 4194304 4196468 140724830211120 139649251010912 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28985] ppid=28963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28966/task/28985/stat : 28985 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146088 27969658880 26816 33554432000 4194304 4196468 140724830211120 139650573187376 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108656 KiB [startup+0.211397 s]* /proc/loadavg: 5.72 6.18 5.97 2/213 28985 /proc/meminfo: memFree=25238028/32770688 swapFree=67001204/67108860 [pid=28963] ppid=28960 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/28963/stat : 28963 (scop.sh) S 28960 28963 28030 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500146079 115843072 348 33554432000 4194304 5098028 140734647524160 140734647521416 139676747797116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40787968 140734647530277 140734647530604 140734647530604 140734647533517 0 /proc/28963/statm: 28282 348 296 221 0 87 0 [pid=28966] ppid=28963 vsize=27314120 memory=126656 CPUtime=0.24 cores=0-7 /proc/28966/stat : 28966 (java) S 28963 28963 28030 0 -1 1077944320 11859 0 0 0 20 4 0 0 20 0 20 0 500146079 27969658880 31664 33554432000 4194304 4196468 140724830211120 140724830193664 139652460093175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 /proc/28966/statm: 6828530 31664 2913 1 0 6790935 0 [pid=28966/tid=28967] ppid=28963 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/28966/task/28967/stat : 28967 (java) R 28963 28963 28030 0 -1 4202560 9633 0 0 0 16 3 0 0 20 0 20 0 500146079 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652431925376 139652460105110 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28968] ppid=28963 vsize=27314120 memory=342 CPUtime=0 cores=0-7 /proc/28966/task/28968/stat : 28968 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652464335248 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28969] ppid=28963 vsize=27314120 memory=140463380246094 CPUtime=0 cores=0-7 /proc/28966/task/28969/stat : 28969 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652278491408 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28970] ppid=28963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28966/task/28970/stat : 28970 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652277439120 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28971] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28971/stat : 28971 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652276386320 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28972] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28972/stat : 28972 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652275334032 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28973] ppid=28963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28966/task/28973/stat : 28973 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652274281232 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28974] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28974/stat : 28974 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652273228944 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28975] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28975/stat : 28975 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 31664 33554432000 4194304 4196468 140724830211120 139652272176144 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28976] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28976/stat : 28976 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650578450544 139652460104322 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28977] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28977/stat : 28977 (java) S 28963 28963 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650391860000 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28978] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28978/stat : 28978 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650123424880 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28979] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28979/stat : 28979 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 31664 33554432000 4194304 4196468 140724830211120 139649748916304 139652460111771 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28980] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28980/stat : 28980 (java) S 28963 28963 28030 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650577398384 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28981] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28981/stat : 28981 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650576345584 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28982] ppid=28963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28966/task/28982/stat : 28982 (java) S 28963 28963 28030 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650575293296 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28983] ppid=28963 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/28966/task/28983/stat : 28983 (java) R 28963 28963 28030 0 -1 4202560 440 0 0 0 2 0 0 0 20 0 20 0 500146087 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650574240496 139652460114522 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28984] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28984/stat : 28984 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 31664 33554432000 4194304 4196468 140724830211120 139649251010912 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28985] ppid=28963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28966/task/28985/stat : 28985 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146088 27969658880 31664 33554432000 4194304 4196468 140724830211120 139650573187376 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128048 KiB [startup+0.310872 s]* /proc/loadavg: 5.72 6.18 5.97 3/213 28985 /proc/meminfo: memFree=25233808/32770688 swapFree=67001204/67108860 [pid=28963] ppid=28960 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/28963/stat : 28963 (scop.sh) S 28960 28963 28030 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500146079 115843072 348 33554432000 4194304 5098028 140734647524160 140734647521416 139676747797116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40787968 140734647530277 140734647530604 140734647530604 140734647533517 0 /proc/28963/statm: 28282 348 296 221 0 87 0 [pid=28966] ppid=28963 vsize=27314120 memory=130100 CPUtime=0.43 cores=0-7 /proc/28966/stat : 28966 (java) S 28963 28963 28030 0 -1 1077944320 12356 0 0 0 38 5 0 0 20 0 20 0 500146079 27969658880 32525 33554432000 4194304 4196468 140724830211120 140724830193664 139652460093175 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 /proc/28966/statm: 6828530 32525 3029 1 0 6790935 0 [pid=28966/tid=28967] ppid=28963 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/28966/task/28967/stat : 28967 (java) R 28963 28963 28030 0 -1 4202560 9913 0 0 0 26 4 0 0 20 0 20 0 500146079 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652431920512 139652444173662 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28968] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28968/stat : 28968 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652464335248 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28969] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28969/stat : 28969 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652278491408 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28970] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28970/stat : 28970 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652277439120 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28971] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28971/stat : 28971 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652276386320 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28972] ppid=28963 vsize=27314120 memory=2244 CPUtime=0 cores=0-7 /proc/28966/task/28972/stat : 28972 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652275334032 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28973] ppid=28963 vsize=27314120 memory=140463214523311 CPUtime=0 cores=0-7 /proc/28966/task/28973/stat : 28973 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652274281232 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28974] ppid=28963 vsize=27314120 memory=140463214525616 CPUtime=0 cores=0-7 /proc/28966/task/28974/stat : 28974 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652273228944 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28975] ppid=28963 vsize=27314120 memory=140463214527920 CPUtime=0 cores=0-7 /proc/28966/task/28975/stat : 28975 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27969658880 32525 33554432000 4194304 4196468 140724830211120 139652272176144 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28976] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28976/stat : 28976 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650578450544 139652460104322 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28977] ppid=28963 vsize=27314120 memory=280926429062800 CPUtime=0 cores=0-7 /proc/28966/task/28977/stat : 28977 (java) S 28963 28963 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650391860000 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28978] ppid=28963 vsize=27314120 memory=280926429069712 CPUtime=0 cores=0-7 /proc/28966/task/28978/stat : 28978 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146084 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650123424880 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28979] ppid=28963 vsize=27314120 memory=280926429010960 CPUtime=0 cores=0-7 /proc/28966/task/28979/stat : 28979 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 32525 33554432000 4194304 4196468 140724830211120 139649748916304 139652460111771 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28980] ppid=28963 vsize=27314120 memory=280926429083536 CPUtime=0.02 cores=0-7 /proc/28966/task/28980/stat : 28980 (java) S 28963 28963 28030 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 20 0 500146087 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650577398384 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28981] ppid=28963 vsize=27314120 memory=280926429090448 CPUtime=0 cores=0-7 /proc/28966/task/28981/stat : 28981 (java) S 28963 28963 28030 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650576345584 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28982] ppid=28963 vsize=27314120 memory=280926429088144 CPUtime=0.01 cores=0-7 /proc/28966/task/28982/stat : 28982 (java) S 28963 28963 28030 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 500146087 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650575293296 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28983] ppid=28963 vsize=27314120 memory=280926429104304 CPUtime=0.07 cores=0-7 /proc/28966/task/28983/stat : 28983 (java) S 28963 28963 28030 0 -1 1077944384 464 0 0 0 7 0 0 0 20 0 20 0 500146087 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650574240496 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28984] ppid=28963 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28984/stat : 28984 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500146087 27969658880 32525 33554432000 4194304 4196468 140724830211120 139649251010912 139652460103381 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28985] ppid=28963 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/28966/task/28985/stat : 28985 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500146088 27969658880 32525 33554432000 4194304 4196468 140724830211120 139650573187376 139652460104322 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131492 KiB [startup+0.700989 s] /proc/loadavg: 5.72 6.18 5.97 2/213 28985 /proc/meminfo: memFree=25227792/32770688 swapFree=67001204/67108860 [pid=28963] ppid=28960 vsize=113128 memory=1392 CPUtime=0 cores=0-7 /proc/28963/stat : 28963 (scop.sh) S 28960 28963 28030 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500146079 115843072 348 33554432000 4194304 5098028 140734647524160 140734647521416 139676747797116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40787968 140734647530277 140734647530604 140734647530604 140734647533517 0 /proc/28963/statm: 28282 348 296 221 0 87 0 [pid=28966] ppid=28963 vsize=27320392 memory=159072 CPUtime=0.89 cores=0-7 /proc/28966/stat : 28966 (java) S 28963 28963 28030 0 -1 1077944320 18916 0 0 0 82 7 0 0 20 0 20 0 500146079 27976081408 39768 33554432000 4194304 4196468 140724830211120 140724830193664 139652460093175 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 /proc/28966/statm: 6830098 39768 3083 1 0 6791447 0 [pid=28966/tid=28967] ppid=28963 vsize=27320392 memory=280926429462192 CPUtime=0.67 cores=0-7 /proc/28966/task/28967/stat : 28967 (java) R 28963 28963 28030 0 -1 4202560 16415 0 0 0 61 6 0 0 20 0 20 0 500146079 27976081408 39768 33554432000 4194304 4196468 140724830211120 139652431914656 139652444173662 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28968] ppid=28963 vsize=27320392 memory=140463214732144 CPUtime=0 cores=0-7 /proc/28966/task/28968/stat : 28968 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27976081408 39768 33554432000 4194304 4196468 140724830211120 139652464335248 139652460103381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28969] ppid=28963 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/28966/task/28969/stat : 28969 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500146082 27976081408 39768 33554432000 4194304 4196468 140724830211120 139652278491408 139652460103381 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 [pid=28966/tid=28970] ppid=28963 vsize=27320392 memory=2832 CPUtime=0 cores=0-7 /proc/28966/task/28970/stat : 28970 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500146082 27976081408 39768 33554432000 4194304 4196468 140724830211120 139652277439120 139652460103381 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29433856 140724830216939 140724830217366 140724830217366 140724830220239 0 ################ # More data... # ################ [pid=28988/tid=28989] ppid=28963 vsize=8414124 memory=1056 CPUtime=0.85 cores=0-7 /proc/28988/task/28989/stat : 28989 (java) S 28963 28963 28030 0 -1 1077944384 16392 0 0 0 79 6 0 0 20 0 24 0 500146771 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151933595552 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28990] ppid=28963 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/28988/task/28990/stat : 28990 (java) S 28963 28963 28030 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151965997712 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28991] ppid=28963 vsize=8414124 memory=118148 CPUtime=0 cores=0-7 /proc/28988/task/28991/stat : 28991 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151766166032 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28992] ppid=28963 vsize=8414124 memory=778724 CPUtime=0 cores=0-7 /proc/28988/task/28992/stat : 28992 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151765113232 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28993] ppid=28963 vsize=8414124 memory=280926429720192 CPUtime=0 cores=0-7 /proc/28988/task/28993/stat : 28993 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151764060432 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28994] ppid=28963 vsize=8414124 memory=126676369410538 CPUtime=0 cores=0-7 /proc/28988/task/28994/stat : 28994 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151443418256 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28995] ppid=28963 vsize=8414124 memory=1472 CPUtime=0 cores=0-7 /proc/28988/task/28995/stat : 28995 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151442365456 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28996] ppid=28963 vsize=8414124 memory=772 CPUtime=0 cores=0-7 /proc/28988/task/28996/stat : 28996 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151441312656 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28997] ppid=28963 vsize=8414124 memory=1696 CPUtime=0 cores=0-7 /proc/28988/task/28997/stat : 28997 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500146772 8616062976 29537 33554432000 4194304 4196468 140727633464960 140151440259856 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28998] ppid=28963 vsize=8414124 memory=1228 CPUtime=0 cores=0-7 /proc/28988/task/28998/stat : 28998 (java) S 28963 28963 28030 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 500146774 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150786873712 140151961766530 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28999] ppid=28963 vsize=8414124 memory=6112 CPUtime=0 cores=0-7 /proc/28988/task/28999/stat : 28999 (java) S 28963 28963 28030 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500146774 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150554223648 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29000] ppid=28963 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/28988/task/29000/stat : 29000 (java) S 28963 28963 28030 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500146775 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150420001648 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29001] ppid=28963 vsize=8414124 memory=3516 CPUtime=0 cores=0-7 /proc/28988/task/29001/stat : 29001 (java) S 28963 28963 28030 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500146777 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150045497168 140151961773979 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29002] ppid=28963 vsize=8414124 memory=1088 CPUtime=0.04 cores=0-7 /proc/28988/task/29002/stat : 29002 (java) S 28963 28963 28030 0 -1 1077944384 376 0 0 0 4 0 0 0 20 0 24 0 500146777 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150785821552 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29003] ppid=28963 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7 /proc/28988/task/29003/stat : 29003 (java) S 28963 28963 28030 0 -1 1077944384 461 0 0 0 6 0 0 0 20 0 24 0 500146777 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150784768752 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29004] ppid=28963 vsize=8414124 memory=1564 CPUtime=0.08 cores=0-7 /proc/28988/task/29004/stat : 29004 (java) S 28963 28963 28030 0 -1 1077944384 242 0 0 0 8 0 0 0 20 0 24 0 500146777 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150783715952 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29005] ppid=28963 vsize=8414124 memory=8392 CPUtime=0.23 cores=0-7 /proc/28988/task/29005/stat : 29005 (java) S 28963 28963 28030 0 -1 1077944384 753 0 0 0 23 0 0 0 20 0 24 0 500146777 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150782663152 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29006] ppid=28963 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/28988/task/29006/stat : 29006 (java) S 28963 28963 28030 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500146777 8616062976 29537 33554432000 4194304 4196468 140727633464960 140149547592288 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29007] ppid=28963 vsize=8414124 memory=30956 CPUtime=0.05 cores=0-7 /proc/28988/task/29007/stat : 29007 (java) S 28963 28963 28030 0 -1 1077944384 9 0 0 0 5 0 0 0 20 0 24 0 500146778 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150781610544 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29009] ppid=28963 vsize=8414124 memory=14068 CPUtime=0 cores=0-7 /proc/28988/task/29009/stat : 29009 (java) S 28963 28963 28030 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500146852 8616062976 29537 33554432000 4194304 4196468 140727633464960 140150773576768 140151961779993 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29011] ppid=28963 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/28988/task/29011/stat : 29011 (java) S 28963 28963 28030 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500146852 8616062976 29537 33554432000 4194304 4196468 140727633464960 140148876492944 140151961777309 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29012] ppid=28963 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/28988/task/29012/stat : 29012 (java) S 28963 28963 28030 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500146853 8616062976 29537 33554432000 4194304 4196468 140727633464960 140149144928272 140151961777309 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29013] ppid=28963 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/28988/task/29013/stat : 29013 (java) S 28963 28963 28030 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500146855 8616062976 29537 33554432000 4194304 4196468 140727633464960 140148608065072 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 Current children cumulated CPU time: 759.12 s Current children cumulated vsize: 9549212 KiB Current children cumulated memory: 898396 KiB [startup+103.801 s] /proc/loadavg: 8.14 6.86 6.23 3/218 29027 /proc/meminfo: memFree=24458532/32770688 swapFree=67001204/67108860 [pid=28963] ppid=28960 vsize=113128 memory=1472 CPUtime=17.05 cores=0-7 /proc/28963/stat : 28963 (scop.sh) S 28960 28963 28030 0 -1 4202496 582 30656 0 0 0 0 1651 54 20 0 1 0 500146079 115843072 368 33554432000 4194304 5098028 140734647524160 140734647520904 139676747797116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40787968 140734647530277 140734647530604 140734647530604 140734647533517 0 /proc/28963/statm: 28282 368 311 221 0 87 0 [pid=28988] ppid=28963 vsize=8283048 memory=127748 CPUtime=742.46 cores=0-7 /proc/28988/stat : 28988 (java) S 28963 28963 28030 0 -1 1077944320 21438 856273 0 0 154 9 73922 161 20 0 22 0 500146770 8481841152 31937 33554432000 4194304 4196468 140727633464960 140727633447504 140151961755383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 /proc/28988/statm: 2070762 31937 3224 1 0 2032106 0 [pid=28988/tid=28989] ppid=28963 vsize=8283048 memory=1444 CPUtime=741.71 cores=0-7 /proc/28988/task/28989/stat : 28989 (java) R 28963 28963 28030 0 -1 4202560 16547 856273 0 0 82 6 73922 161 20 0 22 0 500146771 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151933593168 140151961767318 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28990] ppid=28963 vsize=8283048 memory=1984 CPUtime=740.83 cores=0-7 /proc/28988/task/28990/stat : 28990 (java) S 28963 28963 28030 0 -1 1077944384 2 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151965997712 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28991] ppid=28963 vsize=8283048 memory=2524 CPUtime=740.83 cores=0-7 /proc/28988/task/28991/stat : 28991 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151766166032 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28992] ppid=28963 vsize=8283048 memory=1760 CPUtime=740.83 cores=0-7 /proc/28988/task/28992/stat : 28992 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151765113232 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28993] ppid=28963 vsize=8283048 memory=111636 CPUtime=740.83 cores=0-7 /proc/28988/task/28993/stat : 28993 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151764060432 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28994] ppid=28963 vsize=8283048 memory=800 CPUtime=740.83 cores=0-7 /proc/28988/task/28994/stat : 28994 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151443418256 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28995] ppid=28963 vsize=8283048 memory=1728 CPUtime=740.83 cores=0-7 /proc/28988/task/28995/stat : 28995 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151442365456 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28996] ppid=28963 vsize=8283048 memory=4104 CPUtime=740.83 cores=0-7 /proc/28988/task/28996/stat : 28996 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151441312656 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28997] ppid=28963 vsize=8283048 memory=1804 CPUtime=740.83 cores=0-7 /proc/28988/task/28997/stat : 28997 (java) S 28963 28963 28030 0 -1 1077944384 3 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8481841152 31937 33554432000 4194304 4196468 140727633464960 140151440259856 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28998] ppid=28963 vsize=8283048 memory=916 CPUtime=740.83 cores=0-7 /proc/28988/task/28998/stat : 28998 (java) S 28963 28963 28030 0 -1 1077944384 7 856273 0 0 0 0 73922 161 20 0 22 0 500146774 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150786873712 140151961766530 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28999] ppid=28963 vsize=8283048 memory=4420 CPUtime=740.83 cores=0-7 /proc/28988/task/28999/stat : 28999 (java) S 28963 28963 28030 0 -1 1077944384 13 856273 0 0 0 0 73922 161 20 0 22 0 500146774 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150554223648 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29000] ppid=28963 vsize=8283048 memory=1412 CPUtime=740.83 cores=0-7 /proc/28988/task/29000/stat : 29000 (java) S 28963 28963 28030 0 -1 1077944384 21 856273 0 0 0 0 73922 161 20 0 22 0 500146775 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150420001648 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29001] ppid=28963 vsize=8283048 memory=3712 CPUtime=740.83 cores=0-7 /proc/28988/task/29001/stat : 29001 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146777 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150045497168 140151961773979 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29002] ppid=28963 vsize=8283048 memory=1472 CPUtime=740.91 cores=0-7 /proc/28988/task/29002/stat : 29002 (java) S 28963 28963 28030 0 -1 1077944384 755 856273 0 0 8 0 73922 161 20 0 22 0 500146777 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150785821552 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29003] ppid=28963 vsize=8283048 memory=791488 CPUtime=740.93 cores=0-7 /proc/28988/task/29003/stat : 29003 (java) S 28963 28963 28030 0 -1 1077944384 676 856273 0 0 10 0 73922 161 20 0 22 0 500146777 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150784768752 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29004] ppid=28963 vsize=8283048 memory=770396 CPUtime=740.94 cores=0-7 /proc/28988/task/29004/stat : 29004 (java) S 28963 28963 28030 0 -1 1077944384 401 856273 0 0 11 0 73922 161 20 0 22 0 500146777 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150783715952 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29005] ppid=28963 vsize=8283048 memory=3612 CPUtime=741.11 cores=0-7 /proc/28988/task/29005/stat : 29005 (java) S 28963 28963 28030 0 -1 1077944384 1071 856273 0 0 28 0 73922 161 20 0 22 0 500146777 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150782663152 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29006] ppid=28963 vsize=8283048 memory=59672 CPUtime=740.83 cores=0-7 /proc/28988/task/29006/stat : 29006 (java) S 28963 28963 28030 0 -1 1077944384 3 856273 0 0 0 0 73922 161 20 0 22 0 500146777 8481841152 31937 33554432000 4194304 4196468 140727633464960 140149547592288 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29007] ppid=28963 vsize=8283048 memory=984 CPUtime=740.88 cores=0-7 /proc/28988/task/29007/stat : 29007 (java) S 28963 28963 28030 0 -1 1077944384 9 856273 0 0 5 0 73922 161 20 0 22 0 500146778 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150781610544 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29009] ppid=28963 vsize=8283048 memory=2044 CPUtime=740.83 cores=0-7 /proc/28988/task/29009/stat : 29009 (java) S 28963 28963 28030 0 -1 1077944384 25 856273 0 0 0 0 73922 161 20 0 22 0 500146852 8481841152 31937 33554432000 4194304 4196468 140727633464960 140150773575952 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29013] ppid=28963 vsize=8283048 memory=3612 CPUtime=740.83 cores=0-7 /proc/28988/task/29013/stat : 29013 (java) S 28963 28963 28030 0 -1 1077944384 14 856273 0 0 0 0 73922 161 20 0 22 0 500146855 8481841152 31937 33554432000 4194304 4196468 140727633464960 140148608066864 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 Current children cumulated CPU time: 759.51 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 129220 KiB [startup+103.901 s] /proc/loadavg: 8.14 6.86 6.23 3/218 29027 /proc/meminfo: memFree=24458532/32770688 swapFree=67001204/67108860 [pid=28963] ppid=28960 vsize=113128 memory=1472 CPUtime=17.05 cores=0-7 /proc/28963/stat : 28963 (scop.sh) S 28960 28963 28030 0 -1 4202496 582 30656 0 0 0 0 1651 54 20 0 1 0 500146079 115843072 368 33554432000 4194304 5098028 140734647524160 140734647520904 139676747797116 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 40787968 140734647530277 140734647530604 140734647530604 140734647533517 0 /proc/28963/statm: 28282 368 311 221 0 87 0 [pid=28988] ppid=28963 vsize=8284072 memory=134080 CPUtime=742.68 cores=0-7 /proc/28988/stat : 28988 (java) S 28963 28963 28030 0 -1 1077944320 22259 856273 0 0 175 10 73922 161 20 0 22 0 500146770 8482889728 33520 33554432000 4194304 4196468 140727633464960 140727633447504 140151961755383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 /proc/28988/statm: 2071018 33520 3225 1 0 2032362 0 [pid=28988/tid=28989] ppid=28963 vsize=8284072 memory=118264 CPUtime=741.81 cores=0-7 /proc/28988/task/28989/stat : 28989 (java) R 28963 28963 28030 0 -1 4202560 17192 856273 0 0 92 6 73922 161 20 0 22 0 500146771 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151933582112 140151954435101 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28990] ppid=28963 vsize=8284072 memory=1472 CPUtime=740.83 cores=0-7 /proc/28988/task/28990/stat : 28990 (java) S 28963 28963 28030 0 -1 1077944384 2 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151965997712 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28991] ppid=28963 vsize=8284072 memory=118148 CPUtime=740.83 cores=0-7 /proc/28988/task/28991/stat : 28991 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151766166032 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28992] ppid=28963 vsize=8284072 memory=770396 CPUtime=740.83 cores=0-7 /proc/28988/task/28992/stat : 28992 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151765113232 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28993] ppid=28963 vsize=8284072 memory=14068 CPUtime=740.83 cores=0-7 /proc/28988/task/28993/stat : 28993 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151764060432 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28994] ppid=28963 vsize=8284072 memory=2120 CPUtime=740.83 cores=0-7 /proc/28988/task/28994/stat : 28994 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151443418256 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28995] ppid=28963 vsize=8284072 memory=496 CPUtime=740.83 cores=0-7 /proc/28988/task/28995/stat : 28995 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151442365456 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28996] ppid=28963 vsize=8284072 memory=928 CPUtime=740.83 cores=0-7 /proc/28988/task/28996/stat : 28996 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151441312656 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28997] ppid=28963 vsize=8284072 memory=1620 CPUtime=740.83 cores=0-7 /proc/28988/task/28997/stat : 28997 (java) S 28963 28963 28030 0 -1 1077944384 3 856273 0 0 0 0 73922 161 20 0 22 0 500146772 8482889728 33520 33554432000 4194304 4196468 140727633464960 140151440259856 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28998] ppid=28963 vsize=8284072 memory=780 CPUtime=740.83 cores=0-7 /proc/28988/task/28998/stat : 28998 (java) S 28963 28963 28030 0 -1 1077944384 7 856273 0 0 0 0 73922 161 20 0 22 0 500146774 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150786873712 140151961766530 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=28999] ppid=28963 vsize=8284072 memory=1472 CPUtime=740.83 cores=0-7 /proc/28988/task/28999/stat : 28999 (java) S 28963 28963 28030 0 -1 1077944384 13 856273 0 0 0 0 73922 161 20 0 22 0 500146774 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150554223648 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29000] ppid=28963 vsize=8284072 memory=117372 CPUtime=740.83 cores=0-7 /proc/28988/task/29000/stat : 29000 (java) S 28963 28963 28030 0 -1 1077944384 21 856273 0 0 0 0 73922 161 20 0 22 0 500146775 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150420001648 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29001] ppid=28963 vsize=8284072 memory=544524 CPUtime=740.83 cores=0-7 /proc/28988/task/29001/stat : 29001 (java) S 28963 28963 28030 0 -1 1077944384 1 856273 0 0 0 0 73922 161 20 0 22 0 500146777 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150045497168 140151961773979 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29002] ppid=28963 vsize=8284072 memory=1472 CPUtime=740.94 cores=0-7 /proc/28988/task/29002/stat : 29002 (java) S 28963 28963 28030 0 -1 1077944384 772 856273 0 0 11 0 73922 161 20 0 22 0 500146777 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150785821552 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29003] ppid=28963 vsize=8284072 memory=118148 CPUtime=740.94 cores=0-7 /proc/28988/task/29003/stat : 29003 (java) S 28963 28963 28030 0 -1 1077944384 690 856273 0 0 11 0 73922 161 20 0 22 0 500146777 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150784768752 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29004] ppid=28963 vsize=8284072 memory=776460 CPUtime=740.96 cores=0-7 /proc/28988/task/29004/stat : 29004 (java) S 28963 28963 28030 0 -1 1077944384 420 856273 0 0 13 0 73922 161 20 0 22 0 500146777 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150783715952 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29005] ppid=28963 vsize=8284072 memory=6791534058613427641 CPUtime=741.16 cores=0-7 /proc/28988/task/29005/stat : 29005 (java) S 28963 28963 28030 0 -1 1077944384 1196 856273 0 0 33 0 73922 161 20 0 22 0 500146777 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150782663152 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29006] ppid=28963 vsize=8284072 memory=1472 CPUtime=740.83 cores=0-7 /proc/28988/task/29006/stat : 29006 (java) S 28963 28963 28030 0 -1 1077944384 3 856273 0 0 0 0 73922 161 20 0 22 0 500146777 8482889728 33520 33554432000 4194304 4196468 140727633464960 140149547592288 140151961765589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29007] ppid=28963 vsize=8284072 memory=118148 CPUtime=740.88 cores=0-7 /proc/28988/task/29007/stat : 29007 (java) S 28963 28963 28030 0 -1 1077944384 9 856273 0 0 5 0 73922 161 20 0 22 0 500146778 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150781610544 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29009] ppid=28963 vsize=8284072 memory=774848 CPUtime=740.83 cores=0-7 /proc/28988/task/29009/stat : 29009 (java) S 28963 28963 28030 0 -1 1077944384 25 856273 0 0 0 0 73922 161 20 0 22 0 500146852 8482889728 33520 33554432000 4194304 4196468 140727633464960 140150773575952 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 [pid=28988/tid=29013] ppid=28963 vsize=8284072 memory=280926429764864 CPUtime=740.83 cores=0-7 /proc/28988/task/29013/stat : 29013 (java) S 28963 28963 28030 0 -1 1077944384 14 856273 0 0 0 0 73922 161 20 0 22 0 500146855 8482889728 33520 33554432000 4194304 4196468 140727633464960 140148608066864 140151961766530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38850560 140727633466359 140727633466518 140727633466518 140727633469391 0 Current children cumulated CPU time: 759.73 s Current children cumulated vsize: 8397200 KiB Current children cumulated memory: 135552 KiB Child status: 0 Real time (s): 103.928 CPU time (s): 759.803 CPU user time (s): 757.516 CPU system time (s): 2.28694 CPU usage (%): 731.082 Max. virtual memory (cumulated for all children) (KiB): 27441856 Max. memory (cumulated for all children) (KiB): 2954104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 757.516 system time used= 2.28694 maximum resident set size= 2960760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 910395 page faults= 0 swaps= 0 block input operations= 0 block output operations= 20984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15923 involuntary context switches= 7412 # summary of solver processes directly reported to runsolver: # pid: 28963 # total CPU time (s): 759.803 # total CPU user time (s): 757.516 # total CPU system time (s): 2.28694 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.07226 second user time and 1.56787 second system time The end
Begin job on node116 at 2019-09-23 14:33:23 IDJOB=4405356 IDBENCH=124271 IDSOLVER=2867 FILE ID=node116/4405356-1569242045 RUNJOBID= node116-1569238589-28057 PBS_JOBID= 21704912 Free space on /tmp= 6528 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Langford/Langford-m1-k3/Langford-3-35.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405356-1569242045/watcher-4405356-1569242045 -o /tmp/evaluation-result-4405356-1569242045/solver-4405356-1569242045 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569238589-28057 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405356-1569242045.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d39bc1ef1e07e502cfee7f2819d89a2a RANDOM SEED=2001988792 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 25352808 kB MemAvailable: 31841432 kB Buffers: 86188 kB Cached: 6566972 kB SwapCached: 3400 kB Active: 3309024 kB Inactive: 3349152 kB Active(anon): 6692 kB Inactive(anon): 54652 kB Active(file): 3302332 kB Inactive(file): 3294500 kB Unevictable: 108832 kB Mlocked: 108832 kB SwapTotal: 67108860 kB SwapFree: 67001204 kB Dirty: 20616 kB Writeback: 0 kB AnonPages: 111996 kB Mapped: 54884 kB Shmem: 47708 kB Slab: 349344 kB SReclaimable: 320252 kB SUnreclaim: 29092 kB KernelStack: 3360 kB PageTables: 5204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 514468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6508 MiB End job on node116 at 2019-09-23 14:35:07