Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-09-22) | UNSAT | 5776.81 | 1722.56 |
Name | Random/Random-m1-5-12-12t/ rand-5-12-12-200-t85-6.xml |
MD5SUM | 28aba8525a2c57af7de5748c3b9cdf6b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 14.7938 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 12 |
Number of constraints | 200 |
Number of domains | 1 |
Minimum domain size | 12 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":12,"count":12}] |
Minimum variable degree | 72 |
Maximum variable degree | 102 |
Distribution of variable degrees | [{"degree":72,"count":1},{"degree":76,"count":2},{"degree":79,"count":1},{"degree":82,"count":2},{"degree":83,"count":1},{"degree":85,"count":1},{"degree":86,"count":1},{"degree":88,"count":1},{"degree":89,"count":1},{"degree":102,"count":1}] |
Minimum constraint arity | 5 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":5,"count":200}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-29699-serial-file.bin HOME/instance-4405567-1569238652.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Mon Sep 23 13:36:57 CEST 2019 0.65/0.56 c PID: 29702 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 19.42/12.23 c (11,10) Parsing End 19.42/12.24 c (11,10) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12 19.42/12.24 c (11,10) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.42/12.24 c (11,10) Constraint Name Generate Begin 19.42/12.24 c (11,10) Ctr:HOME/instance-4405567-1569238652.xml,ExtensionSupport:Var 19.42/12.24 c (11,10) Constraint Name Generate End 19.42/12.24 c (11,10) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.42/12.24 c (11,10) CSP to CSPinCNF Begin 117.86/80.90 c (80,77) translated 20 (10%) constraints 210.49/152.62 c (152,146) translated 40 (20%) constraints 292.86/222.89 c (222,214) translated 60 (30%) constraints 376.39/293.36 c (292,283) translated 80 (40%) constraints 460.17/363.86 c (363,351) translated 100 (50%) constraints 541.27/433.53 c (432,419) translated 120 (60%) constraints 623.20/503.59 c (503,488) translated 140 (70%) constraints 705.68/573.48 c (572,556) translated 160 (80%) constraints 784.88/643.07 c (642,624) translated 180 (90%) constraints 867.86/713.01 c (712,692) translated 200 (100%) constraints 871.26/716.40 c (715,695) =========================================== 874.28/719.45 c (718,698) Hybrid: #OE=610588, #LE=0 874.28/719.45 c (718,698) Hybrid 874.28/719.45 c (718,698) =========================================== 901.28/742.47 c (741,721) translated 1022624 (10%) constraints 929.32/765.66 c (765,743) translated 2045248 (20%) constraints 958.18/788.98 c (788,766) translated 3067871 (30%) constraints 992.63/812.87 c (812,788) translated 4090495 (40%) constraints 1021.40/836.09 c (835,810) translated 5113118 (50%) constraints 1049.84/859.33 c (858,833) translated 6135742 (60%) constraints 1078.30/882.61 c (882,855) translated 7158366 (70%) constraints 1107.05/905.92 c (905,878) translated 8180989 (80%) constraints 1135.89/929.29 c (928,901) translated 9203613 (90%) constraints 1164.80/952.67 c (952,923) translated 10226236 (100%) constraints 1164.80/952.67 c (952,923) CSP to CSPinCNF End 1165.02/952.87 c (952,923) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1165.02/952.87 c (952,923) Heap : 19075 MiB used (max 21922 MiB), NonHeap : 26 MiB used (max 0 MiB) 1165.02/952.87 c (952,923) CSPinCNF Propagation Begin 1548.55/1050.60 c (1050,979) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed 1548.55/1050.60 c (1050,979) CSPinCNF Propagation End 1548.87/1050.81 c (1050,980) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1548.87/1050.81 c (1050,980) Heap : 19106 MiB used (max 21991 MiB), NonHeap : 27 MiB used (max 0 MiB) 1551.47/1053.48 c (1052,982) Hybrid: #OE=610588, #LE=0 1551.47/1053.48 c (1052,982) Simplify CSPinCNF Begin 1753.60/1097.49 c (1096,1003) Simplify CSPinCNF End 1753.80/1097.70 c (1097,1003) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1753.80/1097.70 c (1097,1003) Heap : 14517 MiB used (max 21272 MiB), NonHeap : 27 MiB used (max 0 MiB) 1753.80/1097.70 c (1097,1003) Calculate Precise Domain Begin 1753.80/1097.70 c (1097,1003) 0 values are removed by re-calculation 1753.80/1097.70 c (1097,1003) Calculate Precise Domain End 1754.11/1097.92 c (1097,1004) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1754.11/1097.92 c (1097,1004) Heap : 14521 MiB used (max 21272 MiB), NonHeap : 27 MiB used (max 0 MiB) 1754.11/1097.92 c (1097,1004) CSPinCNF to SatSolver Begin 1773.50/1110.03 c (1109,1015) 1022624 (10 %) CSP clauses are encoded (0 SAT variables, 1022743 SAT clauses) 1791.93/1121.20 c (1120,1025) 2045248 (20 %) CSP clauses are encoded (0 SAT variables, 2045367 SAT clauses) 1818.07/1133.36 c (1132,1035) 3067871 (30 %) CSP clauses are encoded (0 SAT variables, 3067990 SAT clauses) 1857.65/1147.23 c (1146,1045) 4090495 (40 %) CSP clauses are encoded (0 SAT variables, 4090614 SAT clauses) 1898.36/1161.22 c (1160,1055) 5113118 (50 %) CSP clauses are encoded (0 SAT variables, 5113237 SAT clauses) 1944.40/1175.95 c (1175,1066) 6135742 (60 %) CSP clauses are encoded (0 SAT variables, 6135861 SAT clauses) 1968.14/1187.82 c (1187,1076) 7158366 (70 %) CSP clauses are encoded (0 SAT variables, 7158485 SAT clauses) 1997.85/1200.47 c (1199,1086) 8180989 (80 %) CSP clauses are encoded (0 SAT variables, 8181108 SAT clauses) 2021.14/1212.36 c (1211,1096) 9203613 (90 %) CSP clauses are encoded (0 SAT variables, 9203732 SAT clauses) 2051.35/1225.17 c (1224,1106) 10226236 (100 %) CSP clauses are encoded (0 SAT variables, 10226355 SAT clauses) 2051.35/1225.17 c (1224,1106) CSPinCNF to SatSolver End 2051.35/1225.17 c (1224,1106) Heap : 15888 MiB used (max 20884 MiB), NonHeap : 29 MiB used (max 0 MiB) 2051.35/1225.17 c (1224,1106) 610708 bool, 10226356 clause 2051.35/1225.17 c (1224,1106) Export Begin 2051.74/1225.26 c (1224,1107) Export to HOME/scop-29699-serial-file.bin 2051.74/1225.26 c (1224,1107) Export End 2051.74/1225.27 c (1224,1107) Export File Size: 0.00 MB 2051.74/1225.27 c (1224,1107) 11,11,952,1050,1097,1097,1224,STOP-AFTER(DIMACS) 2051.74/1225.27 c END-Prog: Mon Sep 23 13:57:22 CEST 2019 0.00/1225.37 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-29699-serial-file.bin 2052.49/1225.84 c (0,0) Read Serial File Begin 2052.49/1225.84 c (0,0) HOME/scop-29699-serial-file.bin 2052.77/1226.04 c (0,0) Read Serial File End 2052.77/1226.06 2053.08/1226.20 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 2053.08/1226.20 (Solving Process) 2053.08/1226.20 2053.08/1226.20 c BEGIN-Prog: Mon Sep 23 13:57:23 CEST 2019 2053.08/1226.20 c PID: 29812 2053.08/1226.20 c IP: 172.20.3.148 2053.08/1226.20 c HOST: node148.alineos.net 2053.08/1226.20 c (0,0) SatSolver.solve Begin 2053.08/1226.20 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405567-1569238652.xml-scop-29702.cnf 2053.08/1226.20 c (0,0) c 2053.08/1226.20 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) 2053.08/1226.20 c (0,0) c 2053.08/1226.20 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 2053.08/1226.20 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 2053.08/1226.20 c (0,0) c ========================================[ Problem Statistics ]=========================================== 2053.08/1226.20 c (0,0) c | | 2056.77/1229.97 c (4,0) c | Number of variables: 610708 | 2056.77/1229.97 c (4,0) c | Number of clauses: 10226356 | 2056.77/1229.97 c (4,0) c | Parse time: 3.46 s | 2056.77/1229.97 c (4,0) c | | 2057.87/1231.02 c (5,0) c | Too many clauses... No preprocessing | 2057.87/1231.02 c (5,0) c | Simplification time: 0.97 s | 2057.87/1231.02 c (5,0) c | | 2057.87/1231.03 c (5,0) c | Generating clones | 2060.08/1233.28 c (7,0) c | all clones generated. Memory = 5319.45Mb. | 2060.08/1233.28 c (7,0) c ========================================================================================================| 2060.08/1233.29 c (7,0) c 2060.08/1233.29 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2060.08/1233.29 c (7,0) c 2060.08/1233.29 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2060.08/1233.29 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2060.08/1233.29 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2060.08/1233.29 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2060.08/1233.29 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 2060.08/1233.29 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2060.08/1233.29 c (7,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 2060.08/1233.29 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2060.08/1233.29 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2060.08/1233.29 c (7,0) c | glureduce | True | True | True | True | True | True | True | True | 2060.08/1233.29 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2060.08/1233.29 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2060.08/1233.29 c (7,0) c | luby_restart | False | False | False | False | False | False | False | False | 2060.08/1233.29 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2060.08/1233.29 c (7,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 2060.08/1233.29 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2060.08/1233.29 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2060.08/1233.29 c (7,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2060.08/1233.29 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2270.56/1262.77 c (37,0) c 2270.56/1262.77 c (37,0) c |------------------------------------------------------------------------------------------------------------------------| 2270.56/1262.77 c (37,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2270.56/1262.77 c (37,0) c |------------------------------------------------------------------------------------------------------------------------| 2270.56/1262.77 c (37,0) c | 0 | 1 | 808 | 403 | 12570 | 403 | 5 | 0 | 0 | 96 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c | 1 | 3 | 942 | 544 | 23585 | 544 | 9 | 34 | 0 | 110 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c | 2 | 1 | 544 | 332 | 30872 | 332 | 7 | 0 | 0 | 110 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c | 3 | 3 | 790 | 459 | 15758 | 459 | 11 | 11 | 0 | 90 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c | 4 | 2 | 482 | 311 | 11223 | 311 | 1 | 24 | 0 | 110 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c | 5 | 2 | 547 | 341 | 17233 | 341 | 6 | 1 | 0 | 97 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c | 6 | 2 | 535 | 282 | 20316 | 282 | 8 | 21 | 0 | 110 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c | 7 | 1 | 1004 | 438 | 19048 | 438 | 18 | 0 | 0 | 110 | 20 | 0.000 | 2270.56/1262.77 c (37,0) c 2270.56/1262.77 c (37,0) c synthesis 3110 conflicts 264094854 propagations 16 conflicts/sec 1399334 propagations/sec 2270.56/1262.77 c (37,0) c real: 36.6651 s, cpu: 188.729 s, memory: 6903.61 Mb 2491.57/1291.77 c (66,0) c 2491.57/1291.77 c (66,0) c |------------------------------------------------------------------------------------------------------------------------| 2491.57/1291.77 c (66,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2491.57/1291.77 c (66,0) c |------------------------------------------------------------------------------------------------------------------------| 2491.57/1291.77 c (66,0) c | 0 | 2 | 2044 | 1200 | 24009 | 1200 | 11 | 64 | 0 | 210 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c | 1 | 3 | 2639 | 1846 | 32640 | 1846 | 22 | 34 | 0 | 221 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c | 2 | 3 | 1254 | 792 | 42182 | 792 | 17 | 68 | 0 | 221 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c | 3 | 3 | 1364 | 929 | 26838 | 929 | 22 | 11 | 0 | 202 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c | 4 | 2 | 1589 | 1094 | 27556 | 1094 | 31 | 24 | 0 | 222 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c | 5 | 2 | 1507 | 1022 | 33711 | 1022 | 8 | 1 | 0 | 217 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c | 6 | 3 | 1316 | 838 | 36064 | 838 | 17 | 61 | 0 | 222 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c | 7 | 2 | 3463 | 2214 | 49078 | 1222 | 42 | 34 | 0 | 222 | 20 | 0.000 | 2491.57/1291.77 c (66,0) c 2491.57/1291.77 c (66,0) c synthesis 9935 conflicts 574904332 propagations 24 conflicts/sec 1413108 propagations/sec 2491.57/1291.77 c (66,0) c real: 65.6653 s, cpu: 406.837 s, memory: 6961.50 Mb 2721.11/1321.77 c (96,0) c 2721.11/1321.77 c (96,0) c |------------------------------------------------------------------------------------------------------------------------| 2721.11/1321.77 c (96,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2721.11/1321.77 c (96,0) c |------------------------------------------------------------------------------------------------------------------------| 2721.11/1321.77 c (96,0) c | 0 | 2 | 3235 | 2133 | 29111 | 1138 | 22 | 64 | 0 | 327 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c | 1 | 3 | 4057 | 3015 | 38881 | 2023 | 34 | 34 | 0 | 334 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c | 2 | 4 | 2029 | 1236 | 49938 | 1236 | 26 | 205 | 0 | 335 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c | 3 | 3 | 1840 | 1361 | 35404 | 1361 | 31 | 11 | 0 | 315 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c | 4 | 3 | 3038 | 2141 | 42838 | 1143 | 38 | 201 | 2 | 335 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c | 5 | 2 | 2837 | 1902 | 50324 | 1902 | 20 | 1 | 0 | 335 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c | 6 | 3 | 2144 | 1378 | 47051 | 1378 | 27 | 61 | 0 | 335 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c | 7 | 4 | 5029 | 3409 | 56494 | 2417 | 81 | 154 | 0 | 335 | 20 | 0.000 | 2721.11/1321.77 c (96,0) c 2721.11/1321.77 c (96,0) c synthesis 16575 conflicts 868347630 propagations 26 conflicts/sec 1367243 propagations/sec 2721.11/1321.77 c (96,0) c real: 95.6653 s, cpu: 635.109 s, memory: 6992.70 Mb 2935.12/1350.77 c (125,0) c 2935.12/1350.77 c (125,0) c |------------------------------------------------------------------------------------------------------------------------| 2935.12/1350.77 c (125,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2935.12/1350.77 c (125,0) c |------------------------------------------------------------------------------------------------------------------------| 2935.12/1350.77 c (125,0) c | 0 | 2 | 4174 | 2857 | 36702 | 1862 | 26 | 64 | 0 | 441 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c | 1 | 3 | 5218 | 4003 | 42146 | 3011 | 42 | 34 | 0 | 439 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c | 2 | 4 | 2487 | 1590 | 63598 | 1590 | 34 | 205 | 1 | 441 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c | 3 | 3 | 2297 | 1766 | 41186 | 1766 | 35 | 11 | 0 | 421 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c | 4 | 3 | 4515 | 3231 | 56958 | 2233 | 43 | 201 | 4 | 441 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c | 5 | 3 | 4520 | 3044 | 65005 | 2052 | 32 | 301 | 0 | 441 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c | 6 | 3 | 3041 | 1959 | 56780 | 1959 | 43 | 61 | 0 | 441 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c | 7 | 4 | 6714 | 4775 | 61791 | 3783 | 126 | 154 | 0 | 441 | 20 | 0.000 | 2935.12/1350.77 c (125,0) c 2935.12/1350.77 c (125,0) c synthesis 23225 conflicts 1138009778 propagations 27 conflicts/sec 1344277 propagations/sec 2935.12/1350.77 c (125,0) c real: 124.665 s, cpu: 846.559 s, memory: 7010.68 Mb 3156.14/1379.77 c (154,0) c 3156.14/1379.77 c (154,0) c |------------------------------------------------------------------------------------------------------------------------| 3156.14/1379.77 c (154,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3156.14/1379.77 c (154,0) c |------------------------------------------------------------------------------------------------------------------------| 3156.14/1379.77 c (154,0) c | 0 | 2 | 4979 | 3417 | 55456 | 2422 | 39 | 64 | 0 | 555 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c | 1 | 3 | 6932 | 5374 | 46621 | 4382 | 179 | 34 | 0 | 551 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c | 2 | 5 | 3122 | 2024 | 73848 | 1024 | 49 | 462 | 3 | 551 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c | 3 | 3 | 2895 | 2289 | 47849 | 1294 | 43 | 11 | 0 | 535 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c | 4 | 3 | 6149 | 4410 | 69858 | 3412 | 47 | 201 | 4 | 555 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c | 5 | 3 | 5083 | 3501 | 69417 | 2509 | 38 | 301 | 1 | 551 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c | 6 | 6 | 5546 | 3650 | 88007 | 2654 | 67 | 477 | 0 | 555 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c | 7 | 4 | 8359 | 6149 | 67474 | 5157 | 324 | 154 | 0 | 555 | 20 | 0.000 | 3156.14/1379.77 c (154,0) c 3156.14/1379.77 c (154,0) c synthesis 30814 conflicts 1420476295 propagations 29 conflicts/sec 1332657 propagations/sec 3156.14/1379.77 c (154,0) c real: 153.666 s, cpu: 1065.9 s, memory: 7023.22 Mb 3388.63/1409.77 c (184,0) c 3388.63/1409.77 c (184,0) c |------------------------------------------------------------------------------------------------------------------------| 3388.63/1409.77 c (184,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3388.63/1409.77 c (184,0) c |------------------------------------------------------------------------------------------------------------------------| 3388.63/1409.77 c (184,0) c | 0 | 2 | 6067 | 4164 | 70852 | 3169 | 58 | 64 | 0 | 676 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c | 1 | 3 | 7765 | 6095 | 50197 | 5103 | 404 | 34 | 0 | 661 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c | 2 | 5 | 4017 | 2687 | 82217 | 1687 | 51 | 462 | 3 | 677 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c | 3 | 3 | 4154 | 3322 | 58192 | 2327 | 52 | 11 | 0 | 659 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c | 4 | 4 | 8292 | 6002 | 86065 | 5004 | 377 | 1015 | 5 | 673 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c | 5 | 4 | 5671 | 4011 | 72681 | 3019 | 47 | 709 | 2 | 664 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c | 6 | 8 | 7747 | 5222 | 106597 | 4226 | 107 | 1152 | 4 | 678 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c | 7 | 4 | 10113 | 7567 | 73317 | 3774 | 476 | 154 | 0 | 674 | 20 | 0.000 | 3388.63/1409.77 c (184,0) c 3388.63/1409.77 c (184,0) c synthesis 39070 conflicts 1686688068 propagations 30 conflicts/sec 1300109 propagations/sec 3388.63/1409.77 c (184,0) c real: 183.665 s, cpu: 1297.34 s, memory: 7037.19 Mb 3618.36/1439.77 c (214,0) c 3618.36/1439.77 c (214,0) c |------------------------------------------------------------------------------------------------------------------------| 3618.36/1439.77 c (214,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3618.36/1439.77 c (214,0) c |------------------------------------------------------------------------------------------------------------------------| 3618.36/1439.77 c (214,0) c | 0 | 3 | 7118 | 4855 | 83168 | 3860 | 65 | 1718 | 0 | 791 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c | 1 | 3 | 8422 | 6678 | 53955 | 2888 | 574 | 34 | 0 | 772 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c | 2 | 5 | 5197 | 3509 | 91054 | 2509 | 54 | 462 | 3 | 792 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c | 3 | 5 | 6352 | 5039 | 72548 | 4044 | 115 | 1398 | 1 | 785 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c | 4 | 5 | 9801 | 7155 | 93222 | 3357 | 683 | 1361 | 6 | 792 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c | 5 | 4 | 6207 | 4446 | 77787 | 3454 | 64 | 709 | 2 | 777 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c | 6 | 10 | 9777 | 6794 | 118326 | 2999 | 364 | 2079 | 9 | 791 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c | 7 | 4 | 11670 | 8857 | 79099 | 5064 | 647 | 154 | 0 | 792 | 20 | 0.000 | 3618.36/1439.77 c (214,0) c 3618.36/1439.77 c (214,0) c synthesis 47333 conflicts 1933927056 propagations 31 conflicts/sec 1267029 propagations/sec 3618.36/1439.77 c (214,0) c real: 213.665 s, cpu: 1526.35 s, memory: 7049.09 Mb 3843.97/1468.77 c (243,0) c 3843.97/1468.77 c (243,0) c |------------------------------------------------------------------------------------------------------------------------| 3843.97/1468.77 c (243,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3843.97/1468.77 c (243,0) c |------------------------------------------------------------------------------------------------------------------------| 3843.97/1468.77 c (243,0) c | 0 | 3 | 9561 | 6522 | 108034 | 5527 | 408 | 1718 | 0 | 900 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c | 1 | 3 | 9015 | 7178 | 57748 | 3388 | 671 | 34 | 0 | 880 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c | 2 | 5 | 6425 | 4373 | 106269 | 3373 | 72 | 462 | 3 | 893 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c | 3 | 5 | 9014 | 7202 | 85625 | 3405 | 441 | 1398 | 1 | 900 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c | 4 | 5 | 10263 | 7559 | 95602 | 3761 | 759 | 1361 | 6 | 884 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c | 5 | 4 | 6845 | 4962 | 81774 | 3970 | 88 | 709 | 2 | 887 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c | 6 | 10 | 10813 | 7648 | 122880 | 3853 | 461 | 2079 | 16 | 900 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c | 7 | 4 | 12966 | 9960 | 85338 | 6167 | 826 | 154 | 0 | 900 | 20 | 0.000 | 3843.97/1468.77 c (243,0) c 3843.97/1468.77 c (243,0) c synthesis 55404 conflicts 2163260856 propagations 32 conflicts/sec 1237257 propagations/sec 3843.97/1468.77 c (243,0) c real: 242.665 s, cpu: 1748.43 s, memory: 7056.36 Mb 4069.66/1497.77 c (272,0) c 4069.66/1497.77 c (272,0) c |------------------------------------------------------------------------------------------------------------------------| 4069.66/1497.77 c (272,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4069.66/1497.77 c (272,0) c |------------------------------------------------------------------------------------------------------------------------| 4069.66/1497.77 c (272,0) c | 0 | 3 | 12529 | 8564 | 125391 | 4767 | 835 | 1718 | 1 | 1008 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c | 1 | 3 | 9661 | 7733 | 61128 | 3943 | 804 | 34 | 0 | 988 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c | 2 | 5 | 7957 | 5499 | 121363 | 4499 | 187 | 462 | 3 | 1008 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c | 3 | 5 | 11230 | 8977 | 95364 | 5180 | 666 | 1398 | 1 | 1008 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c | 4 | 5 | 11080 | 8189 | 99900 | 4391 | 859 | 1361 | 6 | 998 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c | 5 | 4 | 8206 | 6068 | 89912 | 5076 | 248 | 709 | 12 | 1007 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c | 6 | 10 | 11896 | 8536 | 127759 | 4741 | 524 | 2079 | 16 | 1004 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c | 7 | 4 | 14605 | 11325 | 89786 | 7532 | 982 | 154 | 0 | 1003 | 20 | 0.000 | 4069.66/1497.77 c (272,0) c 4069.66/1497.77 c (272,0) c synthesis 64891 conflicts 2406834181 propagations 33 conflicts/sec 1220664 propagations/sec 4069.66/1497.77 c (272,0) c real: 271.665 s, cpu: 1971.74 s, memory: 7061.55 Mb 4296.68/1526.77 c (301,0) c 4296.68/1526.77 c (301,0) c |------------------------------------------------------------------------------------------------------------------------| 4296.68/1526.77 c (301,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4296.68/1526.77 c (301,0) c |------------------------------------------------------------------------------------------------------------------------| 4296.68/1526.77 c (301,0) c | 0 | 3 | 14415 | 9904 | 140970 | 6107 | 1104 | 1718 | 1 | 1119 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c | 1 | 3 | 10384 | 8331 | 64028 | 4541 | 989 | 34 | 0 | 1099 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c | 2 | 7 | 9112 | 6231 | 130216 | 5231 | 338 | 5890 | 8 | 1116 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c | 3 | 5 | 13793 | 11103 | 105355 | 7306 | 944 | 1398 | 1 | 1119 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c | 4 | 5 | 11688 | 8702 | 105390 | 4904 | 991 | 1361 | 6 | 1114 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c | 5 | 4 | 9578 | 7153 | 95805 | 3360 | 425 | 709 | 17 | 1119 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c | 6 | 10 | 13331 | 9708 | 137431 | 5913 | 679 | 2079 | 27 | 1107 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c | 7 | 4 | 16076 | 12575 | 94168 | 8782 | 1159 | 154 | 0 | 1104 | 20 | 0.000 | 4296.68/1526.77 c (301,0) c 4296.68/1526.77 c (301,0) c synthesis 73707 conflicts 2640961820 propagations 34 conflicts/sec 1202358 propagations/sec 4296.68/1526.77 c (301,0) c real: 300.665 s, cpu: 2196.49 s, memory: 7065.46 Mb 4523.27/1556.77 c (331,0) c 4523.27/1556.77 c (331,0) c |------------------------------------------------------------------------------------------------------------------------| 4523.27/1556.77 c (331,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4523.27/1556.77 c (331,0) c |------------------------------------------------------------------------------------------------------------------------| 4524.03/1556.87 c (331,0) c | 0 | 3 | 16519 | 11359 | 159684 | 7562 | 1509 | 1718 | 1 | 1229 | 20 | 0.000 | 4524.03/1556.87 c (331,0) c | 1 | 3 | 11418 | 9173 | 70063 | 5383 | 1200 | 34 | 0 | 1209 | 20 | 0.000 | 4524.03/1556.87 c (331,0) c | 2 | 7 | 10996 | 7395 | 151216 | 3597 | 585 | 5890 | 10 | 1229 | 20 | 0.000 | 4524.03/1556.87 c (331,0) c | 3 | 5 | 16001 | 12882 | 112502 | 3288 | 1196 | 6260 | 1 | 1229 | 20 | 0.003 | 4524.03/1556.87 c (331,0) c | 4 | 5 | 12379 | 9242 | 110828 | 5444 | 1121 | 1361 | 7 | 1229 | 20 | 0.000 | 4524.03/1556.87 c (331,0) c | 5 | 4 | 10770 | 8133 | 102298 | 4340 | 534 | 709 | 17 | 1229 | 20 | 0.000 | 4524.03/1556.87 c (331,0) c | 6 | 10 | 14467 | 10671 | 143441 | 6876 | 782 | 2079 | 29 | 1229 | 20 | 0.000 | 4524.03/1556.87 c (331,0) c | 7 | 4 | 17954 | 14136 | 98945 | 5343 | 1307 | 154 | 0 | 1227 | 20 | 0.000 | 4524.03/1556.87 c (331,0) c 4524.03/1556.87 c (331,0) c synthesis 82991 conflicts 2881412965 propagations 34 conflicts/sec 1190053 propagations/sec 4524.03/1556.87 c (331,0) c real: 330.665 s, cpu: 2421.25 s, memory: 7069.60 Mb 4746.98/1586.77 c (361,0) c 4746.98/1586.77 c (361,0) c |------------------------------------------------------------------------------------------------------------------------| 4746.98/1586.77 c (361,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4746.98/1586.77 c (361,0) c |------------------------------------------------------------------------------------------------------------------------| 4746.98/1586.77 c (361,0) c | 0 | 4 | 18257 | 12476 | 176129 | 6488 | 1810 | 6836 | 14 | 1338 | 20 | 0.016 | 4746.98/1586.77 c (361,0) c | 1 | 3 | 12469 | 10055 | 74751 | 6265 | 1419 | 34 | 0 | 1319 | 20 | 0.000 | 4746.98/1586.77 c (361,0) c | 2 | 7 | 12310 | 8345 | 164735 | 4546 | 822 | 5890 | 15 | 1339 | 20 | 0.000 | 4746.98/1586.77 c (361,0) c | 3 | 5 | 18527 | 14944 | 120278 | 3248 | 1491 | 7345 | 3 | 1339 | 20 | 0.016 | 4746.98/1586.77 c (361,0) c | 4 | 5 | 12960 | 9727 | 114007 | 5929 | 1195 | 1361 | 7 | 1339 | 20 | 0.000 | 4746.98/1586.77 c (361,0) c | 5 | 4 | 12107 | 9243 | 106745 | 5449 | 684 | 709 | 17 | 1339 | 20 | 0.000 | 4746.98/1586.77 c (361,0) c | 6 | 10 | 15884 | 11856 | 148796 | 8061 | 889 | 2079 | 36 | 1339 | 20 | 0.000 | 4746.98/1586.77 c (361,0) c | 7 | 4 | 19514 | 15449 | 103095 | 6656 | 1468 | 154 | 0 | 1339 | 20 | 0.000 | 4746.98/1586.77 c (361,0) c 4746.98/1586.77 c (361,0) c synthesis 92095 conflicts 3111266470 propagations 35 conflicts/sec 1176967 propagations/sec 4746.98/1586.77 c (361,0) c real: 360.665 s, cpu: 2643.46 s, memory: 7072.05 Mb 4973.12/1615.77 c (390,0) c 4973.12/1615.77 c (390,0) c |------------------------------------------------------------------------------------------------------------------------| 4973.12/1615.77 c (390,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4973.12/1615.77 c (390,0) c |------------------------------------------------------------------------------------------------------------------------| 4973.12/1615.77 c (390,0) c | 0 | 4 | 19256 | 13163 | 183745 | 7175 | 1967 | 6836 | 27 | 1448 | 20 | 0.016 | 4973.12/1615.77 c (390,0) c | 1 | 4 | 13881 | 11199 | 79280 | 6824 | 1671 | 8387 | 6 | 1431 | 20 | 0.016 | 4973.12/1615.77 c (390,0) c | 2 | 7 | 14204 | 9759 | 186219 | 5961 | 1207 | 5890 | 25 | 1451 | 20 | 0.000 | 4973.12/1615.77 c (390,0) c | 3 | 5 | 21187 | 17143 | 129386 | 5446 | 1642 | 8267 | 5 | 1443 | 20 | 0.016 | 4973.12/1615.77 c (390,0) c | 4 | 5 | 14299 | 10769 | 124013 | 6971 | 1374 | 1361 | 7 | 1451 | 20 | 0.000 | 4973.12/1615.77 c (390,0) c | 5 | 4 | 13874 | 10682 | 113188 | 6889 | 858 | 709 | 19 | 1451 | 20 | 0.000 | 4973.12/1615.77 c (390,0) c | 6 | 10 | 17325 | 12995 | 153067 | 9200 | 1011 | 2079 | 52 | 1451 | 20 | 0.000 | 4973.12/1615.77 c (390,0) c | 7 | 4 | 20826 | 16517 | 106475 | 7724 | 1596 | 154 | 0 | 1443 | 20 | 0.000 | 4973.12/1615.77 c (390,0) c 4973.12/1615.77 c (390,0) c synthesis 102227 conflicts 3319573071 propagations 36 conflicts/sec 1157883 propagations/sec 4973.12/1615.77 c (390,0) c real: 389.665 s, cpu: 2866.93 s, memory: 7076.19 Mb 5189.41/1644.77 c (419,0) c 5189.41/1644.77 c (419,0) c |------------------------------------------------------------------------------------------------------------------------| 5189.41/1644.77 c (419,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5189.41/1644.77 c (419,0) c |------------------------------------------------------------------------------------------------------------------------| 5189.41/1644.77 c (419,0) c | 0 | 4 | 20358 | 14044 | 192192 | 4155 | 2118 | 6836 | 40 | 1556 | 20 | 0.016 | 5189.41/1644.77 c (419,0) c | 1 | 4 | 16321 | 13232 | 88056 | 8857 | 2047 | 8387 | 37 | 1537 | 20 | 0.016 | 5189.41/1644.77 c (419,0) c | 2 | 7 | 15118 | 10404 | 190181 | 6606 | 1390 | 5890 | 28 | 1557 | 20 | 0.000 | 5189.41/1644.77 c (419,0) c | 3 | 6 | 24338 | 19759 | 138651 | 6294 | 1872 | 10471 | 9 | 1557 | 20 | 0.034 | 5189.41/1644.77 c (419,0) c | 4 | 5 | 15269 | 11436 | 139548 | 3736 | 1531 | 9875 | 17 | 1556 | 20 | 0.034 | 5189.41/1644.77 c (419,0) c | 5 | 4 | 15485 | 12002 | 118983 | 8209 | 1027 | 709 | 24 | 1556 | 20 | 0.000 | 5189.41/1644.77 c (419,0) c | 6 | 10 | 19194 | 14481 | 159898 | 5689 | 1150 | 2079 | 63 | 1556 | 20 | 0.000 | 5189.41/1644.77 c (419,0) c | 7 | 4 | 22256 | 17727 | 110815 | 4370 | 1728 | 10551 | 4 | 1556 | 20 | 0.040 | 5189.41/1644.77 c (419,0) c 5189.41/1644.77 c (419,0) c synthesis 113085 conflicts 3534169320 propagations 37 conflicts/sec 1147038 propagations/sec 5189.41/1644.77 c (419,0) c real: 418.666 s, cpu: 3081.13 s, memory: 7078.52 Mb 5414.21/1673.78 c (448,0) c 5414.21/1673.78 c (448,0) c |------------------------------------------------------------------------------------------------------------------------| 5414.21/1673.78 c (448,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5414.21/1673.78 c (448,0) c |------------------------------------------------------------------------------------------------------------------------| 5414.21/1673.78 c (448,0) c | 0 | 4 | 21028 | 14572 | 197417 | 4683 | 2214 | 6836 | 42 | 1665 | 20 | 0.016 | 5414.21/1673.78 c (448,0) c | 1 | 4 | 18898 | 15376 | 97853 | 6289 | 2342 | 8387 | 83 | 1645 | 20 | 0.016 | 5414.21/1673.78 c (448,0) c | 2 | 7 | 16008 | 11098 | 195652 | 7300 | 1541 | 5890 | 30 | 1665 | 20 | 0.000 | 5414.21/1673.78 c (448,0) c | 3 | 6 | 27531 | 22393 | 146707 | 8925 | 2143 | 11700 | 17 | 1665 | 20 | 0.043 | 5414.21/1673.78 c (448,0) c | 4 | 5 | 16129 | 12118 | 150377 | 4419 | 1676 | 9875 | 28 | 1665 | 20 | 0.034 | 5414.21/1673.78 c (448,0) c | 5 | 4 | 17203 | 13406 | 126589 | 9613 | 1230 | 709 | 28 | 1665 | 20 | 0.000 | 5414.21/1673.78 c (448,0) c | 6 | 10 | 20869 | 15876 | 165247 | 7084 | 1290 | 2079 | 64 | 1663 | 20 | 0.000 | 5414.21/1673.78 c (448,0) c | 7 | 4 | 23361 | 18623 | 117632 | 5266 | 1835 | 10551 | 37 | 1665 | 20 | 0.040 | 5414.21/1673.78 c (448,0) c 5414.21/1673.78 c (448,0) c synthesis 123462 conflicts 3759398423 propagations 37 conflicts/sec 1137697 propagations/sec 5414.21/1673.78 c (448,0) c real: 447.665 s, cpu: 3304.39 s, memory: 7079.94 Mb 5649.63/1703.78 c (478,0) c 5649.63/1703.78 c (478,0) c |------------------------------------------------------------------------------------------------------------------------| 5649.63/1703.78 c (478,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5649.63/1703.78 c (478,0) c |------------------------------------------------------------------------------------------------------------------------| 5649.63/1703.78 c (478,0) c | 0 | 4 | 21669 | 15086 | 201584 | 5197 | 2283 | 6836 | 47 | 1779 | 20 | 0.016 | 5649.63/1703.78 c (478,0) c | 1 | 4 | 21573 | 17641 | 106985 | 3552 | 2569 | 12406 | 121 | 1764 | 20 | 0.044 | 5649.63/1703.78 c (478,0) c | 2 | 7 | 17399 | 12151 | 203755 | 8353 | 1723 | 5890 | 41 | 1780 | 20 | 0.000 | 5649.63/1703.78 c (478,0) c | 3 | 7 | 30428 | 24815 | 155286 | 5258 | 2378 | 12957 | 44 | 1780 | 20 | 0.044 | 5649.63/1703.78 c (478,0) c | 4 | 5 | 17769 | 13397 | 163093 | 5698 | 1861 | 9875 | 108 | 1782 | 20 | 0.034 | 5649.63/1703.78 c (478,0) c | 5 | 4 | 18521 | 14484 | 134319 | 5691 | 1359 | 709 | 30 | 1780 | 20 | 0.000 | 5649.63/1703.78 c (478,0) c | 6 | 10 | 22385 | 17096 | 169810 | 8304 | 1413 | 2079 | 64 | 1777 | 20 | 0.000 | 5649.63/1703.78 c (478,0) c | 7 | 4 | 24520 | 19550 | 123536 | 6193 | 1942 | 10551 | 58 | 1779 | 20 | 0.040 | 5649.63/1703.78 c (478,0) c 5649.63/1703.78 c (478,0) c synthesis 134220 conflicts 3993506677 propagations 38 conflicts/sec 1128559 propagations/sec 5649.63/1703.78 c (478,0) c real: 477.665 s, cpu: 3538.59 s, memory: 7081.75 Mb 5776.25/1722.14 c (496,0) c 5776.25/1722.14 c (496,0) c real time : 496.03 s 5776.25/1722.14 c (496,0) c cpu time : 3663.81 s 5776.25/1722.14 c (496,0) c 5776.25/1722.14 c (496,0) c 5776.25/1722.14 c (496,0) c 5776.25/1722.14 c (496,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 5776.25/1722.14 c (496,0) c 5776.25/1722.14 c (496,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.14 c (496,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5776.25/1722.14 c (496,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.14 c (496,0) c | Conflicts | 141370 | 15669 | 18962 | 13916 | 26097 | 14137 | 14947 | 17860 | 19782 | 5776.25/1722.14 c (496,0) c | Decisions | 183034 | 22414 | 23164 | 19610 | 31933 | 18645 | 19080 | 23331 | 24857 | 5776.25/1722.14 c (496,0) c | Propagations | 4105563347 | 563228378 | 481325618 | 581422975 | 471198588 | 571179103 | 500480666 | 495965621 | 440762398 | 5776.25/1722.14 c (496,0) c | ReduceDBs | 25 | 3 | 3 | 3 | 4 | 3 | 3 | 3 | 3 | 5776.25/1722.14 c (496,0) c | SimpDBs | 18 | 3 | 3 | 2 | 4 | 2 | 1 | 1 | 2 | 5776.25/1722.14 c (496,0) c | Restarts | 45 | 4 | 4 | 7 | 7 | 5 | 4 | 10 | 4 | 5776.25/1722.14 c (496,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5776.25/1722.14 c (496,0) c | PropBinClauses| 2780508599 | 351578978 | 360794507 | 300000402 | 393795499 | 366917533 | 355011031 | 338637821 | 313772828 | 5776.25/1722.14 c (496,0) c | PropPreBlocker| 44398630537 | 5704754130 | 5290415761 | 5989015792 | 5244055734 | 5624539404 | 5490688681 | 5597677741 | 5457483294 | 5776.25/1722.14 c (496,0) c | PropNotBlocker| 26035819996 | 3039257851 | 3540171894 | 2730272736 | 3567649948 | 2996063031 | 3319152847 | 3265405999 | 3577845690 | 5776.25/1722.14 c (496,0) c | LitFullScans | 88891753182 |11121763731 |11105698936 |11125272157 |11096036761 |11112765362 |11118054619 |11108392925 |11103768691 | 5776.25/1722.14 c (496,0) c | LitScanFracts | 569907146 | 81624574 | 64887044 | 85263979 | 55909232 | 72590900 | 77950821 | 68156367 | 63524229 | 5776.25/1722.14 c (496,0) c | DecisionLevel0| 71 | 6 | 7 | 8 | 24 | 7 | 4 | 10 | 5 | 5776.25/1722.14 c (496,0) c | Periods | 14720 | 1840 | 1840 | 1840 | 1840 | 1840 | 1840 | 1840 | 1840 | 5776.25/1722.14 c (496,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 5776.25/1722.14 c (496,0) c | Avg_Trail | | 137423 | 64642 | 153160 | 47567 | 141971 | 103547 | 106711 | 67711 | 5776.25/1722.14 c (496,0) c | Avg_DL | | 11 | 10 | 11 | 10 | 11 | 11 | 12 | 10 | 5776.25/1722.14 c (496,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5776.25/1722.14 c (496,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5776.25/1722.14 c (496,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.14 c (496,0) c | Exported | 16583 | 2337 | 2745 | 2100 | 2555 | 1956 | 1408 | 1497 | 1985 | 5776.25/1722.14 c (496,0) c | Imported | 77079 | 13039 | 13488 | 13594 | 13744 | 9875 | 709 | 2079 | 10551 | 5776.25/1722.14 c (496,0) c | Good | 3075 | 572 | 556 | 595 | 470 | 364 | 78 | 99 | 341 | 5776.25/1722.14 c (496,0) c | Purge | 74004 | 12467 | 12932 | 12999 | 13274 | 9511 | 631 | 1980 | 10210 | 5776.25/1722.14 c (496,0) c | Promoted | 658 | 89 | 162 | 54 | 55 | 139 | 30 | 65 | 64 | 5776.25/1722.14 c (496,0) c | Remove_Imp | 5162 | 0 | 0 | 283 | 2584 | 2295 | 0 | 0 | 0 | 5776.25/1722.14 c (496,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5776.25/1722.14 c (496,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.14 c (496,0) c | Unaries | | 2 | 3 | 1 | 17 | 2 | 0 | 0 | 1 | 5776.25/1722.14 c (496,0) c | Binaries | | 46 | 130 | 29 | 239 | 38 | 65 | 79 | 100 | 5776.25/1722.14 c (496,0) c | Glues | | 290 | 444 | 261 | 637 | 238 | 360 | 349 | 569 | 5776.25/1722.14 c (496,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.14 c (496,0) c | Orig_Seen | 1 % | 205312 | 112847 | 213553 | 159777 | 168218 | 138110 | 172241 | 126981 | 5776.25/1722.14 c (496,0) c | Diff Orig seen| | 45535 | - 46930 | 53776 | X | 8441 | - 21667 | 12464 | - 32796 | 5776.25/1722.14 c (496,0) c | Hamming | 22 % | 151539 | 146220 | 105931 | X | 151630 | 131358 | 148409 | 146370 | 5776.25/1722.14 c (496,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.14 c (496,0) c | RunningTime | | 469.8 97%| 486.7 100%| 456.0 94%| 472.8 97%| 465.6 96%| 468.4 96%| 459.9 95%| 467.5 96%| 5776.25/1722.14 c (496,0) c | WaitingTime | | 15.7 3%| 2.1 0%| 31.1 6%| 12.2 3%| 21.6 4%| 16.9 3%| 25.9 5%| 18.3 4%| 5776.25/1722.14 c (496,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5776.25/1722.14 c (496,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%| 5776.25/1722.14 c (496,0) c | SolvingTime | | 485.5 | 488.8 | 487.2 | 485.0 | 487.2 | 485.4 | 485.8 | 485.9 | 5776.25/1722.14 c (496,0) c | PropagationTim| | 469.5 97%| 474.3 97%| 472.6 97%| 465.7 96%| 471.7 97%| 471.1 97%| 471.5 97%| 469.9 97%| 5776.25/1722.14 c (496,0) c | AnalysisTime | | 3.5 1%| 3.2 1%| 3.4 1%| 3.6 1%| 3.3 1%| 3.3 1%| 3.6 1%| 3.4 1%| 5776.25/1722.14 c (496,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5776.25/1722.14 c (496,0) c | SimplifyTime | | 1.9 0%| 0.4 0%| 0.5 0%| 4.3 1%| 1.7 0%| 0.0 0%| 0.0 0%| 1.5 0%| 5776.25/1722.14 c (496,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%| 5776.25/1722.14 c (496,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%| 5776.25/1722.14 c (496,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.14 c (496,0) c 5776.25/1722.14 c (496,0) c 5776.25/1722.14 c (496,0) c Threads : 8 5776.25/1722.14 c (496,0) c Winner : 3 5776.25/1722.14 c (496,0) c Conflicts_0 : 15669 5776.25/1722.14 c (496,0) c Conflicts_1 : 18962 5776.25/1722.14 c (496,0) c Conflicts_2 : 13916 5776.25/1722.14 c (496,0) c Conflicts_3 : 26097 5776.25/1722.14 c (496,0) c Conflicts_4 : 14137 5776.25/1722.14 c (496,0) c Conflicts_5 : 14947 5776.25/1722.14 c (496,0) c Conflicts_6 : 17860 5776.25/1722.14 c (496,0) c Conflicts_7 : 19782 5776.25/1722.14 c (496,0) c Conflicts_total : 141370 5776.25/1722.14 c (496,0) c Conflicts_winner : 26097 5776.25/1722.14 c (496,0) c Decisions_0 : 22414 5776.25/1722.14 c (496,0) c Decisions_1 : 23164 5776.25/1722.14 c (496,0) c Decisions_2 : 19610 5776.25/1722.14 c (496,0) c Decisions_3 : 31933 5776.25/1722.14 c (496,0) c Decisions_4 : 18645 5776.25/1722.14 c (496,0) c Decisions_5 : 19080 5776.25/1722.14 c (496,0) c Decisions_6 : 23331 5776.25/1722.14 c (496,0) c Decisions_7 : 24857 5776.25/1722.14 c (496,0) c Decisions_total : 183034 5776.25/1722.14 c (496,0) c Decisions_winner : 31933 5776.25/1722.14 c (496,0) c Propagations_0 : 563228378 5776.25/1722.14 c (496,0) c Propagations_1 : 481325618 5776.25/1722.14 c (496,0) c Propagations_2 : 581422975 5776.25/1722.14 c (496,0) c Propagations_3 : 471198588 5776.25/1722.14 c (496,0) c Propagations_4 : 571179103 5776.25/1722.14 c (496,0) c Propagations_5 : 500480666 5776.25/1722.14 c (496,0) c Propagations_6 : 495965621 5776.25/1722.14 c (496,0) c Propagations_7 : 440762398 5776.25/1722.14 c (496,0) c Propagations_total : 4105563347 5776.25/1722.14 c (496,0) c Propagations_winner : 471198588 5776.25/1722.14 c (496,0) c ReduceDBs_0 : 3 5776.25/1722.14 c (496,0) c ReduceDBs_1 : 3 5776.25/1722.14 c (496,0) c ReduceDBs_2 : 3 5776.25/1722.14 c (496,0) c ReduceDBs_3 : 4 5776.25/1722.14 c (496,0) c ReduceDBs_4 : 3 5776.25/1722.14 c (496,0) c ReduceDBs_5 : 3 5776.25/1722.14 c (496,0) c ReduceDBs_6 : 3 5776.25/1722.14 c (496,0) c ReduceDBs_7 : 3 5776.25/1722.14 c (496,0) c ReduceDBs_total : 25 5776.25/1722.14 c (496,0) c ReduceDBs_winner : 4 5776.25/1722.14 c (496,0) c SimpDBs_0 : 3 5776.25/1722.14 c (496,0) c SimpDBs_1 : 3 5776.25/1722.14 c (496,0) c SimpDBs_2 : 2 5776.25/1722.14 c (496,0) c SimpDBs_3 : 4 5776.25/1722.14 c (496,0) c SimpDBs_4 : 2 5776.25/1722.14 c (496,0) c SimpDBs_5 : 1 5776.25/1722.14 c (496,0) c SimpDBs_6 : 1 5776.25/1722.14 c (496,0) c SimpDBs_7 : 2 5776.25/1722.14 c (496,0) c SimpDBs_total : 18 5776.25/1722.14 c (496,0) c SimpDBs_winner : 4 5776.25/1722.14 c (496,0) c Restarts_0 : 4 5776.25/1722.14 c (496,0) c Restarts_1 : 4 5776.25/1722.14 c (496,0) c Restarts_2 : 7 5776.25/1722.14 c (496,0) c Restarts_3 : 7 5776.25/1722.14 c (496,0) c Restarts_4 : 5 5776.25/1722.14 c (496,0) c Restarts_5 : 4 5776.25/1722.14 c (496,0) c Restarts_6 : 10 5776.25/1722.14 c (496,0) c Restarts_7 : 4 5776.25/1722.14 c (496,0) c Restarts_total : 45 5776.25/1722.14 c (496,0) c Restarts_winner : 7 5776.25/1722.14 c (496,0) c ForcedImports_0 : 0 5776.25/1722.14 c (496,0) c ForcedImports_1 : 0 5776.25/1722.14 c (496,0) c ForcedImports_2 : 0 5776.25/1722.14 c (496,0) c ForcedImports_3 : 0 5776.25/1722.14 c (496,0) c ForcedImports_4 : 0 5776.25/1722.14 c (496,0) c ForcedImports_5 : 0 5776.25/1722.14 c (496,0) c ForcedImports_6 : 0 5776.25/1722.14 c (496,0) c ForcedImports_7 : 0 5776.25/1722.14 c (496,0) c ForcedImports_total : 0 5776.25/1722.14 c (496,0) c ForcedImports_winner : 0 5776.25/1722.14 c (496,0) c PropsBinClauses_0 : 351578978 5776.25/1722.14 c (496,0) c PropsBinClauses_1 : 360794507 5776.25/1722.14 c (496,0) c PropsBinClauses_2 : 300000402 5776.25/1722.14 c (496,0) c PropsBinClauses_3 : 393795499 5776.25/1722.14 c (496,0) c PropsBinClauses_4 : 366917533 5776.25/1722.14 c (496,0) c PropsBinClauses_5 : 355011031 5776.25/1722.14 c (496,0) c PropsBinClauses_6 : 338637821 5776.25/1722.14 c (496,0) c PropsBinClauses_7 : 313772828 5776.25/1722.14 c (496,0) c PropsBinClauses_total : 2780508599 5776.25/1722.14 c (496,0) c PropsBinClauses_winner : 393795499 5776.25/1722.14 c (496,0) c PropsPreBlocker_0 : 5704754130 5776.25/1722.14 c (496,0) c PropsPreBlocker_1 : 5290415761 5776.25/1722.14 c (496,0) c PropsPreBlocker_2 : 5989015792 5776.25/1722.14 c (496,0) c PropsPreBlocker_3 : 5244055734 5776.25/1722.14 c (496,0) c PropsPreBlocker_4 : 5624539404 5776.25/1722.14 c (496,0) c PropsPreBlocker_5 : 5490688681 5776.25/1722.14 c (496,0) c PropsPreBlocker_6 : 5597677741 5776.25/1722.14 c (496,0) c PropsPreBlocker_7 : 5457483294 5776.25/1722.14 c (496,0) c PropsPreBlocker_total : 44398630537 5776.25/1722.14 c (496,0) c PropsPreBlocker_winner : 5244055734 5776.25/1722.14 c (496,0) c PropsNotBlocker_0 : 3039257851 5776.25/1722.14 c (496,0) c PropsNotBlocker_1 : 3540171894 5776.25/1722.14 c (496,0) c PropsNotBlocker_2 : 2730272736 5776.25/1722.14 c (496,0) c PropsNotBlocker_3 : 3567649948 5776.25/1722.14 c (496,0) c PropsNotBlocker_4 : 2996063031 5776.25/1722.14 c (496,0) c PropsNotBlocker_5 : 3319152847 5776.25/1722.14 c (496,0) c PropsNotBlocker_6 : 3265405999 5776.25/1722.14 c (496,0) c PropsNotBlocker_7 : 3577845690 5776.25/1722.14 c (496,0) c PropsNotBlocker_total : 26035819996 5776.25/1722.14 c (496,0) c PropsNotBlocker_winner : 3567649948 5776.25/1722.14 c (496,0) c PropsLitFullScans_0 : 11121763731 5776.25/1722.14 c (496,0) c PropsLitFullScans_1 : 11105698936 5776.25/1722.14 c (496,0) c PropsLitFullScans_2 : 11125272157 5776.25/1722.14 c (496,0) c PropsLitFullScans_3 : 11096036761 5776.25/1722.14 c (496,0) c PropsLitFullScans_4 : 11112765362 5776.25/1722.14 c (496,0) c PropsLitFullScans_5 : 11118054619 5776.25/1722.14 c (496,0) c PropsLitFullScans_6 : 11108392925 5776.25/1722.14 c (496,0) c PropsLitFullScans_7 : 11103768691 5776.25/1722.14 c (496,0) c PropsLitFullScans_total : 88891753182 5776.25/1722.14 c (496,0) c PropsLitFullScans_winner : 11096036761 5776.25/1722.14 c (496,0) c LitScanFractions_0 : 81624574 5776.25/1722.14 c (496,0) c LitScanFractions_1 : 64887044 5776.25/1722.14 c (496,0) c LitScanFractions_2 : 85263979 5776.25/1722.14 c (496,0) c LitScanFractions_3 : 55909232 5776.25/1722.14 c (496,0) c LitScanFractions_4 : 72590900 5776.25/1722.14 c (496,0) c LitScanFractions_5 : 77950821 5776.25/1722.14 c (496,0) c LitScanFractions_6 : 68156367 5776.25/1722.14 c (496,0) c LitScanFractions_7 : 63524229 5776.25/1722.14 c (496,0) c LitScanFractions_total : 569907146 5776.25/1722.14 c (496,0) c LitScanFractions_winner : 55909232 5776.25/1722.14 c (496,0) c DecisionLevel0_0 : 6 5776.25/1722.14 c (496,0) c DecisionLevel0_1 : 7 5776.25/1722.14 c (496,0) c DecisionLevel0_2 : 8 5776.25/1722.14 c (496,0) c DecisionLevel0_3 : 24 5776.25/1722.14 c (496,0) c DecisionLevel0_4 : 7 5776.25/1722.14 c (496,0) c DecisionLevel0_5 : 4 5776.25/1722.14 c (496,0) c DecisionLevel0_6 : 10 5776.25/1722.14 c (496,0) c DecisionLevel0_7 : 5 5776.25/1722.14 c (496,0) c DecisionLevel0_total : 71 5776.25/1722.14 c (496,0) c DecisionLevel0_winner : 24 5776.25/1722.14 c (496,0) c Periods_0 : 1840 5776.25/1722.14 c (496,0) c Periods_1 : 1840 5776.25/1722.14 c (496,0) c Periods_2 : 1840 5776.25/1722.14 c (496,0) c Periods_3 : 1840 5776.25/1722.14 c (496,0) c Periods_4 : 1840 5776.25/1722.14 c (496,0) c Periods_5 : 1840 5776.25/1722.14 c (496,0) c Periods_6 : 1840 5776.25/1722.14 c (496,0) c Periods_7 : 1840 5776.25/1722.14 c (496,0) c Periods_total : 14720 5776.25/1722.14 c (496,0) c Periods_winner : 1840 5776.25/1722.14 c (496,0) c Margin_0 : 20 5776.25/1722.14 c (496,0) c Margin_1 : 20 5776.25/1722.14 c (496,0) c Margin_2 : 20 5776.25/1722.14 c (496,0) c Margin_3 : 20 5776.25/1722.14 c (496,0) c Margin_4 : 20 5776.25/1722.14 c (496,0) c Margin_5 : 20 5776.25/1722.14 c (496,0) c Margin_6 : 20 5776.25/1722.14 c (496,0) c Margin_7 : 20 5776.25/1722.14 c (496,0) c Margin_total : 160 5776.25/1722.14 c (496,0) c Margin_winner : 20 5776.25/1722.14 c (496,0) c Exported_0 : 2337 5776.25/1722.14 c (496,0) c Exported_1 : 2745 5776.25/1722.14 c (496,0) c Exported_2 : 2100 5776.25/1722.14 c (496,0) c Exported_3 : 2555 5776.25/1722.14 c (496,0) c Exported_4 : 1956 5776.25/1722.14 c (496,0) c Exported_5 : 1408 5776.25/1722.14 c (496,0) c Exported_6 : 1497 5776.25/1722.14 c (496,0) c Exported_7 : 1985 5776.25/1722.14 c (496,0) c Exported_total : 16583 5776.25/1722.14 c (496,0) c Exported_winner : 2555 5776.25/1722.14 c (496,0) c Imported_0 : 13039 5776.25/1722.14 c (496,0) c Imported_1 : 13488 5776.25/1722.14 c (496,0) c Imported_2 : 13594 5776.25/1722.15 c (496,0) c Imported_3 : 13744 5776.25/1722.15 c (496,0) c Imported_4 : 9875 5776.25/1722.15 c (496,0) c Imported_5 : 709 5776.25/1722.15 c (496,0) c Imported_6 : 2079 5776.25/1722.15 c (496,0) c Imported_7 : 10551 5776.25/1722.15 c (496,0) c Imported_total : 77079 5776.25/1722.15 c (496,0) c Imported_winner : 13744 5776.25/1722.15 c (496,0) c Good_0 : 572 5776.25/1722.15 c (496,0) c Good_1 : 556 5776.25/1722.15 c (496,0) c Good_2 : 595 5776.25/1722.15 c (496,0) c Good_3 : 470 5776.25/1722.15 c (496,0) c Good_4 : 364 5776.25/1722.15 c (496,0) c Good_5 : 78 5776.25/1722.15 c (496,0) c Good_6 : 99 5776.25/1722.15 c (496,0) c Good_7 : 341 5776.25/1722.15 c (496,0) c Good_total : 3075 5776.25/1722.15 c (496,0) c Good_winner : 470 5776.25/1722.15 c (496,0) c Purge_0 : 12467 5776.25/1722.15 c (496,0) c Purge_1 : 12932 5776.25/1722.15 c (496,0) c Purge_2 : 12999 5776.25/1722.15 c (496,0) c Purge_3 : 13274 5776.25/1722.15 c (496,0) c Purge_4 : 9511 5776.25/1722.15 c (496,0) c Purge_5 : 631 5776.25/1722.15 c (496,0) c Purge_6 : 1980 5776.25/1722.15 c (496,0) c Purge_7 : 10210 5776.25/1722.15 c (496,0) c Purge_total : 74004 5776.25/1722.15 c (496,0) c Purge_winner : 13274 5776.25/1722.15 c (496,0) c Promoted_0 : 89 5776.25/1722.15 c (496,0) c Promoted_1 : 162 5776.25/1722.15 c (496,0) c Promoted_2 : 54 5776.25/1722.15 c (496,0) c Promoted_3 : 55 5776.25/1722.15 c (496,0) c Promoted_4 : 139 5776.25/1722.15 c (496,0) c Promoted_5 : 30 5776.25/1722.15 c (496,0) c Promoted_6 : 65 5776.25/1722.15 c (496,0) c Promoted_7 : 64 5776.25/1722.15 c (496,0) c Promoted_total : 658 5776.25/1722.15 c (496,0) c Promoted_winner : 55 5776.25/1722.15 c (496,0) c Remove_Imp_0 : 0 5776.25/1722.15 c (496,0) c Remove_Imp_1 : 0 5776.25/1722.15 c (496,0) c Remove_Imp_2 : 283 5776.25/1722.15 c (496,0) c Remove_Imp_3 : 2584 5776.25/1722.15 c (496,0) c Remove_Imp_4 : 2295 5776.25/1722.15 c (496,0) c Remove_Imp_5 : 0 5776.25/1722.15 c (496,0) c Remove_Imp_6 : 0 5776.25/1722.15 c (496,0) c Remove_Imp_7 : 0 5776.25/1722.15 c (496,0) c Remove_Imp_total : 5162 5776.25/1722.15 c (496,0) c Remove_Imp_winner : 2584 5776.25/1722.15 c (496,0) c Blocked_Reuse_0 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_1 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_2 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_3 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_4 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_5 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_6 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_7 : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_total : 0 5776.25/1722.15 c (496,0) c Blocked_Reuse_winner : 0 5776.25/1722.15 c (496,0) c Unaries_0 : 2 5776.25/1722.15 c (496,0) c Unaries_1 : 3 5776.25/1722.15 c (496,0) c Unaries_2 : 1 5776.25/1722.15 c (496,0) c Unaries_3 : 17 5776.25/1722.15 c (496,0) c Unaries_4 : 2 5776.25/1722.15 c (496,0) c Unaries_5 : 0 5776.25/1722.15 c (496,0) c Unaries_6 : 0 5776.25/1722.15 c (496,0) c Unaries_7 : 1 5776.25/1722.15 c (496,0) c Unaries_total : 26 5776.25/1722.15 c (496,0) c Unaries_winner : 17 5776.25/1722.15 c (496,0) c Binaries_0 : 46 5776.25/1722.15 c (496,0) c Binaries_1 : 130 5776.25/1722.15 c (496,0) c Binaries_2 : 29 5776.25/1722.15 c (496,0) c Binaries_3 : 239 5776.25/1722.15 c (496,0) c Binaries_4 : 38 5776.25/1722.15 c (496,0) c Binaries_5 : 65 5776.25/1722.15 c (496,0) c Binaries_6 : 79 5776.25/1722.15 c (496,0) c Binaries_7 : 100 5776.25/1722.15 c (496,0) c Binaries_total : 726 5776.25/1722.15 c (496,0) c Binaries_winner : 239 5776.25/1722.15 c (496,0) c Glues_0 : 290 5776.25/1722.15 c (496,0) c Glues_1 : 444 5776.25/1722.15 c (496,0) c Glues_2 : 261 5776.25/1722.15 c (496,0) c Glues_3 : 637 5776.25/1722.15 c (496,0) c Glues_4 : 238 5776.25/1722.15 c (496,0) c Glues_5 : 360 5776.25/1722.15 c (496,0) c Glues_6 : 349 5776.25/1722.15 c (496,0) c Glues_7 : 569 5776.25/1722.15 c (496,0) c Glues_total : 3148 5776.25/1722.15 c (496,0) c Glues_winner : 637 5776.25/1722.15 c (496,0) c RunningTime_0 : 469.756117 5776.25/1722.15 c (496,0) c RunningTime_1 : 486.706225 5776.25/1722.15 c (496,0) c RunningTime_2 : 456.022394 5776.25/1722.15 c (496,0) c RunningTime_3 : 472.788668 5776.25/1722.15 c (496,0) c RunningTime_4 : 465.614769 5776.25/1722.15 c (496,0) c RunningTime_5 : 468.368900 5776.25/1722.15 c (496,0) c RunningTime_6 : 459.922385 5776.25/1722.15 c (496,0) c RunningTime_7 : 467.534995 5776.25/1722.15 c (496,0) c RunningTime_total : 3746.714453 5776.25/1722.15 c (496,0) c RunningTime_winner : 472.788668 5776.25/1722.15 c (496,0) c WaitingTime_0 : 15.654359 5776.25/1722.15 c (496,0) c WaitingTime_1 : 2.071132 5776.25/1722.15 c (496,0) c WaitingTime_2 : 31.135309 5776.25/1722.15 c (496,0) c WaitingTime_3 : 12.173901 5776.25/1722.15 c (496,0) c WaitingTime_4 : 21.557361 5776.25/1722.15 c (496,0) c WaitingTime_5 : 16.948308 5776.25/1722.15 c (496,0) c WaitingTime_6 : 25.860287 5776.25/1722.15 c (496,0) c WaitingTime_7 : 18.302366 5776.25/1722.15 c (496,0) c WaitingTime_total : 143.703023 5776.25/1722.15 c (496,0) c WaitingTime_winner : 12.173901 5776.25/1722.15 c (496,0) c ExchangingTime_0 : 0.034734 5776.25/1722.15 c (496,0) c ExchangingTime_1 : 0.029992 5776.25/1722.15 c (496,0) c ExchangingTime_2 : 0.031362 5776.25/1722.15 c (496,0) c ExchangingTime_3 : 0.037117 5776.25/1722.15 c (496,0) c ExchangingTime_4 : 0.030999 5776.25/1722.15 c (496,0) c ExchangingTime_5 : 0.025793 5776.25/1722.15 c (496,0) c ExchangingTime_6 : 0.032395 5776.25/1722.15 c (496,0) c ExchangingTime_7 : 0.029814 5776.25/1722.15 c (496,0) c ExchangingTime_total : 0.252207 5776.25/1722.15 c (496,0) c ExchangingTime_winner : 0.037117 5776.25/1722.15 c (496,0) c PeriodProcTime_0 : 0.024090 5776.25/1722.15 c (496,0) c PeriodProcTime_1 : 0.030090 5776.25/1722.15 c (496,0) c PeriodProcTime_2 : 0.022737 5776.25/1722.15 c (496,0) c PeriodProcTime_3 : 0.033751 5776.25/1722.15 c (496,0) c PeriodProcTime_4 : 0.024636 5776.25/1722.15 c (496,0) c PeriodProcTime_5 : 0.023225 5776.25/1722.15 c (496,0) c PeriodProcTime_6 : 0.024872 5776.25/1722.15 c (496,0) c PeriodProcTime_7 : 0.024001 5776.25/1722.15 c (496,0) c PeriodProcTime_total : 0.207402 5776.25/1722.15 c (496,0) c PeriodProcTime_winner : 0.033751 5776.25/1722.15 c (496,0) c SolvingTime_0 : 485.469300 5776.25/1722.15 c (496,0) c SolvingTime_1 : 488.837439 5776.25/1722.15 c (496,0) c SolvingTime_2 : 487.211803 5776.25/1722.15 c (496,0) c SolvingTime_3 : 485.033437 5776.25/1722.15 c (496,0) c SolvingTime_4 : 487.227765 5776.25/1722.15 c (496,0) c SolvingTime_5 : 485.366226 5776.25/1722.15 c (496,0) c SolvingTime_6 : 485.839939 5776.25/1722.15 c (496,0) c SolvingTime_7 : 485.891176 5776.25/1722.15 c (496,0) c SolvingTime_total : 3890.877085 5776.25/1722.15 c (496,0) c SolvingTime_winner : 485.033437 5776.25/1722.15 c (496,0) c PropagationTime_0 : 469.464731 5776.25/1722.15 c (496,0) c PropagationTime_1 : 474.252762 5776.25/1722.15 c (496,0) c PropagationTime_2 : 472.555756 5776.25/1722.15 c (496,0) c PropagationTime_3 : 465.725466 5776.25/1722.15 c (496,0) c PropagationTime_4 : 471.710661 5776.25/1722.15 c (496,0) c PropagationTime_5 : 471.149709 5776.25/1722.15 c (496,0) c PropagationTime_6 : 471.453616 5776.25/1722.15 c (496,0) c PropagationTime_7 : 469.947212 5776.25/1722.15 c (496,0) c PropagationTime_total : 3766.259914 5776.25/1722.15 c (496,0) c PropagationTime_winner : 465.725466 5776.25/1722.15 c (496,0) c AnalysisTime_0 : 3.464591 5776.25/1722.15 c (496,0) c AnalysisTime_1 : 3.218563 5776.25/1722.15 c (496,0) c AnalysisTime_2 : 3.399483 5776.25/1722.15 c (496,0) c AnalysisTime_3 : 3.577353 5776.25/1722.15 c (496,0) c AnalysisTime_4 : 3.338645 5776.25/1722.15 c (496,0) c AnalysisTime_5 : 3.284680 5776.25/1722.15 c (496,0) c AnalysisTime_6 : 3.592337 5776.25/1722.15 c (496,0) c AnalysisTime_7 : 3.383992 5776.25/1722.15 c (496,0) c AnalysisTime_total : 27.259645 5776.25/1722.15 c (496,0) c AnalysisTime_winner : 3.577353 5776.25/1722.15 c (496,0) c ReductionTime_0 : 0.004699 5776.25/1722.15 c (496,0) c ReductionTime_1 : 0.003644 5776.25/1722.15 c (496,0) c ReductionTime_2 : 0.004515 5776.25/1722.15 c (496,0) c ReductionTime_3 : 0.007183 5776.25/1722.15 c (496,0) c ReductionTime_4 : 0.006173 5776.25/1722.15 c (496,0) c ReductionTime_5 : 0.004030 5776.25/1722.15 c (496,0) c ReductionTime_6 : 0.005088 5776.25/1722.15 c (496,0) c ReductionTime_7 : 0.004170 5776.25/1722.15 c (496,0) c ReductionTime_total : 0.039503 5776.25/1722.15 c (496,0) c ReductionTime_winner : 0.007183 5776.25/1722.15 c (496,0) c SimplifyTime_0 : 1.945688 5776.25/1722.15 c (496,0) c SimplifyTime_1 : 0.421493 5776.25/1722.15 c (496,0) c SimplifyTime_2 : 0.491396 5776.25/1722.15 c (496,0) c SimplifyTime_3 : 4.284731 5776.25/1722.15 c (496,0) c SimplifyTime_4 : 1.739393 5776.25/1722.15 c (496,0) c SimplifyTime_5 : 0.000001 5776.25/1722.15 c (496,0) c SimplifyTime_6 : 0.000001 5776.25/1722.15 c (496,0) c SimplifyTime_7 : 1.518735 5776.25/1722.15 c (496,0) c SimplifyTime_total : 10.401438 5776.25/1722.15 c (496,0) c SimplifyTime_winner : 4.284731 5776.25/1722.15 c (496,0) c UsedRateTime_0 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_1 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_2 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_3 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_4 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_5 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_6 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_7 : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_total : 0.000000 5776.25/1722.15 c (496,0) c UsedRateTime_winner : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_0 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_1 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_2 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_3 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_4 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_5 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_6 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_7 : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_total : 0.000000 5776.25/1722.15 c (496,0) c OverlapRateTime_winner : 0.000000 5776.25/1722.15 c (496,0) c 5776.25/1722.15 c (496,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5776.25/1722.15 c (496,0) c 5776.25/1722.15 c (496,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.15 c (496,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5776.25/1722.15 c (496,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.15 c (496,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5776.25/1722.15 c (496,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5776.25/1722.15 c (496,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5776.25/1722.15 c (496,0) c | Initial random_seed | 1701287268 | 418891708 | 337058198 | 783476971 | 981245221 | 1813569757 | 1356876173 | 349651994 | 5776.25/1722.15 c (496,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5776.25/1722.15 c (496,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5776.25/1722.15 c (496,0) c | glureduce | True | True | True | True | True | True | True | True | 5776.25/1722.15 c (496,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5776.25/1722.15 c (496,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5776.25/1722.15 c (496,0) c | luby_restart | False | False | False | False | False | False | False | False | 5776.25/1722.15 c (496,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5776.25/1722.15 c (496,0) c | var_decay | 0.8300 | 0.8300 | 0.8200 | 0.8500 | 0.8200 | 0.8200 | 0.8300 | 0.8300 | 5776.25/1722.15 c (496,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5776.25/1722.15 c (496,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5776.25/1722.15 c (496,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5776.25/1722.15 c (496,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5776.25/1722.15 c (496,0) 5776.25/1722.15 c (496,0) s UNSATISFIABLE 2053.54/1722.50 c (496,0) SatSolver.solve End 2053.54/1722.50 c (496,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2053.54/1722.50 c (496,0) Show results Begin 2053.54/1722.50 s UNSATISFIABLE 2053.54/1722.50 c (496,0) Show results End 2053.54/1722.50 c (496,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2053.54/1722.51 c (496,0) 496,496,STOP-AFTER(ALL) 2053.54/1722.51 c END-Prog: Mon Sep 23 14:05:39 CEST 2019
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12261 MiB free) memory of node 1: 16384 MiB (12658 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405567-1569238652/watcher-4405567-1569238652 -o /tmp/evaluation-result-4405567-1569238652/solver-4405567-1569238652 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569238591-29558 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405567-1569238652.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=29699, runsolver pid=29696 [startup+0.100239 s]* /proc/loadavg: 2.18 0.50 0.20 3/211 29721 /proc/meminfo: memFree=25424000/32770624 swapFree=67002456/67108860 [pid=29699] ppid=29696 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29699/stat : 29699 (scop.sh) S 29696 29699 29531 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500026937 115843072 349 33554432000 4194304 5098028 140728087495072 140728087492328 140639357932156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40116224 140728087503652 140728087503980 140728087503980 140728087506893 0 /proc/29699/statm: 28282 349 296 221 0 87 0 [pid=29702] ppid=29699 vsize=27314120 memory=104912 CPUtime=0.11 cores=0-7 /proc/29702/stat : 29702 (java) S 29699 29699 29531 0 -1 1077944320 6859 0 0 0 9 2 0 0 20 0 20 0 500026938 27969658880 26228 33554432000 4194304 4196468 140721788488368 140721788470912 139932310036215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 /proc/29702/statm: 6828530 26228 2800 1 0 6790935 0 [pid=29702/tid=29703] ppid=29699 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/29702/task/29703/stat : 29703 (java) R 29699 29699 29531 0 -1 4202560 4918 0 0 0 7 1 0 0 20 0 20 0 500026938 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932281862928 139932310058141 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29704] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29704/stat : 29704 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932314278288 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29705] ppid=29699 vsize=27314120 memory=288370651680421504 CPUtime=0 cores=0-7 /proc/29702/task/29705/stat : 29705 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932128434448 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29706] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29706/stat : 29706 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932127382160 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29707] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29707/stat : 29707 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932126329360 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29708] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29708/stat : 29708 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932125277072 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29709] ppid=29699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29702/task/29709/stat : 29709 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932124224272 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29710] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29710/stat : 29710 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932123171984 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29711] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29711/stat : 29711 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 26228 33554432000 4194304 4196468 140721788488368 139932122119184 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29712] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29712/stat : 29712 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026942 27969658880 26228 33554432000 4194304 4196468 140721788488368 139930831382640 139932310047362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29713] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29713/stat : 29713 (java) S 29699 29699 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500026943 27969658880 26228 33554432000 4194304 4196468 140721788488368 139929900278560 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29714] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29714/stat : 29714 (java) S 29699 29699 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500026943 27969658880 26228 33554432000 4194304 4196468 140721788488368 139929766057072 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29715] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29715/stat : 29715 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 26228 33554432000 4194304 4196468 140721788488368 139929391552592 139932310054811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29716] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29716/stat : 29716 (java) S 29699 29699 29531 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 26228 33554432000 4194304 4196468 140721788488368 139930830330480 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29717] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29717/stat : 29717 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 26228 33554432000 4194304 4196468 140721788488368 139930829277680 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29718] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29718/stat : 29718 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 26228 33554432000 4194304 4196468 140721788488368 139930828225392 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29719] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29719/stat : 29719 (java) S 29699 29699 29531 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 26228 33554432000 4194304 4196468 140721788488368 139930827172592 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29720] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29720/stat : 29720 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 26228 33554432000 4194304 4196468 140721788488368 139928893647200 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29721] ppid=29699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29702/task/29721/stat : 29721 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026946 27969658880 26228 33554432000 4194304 4196468 140721788488368 139930826119472 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106308 KiB [startup+0.210482 s]* /proc/loadavg: 2.18 0.50 0.20 2/211 29721 /proc/meminfo: memFree=25402564/32770624 swapFree=67002456/67108860 [pid=29699] ppid=29696 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29699/stat : 29699 (scop.sh) S 29696 29699 29531 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500026937 115843072 349 33554432000 4194304 5098028 140728087495072 140728087492328 140639357932156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40116224 140728087503652 140728087503980 140728087503980 140728087506893 0 /proc/29699/statm: 28282 349 296 221 0 87 0 [pid=29702] ppid=29699 vsize=27314120 memory=124216 CPUtime=0.24 cores=0-7 /proc/29702/stat : 29702 (java) S 29699 29699 29531 0 -1 1077944320 12450 0 0 0 21 3 0 0 20 0 20 0 500026938 27969658880 31054 33554432000 4194304 4196468 140721788488368 140721788470912 139932310036215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 /proc/29702/statm: 6828530 31054 2944 1 0 6790935 0 [pid=29702/tid=29703] ppid=29699 vsize=27314120 memory=8316850467074736180 CPUtime=0.2 cores=0-7 /proc/29702/task/29703/stat : 29703 (java) R 29699 29699 29531 0 -1 4202560 10130 0 0 0 17 3 0 0 20 0 20 0 500026938 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932281855456 139932290312104 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29704] ppid=29699 vsize=27314120 memory=14976 CPUtime=0 cores=0-7 /proc/29702/task/29704/stat : 29704 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932314278288 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29705] ppid=29699 vsize=27314120 memory=140275528738779 CPUtime=0 cores=0-7 /proc/29702/task/29705/stat : 29705 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932128434448 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29706] ppid=29699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29702/task/29706/stat : 29706 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932127382160 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29707] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29707/stat : 29707 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932126329360 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29708] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29708/stat : 29708 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932125277072 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29709] ppid=29699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29702/task/29709/stat : 29709 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932124224272 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29710] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29710/stat : 29710 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932123171984 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29711] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29711/stat : 29711 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 31054 33554432000 4194304 4196468 140721788488368 139932122119184 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29712] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29712/stat : 29712 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026942 27969658880 31054 33554432000 4194304 4196468 140721788488368 139930831382640 139932310047362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29713] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29713/stat : 29713 (java) S 29699 29699 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500026943 27969658880 31054 33554432000 4194304 4196468 140721788488368 139929900278560 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29714] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29714/stat : 29714 (java) S 29699 29699 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500026943 27969658880 31054 33554432000 4194304 4196468 140721788488368 139929766057072 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29715] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29715/stat : 29715 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 31054 33554432000 4194304 4196468 140721788488368 139929391552592 139932310054811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29716] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29716/stat : 29716 (java) S 29699 29699 29531 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 31054 33554432000 4194304 4196468 140721788488368 139930830330480 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29717] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29717/stat : 29717 (java) S 29699 29699 29531 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 31054 33554432000 4194304 4196468 140721788488368 139930829277680 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29718] ppid=29699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29702/task/29718/stat : 29718 (java) S 29699 29699 29531 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 31054 33554432000 4194304 4196468 140721788488368 139930828225392 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29719] ppid=29699 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/29702/task/29719/stat : 29719 (java) S 29699 29699 29531 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 500026945 27969658880 31054 33554432000 4194304 4196468 140721788488368 139930827172592 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29720] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29720/stat : 29720 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 31054 33554432000 4194304 4196468 140721788488368 139928893647200 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29721] ppid=29699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29702/task/29721/stat : 29721 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026946 27969658880 31054 33554432000 4194304 4196468 140721788488368 139930826119472 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 125612 KiB [startup+0.309839 s]* /proc/loadavg: 2.18 0.50 0.20 2/211 29721 /proc/meminfo: memFree=25399932/32770624 swapFree=67002456/67108860 [pid=29699] ppid=29696 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29699/stat : 29699 (scop.sh) S 29696 29699 29531 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500026937 115843072 349 33554432000 4194304 5098028 140728087495072 140728087492328 140639357932156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40116224 140728087503652 140728087503980 140728087503980 140728087506893 0 /proc/29699/statm: 28282 349 296 221 0 87 0 [pid=29702] ppid=29699 vsize=27314120 memory=127836 CPUtime=0.42 cores=0-7 /proc/29702/stat : 29702 (java) S 29699 29699 29531 0 -1 1077944320 12818 0 0 0 38 4 0 0 20 0 20 0 500026938 27969658880 31959 33554432000 4194304 4196468 140721788488368 140721788470912 139932310036215 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 /proc/29702/statm: 6828530 31959 3037 1 0 6790935 0 [pid=29702/tid=29703] ppid=29699 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7 /proc/29702/task/29703/stat : 29703 (java) R 29699 29699 29531 0 -1 4202560 10321 0 0 0 27 3 0 0 20 0 20 0 500026938 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932281848560 139932310057562 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29704] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29704/stat : 29704 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932314278288 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29705] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29705/stat : 29705 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932128434448 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29706] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29706/stat : 29706 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932127382160 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29707] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29707/stat : 29707 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932126329360 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29708] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29708/stat : 29708 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932125277072 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29709] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29709/stat : 29709 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932124224272 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29710] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29710/stat : 29710 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932123171984 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29711] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29711/stat : 29711 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026941 27969658880 31959 33554432000 4194304 4196468 140721788488368 139932122119184 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29712] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29712/stat : 29712 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026942 27969658880 31959 33554432000 4194304 4196468 140721788488368 139930831382640 139932310047362 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29713] ppid=29699 vsize=27314120 memory=280550753639808 CPUtime=0 cores=0-7 /proc/29702/task/29713/stat : 29713 (java) S 29699 29699 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500026943 27969658880 31959 33554432000 4194304 4196468 140721788488368 139929900278560 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29714] ppid=29699 vsize=27314120 memory=280550753644416 CPUtime=0 cores=0-7 /proc/29702/task/29714/stat : 29714 (java) S 29699 29699 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 500026943 27969658880 31959 33554432000 4194304 4196468 140721788488368 139929766057072 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29715] ppid=29699 vsize=27314120 memory=280550753649024 CPUtime=0 cores=0-7 /proc/29702/task/29715/stat : 29715 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 31959 33554432000 4194304 4196468 140721788488368 139929391552592 139932310054811 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29716] ppid=29699 vsize=27314120 memory=280550753653632 CPUtime=0.01 cores=0-7 /proc/29702/task/29716/stat : 29716 (java) S 29699 29699 29531 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 500026945 27969658880 31959 33554432000 4194304 4196468 140721788488368 139930830330480 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29717] ppid=29699 vsize=27314120 memory=280550753658240 CPUtime=0.01 cores=0-7 /proc/29702/task/29717/stat : 29717 (java) R 29699 29699 29531 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 20 0 500026945 27969658880 31959 33554432000 4194304 4196468 140721788488368 139930829277680 139932294958018 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29718] ppid=29699 vsize=27314120 memory=280550753662848 CPUtime=0.01 cores=0-7 /proc/29702/task/29718/stat : 29718 (java) S 29699 29699 29531 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 500026945 27969658880 31959 33554432000 4194304 4196468 140721788488368 139930828225392 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29719] ppid=29699 vsize=27314120 memory=280550753667456 CPUtime=0.07 cores=0-7 /proc/29702/task/29719/stat : 29719 (java) S 29699 29699 29531 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 20 0 500026945 27969658880 31959 33554432000 4194304 4196468 140721788488368 139930827172592 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29720] ppid=29699 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29720/stat : 29720 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500026945 27969658880 31959 33554432000 4194304 4196468 140721788488368 139928893647200 139932310046421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29721] ppid=29699 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/29702/task/29721/stat : 29721 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500026946 27969658880 31959 33554432000 4194304 4196468 140721788488368 139930826119472 139932310047362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 129232 KiB [startup+0.700936 s] /proc/loadavg: 2.09 0.51 0.21 2/211 29721 /proc/meminfo: memFree=25379248/32770624 swapFree=67002456/67108860 [pid=29699] ppid=29696 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/29699/stat : 29699 (scop.sh) S 29696 29699 29531 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500026937 115843072 349 33554432000 4194304 5098028 140728087495072 140728087492328 140639357932156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40116224 140728087503652 140728087503980 140728087503980 140728087506893 0 /proc/29699/statm: 28282 349 296 221 0 87 0 [pid=29702] ppid=29699 vsize=27320392 memory=165612 CPUtime=1.01 cores=0-7 /proc/29702/stat : 29702 (java) S 29699 29699 29531 0 -1 1077944320 20547 0 0 0 94 7 0 0 20 0 20 0 500026938 27976081408 41403 33554432000 4194304 4196468 140721788488368 140721788470912 139932310036215 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 /proc/29702/statm: 6830098 41403 3184 1 0 6791447 0 [pid=29702/tid=29703] ppid=29699 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/29702/task/29703/stat : 29703 (java) R 29699 29699 29531 0 -1 4202560 17374 0 0 0 62 5 0 0 20 0 20 0 500026938 27976081408 41403 33554432000 4194304 4196468 140721788488368 139932281871152 139932310058141 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29704] ppid=29699 vsize=27320392 memory=140275377021824 CPUtime=0 cores=0-7 /proc/29702/task/29704/stat : 29704 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27976081408 41403 33554432000 4194304 4196468 140721788488368 139932314278288 139932310046421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29705] ppid=29699 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/29702/task/29705/stat : 29705 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27976081408 41403 33554432000 4194304 4196468 140721788488368 139932128434448 139932310046421 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 [pid=29702/tid=29706] ppid=29699 vsize=27320392 memory=1052 CPUtime=0 cores=0-7 /proc/29702/task/29706/stat : 29706 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500026940 27976081408 41403 33554432000 4194304 4196468 140721788488368 139932127382160 139932310046421 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39112704 140721788494570 140721788494998 140721788494998 140721788497871 0 ################ # More data... # ################ [pid=29812/tid=29821] ppid=29699 vsize=8414124 memory=2120 CPUtime=0 cores=0-7 /proc/29812/task/29821/stat : 29821 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020777196304 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29822] ppid=29699 vsize=8414124 memory=504 CPUtime=0.01 cores=0-7 /proc/29812/task/29822/stat : 29822 (java) S 29699 29699 29531 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 500149479 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020525713776 140021298072194 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29823] ppid=29699 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/29812/task/29823/stat : 29823 (java) S 29699 29699 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500149479 8616062976 30395 33554432000 4194304 4196468 140725228160496 140019759047712 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29824] ppid=29699 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/29812/task/29824/stat : 29824 (java) S 29699 29699 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500149479 8616062976 30395 33554432000 4194304 4196468 140725228160496 140019624825712 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29825] ppid=29699 vsize=8414124 memory=1692 CPUtime=0 cores=0-7 /proc/29812/task/29825/stat : 29825 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149482 8616062976 30395 33554432000 4194304 4196468 140725228160496 140019250321232 140021298079643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29826] ppid=29699 vsize=8414124 memory=912 CPUtime=0.06 cores=0-7 /proc/29812/task/29826/stat : 29826 (java) S 29699 29699 29531 0 -1 1077944384 765 0 0 0 6 0 0 0 20 0 24 0 500149482 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020524661616 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29827] ppid=29699 vsize=8414124 memory=1448 CPUtime=0.08 cores=0-7 /proc/29812/task/29827/stat : 29827 (java) S 29699 29699 29531 0 -1 1077944384 239 0 0 0 8 0 0 0 20 0 24 0 500149482 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020523608816 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29828] ppid=29699 vsize=8414124 memory=1964 CPUtime=0.04 cores=0-7 /proc/29812/task/29828/stat : 29828 (java) S 29699 29699 29531 0 -1 1077944384 168 0 0 0 4 0 0 0 20 0 24 0 500149482 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020522556016 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29829] ppid=29699 vsize=8414124 memory=2456 CPUtime=0.21 cores=0-7 /proc/29812/task/29829/stat : 29829 (java) S 29699 29699 29531 0 -1 1077944384 758 0 0 0 21 0 0 0 20 0 24 0 500149482 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020521503216 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29830] ppid=29699 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/29812/task/29830/stat : 29830 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500149482 8616062976 30395 33554432000 4194304 4196468 140725228160496 140018752416352 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29831] ppid=29699 vsize=8414124 memory=111632 CPUtime=0.27 cores=0-7 /proc/29812/task/29831/stat : 29831 (java) S 29699 29699 29531 0 -1 1077944384 30 0 0 0 17 10 0 0 20 0 24 0 500149483 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020520450608 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29833] ppid=29699 vsize=8414124 memory=804 CPUtime=0 cores=0-7 /proc/29812/task/29833/stat : 29833 (java) S 29699 29699 29531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500149548 8616062976 30395 33554432000 4194304 4196468 140725228160496 140020512416832 140021298085657 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29835] ppid=29699 vsize=8414124 memory=4100 CPUtime=0.03 cores=0-7 /proc/29812/task/29835/stat : 29835 (java) S 29699 29699 29531 0 -1 4202560 1685 0 0 0 1 2 0 0 20 0 24 0 500149549 8616062976 30395 33554432000 4194304 4196468 140725228160496 140018081317008 140021298082973 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29836] ppid=29699 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/29812/task/29836/stat : 29836 (java) S 29699 29699 29531 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500149549 8616062976 30395 33554432000 4194304 4196468 140725228160496 140018349752336 140021298082973 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29837] ppid=29699 vsize=8414124 memory=920 CPUtime=0 cores=0-7 /proc/29812/task/29837/stat : 29837 (java) S 29699 29699 29531 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 500149551 8616062976 30395 33554432000 4194304 4196468 140725228160496 140017812889136 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 Current children cumulated CPU time: 5326.13 s Current children cumulated vsize: 15776712 KiB Current children cumulated memory: 6967968 KiB [startup+1722.3 s] /proc/loadavg: 7.42 6.61 4.01 2/217 29907 /proc/meminfo: memFree=18271540/32770624 swapFree=67002456/67108860 [pid=29699] ppid=29696 vsize=113128 memory=1476 CPUtime=2051.94 cores=0-7 /proc/29699/stat : 29699 (scop.sh) S 29696 29699 29531 0 -1 4202496 582 515106 0 0 0 0 200947 4247 20 0 1 0 500026937 115843072 369 33554432000 4194304 5098028 140728087495072 140728087491816 140639357932156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40116224 140728087503652 140728087503980 140728087503980 140728087506893 0 /proc/29699/statm: 28282 369 311 221 0 87 0 [pid=29812] ppid=29699 vsize=8414124 memory=122256 CPUtime=1.6 cores=0-7 /proc/29812/stat : 29812 (java) S 29699 29699 29531 0 -1 1077944320 22224 0 0 0 147 13 0 0 20 0 24 0 500149475 8616062976 30564 33554432000 4194304 4196468 140725228160496 140725228143040 140021298061047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 /proc/29812/statm: 2103531 30564 3217 1 0 2064875 0 [pid=29812/tid=29813] ppid=29699 vsize=8414124 memory=121580 CPUtime=0.74 cores=0-7 /proc/29812/task/29813/stat : 29813 (java) S 29699 29699 29531 0 -1 1077944384 16908 0 0 0 69 5 0 0 20 0 24 0 500149476 8616062976 30564 33554432000 4194304 4196468 140725228160496 140021269901216 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29814] ppid=29699 vsize=8414124 memory=8323394958666201998 CPUtime=0 cores=0-7 /proc/29812/task/29814/stat : 29814 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140021302303376 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29815] ppid=29699 vsize=8414124 memory=60580 CPUtime=0 cores=0-7 /proc/29812/task/29815/stat : 29815 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140021102471696 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29816] ppid=29699 vsize=8414124 memory=984 CPUtime=0 cores=0-7 /proc/29812/task/29816/stat : 29816 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020782459280 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29817] ppid=29699 vsize=8414124 memory=1940 CPUtime=0 cores=0-7 /proc/29812/task/29817/stat : 29817 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020781406480 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29818] ppid=29699 vsize=8414124 memory=6855160 CPUtime=0 cores=0-7 /proc/29812/task/29818/stat : 29818 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020780354704 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29819] ppid=29699 vsize=8414124 memory=45077 CPUtime=0 cores=0-7 /proc/29812/task/29819/stat : 29819 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020779301904 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29820] ppid=29699 vsize=8414124 memory=46009 CPUtime=0 cores=0-7 /proc/29812/task/29820/stat : 29820 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020778249104 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29821] ppid=29699 vsize=8414124 memory=74 CPUtime=0 cores=0-7 /proc/29812/task/29821/stat : 29821 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020777196304 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29822] ppid=29699 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7 /proc/29812/task/29822/stat : 29822 (java) S 29699 29699 29531 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 500149479 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020525713776 140021298072194 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29823] ppid=29699 vsize=8414124 memory=1964 CPUtime=0 cores=0-7 /proc/29812/task/29823/stat : 29823 (java) S 29699 29699 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500149479 8616062976 30564 33554432000 4194304 4196468 140725228160496 140019759047712 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29824] ppid=29699 vsize=8414124 memory=2456 CPUtime=0 cores=0-7 /proc/29812/task/29824/stat : 29824 (java) S 29699 29699 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500149479 8616062976 30564 33554432000 4194304 4196468 140725228160496 140019624825712 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29825] ppid=29699 vsize=8414124 memory=1760 CPUtime=0 cores=0-7 /proc/29812/task/29825/stat : 29825 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140019250321232 140021298079643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29826] ppid=29699 vsize=8414124 memory=111632 CPUtime=0.09 cores=0-7 /proc/29812/task/29826/stat : 29826 (java) S 29699 29699 29531 0 -1 1077944384 920 0 0 0 9 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020524661616 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29827] ppid=29699 vsize=8414124 memory=804 CPUtime=0.08 cores=0-7 /proc/29812/task/29827/stat : 29827 (java) S 29699 29699 29531 0 -1 1077944384 242 0 0 0 8 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020523608816 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29828] ppid=29699 vsize=8414124 memory=4100 CPUtime=0.04 cores=0-7 /proc/29812/task/29828/stat : 29828 (java) S 29699 29699 29531 0 -1 1077944384 171 0 0 0 4 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020522556016 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29829] ppid=29699 vsize=8414124 memory=31344 CPUtime=0.22 cores=0-7 /proc/29812/task/29829/stat : 29829 (java) S 29699 29699 29531 0 -1 1077944384 784 0 0 0 22 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020521503216 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29830] ppid=29699 vsize=8414124 memory=14068 CPUtime=0 cores=0-7 /proc/29812/task/29830/stat : 29830 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140018752416352 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29831] ppid=29699 vsize=8414124 memory=2120 CPUtime=0.31 cores=0-7 /proc/29812/task/29831/stat : 29831 (java) S 29699 29699 29531 0 -1 1077944384 34 0 0 0 18 13 0 0 20 0 24 0 500149483 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020520450608 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29833] ppid=29699 vsize=8414124 memory=504 CPUtime=0 cores=0-7 /proc/29812/task/29833/stat : 29833 (java) S 29699 29699 29531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500149548 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020512416832 140021298085657 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29835] ppid=29699 vsize=8414124 memory=1560 CPUtime=0.04 cores=0-7 /proc/29812/task/29835/stat : 29835 (java) S 29699 29699 29531 0 -1 4202560 1743 0 0 0 2 2 0 0 20 0 24 0 500149549 8616062976 30564 33554432000 4194304 4196468 140725228160496 140018081317168 140021298082973 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29836] ppid=29699 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/29812/task/29836/stat : 29836 (java) S 29699 29699 29531 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500149549 8616062976 30564 33554432000 4194304 4196468 140725228160496 140018349752336 140021298082973 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29837] ppid=29699 vsize=8414124 memory=6855004 CPUtime=0 cores=0-7 /proc/29812/task/29837/stat : 29837 (java) S 29699 29699 29531 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 500149551 8616062976 30564 33554432000 4194304 4196468 140725228160496 140017812889136 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 Current children cumulated CPU time: 2053.54 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 123732 KiB [startup+1722.56 s] # the end of solver process 29699 was just reported to runsolver # cumulated CPU time of all completed processes: user=5674.78 s, system=102.038 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1722.5 s] /proc/loadavg: 7.42 6.61 4.01 2/217 29907 /proc/meminfo: memFree=18271540/32770624 swapFree=67002456/67108860 [pid=29699] ppid=29696 vsize=113128 memory=1476 CPUtime=2051.94 cores=0-7 /proc/29699/stat : 29699 (scop.sh) S 29696 29699 29531 0 -1 4202496 582 515106 0 0 0 0 200947 4247 20 0 1 0 500026937 115843072 369 33554432000 4194304 5098028 140728087495072 140728087491816 140639357932156 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40116224 140728087503652 140728087503980 140728087503980 140728087506893 0 /proc/29699/statm: 28282 369 311 221 0 87 0 [pid=29812] ppid=29699 vsize=8414124 memory=122256 CPUtime=1.6 cores=0-7 /proc/29812/stat : 29812 (java) S 29699 29699 29531 0 -1 1077944320 22224 0 0 0 147 13 0 0 20 0 24 0 500149475 8616062976 30564 33554432000 4194304 4196468 140725228160496 140725228143040 140021298061047 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 /proc/29812/statm: 2103531 30564 3217 1 0 2064875 0 [pid=29812/tid=29813] ppid=29699 vsize=8414124 memory=1692 CPUtime=0.74 cores=0-7 /proc/29812/task/29813/stat : 29813 (java) S 29699 29699 29531 0 -1 1077944384 16908 0 0 0 69 5 0 0 20 0 24 0 500149476 8616062976 30564 33554432000 4194304 4196468 140725228160496 140021269901216 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29814] ppid=29699 vsize=8414124 memory=912 CPUtime=0 cores=0-7 /proc/29812/task/29814/stat : 29814 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140021302303376 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29815] ppid=29699 vsize=8414124 memory=1448 CPUtime=0 cores=0-7 /proc/29812/task/29815/stat : 29815 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140021102471696 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29816] ppid=29699 vsize=8414124 memory=1964 CPUtime=0 cores=0-7 /proc/29812/task/29816/stat : 29816 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020782459280 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29817] ppid=29699 vsize=8414124 memory=-9033203131760275858 CPUtime=0 cores=0-7 /proc/29812/task/29817/stat : 29817 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020781406480 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29818] ppid=29699 vsize=8414124 memory=6854940 CPUtime=0 cores=0-7 /proc/29812/task/29818/stat : 29818 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020780354704 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29819] ppid=29699 vsize=8414124 memory=4136 CPUtime=0 cores=0-7 /proc/29812/task/29819/stat : 29819 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020779301904 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29820] ppid=29699 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/29812/task/29820/stat : 29820 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020778249104 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29821] ppid=29699 vsize=8414124 memory=4004 CPUtime=0 cores=0-7 /proc/29812/task/29821/stat : 29821 (java) S 29699 29699 29531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500149477 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020777196304 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29822] ppid=29699 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7 /proc/29812/task/29822/stat : 29822 (java) S 29699 29699 29531 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 24 0 500149479 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020525713776 140021298072194 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29823] ppid=29699 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/29812/task/29823/stat : 29823 (java) S 29699 29699 29531 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500149479 8616062976 30564 33554432000 4194304 4196468 140725228160496 140019759047712 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29824] ppid=29699 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/29812/task/29824/stat : 29824 (java) S 29699 29699 29531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 500149479 8616062976 30564 33554432000 4194304 4196468 140725228160496 140019624825712 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29825] ppid=29699 vsize=8414124 memory=3588 CPUtime=0 cores=0-7 /proc/29812/task/29825/stat : 29825 (java) S 29699 29699 29531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140019250321232 140021298079643 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29826] ppid=29699 vsize=8414124 memory=60580 CPUtime=0.09 cores=0-7 /proc/29812/task/29826/stat : 29826 (java) S 29699 29699 29531 0 -1 1077944384 920 0 0 0 9 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020524661616 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29827] ppid=29699 vsize=8414124 memory=984 CPUtime=0.08 cores=0-7 /proc/29812/task/29827/stat : 29827 (java) S 29699 29699 29531 0 -1 1077944384 242 0 0 0 8 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020523608816 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29828] ppid=29699 vsize=8414124 memory=1940 CPUtime=0.04 cores=0-7 /proc/29812/task/29828/stat : 29828 (java) S 29699 29699 29531 0 -1 1077944384 171 0 0 0 4 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020522556016 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29829] ppid=29699 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7 /proc/29812/task/29829/stat : 29829 (java) S 29699 29699 29531 0 -1 1077944384 784 0 0 0 22 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020521503216 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29830] ppid=29699 vsize=8414124 memory=121580 CPUtime=0 cores=0-7 /proc/29812/task/29830/stat : 29830 (java) S 29699 29699 29531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500149482 8616062976 30564 33554432000 4194304 4196468 140725228160496 140018752416352 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29831] ppid=29699 vsize=8414124 memory=6855120 CPUtime=0.31 cores=0-7 /proc/29812/task/29831/stat : 29831 (java) S 29699 29699 29531 0 -1 1077944384 34 0 0 0 18 13 0 0 20 0 24 0 500149483 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020520450608 140021298072194 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29833] ppid=29699 vsize=8414124 memory=14 CPUtime=0 cores=0-7 /proc/29812/task/29833/stat : 29833 (java) S 29699 29699 29531 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500149548 8616062976 30564 33554432000 4194304 4196468 140725228160496 140020512416832 140021298085657 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29835] ppid=29699 vsize=8414124 memory=181 CPUtime=0.04 cores=0-7 /proc/29812/task/29835/stat : 29835 (java) S 29699 29699 29531 0 -1 4202560 1743 0 0 0 2 2 0 0 20 0 24 0 500149549 8616062976 30564 33554432000 4194304 4196468 140725228160496 140018081317168 140021298082973 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29836] ppid=29699 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/29812/task/29836/stat : 29836 (java) S 29699 29699 29531 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500149549 8616062976 30564 33554432000 4194304 4196468 140725228160496 140018349752336 140021298082973 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 [pid=29812/tid=29837] ppid=29699 vsize=8414124 memory=2832 CPUtime=0 cores=0-7 /proc/29812/task/29837/stat : 29837 (java) S 29699 29699 29531 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 500149551 8616062976 30564 33554432000 4194304 4196468 140725228160496 140017812889136 140021298071253 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18309120 140725228168183 140725228168342 140725228168342 140725228171215 0 Current children cumulated CPU time: 2053.54 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 123732 KiB Child status: 0 Real time (s): 1722.56 CPU time (s): 5776.81 CPU user time (s): 5674.78 CPU system time (s): 102.038 CPU usage (%): 335.363 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 23545868 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5674.78 system time used= 102.038 maximum resident set size= 23545456 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27160860 page faults= 0 swaps= 0 block input operations= 16 block output operations= 526200 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2639162 involuntary context switches= 48002 # summary of solver processes directly reported to runsolver: # pid: 29699 # total CPU time (s): 5776.81 # total CPU user time (s): 5674.78 # total CPU system time (s): 102.038 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.5865 second user time and 19.3768 second system time The end
Begin job on node148 at 2019-09-23 13:36:57 IDJOB=4405567 IDBENCH=121037 IDSOLVER=2868 FILE ID=node148/4405567-1569238652 RUNJOBID= node148-1569238591-29558 PBS_JOBID= 21704894 Free space on /tmp= 22000 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t85-6.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405567-1569238652/watcher-4405567-1569238652 -o /tmp/evaluation-result-4405567-1569238652/solver-4405567-1569238652 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569238591-29558 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405567-1569238652.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28aba8525a2c57af7de5748c3b9cdf6b RANDOM SEED=1320727312 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: 25518388 kB MemAvailable: 31857688 kB Buffers: 78900 kB Cached: 6534040 kB SwapCached: 3216 kB Active: 3317572 kB Inactive: 3298604 kB Active(anon): 3020 kB Inactive(anon): 56392 kB Active(file): 3314552 kB Inactive(file): 3242212 kB Unevictable: 110504 kB Mlocked: 110504 kB SwapTotal: 67108860 kB SwapFree: 67002456 kB Dirty: 106900 kB Writeback: 0 kB AnonPages: 112360 kB Mapped: 55164 kB Shmem: 46964 kB Slab: 225496 kB SReclaimable: 196740 kB SUnreclaim: 28756 kB KernelStack: 3344 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 513872 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= 21980 MiB End job on node148 at 2019-09-23 14:05:39