| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-09-22) | UNSAT | 5873.33 | 1744.36 |
| 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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-3291-serial-file.bin HOME/instance-4405267-1569238652.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Mon Sep 23 13:36:56 CEST 2019 0.65/0.56 c PID: 3294 0.65/0.56 c IP: 172.20.3.149 0.65/0.56 c HOST: node149.alineos.net 0.65/0.57 c (0,0) Parsing Begin 19.01/11.92 c (11,10) Parsing End 19.01/11.92 c (11,10) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12 19.01/11.92 c (11,10) Heap : 1457 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.01/11.92 c (11,10) Constraint Name Generate Begin 19.01/11.93 c (11,10) Ctr:HOME/instance-4405267-1569238652.xml,ExtensionSupport:Var 19.01/11.93 c (11,10) Constraint Name Generate End 19.01/11.93 c (11,10) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.01/11.93 c (11,10) CSP to CSPinCNF Begin 115.84/82.71 c (82,78) translated 20 (10%) constraints 207.61/154.30 c (153,147) translated 40 (20%) constraints 289.95/224.55 c (224,216) translated 60 (30%) constraints 372.90/294.96 c (294,284) translated 80 (40%) constraints 454.65/365.36 c (364,353) translated 100 (50%) constraints 540.40/436.35 c (435,422) translated 120 (60%) constraints 623.45/507.22 c (506,491) translated 140 (70%) constraints 704.04/577.67 c (577,560) translated 160 (80%) constraints 788.27/648.53 c (647,629) translated 180 (90%) constraints 872.60/719.57 c (719,698) translated 200 (100%) constraints 876.01/723.00 c (722,701) =========================================== 876.12/723.05 c (722,701) Order 876.12/723.05 c (722,701) =========================================== 903.29/745.37 c (744,723) translated 1022624 (10%) constraints 931.63/767.78 c (767,745) translated 2045248 (20%) constraints 960.68/790.45 c (789,766) translated 3067871 (30%) constraints 989.25/813.07 c (812,788) translated 4090495 (40%) constraints 1017.33/835.48 c (834,810) translated 5113118 (50%) constraints 1045.58/857.93 c (857,831) translated 6135742 (60%) constraints 1074.14/880.48 c (879,853) translated 7158366 (70%) constraints 1102.74/903.01 c (902,875) translated 8180989 (80%) constraints 1133.25/927.55 c (927,898) translated 9203613 (90%) constraints 1164.46/952.40 c (951,922) translated 10226236 (100%) constraints 1164.46/952.40 c (951,922) CSP to CSPinCNF End 1164.70/952.64 c (952,923) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1164.70/952.64 c (952,923) Heap : 19715 MiB used (max 21834 MiB), NonHeap : 26 MiB used (max 0 MiB) 1164.70/952.64 c (952,923) CSPinCNF Propagation Begin 1705.69/1073.32 c (1072,981) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed 1705.69/1073.32 c (1072,981) CSPinCNF Propagation End 1705.90/1073.54 c (1073,981) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1705.90/1073.54 c (1073,981) Heap : 14932 MiB used (max 21578 MiB), NonHeap : 27 MiB used (max 0 MiB) 1705.90/1073.58 c (1073,981) Simplify CSPinCNF Begin 1734.36/1094.91 c (1094,1002) Simplify CSPinCNF End 1734.57/1095.12 c (1094,1002) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1734.57/1095.12 c (1094,1002) Heap : 17502 MiB used (max 21010 MiB), NonHeap : 27 MiB used (max 0 MiB) 1734.57/1095.12 c (1094,1002) Calculate Precise Domain Begin 1734.57/1095.12 c (1094,1002) 0 values are removed by re-calculation 1734.57/1095.12 c (1094,1002) Calculate Precise Domain End 1734.76/1095.33 c (1094,1002) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1734.76/1095.33 c (1094,1002) Heap : 17502 MiB used (max 21010 MiB), NonHeap : 27 MiB used (max 0 MiB) 1734.76/1095.33 c (1094,1002) CSPinCNF to SatSolver Begin 1900.87/1126.83 c (1126,1014) 1022624 (10 %) CSP clauses are encoded (0 SAT variables, 1022743 SAT clauses) 1914.32/1137.68 c (1137,1025) 2045248 (20 %) CSP clauses are encoded (0 SAT variables, 2045367 SAT clauses) 1929.75/1148.88 c (1148,1035) 3067871 (30 %) CSP clauses are encoded (0 SAT variables, 3067990 SAT clauses) 1946.88/1160.32 c (1159,1046) 4090495 (40 %) CSP clauses are encoded (0 SAT variables, 4090614 SAT clauses) 1965.75/1171.97 c (1171,1056) 5113118 (50 %) CSP clauses are encoded (0 SAT variables, 5113237 SAT clauses) 1985.99/1183.78 c (1183,1067) 6135742 (60 %) CSP clauses are encoded (0 SAT variables, 6135861 SAT clauses) 2013.79/1196.54 c (1196,1077) 7158366 (70 %) CSP clauses are encoded (0 SAT variables, 7158485 SAT clauses) 2045.23/1209.85 c (1209,1088) 8180989 (80 %) CSP clauses are encoded (0 SAT variables, 8181108 SAT clauses) 2081.45/1223.63 c (1223,1099) 9203613 (90 %) CSP clauses are encoded (0 SAT variables, 9203732 SAT clauses) 2109.45/1236.60 c (1236,1109) 10226236 (100 %) CSP clauses are encoded (0 SAT variables, 10226355 SAT clauses) 2109.45/1236.60 c (1236,1109) CSPinCNF to SatSolver End 2109.45/1236.60 c (1236,1109) Heap : 15326 MiB used (max 20271 MiB), NonHeap : 29 MiB used (max 0 MiB) 2109.45/1236.61 c (1236,1109) 610708 bool, 10226356 clause 2109.45/1236.61 c (1236,1109) Export Begin 2109.62/1236.70 c (1236,1109) Export to HOME/scop-3291-serial-file.bin 2109.62/1236.70 c (1236,1109) Export End 2109.62/1236.70 c (1236,1109) Export File Size: 0.01 MB 2109.62/1236.70 c (1236,1109) 11,11,952,1073,1094,1094,1236,STOP-AFTER(DIMACS) 2109.62/1236.70 c END-Prog: Mon Sep 23 13:57:32 CEST 2019 0.00/1237.32 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-3291-serial-file.bin 2110.23/1237.82 c (0,0) Read Serial File Begin 2110.23/1237.82 c (0,0) HOME/scop-3291-serial-file.bin 2111.10/1238.02 c (0,0) Read Serial File End 2111.10/1238.03 2111.10/1238.03 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 2111.10/1238.03 (Solving Process) 2111.10/1238.03 2111.10/1238.06 c BEGIN-Prog: Mon Sep 23 13:57:33 CEST 2019 2111.10/1238.06 c PID: 3407 2111.10/1238.06 c IP: 172.20.3.149 2111.10/1238.06 c HOST: node149.alineos.net 2111.10/1238.06 c (0,0) SatSolver.solve Begin 2111.10/1238.06 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405267-1569238652.xml-scop-3294.cnf 2111.32/1238.13 c (0,0) c 2111.32/1238.13 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) 2111.32/1238.13 c (0,0) c 2111.32/1238.13 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 2111.32/1238.13 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 2111.32/1238.13 c (0,0) c ========================================[ Problem Statistics ]=========================================== 2111.32/1238.13 c (0,0) c | | 2115.04/1241.89 c (4,0) c | Number of variables: 610708 | 2115.04/1241.89 c (4,0) c | Number of clauses: 10226356 | 2115.04/1241.89 c (4,0) c | Parse time: 3.44 s | 2115.04/1241.89 c (4,0) c | | 2116.14/1242.94 c (5,0) c | Too many clauses... No preprocessing | 2116.14/1242.94 c (5,0) c | Simplification time: 0.98 s | 2116.14/1242.94 c (5,0) c | | 2116.14/1242.96 c (5,0) c | Generating clones | 2118.44/1245.21 c (7,0) c | all clones generated. Memory = 5319.45Mb. | 2118.44/1245.21 c (7,0) c ========================================================================================================| 2118.44/1245.21 c (7,0) c 2118.44/1245.21 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2118.44/1245.21 c (7,0) c 2118.44/1245.21 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2118.44/1245.21 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2118.44/1245.21 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2118.44/1245.21 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2118.44/1245.21 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 2118.44/1245.21 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2118.44/1245.21 c (7,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 2118.44/1245.21 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2118.44/1245.21 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2118.44/1245.21 c (7,0) c | glureduce | True | True | True | True | True | True | True | True | 2118.44/1245.21 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2118.44/1245.21 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2118.44/1245.21 c (7,0) c | luby_restart | False | False | False | False | False | False | False | False | 2118.44/1245.21 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2118.44/1245.21 c (7,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 2118.44/1245.21 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2118.44/1245.21 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2118.44/1245.21 c (7,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2118.44/1245.21 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2339.19/1275.20 c (37,0) c 2339.19/1275.20 c (37,0) c |------------------------------------------------------------------------------------------------------------------------| 2339.19/1275.20 c (37,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2339.19/1275.20 c (37,0) c |------------------------------------------------------------------------------------------------------------------------| 2339.19/1275.20 c (37,0) c | 0 | 1 | 824 | 414 | 12739 | 414 | 5 | 0 | 0 | 100 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c | 1 | 3 | 976 | 571 | 23812 | 571 | 9 | 34 | 0 | 112 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c | 2 | 1 | 597 | 351 | 31491 | 351 | 8 | 0 | 0 | 117 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c | 3 | 3 | 824 | 486 | 16229 | 486 | 11 | 11 | 0 | 97 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c | 4 | 2 | 485 | 314 | 11375 | 314 | 1 | 24 | 0 | 112 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c | 5 | 2 | 608 | 382 | 18321 | 382 | 6 | 1 | 0 | 107 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c | 6 | 2 | 492 | 251 | 18222 | 251 | 7 | 21 | 0 | 102 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c | 7 | 1 | 611 | 349 | 17646 | 349 | 16 | 0 | 0 | 97 | 20 | 0.000 | 2339.19/1275.20 c (37,0) c 2339.19/1275.20 c (37,0) c synthesis 3118 conflicts 266705345 propagations 16 conflicts/sec 1359048 propagations/sec 2339.19/1275.20 c (37,0) c real: 37.0655 s, cpu: 196.244 s, memory: 6904.73 Mb 2566.30/1304.20 c (66,0) c 2566.30/1304.20 c (66,0) c |------------------------------------------------------------------------------------------------------------------------| 2566.30/1304.20 c (66,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2566.30/1304.20 c (66,0) c |------------------------------------------------------------------------------------------------------------------------| 2566.30/1304.20 c (66,0) c | 0 | 2 | 2057 | 1210 | 24030 | 1210 | 11 | 64 | 0 | 211 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c | 1 | 3 | 2679 | 1882 | 33008 | 1882 | 22 | 34 | 0 | 225 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c | 2 | 3 | 1238 | 779 | 41061 | 779 | 17 | 68 | 0 | 217 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c | 3 | 3 | 1387 | 953 | 27303 | 953 | 22 | 11 | 0 | 208 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c | 4 | 2 | 1653 | 1147 | 27993 | 1147 | 31 | 24 | 0 | 228 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c | 5 | 2 | 1686 | 1121 | 37518 | 1121 | 12 | 1 | 0 | 227 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c | 6 | 3 | 1319 | 841 | 36153 | 841 | 17 | 61 | 0 | 223 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c | 7 | 2 | 3234 | 2035 | 47515 | 1043 | 40 | 34 | 0 | 211 | 20 | 0.000 | 2566.30/1304.20 c (66,0) c 2566.30/1304.20 c (66,0) c synthesis 9968 conflicts 579122243 propagations 24 conflicts/sec 1378592 propagations/sec 2566.30/1304.20 c (66,0) c real: 66.0666 s, cpu: 420.082 s, memory: 6962.88 Mb 2796.56/1334.20 c (96,0) c 2796.56/1334.20 c (96,0) c |------------------------------------------------------------------------------------------------------------------------| 2796.56/1334.20 c (96,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2796.56/1334.20 c (96,0) c |------------------------------------------------------------------------------------------------------------------------| 2796.56/1334.20 c (96,0) c | 0 | 2 | 3226 | 2127 | 29102 | 1132 | 22 | 64 | 0 | 326 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c | 1 | 3 | 4069 | 3025 | 38883 | 2033 | 34 | 34 | 0 | 335 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c | 2 | 4 | 2026 | 1230 | 49851 | 1230 | 26 | 205 | 0 | 334 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c | 3 | 3 | 1860 | 1381 | 35821 | 1381 | 31 | 11 | 0 | 320 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c | 4 | 3 | 3084 | 2171 | 44428 | 1173 | 38 | 201 | 2 | 340 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c | 5 | 2 | 2994 | 2029 | 51108 | 1037 | 20 | 1 | 0 | 340 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c | 6 | 3 | 2173 | 1401 | 47626 | 1401 | 28 | 61 | 0 | 340 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c | 7 | 4 | 4848 | 3288 | 55923 | 2296 | 73 | 154 | 0 | 324 | 20 | 0.000 | 2796.56/1334.20 c (96,0) c 2796.56/1334.20 c (96,0) c synthesis 16652 conflicts 871963779 propagations 26 conflicts/sec 1347538 propagations/sec 2796.56/1334.20 c (96,0) c real: 96.0655 s, cpu: 647.079 s, memory: 6993.07 Mb 3026.89/1364.20 c (126,0) c 3026.89/1364.20 c (126,0) c |------------------------------------------------------------------------------------------------------------------------| 3026.89/1364.20 c (126,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3026.89/1364.20 c (126,0) c |------------------------------------------------------------------------------------------------------------------------| 3026.89/1364.20 c (126,0) c | 0 | 2 | 4177 | 2862 | 37017 | 1867 | 26 | 64 | 0 | 443 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c | 1 | 3 | 5234 | 4015 | 42169 | 3023 | 43 | 34 | 0 | 440 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c | 2 | 4 | 2553 | 1645 | 65121 | 1645 | 35 | 205 | 1 | 455 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c | 3 | 3 | 2369 | 1823 | 41855 | 1823 | 35 | 11 | 0 | 435 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c | 4 | 3 | 4699 | 3376 | 57893 | 2378 | 43 | 201 | 4 | 455 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c | 5 | 3 | 4592 | 3106 | 65692 | 2114 | 33 | 301 | 1 | 455 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c | 6 | 3 | 3127 | 2025 | 57775 | 1029 | 47 | 61 | 0 | 455 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c | 7 | 4 | 6722 | 4785 | 61843 | 3793 | 126 | 154 | 0 | 442 | 20 | 0.000 | 3026.89/1364.20 c (126,0) c 3026.89/1364.20 c (126,0) c synthesis 23637 conflicts 1163886363 propagations 27 conflicts/sec 1329418 propagations/sec 3026.89/1364.20 c (126,0) c real: 126.065 s, cpu: 875.486 s, memory: 7012.44 Mb 3260.93/1394.20 c (156,0) c 3260.93/1394.20 c (156,0) c |------------------------------------------------------------------------------------------------------------------------| 3260.93/1394.20 c (156,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3260.93/1394.20 c (156,0) c |------------------------------------------------------------------------------------------------------------------------| 3260.93/1394.20 c (156,0) c | 0 | 2 | 5029 | 3451 | 56649 | 2456 | 40 | 64 | 0 | 563 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c | 1 | 3 | 7025 | 5446 | 46813 | 4454 | 205 | 34 | 0 | 556 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c | 2 | 5 | 3232 | 2102 | 74511 | 1102 | 49 | 462 | 3 | 573 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c | 3 | 3 | 2959 | 2349 | 48671 | 1354 | 44 | 11 | 0 | 553 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c | 4 | 3 | 6461 | 4659 | 71929 | 3661 | 47 | 201 | 4 | 571 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c | 5 | 3 | 5180 | 3578 | 69601 | 2586 | 38 | 301 | 1 | 565 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c | 6 | 6 | 5962 | 3936 | 91815 | 2940 | 72 | 477 | 0 | 573 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c | 7 | 4 | 8361 | 6154 | 67501 | 5161 | 325 | 154 | 0 | 555 | 20 | 0.000 | 3260.93/1394.20 c (156,0) c 3260.93/1394.20 c (156,0) c synthesis 31675 conflicts 1452971467 propagations 29 conflicts/sec 1311923 propagations/sec 3260.93/1394.20 c (156,0) c real: 156.065 s, cpu: 1107.51 s, memory: 7025.76 Mb 3476.56/1423.20 c (185,0) c 3476.56/1423.20 c (185,0) c |------------------------------------------------------------------------------------------------------------------------| 3476.56/1423.20 c (185,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3476.56/1423.20 c (185,0) c |------------------------------------------------------------------------------------------------------------------------| 3476.56/1423.20 c (185,0) c | 0 | 2 | 6057 | 4154 | 70573 | 3159 | 58 | 64 | 0 | 673 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c | 1 | 3 | 7700 | 6034 | 50108 | 5042 | 391 | 34 | 0 | 653 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c | 2 | 5 | 3983 | 2665 | 81743 | 1665 | 51 | 462 | 3 | 673 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c | 3 | 3 | 4318 | 3446 | 59827 | 2451 | 55 | 11 | 0 | 673 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c | 4 | 4 | 8272 | 5978 | 85948 | 4980 | 369 | 1015 | 5 | 671 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c | 5 | 4 | 5705 | 4043 | 72929 | 3051 | 49 | 709 | 2 | 673 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c | 6 | 8 | 7591 | 5102 | 106158 | 4106 | 89 | 1152 | 4 | 673 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c | 7 | 4 | 10107 | 7558 | 73290 | 3765 | 475 | 154 | 0 | 673 | 20 | 0.000 | 3476.56/1423.20 c (185,0) c 3476.56/1423.20 c (185,0) c synthesis 38980 conflicts 1686287673 propagations 30 conflicts/sec 1276394 propagations/sec 3476.56/1423.20 c (185,0) c real: 185.065 s, cpu: 1321.13 s, memory: 7037.82 Mb 3692.58/1452.20 c (214,0) c 3692.58/1452.20 c (214,0) c |------------------------------------------------------------------------------------------------------------------------| 3692.58/1452.20 c (214,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3692.58/1452.20 c (214,0) c |------------------------------------------------------------------------------------------------------------------------| 3692.58/1452.20 c (214,0) c | 0 | 3 | 7035 | 4802 | 82372 | 3807 | 65 | 1718 | 0 | 778 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c | 1 | 3 | 8347 | 6614 | 53501 | 2824 | 560 | 34 | 0 | 759 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c | 2 | 5 | 5054 | 3413 | 89780 | 2413 | 53 | 462 | 3 | 779 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c | 3 | 5 | 6107 | 4820 | 71518 | 3825 | 100 | 1398 | 1 | 779 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c | 4 | 5 | 9677 | 7042 | 92759 | 3244 | 657 | 1361 | 6 | 768 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c | 5 | 4 | 6217 | 4453 | 77921 | 3461 | 64 | 709 | 2 | 779 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c | 6 | 9 | 9637 | 6662 | 117367 | 2867 | 357 | 2049 | 9 | 774 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c | 7 | 4 | 11499 | 8726 | 77958 | 4933 | 617 | 154 | 0 | 777 | 20 | 0.000 | 3692.58/1452.20 c (214,0) c 3692.58/1452.20 c (214,0) c synthesis 46532 conflicts 1907594602 propagations 30 conflicts/sec 1242707 propagations/sec 3692.58/1452.20 c (214,0) c real: 214.067 s, cpu: 1535.03 s, memory: 7048.57 Mb 3920.82/1482.20 c (244,0) c 3920.82/1482.20 c (244,0) c |------------------------------------------------------------------------------------------------------------------------| 3920.82/1482.20 c (244,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3920.82/1482.20 c (244,0) c |------------------------------------------------------------------------------------------------------------------------| 3920.82/1482.20 c (244,0) c | 0 | 3 | 9235 | 6286 | 105813 | 5291 | 345 | 1718 | 0 | 889 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c | 1 | 3 | 8959 | 7125 | 57310 | 3335 | 662 | 34 | 0 | 869 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c | 2 | 5 | 6315 | 4305 | 105466 | 3305 | 72 | 462 | 3 | 889 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c | 3 | 5 | 8768 | 6996 | 84486 | 3199 | 406 | 1398 | 1 | 889 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c | 4 | 5 | 10199 | 7500 | 95349 | 3702 | 747 | 1361 | 6 | 872 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c | 5 | 4 | 6856 | 4968 | 81795 | 3976 | 88 | 709 | 2 | 889 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c | 6 | 10 | 10638 | 7497 | 122133 | 3702 | 447 | 2079 | 15 | 880 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c | 7 | 4 | 12797 | 9815 | 84962 | 6022 | 805 | 154 | 0 | 889 | 20 | 0.000 | 3920.82/1482.20 c (244,0) c 3920.82/1482.20 c (244,0) c synthesis 54492 conflicts 2142275932 propagations 31 conflicts/sec 1217390 propagations/sec 3920.82/1482.20 c (244,0) c real: 244.065 s, cpu: 1759.73 s, memory: 7055.83 Mb 4146.65/1512.20 c (274,0) c 4146.65/1512.20 c (274,0) c |------------------------------------------------------------------------------------------------------------------------| 4146.65/1512.20 c (274,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4146.65/1512.20 c (274,0) c |------------------------------------------------------------------------------------------------------------------------| 4146.65/1512.20 c (274,0) c | 0 | 3 | 12339 | 8424 | 123656 | 4627 | 810 | 1718 | 0 | 999 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c | 1 | 3 | 9617 | 7690 | 60864 | 3900 | 797 | 34 | 0 | 979 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c | 2 | 5 | 7857 | 5413 | 120803 | 4413 | 172 | 462 | 3 | 999 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c | 3 | 5 | 10955 | 8762 | 94041 | 4965 | 632 | 1398 | 1 | 999 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c | 4 | 5 | 11041 | 8158 | 99754 | 4360 | 855 | 1361 | 6 | 990 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c | 5 | 4 | 8056 | 5958 | 89446 | 4966 | 237 | 709 | 7 | 999 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c | 6 | 10 | 11789 | 8448 | 127092 | 4653 | 516 | 2079 | 16 | 993 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c | 7 | 4 | 14513 | 11255 | 89601 | 7462 | 971 | 154 | 0 | 999 | 20 | 0.000 | 4146.65/1512.20 c (274,0) c 4146.65/1512.20 c (274,0) c synthesis 64108 conflicts 2386167946 propagations 32 conflicts/sec 1203108 propagations/sec 4146.65/1512.20 c (274,0) c real: 274.068 s, cpu: 1983.34 s, memory: 7061.54 Mb 4377.40/1542.20 c (304,0) c 4377.40/1542.20 c (304,0) c |------------------------------------------------------------------------------------------------------------------------| 4377.40/1542.20 c (304,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4377.40/1542.20 c (304,0) c |------------------------------------------------------------------------------------------------------------------------| 4377.40/1542.20 c (304,0) c | 0 | 3 | 14214 | 9751 | 140246 | 5954 | 1073 | 1718 | 1 | 1111 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c | 1 | 3 | 10324 | 8273 | 63744 | 4483 | 970 | 34 | 0 | 1091 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c | 2 | 7 | 9070 | 6201 | 129908 | 5201 | 316 | 5890 | 8 | 1111 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c | 3 | 5 | 13596 | 10930 | 104711 | 7133 | 922 | 1398 | 1 | 1111 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c | 4 | 5 | 11647 | 8660 | 104945 | 4862 | 975 | 1361 | 6 | 1106 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c | 5 | 4 | 9492 | 7079 | 95095 | 3286 | 421 | 709 | 17 | 1111 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c | 6 | 10 | 13350 | 9724 | 137574 | 5929 | 684 | 2079 | 27 | 1111 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c | 7 | 4 | 16170 | 12645 | 94420 | 8852 | 1165 | 154 | 0 | 1111 | 20 | 0.000 | 4377.40/1542.20 c (304,0) c 4377.40/1542.20 c (304,0) c synthesis 73263 conflicts 2631276582 propagations 33 conflicts/sec 1189305 propagations/sec 4377.40/1542.20 c (304,0) c real: 304.065 s, cpu: 2212.45 s, memory: 7065.56 Mb 4592.06/1571.20 c (333,0) c 4592.06/1571.20 c (333,0) c |------------------------------------------------------------------------------------------------------------------------| 4592.06/1571.20 c (333,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4592.06/1571.20 c (333,0) c |------------------------------------------------------------------------------------------------------------------------| 4592.78/1571.25 c (333,0) c | 0 | 3 | 16303 | 11232 | 158369 | 7435 | 1484 | 1718 | 1 | 1218 | 20 | 0.000 | 4592.78/1571.25 c (333,0) c | 1 | 3 | 11247 | 9028 | 69272 | 5238 | 1165 | 34 | 0 | 1198 | 20 | 0.000 | 4592.78/1571.25 c (333,0) c | 2 | 7 | 10798 | 7258 | 149558 | 3460 | 548 | 5890 | 10 | 1218 | 20 | 0.000 | 4592.78/1571.25 c (333,0) c | 3 | 5 | 15713 | 12656 | 111759 | 3062 | 1160 | 6260 | 1 | 1218 | 20 | 0.003 | 4592.78/1571.25 c (333,0) c | 4 | 5 | 12316 | 9190 | 110593 | 5392 | 1110 | 1361 | 7 | 1218 | 20 | 0.000 | 4592.78/1571.25 c (333,0) c | 5 | 4 | 10653 | 8033 | 101917 | 4240 | 518 | 709 | 17 | 1218 | 20 | 0.000 | 4592.78/1571.25 c (333,0) c | 6 | 10 | 14354 | 10576 | 143010 | 6781 | 774 | 2079 | 29 | 1218 | 20 | 0.000 | 4592.78/1571.25 c (333,0) c | 7 | 4 | 17827 | 14043 | 98647 | 5250 | 1299 | 154 | 0 | 1218 | 20 | 0.000 | 4592.78/1571.25 c (333,0) c 4592.78/1571.25 c (333,0) c synthesis 82016 conflicts 2860793185 propagations 34 conflicts/sec 1179309 propagations/sec 4592.78/1571.25 c (333,0) c real: 333.065 s, cpu: 2425.82 s, memory: 7069.57 Mb 4807.39/1600.20 c (362,0) c 4807.39/1600.20 c (362,0) c |------------------------------------------------------------------------------------------------------------------------| 4807.39/1600.20 c (362,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4807.39/1600.20 c (362,0) c |------------------------------------------------------------------------------------------------------------------------| 4807.39/1600.20 c (362,0) c | 0 | 4 | 18107 | 12376 | 175137 | 6388 | 1783 | 6836 | 13 | 1323 | 20 | 0.016 | 4807.39/1600.20 c (362,0) c | 1 | 3 | 12376 | 9973 | 74364 | 6183 | 1391 | 34 | 0 | 1304 | 20 | 0.000 | 4807.39/1600.20 c (362,0) c | 2 | 7 | 12042 | 8153 | 163228 | 4355 | 771 | 5890 | 14 | 1324 | 20 | 0.000 | 4807.39/1600.20 c (362,0) c | 3 | 5 | 18305 | 14746 | 119684 | 3050 | 1447 | 7345 | 2 | 1324 | 20 | 0.016 | 4807.39/1600.20 c (362,0) c | 4 | 5 | 12875 | 9671 | 113694 | 5873 | 1182 | 1361 | 7 | 1324 | 20 | 0.000 | 4807.39/1600.20 c (362,0) c | 5 | 4 | 11915 | 9079 | 106301 | 5286 | 658 | 709 | 17 | 1324 | 20 | 0.000 | 4807.39/1600.20 c (362,0) c | 6 | 10 | 15689 | 11702 | 148043 | 7907 | 877 | 2079 | 35 | 1324 | 20 | 0.000 | 4807.39/1600.20 c (362,0) c | 7 | 4 | 19251 | 15240 | 102039 | 6447 | 1440 | 154 | 0 | 1324 | 20 | 0.000 | 4807.39/1600.20 c (362,0) c 4807.39/1600.20 c (362,0) c synthesis 90940 conflicts 3079880983 propagations 34 conflicts/sec 1166736 propagations/sec 4807.39/1600.20 c (362,0) c real: 362.065 s, cpu: 2639.74 s, memory: 7071.91 Mb 5031.15/1629.20 c (391,0) c 5031.15/1629.20 c (391,0) c |------------------------------------------------------------------------------------------------------------------------| 5031.15/1629.20 c (391,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5031.15/1629.20 c (391,0) c |------------------------------------------------------------------------------------------------------------------------| 5031.15/1629.20 c (391,0) c | 0 | 4 | 19123 | 13064 | 182704 | 7076 | 1947 | 6836 | 25 | 1433 | 20 | 0.016 | 5031.15/1629.20 c (391,0) c | 1 | 4 | 13634 | 11000 | 78352 | 6625 | 1621 | 8387 | 3 | 1416 | 20 | 0.016 | 5031.15/1629.20 c (391,0) c | 2 | 7 | 14084 | 9660 | 185462 | 5862 | 1178 | 5890 | 25 | 1428 | 20 | 0.000 | 5031.15/1629.20 c (391,0) c | 3 | 5 | 20741 | 16786 | 127764 | 5089 | 1605 | 8267 | 4 | 1436 | 20 | 0.016 | 5031.15/1629.20 c (391,0) c | 4 | 5 | 14126 | 10650 | 122693 | 6852 | 1334 | 1361 | 7 | 1436 | 20 | 0.000 | 5031.15/1629.20 c (391,0) c | 5 | 4 | 13669 | 10522 | 112612 | 6729 | 836 | 709 | 19 | 1436 | 20 | 0.000 | 5031.15/1629.20 c (391,0) c | 6 | 10 | 17030 | 12776 | 152338 | 8981 | 987 | 2079 | 44 | 1436 | 20 | 0.000 | 5031.15/1629.20 c (391,0) c | 7 | 4 | 20532 | 16270 | 105958 | 7477 | 1570 | 154 | 0 | 1416 | 20 | 0.000 | 5031.15/1629.20 c (391,0) c 5031.15/1629.20 c (391,0) c synthesis 100728 conflicts 3287973715 propagations 35 conflicts/sec 1148677 propagations/sec 5031.15/1629.20 c (391,0) c real: 391.066 s, cpu: 2862.4 s, memory: 7075.80 Mb 5250.56/1659.20 c (421,0) c 5250.56/1659.20 c (421,0) c |------------------------------------------------------------------------------------------------------------------------| 5250.56/1659.20 c (421,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5250.56/1659.20 c (421,0) c |------------------------------------------------------------------------------------------------------------------------| 5250.56/1659.20 c (421,0) c | 0 | 4 | 20196 | 13920 | 191275 | 4031 | 2106 | 6836 | 39 | 1541 | 20 | 0.016 | 5250.56/1659.20 c (421,0) c | 1 | 4 | 15901 | 12894 | 87113 | 8519 | 1982 | 8387 | 34 | 1521 | 20 | 0.016 | 5250.56/1659.20 c (421,0) c | 2 | 7 | 14951 | 10300 | 189148 | 6502 | 1366 | 5890 | 26 | 1541 | 20 | 0.000 | 5250.56/1659.20 c (421,0) c | 3 | 6 | 23826 | 19336 | 137467 | 5871 | 1825 | 10471 | 7 | 1541 | 20 | 0.034 | 5250.56/1659.20 c (421,0) c | 4 | 5 | 15054 | 11306 | 136544 | 3607 | 1497 | 9875 | 16 | 1541 | 20 | 0.034 | 5250.56/1659.20 c (421,0) c | 5 | 4 | 15277 | 11826 | 118227 | 8033 | 1011 | 709 | 23 | 1541 | 20 | 0.000 | 5250.56/1659.20 c (421,0) c | 6 | 10 | 18907 | 14243 | 158932 | 5451 | 1130 | 2079 | 63 | 1539 | 20 | 0.000 | 5250.56/1659.20 c (421,0) c | 7 | 4 | 22000 | 17522 | 109532 | 4165 | 1717 | 10551 | 0 | 1535 | 20 | 0.040 | 5250.56/1659.20 c (421,0) c 5250.56/1659.20 c (421,0) c synthesis 111347 conflicts 3499884379 propagations 36 conflicts/sec 1136212 propagations/sec 5250.56/1659.20 c (421,0) c real: 421.065 s, cpu: 3080.31 s, memory: 7078.40 Mb 5477.66/1689.20 c (451,0) c 5477.66/1689.20 c (451,0) c |------------------------------------------------------------------------------------------------------------------------| 5477.66/1689.20 c (451,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5477.66/1689.20 c (451,0) c |------------------------------------------------------------------------------------------------------------------------| 5477.66/1689.20 c (451,0) c | 0 | 4 | 20962 | 14513 | 196941 | 4624 | 2210 | 6836 | 42 | 1650 | 20 | 0.016 | 5477.66/1689.20 c (451,0) c | 1 | 4 | 18611 | 15128 | 96757 | 6041 | 2329 | 8387 | 80 | 1630 | 20 | 0.016 | 5477.66/1689.20 c (451,0) c | 2 | 7 | 15881 | 10998 | 195136 | 7200 | 1501 | 5890 | 30 | 1650 | 20 | 0.000 | 5477.66/1689.20 c (451,0) c | 3 | 6 | 27121 | 22060 | 145769 | 8592 | 2123 | 11700 | 17 | 1650 | 20 | 0.043 | 5477.66/1689.20 c (451,0) c | 4 | 5 | 15938 | 11974 | 149182 | 4275 | 1644 | 9875 | 23 | 1650 | 20 | 0.034 | 5477.66/1689.20 c (451,0) c | 5 | 4 | 16957 | 13198 | 125623 | 9405 | 1168 | 709 | 28 | 1650 | 20 | 0.000 | 5477.66/1689.20 c (451,0) c | 6 | 10 | 20679 | 15720 | 164648 | 6928 | 1276 | 2079 | 64 | 1650 | 20 | 0.000 | 5477.66/1689.20 c (451,0) c | 7 | 4 | 23156 | 18451 | 116056 | 5094 | 1811 | 10551 | 32 | 1641 | 20 | 0.040 | 5477.66/1689.20 c (451,0) c 5477.66/1689.20 c (451,0) c synthesis 122042 conflicts 3725445365 propagations 37 conflicts/sec 1126993 propagations/sec 5477.66/1689.20 c (451,0) c real: 451.065 s, cpu: 3305.65 s, memory: 7079.96 Mb 5699.37/1718.21 c (480,0) c 5699.37/1718.21 c (480,0) c |------------------------------------------------------------------------------------------------------------------------| 5699.37/1718.21 c (480,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5699.37/1718.21 c (480,0) c |------------------------------------------------------------------------------------------------------------------------| 5699.37/1718.21 c (480,0) c | 0 | 4 | 21573 | 15004 | 200745 | 5115 | 2267 | 6836 | 44 | 1758 | 20 | 0.016 | 5699.37/1718.21 c (480,0) c | 1 | 4 | 21087 | 17240 | 105325 | 8153 | 2520 | 8387 | 110 | 1739 | 20 | 0.016 | 5699.37/1718.21 c (480,0) c | 2 | 7 | 17070 | 11906 | 201750 | 8108 | 1692 | 5890 | 41 | 1759 | 20 | 0.000 | 5699.37/1718.21 c (480,0) c | 3 | 7 | 29757 | 24258 | 153301 | 4701 | 2300 | 12779 | 33 | 1759 | 20 | 0.043 | 5699.37/1718.21 c (480,0) c | 4 | 5 | 17122 | 12876 | 159164 | 5177 | 1794 | 9875 | 78 | 1751 | 20 | 0.034 | 5699.37/1718.21 c (480,0) c | 5 | 4 | 18343 | 14341 | 132661 | 5548 | 1341 | 709 | 30 | 1759 | 20 | 0.000 | 5699.37/1718.21 c (480,0) c | 6 | 10 | 22129 | 16900 | 169221 | 8108 | 1390 | 2079 | 64 | 1759 | 20 | 0.000 | 5699.37/1718.21 c (480,0) c | 7 | 4 | 23990 | 19145 | 121533 | 5788 | 1899 | 10551 | 54 | 1739 | 20 | 0.040 | 5699.37/1718.21 c (480,0) c 5699.37/1718.21 c (480,0) c synthesis 131670 conflicts 3947834984 propagations 37 conflicts/sec 1119845 propagations/sec 5699.37/1718.21 c (480,0) c real: 480.065 s, cpu: 3525.34 s, memory: 7081.38 Mb 5872.77/1743.93 c (506,0) c 5872.77/1743.93 c (506,0) c real time : 505.797 s 5872.77/1743.93 c (506,0) c cpu time : 3698.28 s 5872.77/1743.93 c (506,0) c 5872.77/1743.93 c (506,0) c 5872.77/1743.93 c (506,0) c 5872.77/1743.93 c (506,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 5872.77/1743.93 c (506,0) c 5872.77/1743.93 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.93 c (506,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5872.77/1743.93 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.93 c (506,0) c | Conflicts | 141370 | 15669 | 18962 | 13916 | 26097 | 14137 | 14947 | 17860 | 19782 | 5872.77/1743.93 c (506,0) c | Decisions | 183034 | 22414 | 23164 | 19610 | 31933 | 18645 | 19080 | 23331 | 24857 | 5872.77/1743.93 c (506,0) c | Propagations | 4105563347 | 563228378 | 481325618 | 581422975 | 471198588 | 571179103 | 500480666 | 495965621 | 440762398 | 5872.77/1743.93 c (506,0) c | ReduceDBs | 25 | 3 | 3 | 3 | 4 | 3 | 3 | 3 | 3 | 5872.77/1743.93 c (506,0) c | SimpDBs | 18 | 3 | 3 | 2 | 4 | 2 | 1 | 1 | 2 | 5872.77/1743.93 c (506,0) c | Restarts | 45 | 4 | 4 | 7 | 7 | 5 | 4 | 10 | 4 | 5872.77/1743.93 c (506,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5872.77/1743.93 c (506,0) c | PropBinClauses| 2780508599 | 351578978 | 360794507 | 300000402 | 393795499 | 366917533 | 355011031 | 338637821 | 313772828 | 5872.77/1743.93 c (506,0) c | PropPreBlocker| 44398630537 | 5704754130 | 5290415761 | 5989015792 | 5244055734 | 5624539404 | 5490688681 | 5597677741 | 5457483294 | 5872.77/1743.93 c (506,0) c | PropNotBlocker| 26035819996 | 3039257851 | 3540171894 | 2730272736 | 3567649948 | 2996063031 | 3319152847 | 3265405999 | 3577845690 | 5872.77/1743.93 c (506,0) c | LitFullScans | 88891753182 |11121763731 |11105698936 |11125272157 |11096036761 |11112765362 |11118054619 |11108392925 |11103768691 | 5872.77/1743.93 c (506,0) c | LitScanFracts | 569907146 | 81624574 | 64887044 | 85263979 | 55909232 | 72590900 | 77950821 | 68156367 | 63524229 | 5872.77/1743.93 c (506,0) c | DecisionLevel0| 71 | 6 | 7 | 8 | 24 | 7 | 4 | 10 | 5 | 5872.77/1743.93 c (506,0) c | Periods | 14720 | 1840 | 1840 | 1840 | 1840 | 1840 | 1840 | 1840 | 1840 | 5872.77/1743.93 c (506,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 5872.77/1743.93 c (506,0) c | Avg_Trail | | 137423 | 64642 | 153160 | 47567 | 141971 | 103547 | 106711 | 67711 | 5872.77/1743.93 c (506,0) c | Avg_DL | | 11 | 10 | 11 | 10 | 11 | 11 | 12 | 10 | 5872.77/1743.93 c (506,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5872.77/1743.93 c (506,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5872.77/1743.93 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.93 c (506,0) c | Exported | 16583 | 2337 | 2745 | 2100 | 2555 | 1956 | 1408 | 1497 | 1985 | 5872.77/1743.93 c (506,0) c | Imported | 77079 | 13039 | 13488 | 13594 | 13744 | 9875 | 709 | 2079 | 10551 | 5872.77/1743.93 c (506,0) c | Good | 3075 | 572 | 556 | 595 | 470 | 364 | 78 | 99 | 341 | 5872.77/1743.93 c (506,0) c | Purge | 74004 | 12467 | 12932 | 12999 | 13274 | 9511 | 631 | 1980 | 10210 | 5872.77/1743.93 c (506,0) c | Promoted | 658 | 89 | 162 | 54 | 55 | 139 | 30 | 65 | 64 | 5872.77/1743.93 c (506,0) c | Remove_Imp | 5162 | 0 | 0 | 283 | 2584 | 2295 | 0 | 0 | 0 | 5872.77/1743.93 c (506,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5872.77/1743.93 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.93 c (506,0) c | Unaries | | 2 | 3 | 1 | 17 | 2 | 0 | 0 | 1 | 5872.77/1743.93 c (506,0) c | Binaries | | 46 | 130 | 29 | 239 | 38 | 65 | 79 | 100 | 5872.77/1743.93 c (506,0) c | Glues | | 290 | 444 | 261 | 637 | 238 | 360 | 349 | 569 | 5872.77/1743.93 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.93 c (506,0) c | Orig_Seen | 1 % | 205312 | 112847 | 213553 | 159777 | 168218 | 138110 | 172241 | 126981 | 5872.77/1743.93 c (506,0) c | Diff Orig seen| | 45535 | - 46930 | 53776 | X | 8441 | - 21667 | 12464 | - 32796 | 5872.77/1743.93 c (506,0) c | Hamming | 22 % | 151539 | 146220 | 105931 | X | 151630 | 131358 | 148409 | 146370 | 5872.77/1743.93 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.93 c (506,0) c | RunningTime | | 479.5 97%| 497.5 100%| 451.4 91%| 465.3 94%| 475.3 96%| 455.7 92%| 477.1 96%| 489.7 98%| 5872.77/1743.93 c (506,0) c | WaitingTime | | 14.9 3%| 0.0 0%| 42.5 9%| 28.6 6%| 19.8 4%| 38.6 8%| 17.4 4%| 8.9 2%| 5872.77/1743.93 c (506,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%| 5872.77/1743.93 c (506,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%| 5872.77/1743.93 c (506,0) c | SolvingTime | | 494.4 | 497.6 | 494.0 | 494.0 | 495.1 | 494.4 | 494.5 | 498.7 | 5872.77/1743.93 c (506,0) c | PropagationTim| | 477.3 97%| 483.0 97%| 479.2 97%| 474.5 96%| 479.2 97%| 480.9 97%| 479.4 97%| 483.2 97%| 5872.77/1743.93 c (506,0) c | AnalysisTime | | 3.6 1%| 3.3 1%| 3.3 1%| 3.5 1%| 3.4 1%| 3.2 1%| 3.8 1%| 3.6 1%| 5872.77/1743.93 c (506,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%| 5872.77/1743.93 c (506,0) c | SimplifyTime | | 2.4 0%| 0.4 0%| 1.5 0%| 4.9 1%| 1.7 0%| 0.0 0%| 0.0 0%| 0.3 0%| 5872.77/1743.93 c (506,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%| 5872.77/1743.93 c (506,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%| 5872.77/1743.93 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.93 c (506,0) c 5872.77/1743.93 c (506,0) c 5872.77/1743.93 c (506,0) c Threads : 8 5872.77/1743.93 c (506,0) c Winner : 3 5872.77/1743.93 c (506,0) c Conflicts_0 : 15669 5872.77/1743.93 c (506,0) c Conflicts_1 : 18962 5872.77/1743.93 c (506,0) c Conflicts_2 : 13916 5872.77/1743.93 c (506,0) c Conflicts_3 : 26097 5872.77/1743.93 c (506,0) c Conflicts_4 : 14137 5872.77/1743.93 c (506,0) c Conflicts_5 : 14947 5872.77/1743.93 c (506,0) c Conflicts_6 : 17860 5872.77/1743.93 c (506,0) c Conflicts_7 : 19782 5872.77/1743.93 c (506,0) c Conflicts_total : 141370 5872.77/1743.93 c (506,0) c Conflicts_winner : 26097 5872.77/1743.93 c (506,0) c Decisions_0 : 22414 5872.77/1743.93 c (506,0) c Decisions_1 : 23164 5872.77/1743.93 c (506,0) c Decisions_2 : 19610 5872.77/1743.93 c (506,0) c Decisions_3 : 31933 5872.77/1743.93 c (506,0) c Decisions_4 : 18645 5872.77/1743.93 c (506,0) c Decisions_5 : 19080 5872.77/1743.93 c (506,0) c Decisions_6 : 23331 5872.77/1743.93 c (506,0) c Decisions_7 : 24857 5872.77/1743.93 c (506,0) c Decisions_total : 183034 5872.77/1743.93 c (506,0) c Decisions_winner : 31933 5872.77/1743.93 c (506,0) c Propagations_0 : 563228378 5872.77/1743.93 c (506,0) c Propagations_1 : 481325618 5872.77/1743.93 c (506,0) c Propagations_2 : 581422975 5872.77/1743.93 c (506,0) c Propagations_3 : 471198588 5872.77/1743.93 c (506,0) c Propagations_4 : 571179103 5872.77/1743.93 c (506,0) c Propagations_5 : 500480666 5872.77/1743.93 c (506,0) c Propagations_6 : 495965621 5872.77/1743.93 c (506,0) c Propagations_7 : 440762398 5872.77/1743.93 c (506,0) c Propagations_total : 4105563347 5872.77/1743.93 c (506,0) c Propagations_winner : 471198588 5872.77/1743.93 c (506,0) c ReduceDBs_0 : 3 5872.77/1743.93 c (506,0) c ReduceDBs_1 : 3 5872.77/1743.93 c (506,0) c ReduceDBs_2 : 3 5872.77/1743.93 c (506,0) c ReduceDBs_3 : 4 5872.77/1743.93 c (506,0) c ReduceDBs_4 : 3 5872.77/1743.93 c (506,0) c ReduceDBs_5 : 3 5872.77/1743.93 c (506,0) c ReduceDBs_6 : 3 5872.77/1743.93 c (506,0) c ReduceDBs_7 : 3 5872.77/1743.93 c (506,0) c ReduceDBs_total : 25 5872.77/1743.93 c (506,0) c ReduceDBs_winner : 4 5872.77/1743.93 c (506,0) c SimpDBs_0 : 3 5872.77/1743.93 c (506,0) c SimpDBs_1 : 3 5872.77/1743.93 c (506,0) c SimpDBs_2 : 2 5872.77/1743.93 c (506,0) c SimpDBs_3 : 4 5872.77/1743.93 c (506,0) c SimpDBs_4 : 2 5872.77/1743.93 c (506,0) c SimpDBs_5 : 1 5872.77/1743.93 c (506,0) c SimpDBs_6 : 1 5872.77/1743.93 c (506,0) c SimpDBs_7 : 2 5872.77/1743.93 c (506,0) c SimpDBs_total : 18 5872.77/1743.93 c (506,0) c SimpDBs_winner : 4 5872.77/1743.93 c (506,0) c Restarts_0 : 4 5872.77/1743.93 c (506,0) c Restarts_1 : 4 5872.77/1743.93 c (506,0) c Restarts_2 : 7 5872.77/1743.93 c (506,0) c Restarts_3 : 7 5872.77/1743.93 c (506,0) c Restarts_4 : 5 5872.77/1743.93 c (506,0) c Restarts_5 : 4 5872.77/1743.93 c (506,0) c Restarts_6 : 10 5872.77/1743.93 c (506,0) c Restarts_7 : 4 5872.77/1743.93 c (506,0) c Restarts_total : 45 5872.77/1743.93 c (506,0) c Restarts_winner : 7 5872.77/1743.93 c (506,0) c ForcedImports_0 : 0 5872.77/1743.93 c (506,0) c ForcedImports_1 : 0 5872.77/1743.93 c (506,0) c ForcedImports_2 : 0 5872.77/1743.93 c (506,0) c ForcedImports_3 : 0 5872.77/1743.93 c (506,0) c ForcedImports_4 : 0 5872.77/1743.93 c (506,0) c ForcedImports_5 : 0 5872.77/1743.93 c (506,0) c ForcedImports_6 : 0 5872.77/1743.93 c (506,0) c ForcedImports_7 : 0 5872.77/1743.93 c (506,0) c ForcedImports_total : 0 5872.77/1743.93 c (506,0) c ForcedImports_winner : 0 5872.77/1743.93 c (506,0) c PropsBinClauses_0 : 351578978 5872.77/1743.93 c (506,0) c PropsBinClauses_1 : 360794507 5872.77/1743.93 c (506,0) c PropsBinClauses_2 : 300000402 5872.77/1743.93 c (506,0) c PropsBinClauses_3 : 393795499 5872.77/1743.93 c (506,0) c PropsBinClauses_4 : 366917533 5872.77/1743.93 c (506,0) c PropsBinClauses_5 : 355011031 5872.77/1743.93 c (506,0) c PropsBinClauses_6 : 338637821 5872.77/1743.93 c (506,0) c PropsBinClauses_7 : 313772828 5872.77/1743.93 c (506,0) c PropsBinClauses_total : 2780508599 5872.77/1743.93 c (506,0) c PropsBinClauses_winner : 393795499 5872.77/1743.93 c (506,0) c PropsPreBlocker_0 : 5704754130 5872.77/1743.93 c (506,0) c PropsPreBlocker_1 : 5290415761 5872.77/1743.93 c (506,0) c PropsPreBlocker_2 : 5989015792 5872.77/1743.93 c (506,0) c PropsPreBlocker_3 : 5244055734 5872.77/1743.93 c (506,0) c PropsPreBlocker_4 : 5624539404 5872.77/1743.93 c (506,0) c PropsPreBlocker_5 : 5490688681 5872.77/1743.93 c (506,0) c PropsPreBlocker_6 : 5597677741 5872.77/1743.94 c (506,0) c PropsPreBlocker_7 : 5457483294 5872.77/1743.94 c (506,0) c PropsPreBlocker_total : 44398630537 5872.77/1743.94 c (506,0) c PropsPreBlocker_winner : 5244055734 5872.77/1743.94 c (506,0) c PropsNotBlocker_0 : 3039257851 5872.77/1743.94 c (506,0) c PropsNotBlocker_1 : 3540171894 5872.77/1743.94 c (506,0) c PropsNotBlocker_2 : 2730272736 5872.77/1743.94 c (506,0) c PropsNotBlocker_3 : 3567649948 5872.77/1743.94 c (506,0) c PropsNotBlocker_4 : 2996063031 5872.77/1743.94 c (506,0) c PropsNotBlocker_5 : 3319152847 5872.77/1743.94 c (506,0) c PropsNotBlocker_6 : 3265405999 5872.77/1743.94 c (506,0) c PropsNotBlocker_7 : 3577845690 5872.77/1743.94 c (506,0) c PropsNotBlocker_total : 26035819996 5872.77/1743.94 c (506,0) c PropsNotBlocker_winner : 3567649948 5872.77/1743.94 c (506,0) c PropsLitFullScans_0 : 11121763731 5872.77/1743.94 c (506,0) c PropsLitFullScans_1 : 11105698936 5872.77/1743.94 c (506,0) c PropsLitFullScans_2 : 11125272157 5872.77/1743.94 c (506,0) c PropsLitFullScans_3 : 11096036761 5872.77/1743.94 c (506,0) c PropsLitFullScans_4 : 11112765362 5872.77/1743.94 c (506,0) c PropsLitFullScans_5 : 11118054619 5872.77/1743.94 c (506,0) c PropsLitFullScans_6 : 11108392925 5872.77/1743.94 c (506,0) c PropsLitFullScans_7 : 11103768691 5872.77/1743.94 c (506,0) c PropsLitFullScans_total : 88891753182 5872.77/1743.94 c (506,0) c PropsLitFullScans_winner : 11096036761 5872.77/1743.94 c (506,0) c LitScanFractions_0 : 81624574 5872.77/1743.94 c (506,0) c LitScanFractions_1 : 64887044 5872.77/1743.94 c (506,0) c LitScanFractions_2 : 85263979 5872.77/1743.94 c (506,0) c LitScanFractions_3 : 55909232 5872.77/1743.94 c (506,0) c LitScanFractions_4 : 72590900 5872.77/1743.94 c (506,0) c LitScanFractions_5 : 77950821 5872.77/1743.94 c (506,0) c LitScanFractions_6 : 68156367 5872.77/1743.94 c (506,0) c LitScanFractions_7 : 63524229 5872.77/1743.94 c (506,0) c LitScanFractions_total : 569907146 5872.77/1743.94 c (506,0) c LitScanFractions_winner : 55909232 5872.77/1743.94 c (506,0) c DecisionLevel0_0 : 6 5872.77/1743.94 c (506,0) c DecisionLevel0_1 : 7 5872.77/1743.94 c (506,0) c DecisionLevel0_2 : 8 5872.77/1743.94 c (506,0) c DecisionLevel0_3 : 24 5872.77/1743.94 c (506,0) c DecisionLevel0_4 : 7 5872.77/1743.94 c (506,0) c DecisionLevel0_5 : 4 5872.77/1743.94 c (506,0) c DecisionLevel0_6 : 10 5872.77/1743.94 c (506,0) c DecisionLevel0_7 : 5 5872.77/1743.94 c (506,0) c DecisionLevel0_total : 71 5872.77/1743.94 c (506,0) c DecisionLevel0_winner : 24 5872.77/1743.94 c (506,0) c Periods_0 : 1840 5872.77/1743.94 c (506,0) c Periods_1 : 1840 5872.77/1743.94 c (506,0) c Periods_2 : 1840 5872.77/1743.94 c (506,0) c Periods_3 : 1840 5872.77/1743.94 c (506,0) c Periods_4 : 1840 5872.77/1743.94 c (506,0) c Periods_5 : 1840 5872.77/1743.94 c (506,0) c Periods_6 : 1840 5872.77/1743.94 c (506,0) c Periods_7 : 1840 5872.77/1743.94 c (506,0) c Periods_total : 14720 5872.77/1743.94 c (506,0) c Periods_winner : 1840 5872.77/1743.94 c (506,0) c Margin_0 : 20 5872.77/1743.94 c (506,0) c Margin_1 : 20 5872.77/1743.94 c (506,0) c Margin_2 : 20 5872.77/1743.94 c (506,0) c Margin_3 : 20 5872.77/1743.94 c (506,0) c Margin_4 : 20 5872.77/1743.94 c (506,0) c Margin_5 : 20 5872.77/1743.94 c (506,0) c Margin_6 : 20 5872.77/1743.94 c (506,0) c Margin_7 : 20 5872.77/1743.94 c (506,0) c Margin_total : 160 5872.77/1743.94 c (506,0) c Margin_winner : 20 5872.77/1743.94 c (506,0) c Exported_0 : 2337 5872.77/1743.94 c (506,0) c Exported_1 : 2745 5872.77/1743.94 c (506,0) c Exported_2 : 2100 5872.77/1743.94 c (506,0) c Exported_3 : 2555 5872.77/1743.94 c (506,0) c Exported_4 : 1956 5872.77/1743.94 c (506,0) c Exported_5 : 1408 5872.77/1743.94 c (506,0) c Exported_6 : 1497 5872.77/1743.94 c (506,0) c Exported_7 : 1985 5872.77/1743.94 c (506,0) c Exported_total : 16583 5872.77/1743.94 c (506,0) c Exported_winner : 2555 5872.77/1743.94 c (506,0) c Imported_0 : 13039 5872.77/1743.94 c (506,0) c Imported_1 : 13488 5872.77/1743.94 c (506,0) c Imported_2 : 13594 5872.77/1743.94 c (506,0) c Imported_3 : 13744 5872.77/1743.94 c (506,0) c Imported_4 : 9875 5872.77/1743.94 c (506,0) c Imported_5 : 709 5872.77/1743.94 c (506,0) c Imported_6 : 2079 5872.77/1743.94 c (506,0) c Imported_7 : 10551 5872.77/1743.94 c (506,0) c Imported_total : 77079 5872.77/1743.94 c (506,0) c Imported_winner : 13744 5872.77/1743.94 c (506,0) c Good_0 : 572 5872.77/1743.94 c (506,0) c Good_1 : 556 5872.77/1743.94 c (506,0) c Good_2 : 595 5872.77/1743.94 c (506,0) c Good_3 : 470 5872.77/1743.94 c (506,0) c Good_4 : 364 5872.77/1743.94 c (506,0) c Good_5 : 78 5872.77/1743.94 c (506,0) c Good_6 : 99 5872.77/1743.94 c (506,0) c Good_7 : 341 5872.77/1743.94 c (506,0) c Good_total : 3075 5872.77/1743.94 c (506,0) c Good_winner : 470 5872.77/1743.94 c (506,0) c Purge_0 : 12467 5872.77/1743.94 c (506,0) c Purge_1 : 12932 5872.77/1743.94 c (506,0) c Purge_2 : 12999 5872.77/1743.94 c (506,0) c Purge_3 : 13274 5872.77/1743.94 c (506,0) c Purge_4 : 9511 5872.77/1743.94 c (506,0) c Purge_5 : 631 5872.77/1743.94 c (506,0) c Purge_6 : 1980 5872.77/1743.94 c (506,0) c Purge_7 : 10210 5872.77/1743.94 c (506,0) c Purge_total : 74004 5872.77/1743.94 c (506,0) c Purge_winner : 13274 5872.77/1743.94 c (506,0) c Promoted_0 : 89 5872.77/1743.94 c (506,0) c Promoted_1 : 162 5872.77/1743.94 c (506,0) c Promoted_2 : 54 5872.77/1743.94 c (506,0) c Promoted_3 : 55 5872.77/1743.94 c (506,0) c Promoted_4 : 139 5872.77/1743.94 c (506,0) c Promoted_5 : 30 5872.77/1743.94 c (506,0) c Promoted_6 : 65 5872.77/1743.94 c (506,0) c Promoted_7 : 64 5872.77/1743.94 c (506,0) c Promoted_total : 658 5872.77/1743.94 c (506,0) c Promoted_winner : 55 5872.77/1743.94 c (506,0) c Remove_Imp_0 : 0 5872.77/1743.94 c (506,0) c Remove_Imp_1 : 0 5872.77/1743.94 c (506,0) c Remove_Imp_2 : 283 5872.77/1743.94 c (506,0) c Remove_Imp_3 : 2584 5872.77/1743.94 c (506,0) c Remove_Imp_4 : 2295 5872.77/1743.94 c (506,0) c Remove_Imp_5 : 0 5872.77/1743.94 c (506,0) c Remove_Imp_6 : 0 5872.77/1743.94 c (506,0) c Remove_Imp_7 : 0 5872.77/1743.94 c (506,0) c Remove_Imp_total : 5162 5872.77/1743.94 c (506,0) c Remove_Imp_winner : 2584 5872.77/1743.94 c (506,0) c Blocked_Reuse_0 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_1 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_2 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_3 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_4 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_5 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_6 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_7 : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_total : 0 5872.77/1743.94 c (506,0) c Blocked_Reuse_winner : 0 5872.77/1743.94 c (506,0) c Unaries_0 : 2 5872.77/1743.94 c (506,0) c Unaries_1 : 3 5872.77/1743.94 c (506,0) c Unaries_2 : 1 5872.77/1743.94 c (506,0) c Unaries_3 : 17 5872.77/1743.94 c (506,0) c Unaries_4 : 2 5872.77/1743.94 c (506,0) c Unaries_5 : 0 5872.77/1743.94 c (506,0) c Unaries_6 : 0 5872.77/1743.94 c (506,0) c Unaries_7 : 1 5872.77/1743.94 c (506,0) c Unaries_total : 26 5872.77/1743.94 c (506,0) c Unaries_winner : 17 5872.77/1743.94 c (506,0) c Binaries_0 : 46 5872.77/1743.94 c (506,0) c Binaries_1 : 130 5872.77/1743.94 c (506,0) c Binaries_2 : 29 5872.77/1743.94 c (506,0) c Binaries_3 : 239 5872.77/1743.94 c (506,0) c Binaries_4 : 38 5872.77/1743.94 c (506,0) c Binaries_5 : 65 5872.77/1743.94 c (506,0) c Binaries_6 : 79 5872.77/1743.94 c (506,0) c Binaries_7 : 100 5872.77/1743.94 c (506,0) c Binaries_total : 726 5872.77/1743.94 c (506,0) c Binaries_winner : 239 5872.77/1743.94 c (506,0) c Glues_0 : 290 5872.77/1743.94 c (506,0) c Glues_1 : 444 5872.77/1743.94 c (506,0) c Glues_2 : 261 5872.77/1743.94 c (506,0) c Glues_3 : 637 5872.77/1743.94 c (506,0) c Glues_4 : 238 5872.77/1743.94 c (506,0) c Glues_5 : 360 5872.77/1743.94 c (506,0) c Glues_6 : 349 5872.77/1743.94 c (506,0) c Glues_7 : 569 5872.77/1743.94 c (506,0) c Glues_total : 3148 5872.77/1743.94 c (506,0) c Glues_winner : 637 5872.77/1743.94 c (506,0) c RunningTime_0 : 479.470665 5872.77/1743.94 c (506,0) c RunningTime_1 : 497.486207 5872.77/1743.94 c (506,0) c RunningTime_2 : 451.435802 5872.77/1743.94 c (506,0) c RunningTime_3 : 465.334158 5872.77/1743.94 c (506,0) c RunningTime_4 : 475.287623 5872.77/1743.94 c (506,0) c RunningTime_5 : 455.716865 5872.77/1743.94 c (506,0) c RunningTime_6 : 477.065020 5872.77/1743.94 c (506,0) c RunningTime_7 : 489.740731 5872.77/1743.94 c (506,0) c RunningTime_total : 3791.537071 5872.77/1743.94 c (506,0) c RunningTime_winner : 465.334158 5872.77/1743.94 c (506,0) c WaitingTime_0 : 14.884899 5872.77/1743.94 c (506,0) c WaitingTime_1 : 0.002701 5872.77/1743.94 c (506,0) c WaitingTime_2 : 42.528356 5872.77/1743.94 c (506,0) c WaitingTime_3 : 28.571936 5872.77/1743.94 c (506,0) c WaitingTime_4 : 19.808082 5872.77/1743.94 c (506,0) c WaitingTime_5 : 38.604601 5872.77/1743.94 c (506,0) c WaitingTime_6 : 17.420865 5872.77/1743.94 c (506,0) c WaitingTime_7 : 8.904112 5872.77/1743.94 c (506,0) c WaitingTime_total : 170.725552 5872.77/1743.94 c (506,0) c WaitingTime_winner : 28.571936 5872.77/1743.94 c (506,0) c ExchangingTime_0 : 0.033497 5872.77/1743.94 c (506,0) c ExchangingTime_1 : 0.032100 5872.77/1743.94 c (506,0) c ExchangingTime_2 : 0.031146 5872.77/1743.94 c (506,0) c ExchangingTime_3 : 0.032400 5872.77/1743.94 c (506,0) c ExchangingTime_4 : 0.029036 5872.77/1743.94 c (506,0) c ExchangingTime_5 : 0.027504 5872.77/1743.94 c (506,0) c ExchangingTime_6 : 0.031303 5872.77/1743.94 c (506,0) c ExchangingTime_7 : 0.031777 5872.77/1743.94 c (506,0) c ExchangingTime_total : 0.248763 5872.77/1743.94 c (506,0) c ExchangingTime_winner : 0.032400 5872.77/1743.94 c (506,0) c PeriodProcTime_0 : 0.025482 5872.77/1743.94 c (506,0) c PeriodProcTime_1 : 0.034400 5872.77/1743.94 c (506,0) c PeriodProcTime_2 : 0.023152 5872.77/1743.94 c (506,0) c PeriodProcTime_3 : 0.025615 5872.77/1743.94 c (506,0) c PeriodProcTime_4 : 0.024560 5872.77/1743.94 c (506,0) c PeriodProcTime_5 : 0.022290 5872.77/1743.94 c (506,0) c PeriodProcTime_6 : 0.024474 5872.77/1743.94 c (506,0) c PeriodProcTime_7 : 0.025953 5872.77/1743.94 c (506,0) c PeriodProcTime_total : 0.205926 5872.77/1743.94 c (506,0) c PeriodProcTime_winner : 0.025615 5872.77/1743.94 c (506,0) c SolvingTime_0 : 494.414544 5872.77/1743.94 c (506,0) c SolvingTime_1 : 497.555409 5872.77/1743.94 c (506,0) c SolvingTime_2 : 494.018456 5872.77/1743.94 c (506,0) c SolvingTime_3 : 493.964109 5872.77/1743.94 c (506,0) c SolvingTime_4 : 495.149301 5872.77/1743.94 c (506,0) c SolvingTime_5 : 494.371260 5872.77/1743.94 c (506,0) c SolvingTime_6 : 494.541662 5872.77/1743.94 c (506,0) c SolvingTime_7 : 498.702572 5872.77/1743.94 c (506,0) c SolvingTime_total : 3962.717313 5872.77/1743.94 c (506,0) c SolvingTime_winner : 493.964109 5872.77/1743.94 c (506,0) c PropagationTime_0 : 477.265508 5872.77/1743.94 c (506,0) c PropagationTime_1 : 483.015382 5872.77/1743.94 c (506,0) c PropagationTime_2 : 479.215864 5872.77/1743.94 c (506,0) c PropagationTime_3 : 474.519830 5872.77/1743.94 c (506,0) c PropagationTime_4 : 479.161473 5872.77/1743.94 c (506,0) c PropagationTime_5 : 480.940428 5872.77/1743.94 c (506,0) c PropagationTime_6 : 479.365769 5872.77/1743.94 c (506,0) c PropagationTime_7 : 483.160367 5872.77/1743.94 c (506,0) c PropagationTime_total : 3836.644621 5872.77/1743.94 c (506,0) c PropagationTime_winner : 474.519830 5872.77/1743.94 c (506,0) c AnalysisTime_0 : 3.554060 5872.77/1743.94 c (506,0) c AnalysisTime_1 : 3.343075 5872.77/1743.94 c (506,0) c AnalysisTime_2 : 3.341372 5872.77/1743.94 c (506,0) c AnalysisTime_3 : 3.486065 5872.77/1743.94 c (506,0) c AnalysisTime_4 : 3.353179 5872.77/1743.94 c (506,0) c AnalysisTime_5 : 3.195867 5872.77/1743.94 c (506,0) c AnalysisTime_6 : 3.836395 5872.77/1743.94 c (506,0) c AnalysisTime_7 : 3.591470 5872.77/1743.94 c (506,0) c AnalysisTime_total : 27.701483 5872.77/1743.94 c (506,0) c AnalysisTime_winner : 3.486065 5872.77/1743.94 c (506,0) c ReductionTime_0 : 0.004089 5872.77/1743.94 c (506,0) c ReductionTime_1 : 0.003807 5872.77/1743.94 c (506,0) c ReductionTime_2 : 0.006087 5872.77/1743.94 c (506,0) c ReductionTime_3 : 0.007432 5872.77/1743.94 c (506,0) c ReductionTime_4 : 0.006442 5872.77/1743.94 c (506,0) c ReductionTime_5 : 0.005179 5872.77/1743.94 c (506,0) c ReductionTime_6 : 0.004703 5872.77/1743.94 c (506,0) c ReductionTime_7 : 0.004190 5872.77/1743.94 c (506,0) c ReductionTime_total : 0.041929 5872.77/1743.94 c (506,0) c ReductionTime_winner : 0.007432 5872.77/1743.94 c (506,0) c SimplifyTime_0 : 2.444707 5872.77/1743.94 c (506,0) c SimplifyTime_1 : 0.425627 5872.77/1743.94 c (506,0) c SimplifyTime_2 : 1.496555 5872.77/1743.94 c (506,0) c SimplifyTime_3 : 4.857327 5872.77/1743.94 c (506,0) c SimplifyTime_4 : 1.716231 5872.77/1743.94 c (506,0) c SimplifyTime_5 : 0.000000 5872.77/1743.94 c (506,0) c SimplifyTime_6 : 0.000002 5872.77/1743.94 c (506,0) c SimplifyTime_7 : 0.251760 5872.77/1743.94 c (506,0) c SimplifyTime_total : 11.192209 5872.77/1743.94 c (506,0) c SimplifyTime_winner : 4.857327 5872.77/1743.94 c (506,0) c UsedRateTime_0 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_1 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_2 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_3 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_4 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_5 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_6 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_7 : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_total : 0.000000 5872.77/1743.94 c (506,0) c UsedRateTime_winner : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_0 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_1 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_2 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_3 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_4 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_5 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_6 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_7 : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_total : 0.000000 5872.77/1743.94 c (506,0) c OverlapRateTime_winner : 0.000000 5872.77/1743.94 c (506,0) c 5872.77/1743.94 c (506,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5872.77/1743.94 c (506,0) c 5872.77/1743.94 c (506,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.94 c (506,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5872.77/1743.94 c (506,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.94 c (506,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5872.77/1743.94 c (506,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5872.77/1743.94 c (506,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5872.77/1743.94 c (506,0) c | Initial random_seed | 1701287268 | 418891708 | 337058198 | 783476971 | 981245221 | 1813569757 | 1356876173 | 349651994 | 5872.77/1743.94 c (506,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5872.77/1743.94 c (506,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5872.77/1743.94 c (506,0) c | glureduce | True | True | True | True | True | True | True | True | 5872.77/1743.94 c (506,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5872.77/1743.94 c (506,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5872.77/1743.94 c (506,0) c | luby_restart | False | False | False | False | False | False | False | False | 5872.77/1743.94 c (506,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5872.77/1743.94 c (506,0) c | var_decay | 0.8300 | 0.8300 | 0.8200 | 0.8500 | 0.8200 | 0.8200 | 0.8300 | 0.8300 | 5872.77/1743.94 c (506,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5872.77/1743.94 c (506,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5872.77/1743.94 c (506,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5872.77/1743.94 c (506,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5872.77/1743.94 c (506,0) 5872.77/1743.94 c (506,0) s UNSATISFIABLE 5873.22/1744.30 c (506,0) SatSolver.solve End 5873.22/1744.30 c (506,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 5873.22/1744.30 c (506,0) Show results Begin 5873.22/1744.30 s UNSATISFIABLE 5873.22/1744.30 c (506,0) Show results End 5873.22/1744.30 c (506,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 5873.22/1744.30 c (506,0) 506,506,STOP-AFTER(ALL) 5873.22/1744.30 c END-Prog: Mon Sep 23 14:06:00 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 (7977 MiB free)
memory of node 1: 16384 MiB (10088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405267-1569238652/watcher-4405267-1569238652 -o /var/tmp/evaluation-result-4405267-1569238652/solver-4405267-1569238652 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569238590-3148 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405267-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
solver pid=3291, runsolver pid=3288
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.94 0.48 0.20 2/211 3313
/proc/meminfo: memFree=18403584/32770624 swapFree=66957524/67108860
[pid=3291] ppid=3288 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3291/stat : 3291 (scop.sh) S 3288 3291 3121 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500103995 115843072 350 33554432000 4194304 5098028 140724678112656 140724678109912 140712110875260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35872768 140724678120189 140724678120536 140724678120536 140724678123465 0
/proc/3291/statm: 28282 350 297 221 0 87 0
[pid=3294] ppid=3291 vsize=27314120 memory=107388 CPUtime=0.1 cores=0-7
/proc/3294/stat : 3294 (java) S 3291 3291 3121 0 -1 1077944320 6453 0 0 0 8 2 0 0 20 0 20 0 500103995 27969658880 26847 33554432000 4194304 4196468 140723209930912 140723209913456 140211078463223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
/proc/3294/statm: 6828530 26847 2777 1 0 6790935 0
[pid=3294/tid=3295] ppid=3291 vsize=27314120 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/3294/task/3295/stat : 3295 (java) R 3291 3291 3121 0 -1 4202560 4563 0 0 0 7 2 0 0 20 0 20 0 500103996 27969658880 26912 33554432000 4194304 4196468 140723209930912 140211050286512 140211078475158 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3296] ppid=3291 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3294/task/3296/stat : 3296 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140211082705296 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3297] ppid=3291 vsize=27314120 memory=140490473653888 CPUtime=0 cores=0-7
/proc/3294/task/3297/stat : 3297 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140210896861456 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3298] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3298/stat : 3298 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140210895809168 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3299] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3299/stat : 3299 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140210894756368 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3300] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3300/stat : 3300 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140210893704080 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3301] ppid=3291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3294/task/3301/stat : 3301 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140210892651280 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3302] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3302/stat : 3302 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140210891598992 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3303] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3303/stat : 3303 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 26912 33554432000 4194304 4196468 140723209930912 140210890546192 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3304] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3304/stat : 3304 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103999 27969658880 26912 33554432000 4194304 4196468 140723209930912 140209129736304 140211078474370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3305] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3305/stat : 3305 (java) S 3291 3291 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500104000 27969658880 26912 33554432000 4194304 4196468 140723209930912 140209006043936 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3306] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3306/stat : 3306 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104000 27969658880 26912 33554432000 4194304 4196468 140723209930912 140208737608816 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3307] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3307/stat : 3307 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 26912 33554432000 4194304 4196468 140723209930912 140208363100240 140211078481819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3308] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3308/stat : 3308 (java) S 3291 3291 3121 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 26912 33554432000 4194304 4196468 140723209930912 140209128684144 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3309] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3309/stat : 3309 (java) R 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 26912 33554432000 4194304 4196468 140723209930912 140209127631344 140211078474370 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3310] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3310/stat : 3310 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 26912 33554432000 4194304 4196468 140723209930912 140209126579056 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3311] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3311/stat : 3311 (java) S 3291 3291 3121 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 26912 33554432000 4194304 4196468 140723209930912 140209125526256 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3312] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3312/stat : 3312 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 26912 33554432000 4194304 4196468 140723209930912 140207865194848 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3313] ppid=3291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3294/task/3313/stat : 3313 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 26912 33554432000 4194304 4196468 140723209930912 140209124473136 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108788 KiB
[startup+0.210478 s]*
/proc/loadavg: 1.94 0.48 0.20 2/211 3313
/proc/meminfo: memFree=18381776/32770624 swapFree=66957524/67108860
[pid=3291] ppid=3288 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3291/stat : 3291 (scop.sh) S 3288 3291 3121 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500103995 115843072 350 33554432000 4194304 5098028 140724678112656 140724678109912 140712110875260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35872768 140724678120189 140724678120536 140724678120536 140724678123465 0
/proc/3291/statm: 28282 350 297 221 0 87 0
[pid=3294] ppid=3291 vsize=27314120 memory=126988 CPUtime=0.25 cores=0-7
/proc/3294/stat : 3294 (java) S 3291 3291 3121 0 -1 1077944320 12081 0 0 0 20 5 0 0 20 0 20 0 500103995 27969658880 31747 33554432000 4194304 4196468 140723209930912 140723209913456 140211078463223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
/proc/3294/statm: 6828530 31747 2974 1 0 6790935 0
[pid=3294/tid=3295] ppid=3291 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3294/task/3295/stat : 3295 (java) R 3291 3291 3121 0 -1 4202560 9801 0 0 0 16 4 0 0 20 0 20 0 500103996 27969658880 31747 33554432000 4194304 4196468 140723209930912 140211050278288 140211055687376 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3296] ppid=3291 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/3294/task/3296/stat : 3296 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140211082705296 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3297] ppid=3291 vsize=27314120 memory=3834734795503093408 CPUtime=0 cores=0-7
/proc/3294/task/3297/stat : 3297 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140210896861456 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3298] ppid=3291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3294/task/3298/stat : 3298 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140210895809168 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3299] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3299/stat : 3299 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140210894756368 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3300] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3300/stat : 3300 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140210893704080 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3301] ppid=3291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3294/task/3301/stat : 3301 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140210892651280 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3302] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3302/stat : 3302 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140210891598992 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3303] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3303/stat : 3303 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 31747 33554432000 4194304 4196468 140723209930912 140210890546192 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3304] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3304/stat : 3304 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103999 27969658880 31747 33554432000 4194304 4196468 140723209930912 140209129736304 140211078474370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3305] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3305/stat : 3305 (java) S 3291 3291 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500104000 27969658880 31747 33554432000 4194304 4196468 140723209930912 140209006043936 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3306] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3306/stat : 3306 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104000 27969658880 31747 33554432000 4194304 4196468 140723209930912 140208737608816 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3307] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3307/stat : 3307 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 31747 33554432000 4194304 4196468 140723209930912 140208363100240 140211078481819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3308] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3308/stat : 3308 (java) S 3291 3291 3121 0 -1 1077944384 468 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 31747 33554432000 4194304 4196468 140723209930912 140209128684144 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3309] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3309/stat : 3309 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 31747 33554432000 4194304 4196468 140723209930912 140209127631344 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3310] ppid=3291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3294/task/3310/stat : 3310 (java) S 3291 3291 3121 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 31747 33554432000 4194304 4196468 140723209930912 140209126579056 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3311] ppid=3291 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/3294/task/3311/stat : 3311 (java) S 3291 3291 3121 0 -1 1077944384 451 0 0 0 2 0 0 0 20 0 20 0 500104003 27969658880 31747 33554432000 4194304 4196468 140723209930912 140209125526256 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3312] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3312/stat : 3312 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 31747 33554432000 4194304 4196468 140723209930912 140207865194848 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3313] ppid=3291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3294/task/3313/stat : 3313 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 31747 33554432000 4194304 4196468 140723209930912 140209124473136 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128388 KiB
[startup+0.310214 s]*
/proc/loadavg: 1.94 0.48 0.20 2/211 3313
/proc/meminfo: memFree=18379232/32770624 swapFree=66957524/67108860
[pid=3291] ppid=3288 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3291/stat : 3291 (scop.sh) S 3288 3291 3121 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500103995 115843072 350 33554432000 4194304 5098028 140724678112656 140724678109912 140712110875260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35872768 140724678120189 140724678120536 140724678120536 140724678123465 0
/proc/3291/statm: 28282 350 297 221 0 87 0
[pid=3294] ppid=3291 vsize=27314120 memory=130332 CPUtime=0.42 cores=0-7
/proc/3294/stat : 3294 (java) S 3291 3291 3121 0 -1 1077944320 12443 0 0 0 37 5 0 0 20 0 20 0 500103995 27969658880 32583 33554432000 4194304 4196468 140723209930912 140723209913456 140211078463223 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
/proc/3294/statm: 6828530 32583 3022 1 0 6790935 0
[pid=3294/tid=3295] ppid=3291 vsize=27314120 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/3294/task/3295/stat : 3295 (java) R 3291 3291 3121 0 -1 4202560 9988 0 0 0 26 4 0 0 20 0 20 0 500103996 27969658880 32583 33554432000 4194304 4196468 140723209930912 140211050291136 140211058738545 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3296] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3296/stat : 3296 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140211082705296 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3297] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3297/stat : 3297 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140210896861456 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3298] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3298/stat : 3298 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140210895809168 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3299] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3299/stat : 3299 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140210894756368 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3300] ppid=3291 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/3294/task/3300/stat : 3300 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140210893704080 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3301] ppid=3291 vsize=27314120 memory=140490326504367 CPUtime=0 cores=0-7
/proc/3294/task/3301/stat : 3301 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140210892651280 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3302] ppid=3291 vsize=27314120 memory=140490326506672 CPUtime=0 cores=0-7
/proc/3294/task/3302/stat : 3302 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140210891598992 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3303] ppid=3291 vsize=27314120 memory=140490326508976 CPUtime=0 cores=0-7
/proc/3294/task/3303/stat : 3303 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27969658880 32583 33554432000 4194304 4196468 140723209930912 140210890546192 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3304] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3304/stat : 3304 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103999 27969658880 32583 33554432000 4194304 4196468 140723209930912 140209129736304 140211078474370 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3305] ppid=3291 vsize=27314120 memory=280980653024912 CPUtime=0 cores=0-7
/proc/3294/task/3305/stat : 3305 (java) S 3291 3291 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500104000 27969658880 32583 33554432000 4194304 4196468 140723209930912 140209006043936 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3306] ppid=3291 vsize=27314120 memory=280980653031824 CPUtime=0 cores=0-7
/proc/3294/task/3306/stat : 3306 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104000 27969658880 32583 33554432000 4194304 4196468 140723209930912 140208737608816 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3307] ppid=3291 vsize=27314120 memory=280980652972976 CPUtime=0 cores=0-7
/proc/3294/task/3307/stat : 3307 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 32583 33554432000 4194304 4196468 140723209930912 140208363100240 140211078481819 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3308] ppid=3291 vsize=27314120 memory=280980653045648 CPUtime=0.02 cores=0-7
/proc/3294/task/3308/stat : 3308 (java) R 3291 3291 3121 0 -1 4202560 570 0 0 0 2 0 0 0 20 0 20 0 500104003 27969658880 32583 33554432000 4194304 4196468 140723209930912 140209128684144 140211060007792 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3309] ppid=3291 vsize=27314120 memory=280980653052560 CPUtime=0.01 cores=0-7
/proc/3294/task/3309/stat : 3309 (java) S 3291 3291 3121 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 500104003 27969658880 32583 33554432000 4194304 4196468 140723209930912 140209127631344 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3310] ppid=3291 vsize=27314120 memory=280980653050256 CPUtime=0 cores=0-7
/proc/3294/task/3310/stat : 3310 (java) S 3291 3291 3121 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 32583 33554432000 4194304 4196468 140723209930912 140209126579056 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3311] ppid=3291 vsize=27314120 memory=280980653066416 CPUtime=0.07 cores=0-7
/proc/3294/task/3311/stat : 3311 (java) S 3291 3291 3121 0 -1 1077944384 473 0 0 0 7 0 0 0 20 0 20 0 500104003 27969658880 32583 33554432000 4194304 4196468 140723209930912 140209125526256 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3312] ppid=3291 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3312/stat : 3312 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 32583 33554432000 4194304 4196468 140723209930912 140207865194848 140211078473429 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3313] ppid=3291 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/3294/task/3313/stat : 3313 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500104003 27969658880 32583 33554432000 4194304 4196468 140723209930912 140209124473136 140211078474370 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131732 KiB
[startup+0.707375 s]
/proc/loadavg: 1.94 0.48 0.20 2/211 3313
/proc/meminfo: memFree=18358136/32770624 swapFree=66957524/67108860
[pid=3291] ppid=3288 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/3291/stat : 3291 (scop.sh) S 3288 3291 3121 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 500103995 115843072 350 33554432000 4194304 5098028 140724678112656 140724678109912 140712110875260 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35872768 140724678120189 140724678120536 140724678120536 140724678123465 0
/proc/3291/statm: 28282 350 297 221 0 87 0
[pid=3294] ppid=3291 vsize=27320392 memory=167800 CPUtime=1.02 cores=0-7
/proc/3294/stat : 3294 (java) S 3291 3291 3121 0 -1 1077944320 20020 0 0 0 95 7 0 0 20 0 20 0 500103995 27976081408 41950 33554432000 4194304 4196468 140723209930912 140723209913456 140211078463223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
/proc/3294/statm: 6830098 41950 3188 1 0 6791447 0
[pid=3294/tid=3295] ppid=3291 vsize=27320392 memory=280980653424304 CPUtime=0.68 cores=0-7
/proc/3294/task/3295/stat : 3295 (java) R 3291 3291 3121 0 -1 4202560 16899 0 0 0 62 6 0 0 20 0 20 0 500103996 27976081408 41950 33554432000 4194304 4196468 140723209930912 140211050297352 140211078485149 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3296] ppid=3291 vsize=27320392 memory=140490326713200 CPUtime=0 cores=0-7
/proc/3294/task/3296/stat : 3296 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500103998 27976081408 41950 33554432000 4194304 4196468 140723209930912 140211082705296 140211078473429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3297] ppid=3291 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/3294/task/3297/stat : 3297 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500103998 27976081408 41950 33554432000 4194304 4196468 140723209930912 140210896861456 140211078473429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
[pid=3294/tid=3298] ppid=3291 vsize=27320392 memory=6152 CPUtime=0 cores=0-7
/proc/3294/task/3298/stat : 3298 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500103998 27976081408 41950 33554432000 4194304 4196468 140723209930912 140210895809168 140211078473429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37412864 140723209937608 140723209938054 140723209938054 140723209940943 0
################
# More data... #
################
[pid=3407/tid=3410] ppid=3291 vsize=8414124 memory=7686721470350924182 CPUtime=0 cores=0-7
/proc/3407/task/3410/stat : 3410 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 30931 33554432000 4194304 4196468 140729543823632 139784009070992 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3411] ppid=3291 vsize=8414124 memory=123724 CPUtime=0 cores=0-7
/proc/3407/task/3411/stat : 3411 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 30931 33554432000 4194304 4196468 140729543823632 139784008018448 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3412] ppid=3291 vsize=8414124 memory=6844824 CPUtime=0 cores=0-7
/proc/3407/task/3412/stat : 3412 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 30931 33554432000 4194304 4196468 140729543823632 139784006965904 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3413] ppid=3291 vsize=8414124 memory=6844688 CPUtime=0 cores=0-7
/proc/3407/task/3413/stat : 3413 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783681248016 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3414] ppid=3291 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3407/task/3414/stat : 3414 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783680195472 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3415] ppid=3291 vsize=8414124 memory=7686721470350924182 CPUtime=0 cores=0-7
/proc/3407/task/3415/stat : 3415 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783679142928 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3416] ppid=3291 vsize=8414124 memory=123724 CPUtime=0 cores=0-7
/proc/3407/task/3416/stat : 3416 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783678090384 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3417] ppid=3291 vsize=8414124 memory=1476 CPUtime=0.01 cores=0-7
/proc/3407/task/3417/stat : 3417 (java) S 3291 3291 3121 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 24 0 500227734 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783292585968 139784199076482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3418] ppid=3291 vsize=8414124 memory=123724 CPUtime=0 cores=0-7
/proc/3407/task/3418/stat : 3418 (java) S 3291 3291 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500227735 8616062976 30931 33554432000 4194304 4196468 140729543823632 139782864757664 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3419] ppid=3291 vsize=8414124 memory=6855088 CPUtime=0 cores=0-7
/proc/3407/task/3419/stat : 3419 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227735 8616062976 30931 33554432000 4194304 4196468 140729543823632 139782596322288 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3420] ppid=3291 vsize=8414124 memory=35588 CPUtime=0 cores=0-7
/proc/3407/task/3420/stat : 3420 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227738 8616062976 30931 33554432000 4194304 4196468 140729543823632 139782221813968 139784199083931 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3421] ppid=3291 vsize=8414124 memory=0 CPUtime=0.06 cores=0-7
/proc/3407/task/3421/stat : 3421 (java) S 3291 3291 3121 0 -1 1077944384 639 0 0 0 6 0 0 0 20 0 24 0 500227738 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783291533808 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3422] ppid=3291 vsize=8414124 memory=140492675220052 CPUtime=0.05 cores=0-7
/proc/3407/task/3422/stat : 3422 (java) S 3291 3291 3121 0 -1 1077944384 282 0 0 0 5 0 0 0 20 0 24 0 500227738 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783290481264 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3423] ppid=3291 vsize=8414124 memory=140492675220054 CPUtime=0.06 cores=0-7
/proc/3407/task/3423/stat : 3423 (java) S 3291 3291 3121 0 -1 1077944384 251 0 0 0 6 0 0 0 20 0 24 0 500227738 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783289428720 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3424] ppid=3291 vsize=8414124 memory=140492675220074 CPUtime=0.22 cores=0-7
/proc/3407/task/3424/stat : 3424 (java) S 3291 3291 3121 0 -1 1077944384 760 0 0 0 22 0 0 0 20 0 24 0 500227738 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783288376176 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3425] ppid=3291 vsize=8414124 memory=143018115990154 CPUtime=0 cores=0-7
/proc/3407/task/3425/stat : 3425 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500227738 8616062976 30931 33554432000 4194304 4196468 140729543823632 139781723908320 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3426] ppid=3291 vsize=8414124 memory=140492675220345 CPUtime=0.32 cores=0-7
/proc/3407/task/3426/stat : 3426 (java) S 3291 3291 3121 0 -1 1077944384 35 0 0 0 18 14 0 0 20 0 24 0 500227738 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783287323056 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3428] ppid=3291 vsize=8414124 memory=12040 CPUtime=0 cores=0-7
/proc/3407/task/3428/stat : 3428 (java) S 3291 3291 3121 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500227804 8616062976 30931 33554432000 4194304 4196468 140729543823632 139783279289536 139784199089945 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3430] ppid=3291 vsize=8414124 memory=35588 CPUtime=0.02 cores=0-7
/proc/3407/task/3430/stat : 3430 (java) S 3291 3291 3121 0 -1 4202560 1682 0 0 0 1 1 0 0 20 0 24 0 500227804 8616062976 30931 33554432000 4194304 4196468 140729543823632 139781052808976 139784199087261 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3431] ppid=3291 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/3407/task/3431/stat : 3431 (java) S 3291 3291 3121 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500227804 8616062976 30931 33554432000 4194304 4196468 140729543823632 139781321244560 139784199087261 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3432] ppid=3291 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/3407/task/3432/stat : 3432 (java) S 3291 3291 3121 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500227806 8616062976 30931 33554432000 4194304 4196468 140729543823632 139780784381616 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
Current children cumulated CPU time: 5872.67 s
Current children cumulated vsize: 15755452 KiB
Current children cumulated memory: 6981020 KiB
[startup+1744.2 s]
/proc/loadavg: 7.21 6.55 4.03 2/216 3502
/proc/meminfo: memFree=18845884/32770624 swapFree=66957528/67108860
[pid=3291] ppid=3288 vsize=113128 memory=1476 CPUtime=2110.23 cores=0-7
/proc/3291/stat : 3291 (scop.sh) S 3288 3291 3121 0 -1 4202496 583 10770419 0 0 0 0 204830 6193 20 0 1 0 500103995 115843072 369 33554432000 4194304 5098028 140724678112656 140724678109400 140712110875260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35872768 140724678120189 140724678120536 140724678120536 140724678123465 0
/proc/3291/statm: 28282 369 311 221 0 87 0
[pid=3407] ppid=3291 vsize=8414124 memory=125156 CPUtime=1.62 cores=0-7
/proc/3407/stat : 3407 (java) S 3291 3291 3121 0 -1 1077944320 22388 0 1 0 147 15 0 0 20 0 24 0 500227727 8616062976 31289 33554432000 4194304 4196468 140729543823632 140729543806176 139784199065335 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
/proc/3407/statm: 2103531 31289 3219 1 0 2064875 0
[pid=3407/tid=3408] ppid=3291 vsize=8414124 memory=4872558044660077418 CPUtime=0.74 cores=0-7
/proc/3407/task/3408/stat : 3408 (java) S 3291 3291 3121 0 -1 1077944384 16925 0 0 0 68 6 0 0 20 0 24 0 500227731 8616062976 31289 33554432000 4194304 4196468 140729543823632 139784170905504 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3409] ppid=3291 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/3407/task/3409/stat : 3409 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139784203307280 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3410] ppid=3291 vsize=8414124 memory=123724 CPUtime=0 cores=0-7
/proc/3407/task/3410/stat : 3410 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139784009070992 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3411] ppid=3291 vsize=8414124 memory=6855820 CPUtime=0 cores=0-7
/proc/3407/task/3411/stat : 3411 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139784008018448 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3412] ppid=3291 vsize=8414124 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3407/task/3412/stat : 3412 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139784006965904 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3413] ppid=3291 vsize=8414124 memory=6842076 CPUtime=0 cores=0-7
/proc/3407/task/3413/stat : 3413 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783681248016 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3414] ppid=3291 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/3407/task/3414/stat : 3414 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783680195472 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3415] ppid=3291 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/3407/task/3415/stat : 3415 (java) S 3291 3291 3121 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783679142928 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3416] ppid=3291 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/3407/task/3416/stat : 3416 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227733 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783678090384 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3417] ppid=3291 vsize=8414124 memory=1056 CPUtime=0.01 cores=0-7
/proc/3407/task/3417/stat : 3417 (java) S 3291 3291 3121 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 24 0 500227734 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783292585968 139784199076482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3418] ppid=3291 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/3407/task/3418/stat : 3418 (java) S 3291 3291 3121 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500227735 8616062976 31289 33554432000 4194304 4196468 140729543823632 139782864757664 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3419] ppid=3291 vsize=8414124 memory=11632 CPUtime=0 cores=0-7
/proc/3407/task/3419/stat : 3419 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227735 8616062976 31289 33554432000 4194304 4196468 140729543823632 139782596322288 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3420] ppid=3291 vsize=8414124 memory=1732 CPUtime=0 cores=0-7
/proc/3407/task/3420/stat : 3420 (java) S 3291 3291 3121 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500227738 8616062976 31289 33554432000 4194304 4196468 140729543823632 139782221813968 139784199083931 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3421] ppid=3291 vsize=8414124 memory=1088 CPUtime=0.06 cores=0-7
/proc/3407/task/3421/stat : 3421 (java) S 3291 3291 3121 0 -1 1077944384 642 0 0 0 6 0 0 0 20 0 24 0 500227738 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783291533808 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3422] ppid=3291 vsize=8414124 memory=55 CPUtime=0.08 cores=0-7
/proc/3407/task/3422/stat : 3422 (java) S 3291 3291 3121 0 -1 1077944384 560 0 0 0 8 0 0 0 20 0 24 0 500227738 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783290481264 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3423] ppid=3291 vsize=8414124 memory=-2672971631320983069 CPUtime=0.07 cores=0-7
/proc/3407/task/3423/stat : 3423 (java) S 3291 3291 3121 0 -1 1077944384 257 0 0 0 7 0 0 0 20 0 24 0 500227738 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783289428720 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3424] ppid=3291 vsize=8414124 memory=1476 CPUtime=0.23 cores=0-7
/proc/3407/task/3424/stat : 3424 (java) S 3291 3291 3121 0 -1 1077944384 834 0 0 0 23 0 0 0 20 0 24 0 500227738 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783288376176 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3425] ppid=3291 vsize=8414124 memory=123724 CPUtime=0 cores=0-7
/proc/3407/task/3425/stat : 3425 (java) S 3291 3291 3121 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500227738 8616062976 31289 33554432000 4194304 4196468 140729543823632 139781723908320 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3426] ppid=3291 vsize=8414124 memory=6855840 CPUtime=0.32 cores=0-7
/proc/3407/task/3426/stat : 3426 (java) S 3291 3291 3121 0 -1 1077944384 35 0 0 0 18 14 0 0 20 0 24 0 500227738 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783287323056 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3428] ppid=3291 vsize=8414124 memory=7686721470350924182 CPUtime=0 cores=0-7
/proc/3407/task/3428/stat : 3428 (java) S 3291 3291 3121 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500227804 8616062976 31289 33554432000 4194304 4196468 140729543823632 139783279289536 139784199089945 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3430] ppid=3291 vsize=8414124 memory=123724 CPUtime=0.03 cores=0-7
/proc/3407/task/3430/stat : 3430 (java) S 3291 3291 3121 0 -1 4202560 1739 0 0 0 2 1 0 0 20 0 24 0 500227804 8616062976 31289 33554432000 4194304 4196468 140729543823632 139781052809136 139784199087261 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3431] ppid=3291 vsize=8414124 memory=6843544 CPUtime=0 cores=0-7
/proc/3407/task/3431/stat : 3431 (java) S 3291 3291 3121 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 500227804 8616062976 31289 33554432000 4194304 4196468 140729543823632 139781321244560 139784199087261 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3432] ppid=3291 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/3407/task/3432/stat : 3432 (java) S 3291 3291 3121 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500227806 8616062976 31289 33554432000 4194304 4196468 140729543823632 139780784381616 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
Current children cumulated CPU time: 2111.85 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 126632 KiB
[startup+1744.3 s]
/proc/loadavg: 7.21 6.55 4.03 2/216 3502
/proc/meminfo: memFree=18845884/32770624 swapFree=66957528/67108860
[pid=3291] ppid=3288 vsize=113128 memory=1476 CPUtime=2110.23 cores=0-7
/proc/3291/stat : 3291 (scop.sh) S 3288 3291 3121 0 -1 4202496 583 10770419 0 0 0 0 204830 6193 20 0 1 0 500103995 115843072 369 33554432000 4194304 5098028 140724678112656 140724678109400 140712110875260 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35872768 140724678120189 140724678120536 140724678120536 140724678123465 0
/proc/3291/statm: 28282 369 311 221 0 87 0
[pid=3407] ppid=3291 vsize=8283048 memory=125204 CPUtime=3762.99 cores=0-7
/proc/3407/stat : 3407 (java) S 3291 3291 3121 0 -1 1077944320 22394 26316863 1 1 147 15 369828 6309 20 0 22 0 500227727 8481841152 31301 33554432000 4194304 4196468 140729543823632 140729543806176 139784199065335 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 3 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
/proc/3407/statm: 2070762 31301 3219 1 0 2032106 0
[pid=3407/tid=3408] ppid=3291 vsize=8283048 memory=125156 CPUtime=3762.11 cores=0-7
/proc/3407/task/3408/stat : 3408 (java) S 3291 3291 3121 0 -1 1077944384 16925 26316863 0 1 68 6 369828 6309 20 0 22 0 500227731 8481841152 31301 33554432000 4194304 4196468 140729543823632 139784170905504 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3409] ppid=3291 vsize=8283048 memory=1476 CPUtime=3761.37 cores=0-7
/proc/3407/task/3409/stat : 3409 (java) S 3291 3291 3121 0 -1 1077944384 2 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139784203307280 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3410] ppid=3291 vsize=8283048 memory=1476 CPUtime=3761.37 cores=0-7
/proc/3407/task/3410/stat : 3410 (java) S 3291 3291 3121 0 -1 1077944384 1 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139784009070992 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3411] ppid=3291 vsize=8283048 memory=1476 CPUtime=3761.37 cores=0-7
/proc/3407/task/3411/stat : 3411 (java) S 3291 3291 3121 0 -1 1077944384 2 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139784008018448 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3412] ppid=3291 vsize=8283048 memory=1476 CPUtime=3761.37 cores=0-7
/proc/3407/task/3412/stat : 3412 (java) S 3291 3291 3121 0 -1 1077944384 1 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139784006965904 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3413] ppid=3291 vsize=8283048 memory=3620 CPUtime=3761.37 cores=0-7
/proc/3407/task/3413/stat : 3413 (java) S 3291 3291 3121 0 -1 1077944384 2 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783681248016 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3414] ppid=3291 vsize=8283048 memory=1476 CPUtime=3761.37 cores=0-7
/proc/3407/task/3414/stat : 3414 (java) S 3291 3291 3121 0 -1 1077944384 3 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783680195472 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3415] ppid=3291 vsize=8283048 memory=123724 CPUtime=3761.37 cores=0-7
/proc/3407/task/3415/stat : 3415 (java) S 3291 3291 3121 0 -1 1077944384 2 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783679142928 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3416] ppid=3291 vsize=8283048 memory=1988 CPUtime=3761.37 cores=0-7
/proc/3407/task/3416/stat : 3416 (java) S 3291 3291 3121 0 -1 1077944384 1 26316863 0 1 0 0 369828 6309 20 0 22 0 500227733 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783678090384 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3417] ppid=3291 vsize=8283048 memory=988 CPUtime=3761.38 cores=0-7
/proc/3407/task/3417/stat : 3417 (java) S 3291 3291 3121 0 -1 1077944384 11 26316863 0 1 0 1 369828 6309 20 0 22 0 500227734 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783292585968 139784199076482 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3418] ppid=3291 vsize=8283048 memory=6813444 CPUtime=3761.37 cores=0-7
/proc/3407/task/3418/stat : 3418 (java) S 3291 3291 3121 0 -1 1077944384 13 26316863 0 1 0 0 369828 6309 20 0 22 0 500227735 8481841152 31301 33554432000 4194304 4196468 140729543823632 139782864757664 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3419] ppid=3291 vsize=8283048 memory=60976 CPUtime=3761.37 cores=0-7
/proc/3407/task/3419/stat : 3419 (java) S 3291 3291 3121 0 -1 1077944384 1 26316863 0 1 0 0 369828 6309 20 0 22 0 500227735 8481841152 31301 33554432000 4194304 4196468 140729543823632 139782596322288 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3420] ppid=3291 vsize=8283048 memory=3620 CPUtime=3761.37 cores=0-7
/proc/3407/task/3420/stat : 3420 (java) S 3291 3291 3121 0 -1 1077944384 1 26316863 0 1 0 0 369828 6309 20 0 22 0 500227738 8481841152 31301 33554432000 4194304 4196468 140729543823632 139782221813968 139784199083931 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3421] ppid=3291 vsize=8283048 memory=60976 CPUtime=3761.43 cores=0-7
/proc/3407/task/3421/stat : 3421 (java) S 3291 3291 3121 0 -1 1077944384 642 26316863 0 1 6 0 369828 6309 20 0 22 0 500227738 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783291533808 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3422] ppid=3291 vsize=8283048 memory=111628 CPUtime=3761.45 cores=0-7
/proc/3407/task/3422/stat : 3422 (java) S 3291 3291 3121 0 -1 1077944384 560 26316863 0 1 8 0 369828 6309 20 0 22 0 500227738 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783290481264 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3423] ppid=3291 vsize=8283048 memory=800 CPUtime=3761.44 cores=0-7
/proc/3407/task/3423/stat : 3423 (java) S 3291 3291 3121 0 -1 1077944384 257 26316863 0 1 7 0 369828 6309 20 0 22 0 500227738 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783289428720 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3424] ppid=3291 vsize=8283048 memory=1476 CPUtime=3761.6 cores=0-7
/proc/3407/task/3424/stat : 3424 (java) R 3291 3291 3121 0 -1 4202560 834 26316863 0 1 23 0 369828 6309 20 0 22 0 500227738 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783288376176 139784178454569 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3425] ppid=3291 vsize=8283048 memory=123724 CPUtime=3761.37 cores=0-7
/proc/3407/task/3425/stat : 3425 (java) S 3291 3291 3121 0 -1 1077944384 3 26316863 0 1 0 0 369828 6309 20 0 22 0 500227738 8481841152 31301 33554432000 4194304 4196468 140729543823632 139781723908320 139784199075541 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3426] ppid=3291 vsize=8283048 memory=280980654888416 CPUtime=3761.69 cores=0-7
/proc/3407/task/3426/stat : 3426 (java) S 3291 3291 3121 0 -1 1077944384 35 26316863 0 1 18 14 369828 6309 20 0 22 0 500227738 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783287323056 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3428] ppid=3291 vsize=8283048 memory=-7522837582236181595 CPUtime=3761.37 cores=0-7
/proc/3407/task/3428/stat : 3428 (java) S 3291 3291 3121 0 -1 1077944384 24 26316863 0 1 0 0 369828 6309 20 0 22 0 500227804 8481841152 31301 33554432000 4194304 4196468 140729543823632 139783279288720 139784199076482 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
[pid=3407/tid=3432] ppid=3291 vsize=8283048 memory=3620 CPUtime=3761.37 cores=0-7
/proc/3407/task/3432/stat : 3432 (java) R 3291 3291 3121 0 -1 4202560 8 26316863 0 1 0 0 369828 6309 20 0 22 0 500227806 8481841152 31301 33554432000 4194304 4196468 140729543823632 139780784381616 139784183145822 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11649024 140729543832544 140729543832710 140729543832710 140729543835599 0
Current children cumulated CPU time: 5873.22 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 126680 KiB
Child status: 0
Real time (s): 1744.36
CPU time (s): 5873.33
CPU user time (s): 5748.07
CPU system time (s): 125.261
CPU usage (%): 336.704
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 23738356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5748.07
system time used= 125.261
maximum resident set size= 23737064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37110315
page faults= 2
swaps= 0
block input operations= 23704
block output operations= 526168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2634033
involuntary context switches= 77796
# summary of solver processes directly reported to runsolver:
# pid: 3291
# total CPU time (s): 5873.33
# total CPU user time (s): 5748.07
# total CPU system time (s): 125.261
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3584 second user time and 19.7822 second system time
The end
Begin job on node149 at 2019-09-23 13:36:55 IDJOB=4405267 IDBENCH=121037 IDSOLVER=2867 FILE ID=node149/4405267-1569238652 RUNJOBID= node149-1569238590-3148 PBS_JOBID= 21704893 Free space on /var/tmp= 13396 MiB SOLVER NAME= Fun-sCOP order+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 -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405267-1569238652/watcher-4405267-1569238652 -o /var/tmp/evaluation-result-4405267-1569238652/solver-4405267-1569238652 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569238590-3148 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405267-1569238652.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28aba8525a2c57af7de5748c3b9cdf6b RANDOM SEED=1320727312 node149.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.81 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.81 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.81 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.81 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: 18500136 kB MemAvailable: 31806756 kB Buffers: 150668 kB Cached: 13133012 kB SwapCached: 42372 kB Active: 6658420 kB Inactive: 6668536 kB Active(anon): 3032 kB Inactive(anon): 93776 kB Active(file): 6655388 kB Inactive(file): 6574760 kB Unevictable: 109784 kB Mlocked: 109784 kB SwapTotal: 67108860 kB SwapFree: 66957524 kB Dirty: 106848 kB Writeback: 0 kB AnonPages: 112332 kB Mapped: 55604 kB Shmem: 44680 kB Slab: 535076 kB SReclaimable: 504932 kB SUnreclaim: 30144 kB KernelStack: 3344 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514428 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: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13376 MiB End job on node149 at 2019-09-23 14:06:00