| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-06-15) | UNSAT | 5726.26 | 1723.8 |
| 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-25714-serial-file.bin HOME/instance-4392407-1568416899.xml 0.65/0.54 0.65/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.56 c BEGIN-Prog: Sat Sep 14 01:21:00 CEST 2019 0.65/0.56 c PID: 25717 0.65/0.56 c IP: 172.20.3.134 0.65/0.56 c HOST: node134.alineos.net 0.65/0.57 c (0,0) Parsing Begin 19.14/12.22 c (11,10) Parsing End 19.14/12.22 c (11,10) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12 19.14/12.22 c (11,10) Heap : 1457 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.14/12.22 c (11,10) Constraint Name Generate Begin 19.14/12.23 c (11,10) Ctr:HOME/instance-4392407-1568416899.xml,ExtensionSupport:Var 19.14/12.23 c (11,10) Constraint Name Generate End 19.14/12.23 c (11,10) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.14/12.23 c (11,10) CSP to CSPinCNF Begin 115.34/82.40 c (81,78) translated 20 (10%) constraints 209.00/155.61 c (155,149) translated 40 (20%) constraints 293.04/227.51 c (226,219) translated 60 (30%) constraints 377.31/299.41 c (298,289) translated 80 (40%) constraints 459.79/371.12 c (370,359) translated 100 (50%) constraints 545.94/443.24 c (442,429) translated 120 (60%) constraints 629.32/515.11 c (514,499) translated 140 (70%) constraints 713.70/587.03 c (586,569) translated 160 (80%) constraints 794.94/658.75 c (658,640) translated 180 (90%) constraints 880.05/731.04 c (730,710) translated 200 (100%) constraints 883.54/734.53 c (733,713) =========================================== 883.54/734.58 c (734,713) Order 883.54/734.58 c (734,713) =========================================== 909.85/756.69 c (756,735) translated 1022624 (10%) constraints 937.61/778.76 c (778,756) translated 2045248 (20%) constraints 965.62/800.85 c (800,778) translated 3067871 (30%) constraints 992.95/822.76 c (822,799) translated 4090495 (40%) constraints 1020.46/844.71 c (844,820) translated 5113118 (50%) constraints 1047.87/866.53 c (865,841) translated 6135742 (60%) constraints 1075.42/888.69 c (888,862) translated 7158366 (70%) constraints 1102.99/910.75 c (910,883) translated 8180989 (80%) constraints 1137.76/933.76 c (933,905) translated 9203613 (90%) constraints 1165.73/955.85 c (955,926) translated 10226236 (100%) constraints 1165.73/955.85 c (955,926) CSP to CSPinCNF End 1166.00/956.06 c (955,926) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1166.00/956.06 c (955,926) Heap : 14973 MiB used (max 21870 MiB), NonHeap : 26 MiB used (max 0 MiB) 1166.00/956.06 c (955,926) CSPinCNF Propagation Begin 1551.90/1056.51 c (1055,985) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed 1551.90/1056.51 c (1055,985) CSPinCNF Propagation End 1552.11/1056.74 c (1056,985) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1552.11/1056.74 c (1056,985) Heap : 15985 MiB used (max 21634 MiB), NonHeap : 27 MiB used (max 0 MiB) 1552.11/1056.79 c (1056,985) Simplify CSPinCNF Begin 1743.41/1100.03 c (1099,1007) Simplify CSPinCNF End 1743.60/1100.26 c (1099,1007) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1743.60/1100.26 c (1099,1007) Heap : 16558 MiB used (max 21236 MiB), NonHeap : 27 MiB used (max 0 MiB) 1743.60/1100.26 c (1099,1007) Calculate Precise Domain Begin 1743.60/1100.26 c (1099,1007) 0 values are removed by re-calculation 1743.60/1100.26 c (1099,1007) Calculate Precise Domain End 1743.80/1100.49 c (1099,1007) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1743.80/1100.49 c (1099,1007) Heap : 16558 MiB used (max 21236 MiB), NonHeap : 27 MiB used (max 0 MiB) 1743.80/1100.49 c (1099,1007) CSPinCNF to SatSolver Begin 1761.07/1112.71 c (1112,1019) 1022624 (10 %) CSP clauses are encoded (0 SAT variables, 1022743 SAT clauses) 1777.11/1123.99 c (1123,1029) 2045248 (20 %) CSP clauses are encoded (0 SAT variables, 2045367 SAT clauses) 1798.08/1135.81 c (1135,1040) 3067871 (30 %) CSP clauses are encoded (0 SAT variables, 3067990 SAT clauses) 1823.61/1148.29 c (1147,1051) 4090495 (40 %) CSP clauses are encoded (0 SAT variables, 4090614 SAT clauses) 1859.20/1161.97 c (1161,1061) 5113118 (50 %) CSP clauses are encoded (0 SAT variables, 5113237 SAT clauses) 1896.89/1175.90 c (1175,1072) 6135742 (60 %) CSP clauses are encoded (0 SAT variables, 6135861 SAT clauses) 1934.06/1189.90 c (1189,1082) 7158366 (70 %) CSP clauses are encoded (0 SAT variables, 7158485 SAT clauses) 1960.94/1202.45 c (1201,1093) 8180989 (80 %) CSP clauses are encoded (0 SAT variables, 8181108 SAT clauses) 1988.29/1215.04 c (1214,1103) 9203613 (90 %) CSP clauses are encoded (0 SAT variables, 9203732 SAT clauses) 2009.63/1226.90 c (1226,1114) 10226236 (100 %) CSP clauses are encoded (0 SAT variables, 10226355 SAT clauses) 2009.63/1226.90 c (1226,1114) CSPinCNF to SatSolver End 2009.63/1226.90 c (1226,1114) Heap : 19360 MiB used (max 20691 MiB), NonHeap : 29 MiB used (max 0 MiB) 2009.63/1226.90 c (1226,1114) 610708 bool, 10226356 clause 2009.63/1226.90 c (1226,1114) Export Begin 2009.73/1226.99 c (1226,1114) Export to HOME/scop-25714-serial-file.bin 2009.73/1226.99 c (1226,1114) Export End 2009.73/1226.99 c (1226,1114) Export File Size: 0.00 MB 2009.73/1226.99 c (1226,1114) 11,11,955,1056,1099,1099,1226,STOP-AFTER(DIMACS) 2009.73/1226.99 c END-Prog: Sat Sep 14 01:41:26 CEST 2019 0.00/1227.09 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-25714-serial-file.bin 2009.99/1227.57 c (0,0) Read Serial File Begin 2009.99/1227.57 c (0,0) HOME/scop-25714-serial-file.bin 2009.99/1227.77 c (0,0) Read Serial File End 2009.99/1227.78 2009.99/1227.78 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 2009.99/1227.78 (Solving Process) 2009.99/1227.78 2009.99/1227.80 c BEGIN-Prog: Sat Sep 14 01:41:27 CEST 2019 2009.99/1227.80 c PID: 25835 2009.99/1227.80 c IP: 172.20.3.134 2009.99/1227.80 c HOST: node134.alineos.net 2009.99/1227.81 c (0,0) SatSolver.solve Begin 2009.99/1227.81 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392407-1568416899.xml-scop-25717.cnf 2009.99/1227.83 c (0,0) c 2009.99/1227.83 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) 2009.99/1227.83 c (0,0) c 2009.99/1227.83 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 2009.99/1227.83 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 2009.99/1227.83 c (0,0) c ========================================[ Problem Statistics ]=========================================== 2009.99/1227.83 c (0,0) c | | 2014.88/1231.60 c (4,0) c | Number of variables: 610708 | 2014.88/1231.60 c (4,0) c | Number of clauses: 10226356 | 2014.88/1231.60 c (4,0) c | Parse time: 3.49 s | 2014.88/1231.60 c (4,0) c | | 2015.89/1232.64 c (5,0) c | Too many clauses... No preprocessing | 2015.89/1232.64 c (5,0) c | Simplification time: 0.96 s | 2015.89/1232.64 c (5,0) c | | 2015.89/1232.65 c (5,0) c | Generating clones | 2018.19/1234.91 c (7,0) c | all clones generated. Memory = 5319.45Mb. | 2018.19/1234.91 c (7,0) c ========================================================================================================| 2018.19/1234.91 c (7,0) c 2018.19/1234.91 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2018.19/1234.91 c (7,0) c 2018.19/1234.91 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2018.19/1234.91 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2018.19/1234.91 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2018.19/1234.91 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2018.19/1234.91 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 2018.19/1234.91 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2018.19/1234.91 c (7,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 2018.19/1234.91 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2018.19/1234.91 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2018.19/1234.91 c (7,0) c | glureduce | True | True | True | True | True | True | True | True | 2018.19/1234.91 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2018.19/1234.91 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2018.19/1234.91 c (7,0) c | luby_restart | False | False | False | False | False | False | False | False | 2018.19/1234.91 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2018.19/1234.91 c (7,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 2018.19/1234.91 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2018.19/1234.91 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2018.19/1234.91 c (7,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2018.19/1234.91 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2234.00/1264.53 c (37,0) c 2234.00/1264.53 c (37,0) c |------------------------------------------------------------------------------------------------------------------------| 2234.00/1264.53 c (37,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2234.00/1264.53 c (37,0) c |------------------------------------------------------------------------------------------------------------------------| 2234.00/1264.53 c (37,0) c | 0 | 1 | 809 | 404 | 12581 | 404 | 5 | 0 | 0 | 97 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c | 1 | 2 | 823 | 471 | 22961 | 471 | 9 | 17 | 0 | 103 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c | 2 | 1 | 485 | 291 | 29278 | 291 | 4 | 0 | 0 | 104 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c | 3 | 3 | 838 | 495 | 16905 | 495 | 11 | 11 | 0 | 99 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c | 4 | 2 | 444 | 277 | 10352 | 277 | 0 | 24 | 0 | 101 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c | 5 | 2 | 517 | 318 | 16618 | 318 | 4 | 1 | 0 | 91 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c | 6 | 2 | 535 | 284 | 20318 | 284 | 8 | 21 | 0 | 111 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c | 7 | 1 | 1007 | 441 | 19054 | 441 | 18 | 0 | 0 | 111 | 20 | 0.000 | 2234.00/1264.53 c (37,0) c 2234.00/1264.53 c (37,0) c synthesis 2981 conflicts 258194004 propagations 15 conflicts/sec 1339728 propagations/sec 2234.00/1264.53 c (37,0) c real: 36.6939 s, cpu: 192.721 s, memory: 6901.66 Mb 2460.54/1294.52 c (67,0) c 2460.54/1294.52 c (67,0) c |------------------------------------------------------------------------------------------------------------------------| 2460.54/1294.52 c (67,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2460.54/1294.52 c (67,0) c |------------------------------------------------------------------------------------------------------------------------| 2460.54/1294.52 c (67,0) c | 0 | 2 | 1803 | 1029 | 23433 | 1029 | 11 | 64 | 0 | 197 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c | 1 | 3 | 2593 | 1808 | 32468 | 1808 | 22 | 34 | 0 | 217 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c | 2 | 3 | 1239 | 780 | 41069 | 780 | 17 | 68 | 0 | 217 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c | 3 | 3 | 1431 | 991 | 28102 | 991 | 23 | 11 | 0 | 217 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c | 4 | 2 | 1499 | 1029 | 26805 | 1029 | 27 | 24 | 0 | 214 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c | 5 | 2 | 1507 | 1022 | 33711 | 1022 | 8 | 1 | 0 | 217 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c | 6 | 3 | 1222 | 792 | 35650 | 792 | 15 | 61 | 0 | 217 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c | 7 | 2 | 3361 | 2131 | 48485 | 1139 | 41 | 34 | 0 | 217 | 20 | 0.000 | 2460.54/1294.52 c (67,0) c 2460.54/1294.52 c (67,0) c synthesis 9582 conflicts 568693084 propagations 23 conflicts/sec 1370927 propagations/sec 2460.54/1294.52 c (67,0) c real: 66.6928 s, cpu: 414.824 s, memory: 6960.97 Mb 2666.11/1323.52 c (96,0) c 2666.11/1323.52 c (96,0) c |------------------------------------------------------------------------------------------------------------------------| 2666.11/1323.52 c (96,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2666.11/1323.52 c (96,0) c |------------------------------------------------------------------------------------------------------------------------| 2666.11/1323.52 c (96,0) c | 0 | 2 | 2991 | 1949 | 28135 | 1949 | 18 | 64 | 0 | 298 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c | 1 | 3 | 3786 | 2807 | 38159 | 1815 | 32 | 34 | 0 | 318 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c | 2 | 4 | 1960 | 1180 | 48813 | 1180 | 26 | 205 | 0 | 318 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c | 3 | 3 | 1852 | 1372 | 35615 | 1372 | 31 | 11 | 0 | 318 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c | 4 | 3 | 2850 | 2003 | 39498 | 2003 | 37 | 201 | 2 | 318 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c | 5 | 2 | 2595 | 1746 | 46977 | 1746 | 20 | 1 | 0 | 318 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c | 6 | 3 | 2007 | 1283 | 45453 | 1283 | 23 | 61 | 0 | 318 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c | 7 | 4 | 4749 | 3204 | 55533 | 2212 | 71 | 154 | 0 | 318 | 20 | 0.000 | 2666.11/1323.52 c (96,0) c 2666.11/1323.52 c (96,0) c synthesis 15544 conflicts 829158867 propagations 25 conflicts/sec 1342566 propagations/sec 2666.11/1323.52 c (96,0) c real: 95.6928 s, cpu: 617.592 s, memory: 6991.39 Mb 2883.46/1352.52 c (125,0) c 2883.46/1352.52 c (125,0) c |------------------------------------------------------------------------------------------------------------------------| 2883.46/1352.52 c (125,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2883.46/1352.52 c (125,0) c |------------------------------------------------------------------------------------------------------------------------| 2883.46/1352.52 c (125,0) c | 0 | 2 | 3999 | 2733 | 31258 | 1738 | 24 | 64 | 0 | 408 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c | 1 | 3 | 5053 | 3864 | 41756 | 2872 | 42 | 34 | 0 | 425 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c | 2 | 4 | 2439 | 1554 | 62156 | 1554 | 32 | 205 | 1 | 428 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c | 3 | 3 | 2329 | 1786 | 41450 | 1786 | 35 | 11 | 0 | 426 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c | 4 | 3 | 4343 | 3107 | 55887 | 2109 | 41 | 201 | 4 | 428 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c | 5 | 3 | 4409 | 2979 | 64244 | 1987 | 29 | 301 | 0 | 428 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c | 6 | 3 | 2886 | 1859 | 55835 | 1859 | 42 | 61 | 0 | 428 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c | 7 | 4 | 6533 | 4628 | 60997 | 3636 | 123 | 154 | 0 | 428 | 20 | 0.000 | 2883.46/1352.52 c (125,0) c 2883.46/1352.52 c (125,0) c synthesis 22510 conflicts 1105963695 propagations 27 conflicts/sec 1328724 propagations/sec 2883.46/1352.52 c (125,0) c real: 124.693 s, cpu: 832.35 s, memory: 7005.62 Mb 3118.93/1382.53 c (155,0) c 3118.93/1382.53 c (155,0) c |------------------------------------------------------------------------------------------------------------------------| 3118.93/1382.53 c (155,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3118.93/1382.53 c (155,0) c |------------------------------------------------------------------------------------------------------------------------| 3118.93/1382.53 c (155,0) c | 0 | 2 | 4863 | 3332 | 52155 | 2337 | 39 | 64 | 0 | 537 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c | 1 | 3 | 6870 | 5317 | 46470 | 4325 | 158 | 34 | 0 | 545 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c | 2 | 5 | 3047 | 1958 | 72591 | 1958 | 47 | 462 | 3 | 532 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c | 3 | 3 | 2933 | 2322 | 48252 | 1327 | 44 | 11 | 0 | 544 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c | 4 | 3 | 5885 | 4241 | 67828 | 3243 | 46 | 201 | 4 | 539 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c | 5 | 3 | 5070 | 3488 | 69308 | 2496 | 38 | 301 | 1 | 549 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c | 6 | 6 | 5502 | 3625 | 87576 | 2629 | 66 | 477 | 0 | 552 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c | 7 | 4 | 8345 | 6137 | 67393 | 5145 | 320 | 154 | 0 | 552 | 20 | 0.000 | 3118.93/1382.53 c (155,0) c 3118.93/1382.53 c (155,0) c synthesis 30420 conflicts 1402408676 propagations 29 conflicts/sec 1314365 propagations/sec 3118.93/1382.53 c (155,0) c real: 154.699 s, cpu: 1066.99 s, memory: 7021.91 Mb 3353.52/1412.53 c (185,0) c 3353.52/1412.53 c (185,0) c |------------------------------------------------------------------------------------------------------------------------| 3353.52/1412.53 c (185,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3353.52/1412.53 c (185,0) c |------------------------------------------------------------------------------------------------------------------------| 3353.52/1412.53 c (185,0) c | 0 | 2 | 5939 | 4059 | 69491 | 3064 | 58 | 64 | 0 | 661 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c | 1 | 3 | 7745 | 6074 | 50153 | 5082 | 400 | 34 | 0 | 658 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c | 2 | 5 | 3823 | 2555 | 79393 | 1555 | 50 | 462 | 3 | 653 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c | 3 | 3 | 4244 | 3386 | 58845 | 2391 | 54 | 11 | 0 | 665 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c | 4 | 4 | 8169 | 5915 | 85752 | 4917 | 347 | 1015 | 5 | 667 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c | 5 | 4 | 5678 | 4016 | 72694 | 3024 | 47 | 709 | 2 | 665 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c | 6 | 8 | 7574 | 5082 | 106003 | 4086 | 88 | 1152 | 4 | 671 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c | 7 | 4 | 10095 | 7549 | 73251 | 3756 | 475 | 154 | 0 | 672 | 20 | 0.000 | 3353.52/1412.53 c (185,0) c 3353.52/1412.53 c (185,0) c synthesis 38636 conflicts 1672141946 propagations 30 conflicts/sec 1286267 propagations/sec 3353.52/1412.53 c (185,0) c real: 184.693 s, cpu: 1300 s, memory: 7036.79 Mb 3591.05/1442.53 c (215,0) c 3591.05/1442.53 c (215,0) c |------------------------------------------------------------------------------------------------------------------------| 3591.05/1442.53 c (215,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3591.05/1442.53 c (215,0) c |------------------------------------------------------------------------------------------------------------------------| 3591.05/1442.53 c (215,0) c | 0 | 3 | 7091 | 4840 | 82898 | 3845 | 65 | 1718 | 0 | 787 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c | 1 | 3 | 8408 | 6669 | 53927 | 2878 | 572 | 34 | 0 | 769 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c | 2 | 5 | 5051 | 3413 | 89726 | 2412 | 53 | 462 | 3 | 778 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c | 3 | 5 | 6100 | 4816 | 71499 | 3821 | 100 | 1398 | 1 | 779 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c | 4 | 5 | 9789 | 7143 | 93212 | 3345 | 680 | 1361 | 6 | 789 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c | 5 | 4 | 6231 | 4468 | 78140 | 3476 | 64 | 709 | 2 | 781 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c | 6 | 9 | 9685 | 6714 | 117859 | 2919 | 360 | 2049 | 9 | 782 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c | 7 | 4 | 11630 | 8830 | 78536 | 5037 | 642 | 154 | 0 | 786 | 20 | 0.000 | 3591.05/1442.53 c (215,0) c 3591.05/1442.53 c (215,0) c synthesis 46893 conflicts 1924964486 propagations 31 conflicts/sec 1252786 propagations/sec 3591.05/1442.53 c (215,0) c real: 214.697 s, cpu: 1536.55 s, memory: 7048.83 Mb 3827.68/1472.53 c (245,0) c 3827.68/1472.53 c (245,0) c |------------------------------------------------------------------------------------------------------------------------| 3827.68/1472.53 c (245,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3827.68/1472.53 c (245,0) c |------------------------------------------------------------------------------------------------------------------------| 3827.68/1472.53 c (245,0) c | 0 | 3 | 9701 | 6628 | 109029 | 2831 | 424 | 1718 | 0 | 904 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c | 1 | 3 | 9028 | 7191 | 57795 | 3401 | 674 | 34 | 0 | 884 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c | 2 | 5 | 6585 | 4475 | 107932 | 3475 | 75 | 462 | 3 | 904 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c | 3 | 5 | 8862 | 7066 | 85027 | 3269 | 420 | 1398 | 1 | 892 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c | 4 | 5 | 10333 | 7622 | 96045 | 3824 | 770 | 1361 | 6 | 902 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c | 5 | 4 | 6929 | 5032 | 82311 | 4040 | 97 | 709 | 2 | 898 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c | 6 | 10 | 10813 | 7646 | 122866 | 3851 | 460 | 2079 | 16 | 900 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c | 7 | 4 | 12871 | 9880 | 85134 | 6086 | 816 | 154 | 0 | 895 | 20 | 0.000 | 3827.68/1472.53 c (245,0) c 3827.68/1472.53 c (245,0) c synthesis 55540 conflicts 2171514089 propagations 31 conflicts/sec 1225300 propagations/sec 3827.68/1472.53 c (245,0) c real: 244.699 s, cpu: 1772.23 s, memory: 7056.62 Mb 4060.30/1502.52 c (275,0) c 4060.30/1502.52 c (275,0) c |------------------------------------------------------------------------------------------------------------------------| 4060.30/1502.52 c (275,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4060.30/1502.52 c (275,0) c |------------------------------------------------------------------------------------------------------------------------| 4060.30/1502.52 c (275,0) c | 0 | 3 | 12693 | 8658 | 126556 | 4861 | 860 | 1718 | 1 | 1017 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c | 1 | 3 | 9715 | 7771 | 61293 | 3980 | 814 | 34 | 0 | 997 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c | 2 | 5 | 8028 | 5558 | 122256 | 4557 | 200 | 462 | 3 | 1017 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c | 3 | 5 | 11355 | 9061 | 96309 | 5264 | 688 | 1398 | 1 | 1015 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c | 4 | 5 | 11175 | 8274 | 100430 | 4476 | 874 | 1361 | 6 | 1016 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c | 5 | 4 | 8345 | 6152 | 90488 | 5160 | 265 | 709 | 13 | 1017 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c | 6 | 10 | 12237 | 8796 | 129863 | 5001 | 542 | 2079 | 22 | 1017 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c | 7 | 4 | 14789 | 11486 | 90441 | 7693 | 1023 | 154 | 0 | 1013 | 20 | 0.000 | 4060.30/1502.52 c (275,0) c 4060.30/1502.52 c (275,0) c synthesis 65756 conflicts 2431005455 propagations 33 conflicts/sec 1213471 propagations/sec 4060.30/1502.52 c (275,0) c real: 274.693 s, cpu: 2003.35 s, memory: 7062.20 Mb 4284.86/1531.52 c (304,0) c 4284.86/1531.52 c (304,0) c |------------------------------------------------------------------------------------------------------------------------| 4284.86/1531.52 c (304,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4284.86/1531.52 c (304,0) c |------------------------------------------------------------------------------------------------------------------------| 4284.86/1531.52 c (304,0) c | 0 | 3 | 14556 | 10010 | 141675 | 6213 | 1138 | 1718 | 1 | 1127 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c | 1 | 3 | 10432 | 8364 | 64289 | 4574 | 1000 | 34 | 0 | 1107 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c | 2 | 7 | 9190 | 6289 | 131063 | 5289 | 356 | 5890 | 8 | 1127 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c | 3 | 5 | 13930 | 11209 | 105827 | 7412 | 951 | 1398 | 1 | 1127 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c | 4 | 5 | 11744 | 8746 | 106314 | 4948 | 1003 | 1361 | 6 | 1127 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c | 5 | 4 | 9617 | 7194 | 96013 | 3401 | 436 | 709 | 17 | 1127 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c | 6 | 10 | 13398 | 9767 | 137947 | 5972 | 688 | 2079 | 27 | 1120 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c | 7 | 4 | 16402 | 12838 | 94979 | 9045 | 1194 | 154 | 0 | 1127 | 20 | 0.000 | 4284.86/1531.52 c (304,0) c 4284.86/1531.52 c (304,0) c synthesis 74417 conflicts 2661871792 propagations 33 conflicts/sec 1195766 propagations/sec 4284.86/1531.52 c (304,0) c real: 303.693 s, cpu: 2226.08 s, memory: 7065.84 Mb 4510.01/1561.52 c (334,0) c 4510.01/1561.52 c (334,0) c |------------------------------------------------------------------------------------------------------------------------| 4510.01/1561.52 c (334,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4510.01/1561.52 c (334,0) c |------------------------------------------------------------------------------------------------------------------------| 4510.01/1561.54 c (334,0) c | 0 | 3 | 16659 | 11456 | 160581 | 5468 | 1536 | 6635 | 1 | 1240 | 20 | 0.016 | 4510.01/1561.54 c (334,0) c | 1 | 3 | 11592 | 9318 | 70678 | 5528 | 1243 | 34 | 0 | 1220 | 20 | 0.000 | 4510.01/1561.54 c (334,0) c | 2 | 7 | 11086 | 7474 | 151967 | 3676 | 594 | 5890 | 10 | 1240 | 20 | 0.000 | 4510.01/1561.54 c (334,0) c | 3 | 5 | 16336 | 13164 | 113324 | 3570 | 1257 | 6260 | 2 | 1240 | 20 | 0.003 | 4510.01/1561.54 c (334,0) c | 4 | 5 | 12428 | 9290 | 111121 | 5491 | 1126 | 1361 | 7 | 1240 | 20 | 0.000 | 4510.01/1561.54 c (334,0) c | 5 | 4 | 10877 | 8233 | 102706 | 4440 | 545 | 709 | 17 | 1240 | 20 | 0.000 | 4510.01/1561.54 c (334,0) c | 6 | 10 | 14654 | 10826 | 143997 | 7031 | 798 | 2079 | 32 | 1238 | 20 | 0.000 | 4510.01/1561.54 c (334,0) c | 7 | 4 | 18099 | 14271 | 99395 | 5478 | 1316 | 154 | 0 | 1240 | 20 | 0.000 | 4510.01/1561.54 c (334,0) c 4510.01/1561.54 c (334,0) c synthesis 84032 conflicts 2904763562 propagations 34 conflicts/sec 1185599 propagations/sec 4510.01/1561.54 c (334,0) c real: 333.693 s, cpu: 2450.04 s, memory: 7070.01 Mb 4730.68/1590.53 c (363,0) c 4730.68/1590.53 c (363,0) c |------------------------------------------------------------------------------------------------------------------------| 4730.68/1590.53 c (363,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4730.68/1590.53 c (363,0) c |------------------------------------------------------------------------------------------------------------------------| 4730.68/1590.53 c (363,0) c | 0 | 4 | 18304 | 12523 | 176535 | 6535 | 1817 | 6836 | 14 | 1349 | 20 | 0.016 | 4730.68/1590.53 c (363,0) c | 1 | 3 | 12559 | 10118 | 75245 | 6328 | 1436 | 34 | 0 | 1329 | 20 | 0.000 | 4730.68/1590.53 c (363,0) c | 2 | 7 | 12502 | 8490 | 167113 | 4692 | 863 | 5890 | 15 | 1349 | 20 | 0.000 | 4730.68/1590.53 c (363,0) c | 3 | 5 | 18717 | 15113 | 120738 | 3417 | 1509 | 7345 | 4 | 1349 | 20 | 0.016 | 4730.68/1590.53 c (363,0) c | 4 | 5 | 13002 | 9763 | 114481 | 5965 | 1200 | 1361 | 7 | 1346 | 20 | 0.000 | 4730.68/1590.53 c (363,0) c | 5 | 4 | 12258 | 9369 | 107069 | 5575 | 702 | 709 | 17 | 1349 | 20 | 0.000 | 4730.68/1590.53 c (363,0) c | 6 | 10 | 16038 | 11987 | 149256 | 8192 | 897 | 2079 | 37 | 1349 | 20 | 0.000 | 4730.68/1590.53 c (363,0) c | 7 | 4 | 19647 | 15550 | 103529 | 6757 | 1482 | 154 | 0 | 1349 | 20 | 0.000 | 4730.68/1590.53 c (363,0) c 4730.68/1590.53 c (363,0) c synthesis 92913 conflicts 3128744795 propagations 35 conflicts/sec 1171833 propagations/sec 4730.68/1590.53 c (363,0) c real: 362.699 s, cpu: 2669.96 s, memory: 7072.48 Mb 4958.89/1620.52 c (393,0) c 4958.89/1620.52 c (393,0) c |------------------------------------------------------------------------------------------------------------------------| 4958.89/1620.52 c (393,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4958.89/1620.52 c (393,0) c |------------------------------------------------------------------------------------------------------------------------| 4958.89/1620.52 c (393,0) c | 0 | 4 | 19400 | 13284 | 184668 | 7296 | 1979 | 6836 | 30 | 1463 | 20 | 0.016 | 4958.89/1620.52 c (393,0) c | 1 | 4 | 14081 | 11381 | 80481 | 7006 | 1715 | 8387 | 10 | 1443 | 20 | 0.016 | 4958.89/1620.52 c (393,0) c | 2 | 7 | 14311 | 9830 | 186991 | 6032 | 1223 | 5890 | 25 | 1463 | 20 | 0.000 | 4958.89/1620.52 c (393,0) c | 3 | 5 | 21959 | 17763 | 131454 | 6066 | 1690 | 8267 | 5 | 1463 | 20 | 0.016 | 4958.89/1620.52 c (393,0) c | 4 | 5 | 14350 | 10799 | 124658 | 3100 | 1384 | 9875 | 7 | 1463 | 20 | 0.034 | 4958.89/1620.52 c (393,0) c | 5 | 4 | 14093 | 10851 | 113908 | 7058 | 885 | 709 | 20 | 1463 | 20 | 0.000 | 4958.89/1620.52 c (393,0) c | 6 | 10 | 17631 | 13228 | 154623 | 9433 | 1033 | 2079 | 59 | 1463 | 20 | 0.000 | 4958.89/1620.52 c (393,0) c | 7 | 4 | 21116 | 16775 | 106983 | 7982 | 1618 | 154 | 0 | 1463 | 20 | 0.000 | 4958.89/1620.52 c (393,0) c 4958.89/1620.52 c (393,0) c synthesis 103911 conflicts 3348883701 propagations 36 conflicts/sec 1155935 propagations/sec 4958.89/1620.52 c (393,0) c real: 392.693 s, cpu: 2897.12 s, memory: 7076.50 Mb 5176.93/1649.53 c (422,0) c 5176.93/1649.53 c (422,0) c |------------------------------------------------------------------------------------------------------------------------| 5176.93/1649.53 c (422,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5176.93/1649.53 c (422,0) c |------------------------------------------------------------------------------------------------------------------------| 5176.93/1649.53 c (422,0) c | 0 | 4 | 20425 | 14106 | 192595 | 4217 | 2132 | 6836 | 41 | 1571 | 20 | 0.016 | 5176.93/1649.53 c (422,0) c | 1 | 4 | 16771 | 13614 | 89055 | 9239 | 2145 | 8387 | 40 | 1552 | 20 | 0.016 | 5176.93/1649.53 c (422,0) c | 2 | 7 | 15248 | 10501 | 191003 | 6702 | 1401 | 5890 | 29 | 1572 | 20 | 0.000 | 5176.93/1649.53 c (422,0) c | 3 | 6 | 24791 | 20130 | 139699 | 6665 | 1908 | 10471 | 9 | 1572 | 20 | 0.034 | 5176.93/1649.53 c (422,0) c | 4 | 5 | 15368 | 11522 | 140113 | 3823 | 1544 | 9875 | 17 | 1572 | 20 | 0.034 | 5176.93/1649.53 c (422,0) c | 5 | 4 | 15708 | 12190 | 119649 | 8397 | 1048 | 709 | 26 | 1572 | 20 | 0.000 | 5176.93/1649.53 c (422,0) c | 6 | 10 | 19498 | 14740 | 160771 | 5948 | 1174 | 2079 | 63 | 1572 | 20 | 0.000 | 5176.93/1649.53 c (422,0) c | 7 | 4 | 22344 | 17797 | 111806 | 4440 | 1732 | 10551 | 7 | 1572 | 20 | 0.040 | 5176.93/1649.53 c (422,0) c 5176.93/1649.53 c (422,0) c synthesis 114600 conflicts 3564680789 propagations 37 conflicts/sec 1145015 propagations/sec 5176.93/1649.53 c (422,0) c real: 421.699 s, cpu: 3113.22 s, memory: 7078.84 Mb 5407.54/1679.54 c (452,0) c 5407.54/1679.54 c (452,0) c |------------------------------------------------------------------------------------------------------------------------| 5407.54/1679.54 c (452,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5407.54/1679.54 c (452,0) c |------------------------------------------------------------------------------------------------------------------------| 5407.54/1679.54 c (452,0) c | 0 | 4 | 21117 | 14655 | 198249 | 4766 | 2222 | 6836 | 42 | 1685 | 20 | 0.016 | 5407.54/1679.54 c (452,0) c | 1 | 4 | 19339 | 15756 | 99335 | 6669 | 2371 | 8387 | 86 | 1665 | 20 | 0.016 | 5407.54/1679.54 c (452,0) c | 2 | 7 | 16125 | 11199 | 196503 | 7401 | 1569 | 5890 | 30 | 1685 | 20 | 0.000 | 5407.54/1679.54 c (452,0) c | 3 | 6 | 28029 | 22810 | 147887 | 9342 | 2194 | 11700 | 21 | 1681 | 20 | 0.043 | 5407.54/1679.54 c (452,0) c | 4 | 5 | 16307 | 12250 | 152694 | 4551 | 1706 | 9875 | 39 | 1685 | 20 | 0.034 | 5407.54/1679.54 c (452,0) c | 5 | 4 | 17466 | 13624 | 127469 | 9831 | 1263 | 709 | 29 | 1682 | 20 | 0.000 | 5407.54/1679.54 c (452,0) c | 6 | 10 | 21218 | 16172 | 166596 | 7380 | 1313 | 2079 | 64 | 1685 | 20 | 0.000 | 5407.54/1679.54 c (452,0) c | 7 | 4 | 23483 | 18723 | 118638 | 5366 | 1847 | 10551 | 39 | 1685 | 20 | 0.040 | 5407.54/1679.54 c (452,0) c 5407.54/1679.54 c (452,0) c synthesis 125189 conflicts 3798973346 propagations 37 conflicts/sec 1136359 propagations/sec 5407.54/1679.54 c (452,0) c real: 451.693 s, cpu: 3343.11 s, memory: 7080.39 Mb 5641.96/1709.53 c (482,0) c 5641.96/1709.53 c (482,0) c |------------------------------------------------------------------------------------------------------------------------| 5641.96/1709.53 c (482,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5641.96/1709.53 c (482,0) c |------------------------------------------------------------------------------------------------------------------------| 5641.96/1709.53 c (482,0) c | 0 | 4 | 21920 | 15271 | 202955 | 3329 | 2312 | 13039 | 54 | 1802 | 20 | 0.044 | 5641.96/1709.53 c (482,0) c | 1 | 4 | 21972 | 17992 | 108386 | 3903 | 2592 | 12406 | 125 | 1783 | 20 | 0.044 | 5641.96/1709.53 c (482,0) c | 2 | 7 | 18275 | 12827 | 207461 | 7604 | 1889 | 13594 | 49 | 1803 | 20 | 0.044 | 5641.96/1709.53 c (482,0) c | 3 | 7 | 30935 | 25241 | 156915 | 5684 | 2407 | 12957 | 47 | 1800 | 20 | 0.044 | 5641.96/1709.53 c (482,0) c | 4 | 5 | 18014 | 13596 | 164667 | 5897 | 1893 | 9875 | 116 | 1800 | 20 | 0.034 | 5641.96/1709.53 c (482,0) c | 5 | 4 | 18721 | 14642 | 135668 | 5849 | 1374 | 709 | 30 | 1801 | 20 | 0.000 | 5641.96/1709.53 c (482,0) c | 6 | 10 | 22735 | 17373 | 170653 | 8581 | 1447 | 2079 | 64 | 1801 | 20 | 0.000 | 5641.96/1709.53 c (482,0) c | 7 | 4 | 24634 | 19638 | 124079 | 6281 | 1959 | 10551 | 60 | 1799 | 20 | 0.040 | 5641.96/1709.53 c (482,0) c 5641.96/1709.53 c (482,0) c synthesis 136580 conflicts 4028152867 propagations 38 conflicts/sec 1126241 propagations/sec 5641.96/1709.53 c (482,0) c real: 481.699 s, cpu: 3576.63 s, memory: 7082.07 Mb 5725.65/1723.38 c (495,0) c 5725.65/1723.38 c (495,0) c real time : 495.547 s 5725.65/1723.38 c (495,0) c cpu time : 3659.55 s 5725.65/1723.38 c (495,0) c 5725.65/1723.38 c (495,0) c 5725.65/1723.38 c (495,0) c 5725.65/1723.38 c (495,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 5725.65/1723.38 c (495,0) c 5725.65/1723.38 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.38 c (495,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5725.65/1723.38 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.38 c (495,0) c | Conflicts | 141375 | 15669 | 18962 | 13916 | 26097 | 14137 | 14952 | 17860 | 19782 | 5725.65/1723.38 c (495,0) c | Decisions | 183041 | 22414 | 23164 | 19610 | 31933 | 18645 | 19087 | 23331 | 24857 | 5725.65/1723.38 c (495,0) c | Propagations | 4105732719 | 563228378 | 481325618 | 581422975 | 471198588 | 571179103 | 500650038 | 495965621 | 440762398 | 5725.65/1723.38 c (495,0) c | ReduceDBs | 25 | 3 | 3 | 3 | 4 | 3 | 3 | 3 | 3 | 5725.65/1723.38 c (495,0) c | SimpDBs | 18 | 3 | 3 | 2 | 4 | 2 | 1 | 1 | 2 | 5725.65/1723.38 c (495,0) c | Restarts | 45 | 4 | 4 | 7 | 7 | 5 | 4 | 10 | 4 | 5725.65/1723.38 c (495,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5725.65/1723.38 c (495,0) c | PropBinClauses| 2780727408 | 351578978 | 360794507 | 300000402 | 393795499 | 366917533 | 355229840 | 338637821 | 313772828 | 5725.65/1723.38 c (495,0) c | PropPreBlocker| 44401900476 | 5704754130 | 5290415761 | 5989015792 | 5244055734 | 5624539404 | 5493958620 | 5597677741 | 5457483294 | 5725.65/1723.38 c (495,0) c | PropNotBlocker| 26037717079 | 3039257851 | 3540171894 | 2730272736 | 3567649948 | 2996063031 | 3321049930 | 3265405999 | 3577845690 | 5725.65/1723.38 c (495,0) c | LitFullScans | 88898237049 |11121763731 |11105698936 |11125272157 |11096036761 |11112765362 |11124538486 |11108392925 |11103768691 | 5725.65/1723.38 c (495,0) c | LitScanFracts | 569910769 | 81624574 | 64887044 | 85263979 | 55909232 | 72590900 | 77954444 | 68156367 | 63524229 | 5725.65/1723.38 c (495,0) c | DecisionLevel0| 71 | 6 | 7 | 8 | 24 | 7 | 4 | 10 | 5 | 5725.65/1723.38 c (495,0) c | Periods | 14721 | 1840 | 1840 | 1840 | 1840 | 1840 | 1841 | 1840 | 1840 | 5725.65/1723.38 c (495,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 5725.65/1723.38 c (495,0) c | Avg_Trail | | 137423 | 64642 | 153160 | 47567 | 141971 | 103551 | 106711 | 67711 | 5725.65/1723.38 c (495,0) c | Avg_DL | | 11 | 10 | 11 | 10 | 11 | 11 | 12 | 10 | 5725.65/1723.38 c (495,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5725.65/1723.38 c (495,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5725.65/1723.38 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.38 c (495,0) c | Exported | 16586 | 2337 | 2745 | 2100 | 2555 | 1956 | 1411 | 1497 | 1985 | 5725.65/1723.38 c (495,0) c | Imported | 77079 | 13039 | 13488 | 13594 | 13744 | 9875 | 709 | 2079 | 10551 | 5725.65/1723.38 c (495,0) c | Good | 3075 | 572 | 556 | 595 | 470 | 364 | 78 | 99 | 341 | 5725.65/1723.38 c (495,0) c | Purge | 74004 | 12467 | 12932 | 12999 | 13274 | 9511 | 631 | 1980 | 10210 | 5725.65/1723.38 c (495,0) c | Promoted | 658 | 89 | 162 | 54 | 55 | 139 | 30 | 65 | 64 | 5725.65/1723.38 c (495,0) c | Remove_Imp | 5162 | 0 | 0 | 283 | 2584 | 2295 | 0 | 0 | 0 | 5725.65/1723.38 c (495,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5725.65/1723.38 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.38 c (495,0) c | Unaries | | 2 | 3 | 1 | 17 | 2 | 0 | 0 | 1 | 5725.65/1723.38 c (495,0) c | Binaries | | 46 | 130 | 29 | 239 | 38 | 65 | 79 | 100 | 5725.65/1723.38 c (495,0) c | Glues | | 290 | 444 | 261 | 637 | 238 | 361 | 349 | 569 | 5725.65/1723.38 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.38 c (495,0) c | Orig_Seen | 1 % | 205312 | 112847 | 213553 | 159777 | 168218 | 138127 | 172241 | 126981 | 5725.65/1723.38 c (495,0) c | Diff Orig seen| | 45535 | - 46930 | 53776 | X | 8441 | - 21650 | 12464 | - 32796 | 5725.65/1723.38 c (495,0) c | Hamming | 23 % | 151539 | 146220 | 105931 | X | 151630 | 137244 | 148409 | 146370 | 5725.65/1723.38 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.38 c (495,0) c | RunningTime | | 471.9 97%| 484.2 99%| 453.3 93%| 469.8 97%| 473.2 98%| 465.2 96%| 460.5 95%| 460.8 95%| 5725.65/1723.38 c (495,0) c | WaitingTime | | 13.1 3%| 4.2 1%| 31.5 6%| 15.0 3%| 11.6 2%| 19.8 4%| 24.3 5%| 24.2 5%| 5725.65/1723.38 c (495,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%| 5725.65/1723.38 c (495,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%| 5725.65/1723.38 c (495,0) c | SolvingTime | | 485.0 | 488.4 | 484.9 | 484.8 | 484.8 | 485.1 | 484.8 | 485.0 | 5725.65/1723.38 c (495,0) c | PropagationTim| | 468.9 97%| 474.3 97%| 470.2 97%| 465.9 96%| 468.7 97%| 470.9 97%| 470.4 97%| 469.2 97%| 5725.65/1723.38 c (495,0) c | AnalysisTime | | 3.4 1%| 3.2 1%| 3.5 1%| 3.6 1%| 3.4 1%| 3.4 1%| 3.6 1%| 3.4 1%| 5725.65/1723.38 c (495,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%| 5725.65/1723.38 c (495,0) c | SimplifyTime | | 1.8 0%| 0.4 0%| 0.8 0%| 3.9 1%| 1.7 0%| 0.0 0%| 0.0 0%| 1.6 0%| 5725.65/1723.38 c (495,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%| 5725.65/1723.38 c (495,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%| 5725.65/1723.38 c (495,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.38 c (495,0) c 5725.65/1723.38 c (495,0) c 5725.65/1723.38 c (495,0) c Threads : 8 5725.65/1723.38 c (495,0) c Winner : 3 5725.65/1723.38 c (495,0) c Conflicts_0 : 15669 5725.65/1723.38 c (495,0) c Conflicts_1 : 18962 5725.65/1723.38 c (495,0) c Conflicts_2 : 13916 5725.65/1723.38 c (495,0) c Conflicts_3 : 26097 5725.65/1723.38 c (495,0) c Conflicts_4 : 14137 5725.65/1723.38 c (495,0) c Conflicts_5 : 14952 5725.65/1723.38 c (495,0) c Conflicts_6 : 17860 5725.65/1723.38 c (495,0) c Conflicts_7 : 19782 5725.65/1723.38 c (495,0) c Conflicts_total : 141375 5725.65/1723.38 c (495,0) c Conflicts_winner : 26097 5725.65/1723.38 c (495,0) c Decisions_0 : 22414 5725.65/1723.38 c (495,0) c Decisions_1 : 23164 5725.65/1723.38 c (495,0) c Decisions_2 : 19610 5725.65/1723.38 c (495,0) c Decisions_3 : 31933 5725.65/1723.38 c (495,0) c Decisions_4 : 18645 5725.65/1723.38 c (495,0) c Decisions_5 : 19087 5725.65/1723.38 c (495,0) c Decisions_6 : 23331 5725.65/1723.38 c (495,0) c Decisions_7 : 24857 5725.65/1723.38 c (495,0) c Decisions_total : 183041 5725.65/1723.38 c (495,0) c Decisions_winner : 31933 5725.65/1723.38 c (495,0) c Propagations_0 : 563228378 5725.65/1723.38 c (495,0) c Propagations_1 : 481325618 5725.65/1723.38 c (495,0) c Propagations_2 : 581422975 5725.65/1723.38 c (495,0) c Propagations_3 : 471198588 5725.65/1723.38 c (495,0) c Propagations_4 : 571179103 5725.65/1723.38 c (495,0) c Propagations_5 : 500650038 5725.65/1723.38 c (495,0) c Propagations_6 : 495965621 5725.65/1723.38 c (495,0) c Propagations_7 : 440762398 5725.65/1723.38 c (495,0) c Propagations_total : 4105732719 5725.65/1723.38 c (495,0) c Propagations_winner : 471198588 5725.65/1723.38 c (495,0) c ReduceDBs_0 : 3 5725.65/1723.38 c (495,0) c ReduceDBs_1 : 3 5725.65/1723.38 c (495,0) c ReduceDBs_2 : 3 5725.65/1723.38 c (495,0) c ReduceDBs_3 : 4 5725.65/1723.38 c (495,0) c ReduceDBs_4 : 3 5725.65/1723.38 c (495,0) c ReduceDBs_5 : 3 5725.65/1723.38 c (495,0) c ReduceDBs_6 : 3 5725.65/1723.38 c (495,0) c ReduceDBs_7 : 3 5725.65/1723.38 c (495,0) c ReduceDBs_total : 25 5725.65/1723.38 c (495,0) c ReduceDBs_winner : 4 5725.65/1723.38 c (495,0) c SimpDBs_0 : 3 5725.65/1723.38 c (495,0) c SimpDBs_1 : 3 5725.65/1723.38 c (495,0) c SimpDBs_2 : 2 5725.65/1723.38 c (495,0) c SimpDBs_3 : 4 5725.65/1723.38 c (495,0) c SimpDBs_4 : 2 5725.65/1723.38 c (495,0) c SimpDBs_5 : 1 5725.65/1723.38 c (495,0) c SimpDBs_6 : 1 5725.65/1723.38 c (495,0) c SimpDBs_7 : 2 5725.65/1723.38 c (495,0) c SimpDBs_total : 18 5725.65/1723.38 c (495,0) c SimpDBs_winner : 4 5725.65/1723.38 c (495,0) c Restarts_0 : 4 5725.65/1723.38 c (495,0) c Restarts_1 : 4 5725.65/1723.38 c (495,0) c Restarts_2 : 7 5725.65/1723.38 c (495,0) c Restarts_3 : 7 5725.65/1723.38 c (495,0) c Restarts_4 : 5 5725.65/1723.38 c (495,0) c Restarts_5 : 4 5725.65/1723.38 c (495,0) c Restarts_6 : 10 5725.65/1723.38 c (495,0) c Restarts_7 : 4 5725.65/1723.38 c (495,0) c Restarts_total : 45 5725.65/1723.38 c (495,0) c Restarts_winner : 7 5725.65/1723.38 c (495,0) c ForcedImports_0 : 0 5725.65/1723.38 c (495,0) c ForcedImports_1 : 0 5725.65/1723.38 c (495,0) c ForcedImports_2 : 0 5725.65/1723.38 c (495,0) c ForcedImports_3 : 0 5725.65/1723.38 c (495,0) c ForcedImports_4 : 0 5725.65/1723.38 c (495,0) c ForcedImports_5 : 0 5725.65/1723.38 c (495,0) c ForcedImports_6 : 0 5725.65/1723.38 c (495,0) c ForcedImports_7 : 0 5725.65/1723.38 c (495,0) c ForcedImports_total : 0 5725.65/1723.38 c (495,0) c ForcedImports_winner : 0 5725.65/1723.38 c (495,0) c PropsBinClauses_0 : 351578978 5725.65/1723.38 c (495,0) c PropsBinClauses_1 : 360794507 5725.65/1723.38 c (495,0) c PropsBinClauses_2 : 300000402 5725.65/1723.38 c (495,0) c PropsBinClauses_3 : 393795499 5725.65/1723.38 c (495,0) c PropsBinClauses_4 : 366917533 5725.65/1723.38 c (495,0) c PropsBinClauses_5 : 355229840 5725.65/1723.38 c (495,0) c PropsBinClauses_6 : 338637821 5725.65/1723.38 c (495,0) c PropsBinClauses_7 : 313772828 5725.65/1723.38 c (495,0) c PropsBinClauses_total : 2780727408 5725.65/1723.38 c (495,0) c PropsBinClauses_winner : 393795499 5725.65/1723.38 c (495,0) c PropsPreBlocker_0 : 5704754130 5725.65/1723.38 c (495,0) c PropsPreBlocker_1 : 5290415761 5725.65/1723.38 c (495,0) c PropsPreBlocker_2 : 5989015792 5725.65/1723.38 c (495,0) c PropsPreBlocker_3 : 5244055734 5725.65/1723.38 c (495,0) c PropsPreBlocker_4 : 5624539404 5725.65/1723.38 c (495,0) c PropsPreBlocker_5 : 5493958620 5725.65/1723.38 c (495,0) c PropsPreBlocker_6 : 5597677741 5725.65/1723.38 c (495,0) c PropsPreBlocker_7 : 5457483294 5725.65/1723.38 c (495,0) c PropsPreBlocker_total : 44401900476 5725.65/1723.38 c (495,0) c PropsPreBlocker_winner : 5244055734 5725.65/1723.38 c (495,0) c PropsNotBlocker_0 : 3039257851 5725.65/1723.38 c (495,0) c PropsNotBlocker_1 : 3540171894 5725.65/1723.38 c (495,0) c PropsNotBlocker_2 : 2730272736 5725.65/1723.38 c (495,0) c PropsNotBlocker_3 : 3567649948 5725.65/1723.38 c (495,0) c PropsNotBlocker_4 : 2996063031 5725.65/1723.38 c (495,0) c PropsNotBlocker_5 : 3321049930 5725.65/1723.38 c (495,0) c PropsNotBlocker_6 : 3265405999 5725.65/1723.38 c (495,0) c PropsNotBlocker_7 : 3577845690 5725.65/1723.38 c (495,0) c PropsNotBlocker_total : 26037717079 5725.65/1723.38 c (495,0) c PropsNotBlocker_winner : 3567649948 5725.65/1723.38 c (495,0) c PropsLitFullScans_0 : 11121763731 5725.65/1723.38 c (495,0) c PropsLitFullScans_1 : 11105698936 5725.65/1723.38 c (495,0) c PropsLitFullScans_2 : 11125272157 5725.65/1723.38 c (495,0) c PropsLitFullScans_3 : 11096036761 5725.65/1723.38 c (495,0) c PropsLitFullScans_4 : 11112765362 5725.65/1723.38 c (495,0) c PropsLitFullScans_5 : 11124538486 5725.65/1723.38 c (495,0) c PropsLitFullScans_6 : 11108392925 5725.65/1723.38 c (495,0) c PropsLitFullScans_7 : 11103768691 5725.65/1723.38 c (495,0) c PropsLitFullScans_total : 88898237049 5725.65/1723.38 c (495,0) c PropsLitFullScans_winner : 11096036761 5725.65/1723.38 c (495,0) c LitScanFractions_0 : 81624574 5725.65/1723.38 c (495,0) c LitScanFractions_1 : 64887044 5725.65/1723.38 c (495,0) c LitScanFractions_2 : 85263979 5725.65/1723.38 c (495,0) c LitScanFractions_3 : 55909232 5725.65/1723.38 c (495,0) c LitScanFractions_4 : 72590900 5725.65/1723.38 c (495,0) c LitScanFractions_5 : 77954444 5725.65/1723.38 c (495,0) c LitScanFractions_6 : 68156367 5725.65/1723.38 c (495,0) c LitScanFractions_7 : 63524229 5725.65/1723.38 c (495,0) c LitScanFractions_total : 569910769 5725.65/1723.38 c (495,0) c LitScanFractions_winner : 55909232 5725.65/1723.38 c (495,0) c DecisionLevel0_0 : 6 5725.65/1723.38 c (495,0) c DecisionLevel0_1 : 7 5725.65/1723.38 c (495,0) c DecisionLevel0_2 : 8 5725.65/1723.38 c (495,0) c DecisionLevel0_3 : 24 5725.65/1723.38 c (495,0) c DecisionLevel0_4 : 7 5725.65/1723.38 c (495,0) c DecisionLevel0_5 : 4 5725.65/1723.38 c (495,0) c DecisionLevel0_6 : 10 5725.65/1723.38 c (495,0) c DecisionLevel0_7 : 5 5725.65/1723.38 c (495,0) c DecisionLevel0_total : 71 5725.65/1723.38 c (495,0) c DecisionLevel0_winner : 24 5725.65/1723.38 c (495,0) c Periods_0 : 1840 5725.65/1723.38 c (495,0) c Periods_1 : 1840 5725.65/1723.38 c (495,0) c Periods_2 : 1840 5725.65/1723.38 c (495,0) c Periods_3 : 1840 5725.65/1723.38 c (495,0) c Periods_4 : 1840 5725.65/1723.38 c (495,0) c Periods_5 : 1841 5725.65/1723.38 c (495,0) c Periods_6 : 1840 5725.65/1723.38 c (495,0) c Periods_7 : 1840 5725.65/1723.38 c (495,0) c Periods_total : 14721 5725.65/1723.38 c (495,0) c Periods_winner : 1840 5725.65/1723.38 c (495,0) c Margin_0 : 20 5725.65/1723.38 c (495,0) c Margin_1 : 20 5725.65/1723.38 c (495,0) c Margin_2 : 20 5725.65/1723.38 c (495,0) c Margin_3 : 20 5725.65/1723.38 c (495,0) c Margin_4 : 20 5725.65/1723.38 c (495,0) c Margin_5 : 20 5725.65/1723.38 c (495,0) c Margin_6 : 20 5725.65/1723.38 c (495,0) c Margin_7 : 20 5725.65/1723.38 c (495,0) c Margin_total : 160 5725.65/1723.38 c (495,0) c Margin_winner : 20 5725.65/1723.38 c (495,0) c Exported_0 : 2337 5725.65/1723.38 c (495,0) c Exported_1 : 2745 5725.65/1723.38 c (495,0) c Exported_2 : 2100 5725.65/1723.38 c (495,0) c Exported_3 : 2555 5725.65/1723.38 c (495,0) c Exported_4 : 1956 5725.65/1723.38 c (495,0) c Exported_5 : 1411 5725.65/1723.38 c (495,0) c Exported_6 : 1497 5725.65/1723.38 c (495,0) c Exported_7 : 1985 5725.65/1723.38 c (495,0) c Exported_total : 16586 5725.65/1723.38 c (495,0) c Exported_winner : 2555 5725.65/1723.38 c (495,0) c Imported_0 : 13039 5725.65/1723.38 c (495,0) c Imported_1 : 13488 5725.65/1723.38 c (495,0) c Imported_2 : 13594 5725.65/1723.39 c (495,0) c Imported_3 : 13744 5725.65/1723.39 c (495,0) c Imported_4 : 9875 5725.65/1723.39 c (495,0) c Imported_5 : 709 5725.65/1723.39 c (495,0) c Imported_6 : 2079 5725.65/1723.39 c (495,0) c Imported_7 : 10551 5725.65/1723.39 c (495,0) c Imported_total : 77079 5725.65/1723.39 c (495,0) c Imported_winner : 13744 5725.65/1723.39 c (495,0) c Good_0 : 572 5725.65/1723.39 c (495,0) c Good_1 : 556 5725.65/1723.39 c (495,0) c Good_2 : 595 5725.65/1723.39 c (495,0) c Good_3 : 470 5725.65/1723.39 c (495,0) c Good_4 : 364 5725.65/1723.39 c (495,0) c Good_5 : 78 5725.65/1723.39 c (495,0) c Good_6 : 99 5725.65/1723.39 c (495,0) c Good_7 : 341 5725.65/1723.39 c (495,0) c Good_total : 3075 5725.65/1723.39 c (495,0) c Good_winner : 470 5725.65/1723.39 c (495,0) c Purge_0 : 12467 5725.65/1723.39 c (495,0) c Purge_1 : 12932 5725.65/1723.39 c (495,0) c Purge_2 : 12999 5725.65/1723.39 c (495,0) c Purge_3 : 13274 5725.65/1723.39 c (495,0) c Purge_4 : 9511 5725.65/1723.39 c (495,0) c Purge_5 : 631 5725.65/1723.39 c (495,0) c Purge_6 : 1980 5725.65/1723.39 c (495,0) c Purge_7 : 10210 5725.65/1723.39 c (495,0) c Purge_total : 74004 5725.65/1723.39 c (495,0) c Purge_winner : 13274 5725.65/1723.39 c (495,0) c Promoted_0 : 89 5725.65/1723.39 c (495,0) c Promoted_1 : 162 5725.65/1723.39 c (495,0) c Promoted_2 : 54 5725.65/1723.39 c (495,0) c Promoted_3 : 55 5725.65/1723.39 c (495,0) c Promoted_4 : 139 5725.65/1723.39 c (495,0) c Promoted_5 : 30 5725.65/1723.39 c (495,0) c Promoted_6 : 65 5725.65/1723.39 c (495,0) c Promoted_7 : 64 5725.65/1723.39 c (495,0) c Promoted_total : 658 5725.65/1723.39 c (495,0) c Promoted_winner : 55 5725.65/1723.39 c (495,0) c Remove_Imp_0 : 0 5725.65/1723.39 c (495,0) c Remove_Imp_1 : 0 5725.65/1723.39 c (495,0) c Remove_Imp_2 : 283 5725.65/1723.39 c (495,0) c Remove_Imp_3 : 2584 5725.65/1723.39 c (495,0) c Remove_Imp_4 : 2295 5725.65/1723.39 c (495,0) c Remove_Imp_5 : 0 5725.65/1723.39 c (495,0) c Remove_Imp_6 : 0 5725.65/1723.39 c (495,0) c Remove_Imp_7 : 0 5725.65/1723.39 c (495,0) c Remove_Imp_total : 5162 5725.65/1723.39 c (495,0) c Remove_Imp_winner : 2584 5725.65/1723.39 c (495,0) c Blocked_Reuse_0 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_1 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_2 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_3 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_4 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_5 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_6 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_7 : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_total : 0 5725.65/1723.39 c (495,0) c Blocked_Reuse_winner : 0 5725.65/1723.39 c (495,0) c Unaries_0 : 2 5725.65/1723.39 c (495,0) c Unaries_1 : 3 5725.65/1723.39 c (495,0) c Unaries_2 : 1 5725.65/1723.39 c (495,0) c Unaries_3 : 17 5725.65/1723.39 c (495,0) c Unaries_4 : 2 5725.65/1723.39 c (495,0) c Unaries_5 : 0 5725.65/1723.39 c (495,0) c Unaries_6 : 0 5725.65/1723.39 c (495,0) c Unaries_7 : 1 5725.65/1723.39 c (495,0) c Unaries_total : 26 5725.65/1723.39 c (495,0) c Unaries_winner : 17 5725.65/1723.39 c (495,0) c Binaries_0 : 46 5725.65/1723.39 c (495,0) c Binaries_1 : 130 5725.65/1723.39 c (495,0) c Binaries_2 : 29 5725.65/1723.39 c (495,0) c Binaries_3 : 239 5725.65/1723.39 c (495,0) c Binaries_4 : 38 5725.65/1723.39 c (495,0) c Binaries_5 : 65 5725.65/1723.39 c (495,0) c Binaries_6 : 79 5725.65/1723.39 c (495,0) c Binaries_7 : 100 5725.65/1723.39 c (495,0) c Binaries_total : 726 5725.65/1723.39 c (495,0) c Binaries_winner : 239 5725.65/1723.39 c (495,0) c Glues_0 : 290 5725.65/1723.39 c (495,0) c Glues_1 : 444 5725.65/1723.39 c (495,0) c Glues_2 : 261 5725.65/1723.39 c (495,0) c Glues_3 : 637 5725.65/1723.39 c (495,0) c Glues_4 : 238 5725.65/1723.39 c (495,0) c Glues_5 : 361 5725.65/1723.39 c (495,0) c Glues_6 : 349 5725.65/1723.39 c (495,0) c Glues_7 : 569 5725.65/1723.39 c (495,0) c Glues_total : 3149 5725.65/1723.39 c (495,0) c Glues_winner : 637 5725.65/1723.39 c (495,0) c RunningTime_0 : 471.872721 5725.65/1723.39 c (495,0) c RunningTime_1 : 484.227847 5725.65/1723.39 c (495,0) c RunningTime_2 : 453.320405 5725.65/1723.39 c (495,0) c RunningTime_3 : 469.759543 5725.65/1723.39 c (495,0) c RunningTime_4 : 473.185977 5725.65/1723.39 c (495,0) c RunningTime_5 : 465.187383 5725.65/1723.39 c (495,0) c RunningTime_6 : 460.471236 5725.65/1723.39 c (495,0) c RunningTime_7 : 460.768607 5725.65/1723.39 c (495,0) c RunningTime_total : 3738.793720 5725.65/1723.39 c (495,0) c RunningTime_winner : 469.759543 5725.65/1723.39 c (495,0) c WaitingTime_0 : 13.091498 5725.65/1723.39 c (495,0) c WaitingTime_1 : 4.150192 5725.65/1723.39 c (495,0) c WaitingTime_2 : 31.515983 5725.65/1723.39 c (495,0) c WaitingTime_3 : 15.012071 5725.65/1723.39 c (495,0) c WaitingTime_4 : 11.603212 5725.65/1723.39 c (495,0) c WaitingTime_5 : 19.828159 5725.65/1723.39 c (495,0) c WaitingTime_6 : 24.318099 5725.65/1723.39 c (495,0) c WaitingTime_7 : 24.204246 5725.65/1723.39 c (495,0) c WaitingTime_total : 143.723458 5725.65/1723.39 c (495,0) c WaitingTime_winner : 15.012071 5725.65/1723.39 c (495,0) c ExchangingTime_0 : 0.031764 5725.65/1723.39 c (495,0) c ExchangingTime_1 : 0.032539 5725.65/1723.39 c (495,0) c ExchangingTime_2 : 0.032676 5725.65/1723.39 c (495,0) c ExchangingTime_3 : 0.034548 5725.65/1723.39 c (495,0) c ExchangingTime_4 : 0.027970 5725.65/1723.39 c (495,0) c ExchangingTime_5 : 0.026734 5725.65/1723.39 c (495,0) c ExchangingTime_6 : 0.029373 5725.65/1723.39 c (495,0) c ExchangingTime_7 : 0.029674 5725.65/1723.39 c (495,0) c ExchangingTime_total : 0.245278 5725.65/1723.39 c (495,0) c ExchangingTime_winner : 0.034548 5725.65/1723.39 c (495,0) c PeriodProcTime_0 : 0.026306 5725.65/1723.39 c (495,0) c PeriodProcTime_1 : 0.036569 5725.65/1723.39 c (495,0) c PeriodProcTime_2 : 0.025835 5725.65/1723.39 c (495,0) c PeriodProcTime_3 : 0.024776 5725.65/1723.39 c (495,0) c PeriodProcTime_4 : 0.022660 5725.65/1723.39 c (495,0) c PeriodProcTime_5 : 0.023491 5725.65/1723.39 c (495,0) c PeriodProcTime_6 : 0.023526 5725.65/1723.39 c (495,0) c PeriodProcTime_7 : 0.021334 5725.65/1723.39 c (495,0) c PeriodProcTime_total : 0.204498 5725.65/1723.39 c (495,0) c PeriodProcTime_winner : 0.024776 5725.65/1723.39 c (495,0) c SolvingTime_0 : 485.022289 5725.65/1723.39 c (495,0) c SolvingTime_1 : 488.447147 5725.65/1723.39 c (495,0) c SolvingTime_2 : 484.894898 5725.65/1723.39 c (495,0) c SolvingTime_3 : 484.830938 5725.65/1723.39 c (495,0) c SolvingTime_4 : 484.839820 5725.65/1723.39 c (495,0) c SolvingTime_5 : 485.065766 5725.65/1723.39 c (495,0) c SolvingTime_6 : 484.842235 5725.65/1723.39 c (495,0) c SolvingTime_7 : 485.023861 5725.65/1723.39 c (495,0) c SolvingTime_total : 3882.966954 5725.65/1723.39 c (495,0) c SolvingTime_winner : 484.830938 5725.65/1723.39 c (495,0) c PropagationTime_0 : 468.884827 5725.65/1723.39 c (495,0) c PropagationTime_1 : 474.281654 5725.65/1723.39 c (495,0) c PropagationTime_2 : 470.190298 5725.65/1723.39 c (495,0) c PropagationTime_3 : 465.916280 5725.65/1723.39 c (495,0) c PropagationTime_4 : 468.708421 5725.65/1723.39 c (495,0) c PropagationTime_5 : 470.943091 5725.65/1723.39 c (495,0) c PropagationTime_6 : 470.378979 5725.65/1723.39 c (495,0) c PropagationTime_7 : 469.165267 5725.65/1723.39 c (495,0) c PropagationTime_total : 3758.468817 5725.65/1723.39 c (495,0) c PropagationTime_winner : 465.916280 5725.65/1723.39 c (495,0) c AnalysisTime_0 : 3.415508 5725.65/1723.39 c (495,0) c AnalysisTime_1 : 3.224406 5725.65/1723.39 c (495,0) c AnalysisTime_2 : 3.461865 5725.65/1723.39 c (495,0) c AnalysisTime_3 : 3.640693 5725.65/1723.39 c (495,0) c AnalysisTime_4 : 3.420025 5725.65/1723.39 c (495,0) c AnalysisTime_5 : 3.356757 5725.65/1723.39 c (495,0) c AnalysisTime_6 : 3.552115 5725.65/1723.39 c (495,0) c AnalysisTime_7 : 3.415052 5725.65/1723.39 c (495,0) c AnalysisTime_total : 27.486421 5725.65/1723.39 c (495,0) c AnalysisTime_winner : 3.640693 5725.65/1723.39 c (495,0) c ReductionTime_0 : 0.003738 5725.65/1723.39 c (495,0) c ReductionTime_1 : 0.003700 5725.65/1723.39 c (495,0) c ReductionTime_2 : 0.004843 5725.65/1723.39 c (495,0) c ReductionTime_3 : 0.005941 5725.65/1723.39 c (495,0) c ReductionTime_4 : 0.006994 5725.65/1723.39 c (495,0) c ReductionTime_5 : 0.010257 5725.65/1723.39 c (495,0) c ReductionTime_6 : 0.004999 5725.65/1723.39 c (495,0) c ReductionTime_7 : 0.004844 5725.65/1723.39 c (495,0) c ReductionTime_total : 0.045315 5725.65/1723.39 c (495,0) c ReductionTime_winner : 0.005941 5725.65/1723.39 c (495,0) c SimplifyTime_0 : 1.815868 5725.65/1723.39 c (495,0) c SimplifyTime_1 : 0.427189 5725.65/1723.39 c (495,0) c SimplifyTime_2 : 0.789779 5725.65/1723.39 c (495,0) c SimplifyTime_3 : 3.892720 5725.65/1723.39 c (495,0) c SimplifyTime_4 : 1.719641 5725.65/1723.39 c (495,0) c SimplifyTime_5 : 0.000000 5725.65/1723.39 c (495,0) c SimplifyTime_6 : 0.000001 5725.65/1723.39 c (495,0) c SimplifyTime_7 : 1.559304 5725.65/1723.39 c (495,0) c SimplifyTime_total : 10.204502 5725.65/1723.39 c (495,0) c SimplifyTime_winner : 3.892720 5725.65/1723.39 c (495,0) c UsedRateTime_0 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_1 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_2 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_3 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_4 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_5 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_6 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_7 : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_total : 0.000000 5725.65/1723.39 c (495,0) c UsedRateTime_winner : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_0 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_1 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_2 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_3 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_4 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_5 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_6 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_7 : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_total : 0.000000 5725.65/1723.39 c (495,0) c OverlapRateTime_winner : 0.000000 5725.65/1723.39 c (495,0) c 5725.65/1723.39 c (495,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5725.65/1723.39 c (495,0) c 5725.65/1723.39 c (495,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.39 c (495,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5725.65/1723.39 c (495,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.39 c (495,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5725.65/1723.39 c (495,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5725.65/1723.39 c (495,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5725.65/1723.39 c (495,0) c | Initial random_seed | 1701287268 | 418891708 | 337058198 | 783476971 | 981245221 | 407270904 | 1356876173 | 349651994 | 5725.65/1723.39 c (495,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5725.65/1723.39 c (495,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5725.65/1723.39 c (495,0) c | glureduce | True | True | True | True | True | True | True | True | 5725.65/1723.39 c (495,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5725.65/1723.39 c (495,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5725.65/1723.39 c (495,0) c | luby_restart | False | False | False | False | False | False | False | False | 5725.65/1723.39 c (495,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5725.65/1723.39 c (495,0) c | var_decay | 0.8300 | 0.8300 | 0.8200 | 0.8500 | 0.8200 | 0.8200 | 0.8300 | 0.8300 | 5725.65/1723.39 c (495,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5725.65/1723.39 c (495,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5725.65/1723.39 c (495,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5725.65/1723.39 c (495,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5725.65/1723.39 c (495,0) 5725.65/1723.39 c (495,0) s UNSATISFIABLE 2011.61/1723.74 c (496,0) SatSolver.solve End 2011.61/1723.74 c (496,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2011.61/1723.75 c (496,0) Show results Begin 2011.61/1723.75 s UNSATISFIABLE 2011.61/1723.75 c (496,0) Show results End 2011.61/1723.75 c (496,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2011.61/1723.75 c (496,0) 496,496,STOP-AFTER(ALL) 2011.61/1723.75 c END-Prog: Sat Sep 14 01:49:43 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 (14386 MiB free)
memory of node 1: 16384 MiB (15089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392407-1568416899/watcher-4392407-1568416899 -o /tmp/evaluation-result-4392407-1568416899/solver-4392407-1568416899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --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-4392407-1568416899.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25714, runsolver pid=25711
[startup+0.100157 s]*
/proc/loadavg: 3.07 1.58 1.01 2/216 25736
/proc/meminfo: memFree=30085832/32770624 swapFree=66916596/67108860
[pid=25714] ppid=25711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25714/stat : 25714 (scop.sh) S 25711 25714 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417940561 115843072 349 33554432000 4194304 5098028 140734706877760 140734706875016 140310289855100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28004352 140734706885413 140734706885740 140734706885740 140734706888653 0
/proc/25714/statm: 28282 349 296 221 0 87 0
[pid=25717] ppid=25714 vsize=27314120 memory=107368 CPUtime=0.1 cores=0-7
/proc/25717/stat : 25717 (java) S 25714 25714 24366 0 -1 1077944320 6435 0 0 0 7 3 0 0 20 0 20 0 417940562 27969658880 26842 33554432000 4194304 4196468 140730705412896 140730705395440 140673385492215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
/proc/25717/statm: 6828530 26842 2774 1 0 6790935 0
[pid=25717/tid=25718] ppid=25714 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/25717/task/25718/stat : 25718 (java) R 25714 25714 24366 0 -1 4202560 4541 0 0 0 6 2 0 0 20 0 20 0 417940562 27969658880 26842 33554432000 4194304 4196468 140730705412896 140673357314496 140673371690160 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25719] ppid=25714 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/25717/task/25719/stat : 25719 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140673389734416 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25720] ppid=25714 vsize=27314120 memory=139767931246208 CPUtime=0 cores=0-7
/proc/25717/task/25720/stat : 25720 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140673203890832 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25721] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25721/stat : 25721 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140673202837776 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25722] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25722/stat : 25722 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140673201785232 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25723] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25723/stat : 25723 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140673200733200 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25724] ppid=25714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25717/task/25724/stat : 25724 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140673199680656 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25725] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25725/stat : 25725 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140672802388752 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25726] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25726/stat : 25726 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 26842 33554432000 4194304 4196468 140730705412896 140672801336208 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25727] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25727/stat : 25727 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940566 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671437166832 140673385503362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25728] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25728/stat : 25728 (java) S 25714 25714 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417940567 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671319008416 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25729] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25729/stat : 25729 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940567 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671050572528 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25730] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25730/stat : 25730 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 26842 33554432000 4194304 4196468 140730705412896 140670676064208 140673385510811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25731] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25731/stat : 25731 (java) S 25714 25714 24366 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671436114672 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25732] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25732/stat : 25732 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671435062128 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25733] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25733/stat : 25733 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671434009072 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25734] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25734/stat : 25734 (java) R 25714 25714 24366 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671432956528 140673385513562 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25735] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25735/stat : 25735 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 26842 33554432000 4194304 4196468 140730705412896 140670178159072 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25736] ppid=25714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25717/task/25736/stat : 25736 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 26842 33554432000 4194304 4196468 140730705412896 140671431903920 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108764 KiB
[startup+0.21071 s]*
/proc/loadavg: 2.91 1.57 1.01 3/216 25736
/proc/meminfo: memFree=30064644/32770624 swapFree=66916596/67108860
[pid=25714] ppid=25711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25714/stat : 25714 (scop.sh) S 25711 25714 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417940561 115843072 349 33554432000 4194304 5098028 140734706877760 140734706875016 140310289855100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28004352 140734706885413 140734706885740 140734706885740 140734706888653 0
/proc/25714/statm: 28282 349 296 221 0 87 0
[pid=25717] ppid=25714 vsize=27314120 memory=126800 CPUtime=0.24 cores=0-7
/proc/25717/stat : 25717 (java) S 25714 25714 24366 0 -1 1077944320 12083 0 0 0 19 5 0 0 20 0 20 0 417940562 27969658880 31700 33554432000 4194304 4196468 140730705412896 140730705395440 140673385492215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
/proc/25717/statm: 6828530 31700 2947 1 0 6790935 0
[pid=25717/tid=25718] ppid=25714 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/25717/task/25718/stat : 25718 (java) R 25714 25714 24366 0 -1 4202560 9821 0 0 0 15 4 0 0 20 0 20 0 417940562 27969658880 31700 33554432000 4194304 4196468 140730705412896 140673357291600 140673365767350 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25719] ppid=25714 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/25717/task/25719/stat : 25719 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140673389734416 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25720] ppid=25714 vsize=27314120 memory=139767931269345 CPUtime=0 cores=0-7
/proc/25717/task/25720/stat : 25720 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140673203890832 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25721] ppid=25714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25717/task/25721/stat : 25721 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140673202837776 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25722] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25722/stat : 25722 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140673201785232 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25723] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25723/stat : 25723 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140673200733200 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25724] ppid=25714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25717/task/25724/stat : 25724 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140673199680656 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25725] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25725/stat : 25725 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140672802388752 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25726] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25726/stat : 25726 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 31700 33554432000 4194304 4196468 140730705412896 140672801336208 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25727] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25727/stat : 25727 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940566 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671437166832 140673385503362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25728] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25728/stat : 25728 (java) S 25714 25714 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417940567 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671319008416 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25729] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25729/stat : 25729 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940567 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671050572528 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25730] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25730/stat : 25730 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 31700 33554432000 4194304 4196468 140730705412896 140670676064208 140673385510811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25731] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25731/stat : 25731 (java) S 25714 25714 24366 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671436114672 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25732] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25732/stat : 25732 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671435062128 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25733] ppid=25714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25717/task/25733/stat : 25733 (java) S 25714 25714 24366 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671434009072 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25734] ppid=25714 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/25717/task/25734/stat : 25734 (java) S 25714 25714 24366 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 20 0 417940570 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671432956528 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25735] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25735/stat : 25735 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 31700 33554432000 4194304 4196468 140730705412896 140670178159072 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25736] ppid=25714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25717/task/25736/stat : 25736 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 31700 33554432000 4194304 4196468 140730705412896 140671431903920 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128196 KiB
[startup+0.310759 s]*
/proc/loadavg: 2.91 1.57 1.01 2/216 25736
/proc/meminfo: memFree=30062836/32770624 swapFree=66916596/67108860
[pid=25714] ppid=25711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25714/stat : 25714 (scop.sh) S 25711 25714 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417940561 115843072 349 33554432000 4194304 5098028 140734706877760 140734706875016 140310289855100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28004352 140734706885413 140734706885740 140734706885740 140734706888653 0
/proc/25714/statm: 28282 349 296 221 0 87 0
[pid=25717] ppid=25714 vsize=27314120 memory=130408 CPUtime=0.41 cores=0-7
/proc/25717/stat : 25717 (java) S 25714 25714 24366 0 -1 1077944320 12921 0 0 0 36 5 0 0 20 0 20 0 417940562 27969658880 32602 33554432000 4194304 4196468 140730705412896 140730705395440 140673385492215 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
/proc/25717/statm: 6828530 32602 3076 1 0 6790935 0
[pid=25717/tid=25718] ppid=25714 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/25717/task/25718/stat : 25718 (java) R 25714 25714 24366 0 -1 4202560 10495 0 0 0 25 4 0 0 20 0 20 0 417940562 27969658880 32602 33554432000 4194304 4196468 140730705412896 140673357275232 140673365768090 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25719] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25719/stat : 25719 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140673389734416 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25720] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25720/stat : 25720 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140673203890832 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25721] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25721/stat : 25721 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140673202837776 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25722] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25722/stat : 25722 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140673201785232 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25723] ppid=25714 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/25717/task/25723/stat : 25723 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140673200733200 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25724] ppid=25714 vsize=27314120 memory=139767832474543 CPUtime=0 cores=0-7
/proc/25717/task/25724/stat : 25724 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140673199680656 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25725] ppid=25714 vsize=27314120 memory=139767832476848 CPUtime=0 cores=0-7
/proc/25717/task/25725/stat : 25725 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140672802388752 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25726] ppid=25714 vsize=27314120 memory=139767832479152 CPUtime=0 cores=0-7
/proc/25717/task/25726/stat : 25726 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940565 27969658880 32602 33554432000 4194304 4196468 140730705412896 140672801336208 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25727] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25727/stat : 25727 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417940566 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671437166832 140673385503362 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25728] ppid=25714 vsize=27314120 memory=279535664965264 CPUtime=0 cores=0-7
/proc/25717/task/25728/stat : 25728 (java) S 25714 25714 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417940567 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671319008416 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25729] ppid=25714 vsize=27314120 memory=279535664972176 CPUtime=0 cores=0-7
/proc/25717/task/25729/stat : 25729 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940567 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671050572528 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25730] ppid=25714 vsize=27314120 memory=279535664913328 CPUtime=0 cores=0-7
/proc/25717/task/25730/stat : 25730 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 32602 33554432000 4194304 4196468 140730705412896 140670676064208 140673385510811 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25731] ppid=25714 vsize=27314120 memory=279535664986000 CPUtime=0.01 cores=0-7
/proc/25717/task/25731/stat : 25731 (java) S 25714 25714 24366 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 20 0 417940570 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671436114672 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25732] ppid=25714 vsize=27314120 memory=279535664992912 CPUtime=0 cores=0-7
/proc/25717/task/25732/stat : 25732 (java) S 25714 25714 24366 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671435062128 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25733] ppid=25714 vsize=27314120 memory=279535664990608 CPUtime=0.02 cores=0-7
/proc/25717/task/25733/stat : 25733 (java) S 25714 25714 24366 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 417940570 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671434009072 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25734] ppid=25714 vsize=27314120 memory=279535665006768 CPUtime=0.07 cores=0-7
/proc/25717/task/25734/stat : 25734 (java) S 25714 25714 24366 0 -1 1077944384 455 0 0 0 7 0 0 0 20 0 20 0 417940570 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671432956528 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25735] ppid=25714 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25735/stat : 25735 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 32602 33554432000 4194304 4196468 140730705412896 140670178159072 140673385502421 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25736] ppid=25714 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/25717/task/25736/stat : 25736 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940570 27969658880 32602 33554432000 4194304 4196468 140730705412896 140671431903920 140673385503362 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131804 KiB
[startup+0.700978 s]
/proc/loadavg: 2.91 1.57 1.01 2/216 25736
/proc/meminfo: memFree=30041628/32770624 swapFree=66916596/67108860
[pid=25714] ppid=25711 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/25714/stat : 25714 (scop.sh) S 25711 25714 24366 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417940561 115843072 349 33554432000 4194304 5098028 140734706877760 140734706875016 140310289855100 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 28004352 140734706885413 140734706885740 140734706885740 140734706888653 0
/proc/25714/statm: 28282 349 296 221 0 87 0
[pid=25717] ppid=25714 vsize=27320392 memory=167332 CPUtime=0.97 cores=0-7
/proc/25717/stat : 25717 (java) S 25714 25714 24366 0 -1 1077944320 19892 0 0 0 90 7 0 0 20 0 20 0 417940562 27976081408 41833 33554432000 4194304 4196468 140730705412896 140730705395440 140673385492215 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
/proc/25717/statm: 6830098 41833 3184 1 0 6791447 0
[pid=25717/tid=25718] ppid=25714 vsize=27320392 memory=279535665364656 CPUtime=0.67 cores=0-7
/proc/25717/task/25718/stat : 25718 (java) R 25714 25714 24366 0 -1 4202560 16915 0 0 0 61 6 0 0 20 0 20 0 417940562 27976081408 41833 33554432000 4194304 4196468 140730705412896 140673357328272 140673385514141 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25719] ppid=25714 vsize=27320392 memory=139767832683376 CPUtime=0 cores=0-7
/proc/25717/task/25719/stat : 25719 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27976081408 41833 33554432000 4194304 4196468 140730705412896 140673389734416 140673385502421 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25720] ppid=25714 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/25717/task/25720/stat : 25720 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417940565 27976081408 41833 33554432000 4194304 4196468 140730705412896 140673203890832 140673385502421 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
[pid=25717/tid=25721] ppid=25714 vsize=27320392 memory=5996 CPUtime=0 cores=0-7
/proc/25717/task/25721/stat : 25721 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417940565 27976081408 41833 33554432000 4194304 4196468 140730705412896 140673202837776 140673385502421 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35254272 140730705421035 140730705421462 140730705421462 140730705424335 0
################
# More data... #
################
[pid=25835/tid=25840] ppid=25714 vsize=8414124 memory=6857872 CPUtime=0 cores=0-7
/proc/25835/task/25840/stat : 25840 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31431 33554432000 4194304 4196468 140726148514784 140495711890576 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25841] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25841/stat : 25841 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31431 33554432000 4194304 4196468 140726148514784 140495710837008 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25842] ppid=25714 vsize=8414124 memory=125724 CPUtime=0 cores=0-7
/proc/25835/task/25842/stat : 25842 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31431 33554432000 4194304 4196468 140726148514784 140495709784464 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25843] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25843/stat : 25843 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31431 33554432000 4194304 4196468 140726148514784 140495708731920 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25844] ppid=25714 vsize=8414124 memory=125724 CPUtime=0 cores=0-7
/proc/25835/task/25844/stat : 25844 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31431 33554432000 4194304 4196468 140726148514784 140495707679376 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25845] ppid=25714 vsize=8414124 memory=6857892 CPUtime=0.01 cores=0-7
/proc/25835/task/25845/stat : 25845 (java) S 25714 25714 24366 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 24 0 418063274 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494986672624 140496228809346 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25846] ppid=25714 vsize=8414124 memory=-8816467416872939922 CPUtime=0 cores=0-7
/proc/25835/task/25846/stat : 25846 (java) S 25714 25714 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418063274 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494889805216 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25847] ppid=25714 vsize=8414124 memory=2528 CPUtime=0 cores=0-7
/proc/25835/task/25847/stat : 25847 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063275 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494621369840 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25848] ppid=25714 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/25835/task/25848/stat : 25848 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063277 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494246861520 140496228816795 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25849] ppid=25714 vsize=8414124 memory=111632 CPUtime=0.05 cores=0-7
/proc/25835/task/25849/stat : 25849 (java) S 25714 25714 24366 0 -1 1077944384 650 0 0 0 5 0 0 0 20 0 24 0 418063279 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494985619440 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25850] ppid=25714 vsize=8414124 memory=1552 CPUtime=0.05 cores=0-7
/proc/25835/task/25850/stat : 25850 (java) S 25714 25714 24366 0 -1 1077944384 273 0 0 0 5 0 0 0 20 0 24 0 418063279 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494984566896 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25851] ppid=25714 vsize=8414124 memory=1052 CPUtime=0.07 cores=0-7
/proc/25835/task/25851/stat : 25851 (java) S 25714 25714 24366 0 -1 1077944384 260 0 0 0 7 0 0 0 20 0 24 0 418063279 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494983514352 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25852] ppid=25714 vsize=8414124 memory=5996 CPUtime=0.21 cores=0-7
/proc/25835/task/25852/stat : 25852 (java) S 25714 25714 24366 0 -1 1077944384 736 0 0 0 21 0 0 0 20 0 24 0 418063279 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494982461808 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25853] ppid=25714 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/25835/task/25853/stat : 25853 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418063279 8616062976 31431 33554432000 4194304 4196468 140726148514784 140493748955872 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25854] ppid=25714 vsize=8414124 memory=776 CPUtime=0.31 cores=0-7
/proc/25835/task/25854/stat : 25854 (java) S 25714 25714 24366 0 -1 1077944384 35 0 0 0 16 15 0 0 20 0 24 0 418063280 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494981409712 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25856] ppid=25714 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/25835/task/25856/stat : 25856 (java) S 25714 25714 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418063345 8616062976 31431 33554432000 4194304 4196468 140726148514784 140494973376192 140496228822809 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25858] ppid=25714 vsize=8414124 memory=20584 CPUtime=0.03 cores=0-7
/proc/25835/task/25858/stat : 25858 (java) S 25714 25714 24366 0 -1 4202560 1686 0 0 0 1 2 0 0 20 0 24 0 418063345 8616062976 31431 33554432000 4194304 4196468 140726148514784 140493077855504 140496228820125 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25859] ppid=25714 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/25835/task/25859/stat : 25859 (java) S 25714 25714 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418063345 8616062976 31431 33554432000 4194304 4196468 140726148514784 140493346291088 140496228820125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25860] ppid=25714 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/25835/task/25860/stat : 25860 (java) S 25714 25714 24366 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418063347 8616062976 31431 33554432000 4194304 4196468 140726148514784 140492809428144 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
Current children cumulated CPU time: 5725.55 s
Current children cumulated vsize: 15780092 KiB
Current children cumulated memory: 6985092 KiB
[startup+1723.6 s]
/proc/loadavg: 7.64 6.62 3.99 2/220 25900
/proc/meminfo: memFree=22929456/32770624 swapFree=66916604/67108860
[pid=25714] ppid=25711 vsize=113128 memory=1476 CPUtime=2009.99 cores=0-7
/proc/25714/stat : 25714 (scop.sh) S 25711 25714 24366 0 -1 4202496 583 564628 0 0 0 0 196609 4390 20 0 1 0 417940561 115843072 369 33554432000 4194304 5098028 140734706877760 140734706874504 140310289855100 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28004352 140734706885413 140734706885740 140734706885740 140734706888653 0
/proc/25714/statm: 28282 369 311 221 0 87 0
[pid=25835] ppid=25714 vsize=8414124 memory=126108 CPUtime=1.62 cores=0-7
/proc/25835/stat : 25835 (java) S 25714 25714 24366 0 -1 1077944320 22663 0 0 0 148 14 0 0 20 0 24 0 418063271 8616062976 31527 33554432000 4194304 4196468 140726148514784 140726148497328 140496228798199 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
/proc/25835/statm: 2103531 31527 3215 1 0 2064875 0
[pid=25835/tid=25836] ppid=25714 vsize=8414124 memory=-8816467416872939922 CPUtime=0.74 cores=0-7
/proc/25835/task/25836/stat : 25836 (java) S 25714 25714 24366 0 -1 1077944384 17434 0 0 0 69 5 0 0 20 0 24 0 418063271 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496200638368 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25837] ppid=25714 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/25835/task/25837/stat : 25837 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496233040656 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25838] ppid=25714 vsize=8414124 memory=1052 CPUtime=0 cores=0-7
/proc/25835/task/25838/stat : 25838 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496033209232 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25839] ppid=25714 vsize=8414124 memory=5996 CPUtime=0 cores=0-7
/proc/25835/task/25839/stat : 25839 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496032156688 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25840] ppid=25714 vsize=8414124 memory=8300 CPUtime=0 cores=0-7
/proc/25835/task/25840/stat : 25840 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495711890576 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25841] ppid=25714 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/25835/task/25841/stat : 25841 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495710837008 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25842] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25842/stat : 25842 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495709784464 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25843] ppid=25714 vsize=8414124 memory=125724 CPUtime=0 cores=0-7
/proc/25835/task/25843/stat : 25843 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495708731920 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25844] ppid=25714 vsize=8414124 memory=6857816 CPUtime=0 cores=0-7
/proc/25835/task/25844/stat : 25844 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495707679376 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25845] ppid=25714 vsize=8414124 memory=620 CPUtime=0.01 cores=0-7
/proc/25835/task/25845/stat : 25845 (java) S 25714 25714 24366 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 24 0 418063274 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494986672624 140496228809346 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25846] ppid=25714 vsize=8414124 memory=4000 CPUtime=0 cores=0-7
/proc/25835/task/25846/stat : 25846 (java) S 25714 25714 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418063274 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494889805216 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25847] ppid=25714 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/25835/task/25847/stat : 25847 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063275 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494621369840 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25848] ppid=25714 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/25835/task/25848/stat : 25848 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063277 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494246861520 140496228816795 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25849] ppid=25714 vsize=8414124 memory=1156 CPUtime=0.06 cores=0-7
/proc/25835/task/25849/stat : 25849 (java) S 25714 25714 24366 0 -1 1077944384 657 0 0 0 6 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494985619440 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25850] ppid=25714 vsize=8414124 memory=944 CPUtime=0.06 cores=0-7
/proc/25835/task/25850/stat : 25850 (java) S 25714 25714 24366 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494984566896 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25851] ppid=25714 vsize=8414124 memory=1552 CPUtime=0.1 cores=0-7
/proc/25835/task/25851/stat : 25851 (java) S 25714 25714 24366 0 -1 1077944384 369 0 0 0 10 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494983514352 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25852] ppid=25714 vsize=8414124 memory=2528 CPUtime=0.22 cores=0-7
/proc/25835/task/25852/stat : 25852 (java) S 25714 25714 24366 0 -1 1077944384 756 0 0 0 22 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494982461808 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25853] ppid=25714 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/25835/task/25853/stat : 25853 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140493748955872 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25854] ppid=25714 vsize=8414124 memory=111632 CPUtime=0.31 cores=0-7
/proc/25835/task/25854/stat : 25854 (java) S 25714 25714 24366 0 -1 1077944384 35 0 0 0 16 15 0 0 20 0 24 0 418063280 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494981409712 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25856] ppid=25714 vsize=8414124 memory=792 CPUtime=0 cores=0-7
/proc/25835/task/25856/stat : 25856 (java) S 25714 25714 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418063345 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494973376192 140496228822809 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25858] ppid=25714 vsize=8414124 memory=1640 CPUtime=0.04 cores=0-7
/proc/25835/task/25858/stat : 25858 (java) S 25714 25714 24366 0 -1 4202560 1743 0 0 0 2 2 0 0 20 0 24 0 418063345 8616062976 31527 33554432000 4194304 4196468 140726148514784 140493077855664 140496228820125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25859] ppid=25714 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/25835/task/25859/stat : 25859 (java) S 25714 25714 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418063345 8616062976 31527 33554432000 4194304 4196468 140726148514784 140493346291088 140496228820125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25860] ppid=25714 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/25835/task/25860/stat : 25860 (java) S 25714 25714 24366 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418063347 8616062976 31527 33554432000 4194304 4196468 140726148514784 140492809428144 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
Current children cumulated CPU time: 2011.61 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 127584 KiB
[startup+1723.7 s]
/proc/loadavg: 7.64 6.62 3.99 2/220 25900
/proc/meminfo: memFree=22929456/32770624 swapFree=66916604/67108860
[pid=25714] ppid=25711 vsize=113128 memory=1476 CPUtime=2009.99 cores=0-7
/proc/25714/stat : 25714 (scop.sh) S 25711 25714 24366 0 -1 4202496 583 564628 0 0 0 0 196609 4390 20 0 1 0 417940561 115843072 369 33554432000 4194304 5098028 140734706877760 140734706874504 140310289855100 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28004352 140734706885413 140734706885740 140734706885740 140734706888653 0
/proc/25714/statm: 28282 369 311 221 0 87 0
[pid=25835] ppid=25714 vsize=8414124 memory=126108 CPUtime=1.62 cores=0-7
/proc/25835/stat : 25835 (java) S 25714 25714 24366 0 -1 1077944320 22663 0 0 0 148 14 0 0 20 0 24 0 418063271 8616062976 31527 33554432000 4194304 4196468 140726148514784 140726148497328 140496228798199 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
/proc/25835/statm: 2103531 31527 3215 1 0 2064875 0
[pid=25835/tid=25836] ppid=25714 vsize=8414124 memory=125724 CPUtime=0.74 cores=0-7
/proc/25835/task/25836/stat : 25836 (java) S 25714 25714 24366 0 -1 1077944384 17434 0 0 0 69 5 0 0 20 0 24 0 418063271 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496200638368 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25837] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25837/stat : 25837 (java) S 25714 25714 24366 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496233040656 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25838] ppid=25714 vsize=8414124 memory=125724 CPUtime=0 cores=0-7
/proc/25835/task/25838/stat : 25838 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496033209232 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25839] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25839/stat : 25839 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140496032156688 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25840] ppid=25714 vsize=8414124 memory=126108 CPUtime=0 cores=0-7
/proc/25835/task/25840/stat : 25840 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495711890576 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25841] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25841/stat : 25841 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495710837008 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25842] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25842/stat : 25842 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495709784464 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25843] ppid=25714 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/25835/task/25843/stat : 25843 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495708731920 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25844] ppid=25714 vsize=8414124 memory=2320118309828376696 CPUtime=0 cores=0-7
/proc/25835/task/25844/stat : 25844 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063273 8616062976 31527 33554432000 4194304 4196468 140726148514784 140495707679376 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25845] ppid=25714 vsize=8414124 memory=3628 CPUtime=0.01 cores=0-7
/proc/25835/task/25845/stat : 25845 (java) S 25714 25714 24366 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 24 0 418063274 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494986672624 140496228809346 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25846] ppid=25714 vsize=8414124 memory=39608 CPUtime=0 cores=0-7
/proc/25835/task/25846/stat : 25846 (java) S 25714 25714 24366 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418063274 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494889805216 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25847] ppid=25714 vsize=8414124 memory=20584 CPUtime=0 cores=0-7
/proc/25835/task/25847/stat : 25847 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063275 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494621369840 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25848] ppid=25714 vsize=8414124 memory=12036 CPUtime=0 cores=0-7
/proc/25835/task/25848/stat : 25848 (java) S 25714 25714 24366 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418063277 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494246861520 140496228816795 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25849] ppid=25714 vsize=8414124 memory=125724 CPUtime=0.06 cores=0-7
/proc/25835/task/25849/stat : 25849 (java) S 25714 25714 24366 0 -1 1077944384 657 0 0 0 6 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494985619440 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25850] ppid=25714 vsize=8414124 memory=1476 CPUtime=0.06 cores=0-7
/proc/25835/task/25850/stat : 25850 (java) S 25714 25714 24366 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494984566896 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25851] ppid=25714 vsize=8414124 memory=6849792 CPUtime=0.1 cores=0-7
/proc/25835/task/25851/stat : 25851 (java) S 25714 25714 24366 0 -1 1077944384 369 0 0 0 10 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494983514352 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25852] ppid=25714 vsize=8414124 memory=1476 CPUtime=0.22 cores=0-7
/proc/25835/task/25852/stat : 25852 (java) S 25714 25714 24366 0 -1 1077944384 756 0 0 0 22 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494982461808 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25853] ppid=25714 vsize=8414124 memory=-8816467416872939922 CPUtime=0 cores=0-7
/proc/25835/task/25853/stat : 25853 (java) S 25714 25714 24366 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418063279 8616062976 31527 33554432000 4194304 4196468 140726148514784 140493748955872 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25854] ppid=25714 vsize=8414124 memory=288230596050944315 CPUtime=0.31 cores=0-7
/proc/25835/task/25854/stat : 25854 (java) S 25714 25714 24366 0 -1 1077944384 35 0 0 0 16 15 0 0 20 0 24 0 418063280 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494981409712 140496228809346 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25856] ppid=25714 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/25835/task/25856/stat : 25856 (java) S 25714 25714 24366 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418063345 8616062976 31527 33554432000 4194304 4196468 140726148514784 140494973376192 140496228822809 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25858] ppid=25714 vsize=8414124 memory=2044 CPUtime=0.04 cores=0-7
/proc/25835/task/25858/stat : 25858 (java) S 25714 25714 24366 0 -1 4202560 1743 0 0 0 2 2 0 0 20 0 24 0 418063345 8616062976 31527 33554432000 4194304 4196468 140726148514784 140493077855664 140496228820125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25859] ppid=25714 vsize=8414124 memory=6857268 CPUtime=0 cores=0-7
/proc/25835/task/25859/stat : 25859 (java) S 25714 25714 24366 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418063345 8616062976 31527 33554432000 4194304 4196468 140726148514784 140493346291088 140496228820125 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
[pid=25835/tid=25860] ppid=25714 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/25835/task/25860/stat : 25860 (java) S 25714 25714 24366 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418063347 8616062976 31527 33554432000 4194304 4196468 140726148514784 140492809428144 140496228808405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726148522999 140726148523158 140726148523158 140726148526031 0
Current children cumulated CPU time: 2011.61 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 127584 KiB
Child status: 0
Real time (s): 1723.8
CPU time (s): 5726.26
CPU user time (s): 5627.13
CPU system time (s): 99.1249
CPU usage (%): 332.188
Max. virtual memory (cumulated for all children) (KiB): 27441856
Max. memory (cumulated for all children) (KiB): 23607844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5627.13
system time used= 99.1249
maximum resident set size= 23607816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21829452
page faults= 0
swaps= 0
block input operations= 8
block output operations= 526144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2665133
involuntary context switches= 61673
# summary of solver processes directly reported to runsolver:
# pid: 25714
# total CPU time (s): 5726.26
# total CPU user time (s): 5627.13
# total CPU system time (s): 99.1249
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3087 second user time and 20.6197 second system time
The end
Begin job on node134 at 2019-09-14 01:20:59 IDJOB=4392407 IDBENCH=121037 IDSOLVER=2838 FILE ID=node134/4392407-1568416899 RUNJOBID= node134-1568416726-24393 PBS_JOBID= 21702257 Free space on /tmp= 59492 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) 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 /tmp/evaluation-result-4392407-1568416899/watcher-4392407-1568416899 -o /tmp/evaluation-result-4392407-1568416899/solver-4392407-1568416899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568416726-24393 --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-4392407-1568416899.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28aba8525a2c57af7de5748c3b9cdf6b RANDOM SEED=289336931 node134.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.76 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.76 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.76 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.76 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: 30183600 kB MemAvailable: 31795860 kB Buffers: 191628 kB Cached: 1687956 kB SwapCached: 90632 kB Active: 574856 kB Inactive: 1394488 kB Active(anon): 23264 kB Inactive(anon): 106568 kB Active(file): 551592 kB Inactive(file): 1287920 kB Unevictable: 110920 kB Mlocked: 110920 kB SwapTotal: 67108860 kB SwapFree: 66916596 kB Dirty: 106692 kB Writeback: 0 kB AnonPages: 111792 kB Mapped: 43732 kB Shmem: 31048 kB Slab: 207008 kB SReclaimable: 177168 kB SUnreclaim: 29840 kB KernelStack: 3440 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497944 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59472 MiB End job on node134 at 2019-09-14 01:49:43