Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 2121.54 | 287.03 |
Name | SportsScheduling/SportsScheduling-m1-s1/ SportsScheduling-14.xml |
MD5SUM | 1e3f519c957d5cb55b89b746c42a86fa |
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 | 167.509 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 287 |
Number of constraints | 147 |
Number of domains | 2 |
Minimum domain size | 14 |
Maximum domain size | 91 |
Distribution of domain sizes | [{"size":14,"count":196},{"size":91,"count":91}] |
Minimum variable degree | 3 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":3,"count":98},{"degree":4,"count":189}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 91 |
Distribution of constraint arities | [{"arity":1,"count":7},{"arity":2,"count":7},{"arity":3,"count":91},{"arity":7,"count":13},{"arity":14,"count":14},{"arity":26,"count":7},{"arity":28,"count":7},{"arity":91,"count":1}] |
Number of extensional constraints | 91 |
Number of intensional constraints | 14 |
Distribution of constraint types | [{"type":"extension","count":91},{"type":"intension","count":14},{"type":"allDifferent","count":15},{"type":"count","count":13},{"type":"cardinality","count":14}] |
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-15053-serial-file.bin HOME/instance-4392353-1568435284.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 06:27:28 CEST 2019 0.65/0.56 c PID: 15056 0.65/0.56 c IP: 172.20.3.148 0.65/0.56 c HOST: node148.alineos.net 0.65/0.57 c (0,0) Parsing Begin 1.62/1.03 c (0,0) Parsing End 1.62/1.04 c (0,0) CSP: 287 int (0 aux), 0 bool (0 aux), 147 ctr, max domain size 91 1.62/1.04 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.62/1.04 c (0,0) Constraint Name Generate Begin 1.62/1.04 c (0,0) Ctr:HOME/instance-4392353-1568435284.xml,AllDifferent:Cardinality:Count:Eq:ExtensionSupport:Lt:Num:Var 1.62/1.04 c (0,0) Constraint Name Generate End 1.62/1.04 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.62/1.05 c (0,0) CSP to CSPinCNF Begin 4.48/2.02 c (1,1) translated 15 (10%) constraints 5.88/2.47 c (1,1) translated 30 (20%) constraints 6.70/2.85 c (2,2) translated 45 (30%) constraints 7.05/3.19 c (2,2) translated 59 (40%) constraints 7.51/3.55 c (3,3) translated 74 (50%) constraints 7.93/3.91 c (3,3) translated 89 (60%) constraints 9.24/4.36 c (3,3) translated 103 (70%) constraints 11.60/4.91 c (4,4) translated 118 (80%) constraints 11.60/4.93 c (4,4) translated 133 (90%) constraints 12.06/5.05 c (4,4) translated 147 (100%) constraints 12.06/5.05 c (4,4) =========================================== 12.06/5.05 c (4,4) Order 12.06/5.05 c (4,4) =========================================== 12.59/5.22 c (4,4) translated 5654 (10%) constraints 12.93/5.34 c (4,4) translated 11308 (20%) constraints 13.02/5.46 c (4,4) translated 16962 (30%) constraints 13.14/5.57 c (5,5) translated 22616 (40%) constraints 13.24/5.68 c (5,5) translated 28270 (50%) constraints 13.45/5.80 c (5,5) translated 33924 (60%) constraints 13.56/5.92 c (5,5) translated 39578 (70%) constraints 13.77/6.05 c (5,5) translated 45232 (80%) constraints 15.33/6.86 c (6,6) translated 50886 (90%) constraints 16.71/7.32 c (6,6) translated 56540 (100%) constraints 16.71/7.32 c (6,6) CSP to CSPinCNF End 16.71/7.33 c (6,6) CSP: 1165 int (879 aux), 23325 bool (23324 aux), 85554 ctr, max domain size 89 16.71/7.33 c (6,6) Heap : 1914 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 16.71/7.33 c (6,6) CSPinCNF Propagation Begin 18.65/8.27 c (7,7) 3474 values, 11735 unsatisfiable literals, and 10172 valid clauses are removed 18.65/8.27 c (7,7) CSPinCNF Propagation End 18.65/8.28 c (7,7) CSP: 1133 int (849 aux), 23357 bool (23354 aux), 75382 ctr, max domain size 89 18.65/8.28 c (7,7) Heap : 2478 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 18.65/8.28 c (7,7) Simplify CSPinCNF Begin 19.75/8.67 c (8,8) Simplify CSPinCNF End 19.75/8.68 c (8,8) CSP: 1133 int (849 aux), 33535 bool (33532 aux), 85560 ctr, max domain size 89 19.75/8.68 c (8,8) Heap : 2590 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 19.75/8.68 c (8,8) Calculate Precise Domain Begin 19.90/8.72 c (8,8) 15 values are removed by re-calculation 19.90/8.72 c (8,8) Calculate Precise Domain End 19.90/8.73 c (8,8) CSP: 1133 int (849 aux), 33535 bool (33532 aux), 85560 ctr, max domain size 89 19.90/8.73 c (8,8) Heap : 2703 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB) 19.90/8.73 c (8,8) CSPinCNF to SatSolver Begin 20.94/9.10 c (8,8) 8556 (10 %) CSP clauses are encoded (0 SAT variables, 20073 SAT clauses) 21.61/9.20 c (8,8) 17112 (20 %) CSP clauses are encoded (0 SAT variables, 28629 SAT clauses) 21.61/9.28 c (8,8) 25668 (30 %) CSP clauses are encoded (0 SAT variables, 37185 SAT clauses) 21.71/9.37 c (8,8) 34224 (40 %) CSP clauses are encoded (0 SAT variables, 45741 SAT clauses) 24.01/10.25 c (9,9) 42780 (50 %) CSP clauses are encoded (0 SAT variables, 189729 SAT clauses) 26.15/12.13 c (11,11) 51336 (60 %) CSP clauses are encoded (0 SAT variables, 635117 SAT clauses) 26.34/12.38 c (11,11) 59892 (70 %) CSP clauses are encoded (0 SAT variables, 684945 SAT clauses) 26.44/12.48 c (11,11) 68448 (80 %) CSP clauses are encoded (0 SAT variables, 699339 SAT clauses) 26.97/12.77 c (12,12) 77004 (90 %) CSP clauses are encoded (0 SAT variables, 763357 SAT clauses) 28.33/13.19 c (12,12) CSPinCNF to SatSolver End 28.33/13.19 c (12,12) Heap : 269 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB) 28.33/13.19 c (12,12) 43454 bool, 854531 clause 28.33/13.19 c (12,12) Export Begin 28.73/13.29 c (12,12) Export to HOME/scop-15053-serial-file.bin 28.73/13.29 c (12,12) Export End 28.73/13.29 c (12,12) Export File Size: 0.05 MB 28.73/13.29 c (12,12) 0,0,6,7,8,8,12,STOP-AFTER(DIMACS) 28.73/13.29 c END-Prog: Sat Sep 14 06:27:41 CEST 2019 28.96/13.35 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15053-serial-file.bin 29.01/13.81 c (0,0) Read Serial File Begin 29.01/13.81 c (0,0) HOME/scop-15053-serial-file.bin 29.92/14.04 c (0,0) Read Serial File End 29.92/14.06 29.92/14.06 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 29.92/14.06 (Solving Process) 29.92/14.06 29.92/14.08 c BEGIN-Prog: Sat Sep 14 06:27:42 CEST 2019 29.92/14.08 c PID: 15078 29.92/14.08 c IP: 172.20.3.148 29.92/14.08 c HOST: node148.alineos.net 29.92/14.08 c (0,0) SatSolver.solve Begin 29.92/14.08 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392353-1568435284.xml-scop-15056.cnf 30.21/14.11 c (0,0) c 30.21/14.11 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) 30.21/14.11 c (0,0) c 30.21/14.11 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 30.21/14.11 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 30.21/14.11 c (0,0) c ========================================[ Problem Statistics ]=========================================== 30.21/14.11 c (0,0) c | | 30.33/14.38 c (0,0) c | Number of variables: 43454 | 30.33/14.38 c (0,0) c | Number of clauses: 854531 | 30.33/14.38 c (0,0) c | Parse time: 0.24 s | 30.33/14.38 c (0,0) c | | 32.11/15.94 c (2,0) c | Simplification time: 1.54 s | 32.11/15.94 c (2,0) c | | 32.11/15.94 c (2,0) c | Generating clones | 32.32/16.19 c (2,0) c | all clones generated. Memory = 561.81Mb. | 32.32/16.19 c (2,0) c ========================================================================================================| 32.32/16.19 c (2,0) c 32.32/16.19 c (2,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 32.32/16.19 c (2,0) c 32.32/16.19 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 32.32/16.19 c (2,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 32.32/16.19 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 32.32/16.19 c (2,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 32.32/16.19 c (2,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 32.32/16.19 c (2,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 32.32/16.19 c (2,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 32.32/16.19 c (2,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 32.32/16.19 c (2,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 32.32/16.19 c (2,0) c | glureduce | True | True | True | True | True | True | True | True | 32.32/16.19 c (2,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 32.32/16.19 c (2,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 32.32/16.19 c (2,0) c | luby_restart | False | False | False | False | False | False | False | False | 32.32/16.19 c (2,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 32.32/16.19 c (2,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 32.32/16.19 c (2,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 32.32/16.19 c (2,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 32.32/16.19 c (2,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 32.32/16.19 c (2,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 267.51/45.83 c (32,0) c 267.51/45.83 c (32,0) c |------------------------------------------------------------------------------------------------------------------------| 267.51/45.83 c (32,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 267.51/45.83 c (32,0) c |------------------------------------------------------------------------------------------------------------------------| 267.51/45.83 c (32,0) c | 0 | 306 | 424798 | 52793 | 200034 | 14198 | 6478 | 40685 | 2750 | 210 | 20 | 1.774 | 267.51/45.83 c (32,0) c | 1 | 293 | 421660 | 50788 | 197394 | 24553 | 6179 | 40505 | 2729 | 206 | 20 | 1.682 | 267.51/45.83 c (32,0) c | 2 | 300 | 413809 | 51702 | 203280 | 13120 | 6225 | 40787 | 2692 | 209 | 20 | 1.682 | 267.51/45.83 c (32,0) c | 3 | 322 | 412594 | 51083 | 192450 | 12503 | 6068 | 40904 | 2644 | 208 | 20 | 1.687 | 267.51/45.83 c (32,0) c | 4 | 323 | 421293 | 53310 | 206689 | 14714 | 6262 | 41789 | 2855 | 215 | 20 | 1.691 | 267.51/45.83 c (32,0) c | 5 | 296 | 412946 | 52264 | 201144 | 13676 | 6343 | 41241 | 2683 | 212 | 20 | 1.694 | 267.51/45.83 c (32,0) c | 6 | 303 | 420742 | 52853 | 201839 | 14293 | 6215 | 41969 | 2860 | 216 | 20 | 1.701 | 267.51/45.83 c (32,0) c | 7 | 297 | 426170 | 52921 | 205417 | 14309 | 6311 | 41892 | 2794 | 216 | 20 | 1.701 | 267.51/45.83 c (32,0) c 267.51/45.83 c (32,0) c synthesis 417715 conflicts 420099621 propagations 1769 conflicts/sec 1779563 propagations/sec 267.51/45.83 c (32,0) c real: 31.7261 s, cpu: 236.069 s, memory: 964.64 Mb 498.19/74.83 c (61,0) c 498.19/74.83 c (61,0) c |------------------------------------------------------------------------------------------------------------------------| 498.19/74.83 c (61,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 498.19/74.83 c (61,0) c |------------------------------------------------------------------------------------------------------------------------| 498.19/74.83 c (61,0) c | 0 | 605 | 737919 | 85212 | 260698 | 31574 | 9584 | 63754 | 4615 | 419 | 20 | 2.014 | 498.19/74.83 c (61,0) c | 1 | 622 | 732292 | 85042 | 259915 | 31415 | 9631 | 63226 | 4634 | 414 | 20 | 2.004 | 498.19/74.83 c (61,0) c | 2 | 601 | 723479 | 85568 | 264875 | 31922 | 9502 | 64737 | 4603 | 424 | 20 | 2.014 | 498.19/74.83 c (61,0) c | 3 | 645 | 721496 | 84406 | 257359 | 30777 | 9283 | 65056 | 4518 | 425 | 20 | 2.014 | 498.19/74.83 c (61,0) c | 4 | 615 | 724052 | 84887 | 263650 | 31274 | 9375 | 64053 | 4692 | 418 | 20 | 2.009 | 498.19/74.83 c (61,0) c | 5 | 598 | 726727 | 85806 | 263984 | 32160 | 9708 | 64790 | 4604 | 426 | 20 | 2.011 | 498.19/74.83 c (61,0) c | 6 | 621 | 724417 | 86916 | 265090 | 33281 | 9654 | 65786 | 4834 | 434 | 20 | 2.027 | 498.19/74.83 c (61,0) c | 7 | 629 | 737480 | 86876 | 268225 | 33231 | 9647 | 65798 | 4791 | 434 | 20 | 2.027 | 498.19/74.83 c (61,0) c 498.19/74.83 c (61,0) c synthesis 684715 conflicts 822211040 propagations 1467 conflicts/sec 1762121 propagations/sec 498.19/74.83 c (61,0) c real: 60.7261 s, cpu: 466.603 s, memory: 935.77 Mb 724.57/103.83 c (90,0) c 724.57/103.83 c (90,0) c |------------------------------------------------------------------------------------------------------------------------| 724.57/103.83 c (90,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 724.57/103.83 c (90,0) c |------------------------------------------------------------------------------------------------------------------------| 724.57/103.83 c (90,0) c | 0 | 765 | 911553 | 112224 | 292549 | 20885 | 12478 | 81775 | 5808 | 640 | 20 | 2.069 | 724.57/103.83 c (90,0) c | 1 | 928 | 1012671 | 115098 | 305015 | 23737 | 12691 | 83850 | 6427 | 622 | 20 | 2.090 | 724.57/103.83 c (90,0) c | 2 | 765 | 889756 | 111539 | 295491 | 40325 | 12241 | 84363 | 5682 | 642 | 20 | 2.085 | 724.57/103.83 c (90,0) c | 3 | 974 | 1014630 | 115430 | 303277 | 24036 | 12306 | 86012 | 6403 | 642 | 20 | 2.087 | 724.57/103.83 c (90,0) c | 4 | 820 | 904250 | 111107 | 295339 | 39899 | 12456 | 84754 | 5860 | 631 | 20 | 2.090 | 724.57/103.83 c (90,0) c | 5 | 902 | 1013924 | 116706 | 308717 | 25333 | 12785 | 85362 | 6423 | 640 | 20 | 2.085 | 724.57/103.83 c (90,0) c | 6 | 765 | 887112 | 111008 | 293542 | 39820 | 11978 | 82638 | 5907 | 642 | 20 | 2.090 | 724.57/103.83 c (90,0) c | 7 | 923 | 1007984 | 116681 | 310776 | 25284 | 12511 | 85737 | 6409 | 642 | 20 | 2.087 | 724.57/103.83 c (90,0) c 724.57/103.83 c (90,0) c synthesis 909795 conflicts 1203665541 propagations 1313 conflicts/sec 1737396 propagations/sec 724.57/103.83 c (90,0) c real: 89.7261 s, cpu: 692.799 s, memory: 1199.58 Mb 944.60/132.84 c (119,0) c 944.60/132.84 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 944.60/132.84 c (119,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 944.60/132.84 c (119,0) c |------------------------------------------------------------------------------------------------------------------------| 944.60/132.84 c (119,0) c | 0 | 780 | 941069 | 129193 | 297859 | 37835 | 13410 | 101921 | 6046 | 855 | 20 | 2.145 | 944.60/132.84 c (119,0) c | 1 | 1246 | 1278007 | 146123 | 342424 | 31972 | 15728 | 98836 | 8157 | 835 | 20 | 2.136 | 944.60/132.84 c (119,0) c | 2 | 786 | 946506 | 132631 | 306190 | 41318 | 14443 | 101405 | 6141 | 855 | 20 | 2.136 | 944.60/132.84 c (119,0) c | 3 | 1280 | 1273818 | 146164 | 340265 | 31974 | 15319 | 100700 | 8069 | 855 | 20 | 2.136 | 944.60/132.84 c (119,0) c | 4 | 889 | 953147 | 131287 | 305477 | 39921 | 14267 | 101459 | 6231 | 855 | 20 | 2.140 | 944.60/132.84 c (119,0) c | 5 | 1216 | 1277351 | 146648 | 344789 | 32446 | 15685 | 100330 | 8039 | 855 | 20 | 2.133 | 944.60/132.84 c (119,0) c | 6 | 766 | 914693 | 125887 | 299844 | 34562 | 12783 | 93099 | 6168 | 855 | 20 | 2.113 | 944.60/132.84 c (119,0) c | 7 | 1236 | 1268583 | 146726 | 346644 | 32557 | 15334 | 100666 | 8000 | 855 | 20 | 2.136 | 944.60/132.84 c (119,0) c 944.60/132.84 c (119,0) c synthesis 1104659 conflicts 1553031557 propagations 1210 conflicts/sec 1701641 propagations/sec 944.60/132.84 c (119,0) c real: 118.73 s, cpu: 912.667 s, memory: 1211.51 Mb 1172.54/162.84 c (149,0) c 1172.54/162.84 c (149,0) c |------------------------------------------------------------------------------------------------------------------------| 1172.54/162.84 c (149,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1172.54/162.84 c (149,0) c |------------------------------------------------------------------------------------------------------------------------| 1172.54/162.84 c (149,0) c | 0 | 829 | 975305 | 145519 | 303209 | 31388 | 14883 | 115247 | 6423 | 1071 | 20 | 2.172 | 1172.54/162.84 c (149,0) c | 1 | 1546 | 1560000 | 176043 | 372394 | 36492 | 18365 | 112415 | 9976 | 1051 | 20 | 2.168 | 1172.54/162.84 c (149,0) c | 2 | 845 | 994128 | 151290 | 312922 | 37182 | 16188 | 116266 | 6559 | 1071 | 20 | 2.163 | 1172.54/162.84 c (149,0) c | 3 | 1581 | 1545579 | 175184 | 370298 | 35628 | 18262 | 114093 | 9753 | 1069 | 20 | 2.163 | 1172.54/162.84 c (149,0) c | 4 | 924 | 992673 | 150340 | 312381 | 36208 | 16200 | 115933 | 6604 | 1071 | 20 | 2.168 | 1172.54/162.84 c (149,0) c | 5 | 1524 | 1529109 | 174947 | 373683 | 35394 | 18576 | 113436 | 9746 | 1065 | 20 | 2.161 | 1172.54/162.84 c (149,0) c | 6 | 827 | 949037 | 140535 | 304862 | 26405 | 13611 | 118456 | 6500 | 1071 | 20 | 2.168 | 1172.54/162.84 c (149,0) c | 7 | 1574 | 1523238 | 176001 | 377044 | 30932 | 17594 | 114784 | 9857 | 1070 | 20 | 2.163 | 1172.54/162.84 c (149,0) c 1172.54/162.84 c (149,0) c synthesis 1289859 conflicts 1899595089 propagations 1132 conflicts/sec 1666450 propagations/sec 1172.54/162.84 c (149,0) c real: 148.726 s, cpu: 1139.91 s, memory: 1193.02 Mb 1393.98/191.83 c (178,0) c 1393.98/191.83 c (178,0) c |------------------------------------------------------------------------------------------------------------------------| 1393.98/191.83 c (178,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1393.98/191.83 c (178,0) c |------------------------------------------------------------------------------------------------------------------------| 1393.98/191.83 c (178,0) c | 0 | 892 | 1012699 | 162698 | 308462 | 48566 | 17033 | 132912 | 6802 | 1286 | 20 | 2.195 | 1393.98/191.83 c (178,0) c | 1 | 1867 | 1812958 | 204874 | 396838 | 65316 | 20526 | 128364 | 11996 | 1266 | 20 | 2.186 | 1393.98/191.83 c (178,0) c | 2 | 893 | 1043108 | 170272 | 322898 | 30763 | 18544 | 129999 | 7109 | 1286 | 20 | 2.179 | 1393.98/191.83 c (178,0) c | 3 | 1864 | 1806185 | 204806 | 394562 | 37271 | 20994 | 129137 | 11521 | 1283 | 20 | 2.214 | 1393.98/191.83 c (178,0) c | 4 | 982 | 1031537 | 167649 | 318201 | 28129 | 17949 | 132274 | 7042 | 1284 | 20 | 2.218 | 1393.98/191.83 c (178,0) c | 5 | 1823 | 1765814 | 203102 | 397205 | 35608 | 21225 | 128092 | 11508 | 1273 | 20 | 2.179 | 1393.98/191.83 c (178,0) c | 6 | 863 | 974387 | 154124 | 307616 | 39990 | 14725 | 135562 | 6723 | 1286 | 20 | 2.218 | 1393.98/191.83 c (178,0) c | 7 | 1870 | 1777043 | 205054 | 400959 | 59973 | 20643 | 129948 | 12211 | 1286 | 20 | 2.214 | 1393.98/191.83 c (178,0) c 1393.98/191.83 c (178,0) c synthesis 1472580 conflicts 2236871263 propagations 1082 conflicts/sec 1643675 propagations/sec 1393.98/191.83 c (178,0) c real: 177.726 s, cpu: 1360.9 s, memory: 1241.19 Mb 1615.72/220.83 c (207,0) c 1615.72/220.83 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1615.72/220.83 c (207,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1615.72/220.83 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1615.72/220.83 c (207,0) c | 0 | 935 | 1054769 | 181373 | 314492 | 41860 | 19678 | 147950 | 7217 | 1499 | 20 | 2.262 | 1615.72/220.83 c (207,0) c | 1 | 2154 | 2058765 | 232828 | 417005 | 59274 | 23391 | 142611 | 14223 | 1479 | 20 | 2.253 | 1615.72/220.83 c (207,0) c | 2 | 954 | 1084519 | 187573 | 330069 | 48060 | 20899 | 146292 | 7525 | 1499 | 20 | 2.253 | 1615.72/220.83 c (207,0) c | 3 | 2205 | 2043151 | 233970 | 416636 | 66429 | 23121 | 144292 | 13437 | 1498 | 20 | 2.253 | 1615.72/220.83 c (207,0) c | 4 | 1020 | 1063104 | 184319 | 322827 | 44793 | 19627 | 145988 | 7351 | 1499 | 20 | 2.258 | 1615.72/220.83 c (207,0) c | 5 | 2131 | 2014678 | 232508 | 418755 | 65011 | 23501 | 143296 | 13441 | 1491 | 20 | 2.251 | 1615.72/220.83 c (207,0) c | 6 | 893 | 996721 | 166830 | 309582 | 27305 | 15612 | 149761 | 6954 | 1499 | 20 | 2.258 | 1615.72/220.83 c (207,0) c | 7 | 2164 | 2004153 | 232466 | 420085 | 56162 | 22710 | 144153 | 14045 | 1491 | 20 | 2.253 | 1615.72/220.83 c (207,0) c 1615.72/220.83 c (207,0) c synthesis 1651868 conflicts 2565466780 propagations 1044 conflicts/sec 1621447 propagations/sec 1615.72/220.83 c (207,0) c real: 206.726 s, cpu: 1582.21 s, memory: 1433.84 Mb 1835.48/249.83 c (236,0) c 1835.48/249.83 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1835.48/249.83 c (236,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1835.48/249.83 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1835.48/249.83 c (236,0) c | 0 | 990 | 1096047 | 199254 | 320660 | 31738 | 22211 | 161753 | 7655 | 1703 | 20 | 2.278 | 1835.48/249.83 c (236,0) c | 1 | 2474 | 2284180 | 260370 | 434532 | 52705 | 25727 | 156914 | 16335 | 1686 | 20 | 2.269 | 1835.48/249.83 c (236,0) c | 2 | 1005 | 1120644 | 204425 | 335634 | 36946 | 22852 | 161365 | 7908 | 1706 | 20 | 2.269 | 1835.48/249.83 c (236,0) c | 3 | 2538 | 2266853 | 261646 | 433951 | 56973 | 25799 | 158570 | 15674 | 1706 | 20 | 2.269 | 1835.48/249.83 c (236,0) c | 4 | 1021 | 1086349 | 199766 | 325969 | 32241 | 21068 | 151681 | 7671 | 1703 | 20 | 2.258 | 1835.48/249.83 c (236,0) c | 5 | 2433 | 2250384 | 260068 | 436052 | 55457 | 26114 | 157674 | 15627 | 1699 | 20 | 2.267 | 1835.48/249.83 c (236,0) c | 6 | 931 | 1022175 | 180486 | 312095 | 40954 | 16852 | 167092 | 7197 | 1706 | 20 | 2.274 | 1835.48/249.83 c (236,0) c | 7 | 2471 | 2227972 | 259071 | 436601 | 43564 | 24820 | 159198 | 16214 | 1702 | 20 | 2.269 | 1835.48/249.83 c (236,0) c 1835.48/249.83 c (236,0) c synthesis 1825086 conflicts 2879783680 propagations 1013 conflicts/sec 1598408 propagations/sec 1835.48/249.83 c (236,0) c real: 235.726 s, cpu: 1801.66 s, memory: 1193.02 Mb 2069.86/279.84 c (266,0) c 2069.86/279.84 c (266,0) c |------------------------------------------------------------------------------------------------------------------------| 2069.86/279.84 c (266,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2069.86/279.84 c (266,0) c |------------------------------------------------------------------------------------------------------------------------| 2069.86/279.84 c (266,0) c | 0 | 1021 | 1128415 | 217205 | 325758 | 49684 | 24049 | 178242 | 8009 | 1923 | 20 | 2.290 | 2069.86/279.84 c (266,0) c | 1 | 2810 | 2529783 | 288588 | 449719 | 80919 | 27887 | 173722 | 18669 | 1909 | 20 | 2.281 | 2069.86/279.84 c (266,0) c | 2 | 1021 | 1151792 | 222113 | 339562 | 54631 | 24648 | 174612 | 8250 | 1922 | 20 | 2.281 | 2069.86/279.84 c (266,0) c | 3 | 2837 | 2483065 | 287077 | 447809 | 45469 | 28424 | 172922 | 17699 | 1904 | 20 | 2.281 | 2069.86/279.84 c (266,0) c | 4 | 1022 | 1120856 | 217987 | 331538 | 50451 | 24068 | 173663 | 8122 | 1918 | 20 | 2.285 | 2069.86/279.84 c (266,0) c | 5 | 2767 | 2483063 | 289082 | 451154 | 47528 | 28931 | 173379 | 17935 | 1917 | 20 | 2.278 | 2069.86/279.84 c (266,0) c | 6 | 971 | 1047113 | 193761 | 314873 | 54229 | 17882 | 183315 | 7496 | 1912 | 20 | 2.285 | 2069.86/279.84 c (266,0) c | 7 | 2745 | 2468083 | 285575 | 450435 | 70064 | 27531 | 173946 | 18615 | 1905 | 20 | 2.281 | 2069.86/279.84 c (266,0) c 2069.86/279.84 c (266,0) c synthesis 2001389 conflicts 3199803866 propagations 983 conflicts/sec 1571566 propagations/sec 2069.86/279.84 c (266,0) c real: 265.734 s, cpu: 2036.06 s, memory: 1385.68 Mb 2120.85/286.79 c (273,0) c 2120.85/286.79 c (273,0) c real time : 272.679 s 2120.85/286.79 c (273,0) c cpu time : 2086.78 s 2120.85/286.79 c (273,0) c 2120.85/286.79 c (273,0) c 2120.85/286.79 c (273,0) c 2120.85/286.79 c (273,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 2120.85/286.79 c (273,0) c 2120.85/286.79 c (273,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.85/286.79 c (273,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2120.85/286.79 c (273,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.85/286.79 c (273,0) c | Conflicts | 2040817 | 220827 | 294685 | 225606 | 294163 | 221353 | 295067 | 197170 | 291946 | 2120.85/286.79 c (273,0) c | Decisions | 14643318 | 1133683 | 2586691 | 1157307 | 2534493 | 1126042 | 2529447 | 1054394 | 2521261 | 2120.85/286.79 c (273,0) c | Propagations | 3269022533 | 380320625 | 446910138 | 388280594 | 446949457 | 375169815 | 446845240 | 338953941 | 445592723 | 2120.85/286.79 c (273,0) c | ReduceDBs | 103 | 12 | 14 | 12 | 14 | 12 | 14 | 12 | 13 | 2120.85/286.79 c (273,0) c | SimpDBs | 578 | 66 | 78 | 65 | 78 | 70 | 81 | 65 | 75 | 2120.85/286.79 c (273,0) c | Restarts | 15499 | 1021 | 2877 | 1021 | 2915 | 1022 | 2834 | 986 | 2823 | 2120.85/286.79 c (273,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2120.85/286.79 c (273,0) c | PropBinClauses| 4946764391 | 593887582 | 649483121 | 607240341 | 649622828 | 592527662 | 649290070 | 556431327 | 648281460 | 2120.85/286.79 c (273,0) c | PropPreBlocker| 72344688226 | 8996476525 | 9075195529 | 9131894364 | 9109200768 | 8968701289 | 9108639607 | 8838921180 | 9115658964 | 2120.85/286.79 c (273,0) c | PropNotBlocker| 8518454084 | 947793461 | 1238562463 | 930890482 | 1214702799 | 907080516 | 1229853329 | 843496594 | 1206074440 | 2120.85/286.79 c (273,0) c | LitFullScans | 94077543899 |11812053028 |11736990364 |11812828602 |11737022204 |11740241259 |11760882778 |11740536377 |11736989287 | 2120.85/286.79 c (273,0) c | LitScanFracts | 21188691 | 4036426 | 939708 | 4784566 | 1018566 | 3759860 | 1168090 | 4512376 | 969099 | 2120.85/286.79 c (273,0) c | DecisionLevel0| 16103 | 1115 | 2976 | 1084 | 2975 | 1084 | 2925 | 1053 | 2891 | 2120.85/286.79 c (273,0) c | Periods | 15675 | 1968 | 1956 | 1968 | 1956 | 1956 | 1959 | 1956 | 1956 | 2120.85/286.79 c (273,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 2120.85/286.79 c (273,0) c | Avg_Trail | | 18086 | 17518 | 18144 | 17712 | 18411 | 17566 | 18981 | 17785 | 2120.85/286.79 c (273,0) c | Avg_DL | | 145 | 153 | 147 | 157 | 142 | 153 | 151 | 160 | 2120.85/286.79 c (273,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2120.85/286.79 c (273,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2120.85/286.79 c (273,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.85/286.79 c (273,0) c | Exported | 207400 | 24429 | 28422 | 24966 | 29059 | 24691 | 29339 | 18271 | 28223 | 2120.85/286.79 c (273,0) c | Imported | 1420931 | 178242 | 177219 | 174612 | 176603 | 173663 | 176572 | 186568 | 177452 | 2120.85/286.79 c (273,0) c | Good | 90117 | 11528 | 10835 | 11511 | 11096 | 11390 | 10946 | 11652 | 11159 | 2120.85/286.79 c (273,0) c | Purge | 1330814 | 166714 | 166384 | 163101 | 165507 | 162273 | 165626 | 174916 | 166293 | 2120.85/286.79 c (273,0) c | Promoted | 107180 | 8097 | 19245 | 8313 | 18183 | 8221 | 18325 | 7573 | 19223 | 2120.85/286.79 c (273,0) c | Remove_Imp | 766924 | 100285 | 89253 | 95502 | 92622 | 93513 | 91832 | 127509 | 76408 | 2120.85/286.79 c (273,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2120.85/286.79 c (273,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.85/286.79 c (273,0) c | Unaries | | 94 | 99 | 63 | 60 | 62 | 91 | 67 | 68 | 2120.85/286.79 c (273,0) c | Binaries | | 1338 | 2102 | 1291 | 1842 | 1366 | 1997 | 1259 | 1771 | 2120.85/286.79 c (273,0) c | Glues | | 3647 | 5990 | 3728 | 5345 | 3646 | 5771 | 3449 | 5365 | 2120.85/286.79 c (273,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.85/286.79 c (273,0) c | Orig_Seen | 54 % | 326654 | 452644 | 340212 | 451549 | 332641 | 454031 | 315568 | 453721 | 2120.85/286.79 c (273,0) c | Diff Orig seen| | - 5987 | 120003 | 7571 | 118908 | X | 121390 | - 17073 | 121080 | 2120.85/286.79 c (273,0) c | Hamming | 14 % | 7097 | 6183 | 6026 | 6119 | X | 6831 | 6208 | 6538 | 2120.85/286.79 c (273,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.85/286.79 c (273,0) c | RunningTime | | 258.7 96%| 270.2 100%| 255.6 95%| 266.3 99%| 262.4 97%| 268.9 100%| 249.2 92%| 266.0 98%| 2120.85/286.79 c (273,0) c | WaitingTime | | 11.0 4%| 0.0 0%| 14.1 5%| 3.6 1%| 7.2 3%| 0.7 0%| 21.0 8%| 4.4 2%| 2120.85/286.79 c (273,0) c | ExchangingTime| | 0.1 0%| 0.2 0%| 0.1 0%| 0.2 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 2120.85/286.79 c (273,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%| 2120.85/286.79 c (273,0) c | SolvingTime | | 269.8 | 270.4 | 269.8 | 270.1 | 269.8 | 269.8 | 270.4 | 270.6 | 2120.85/286.79 c (273,0) c | PropagationTim| | 237.5 88%| 248.0 92%| 239.3 89%| 247.2 92%| 233.9 87%| 246.7 91%| 236.3 87%| 248.5 92%| 2120.85/286.79 c (273,0) c | AnalysisTime | | 20.4 8%| 7.5 3%| 18.3 7%| 7.7 3%| 24.0 9%| 7.9 3%| 22.3 8%| 7.3 3%| 2120.85/286.79 c (273,0) c | ReductionTime | | 0.7 0%| 0.8 0%| 0.7 0%| 0.9 0%| 0.7 0%| 0.9 0%| 0.8 0%| 0.7 0%| 2120.85/286.79 c (273,0) c | SimplifyTime | | 2.6 1%| 2.4 1%| 2.7 1%| 2.5 1%| 2.5 1%| 2.6 1%| 3.0 1%| 2.5 1%| 2120.85/286.79 c (273,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%| 2120.85/286.79 c (273,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%| 2120.85/286.79 c (273,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.85/286.79 c (273,0) c 2120.85/286.79 c (273,0) c 2120.85/286.79 c (273,0) c Threads : 8 2120.85/286.79 c (273,0) c Winner : 4 2120.85/286.79 c (273,0) c Conflicts_0 : 220827 2120.85/286.79 c (273,0) c Conflicts_1 : 294685 2120.85/286.79 c (273,0) c Conflicts_2 : 225606 2120.85/286.79 c (273,0) c Conflicts_3 : 294163 2120.85/286.79 c (273,0) c Conflicts_4 : 221353 2120.85/286.79 c (273,0) c Conflicts_5 : 295067 2120.85/286.79 c (273,0) c Conflicts_6 : 197170 2120.85/286.79 c (273,0) c Conflicts_7 : 291946 2120.85/286.79 c (273,0) c Conflicts_total : 2040817 2120.85/286.79 c (273,0) c Conflicts_winner : 221353 2120.85/286.79 c (273,0) c Decisions_0 : 1133683 2120.85/286.79 c (273,0) c Decisions_1 : 2586691 2120.85/286.79 c (273,0) c Decisions_2 : 1157307 2120.85/286.79 c (273,0) c Decisions_3 : 2534493 2120.85/286.79 c (273,0) c Decisions_4 : 1126042 2120.85/286.79 c (273,0) c Decisions_5 : 2529447 2120.85/286.79 c (273,0) c Decisions_6 : 1054394 2120.85/286.79 c (273,0) c Decisions_7 : 2521261 2120.85/286.79 c (273,0) c Decisions_total : 14643318 2120.85/286.79 c (273,0) c Decisions_winner : 1126042 2120.85/286.79 c (273,0) c Propagations_0 : 380320625 2120.85/286.79 c (273,0) c Propagations_1 : 446910138 2120.85/286.79 c (273,0) c Propagations_2 : 388280594 2120.85/286.79 c (273,0) c Propagations_3 : 446949457 2120.85/286.79 c (273,0) c Propagations_4 : 375169815 2120.85/286.79 c (273,0) c Propagations_5 : 446845240 2120.85/286.79 c (273,0) c Propagations_6 : 338953941 2120.85/286.79 c (273,0) c Propagations_7 : 445592723 2120.85/286.79 c (273,0) c Propagations_total : 3269022533 2120.85/286.79 c (273,0) c Propagations_winner : 375169815 2120.85/286.79 c (273,0) c ReduceDBs_0 : 12 2120.85/286.79 c (273,0) c ReduceDBs_1 : 14 2120.85/286.79 c (273,0) c ReduceDBs_2 : 12 2120.85/286.79 c (273,0) c ReduceDBs_3 : 14 2120.85/286.79 c (273,0) c ReduceDBs_4 : 12 2120.85/286.79 c (273,0) c ReduceDBs_5 : 14 2120.85/286.79 c (273,0) c ReduceDBs_6 : 12 2120.85/286.79 c (273,0) c ReduceDBs_7 : 13 2120.85/286.79 c (273,0) c ReduceDBs_total : 103 2120.85/286.79 c (273,0) c ReduceDBs_winner : 12 2120.85/286.79 c (273,0) c SimpDBs_0 : 66 2120.85/286.79 c (273,0) c SimpDBs_1 : 78 2120.85/286.79 c (273,0) c SimpDBs_2 : 65 2120.85/286.79 c (273,0) c SimpDBs_3 : 78 2120.85/286.79 c (273,0) c SimpDBs_4 : 70 2120.85/286.79 c (273,0) c SimpDBs_5 : 81 2120.85/286.79 c (273,0) c SimpDBs_6 : 65 2120.85/286.79 c (273,0) c SimpDBs_7 : 75 2120.85/286.79 c (273,0) c SimpDBs_total : 578 2120.85/286.79 c (273,0) c SimpDBs_winner : 70 2120.85/286.79 c (273,0) c Restarts_0 : 1021 2120.85/286.79 c (273,0) c Restarts_1 : 2877 2120.85/286.79 c (273,0) c Restarts_2 : 1021 2120.85/286.79 c (273,0) c Restarts_3 : 2915 2120.85/286.79 c (273,0) c Restarts_4 : 1022 2120.85/286.79 c (273,0) c Restarts_5 : 2834 2120.85/286.79 c (273,0) c Restarts_6 : 986 2120.85/286.79 c (273,0) c Restarts_7 : 2823 2120.85/286.79 c (273,0) c Restarts_total : 15499 2120.85/286.79 c (273,0) c Restarts_winner : 1022 2120.85/286.79 c (273,0) c ForcedImports_0 : 0 2120.85/286.79 c (273,0) c ForcedImports_1 : 0 2120.85/286.79 c (273,0) c ForcedImports_2 : 0 2120.85/286.79 c (273,0) c ForcedImports_3 : 0 2120.85/286.79 c (273,0) c ForcedImports_4 : 0 2120.85/286.79 c (273,0) c ForcedImports_5 : 0 2120.85/286.79 c (273,0) c ForcedImports_6 : 0 2120.85/286.79 c (273,0) c ForcedImports_7 : 0 2120.85/286.79 c (273,0) c ForcedImports_total : 0 2120.85/286.79 c (273,0) c ForcedImports_winner : 0 2120.85/286.79 c (273,0) c PropsBinClauses_0 : 593887582 2120.85/286.79 c (273,0) c PropsBinClauses_1 : 649483121 2120.85/286.79 c (273,0) c PropsBinClauses_2 : 607240341 2120.85/286.79 c (273,0) c PropsBinClauses_3 : 649622828 2120.85/286.79 c (273,0) c PropsBinClauses_4 : 592527662 2120.85/286.79 c (273,0) c PropsBinClauses_5 : 649290070 2120.85/286.79 c (273,0) c PropsBinClauses_6 : 556431327 2120.85/286.79 c (273,0) c PropsBinClauses_7 : 648281460 2120.85/286.79 c (273,0) c PropsBinClauses_total : 4946764391 2120.85/286.79 c (273,0) c PropsBinClauses_winner : 592527662 2120.85/286.79 c (273,0) c PropsPreBlocker_0 : 8996476525 2120.85/286.79 c (273,0) c PropsPreBlocker_1 : 9075195529 2120.85/286.79 c (273,0) c PropsPreBlocker_2 : 9131894364 2120.85/286.79 c (273,0) c PropsPreBlocker_3 : 9109200768 2120.85/286.79 c (273,0) c PropsPreBlocker_4 : 8968701289 2120.85/286.79 c (273,0) c PropsPreBlocker_5 : 9108639607 2120.85/286.79 c (273,0) c PropsPreBlocker_6 : 8838921180 2120.85/286.79 c (273,0) c PropsPreBlocker_7 : 9115658964 2120.85/286.79 c (273,0) c PropsPreBlocker_total : 72344688226 2120.85/286.79 c (273,0) c PropsPreBlocker_winner : 8968701289 2120.85/286.79 c (273,0) c PropsNotBlocker_0 : 947793461 2120.85/286.79 c (273,0) c PropsNotBlocker_1 : 1238562463 2120.85/286.79 c (273,0) c PropsNotBlocker_2 : 930890482 2120.85/286.79 c (273,0) c PropsNotBlocker_3 : 1214702799 2120.85/286.79 c (273,0) c PropsNotBlocker_4 : 907080516 2120.85/286.79 c (273,0) c PropsNotBlocker_5 : 1229853329 2120.85/286.79 c (273,0) c PropsNotBlocker_6 : 843496594 2120.85/286.79 c (273,0) c PropsNotBlocker_7 : 1206074440 2120.85/286.79 c (273,0) c PropsNotBlocker_total : 8518454084 2120.85/286.79 c (273,0) c PropsNotBlocker_winner : 907080516 2120.85/286.79 c (273,0) c PropsLitFullScans_0 : 11812053028 2120.85/286.79 c (273,0) c PropsLitFullScans_1 : 11736990364 2120.85/286.79 c (273,0) c PropsLitFullScans_2 : 11812828602 2120.85/286.79 c (273,0) c PropsLitFullScans_3 : 11737022204 2120.85/286.79 c (273,0) c PropsLitFullScans_4 : 11740241259 2120.85/286.79 c (273,0) c PropsLitFullScans_5 : 11760882778 2120.85/286.79 c (273,0) c PropsLitFullScans_6 : 11740536377 2120.85/286.79 c (273,0) c PropsLitFullScans_7 : 11736989287 2120.85/286.79 c (273,0) c PropsLitFullScans_total : 94077543899 2120.85/286.79 c (273,0) c PropsLitFullScans_winner : 11740241259 2120.85/286.79 c (273,0) c LitScanFractions_0 : 4036426 2120.85/286.79 c (273,0) c LitScanFractions_1 : 939708 2120.85/286.79 c (273,0) c LitScanFractions_2 : 4784566 2120.85/286.79 c (273,0) c LitScanFractions_3 : 1018566 2120.85/286.79 c (273,0) c LitScanFractions_4 : 3759860 2120.85/286.79 c (273,0) c LitScanFractions_5 : 1168090 2120.85/286.79 c (273,0) c LitScanFractions_6 : 4512376 2120.85/286.79 c (273,0) c LitScanFractions_7 : 969099 2120.85/286.79 c (273,0) c LitScanFractions_total : 21188691 2120.85/286.79 c (273,0) c LitScanFractions_winner : 3759860 2120.85/286.79 c (273,0) c DecisionLevel0_0 : 1115 2120.85/286.79 c (273,0) c DecisionLevel0_1 : 2976 2120.85/286.79 c (273,0) c DecisionLevel0_2 : 1084 2120.85/286.79 c (273,0) c DecisionLevel0_3 : 2975 2120.85/286.79 c (273,0) c DecisionLevel0_4 : 1084 2120.85/286.79 c (273,0) c DecisionLevel0_5 : 2925 2120.85/286.79 c (273,0) c DecisionLevel0_6 : 1053 2120.85/286.79 c (273,0) c DecisionLevel0_7 : 2891 2120.85/286.79 c (273,0) c DecisionLevel0_total : 16103 2120.85/286.79 c (273,0) c DecisionLevel0_winner : 1084 2120.85/286.79 c (273,0) c Periods_0 : 1968 2120.85/286.79 c (273,0) c Periods_1 : 1956 2120.85/286.79 c (273,0) c Periods_2 : 1968 2120.85/286.79 c (273,0) c Periods_3 : 1956 2120.85/286.79 c (273,0) c Periods_4 : 1956 2120.85/286.79 c (273,0) c Periods_5 : 1959 2120.85/286.79 c (273,0) c Periods_6 : 1956 2120.85/286.79 c (273,0) c Periods_7 : 1956 2120.85/286.79 c (273,0) c Periods_total : 15675 2120.85/286.79 c (273,0) c Periods_winner : 1956 2120.85/286.79 c (273,0) c Margin_0 : 20 2120.85/286.79 c (273,0) c Margin_1 : 20 2120.85/286.79 c (273,0) c Margin_2 : 20 2120.85/286.79 c (273,0) c Margin_3 : 20 2120.85/286.79 c (273,0) c Margin_4 : 20 2120.85/286.79 c (273,0) c Margin_5 : 20 2120.85/286.79 c (273,0) c Margin_6 : 20 2120.85/286.79 c (273,0) c Margin_7 : 20 2120.85/286.79 c (273,0) c Margin_total : 160 2120.85/286.79 c (273,0) c Margin_winner : 20 2120.85/286.79 c (273,0) c Exported_0 : 24429 2120.85/286.79 c (273,0) c Exported_1 : 28422 2120.85/286.79 c (273,0) c Exported_2 : 24966 2120.85/286.79 c (273,0) c Exported_3 : 29059 2120.85/286.79 c (273,0) c Exported_4 : 24691 2120.85/286.79 c (273,0) c Exported_5 : 29339 2120.85/286.79 c (273,0) c Exported_6 : 18271 2120.85/286.79 c (273,0) c Exported_7 : 28223 2120.85/286.79 c (273,0) c Exported_total : 207400 2120.85/286.79 c (273,0) c Exported_winner : 24691 2120.85/286.79 c (273,0) c Imported_0 : 178242 2120.85/286.79 c (273,0) c Imported_1 : 177219 2120.85/286.79 c (273,0) c Imported_2 : 174612 2120.85/286.79 c (273,0) c Imported_3 : 176603 2120.85/286.79 c (273,0) c Imported_4 : 173663 2120.85/286.79 c (273,0) c Imported_5 : 176572 2120.85/286.79 c (273,0) c Imported_6 : 186568 2120.85/286.79 c (273,0) c Imported_7 : 177452 2120.85/286.79 c (273,0) c Imported_total : 1420931 2120.85/286.79 c (273,0) c Imported_winner : 173663 2120.85/286.79 c (273,0) c Good_0 : 11528 2120.85/286.79 c (273,0) c Good_1 : 10835 2120.85/286.79 c (273,0) c Good_2 : 11511 2120.85/286.79 c (273,0) c Good_3 : 11096 2120.85/286.79 c (273,0) c Good_4 : 11390 2120.85/286.79 c (273,0) c Good_5 : 10946 2120.85/286.79 c (273,0) c Good_6 : 11652 2120.85/286.79 c (273,0) c Good_7 : 11159 2120.85/286.79 c (273,0) c Good_total : 90117 2120.85/286.79 c (273,0) c Good_winner : 11390 2120.85/286.79 c (273,0) c Purge_0 : 166714 2120.85/286.79 c (273,0) c Purge_1 : 166384 2120.85/286.79 c (273,0) c Purge_2 : 163101 2120.85/286.79 c (273,0) c Purge_3 : 165507 2120.85/286.79 c (273,0) c Purge_4 : 162273 2120.85/286.79 c (273,0) c Purge_5 : 165626 2120.85/286.79 c (273,0) c Purge_6 : 174916 2120.85/286.79 c (273,0) c Purge_7 : 166293 2120.85/286.79 c (273,0) c Purge_total : 1330814 2120.85/286.79 c (273,0) c Purge_winner : 162273 2120.85/286.79 c (273,0) c Promoted_0 : 8097 2120.85/286.79 c (273,0) c Promoted_1 : 19245 2120.85/286.79 c (273,0) c Promoted_2 : 8313 2120.85/286.79 c (273,0) c Promoted_3 : 18183 2120.85/286.79 c (273,0) c Promoted_4 : 8221 2120.85/286.79 c (273,0) c Promoted_5 : 18325 2120.85/286.79 c (273,0) c Promoted_6 : 7573 2120.85/286.79 c (273,0) c Promoted_7 : 19223 2120.85/286.79 c (273,0) c Promoted_total : 107180 2120.85/286.79 c (273,0) c Promoted_winner : 8221 2120.85/286.79 c (273,0) c Remove_Imp_0 : 100285 2120.85/286.79 c (273,0) c Remove_Imp_1 : 89253 2120.85/286.79 c (273,0) c Remove_Imp_2 : 95502 2120.85/286.79 c (273,0) c Remove_Imp_3 : 92622 2120.85/286.79 c (273,0) c Remove_Imp_4 : 93513 2120.85/286.79 c (273,0) c Remove_Imp_5 : 91832 2120.85/286.79 c (273,0) c Remove_Imp_6 : 127509 2120.85/286.79 c (273,0) c Remove_Imp_7 : 76408 2120.85/286.79 c (273,0) c Remove_Imp_total : 766924 2120.85/286.79 c (273,0) c Remove_Imp_winner : 93513 2120.85/286.79 c (273,0) c Blocked_Reuse_0 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_1 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_2 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_3 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_4 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_5 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_6 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_7 : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_total : 0 2120.85/286.79 c (273,0) c Blocked_Reuse_winner : 0 2120.85/286.79 c (273,0) c Unaries_0 : 94 2120.85/286.79 c (273,0) c Unaries_1 : 99 2120.85/286.79 c (273,0) c Unaries_2 : 63 2120.85/286.79 c (273,0) c Unaries_3 : 60 2120.85/286.79 c (273,0) c Unaries_4 : 62 2120.85/286.79 c (273,0) c Unaries_5 : 91 2120.85/286.79 c (273,0) c Unaries_6 : 67 2120.85/286.79 c (273,0) c Unaries_7 : 68 2120.85/286.79 c (273,0) c Unaries_total : 604 2120.85/286.79 c (273,0) c Unaries_winner : 62 2120.85/286.79 c (273,0) c Binaries_0 : 1338 2120.85/286.79 c (273,0) c Binaries_1 : 2102 2120.85/286.79 c (273,0) c Binaries_2 : 1291 2120.85/286.79 c (273,0) c Binaries_3 : 1842 2120.85/286.79 c (273,0) c Binaries_4 : 1366 2120.85/286.79 c (273,0) c Binaries_5 : 1997 2120.85/286.79 c (273,0) c Binaries_6 : 1259 2120.85/286.79 c (273,0) c Binaries_7 : 1771 2120.85/286.79 c (273,0) c Binaries_total : 12966 2120.85/286.79 c (273,0) c Binaries_winner : 1366 2120.85/286.79 c (273,0) c Glues_0 : 3647 2120.85/286.79 c (273,0) c Glues_1 : 5990 2120.85/286.80 c (273,0) c Glues_2 : 3728 2120.85/286.80 c (273,0) c Glues_3 : 5345 2120.85/286.80 c (273,0) c Glues_4 : 3646 2120.85/286.80 c (273,0) c Glues_5 : 5771 2120.85/286.80 c (273,0) c Glues_6 : 3449 2120.85/286.80 c (273,0) c Glues_7 : 5365 2120.85/286.80 c (273,0) c Glues_total : 36941 2120.85/286.80 c (273,0) c Glues_winner : 3646 2120.85/286.80 c (273,0) c RunningTime_0 : 258.701774 2120.85/286.80 c (273,0) c RunningTime_1 : 270.167200 2120.85/286.80 c (273,0) c RunningTime_2 : 255.576617 2120.85/286.80 c (273,0) c RunningTime_3 : 266.259987 2120.85/286.80 c (273,0) c RunningTime_4 : 262.418703 2120.85/286.80 c (273,0) c RunningTime_5 : 268.942549 2120.85/286.80 c (273,0) c RunningTime_6 : 249.191111 2120.85/286.80 c (273,0) c RunningTime_7 : 265.989703 2120.85/286.80 c (273,0) c RunningTime_total : 2097.247644 2120.85/286.80 c (273,0) c RunningTime_winner : 262.418703 2120.85/286.80 c (273,0) c WaitingTime_0 : 10.953231 2120.85/286.80 c (273,0) c WaitingTime_1 : 0.002422 2120.85/286.80 c (273,0) c WaitingTime_2 : 14.064904 2120.85/286.80 c (273,0) c WaitingTime_3 : 3.648830 2120.85/286.80 c (273,0) c WaitingTime_4 : 7.210397 2120.85/286.80 c (273,0) c WaitingTime_5 : 0.727198 2120.85/286.80 c (273,0) c WaitingTime_6 : 21.044116 2120.85/286.80 c (273,0) c WaitingTime_7 : 4.418101 2120.85/286.80 c (273,0) c WaitingTime_total : 62.069199 2120.85/286.80 c (273,0) c WaitingTime_winner : 7.210397 2120.85/286.80 c (273,0) c ExchangingTime_0 : 0.111813 2120.85/286.80 c (273,0) c ExchangingTime_1 : 0.163214 2120.85/286.80 c (273,0) c ExchangingTime_2 : 0.125121 2120.85/286.80 c (273,0) c ExchangingTime_3 : 0.154076 2120.85/286.80 c (273,0) c ExchangingTime_4 : 0.106911 2120.85/286.80 c (273,0) c ExchangingTime_5 : 0.135431 2120.85/286.80 c (273,0) c ExchangingTime_6 : 0.106697 2120.85/286.80 c (273,0) c ExchangingTime_7 : 0.124798 2120.85/286.80 c (273,0) c ExchangingTime_total : 1.028060 2120.85/286.80 c (273,0) c ExchangingTime_winner : 0.106911 2120.85/286.80 c (273,0) c PeriodProcTime_0 : 0.016673 2120.85/286.80 c (273,0) c PeriodProcTime_1 : 0.027178 2120.85/286.80 c (273,0) c PeriodProcTime_2 : 0.017003 2120.85/286.80 c (273,0) c PeriodProcTime_3 : 0.019807 2120.85/286.80 c (273,0) c PeriodProcTime_4 : 0.018554 2120.85/286.80 c (273,0) c PeriodProcTime_5 : 0.017603 2120.85/286.80 c (273,0) c PeriodProcTime_6 : 0.018785 2120.85/286.80 c (273,0) c PeriodProcTime_7 : 0.018497 2120.85/286.80 c (273,0) c PeriodProcTime_total : 0.154101 2120.85/286.80 c (273,0) c PeriodProcTime_winner : 0.018554 2120.85/286.80 c (273,0) c SolvingTime_0 : 269.783492 2120.85/286.80 c (273,0) c SolvingTime_1 : 270.360014 2120.85/286.80 c (273,0) c SolvingTime_2 : 269.783644 2120.85/286.80 c (273,0) c SolvingTime_3 : 270.082701 2120.85/286.80 c (273,0) c SolvingTime_4 : 269.754565 2120.85/286.80 c (273,0) c SolvingTime_5 : 269.822781 2120.85/286.80 c (273,0) c SolvingTime_6 : 270.360708 2120.85/286.80 c (273,0) c SolvingTime_7 : 270.551099 2120.85/286.80 c (273,0) c SolvingTime_total : 2160.499004 2120.85/286.80 c (273,0) c SolvingTime_winner : 269.754565 2120.85/286.80 c (273,0) c PropagationTime_0 : 237.461612 2120.85/286.80 c (273,0) c PropagationTime_1 : 247.965564 2120.85/286.80 c (273,0) c PropagationTime_2 : 239.332467 2120.85/286.80 c (273,0) c PropagationTime_3 : 247.215202 2120.85/286.80 c (273,0) c PropagationTime_4 : 233.877645 2120.85/286.80 c (273,0) c PropagationTime_5 : 246.684816 2120.85/286.80 c (273,0) c PropagationTime_6 : 236.263175 2120.85/286.80 c (273,0) c PropagationTime_7 : 248.477691 2120.85/286.80 c (273,0) c PropagationTime_total : 1937.278172 2120.85/286.80 c (273,0) c PropagationTime_winner : 233.877645 2120.85/286.80 c (273,0) c AnalysisTime_0 : 20.447130 2120.85/286.80 c (273,0) c AnalysisTime_1 : 7.496749 2120.85/286.80 c (273,0) c AnalysisTime_2 : 18.314201 2120.85/286.80 c (273,0) c AnalysisTime_3 : 7.684336 2120.85/286.80 c (273,0) c AnalysisTime_4 : 23.994850 2120.85/286.80 c (273,0) c AnalysisTime_5 : 7.870420 2120.85/286.80 c (273,0) c AnalysisTime_6 : 22.263675 2120.85/286.80 c (273,0) c AnalysisTime_7 : 7.307236 2120.85/286.80 c (273,0) c AnalysisTime_total : 115.378596 2120.85/286.80 c (273,0) c AnalysisTime_winner : 23.994850 2120.85/286.80 c (273,0) c ReductionTime_0 : 0.692728 2120.85/286.80 c (273,0) c ReductionTime_1 : 0.833921 2120.85/286.80 c (273,0) c ReductionTime_2 : 0.705268 2120.85/286.80 c (273,0) c ReductionTime_3 : 0.879841 2120.85/286.80 c (273,0) c ReductionTime_4 : 0.735344 2120.85/286.80 c (273,0) c ReductionTime_5 : 0.863565 2120.85/286.80 c (273,0) c ReductionTime_6 : 0.778915 2120.85/286.80 c (273,0) c ReductionTime_7 : 0.686005 2120.85/286.80 c (273,0) c ReductionTime_total : 6.175586 2120.85/286.80 c (273,0) c ReductionTime_winner : 0.735344 2120.85/286.80 c (273,0) c SimplifyTime_0 : 2.564175 2120.85/286.80 c (273,0) c SimplifyTime_1 : 2.402081 2120.85/286.80 c (273,0) c SimplifyTime_2 : 2.653957 2120.85/286.80 c (273,0) c SimplifyTime_3 : 2.516906 2120.85/286.80 c (273,0) c SimplifyTime_4 : 2.485258 2120.85/286.80 c (273,0) c SimplifyTime_5 : 2.588182 2120.85/286.80 c (273,0) c SimplifyTime_6 : 2.994894 2120.85/286.80 c (273,0) c SimplifyTime_7 : 2.482465 2120.85/286.80 c (273,0) c SimplifyTime_total : 20.687918 2120.85/286.80 c (273,0) c SimplifyTime_winner : 2.485258 2120.85/286.80 c (273,0) c UsedRateTime_0 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_1 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_2 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_3 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_4 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_5 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_6 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_7 : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_total : 0.000000 2120.97/286.81 c (273,0) c UsedRateTime_winner : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_0 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_1 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_2 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_3 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_4 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_5 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_6 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_7 : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_total : 0.000000 2120.97/286.81 c (273,0) c OverlapRateTime_winner : 0.000000 2120.97/286.81 c (273,0) c 2120.97/286.81 c (273,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2120.97/286.81 c (273,0) c 2120.97/286.81 c (273,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.97/286.81 c (273,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2120.97/286.81 c (273,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.97/286.81 c (273,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2120.97/286.81 c (273,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 2120.97/286.81 c (273,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2120.97/286.81 c (273,0) c | Initial random_seed | 2107313286 | 247927901 | 727744188 | 693021716 | 130481185 | 2000688368 | 782687796 | 349378164 | 2120.97/286.81 c (273,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2120.97/286.81 c (273,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2120.97/286.81 c (273,0) c | glureduce | True | True | True | True | True | True | True | True | 2120.97/286.81 c (273,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2120.97/286.81 c (273,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2120.97/286.81 c (273,0) c | luby_restart | True | False | True | False | True | False | True | False | 2120.97/286.81 c (273,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2120.97/286.81 c (273,0) c | var_decay | 0.9990 | 0.9500 | 0.9990 | 0.9500 | 0.9990 | 0.9500 | 0.9990 | 0.9500 | 2120.97/286.81 c (273,0) c | max_var_decay | 0.9990 | 0.9500 | 0.9990 | 0.9500 | 0.9990 | 0.9500 | 0.9990 | 0.9500 | 2120.97/286.81 c (273,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2120.97/286.81 c (273,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2120.97/286.81 c (273,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2120.97/286.81 c (273,0) 2120.97/286.81 c (273,0) s SATISFIABLE 2120.97/286.87 c (273,0) SatSolver.solve End 2120.97/286.87 c (273,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2120.97/286.87 c (273,0) Show results Begin 2121.24/287.00 c (273,0) a[0][0] = 1 2121.24/287.00 c (273,0) a[0][1] = 5 2121.24/287.00 c (273,0) a[0][2] = 9 2121.24/287.00 c (273,0) a[0][3] = 12 2121.24/287.00 c (273,0) a[0][4] = 10 2121.24/287.00 c (273,0) a[0][5] = 8 2121.24/287.00 c (273,0) a[0][6] = 13 2121.24/287.00 c (273,0) a[0][7] = 12 2121.24/287.00 c (273,0) a[0][8] = 13 2121.24/287.00 c (273,0) a[0][9] = 11 2121.24/287.00 c (273,0) a[0][10] = 11 2121.24/287.00 c (273,0) a[0][11] = 6 2121.24/287.00 c (273,0) a[0][12] = 7 2121.24/287.00 c (273,0) a[1][0] = 3 2121.24/287.00 c (273,0) a[1][1] = 10 2121.24/287.00 c (273,0) a[1][2] = 8 2121.24/287.00 c (273,0) a[1][3] = 11 2121.24/287.00 c (273,0) a[1][4] = 9 2121.24/287.00 c (273,0) a[1][5] = 13 2121.24/287.00 c (273,0) a[1][6] = 5 2121.24/287.00 c (273,0) a[1][7] = 4 2121.24/287.00 c (273,0) a[1][8] = 9 2121.24/287.00 c (273,0) a[1][9] = 13 2121.24/287.00 c (273,0) a[1][10] = 10 2121.24/287.00 c (273,0) a[1][11] = 12 2121.24/287.00 c (273,0) a[1][12] = 4 2121.24/287.00 c (273,0) a[2][0] = 5 2121.24/287.00 c (273,0) a[2][1] = 8 2121.24/287.00 c (273,0) a[2][2] = 3 2121.24/287.00 c (273,0) a[2][3] = 13 2121.24/287.00 c (273,0) a[2][4] = 12 2121.24/287.00 c (273,0) a[2][5] = 12 2121.24/287.00 c (273,0) a[2][6] = 6 2121.24/287.00 c (273,0) a[2][7] = 9 2121.24/287.00 c (273,0) a[2][8] = 11 2121.24/287.00 c (273,0) a[2][9] = 10 2121.24/287.00 c (273,0) a[2][10] = 13 2121.24/287.00 c (273,0) a[2][11] = 10 2121.24/287.00 c (273,0) a[2][12] = 9 2121.24/287.00 c (273,0) a[3][0] = 7 2121.24/287.00 c (273,0) a[3][1] = 11 2121.24/287.00 c (273,0) a[3][2] = 12 2121.24/287.00 c (273,0) a[3][3] = 8 2121.24/287.00 c (273,0) a[3][4] = 5 2121.24/287.00 c (273,0) a[3][5] = 10 2121.24/287.00 c (273,0) a[3][6] = 11 2121.24/287.00 c (273,0) a[3][7] = 13 2121.24/287.00 c (273,0) a[3][8] = 12 2121.24/287.00 c (273,0) a[3][9] = 8 2121.24/287.00 c (273,0) a[3][10] = 9 2121.24/287.00 c (273,0) a[3][11] = 7 2121.24/287.00 c (273,0) a[3][12] = 13 2121.24/287.00 c (273,0) a[4][0] = 9 2121.24/287.00 c (273,0) a[4][1] = 2 2121.24/287.00 c (273,0) a[4][2] = 13 2121.24/287.00 c (273,0) a[4][3] = 9 2121.24/287.00 c (273,0) a[4][4] = 11 2121.24/287.00 c (273,0) a[4][5] = 4 2121.24/287.00 c (273,0) a[4][6] = 10 2121.24/287.00 c (273,0) a[4][7] = 11 2121.24/287.00 c (273,0) a[4][8] = 8 2121.24/287.00 c (273,0) a[4][9] = 12 2121.24/287.00 c (273,0) a[4][10] = 12 2121.24/287.00 c (273,0) a[4][11] = 13 2121.24/287.00 c (273,0) a[4][12] = 6 2121.24/287.00 c (273,0) a[5][0] = 11 2121.24/287.00 c (273,0) a[5][1] = 12 2121.24/287.00 c (273,0) a[5][2] = 11 2121.24/287.00 c (273,0) a[5][3] = 5 2121.24/287.00 c (273,0) a[5][4] = 13 2121.24/287.00 c (273,0) a[5][5] = 6 2121.24/287.00 c (273,0) a[5][6] = 12 2121.24/287.00 c (273,0) a[5][7] = 8 2121.24/287.00 c (273,0) a[5][8] = 7 2121.24/287.00 c (273,0) a[5][9] = 7 2121.24/287.00 c (273,0) a[5][10] = 6 2121.24/287.00 c (273,0) a[5][11] = 9 2121.24/287.00 c (273,0) a[5][12] = 10 2121.24/287.00 c (273,0) a[6][0] = 13 2121.24/287.00 c (273,0) a[6][1] = 13 2121.24/287.00 c (273,0) a[6][2] = 2 2121.24/287.00 c (273,0) a[6][3] = 4 2121.24/287.00 c (273,0) a[6][4] = 3 2121.24/287.00 c (273,0) a[6][5] = 7 2121.24/287.00 c (273,0) a[6][6] = 7 2121.24/287.00 c (273,0) a[6][7] = 10 2121.24/287.00 c (273,0) a[6][8] = 10 2121.24/287.00 c (273,0) a[6][9] = 6 2121.24/287.00 c (273,0) a[6][10] = 8 2121.24/287.00 c (273,0) a[6][11] = 11 2121.24/287.00 c (273,0) a[6][12] = 12 2121.24/287.00 c (273,0) ad[0] = 3 2121.24/287.00 c (273,0) ad[1] = 12 2121.24/287.00 c (273,0) ad[2] = 11 2121.24/287.00 c (273,0) ad[3] = 10 2121.24/287.00 c (273,0) ad[4] = 6 2121.24/287.00 c (273,0) ad[5] = 13 2121.24/287.00 c (273,0) ad[6] = 9 2121.24/287.00 c (273,0) h[0][0] = 0 2121.24/287.00 c (273,0) h[0][1] = 3 2121.24/287.00 c (273,0) h[0][2] = 4 2121.24/287.00 c (273,0) h[0][3] = 10 2121.24/287.00 c (273,0) h[0][4] = 4 2121.24/287.00 c (273,0) h[0][5] = 5 2121.24/287.00 c (273,0) h[0][6] = 8 2121.24/287.00 c (273,0) h[0][7] = 7 2121.24/287.00 c (273,0) h[0][8] = 6 2121.24/287.00 c (273,0) h[0][9] = 9 2121.24/287.00 c (273,0) h[0][10] = 0 2121.24/287.00 c (273,0) h[0][11] = 1 2121.24/287.00 c (273,0) h[0][12] = 2 2121.24/287.00 c (273,0) h[1][0] = 2 2121.24/287.00 c (273,0) h[1][1] = 7 2121.24/287.00 c (273,0) h[1][2] = 7 2121.24/287.00 c (273,0) h[1][3] = 6 2121.24/287.00 c (273,0) h[1][4] = 6 2121.24/287.00 c (273,0) h[1][5] = 11 2121.24/287.00 c (273,0) h[1][6] = 1 2121.24/287.00 c (273,0) h[1][7] = 2 2121.24/287.00 c (273,0) h[1][8] = 0 2121.24/287.00 c (273,0) h[1][9] = 5 2121.24/287.00 c (273,0) h[1][10] = 1 2121.24/287.00 c (273,0) h[1][11] = 0 2121.24/287.00 c (273,0) h[1][12] = 3 2121.24/287.00 c (273,0) h[2][0] = 4 2121.24/287.00 c (273,0) h[2][1] = 6 2121.24/287.00 c (273,0) h[2][2] = 0 2121.24/287.00 c (273,0) h[2][3] = 1 2121.24/287.00 c (273,0) h[2][4] = 8 2121.24/287.00 c (273,0) h[2][5] = 2 2121.24/287.00 c (273,0) h[2][6] = 4 2121.24/287.00 c (273,0) h[2][7] = 5 2121.24/287.00 c (273,0) h[2][8] = 3 2121.24/287.00 c (273,0) h[2][9] = 0 2121.24/287.00 c (273,0) h[2][10] = 7 2121.24/287.00 c (273,0) h[2][11] = 2 2121.24/287.00 c (273,0) h[2][12] = 1 2121.24/287.00 c (273,0) h[3][0] = 6 2121.24/287.00 c (273,0) h[3][1] = 4 2121.24/287.00 c (273,0) h[3][2] = 6 2121.24/287.00 c (273,0) h[3][3] = 3 2121.24/287.00 c (273,0) h[3][4] = 0 2121.24/287.00 c (273,0) h[3][5] = 9 2121.24/287.00 c (273,0) h[3][6] = 2 2121.24/287.00 c (273,0) h[3][7] = 3 2121.24/287.00 c (273,0) h[3][8] = 4 2121.24/287.00 c (273,0) h[3][9] = 1 2121.24/287.00 c (273,0) h[3][10] = 2 2121.24/287.00 c (273,0) h[3][11] = 5 2121.24/287.00 c (273,0) h[3][12] = 0 2121.24/287.00 c (273,0) h[4][0] = 8 2121.24/287.00 c (273,0) h[4][1] = 0 2121.24/287.00 c (273,0) h[4][2] = 10 2121.24/287.00 c (273,0) h[4][3] = 7 2121.24/287.00 c (273,0) h[4][4] = 7 2121.24/287.00 c (273,0) h[4][5] = 1 2121.24/287.00 c (273,0) h[4][6] = 3 2121.24/287.00 c (273,0) h[4][7] = 1 2121.24/287.00 c (273,0) h[4][8] = 2 2121.24/287.00 c (273,0) h[4][9] = 3 2121.24/287.00 c (273,0) h[4][10] = 5 2121.24/287.00 c (273,0) h[4][11] = 4 2121.24/287.00 c (273,0) h[4][12] = 5 2121.24/287.00 c (273,0) h[5][0] = 10 2121.24/287.00 c (273,0) h[5][1] = 1 2121.24/287.00 c (273,0) h[5][2] = 5 2121.24/287.00 c (273,0) h[5][3] = 2 2121.24/287.00 c (273,0) h[5][4] = 2 2121.24/287.00 c (273,0) h[5][5] = 0 2121.24/287.00 c (273,0) h[5][6] = 9 2121.24/287.00 c (273,0) h[5][7] = 0 2121.24/287.00 c (273,0) h[5][8] = 1 2121.24/287.00 c (273,0) h[5][9] = 4 2121.24/287.00 c (273,0) h[5][10] = 3 2121.24/287.00 c (273,0) h[5][11] = 3 2121.24/287.00 c (273,0) h[5][12] = 8 2121.24/287.00 c (273,0) h[6][0] = 12 2121.24/287.00 c (273,0) h[6][1] = 9 2121.24/287.00 c (273,0) h[6][2] = 1 2121.24/287.00 c (273,0) h[6][3] = 0 2121.24/287.00 c (273,0) h[6][4] = 1 2121.24/287.00 c (273,0) h[6][5] = 3 2121.24/287.00 c (273,0) h[6][6] = 0 2121.24/287.00 c (273,0) h[6][7] = 6 2121.24/287.00 c (273,0) h[6][8] = 5 2121.24/287.00 c (273,0) h[6][9] = 2 2121.24/287.00 c (273,0) h[6][10] = 4 2121.24/287.00 c (273,0) h[6][11] = 8 2121.24/287.00 c (273,0) h[6][12] = 11 2121.24/287.00 c (273,0) hd[0] = 2 2121.24/287.00 c (273,0) hd[1] = 8 2121.24/287.00 c (273,0) hd[2] = 7 2121.24/287.00 c (273,0) hd[3] = 1 2121.24/287.00 c (273,0) hd[4] = 0 2121.24/287.00 c (273,0) hd[5] = 4 2121.24/287.00 c (273,0) hd[6] = 5 2121.24/287.00 c (273,0) m[0][0] = 0 2121.24/287.00 c (273,0) m[0][1] = 37 2121.24/287.00 c (273,0) m[0][2] = 50 2121.24/287.00 c (273,0) m[0][3] = 86 2121.24/287.00 c (273,0) m[0][4] = 51 2121.24/287.00 c (273,0) m[0][5] = 57 2121.24/287.00 c (273,0) m[0][6] = 80 2121.24/287.00 c (273,0) m[0][7] = 74 2121.24/287.00 c (273,0) m[0][8] = 69 2121.24/287.00 c (273,0) m[0][9] = 82 2121.24/287.00 c (273,0) m[0][10] = 10 2121.24/287.00 c (273,0) m[0][11] = 17 2121.24/287.00 c (273,0) m[0][12] = 29 2121.24/287.00 c (273,0) m[1][0] = 25 2121.24/287.00 c (273,0) m[1][1] = 72 2121.24/287.00 c (273,0) m[1][2] = 70 2121.24/287.00 c (273,0) m[1][3] = 67 2121.24/287.00 c (273,0) m[1][4] = 65 2121.24/287.00 c (273,0) m[1][5] = 89 2121.24/287.00 c (273,0) m[1][6] = 16 2121.24/287.00 c (273,0) m[1][7] = 26 2121.24/287.00 c (273,0) m[1][8] = 8 2121.24/287.00 c (273,0) m[1][9] = 62 2121.24/287.00 c (273,0) m[1][10] = 21 2121.24/287.00 c (273,0) m[1][11] = 11 2121.24/287.00 c (273,0) m[1][12] = 36 2121.24/287.00 c (273,0) m[2][0] = 46 2121.24/287.00 c (273,0) m[2][1] = 64 2121.24/287.00 c (273,0) m[2][2] = 2 2121.24/287.00 c (273,0) m[2][3] = 24 2121.24/287.00 c (273,0) m[2][4] = 79 2121.24/287.00 c (273,0) m[2][5] = 34 2121.24/287.00 c (273,0) m[2][6] = 47 2121.24/287.00 c (273,0) m[2][7] = 58 2121.24/287.00 c (273,0) m[2][8] = 43 2121.24/287.00 c (273,0) m[2][9] = 9 2121.24/287.00 c (273,0) m[2][10] = 75 2121.24/287.00 c (273,0) m[2][11] = 32 2121.24/287.00 c (273,0) m[2][12] = 20 2121.24/287.00 c (273,0) m[3][0] = 63 2121.24/287.00 c (273,0) m[3][1] = 52 2121.24/287.00 c (273,0) m[3][2] = 68 2121.24/287.00 c (273,0) m[3][3] = 40 2121.24/287.00 c (273,0) m[3][4] = 4 2121.24/287.00 c (273,0) m[3][5] = 81 2121.24/287.00 c (273,0) m[3][6] = 33 2121.24/287.00 c (273,0) m[3][7] = 45 2121.24/287.00 c (273,0) m[3][8] = 53 2121.24/287.00 c (273,0) m[3][9] = 19 2121.24/287.00 c (273,0) m[3][10] = 31 2121.24/287.00 c (273,0) m[3][11] = 56 2121.24/287.00 c (273,0) m[3][12] = 12 2121.24/287.00 c (273,0) m[4][0] = 76 2121.24/287.00 c (273,0) m[4][1] = 1 2121.24/287.00 c (273,0) m[4][2] = 87 2121.24/287.00 c (273,0) m[4][3] = 71 2121.24/287.00 c (273,0) m[4][4] = 73 2121.24/287.00 c (273,0) m[4][5] = 15 2121.24/287.00 c (273,0) m[4][6] = 42 2121.24/287.00 c (273,0) m[4][7] = 22 2121.24/287.00 c (273,0) m[4][8] = 30 2121.24/287.00 c (273,0) m[4][9] = 44 2121.24/287.00 c (273,0) m[4][10] = 61 2121.24/287.00 c (273,0) m[4][11] = 54 2121.24/287.00 c (273,0) m[4][12] = 55 2121.24/287.00 c (273,0) m[5][0] = 85 2121.24/287.00 c (273,0) m[5][1] = 23 2121.24/287.00 c (273,0) m[5][2] = 60 2121.24/287.00 c (273,0) m[5][3] = 27 2121.24/287.00 c (273,0) m[5][4] = 35 2121.24/287.00 c (273,0) m[5][5] = 5 2121.24/287.00 c (273,0) m[5][6] = 83 2121.24/287.00 c (273,0) m[5][7] = 7 2121.24/287.00 c (273,0) m[5][8] = 18 2121.24/287.00 c (273,0) m[5][9] = 48 2121.24/287.00 c (273,0) m[5][10] = 38 2121.24/287.00 c (273,0) m[5][11] = 41 2121.24/287.00 c (273,0) m[5][12] = 77 2121.24/287.00 c (273,0) m[6][0] = 90 2121.24/287.00 c (273,0) m[6][1] = 84 2121.24/287.00 c (273,0) m[6][2] = 13 2121.24/287.00 c (273,0) m[6][3] = 3 2121.24/287.00 c (273,0) m[6][4] = 14 2121.24/287.00 c (273,0) m[6][5] = 39 2121.24/287.00 c (273,0) m[6][6] = 6 2121.24/287.00 c (273,0) m[6][7] = 66 2121.24/287.00 c (273,0) m[6][8] = 59 2121.24/287.00 c (273,0) m[6][9] = 28 2121.24/287.00 c (273,0) m[6][10] = 49 2121.24/287.00 c (273,0) m[6][11] = 78 2121.24/287.00 c (273,0) m[6][12] = 88 2121.24/287.00 s SATISFIABLE 2121.48/287.01 v <instantiation> 2121.48/287.01 v <list>h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] m[0][0] m[0][1] m[0][2] m[0][3] m[0][4] m[0][5] m[0][6] m[0][7] m[0][8] m[0][9] m[0][10] m[0][11] m[0][12] m[1][0] m[1][1] m[1][2] m[1][3] m[1][4] m[1][5] m[1][6] m[1][7] m[1][8] m[1][9] m[1][10] m[1][11] m[1][12] m[2][0] m[2][1] m[2][2] m[2][3] m[2][4] m[2][5] m[2][6] m[2][7] m[2][8] m[2][9] m[2][10] m[2][11] m[2][12] m[3][0] m[3][1] m[3][2] m[3][3] m[3][4] m[3][5] m[3][6] m[3][7] m[3][8] m[3][9] m[3][10] m[3][11] m[3][12] m[4][0] m[4][1] m[4][2] m[4][3] m[4][4] m[4][5] m[4][6] m[4][7] m[4][8] m[4][9] m[4][10] m[4][11] m[4][12] m[5][0] m[5][1] m[5][2] m[5][3] m[5][4] m[5][5] m[5][6] m[5][7] m[5][8] m[5][9] m[5][10] m[5][11] m[5][12] m[6][0] m[6][1] m[6][2] m[6][3] m[6][4] m[6][5] m[6][6] m[6][7] m[6][8] m[6][9] m[6][10] m[6][11] m[6][12] hd[0] hd[1] hd[2] hd[3] hd[4] hd[5] hd[6] ad[0] ad[1] ad[2] ad[3] ad[4] ad[5] ad[6]</list> 2121.48/287.01 v <values>0 3 4 10 4 5 8 7 6 9 0 1 2 2 7 7 6 6 11 1 2 0 5 1 0 3 4 6 0 1 8 2 4 5 3 0 7 2 1 6 4 6 3 0 9 2 3 4 1 2 5 0 8 0 10 7 7 1 3 1 2 3 5 4 5 10 1 5 2 2 0 9 0 1 4 3 3 8 12 9 1 0 1 3 0 6 5 2 4 8 11 1 5 9 12 10 8 13 12 13 11 11 6 7 3 10 8 11 9 13 5 4 9 13 10 12 4 5 8 3 13 12 12 6 9 11 10 13 10 9 7 11 12 8 5 10 11 13 12 8 9 7 13 9 2 13 9 11 4 10 11 8 12 12 13 6 11 12 11 5 13 6 12 8 7 7 6 9 10 13 13 2 4 3 7 7 10 10 6 8 11 12 0 37 50 86 51 57 80 74 69 82 10 17 29 25 72 70 67 65 89 16 26 8 62 21 11 36 46 64 2 24 79 34 47 58 43 9 75 32 20 63 52 68 40 4 81 33 45 53 19 31 56 12 76 1 87 71 73 15 42 22 30 44 61 54 55 85 23 60 27 35 5 83 7 18 48 38 41 77 90 84 13 3 14 39 6 66 59 28 49 78 88 2 8 7 1 0 4 5 3 12 11 10 6 13 9</values> 2121.48/287.01 v </instantiation> 2121.48/287.01 c (273,0) Show results End 2121.48/287.01 c (273,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 2121.48/287.01 c (273,0) 273,273,STOP-AFTER(ALL) 2121.48/287.01 c END-Prog: Sat Sep 14 06:32:15 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: 16374 MiB (15098 MiB free) memory of node 1: 16384 MiB (15702 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392353-1568435284/watcher-4392353-1568435284 -o /tmp/evaluation-result-4392353-1568435284/solver-4392353-1568435284 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --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-4392353-1568435284.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15053, runsolver pid=15050 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 7.25 7.73 7.60 2/211 15075 /proc/meminfo: memFree=31445800/32770624 swapFree=67004232/67108860 [pid=15053] ppid=15050 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15053/stat : 15053 (scop.sh) S 15050 15053 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419690031 115843072 349 33554432000 4194304 5098028 140729339025568 140729339022824 139634618212988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11239424 140729339028261 140729339028588 140729339028588 140729339031501 0 /proc/15053/statm: 28282 349 296 221 0 87 0 [pid=15056] ppid=15053 vsize=27314120 memory=107080 CPUtime=0.1 cores=0-7 /proc/15056/stat : 15056 (java) S 15053 15053 11928 0 -1 1077944320 6373 0 0 0 8 2 0 0 20 0 20 0 419690032 27969658880 26770 33554432000 4194304 4196468 140737452221472 140737452204016 140466857238263 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 /proc/15056/statm: 6828530 26770 2777 1 0 6790935 0 [pid=15056/tid=15057] ppid=15053 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/15056/task/15057/stat : 15057 (java) R 15053 15053 11928 0 -1 4202560 4483 0 0 0 7 1 0 0 20 0 20 0 419690032 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466829064976 140466843306348 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15058] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15058/stat : 15058 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466861481104 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15059] ppid=15053 vsize=27314120 memory=140113460065694 CPUtime=0 cores=0-7 /proc/15056/task/15059/stat : 15059 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466644876304 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15060] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15060/stat : 15060 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466643823504 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15061] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15061/stat : 15061 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466642770704 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15062] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15062/stat : 15062 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466641717904 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15063] ppid=15053 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/15056/task/15063/stat : 15063 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466640665104 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15064] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15064/stat : 15064 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466639612304 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15065] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15065/stat : 15065 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 26900 33554432000 4194304 4196468 140737452221472 140466638559504 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15066] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15066/stat : 15066 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690036 27969658880 26900 33554432000 4194304 4196468 140737452221472 140465110231920 140466857249410 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15067] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15067/stat : 15067 (java) S 15053 15053 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419690036 27969658880 26900 33554432000 4194304 4196468 140737452221472 140464757925408 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15068] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15068/stat : 15068 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690037 27969658880 26900 33554432000 4194304 4196468 140737452221472 140464489489776 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15069] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15069/stat : 15069 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 26900 33554432000 4194304 4196468 140737452221472 140464114981200 140466857256859 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15070] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15070/stat : 15070 (java) S 15053 15053 11928 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 26900 33554432000 4194304 4196468 140737452221472 140465109178736 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15071] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15071/stat : 15071 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 26900 33554432000 4194304 4196468 140737452221472 140465108125936 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15072] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15072/stat : 15072 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 26900 33554432000 4194304 4196468 140737452221472 140465107073136 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15073] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15073/stat : 15073 (java) R 15053 15053 11928 0 -1 4202560 272 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 26900 33554432000 4194304 4196468 140737452221472 140465106020336 140466857250198 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15074] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15074/stat : 15074 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 26900 33554432000 4194304 4196468 140737452221472 140463617076320 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15075] ppid=15053 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/15056/task/15075/stat : 15075 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690040 27969658880 26900 33554432000 4194304 4196468 140737452221472 140465104968752 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 108476 KiB [startup+0.209774 s]* /proc/loadavg: 7.25 7.73 7.60 4/211 15075 /proc/meminfo: memFree=31424936/32770624 swapFree=67004232/67108860 [pid=15053] ppid=15050 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15053/stat : 15053 (scop.sh) S 15050 15053 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419690031 115843072 349 33554432000 4194304 5098028 140729339025568 140729339022824 139634618212988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11239424 140729339028261 140729339028588 140729339028588 140729339031501 0 /proc/15053/statm: 28282 349 296 221 0 87 0 [pid=15056] ppid=15053 vsize=27314120 memory=126884 CPUtime=0.24 cores=0-7 /proc/15056/stat : 15056 (java) S 15053 15053 11928 0 -1 1077944320 12010 0 0 0 20 4 0 0 20 0 20 0 419690032 27969658880 31721 33554432000 4194304 4196468 140737452221472 140737452204016 140466857238263 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 /proc/15056/statm: 6828530 31721 2968 1 0 6790935 0 [pid=15056/tid=15057] ppid=15053 vsize=27314120 memory=8316850467074736180 CPUtime=0.19 cores=0-7 /proc/15056/task/15057/stat : 15057 (java) R 15053 15053 11928 0 -1 4202560 9709 0 0 0 16 3 0 0 20 0 20 0 419690032 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466829057504 140466838801838 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15058] ppid=15053 vsize=27314120 memory=14965 CPUtime=0 cores=0-7 /proc/15056/task/15058/stat : 15058 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466861481104 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15059] ppid=15053 vsize=27314120 memory=288370489611765376 CPUtime=0 cores=0-7 /proc/15056/task/15059/stat : 15059 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466644876304 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15060] ppid=15053 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/15056/task/15060/stat : 15060 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466643823504 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15061] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15061/stat : 15061 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466642770704 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15062] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15062/stat : 15062 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466641717904 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15063] ppid=15053 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/15056/task/15063/stat : 15063 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466640665104 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15064] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15064/stat : 15064 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466639612304 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15065] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15065/stat : 15065 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 31721 33554432000 4194304 4196468 140737452221472 140466638559504 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15066] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15066/stat : 15066 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690036 27969658880 31721 33554432000 4194304 4196468 140737452221472 140465110231920 140466857249410 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15067] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15067/stat : 15067 (java) S 15053 15053 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419690036 27969658880 31721 33554432000 4194304 4196468 140737452221472 140464757925408 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15068] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15068/stat : 15068 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690037 27969658880 31721 33554432000 4194304 4196468 140737452221472 140464489489776 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15069] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15069/stat : 15069 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 31721 33554432000 4194304 4196468 140737452221472 140464114981200 140466857256859 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15070] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15070/stat : 15070 (java) S 15053 15053 11928 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 31721 33554432000 4194304 4196468 140737452221472 140465109178736 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15071] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15071/stat : 15071 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 31721 33554432000 4194304 4196468 140737452221472 140465108125936 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15072] ppid=15053 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/15056/task/15072/stat : 15072 (java) S 15053 15053 11928 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 31721 33554432000 4194304 4196468 140737452221472 140465107073136 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15073] ppid=15053 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/15056/task/15073/stat : 15073 (java) S 15053 15053 11928 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 419690039 27969658880 31721 33554432000 4194304 4196468 140737452221472 140465106020336 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15074] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15074/stat : 15074 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 31721 33554432000 4194304 4196468 140737452221472 140463617076320 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15075] ppid=15053 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/15056/task/15075/stat : 15075 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690040 27969658880 31721 33554432000 4194304 4196468 140737452221472 140465104968752 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128280 KiB [startup+0.309385 s]* /proc/loadavg: 7.25 7.73 7.60 3/211 15075 /proc/meminfo: memFree=31421848/32770624 swapFree=67004232/67108860 [pid=15053] ppid=15050 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15053/stat : 15053 (scop.sh) S 15050 15053 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419690031 115843072 349 33554432000 4194304 5098028 140729339025568 140729339022824 139634618212988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11239424 140729339028261 140729339028588 140729339028588 140729339031501 0 /proc/15053/statm: 28282 349 296 221 0 87 0 [pid=15056] ppid=15053 vsize=27314120 memory=129960 CPUtime=0.42 cores=0-7 /proc/15056/stat : 15056 (java) S 15053 15053 11928 0 -1 1077944320 12857 0 0 0 37 5 0 0 20 0 20 0 419690032 27969658880 32490 33554432000 4194304 4196468 140737452221472 140737452204016 140466857238263 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 /proc/15056/statm: 6828530 32490 3006 1 0 6790935 0 [pid=15056/tid=15057] ppid=15053 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/15056/task/15057/stat : 15057 (java) R 15053 15053 11928 0 -1 4202560 10383 0 0 0 25 4 0 0 20 0 20 0 419690032 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466829021280 140466842403911 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15058] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15058/stat : 15058 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466861481104 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15059] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15059/stat : 15059 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466644876304 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15060] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15060/stat : 15060 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466643823504 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15061] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15061/stat : 15061 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466642770704 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15062] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15062/stat : 15062 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466641717904 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15063] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15063/stat : 15063 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466640665104 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15064] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15064/stat : 15064 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466639612304 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15065] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15065/stat : 15065 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27969658880 32490 33554432000 4194304 4196468 140737452221472 140466638559504 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15066] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15066/stat : 15066 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690036 27969658880 32490 33554432000 4194304 4196468 140737452221472 140465110231920 140466857249410 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15067] ppid=15053 vsize=27314120 memory=280226617826688 CPUtime=0 cores=0-7 /proc/15056/task/15067/stat : 15067 (java) S 15053 15053 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419690036 27969658880 32490 33554432000 4194304 4196468 140737452221472 140464757925408 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15068] ppid=15053 vsize=27314120 memory=280226617831296 CPUtime=0 cores=0-7 /proc/15056/task/15068/stat : 15068 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690037 27969658880 32490 33554432000 4194304 4196468 140737452221472 140464489489776 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15069] ppid=15053 vsize=27314120 memory=280226617835904 CPUtime=0 cores=0-7 /proc/15056/task/15069/stat : 15069 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 32490 33554432000 4194304 4196468 140737452221472 140464114981200 140466857256859 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15070] ppid=15053 vsize=27314120 memory=280226617840512 CPUtime=0.01 cores=0-7 /proc/15056/task/15070/stat : 15070 (java) S 15053 15053 11928 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 419690039 27969658880 32490 33554432000 4194304 4196468 140737452221472 140465109178736 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15071] ppid=15053 vsize=27314120 memory=280226617845120 CPUtime=0 cores=0-7 /proc/15056/task/15071/stat : 15071 (java) S 15053 15053 11928 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 32490 33554432000 4194304 4196468 140737452221472 140465108125936 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15072] ppid=15053 vsize=27314120 memory=280226617849728 CPUtime=0 cores=0-7 /proc/15056/task/15072/stat : 15072 (java) S 15053 15053 11928 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 32490 33554432000 4194304 4196468 140737452221472 140465107073136 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15073] ppid=15053 vsize=27314120 memory=280226617854336 CPUtime=0.07 cores=0-7 /proc/15056/task/15073/stat : 15073 (java) S 15053 15053 11928 0 -1 1077944384 497 0 0 0 7 0 0 0 20 0 20 0 419690039 27969658880 32490 33554432000 4194304 4196468 140737452221472 140465106020336 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15074] ppid=15053 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15074/stat : 15074 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690039 27969658880 32490 33554432000 4194304 4196468 140737452221472 140463617076320 140466857248469 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15075] ppid=15053 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/15056/task/15075/stat : 15075 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690040 27969658880 32490 33554432000 4194304 4196468 140737452221472 140465104968752 140466857249410 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131356 KiB [startup+0.70089 s] /proc/loadavg: 7.25 7.73 7.60 2/211 15075 /proc/meminfo: memFree=31401628/32770624 swapFree=67004232/67108860 [pid=15053] ppid=15050 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/15053/stat : 15053 (scop.sh) S 15050 15053 11928 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 419690031 115843072 349 33554432000 4194304 5098028 140729339025568 140729339022824 139634618212988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11239424 140729339028261 140729339028588 140729339028588 140729339031501 0 /proc/15053/statm: 28282 349 296 221 0 87 0 [pid=15056] ppid=15053 vsize=27322440 memory=165508 CPUtime=1 cores=0-7 /proc/15056/stat : 15056 (java) S 15053 15053 11928 0 -1 1077944320 20063 0 0 0 93 7 0 0 20 0 20 0 419690032 27978178560 41377 33554432000 4194304 4196468 140737452221472 140737452204016 140466857238263 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 /proc/15056/statm: 6830610 41377 3185 1 0 6791959 0 [pid=15056/tid=15057] ppid=15053 vsize=27322440 memory=0 CPUtime=0.67 cores=0-7 /proc/15056/task/15057/stat : 15057 (java) R 15053 15053 11928 0 -1 4202560 16982 0 0 0 62 5 0 0 20 0 20 0 419690032 27978178560 41377 33554432000 4194304 4196468 140737452221472 140466829074800 140466857260189 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15058] ppid=15053 vsize=27322440 memory=140113309115264 CPUtime=0 cores=0-7 /proc/15056/task/15058/stat : 15058 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419690034 27978178560 41377 33554432000 4194304 4196468 140737452221472 140466861481104 140466857248469 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15059] ppid=15053 vsize=27322440 memory=0 CPUtime=0 cores=0-7 /proc/15056/task/15059/stat : 15059 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419690034 27978178560 41377 33554432000 4194304 4196468 140737452221472 140466644876304 140466857248469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 [pid=15056/tid=15060] ppid=15053 vsize=27322440 memory=1052 CPUtime=0 cores=0-7 /proc/15056/task/15060/stat : 15060 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419690034 27978178560 41377 33554432000 4194304 4196468 140737452221472 140466643823504 140466857248469 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18030592 140737452229355 140737452229782 140737452229782 140737452232655 0 ################ # More data... # ################ /proc/15078/task/15082/stat : 15082 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30759 33554432000 4194304 4196468 140720887789520 140271221267088 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15083] ppid=15053 vsize=8414124 memory=14012 CPUtime=0 cores=0-7 /proc/15078/task/15083/stat : 15083 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30759 33554432000 4194304 4196468 140720887789520 140271220214288 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15084] ppid=15053 vsize=8414124 memory=19732 CPUtime=0 cores=0-7 /proc/15078/task/15084/stat : 15084 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30759 33554432000 4194304 4196468 140720887789520 140271219162000 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15085] ppid=15053 vsize=8414124 memory=14068 CPUtime=0 cores=0-7 /proc/15078/task/15085/stat : 15085 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30759 33554432000 4194304 4196468 140720887789520 140271218109200 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15086] ppid=15053 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/15078/task/15086/stat : 15086 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30759 33554432000 4194304 4196468 140720887789520 140271217056912 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15087] ppid=15053 vsize=8414124 memory=504 CPUtime=0 cores=0-7 /proc/15078/task/15087/stat : 15087 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270897196048 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15088] ppid=15053 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/15078/task/15088/stat : 15088 (java) S 15053 15053 11928 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419691370 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270242891888 140271417920130 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15089] ppid=15053 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/15078/task/15089/stat : 15089 (java) S 15053 15053 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419691370 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270075110176 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15090] ppid=15053 vsize=8414124 memory=1692 CPUtime=0 cores=0-7 /proc/15078/task/15090/stat : 15090 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691371 8616062976 30759 33554432000 4194304 4196468 140720887789520 140269806675056 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15091] ppid=15053 vsize=8414124 memory=792 CPUtime=0 cores=0-7 /proc/15078/task/15091/stat : 15091 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691373 8616062976 30759 33554432000 4194304 4196468 140720887789520 140269432166480 140271417927579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15092] ppid=15053 vsize=8414124 memory=1448 CPUtime=0.08 cores=0-7 /proc/15078/task/15092/stat : 15092 (java) S 15053 15053 11928 0 -1 1077944384 599 0 0 0 8 0 0 0 20 0 24 0 419691373 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270241839728 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15093] ppid=15053 vsize=8414124 memory=1964 CPUtime=0.06 cores=0-7 /proc/15078/task/15093/stat : 15093 (java) S 15053 15053 11928 0 -1 1077944384 199 0 0 0 6 0 0 0 20 0 24 0 419691373 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270240786928 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15094] ppid=15053 vsize=8414124 memory=2456 CPUtime=0.12 cores=0-7 /proc/15078/task/15094/stat : 15094 (java) S 15053 15053 11928 0 -1 1077944384 809 0 0 0 12 0 0 0 20 0 24 0 419691373 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270239734640 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15095] ppid=15053 vsize=8414124 memory=1760 CPUtime=0.23 cores=0-7 /proc/15078/task/15095/stat : 15095 (java) S 15053 15053 11928 0 -1 1077944384 791 0 0 0 23 0 0 0 20 0 24 0 419691373 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270238681840 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15096] ppid=15053 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/15078/task/15096/stat : 15096 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419691373 8616062976 30759 33554432000 4194304 4196468 140720887789520 140268934261088 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15097] ppid=15053 vsize=8414124 memory=804 CPUtime=0.16 cores=0-7 /proc/15078/task/15097/stat : 15097 (java) S 15053 15053 11928 0 -1 1077944384 21 0 0 0 16 0 0 0 20 0 24 0 419691373 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270237628720 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15099] ppid=15053 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/15078/task/15099/stat : 15099 (java) S 15053 15053 11928 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419691442 8616062976 30759 33554432000 4194304 4196468 140720887789520 140270229595456 140271417933593 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15101] ppid=15053 vsize=8414124 memory=1804 CPUtime=0.01 cores=0-7 /proc/15078/task/15101/stat : 15101 (java) S 15053 15053 11928 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 24 0 419691443 8616062976 30759 33554432000 4194304 4196468 140720887789520 140268263161744 140271417930909 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15102] ppid=15053 vsize=8414124 memory=916 CPUtime=0 cores=0-7 /proc/15078/task/15102/stat : 15102 (java) S 15053 15053 11928 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419691443 8616062976 30759 33554432000 4194304 4196468 140720887789520 140268531597072 140271417930909 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15103] ppid=15053 vsize=8414124 memory=4136 CPUtime=0 cores=0-7 /proc/15078/task/15103/stat : 15103 (java) S 15053 15053 11928 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419691445 8616062976 30759 33554432000 4194304 4196468 140720887789520 140267994734384 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 Current children cumulated CPU time: 2120.17 s Current children cumulated vsize: 9896864 KiB Current children cumulated memory: 1169008 KiB [startup+286.801 s] /proc/loadavg: 7.65 7.62 7.58 6/224 15137 /proc/meminfo: memFree=30368900/32770624 swapFree=67004232/67108860 [pid=15053] ppid=15050 vsize=113128 memory=1476 CPUtime=29.01 cores=0-7 /proc/15053/stat : 15053 (scop.sh) S 15050 15053 11928 0 -1 4202496 583 42604 0 0 0 0 2758 143 20 0 1 0 419690031 115843072 369 33554432000 4194304 5098028 140729339025568 140729339022312 139634618212988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11239424 140729339028261 140729339028588 140729339028588 140729339031501 0 /proc/15053/statm: 28282 369 311 221 0 87 0 [pid=15078] ppid=15053 vsize=8414124 memory=123220 CPUtime=1.55 cores=0-7 /proc/15078/stat : 15078 (java) S 15053 15053 11928 0 -1 1077944320 21322 0 0 0 146 9 0 0 20 0 24 0 419691367 8616062976 30805 33554432000 4194304 4196468 140720887789520 140720887772064 140271417908983 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 /proc/15078/statm: 2103531 30805 3209 1 0 2064875 0 [pid=15098] ppid=15078 vsize=1336828 memory=1044504 CPUtime=2090.41 cores=0-7 /proc/15098/stat : 15098 (manyglucose-4.1) S 15078 15053 11928 0 -1 4202496 2520759 0 0 0 208678 363 0 0 20 0 1 0 419691442 1368911872 261126 33554432000 4194304 4454172 140735276040688 140735276037408 140639745805437 0 4 0 8388610 18446744071580971376 0 0 17 7 0 0 0 0 0 6552832 6554400 9912320 140735276049257 140735276049456 140735276049456 140735276052410 0 /proc/15098/statm: 334207 261126 424 64 0 329875 0 [pid=15078/tid=15079] ppid=15053 vsize=8414124 memory=1044496 CPUtime=0.79 cores=0-7 /proc/15078/task/15079/stat : 15079 (java) S 15053 15053 11928 0 -1 1077944384 17467 0 0 0 73 6 0 0 20 0 24 0 419691367 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271389749152 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15080] ppid=15053 vsize=8414124 memory=-8599177530962112914 CPUtime=0 cores=0-7 /proc/15078/task/15080/stat : 15080 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271422151056 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15081] ppid=15053 vsize=8414124 memory=1077276 CPUtime=0 cores=0-7 /proc/15078/task/15081/stat : 15081 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271222319376 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15082] ppid=15053 vsize=8414124 memory=19732 CPUtime=0 cores=0-7 /proc/15078/task/15082/stat : 15082 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271221267088 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15083] ppid=15053 vsize=8414124 memory=14068 CPUtime=0 cores=0-7 /proc/15078/task/15083/stat : 15083 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271220214288 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15084] ppid=15053 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/15078/task/15084/stat : 15084 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271219162000 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15085] ppid=15053 vsize=8414124 memory=-8599177530962112914 CPUtime=0 cores=0-7 /proc/15078/task/15085/stat : 15085 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271218109200 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15086] ppid=15053 vsize=8414124 memory=1010580 CPUtime=0 cores=0-7 /proc/15078/task/15086/stat : 15086 (java) S 15053 15053 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140271217056912 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15087] ppid=15053 vsize=8414124 memory=15262527902714418 CPUtime=0 cores=0-7 /proc/15078/task/15087/stat : 15087 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691368 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270897196048 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15088] ppid=15053 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7 /proc/15078/task/15088/stat : 15088 (java) S 15053 15053 11928 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419691370 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270242891888 140271417920130 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15089] ppid=15053 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/15078/task/15089/stat : 15089 (java) S 15053 15053 11928 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419691370 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270075110176 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15090] ppid=15053 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/15078/task/15090/stat : 15090 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691371 8616062976 30805 33554432000 4194304 4196468 140720887789520 140269806675056 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15091] ppid=15053 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/15078/task/15091/stat : 15091 (java) S 15053 15053 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419691373 8616062976 30805 33554432000 4194304 4196468 140720887789520 140269432166480 140271417927579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15092] ppid=15053 vsize=8414124 memory=4104 CPUtime=0.09 cores=0-7 /proc/15078/task/15092/stat : 15092 (java) S 15053 15053 11928 0 -1 1077944384 599 0 0 0 9 0 0 0 20 0 24 0 419691373 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270241839728 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15093] ppid=15053 vsize=8414124 memory=1804 CPUtime=0.06 cores=0-7 /proc/15078/task/15093/stat : 15093 (java) S 15053 15053 11928 0 -1 1077944384 203 0 0 0 6 0 0 0 20 0 24 0 419691373 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270240786928 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15094] ppid=15053 vsize=8414124 memory=1476 CPUtime=0.13 cores=0-7 /proc/15078/task/15094/stat : 15094 (java) S 15053 15053 11928 0 -1 1077944384 811 0 0 0 13 0 0 0 20 0 24 0 419691373 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270239734640 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15095] ppid=15053 vsize=8414124 memory=123036 CPUtime=0.24 cores=0-7 /proc/15078/task/15095/stat : 15095 (java) R 15053 15053 11928 0 -1 4202560 813 0 0 0 24 0 0 0 20 0 24 0 419691373 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270238681840 140271402248344 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15096] ppid=15053 vsize=8414124 memory=1041356 CPUtime=0 cores=0-7 /proc/15078/task/15096/stat : 15096 (java) S 15053 15053 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419691373 8616062976 30805 33554432000 4194304 4196468 140720887789520 140268934261088 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15097] ppid=15053 vsize=8414124 memory=111632 CPUtime=0.16 cores=0-7 /proc/15078/task/15097/stat : 15097 (java) S 15053 15053 11928 0 -1 1077944384 21 0 0 0 16 0 0 0 20 0 24 0 419691373 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270237628720 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15099] ppid=15053 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/15078/task/15099/stat : 15099 (java) S 15053 15053 11928 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419691442 8616062976 30805 33554432000 4194304 4196468 140720887789520 140270229595456 140271417933593 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15101] ppid=15053 vsize=8414124 memory=2832 CPUtime=0.02 cores=0-7 /proc/15078/task/15101/stat : 15101 (java) R 15053 15053 11928 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 24 0 419691443 8616062976 30805 33554432000 4194304 4196468 140720887789520 140268263161040 140271410588205 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15102] ppid=15053 vsize=8414124 memory=776 CPUtime=0 cores=0-7 /proc/15078/task/15102/stat : 15102 (java) S 15053 15053 11928 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 419691443 8616062976 30805 33554432000 4194304 4196468 140720887789520 140268531597072 140271417930909 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15103] ppid=15053 vsize=8414124 memory=1160 CPUtime=0 cores=0-7 /proc/15078/task/15103/stat : 15103 (java) S 15053 15053 11928 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419691445 8616062976 30805 33554432000 4194304 4196468 140720887789520 140267994734384 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 Current children cumulated CPU time: 2120.97 s Current children cumulated vsize: 9864080 KiB Current children cumulated memory: 1169200 KiB [startup+287.001 s]* /proc/loadavg: 7.65 7.62 7.58 5/214 15137 /proc/meminfo: memFree=31393212/32770624 swapFree=67004232/67108860 [pid=15053] ppid=15050 vsize=113128 memory=1476 CPUtime=29.01 cores=0-7 /proc/15053/stat : 15053 (scop.sh) S 15050 15053 11928 0 -1 4202496 583 42604 0 0 0 0 2758 143 20 0 1 0 419690031 115843072 369 33554432000 4194304 5098028 140729339025568 140729339022312 139634618212988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11239424 140729339028261 140729339028588 140729339028588 140729339031501 0 /proc/15053/statm: 28282 369 311 221 0 87 0 [pid=15078] ppid=15053 vsize=8283048 memory=144040 CPUtime=2092.47 cores=0-7 /proc/15078/stat : 15078 (java) S 15053 15053 11928 0 -1 1077944320 23979 2520766 0 0 191 11 208678 367 20 0 22 0 419691367 8481841152 36010 33554432000 4194304 4196468 140720887789520 140720887772064 140271417908983 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 /proc/15078/statm: 2070762 36010 3234 1 0 2032106 0 [pid=15078/tid=15079] ppid=15053 vsize=8283048 memory=1398722017469774279 CPUtime=2091.37 cores=0-7 /proc/15078/task/15079/stat : 15079 (java) R 15053 15053 11928 0 -1 4202560 17775 2520766 0 0 86 6 208678 367 20 0 22 0 419691367 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271389747968 140271401989470 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15080] ppid=15053 vsize=8283048 memory=2832 CPUtime=2090.45 cores=0-7 /proc/15078/task/15080/stat : 15080 (java) S 15053 15053 11928 0 -1 1077944384 1 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271422151056 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15081] ppid=15053 vsize=8283048 memory=776 CPUtime=2090.45 cores=0-7 /proc/15078/task/15081/stat : 15081 (java) S 15053 15053 11928 0 -1 1077944384 1 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271222319376 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15082] ppid=15053 vsize=8283048 memory=1160 CPUtime=2090.45 cores=0-7 /proc/15078/task/15082/stat : 15082 (java) S 15053 15053 11928 0 -1 1077944384 1 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271221267088 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15083] ppid=15053 vsize=8283048 memory=1720 CPUtime=2090.45 cores=0-7 /proc/15078/task/15083/stat : 15083 (java) S 15053 15053 11928 0 -1 1077944384 3 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271220214288 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15084] ppid=15053 vsize=8283048 memory=1096 CPUtime=2090.45 cores=0-7 /proc/15078/task/15084/stat : 15084 (java) S 15053 15053 11928 0 -1 1077944384 1 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271219162000 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15085] ppid=15053 vsize=8283048 memory=5964 CPUtime=2090.45 cores=0-7 /proc/15078/task/15085/stat : 15085 (java) S 15053 15053 11928 0 -1 1077944384 2 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271218109200 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15086] ppid=15053 vsize=8283048 memory=740 CPUtime=2090.45 cores=0-7 /proc/15078/task/15086/stat : 15086 (java) S 15053 15053 11928 0 -1 1077944384 2 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140271217056912 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15087] ppid=15053 vsize=8283048 memory=1052 CPUtime=2090.45 cores=0-7 /proc/15078/task/15087/stat : 15087 (java) S 15053 15053 11928 0 -1 1077944384 1 2520766 0 0 0 0 208678 367 20 0 22 0 419691368 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270897196048 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15088] ppid=15053 vsize=8283048 memory=7548 CPUtime=2090.45 cores=0-7 /proc/15078/task/15088/stat : 15088 (java) S 15053 15053 11928 0 -1 1077944384 9 2520766 0 0 0 0 208678 367 20 0 22 0 419691370 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270242891888 140271417920130 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15089] ppid=15053 vsize=8283048 memory=4004 CPUtime=2090.45 cores=0-7 /proc/15078/task/15089/stat : 15089 (java) S 15053 15053 11928 0 -1 1077944384 13 2520766 0 0 0 0 208678 367 20 0 22 0 419691370 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270075110176 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15090] ppid=15053 vsize=8283048 memory=288230574492221466 CPUtime=2090.45 cores=0-7 /proc/15078/task/15090/stat : 15090 (java) S 15053 15053 11928 0 -1 1077944384 1 2520766 0 0 0 0 208678 367 20 0 22 0 419691371 8481841152 36010 33554432000 4194304 4196468 140720887789520 140269806675056 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15091] ppid=15053 vsize=8283048 memory=288230621803970871 CPUtime=2090.45 cores=0-7 /proc/15078/task/15091/stat : 15091 (java) S 15053 15053 11928 0 -1 1077944384 1 2520766 0 0 0 0 208678 367 20 0 22 0 419691373 8481841152 36010 33554432000 4194304 4196468 140720887789520 140269432166480 140271417927579 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15092] ppid=15053 vsize=8283048 memory=15262527902714418 CPUtime=2090.59 cores=0-7 /proc/15078/task/15092/stat : 15092 (java) S 15053 15053 11928 0 -1 1077944384 699 2520766 0 0 14 0 208678 367 20 0 22 0 419691373 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270241839728 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15093] ppid=15053 vsize=8283048 memory=1160 CPUtime=2090.55 cores=0-7 /proc/15078/task/15093/stat : 15093 (java) S 15053 15053 11928 0 -1 1077944384 290 2520766 0 0 10 0 208678 367 20 0 22 0 419691373 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270240786928 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15094] ppid=15053 vsize=8283048 memory=1720 CPUtime=2090.64 cores=0-7 /proc/15078/task/15094/stat : 15094 (java) S 15053 15053 11928 0 -1 1077944384 845 2520766 0 0 19 0 208678 367 20 0 22 0 419691373 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270239734640 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15095] ppid=15053 vsize=8283048 memory=1096 CPUtime=2090.79 cores=0-7 /proc/15078/task/15095/stat : 15095 (java) R 15053 15053 11928 0 -1 4202560 1225 2520766 0 0 34 0 208678 367 20 0 22 0 419691373 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270238678776 140271411015559 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15096] ppid=15053 vsize=8283048 memory=5964 CPUtime=2090.45 cores=0-7 /proc/15078/task/15096/stat : 15096 (java) S 15053 15053 11928 0 -1 1077944384 3 2520766 0 0 0 0 208678 367 20 0 22 0 419691373 8481841152 36010 33554432000 4194304 4196468 140720887789520 140268934261088 140271417919189 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15097] ppid=15053 vsize=8283048 memory=14012 CPUtime=2090.61 cores=0-7 /proc/15078/task/15097/stat : 15097 (java) S 15053 15053 11928 0 -1 1077944384 21 2520766 0 0 16 0 208678 367 20 0 22 0 419691373 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270237628720 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15099] ppid=15053 vsize=8283048 memory=19732 CPUtime=2090.45 cores=0-7 /proc/15078/task/15099/stat : 15099 (java) S 15053 15053 11928 0 -1 1077944384 24 2520766 0 0 0 0 208678 367 20 0 22 0 419691442 8481841152 36010 33554432000 4194304 4196468 140720887789520 140270229594640 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 [pid=15078/tid=15103] ppid=15053 vsize=8283048 memory=14068 CPUtime=2090.45 cores=0-7 /proc/15078/task/15103/stat : 15103 (java) S 15053 15053 11928 0 -1 1077944384 13 2520766 0 0 0 0 208678 367 20 0 22 0 419691445 8481841152 36010 33554432000 4194304 4196468 140720887789520 140267994736176 140271417920130 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18923520 140720887796727 140720887796886 140720887796886 140720887799759 0 Current children cumulated CPU time: 2121.48 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 145516 KiB Child status: 0 Real time (s): 287.03 CPU time (s): 2121.54 CPU user time (s): 2116.31 CPU system time (s): 5.23708 CPU usage (%): 739.138 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 5859684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2116.31 system time used= 5.23708 maximum resident set size= 5859068 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2588000 page faults= 0 swaps= 0 block input operations= 0 block output operations= 36760 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52397 involuntary context switches= 21079 # summary of solver processes directly reported to runsolver: # pid: 15053 # total CPU time (s): 2121.54 # total CPU user time (s): 2116.31 # total CPU system time (s): 5.23708 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.67122 second user time and 4.00205 second system time The end
Begin job on node148 at 2019-09-14 06:27:28 IDJOB=4392353 IDBENCH=133923 IDSOLVER=2838 FILE ID=node148/4392353-1568435284 RUNJOBID= node148-1568432499-11955 PBS_JOBID= 21702314 Free space on /tmp= 61308 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-14.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-4392353-1568435284/watcher-4392353-1568435284 -o /tmp/evaluation-result-4392353-1568435284/solver-4392353-1568435284 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --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-4392353-1568435284.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa RANDOM SEED=1224903844 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31541328 kB MemAvailable: 31908992 kB Buffers: 96012 kB Cached: 567104 kB SwapCached: 3812 kB Active: 408840 kB Inactive: 260548 kB Active(anon): 3044 kB Inactive(anon): 43744 kB Active(file): 405796 kB Inactive(file): 216804 kB Unevictable: 108944 kB Mlocked: 108944 kB SwapTotal: 67108860 kB SwapFree: 67004232 kB Dirty: 20192 kB Writeback: 0 kB AnonPages: 112156 kB Mapped: 44332 kB Shmem: 32352 kB Slab: 150376 kB SReclaimable: 121800 kB SUnreclaim: 28576 kB KernelStack: 3344 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61288 MiB End job on node148 at 2019-09-14 06:32:15