Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | UNSAT | 5771.44 | 1739.27 |
Name | Random/Random-m1-5-12-12t/ rand-5-12-12-200-t85-6.xml |
MD5SUM | 28aba8525a2c57af7de5748c3b9cdf6b |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 14.7938 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 12 |
Number of constraints | 200 |
Number of domains | 1 |
Minimum domain size | 12 |
Maximum domain size | 12 |
Distribution of domain sizes | [{"size":12,"count":12}] |
Minimum variable degree | 72 |
Maximum variable degree | 102 |
Distribution of variable degrees | [{"degree":72,"count":1},{"degree":76,"count":2},{"degree":79,"count":1},{"degree":82,"count":2},{"degree":83,"count":1},{"degree":85,"count":1},{"degree":86,"count":1},{"degree":88,"count":1},{"degree":89,"count":1},{"degree":102,"count":1}] |
Minimum constraint arity | 5 |
Maximum constraint arity | 5 |
Distribution of constraint arities | [{"arity":5,"count":200}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-7935-serial-file.bin HOME/instance-4392707-1568416910.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 01:21:07 CEST 2019 0.65/0.57 c PID: 7938 0.65/0.57 c IP: 172.20.3.102 0.65/0.57 c HOST: node102.alineos.net 0.65/0.58 c (0,0) Parsing Begin 19.08/12.11 c (11,10) Parsing End 19.18/12.11 c (11,10) CSP: 12 int (0 aux), 0 bool (0 aux), 200 ctr, max domain size 12 19.18/12.11 c (11,10) Heap : 1457 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.18/12.11 c (11,10) Constraint Name Generate Begin 19.18/12.12 c (11,10) Ctr:HOME/instance-4392707-1568416910.xml,ExtensionSupport:Var 19.18/12.12 c (11,10) Constraint Name Generate End 19.18/12.12 c (11,10) Heap : 1493 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 19.18/12.12 c (11,10) CSP to CSPinCNF Begin 113.42/81.18 c (80,77) translated 20 (10%) constraints 206.28/153.19 c (152,146) translated 40 (20%) constraints 289.30/224.01 c (223,215) translated 60 (30%) constraints 372.42/294.95 c (294,284) translated 80 (40%) constraints 453.88/365.62 c (365,353) translated 100 (50%) constraints 539.12/436.88 c (436,423) translated 120 (60%) constraints 621.95/508.08 c (507,492) translated 140 (70%) constraints 705.79/578.99 c (578,561) translated 160 (80%) constraints 786.26/649.49 c (648,630) translated 180 (90%) constraints 871.43/720.75 c (720,699) translated 200 (100%) constraints 874.84/724.19 c (723,703) =========================================== 878.16/727.45 c (726,706) Hybrid: #OE=610588, #LE=0 878.16/727.45 c (726,706) Hybrid 878.16/727.45 c (726,706) =========================================== 905.03/750.36 c (749,729) translated 1022624 (10%) constraints 933.36/773.34 c (772,751) translated 2045248 (20%) constraints 962.46/796.51 c (795,773) translated 3067871 (30%) constraints 996.78/820.32 c (819,795) translated 4090495 (40%) constraints 1025.60/843.54 c (842,818) translated 5113118 (50%) constraints 1053.95/866.58 c (866,840) translated 6135742 (60%) constraints 1082.53/889.78 c (889,862) translated 7158366 (70%) constraints 1111.25/913.12 c (912,885) translated 8180989 (80%) constraints 1140.12/936.52 c (935,908) translated 9203613 (90%) constraints 1168.70/959.79 c (959,930) translated 10226236 (100%) constraints 1168.70/959.79 c (959,930) CSP to CSPinCNF End 1169.03/960.01 c (959,930) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1169.03/960.01 c (959,930) Heap : 19077 MiB used (max 21921 MiB), NonHeap : 26 MiB used (max 0 MiB) 1169.03/960.01 c (959,930) CSPinCNF Propagation Begin 1544.42/1057.46 c (1056,987) 0 values, 200 unsatisfiable literals, and 0 valid clauses are removed 1544.42/1057.46 c (1056,987) CSPinCNF Propagation End 1544.63/1057.69 c (1057,987) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1544.63/1057.69 c (1057,987) Heap : 19108 MiB used (max 21992 MiB), NonHeap : 27 MiB used (max 0 MiB) 1547.47/1060.41 c (1059,990) Hybrid: #OE=610588, #LE=0 1547.47/1060.41 c (1059,990) Simplify CSPinCNF Begin 1748.92/1104.21 c (1103,1011) Simplify CSPinCNF End 1749.12/1104.44 c (1103,1011) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1749.12/1104.44 c (1103,1011) Heap : 14523 MiB used (max 21272 MiB), NonHeap : 27 MiB used (max 0 MiB) 1749.12/1104.44 c (1103,1011) Calculate Precise Domain Begin 1749.12/1104.44 c (1103,1011) 0 values are removed by re-calculation 1749.12/1104.44 c (1103,1011) Calculate Precise Domain End 1749.32/1104.67 c (1104,1011) CSP: 12 int (0 aux), 610576 bool (610576 aux), 10226236 ctr, max domain size 12 1749.32/1104.67 c (1104,1011) Heap : 14523 MiB used (max 21272 MiB), NonHeap : 27 MiB used (max 0 MiB) 1749.32/1104.67 c (1104,1011) CSPinCNF to SatSolver Begin 1768.92/1117.15 c (1116,1023) 1022624 (10 %) CSP clauses are encoded (0 SAT variables, 1022743 SAT clauses) 1787.40/1128.62 c (1128,1033) 2045248 (20 %) CSP clauses are encoded (0 SAT variables, 2045367 SAT clauses) 1812.47/1140.97 c (1140,1044) 3067871 (30 %) CSP clauses are encoded (0 SAT variables, 3067990 SAT clauses) 1853.67/1155.24 c (1154,1054) 4090495 (40 %) CSP clauses are encoded (0 SAT variables, 4090614 SAT clauses) 1889.02/1168.92 c (1168,1064) 5113118 (50 %) CSP clauses are encoded (0 SAT variables, 5113237 SAT clauses) 1922.04/1182.28 c (1181,1075) 6135742 (60 %) CSP clauses are encoded (0 SAT variables, 6135861 SAT clauses) 1950.01/1195.02 c (1194,1086) 7158366 (70 %) CSP clauses are encoded (0 SAT variables, 7158485 SAT clauses) 1977.58/1207.69 c (1207,1096) 8180989 (80 %) CSP clauses are encoded (0 SAT variables, 8181108 SAT clauses) 1999.75/1219.65 c (1219,1107) 9203613 (90 %) CSP clauses are encoded (0 SAT variables, 9203732 SAT clauses) 2022.21/1231.77 c (1231,1117) 10226236 (100 %) CSP clauses are encoded (0 SAT variables, 10226355 SAT clauses) 2022.21/1231.77 c (1231,1117) CSPinCNF to SatSolver End 2022.21/1231.77 c (1231,1117) Heap : 19555 MiB used (max 20905 MiB), NonHeap : 29 MiB used (max 0 MiB) 2022.21/1231.77 c (1231,1117) 610708 bool, 10226356 clause 2022.21/1231.77 c (1231,1117) Export Begin 2022.31/1231.86 c (1231,1117) Export to HOME/scop-7935-serial-file.bin 2022.31/1231.86 c (1231,1117) Export End 2022.31/1231.86 c (1231,1117) Export File Size: 0.00 MB 2022.31/1231.86 c (1231,1117) 11,11,959,1057,1103,1104,1231,STOP-AFTER(DIMACS) 2022.31/1231.86 c END-Prog: Sat Sep 14 01:41:38 CEST 2019 0.00/1231.97 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7935-serial-file.bin 2023.10/1232.44 c (0,0) Read Serial File Begin 2023.10/1232.44 c (0,0) HOME/scop-7935-serial-file.bin 2023.39/1232.65 c (0,0) Read Serial File End 2023.39/1232.66 2023.39/1232.66 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 2023.39/1232.66 (Solving Process) 2023.39/1232.66 2023.39/1232.68 c BEGIN-Prog: Sat Sep 14 01:41:39 CEST 2019 2023.39/1232.68 c PID: 8051 2023.39/1232.68 c IP: 172.20.3.102 2023.39/1232.68 c HOST: node102.alineos.net 2023.39/1232.69 c (0,0) SatSolver.solve Begin 2023.39/1232.69 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392707-1568416910.xml-scop-7938.cnf 2023.55/1232.71 c (0,0) c 2023.55/1232.71 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) 2023.55/1232.71 c (0,0) c 2023.55/1232.71 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 2023.55/1232.71 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 2023.55/1232.71 c (0,0) c ========================================[ Problem Statistics ]=========================================== 2023.55/1232.71 c (0,0) c | | 2027.40/1236.48 c (4,0) c | Number of variables: 610708 | 2027.40/1236.48 c (4,0) c | Number of clauses: 10226356 | 2027.40/1236.48 c (4,0) c | Parse time: 3.42 s | 2027.40/1236.48 c (4,0) c | | 2028.50/1237.51 c (5,0) c | Too many clauses... No preprocessing | 2028.50/1237.51 c (5,0) c | Simplification time: 0.96 s | 2028.50/1237.51 c (5,0) c | | 2028.50/1237.52 c (5,0) c | Generating clones | 2030.70/1239.77 c (7,0) c | all clones generated. Memory = 5319.45Mb. | 2030.70/1239.77 c (7,0) c ========================================================================================================| 2030.70/1239.77 c (7,0) c 2030.70/1239.77 c (7,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2030.70/1239.77 c (7,0) c 2030.70/1239.77 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2030.70/1239.77 c (7,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2030.70/1239.77 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2030.70/1239.77 c (7,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2030.70/1239.77 c (7,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 2030.70/1239.77 c (7,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2030.70/1239.77 c (7,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 2030.70/1239.77 c (7,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2030.70/1239.77 c (7,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2030.70/1239.77 c (7,0) c | glureduce | True | True | True | True | True | True | True | True | 2030.70/1239.77 c (7,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2030.70/1239.77 c (7,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2030.70/1239.77 c (7,0) c | luby_restart | False | False | False | False | False | False | False | False | 2030.70/1239.77 c (7,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2030.70/1239.77 c (7,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 2030.70/1239.77 c (7,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2030.70/1239.77 c (7,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2030.70/1239.77 c (7,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2030.70/1239.77 c (7,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2243.63/1269.19 c (36,0) c 2243.63/1269.19 c (36,0) c |------------------------------------------------------------------------------------------------------------------------| 2243.63/1269.19 c (36,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2243.63/1269.19 c (36,0) c |------------------------------------------------------------------------------------------------------------------------| 2243.63/1269.19 c (36,0) c | 0 | 1 | 852 | 426 | 12895 | 426 | 5 | 0 | 0 | 102 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c | 1 | 2 | 813 | 460 | 22886 | 460 | 7 | 17 | 0 | 102 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c | 2 | 1 | 507 | 301 | 30026 | 301 | 6 | 0 | 0 | 107 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c | 3 | 3 | 784 | 449 | 15557 | 449 | 11 | 11 | 0 | 87 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c | 4 | 2 | 466 | 296 | 10923 | 296 | 0 | 24 | 0 | 106 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c | 5 | 2 | 547 | 342 | 17279 | 342 | 6 | 1 | 0 | 98 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c | 6 | 2 | 518 | 267 | 19296 | 267 | 7 | 21 | 0 | 107 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c | 7 | 1 | 679 | 395 | 18610 | 395 | 17 | 0 | 0 | 107 | 20 | 0.000 | 2243.63/1269.19 c (36,0) c 2243.63/1269.19 c (36,0) c synthesis 2936 conflicts 257291734 propagations 15 conflicts/sec 1358289 propagations/sec 2243.63/1269.19 c (36,0) c real: 36.4817 s, cpu: 189.423 s, memory: 6900.48 Mb 2462.55/1299.19 c (66,0) c 2462.55/1299.19 c (66,0) c |------------------------------------------------------------------------------------------------------------------------| 2462.55/1299.19 c (66,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2462.55/1299.19 c (66,0) c |------------------------------------------------------------------------------------------------------------------------| 2462.55/1299.19 c (66,0) c | 0 | 2 | 2122 | 1254 | 24144 | 1254 | 11 | 64 | 0 | 216 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c | 1 | 3 | 2581 | 1796 | 32430 | 1796 | 22 | 34 | 0 | 216 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c | 2 | 3 | 1237 | 776 | 41054 | 776 | 17 | 68 | 0 | 216 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c | 3 | 3 | 1341 | 910 | 26280 | 910 | 21 | 11 | 0 | 196 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c | 4 | 2 | 1532 | 1051 | 26978 | 1051 | 28 | 24 | 0 | 216 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c | 5 | 2 | 1500 | 1012 | 33500 | 1012 | 8 | 1 | 0 | 216 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c | 6 | 3 | 1201 | 776 | 35408 | 776 | 15 | 61 | 0 | 216 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c | 7 | 2 | 3340 | 2115 | 48333 | 1122 | 41 | 34 | 0 | 216 | 20 | 0.000 | 2462.55/1299.19 c (66,0) c 2462.55/1299.19 c (66,0) c synthesis 9690 conflicts 565664732 propagations 24 conflicts/sec 1396518 propagations/sec 2462.55/1299.19 c (66,0) c real: 66.4737 s, cpu: 405.054 s, memory: 6960.86 Mb 2679.95/1328.19 c (95,0) c 2679.95/1328.19 c (95,0) c |------------------------------------------------------------------------------------------------------------------------| 2679.95/1328.19 c (95,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2679.95/1328.19 c (95,0) c |------------------------------------------------------------------------------------------------------------------------| 2679.95/1328.19 c (95,0) c | 0 | 2 | 3214 | 2118 | 29069 | 1123 | 22 | 64 | 0 | 325 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c | 1 | 3 | 3879 | 2878 | 38642 | 1886 | 32 | 34 | 0 | 323 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c | 2 | 4 | 1985 | 1201 | 49293 | 1201 | 26 | 205 | 0 | 325 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c | 3 | 3 | 1805 | 1325 | 34635 | 1325 | 30 | 11 | 0 | 305 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c | 4 | 3 | 2915 | 2050 | 40493 | 1052 | 37 | 201 | 2 | 325 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c | 5 | 2 | 2649 | 1780 | 47556 | 1780 | 20 | 1 | 0 | 325 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c | 6 | 3 | 2060 | 1316 | 46111 | 1316 | 23 | 61 | 0 | 325 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c | 7 | 4 | 4859 | 3293 | 55965 | 2301 | 73 | 154 | 0 | 325 | 20 | 0.000 | 2679.95/1328.19 c (95,0) c 2679.95/1328.19 c (95,0) c synthesis 15961 conflicts 844400775 propagations 26 conflicts/sec 1360863 propagations/sec 2679.95/1328.19 c (95,0) c real: 95.4737 s, cpu: 620.489 s, memory: 6991.93 Mb 2894.41/1357.19 c (124,0) c 2894.41/1357.19 c (124,0) c |------------------------------------------------------------------------------------------------------------------------| 2894.41/1357.19 c (124,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2894.41/1357.19 c (124,0) c |------------------------------------------------------------------------------------------------------------------------| 2894.41/1357.19 c (124,0) c | 0 | 2 | 4155 | 2835 | 35799 | 1840 | 26 | 64 | 0 | 435 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c | 1 | 3 | 5112 | 3915 | 41850 | 2923 | 42 | 34 | 0 | 431 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c | 2 | 4 | 2462 | 1572 | 62505 | 1572 | 33 | 205 | 1 | 435 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c | 3 | 3 | 2271 | 1744 | 40658 | 1744 | 35 | 11 | 0 | 415 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c | 4 | 3 | 4394 | 3155 | 56265 | 2157 | 41 | 201 | 4 | 433 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c | 5 | 3 | 4488 | 3014 | 64667 | 2022 | 30 | 301 | 0 | 434 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c | 6 | 3 | 2983 | 1916 | 56270 | 1916 | 43 | 61 | 0 | 435 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c | 7 | 4 | 6601 | 4684 | 61374 | 3692 | 124 | 154 | 0 | 435 | 20 | 0.000 | 2894.41/1357.19 c (124,0) c 2894.41/1357.19 c (124,0) c synthesis 22835 conflicts 1119470266 propagations 27 conflicts/sec 1343903 propagations/sec 2894.41/1357.19 c (124,0) c real: 124.474 s, cpu: 832.999 s, memory: 7009.38 Mb 3110.81/1386.19 c (153,0) c 3110.81/1386.19 c (153,0) c |------------------------------------------------------------------------------------------------------------------------| 3110.81/1386.19 c (153,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3110.81/1386.19 c (153,0) c |------------------------------------------------------------------------------------------------------------------------| 3110.81/1386.19 c (153,0) c | 0 | 2 | 4927 | 3373 | 54604 | 2378 | 39 | 64 | 0 | 545 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c | 1 | 3 | 6860 | 5307 | 46451 | 4315 | 157 | 34 | 0 | 543 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c | 2 | 5 | 3090 | 1996 | 73230 | 1996 | 47 | 462 | 3 | 544 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c | 3 | 3 | 2873 | 2265 | 47437 | 1270 | 42 | 11 | 0 | 525 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c | 4 | 3 | 6001 | 4321 | 68826 | 3323 | 47 | 201 | 4 | 545 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c | 5 | 3 | 5039 | 3464 | 69199 | 2472 | 38 | 301 | 1 | 545 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c | 6 | 6 | 5274 | 3454 | 83644 | 2458 | 62 | 477 | 0 | 545 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c | 7 | 4 | 8253 | 6061 | 67073 | 5069 | 308 | 154 | 0 | 545 | 20 | 0.000 | 3110.81/1386.19 c (153,0) c 3110.81/1386.19 c (153,0) c synthesis 30241 conflicts 1399587509 propagations 29 conflicts/sec 1335689 propagations/sec 3110.81/1386.19 c (153,0) c real: 153.474 s, cpu: 1047.84 s, memory: 7022.08 Mb 3329.13/1415.19 c (182,0) c 3329.13/1415.19 c (182,0) c |------------------------------------------------------------------------------------------------------------------------| 3329.13/1415.19 c (182,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3329.13/1415.19 c (182,0) c |------------------------------------------------------------------------------------------------------------------------| 3329.13/1415.19 c (182,0) c | 0 | 2 | 5897 | 4030 | 68850 | 3034 | 54 | 64 | 0 | 658 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c | 1 | 3 | 7714 | 6047 | 50114 | 5055 | 394 | 34 | 0 | 654 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c | 2 | 5 | 3879 | 2596 | 80030 | 1596 | 51 | 462 | 3 | 660 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c | 3 | 3 | 3812 | 3039 | 56190 | 2044 | 48 | 11 | 0 | 640 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c | 4 | 4 | 7988 | 5785 | 84858 | 4787 | 308 | 1015 | 5 | 657 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c | 5 | 4 | 5635 | 3977 | 72482 | 2985 | 47 | 709 | 2 | 656 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c | 6 | 8 | 7306 | 4869 | 104944 | 3873 | 85 | 1152 | 1 | 659 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c | 7 | 4 | 9882 | 7384 | 72572 | 3591 | 451 | 154 | 0 | 659 | 20 | 0.000 | 3329.13/1415.19 c (182,0) c 3329.13/1415.19 c (182,0) c synthesis 37727 conflicts 1653748578 propagations 30 conflicts/sec 1307701 propagations/sec 3329.13/1415.19 c (182,0) c real: 182.474 s, cpu: 1264.62 s, memory: 7035.69 Mb 3553.38/1444.19 c (211,0) c 3553.38/1444.19 c (211,0) c |------------------------------------------------------------------------------------------------------------------------| 3553.38/1444.19 c (211,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3553.38/1444.19 c (211,0) c |------------------------------------------------------------------------------------------------------------------------| 3553.38/1444.19 c (211,0) c | 0 | 3 | 6986 | 4768 | 82125 | 3773 | 65 | 1718 | 0 | 773 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c | 1 | 3 | 8361 | 6628 | 53640 | 2838 | 563 | 34 | 0 | 762 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c | 2 | 5 | 5004 | 3376 | 89222 | 2376 | 53 | 462 | 3 | 775 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c | 3 | 5 | 5466 | 4307 | 68866 | 3312 | 87 | 1398 | 1 | 755 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c | 4 | 5 | 9706 | 7065 | 92854 | 3267 | 668 | 1361 | 6 | 773 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c | 5 | 4 | 6180 | 4422 | 77272 | 3430 | 63 | 709 | 2 | 769 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c | 6 | 9 | 9637 | 6663 | 117394 | 2868 | 357 | 2049 | 9 | 774 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c | 7 | 4 | 11486 | 8711 | 77916 | 4918 | 615 | 154 | 0 | 774 | 20 | 0.000 | 3553.38/1444.19 c (211,0) c 3553.38/1444.19 c (211,0) c synthesis 45940 conflicts 1898855775 propagations 31 conflicts/sec 1275967 propagations/sec 3553.38/1444.19 c (211,0) c real: 211.474 s, cpu: 1488.17 s, memory: 7048.25 Mb 3783.74/1473.19 c (240,0) c 3783.74/1473.19 c (240,0) c |------------------------------------------------------------------------------------------------------------------------| 3783.74/1473.19 c (240,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 3783.74/1473.19 c (240,0) c |------------------------------------------------------------------------------------------------------------------------| 3783.74/1473.19 c (240,0) c | 0 | 3 | 9059 | 6147 | 105207 | 5152 | 279 | 1718 | 0 | 882 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c | 1 | 3 | 8959 | 7126 | 57311 | 3336 | 662 | 34 | 0 | 869 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c | 2 | 5 | 6278 | 4278 | 104946 | 3278 | 72 | 462 | 3 | 885 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c | 3 | 5 | 8327 | 6640 | 82427 | 2843 | 371 | 1398 | 1 | 872 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c | 4 | 5 | 10258 | 7557 | 95592 | 3759 | 759 | 1361 | 6 | 883 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c | 5 | 4 | 6811 | 4932 | 81588 | 3940 | 88 | 709 | 2 | 882 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c | 6 | 10 | 10718 | 7560 | 122443 | 3765 | 453 | 2079 | 16 | 889 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c | 7 | 4 | 12799 | 9817 | 84963 | 6024 | 805 | 154 | 0 | 889 | 20 | 0.000 | 3783.74/1473.19 c (240,0) c 3783.74/1473.19 c (240,0) c synthesis 54057 conflicts 2138328452 propagations 31 conflicts/sec 1245405 propagations/sec 3783.74/1473.19 c (240,0) c real: 240.474 s, cpu: 1716.97 s, memory: 7055.75 Mb 4011.26/1503.19 c (270,0) c 4011.26/1503.19 c (270,0) c |------------------------------------------------------------------------------------------------------------------------| 4011.26/1503.19 c (270,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4011.26/1503.19 c (270,0) c |------------------------------------------------------------------------------------------------------------------------| 4011.26/1503.19 c (270,0) c | 0 | 3 | 12304 | 8395 | 123275 | 4598 | 803 | 1718 | 0 | 997 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c | 1 | 3 | 9601 | 7677 | 60832 | 3887 | 796 | 34 | 0 | 977 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c | 2 | 5 | 7838 | 5398 | 120652 | 4398 | 169 | 462 | 3 | 997 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c | 3 | 5 | 10842 | 8668 | 93352 | 4871 | 618 | 1398 | 1 | 991 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c | 4 | 5 | 11079 | 8185 | 99865 | 4387 | 859 | 1361 | 6 | 996 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c | 5 | 4 | 8043 | 5940 | 89330 | 4948 | 236 | 709 | 7 | 997 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c | 6 | 10 | 11828 | 8478 | 127398 | 4683 | 517 | 2079 | 16 | 997 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c | 7 | 4 | 14490 | 11235 | 89563 | 7442 | 966 | 154 | 0 | 997 | 20 | 0.000 | 4011.26/1503.19 c (270,0) c 4011.26/1503.19 c (270,0) c synthesis 63976 conflicts 2383698536 propagations 33 conflicts/sec 1226895 propagations/sec 4011.26/1503.19 c (270,0) c real: 270.474 s, cpu: 1942.87 s, memory: 7061.59 Mb 4237.08/1533.19 c (300,0) c 4237.08/1533.19 c (300,0) c |------------------------------------------------------------------------------------------------------------------------| 4237.08/1533.19 c (300,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4237.08/1533.19 c (300,0) c |------------------------------------------------------------------------------------------------------------------------| 4237.08/1533.19 c (300,0) c | 0 | 3 | 14160 | 9712 | 140093 | 5915 | 1069 | 1718 | 1 | 1108 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c | 1 | 3 | 10302 | 8254 | 63647 | 4464 | 960 | 34 | 0 | 1088 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c | 2 | 7 | 9053 | 6188 | 129904 | 5188 | 315 | 5890 | 8 | 1108 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c | 3 | 5 | 13547 | 10887 | 104451 | 7089 | 918 | 1398 | 1 | 1108 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c | 4 | 5 | 11658 | 8672 | 105014 | 4874 | 977 | 1361 | 6 | 1108 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c | 5 | 4 | 9479 | 7073 | 95030 | 3280 | 419 | 709 | 17 | 1108 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c | 6 | 10 | 13336 | 9710 | 137451 | 5915 | 679 | 2079 | 27 | 1108 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c | 7 | 4 | 16147 | 12626 | 94341 | 8833 | 1164 | 154 | 0 | 1108 | 20 | 0.000 | 4237.08/1533.19 c (300,0) c 4237.08/1533.19 c (300,0) c synthesis 73122 conflicts 2626989754 propagations 34 conflicts/sec 1212105 propagations/sec 4237.08/1533.19 c (300,0) c real: 300.474 s, cpu: 2167.29 s, memory: 7065.61 Mb 4457.82/1563.18 c (330,0) c 4457.82/1563.18 c (330,0) c |------------------------------------------------------------------------------------------------------------------------| 4457.82/1563.18 c (330,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4457.82/1563.18 c (330,0) c |------------------------------------------------------------------------------------------------------------------------| 4458.35/1563.28 c (330,0) c | 0 | 3 | 16335 | 11247 | 158496 | 7450 | 1486 | 1718 | 1 | 1220 | 20 | 0.000 | 4458.35/1563.28 c (330,0) c | 1 | 3 | 11273 | 9054 | 69358 | 5264 | 1175 | 34 | 0 | 1200 | 20 | 0.000 | 4458.35/1563.28 c (330,0) c | 2 | 7 | 10816 | 7275 | 149637 | 3477 | 550 | 5890 | 10 | 1220 | 20 | 0.000 | 4458.35/1563.28 c (330,0) c | 3 | 5 | 15781 | 12698 | 111886 | 3104 | 1166 | 6260 | 1 | 1220 | 20 | 0.003 | 4458.35/1563.28 c (330,0) c | 4 | 5 | 12321 | 9196 | 110604 | 5398 | 1110 | 1361 | 7 | 1220 | 20 | 0.000 | 4458.35/1563.28 c (330,0) c | 5 | 4 | 10669 | 8050 | 102028 | 4257 | 519 | 709 | 17 | 1220 | 20 | 0.000 | 4458.35/1563.28 c (330,0) c | 6 | 10 | 14364 | 10584 | 143068 | 6789 | 775 | 2079 | 29 | 1220 | 20 | 0.000 | 4458.35/1563.28 c (330,0) c | 7 | 4 | 17852 | 14063 | 98711 | 5270 | 1299 | 154 | 0 | 1220 | 20 | 0.000 | 4458.35/1563.28 c (330,0) c 4458.35/1563.28 c (330,0) c synthesis 82167 conflicts 2863593812 propagations 34 conflicts/sec 1199678 propagations/sec 4458.35/1563.28 c (330,0) c real: 330.474 s, cpu: 2386.97 s, memory: 7069.77 Mb 4678.76/1593.19 c (360,0) c 4678.76/1593.19 c (360,0) c |------------------------------------------------------------------------------------------------------------------------| 4678.76/1593.19 c (360,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4678.76/1593.19 c (360,0) c |------------------------------------------------------------------------------------------------------------------------| 4678.76/1593.19 c (360,0) c | 0 | 4 | 18152 | 12411 | 175440 | 6423 | 1792 | 6836 | 13 | 1328 | 20 | 0.016 | 4678.76/1593.19 c (360,0) c | 1 | 3 | 12407 | 9998 | 74495 | 6208 | 1398 | 34 | 0 | 1309 | 20 | 0.000 | 4678.76/1593.19 c (360,0) c | 2 | 7 | 12130 | 8220 | 164182 | 4422 | 795 | 5890 | 14 | 1329 | 20 | 0.000 | 4678.76/1593.19 c (360,0) c | 3 | 5 | 18374 | 14812 | 119948 | 3116 | 1453 | 7345 | 2 | 1329 | 20 | 0.016 | 4678.76/1593.19 c (360,0) c | 4 | 5 | 12894 | 9689 | 113802 | 5891 | 1187 | 1361 | 7 | 1329 | 20 | 0.000 | 4678.76/1593.19 c (360,0) c | 5 | 4 | 11965 | 9117 | 106456 | 5324 | 662 | 709 | 17 | 1329 | 20 | 0.000 | 4678.76/1593.19 c (360,0) c | 6 | 10 | 15747 | 11736 | 148204 | 7941 | 880 | 2079 | 35 | 1329 | 20 | 0.000 | 4678.76/1593.19 c (360,0) c | 7 | 4 | 19329 | 15296 | 102422 | 6503 | 1449 | 154 | 0 | 1329 | 20 | 0.000 | 4678.76/1593.19 c (360,0) c 4678.76/1593.19 c (360,0) c synthesis 91279 conflicts 3090003085 propagations 35 conflicts/sec 1185702 propagations/sec 4678.76/1593.19 c (360,0) c real: 360.476 s, cpu: 2606.05 s, memory: 7072.11 Mb 4903.52/1623.19 c (390,0) c 4903.52/1623.19 c (390,0) c |------------------------------------------------------------------------------------------------------------------------| 4903.52/1623.19 c (390,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 4903.52/1623.19 c (390,0) c |------------------------------------------------------------------------------------------------------------------------| 4903.52/1623.19 c (390,0) c | 0 | 4 | 19181 | 13101 | 183264 | 7113 | 1955 | 6836 | 26 | 1440 | 20 | 0.016 | 4903.52/1623.19 c (390,0) c | 1 | 4 | 13687 | 11046 | 78379 | 6671 | 1651 | 8387 | 3 | 1421 | 20 | 0.016 | 4903.52/1623.19 c (390,0) c | 2 | 7 | 14160 | 9722 | 185819 | 5924 | 1191 | 5890 | 25 | 1441 | 20 | 0.000 | 4903.52/1623.19 c (390,0) c | 3 | 5 | 21085 | 17051 | 129108 | 5354 | 1632 | 8267 | 5 | 1441 | 20 | 0.016 | 4903.52/1623.19 c (390,0) c | 4 | 5 | 14200 | 10689 | 123346 | 6891 | 1337 | 1361 | 7 | 1441 | 20 | 0.000 | 4903.52/1623.19 c (390,0) c | 5 | 4 | 13737 | 10575 | 112817 | 6782 | 845 | 709 | 19 | 1441 | 20 | 0.000 | 4903.52/1623.19 c (390,0) c | 6 | 10 | 17089 | 12821 | 152502 | 9026 | 993 | 2079 | 44 | 1441 | 20 | 0.000 | 4903.52/1623.19 c (390,0) c | 7 | 4 | 20791 | 16487 | 106427 | 7694 | 1594 | 154 | 0 | 1441 | 20 | 0.000 | 4903.52/1623.19 c (390,0) c 4903.52/1623.19 c (390,0) c synthesis 101492 conflicts 3304432309 propagations 36 conflicts/sec 1167703 propagations/sec 4903.52/1623.19 c (390,0) c real: 390.474 s, cpu: 2829.86 s, memory: 7076.26 Mb 5123.96/1653.19 c (420,0) c 5123.96/1653.19 c (420,0) c |------------------------------------------------------------------------------------------------------------------------| 5123.96/1653.19 c (420,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5123.96/1653.19 c (420,0) c |------------------------------------------------------------------------------------------------------------------------| 5123.96/1653.19 c (420,0) c | 0 | 4 | 20295 | 14004 | 192010 | 4115 | 2113 | 6836 | 40 | 1552 | 20 | 0.016 | 5123.96/1653.19 c (420,0) c | 1 | 4 | 16207 | 13152 | 87825 | 8777 | 2024 | 8387 | 36 | 1532 | 20 | 0.016 | 5123.96/1653.19 c (420,0) c | 2 | 7 | 15008 | 10344 | 189342 | 6546 | 1380 | 5890 | 27 | 1548 | 20 | 0.000 | 5123.96/1653.19 c (420,0) c | 3 | 6 | 24038 | 19513 | 137995 | 6048 | 1839 | 10471 | 8 | 1547 | 20 | 0.034 | 5123.96/1653.19 c (420,0) c | 4 | 5 | 15228 | 11395 | 139364 | 3696 | 1518 | 9875 | 17 | 1552 | 20 | 0.034 | 5123.96/1653.19 c (420,0) c | 5 | 4 | 15438 | 11964 | 118823 | 8171 | 1023 | 709 | 23 | 1552 | 20 | 0.000 | 5123.96/1653.19 c (420,0) c | 6 | 10 | 19121 | 14420 | 159599 | 5628 | 1143 | 2079 | 63 | 1552 | 20 | 0.000 | 5123.96/1653.19 c (420,0) c | 7 | 4 | 22232 | 17701 | 110552 | 4344 | 1727 | 10551 | 4 | 1552 | 20 | 0.040 | 5123.96/1653.19 c (420,0) c 5123.96/1653.19 c (420,0) c synthesis 112493 conflicts 3522990811 propagations 37 conflicts/sec 1155529 propagations/sec 5123.96/1653.19 c (420,0) c real: 420.474 s, cpu: 3048.81 s, memory: 7078.60 Mb 5360.31/1683.19 c (450,0) c 5360.31/1683.19 c (450,0) c |------------------------------------------------------------------------------------------------------------------------| 5360.31/1683.19 c (450,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5360.31/1683.19 c (450,0) c |------------------------------------------------------------------------------------------------------------------------| 5360.31/1683.19 c (450,0) c | 0 | 4 | 20989 | 14543 | 197070 | 4654 | 2214 | 6836 | 42 | 1657 | 20 | 0.016 | 5360.31/1683.19 c (450,0) c | 1 | 4 | 18836 | 15318 | 97588 | 6231 | 2340 | 8387 | 83 | 1641 | 20 | 0.016 | 5360.31/1683.19 c (450,0) c | 2 | 7 | 15928 | 11026 | 195324 | 7228 | 1513 | 5890 | 30 | 1654 | 20 | 0.000 | 5360.31/1683.19 c (450,0) c | 3 | 6 | 27448 | 22330 | 146535 | 8862 | 2140 | 11700 | 17 | 1661 | 20 | 0.043 | 5360.31/1683.19 c (450,0) c | 4 | 5 | 16039 | 12052 | 149612 | 4352 | 1663 | 9875 | 25 | 1660 | 20 | 0.034 | 5360.31/1683.19 c (450,0) c | 5 | 4 | 17007 | 13243 | 125885 | 9450 | 1183 | 709 | 28 | 1654 | 20 | 0.000 | 5360.31/1683.19 c (450,0) c | 6 | 10 | 20563 | 15620 | 164243 | 6827 | 1266 | 2079 | 64 | 1643 | 20 | 0.000 | 5360.31/1683.19 c (450,0) c | 7 | 4 | 23216 | 18506 | 116545 | 5149 | 1819 | 10551 | 32 | 1651 | 20 | 0.040 | 5360.31/1683.19 c (450,0) c 5360.31/1683.19 c (450,0) c synthesis 122638 conflicts 3738848523 propagations 37 conflicts/sec 1138588 propagations/sec 5360.31/1683.19 c (450,0) c real: 450.474 s, cpu: 3283.76 s, memory: 7080.02 Mb 5580.70/1713.19 c (480,0) c 5580.70/1713.19 c (480,0) c |------------------------------------------------------------------------------------------------------------------------| 5580.70/1713.19 c (480,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 5580.70/1713.19 c (480,0) c |------------------------------------------------------------------------------------------------------------------------| 5580.70/1713.19 c (480,0) c | 0 | 4 | 21546 | 14985 | 200556 | 5096 | 2263 | 6836 | 44 | 1754 | 20 | 0.016 | 5580.70/1713.19 c (480,0) c | 1 | 4 | 21298 | 17409 | 106106 | 3320 | 2551 | 12406 | 119 | 1754 | 20 | 0.044 | 5580.70/1713.19 c (480,0) c | 2 | 7 | 17007 | 11857 | 201457 | 8059 | 1685 | 5890 | 41 | 1754 | 20 | 0.000 | 5580.70/1713.19 c (480,0) c | 3 | 7 | 29636 | 24158 | 152985 | 4602 | 2289 | 12685 | 33 | 1754 | 20 | 0.043 | 5580.70/1713.19 c (480,0) c | 4 | 5 | 17209 | 12940 | 159781 | 5241 | 1804 | 9875 | 86 | 1754 | 20 | 0.034 | 5580.70/1713.19 c (480,0) c | 5 | 4 | 18264 | 14281 | 132098 | 5488 | 1332 | 709 | 30 | 1750 | 20 | 0.000 | 5580.70/1713.19 c (480,0) c | 6 | 10 | 21798 | 16638 | 168290 | 7846 | 1360 | 2079 | 64 | 1734 | 20 | 0.000 | 5580.70/1713.19 c (480,0) c | 7 | 4 | 24127 | 19235 | 121899 | 5878 | 1909 | 10551 | 55 | 1746 | 20 | 0.040 | 5580.70/1713.19 c (480,0) c 5580.70/1713.19 c (480,0) c synthesis 131503 conflicts 3940530040 propagations 38 conflicts/sec 1125050 propagations/sec 5580.70/1713.19 c (480,0) c real: 480.474 s, cpu: 3502.54 s, memory: 7081.45 Mb 5770.86/1738.80 c (506,0) c 5770.86/1738.80 c (506,0) c real time : 506.087 s 5770.86/1738.80 c (506,0) c cpu time : 3691.19 s 5770.86/1738.80 c (506,0) c 5770.86/1738.80 c (506,0) c 5770.86/1738.80 c (506,0) c 5770.86/1738.80 c (506,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 5770.86/1738.80 c (506,0) c 5770.86/1738.80 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.80 c (506,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5770.86/1738.80 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.80 c (506,0) c | Conflicts | 141628 | 15669 | 19035 | 13916 | 26097 | 14255 | 15010 | 17860 | 19786 | 5770.86/1738.80 c (506,0) c | Decisions | 183328 | 22414 | 23239 | 19610 | 31933 | 18784 | 19156 | 23331 | 24861 | 5770.86/1738.80 c (506,0) c | Propagations | 4110451261 | 563228378 | 481719719 | 581422975 | 471198588 | 573480387 | 502297769 | 495965621 | 441137824 | 5770.86/1738.80 c (506,0) c | ReduceDBs | 25 | 3 | 3 | 3 | 4 | 3 | 3 | 3 | 3 | 5770.86/1738.80 c (506,0) c | SimpDBs | 18 | 3 | 3 | 2 | 4 | 2 | 1 | 1 | 2 | 5770.86/1738.80 c (506,0) c | Restarts | 45 | 4 | 4 | 7 | 7 | 5 | 4 | 10 | 4 | 5770.86/1738.80 c (506,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5770.86/1738.80 c (506,0) c | PropBinClauses| 2784503259 | 351578978 | 361307835 | 300000402 | 393795499 | 368521800 | 356670519 | 338637821 | 313990405 | 5770.86/1738.80 c (506,0) c | PropPreBlocker| 44455565050 | 5704754130 | 5298529819 | 5989015792 | 5244055734 | 5645003041 | 5514863420 | 5597677741 | 5461665373 | 5770.86/1738.80 c (506,0) c | PropNotBlocker| 26071250453 | 3039257851 | 3547358454 | 2730272736 | 3567649948 | 3007793409 | 3333459368 | 3265405999 | 3580052688 | 5770.86/1738.80 c (506,0) c | LitFullScans | 89008398848 |11121763731 |11123027145 |11125272157 |11096036761 |11154808545 |11166829846 |11108392925 |11112267738 | 5770.86/1738.80 c (506,0) c | LitScanFracts | 570738570 | 81624574 | 65020391 | 85263979 | 55909232 | 72644988 | 78594764 | 68156367 | 63524275 | 5770.86/1738.80 c (506,0) c | DecisionLevel0| 71 | 6 | 7 | 8 | 24 | 7 | 4 | 10 | 5 | 5770.86/1738.80 c (506,0) c | Periods | 14739 | 1840 | 1843 | 1840 | 1840 | 1847 | 1848 | 1840 | 1841 | 5770.86/1738.80 c (506,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 5770.86/1738.80 c (506,0) c | Avg_Trail | | 137423 | 64472 | 153160 | 47567 | 141260 | 103449 | 106711 | 67736 | 5770.86/1738.80 c (506,0) c | Avg_DL | | 11 | 10 | 11 | 10 | 11 | 11 | 12 | 10 | 5770.86/1738.80 c (506,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5770.86/1738.80 c (506,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5770.86/1738.80 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.80 c (506,0) c | Exported | 16614 | 2337 | 2758 | 2100 | 2555 | 1961 | 1420 | 1497 | 1986 | 5770.86/1738.80 c (506,0) c | Imported | 77079 | 13039 | 13488 | 13594 | 13744 | 9875 | 709 | 2079 | 10551 | 5770.86/1738.80 c (506,0) c | Good | 3075 | 572 | 556 | 595 | 470 | 364 | 78 | 99 | 341 | 5770.86/1738.80 c (506,0) c | Purge | 74004 | 12467 | 12932 | 12999 | 13274 | 9511 | 631 | 1980 | 10210 | 5770.86/1738.80 c (506,0) c | Promoted | 663 | 89 | 162 | 54 | 55 | 144 | 30 | 65 | 64 | 5770.86/1738.80 c (506,0) c | Remove_Imp | 5162 | 0 | 0 | 283 | 2584 | 2295 | 0 | 0 | 0 | 5770.86/1738.80 c (506,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 5770.86/1738.80 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.80 c (506,0) c | Unaries | | 2 | 3 | 1 | 17 | 2 | 0 | 0 | 1 | 5770.86/1738.80 c (506,0) c | Binaries | | 46 | 131 | 29 | 239 | 38 | 65 | 79 | 100 | 5770.86/1738.80 c (506,0) c | Glues | | 290 | 449 | 261 | 637 | 240 | 363 | 349 | 569 | 5770.86/1738.80 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.80 c (506,0) c | Orig_Seen | 1 % | 205312 | 113077 | 213553 | 159777 | 168778 | 138648 | 172241 | 127005 | 5770.86/1738.80 c (506,0) c | Diff Orig seen| | 45535 | - 46700 | 53776 | X | 9001 | - 21129 | 12464 | - 32772 | 5770.86/1738.80 c (506,0) c | Hamming | 22 % | 151539 | 136027 | 105931 | X | 161089 | 133331 | 148409 | 145027 | 5770.86/1738.80 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.80 c (506,0) c | RunningTime | | 470.9 95%| 494.1 99%| 459.7 92%| 479.3 96%| 467.1 94%| 468.8 94%| 466.4 93%| 464.2 93%| 5770.86/1738.80 c (506,0) c | WaitingTime | | 26.3 5%| 2.9 1%| 38.5 8%| 17.7 4%| 30.1 6%| 28.2 6%| 32.5 7%| 32.8 7%| 5770.86/1738.80 c (506,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5770.86/1738.80 c (506,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5770.86/1738.80 c (506,0) c | SolvingTime | | 497.2 | 497.1 | 498.3 | 497.1 | 497.2 | 497.1 | 499.0 | 497.1 | 5770.86/1738.80 c (506,0) c | PropagationTim| | 480.2 97%| 481.1 97%| 483.0 97%| 477.0 96%| 481.4 97%| 482.8 97%| 484.3 97%| 481.2 97%| 5770.86/1738.80 c (506,0) c | AnalysisTime | | 3.5 1%| 3.3 1%| 3.4 1%| 3.5 1%| 3.4 1%| 3.3 1%| 3.7 1%| 3.4 1%| 5770.86/1738.80 c (506,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5770.86/1738.80 c (506,0) c | SimplifyTime | | 2.6 1%| 1.7 0%| 1.3 0%| 4.9 1%| 1.6 0%| 0.0 0%| 0.0 0%| 1.6 0%| 5770.86/1738.80 c (506,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5770.86/1738.80 c (506,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 5770.86/1738.80 c (506,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.80 c (506,0) c 5770.86/1738.80 c (506,0) c 5770.86/1738.80 c (506,0) c Threads : 8 5770.86/1738.80 c (506,0) c Winner : 3 5770.86/1738.80 c (506,0) c Conflicts_0 : 15669 5770.86/1738.80 c (506,0) c Conflicts_1 : 19035 5770.86/1738.80 c (506,0) c Conflicts_2 : 13916 5770.86/1738.80 c (506,0) c Conflicts_3 : 26097 5770.86/1738.80 c (506,0) c Conflicts_4 : 14255 5770.86/1738.80 c (506,0) c Conflicts_5 : 15010 5770.86/1738.80 c (506,0) c Conflicts_6 : 17860 5770.86/1738.80 c (506,0) c Conflicts_7 : 19786 5770.86/1738.80 c (506,0) c Conflicts_total : 141628 5770.86/1738.80 c (506,0) c Conflicts_winner : 26097 5770.86/1738.80 c (506,0) c Decisions_0 : 22414 5770.86/1738.80 c (506,0) c Decisions_1 : 23239 5770.86/1738.80 c (506,0) c Decisions_2 : 19610 5770.86/1738.80 c (506,0) c Decisions_3 : 31933 5770.86/1738.80 c (506,0) c Decisions_4 : 18784 5770.86/1738.80 c (506,0) c Decisions_5 : 19156 5770.86/1738.80 c (506,0) c Decisions_6 : 23331 5770.86/1738.80 c (506,0) c Decisions_7 : 24861 5770.86/1738.80 c (506,0) c Decisions_total : 183328 5770.86/1738.80 c (506,0) c Decisions_winner : 31933 5770.86/1738.80 c (506,0) c Propagations_0 : 563228378 5770.86/1738.80 c (506,0) c Propagations_1 : 481719719 5770.86/1738.80 c (506,0) c Propagations_2 : 581422975 5770.86/1738.80 c (506,0) c Propagations_3 : 471198588 5770.86/1738.80 c (506,0) c Propagations_4 : 573480387 5770.86/1738.80 c (506,0) c Propagations_5 : 502297769 5770.86/1738.80 c (506,0) c Propagations_6 : 495965621 5770.86/1738.80 c (506,0) c Propagations_7 : 441137824 5770.86/1738.80 c (506,0) c Propagations_total : 4110451261 5770.86/1738.80 c (506,0) c Propagations_winner : 471198588 5770.86/1738.80 c (506,0) c ReduceDBs_0 : 3 5770.86/1738.80 c (506,0) c ReduceDBs_1 : 3 5770.86/1738.80 c (506,0) c ReduceDBs_2 : 3 5770.86/1738.80 c (506,0) c ReduceDBs_3 : 4 5770.86/1738.80 c (506,0) c ReduceDBs_4 : 3 5770.86/1738.80 c (506,0) c ReduceDBs_5 : 3 5770.86/1738.80 c (506,0) c ReduceDBs_6 : 3 5770.86/1738.80 c (506,0) c ReduceDBs_7 : 3 5770.86/1738.80 c (506,0) c ReduceDBs_total : 25 5770.86/1738.80 c (506,0) c ReduceDBs_winner : 4 5770.86/1738.80 c (506,0) c SimpDBs_0 : 3 5770.86/1738.80 c (506,0) c SimpDBs_1 : 3 5770.86/1738.80 c (506,0) c SimpDBs_2 : 2 5770.86/1738.80 c (506,0) c SimpDBs_3 : 4 5770.86/1738.80 c (506,0) c SimpDBs_4 : 2 5770.86/1738.80 c (506,0) c SimpDBs_5 : 1 5770.86/1738.80 c (506,0) c SimpDBs_6 : 1 5770.86/1738.80 c (506,0) c SimpDBs_7 : 2 5770.86/1738.80 c (506,0) c SimpDBs_total : 18 5770.86/1738.80 c (506,0) c SimpDBs_winner : 4 5770.86/1738.80 c (506,0) c Restarts_0 : 4 5770.86/1738.80 c (506,0) c Restarts_1 : 4 5770.86/1738.80 c (506,0) c Restarts_2 : 7 5770.86/1738.80 c (506,0) c Restarts_3 : 7 5770.86/1738.80 c (506,0) c Restarts_4 : 5 5770.86/1738.80 c (506,0) c Restarts_5 : 4 5770.86/1738.80 c (506,0) c Restarts_6 : 10 5770.86/1738.80 c (506,0) c Restarts_7 : 4 5770.86/1738.80 c (506,0) c Restarts_total : 45 5770.86/1738.80 c (506,0) c Restarts_winner : 7 5770.86/1738.80 c (506,0) c ForcedImports_0 : 0 5770.86/1738.80 c (506,0) c ForcedImports_1 : 0 5770.86/1738.80 c (506,0) c ForcedImports_2 : 0 5770.86/1738.80 c (506,0) c ForcedImports_3 : 0 5770.86/1738.80 c (506,0) c ForcedImports_4 : 0 5770.86/1738.80 c (506,0) c ForcedImports_5 : 0 5770.86/1738.80 c (506,0) c ForcedImports_6 : 0 5770.86/1738.80 c (506,0) c ForcedImports_7 : 0 5770.86/1738.80 c (506,0) c ForcedImports_total : 0 5770.86/1738.80 c (506,0) c ForcedImports_winner : 0 5770.86/1738.80 c (506,0) c PropsBinClauses_0 : 351578978 5770.86/1738.80 c (506,0) c PropsBinClauses_1 : 361307835 5770.86/1738.80 c (506,0) c PropsBinClauses_2 : 300000402 5770.86/1738.80 c (506,0) c PropsBinClauses_3 : 393795499 5770.86/1738.80 c (506,0) c PropsBinClauses_4 : 368521800 5770.86/1738.80 c (506,0) c PropsBinClauses_5 : 356670519 5770.86/1738.80 c (506,0) c PropsBinClauses_6 : 338637821 5770.86/1738.80 c (506,0) c PropsBinClauses_7 : 313990405 5770.86/1738.80 c (506,0) c PropsBinClauses_total : 2784503259 5770.86/1738.80 c (506,0) c PropsBinClauses_winner : 393795499 5770.86/1738.80 c (506,0) c PropsPreBlocker_0 : 5704754130 5770.86/1738.80 c (506,0) c PropsPreBlocker_1 : 5298529819 5770.86/1738.80 c (506,0) c PropsPreBlocker_2 : 5989015792 5770.86/1738.80 c (506,0) c PropsPreBlocker_3 : 5244055734 5770.86/1738.80 c (506,0) c PropsPreBlocker_4 : 5645003041 5770.86/1738.80 c (506,0) c PropsPreBlocker_5 : 5514863420 5770.86/1738.80 c (506,0) c PropsPreBlocker_6 : 5597677741 5770.86/1738.80 c (506,0) c PropsPreBlocker_7 : 5461665373 5770.86/1738.80 c (506,0) c PropsPreBlocker_total : 44455565050 5770.86/1738.80 c (506,0) c PropsPreBlocker_winner : 5244055734 5770.86/1738.80 c (506,0) c PropsNotBlocker_0 : 3039257851 5770.86/1738.80 c (506,0) c PropsNotBlocker_1 : 3547358454 5770.86/1738.80 c (506,0) c PropsNotBlocker_2 : 2730272736 5770.86/1738.80 c (506,0) c PropsNotBlocker_3 : 3567649948 5770.86/1738.80 c (506,0) c PropsNotBlocker_4 : 3007793409 5770.86/1738.80 c (506,0) c PropsNotBlocker_5 : 3333459368 5770.86/1738.80 c (506,0) c PropsNotBlocker_6 : 3265405999 5770.86/1738.80 c (506,0) c PropsNotBlocker_7 : 3580052688 5770.86/1738.80 c (506,0) c PropsNotBlocker_total : 26071250453 5770.86/1738.80 c (506,0) c PropsNotBlocker_winner : 3567649948 5770.86/1738.80 c (506,0) c PropsLitFullScans_0 : 11121763731 5770.86/1738.80 c (506,0) c PropsLitFullScans_1 : 11123027145 5770.86/1738.80 c (506,0) c PropsLitFullScans_2 : 11125272157 5770.86/1738.80 c (506,0) c PropsLitFullScans_3 : 11096036761 5770.86/1738.80 c (506,0) c PropsLitFullScans_4 : 11154808545 5770.86/1738.80 c (506,0) c PropsLitFullScans_5 : 11166829846 5770.86/1738.80 c (506,0) c PropsLitFullScans_6 : 11108392925 5770.86/1738.80 c (506,0) c PropsLitFullScans_7 : 11112267738 5770.86/1738.80 c (506,0) c PropsLitFullScans_total : 89008398848 5770.86/1738.80 c (506,0) c PropsLitFullScans_winner : 11096036761 5770.86/1738.80 c (506,0) c LitScanFractions_0 : 81624574 5770.86/1738.80 c (506,0) c LitScanFractions_1 : 65020391 5770.86/1738.80 c (506,0) c LitScanFractions_2 : 85263979 5770.86/1738.80 c (506,0) c LitScanFractions_3 : 55909232 5770.86/1738.80 c (506,0) c LitScanFractions_4 : 72644988 5770.86/1738.80 c (506,0) c LitScanFractions_5 : 78594764 5770.86/1738.80 c (506,0) c LitScanFractions_6 : 68156367 5770.86/1738.80 c (506,0) c LitScanFractions_7 : 63524275 5770.86/1738.80 c (506,0) c LitScanFractions_total : 570738570 5770.86/1738.80 c (506,0) c LitScanFractions_winner : 55909232 5770.86/1738.80 c (506,0) c DecisionLevel0_0 : 6 5770.86/1738.80 c (506,0) c DecisionLevel0_1 : 7 5770.86/1738.80 c (506,0) c DecisionLevel0_2 : 8 5770.86/1738.80 c (506,0) c DecisionLevel0_3 : 24 5770.86/1738.80 c (506,0) c DecisionLevel0_4 : 7 5770.86/1738.80 c (506,0) c DecisionLevel0_5 : 4 5770.86/1738.80 c (506,0) c DecisionLevel0_6 : 10 5770.86/1738.80 c (506,0) c DecisionLevel0_7 : 5 5770.86/1738.80 c (506,0) c DecisionLevel0_total : 71 5770.86/1738.80 c (506,0) c DecisionLevel0_winner : 24 5770.86/1738.80 c (506,0) c Periods_0 : 1840 5770.86/1738.80 c (506,0) c Periods_1 : 1843 5770.86/1738.80 c (506,0) c Periods_2 : 1840 5770.86/1738.80 c (506,0) c Periods_3 : 1840 5770.86/1738.80 c (506,0) c Periods_4 : 1847 5770.86/1738.80 c (506,0) c Periods_5 : 1848 5770.86/1738.80 c (506,0) c Periods_6 : 1840 5770.86/1738.80 c (506,0) c Periods_7 : 1841 5770.86/1738.80 c (506,0) c Periods_total : 14739 5770.86/1738.80 c (506,0) c Periods_winner : 1840 5770.86/1738.80 c (506,0) c Margin_0 : 20 5770.86/1738.80 c (506,0) c Margin_1 : 20 5770.86/1738.80 c (506,0) c Margin_2 : 20 5770.86/1738.80 c (506,0) c Margin_3 : 20 5770.86/1738.80 c (506,0) c Margin_4 : 20 5770.86/1738.80 c (506,0) c Margin_5 : 20 5770.86/1738.80 c (506,0) c Margin_6 : 20 5770.86/1738.80 c (506,0) c Margin_7 : 20 5770.86/1738.80 c (506,0) c Margin_total : 160 5770.86/1738.80 c (506,0) c Margin_winner : 20 5770.86/1738.80 c (506,0) c Exported_0 : 2337 5770.86/1738.80 c (506,0) c Exported_1 : 2758 5770.86/1738.80 c (506,0) c Exported_2 : 2100 5770.86/1738.80 c (506,0) c Exported_3 : 2555 5770.86/1738.80 c (506,0) c Exported_4 : 1961 5770.86/1738.80 c (506,0) c Exported_5 : 1420 5770.86/1738.80 c (506,0) c Exported_6 : 1497 5770.86/1738.80 c (506,0) c Exported_7 : 1986 5770.86/1738.80 c (506,0) c Exported_total : 16614 5770.86/1738.80 c (506,0) c Exported_winner : 2555 5770.86/1738.80 c (506,0) c Imported_0 : 13039 5770.86/1738.80 c (506,0) c Imported_1 : 13488 5770.86/1738.80 c (506,0) c Imported_2 : 13594 5770.86/1738.81 c (506,0) c Imported_3 : 13744 5770.86/1738.81 c (506,0) c Imported_4 : 9875 5770.86/1738.81 c (506,0) c Imported_5 : 709 5770.86/1738.81 c (506,0) c Imported_6 : 2079 5770.86/1738.81 c (506,0) c Imported_7 : 10551 5770.86/1738.81 c (506,0) c Imported_total : 77079 5770.86/1738.81 c (506,0) c Imported_winner : 13744 5770.86/1738.81 c (506,0) c Good_0 : 572 5770.86/1738.81 c (506,0) c Good_1 : 556 5770.86/1738.81 c (506,0) c Good_2 : 595 5770.86/1738.81 c (506,0) c Good_3 : 470 5770.86/1738.81 c (506,0) c Good_4 : 364 5770.86/1738.81 c (506,0) c Good_5 : 78 5770.86/1738.81 c (506,0) c Good_6 : 99 5770.86/1738.81 c (506,0) c Good_7 : 341 5770.86/1738.81 c (506,0) c Good_total : 3075 5770.86/1738.81 c (506,0) c Good_winner : 470 5770.86/1738.81 c (506,0) c Purge_0 : 12467 5770.86/1738.81 c (506,0) c Purge_1 : 12932 5770.86/1738.81 c (506,0) c Purge_2 : 12999 5770.86/1738.81 c (506,0) c Purge_3 : 13274 5770.86/1738.81 c (506,0) c Purge_4 : 9511 5770.86/1738.81 c (506,0) c Purge_5 : 631 5770.86/1738.81 c (506,0) c Purge_6 : 1980 5770.86/1738.81 c (506,0) c Purge_7 : 10210 5770.86/1738.81 c (506,0) c Purge_total : 74004 5770.86/1738.81 c (506,0) c Purge_winner : 13274 5770.86/1738.81 c (506,0) c Promoted_0 : 89 5770.86/1738.81 c (506,0) c Promoted_1 : 162 5770.86/1738.81 c (506,0) c Promoted_2 : 54 5770.86/1738.81 c (506,0) c Promoted_3 : 55 5770.86/1738.81 c (506,0) c Promoted_4 : 144 5770.86/1738.81 c (506,0) c Promoted_5 : 30 5770.86/1738.81 c (506,0) c Promoted_6 : 65 5770.86/1738.81 c (506,0) c Promoted_7 : 64 5770.86/1738.81 c (506,0) c Promoted_total : 663 5770.86/1738.81 c (506,0) c Promoted_winner : 55 5770.86/1738.81 c (506,0) c Remove_Imp_0 : 0 5770.86/1738.81 c (506,0) c Remove_Imp_1 : 0 5770.86/1738.81 c (506,0) c Remove_Imp_2 : 283 5770.86/1738.81 c (506,0) c Remove_Imp_3 : 2584 5770.86/1738.81 c (506,0) c Remove_Imp_4 : 2295 5770.86/1738.81 c (506,0) c Remove_Imp_5 : 0 5770.86/1738.81 c (506,0) c Remove_Imp_6 : 0 5770.86/1738.81 c (506,0) c Remove_Imp_7 : 0 5770.86/1738.81 c (506,0) c Remove_Imp_total : 5162 5770.86/1738.81 c (506,0) c Remove_Imp_winner : 2584 5770.86/1738.81 c (506,0) c Blocked_Reuse_0 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_1 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_2 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_3 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_4 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_5 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_6 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_7 : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_total : 0 5770.86/1738.81 c (506,0) c Blocked_Reuse_winner : 0 5770.86/1738.81 c (506,0) c Unaries_0 : 2 5770.86/1738.81 c (506,0) c Unaries_1 : 3 5770.86/1738.81 c (506,0) c Unaries_2 : 1 5770.86/1738.81 c (506,0) c Unaries_3 : 17 5770.86/1738.81 c (506,0) c Unaries_4 : 2 5770.86/1738.81 c (506,0) c Unaries_5 : 0 5770.86/1738.81 c (506,0) c Unaries_6 : 0 5770.86/1738.81 c (506,0) c Unaries_7 : 1 5770.86/1738.81 c (506,0) c Unaries_total : 26 5770.86/1738.81 c (506,0) c Unaries_winner : 17 5770.86/1738.81 c (506,0) c Binaries_0 : 46 5770.86/1738.81 c (506,0) c Binaries_1 : 131 5770.86/1738.81 c (506,0) c Binaries_2 : 29 5770.86/1738.81 c (506,0) c Binaries_3 : 239 5770.86/1738.81 c (506,0) c Binaries_4 : 38 5770.86/1738.81 c (506,0) c Binaries_5 : 65 5770.86/1738.81 c (506,0) c Binaries_6 : 79 5770.86/1738.81 c (506,0) c Binaries_7 : 100 5770.86/1738.81 c (506,0) c Binaries_total : 727 5770.86/1738.81 c (506,0) c Binaries_winner : 239 5770.86/1738.81 c (506,0) c Glues_0 : 290 5770.86/1738.81 c (506,0) c Glues_1 : 449 5770.86/1738.81 c (506,0) c Glues_2 : 261 5770.86/1738.81 c (506,0) c Glues_3 : 637 5770.86/1738.81 c (506,0) c Glues_4 : 240 5770.86/1738.81 c (506,0) c Glues_5 : 363 5770.86/1738.81 c (506,0) c Glues_6 : 349 5770.86/1738.81 c (506,0) c Glues_7 : 569 5770.86/1738.81 c (506,0) c Glues_total : 3158 5770.86/1738.81 c (506,0) c Glues_winner : 637 5770.86/1738.81 c (506,0) c RunningTime_0 : 470.933759 5770.86/1738.81 c (506,0) c RunningTime_1 : 494.093557 5770.86/1738.81 c (506,0) c RunningTime_2 : 459.710177 5770.86/1738.81 c (506,0) c RunningTime_3 : 479.330315 5770.86/1738.81 c (506,0) c RunningTime_4 : 467.056062 5770.86/1738.81 c (506,0) c RunningTime_5 : 468.827603 5770.86/1738.81 c (506,0) c RunningTime_6 : 466.412733 5770.86/1738.81 c (506,0) c RunningTime_7 : 464.202923 5770.86/1738.81 c (506,0) c RunningTime_total : 3770.567128 5770.86/1738.81 c (506,0) c RunningTime_winner : 479.330315 5770.86/1738.81 c (506,0) c WaitingTime_0 : 26.251137 5770.86/1738.81 c (506,0) c WaitingTime_1 : 2.938219 5770.86/1738.81 c (506,0) c WaitingTime_2 : 38.486240 5770.86/1738.81 c (506,0) c WaitingTime_3 : 17.675477 5770.86/1738.81 c (506,0) c WaitingTime_4 : 30.143163 5770.86/1738.81 c (506,0) c WaitingTime_5 : 28.183500 5770.86/1738.81 c (506,0) c WaitingTime_6 : 32.538636 5770.86/1738.81 c (506,0) c WaitingTime_7 : 32.823808 5770.86/1738.81 c (506,0) c WaitingTime_total : 209.040181 5770.86/1738.81 c (506,0) c WaitingTime_winner : 17.675477 5770.86/1738.81 c (506,0) c ExchangingTime_0 : 0.030859 5770.86/1738.81 c (506,0) c ExchangingTime_1 : 0.030119 5770.86/1738.81 c (506,0) c ExchangingTime_2 : 0.032659 5770.86/1738.81 c (506,0) c ExchangingTime_3 : 0.031358 5770.86/1738.81 c (506,0) c ExchangingTime_4 : 0.027164 5770.86/1738.81 c (506,0) c ExchangingTime_5 : 0.031894 5770.86/1738.81 c (506,0) c ExchangingTime_6 : 0.031203 5770.86/1738.81 c (506,0) c ExchangingTime_7 : 0.032905 5770.86/1738.81 c (506,0) c ExchangingTime_total : 0.248161 5770.86/1738.81 c (506,0) c ExchangingTime_winner : 0.031358 5770.86/1738.81 c (506,0) c PeriodProcTime_0 : 0.021096 5770.86/1738.81 c (506,0) c PeriodProcTime_1 : 0.027219 5770.86/1738.81 c (506,0) c PeriodProcTime_2 : 0.026256 5770.86/1738.81 c (506,0) c PeriodProcTime_3 : 0.026023 5770.86/1738.81 c (506,0) c PeriodProcTime_4 : 0.020818 5770.86/1738.81 c (506,0) c PeriodProcTime_5 : 0.025983 5770.86/1738.81 c (506,0) c PeriodProcTime_6 : 0.026645 5770.86/1738.81 c (506,0) c PeriodProcTime_7 : 0.025644 5770.86/1738.81 c (506,0) c PeriodProcTime_total : 0.199684 5770.86/1738.81 c (506,0) c PeriodProcTime_winner : 0.026023 5770.86/1738.81 c (506,0) c SolvingTime_0 : 497.236852 5770.86/1738.81 c (506,0) c SolvingTime_1 : 497.089114 5770.86/1738.81 c (506,0) c SolvingTime_2 : 498.255332 5770.86/1738.81 c (506,0) c SolvingTime_3 : 497.063172 5770.86/1738.81 c (506,0) c SolvingTime_4 : 497.247208 5770.86/1738.81 c (506,0) c SolvingTime_5 : 497.068980 5770.86/1738.81 c (506,0) c SolvingTime_6 : 499.009217 5770.86/1738.81 c (506,0) c SolvingTime_7 : 497.085280 5770.86/1738.81 c (506,0) c SolvingTime_total : 3980.055155 5770.86/1738.81 c (506,0) c SolvingTime_winner : 497.063172 5770.86/1738.81 c (506,0) c PropagationTime_0 : 480.200544 5770.86/1738.81 c (506,0) c PropagationTime_1 : 481.105940 5770.86/1738.81 c (506,0) c PropagationTime_2 : 483.016636 5770.86/1738.81 c (506,0) c PropagationTime_3 : 477.049322 5770.86/1738.81 c (506,0) c PropagationTime_4 : 481.422392 5770.86/1738.81 c (506,0) c PropagationTime_5 : 482.783182 5770.86/1738.81 c (506,0) c PropagationTime_6 : 484.323223 5770.86/1738.81 c (506,0) c PropagationTime_7 : 481.238863 5770.86/1738.81 c (506,0) c PropagationTime_total : 3851.140104 5770.86/1738.81 c (506,0) c PropagationTime_winner : 477.049322 5770.86/1738.81 c (506,0) c AnalysisTime_0 : 3.516787 5770.86/1738.81 c (506,0) c AnalysisTime_1 : 3.295974 5770.86/1738.81 c (506,0) c AnalysisTime_2 : 3.381368 5770.86/1738.81 c (506,0) c AnalysisTime_3 : 3.528355 5770.86/1738.81 c (506,0) c AnalysisTime_4 : 3.359629 5770.86/1738.81 c (506,0) c AnalysisTime_5 : 3.331573 5770.86/1738.81 c (506,0) c AnalysisTime_6 : 3.660042 5770.86/1738.81 c (506,0) c AnalysisTime_7 : 3.376502 5770.86/1738.81 c (506,0) c AnalysisTime_total : 27.450231 5770.86/1738.81 c (506,0) c AnalysisTime_winner : 3.528355 5770.86/1738.81 c (506,0) c ReductionTime_0 : 0.003769 5770.86/1738.81 c (506,0) c ReductionTime_1 : 0.003662 5770.86/1738.81 c (506,0) c ReductionTime_2 : 0.005292 5770.86/1738.81 c (506,0) c ReductionTime_3 : 0.005827 5770.86/1738.81 c (506,0) c ReductionTime_4 : 0.004968 5770.86/1738.81 c (506,0) c ReductionTime_5 : 0.005478 5770.86/1738.81 c (506,0) c ReductionTime_6 : 0.005164 5770.86/1738.81 c (506,0) c ReductionTime_7 : 0.004784 5770.86/1738.81 c (506,0) c ReductionTime_total : 0.038945 5770.86/1738.81 c (506,0) c ReductionTime_winner : 0.005827 5770.86/1738.81 c (506,0) c SimplifyTime_0 : 2.565333 5770.86/1738.81 c (506,0) c SimplifyTime_1 : 1.702596 5770.86/1738.81 c (506,0) c SimplifyTime_2 : 1.340620 5770.86/1738.81 c (506,0) c SimplifyTime_3 : 4.868803 5770.86/1738.81 c (506,0) c SimplifyTime_4 : 1.568371 5770.86/1738.81 c (506,0) c SimplifyTime_5 : 0.000000 5770.86/1738.81 c (506,0) c SimplifyTime_6 : 0.000000 5770.86/1738.81 c (506,0) c SimplifyTime_7 : 1.599555 5770.86/1738.81 c (506,0) c SimplifyTime_total : 13.645278 5770.86/1738.81 c (506,0) c SimplifyTime_winner : 4.868803 5770.86/1738.81 c (506,0) c UsedRateTime_0 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_1 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_2 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_3 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_4 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_5 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_6 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_7 : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_total : 0.000000 5770.86/1738.81 c (506,0) c UsedRateTime_winner : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_0 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_1 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_2 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_3 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_4 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_5 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_6 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_7 : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_total : 0.000000 5770.86/1738.81 c (506,0) c OverlapRateTime_winner : 0.000000 5770.86/1738.81 c (506,0) c 5770.86/1738.81 c (506,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 5770.86/1738.81 c (506,0) c 5770.86/1738.81 c (506,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.81 c (506,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 5770.86/1738.81 c (506,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.81 c (506,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 5770.86/1738.81 c (506,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 5770.86/1738.81 c (506,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 5770.86/1738.81 c (506,0) c | Initial random_seed | 1701287268 | 1515431478 | 337058198 | 783476971 | 332797756 | 1367970374 | 1356876173 | 436020912 | 5770.86/1738.81 c (506,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 5770.86/1738.81 c (506,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5770.86/1738.81 c (506,0) c | glureduce | True | True | True | True | True | True | True | True | 5770.86/1738.81 c (506,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 5770.86/1738.81 c (506,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 5770.86/1738.81 c (506,0) c | luby_restart | False | False | False | False | False | False | False | False | 5770.86/1738.81 c (506,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 5770.86/1738.81 c (506,0) c | var_decay | 0.8300 | 0.8300 | 0.8200 | 0.8500 | 0.8200 | 0.8300 | 0.8300 | 0.8300 | 5770.86/1738.81 c (506,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 5770.86/1738.81 c (506,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 5770.86/1738.81 c (506,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 5770.86/1738.81 c (506,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 5770.86/1738.81 c (506,0) 5770.86/1738.81 c (506,0) s UNSATISFIABLE 2024.23/1739.22 c (506,0) SatSolver.solve End 2024.23/1739.22 c (506,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2024.23/1739.22 c (506,0) Show results Begin 2024.23/1739.22 s UNSATISFIABLE 2024.23/1739.22 c (506,0) Show results End 2024.23/1739.22 c (506,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 2024.23/1739.22 c (506,0) 506,506,STOP-AFTER(ALL) 2024.23/1739.22 c END-Prog: Sat Sep 14 01:50:06 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 (15282 MiB free) memory of node 1: 16384 MiB (15439 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392707-1568416910/watcher-4392707-1568416910 -o /tmp/evaluation-result-4392707-1568416910/solver-4392707-1568416910 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392707-1568416910.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7935, runsolver pid=7932 Current StackSize limit: 8192 KiB [startup+0.100197 s]* /proc/loadavg: 6.49 2.89 1.45 3/212 7957 /proc/meminfo: memFree=31364016/32770624 swapFree=66995492/67108860 [pid=7935] ppid=7932 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7935/stat : 7935 (scop.sh) S 7932 7935 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417942596 115843072 349 33554432000 4194304 5098028 140725275847152 140725275844408 140578126430844 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39501824 140725275849508 140725275849836 140725275849836 140725275852749 0 /proc/7935/statm: 28282 349 296 221 0 87 0 [pid=7938] ppid=7935 vsize=27314120 memory=106316 CPUtime=0.1 cores=0-7 /proc/7938/stat : 7938 (java) S 7935 7935 7170 0 -1 1077944320 6669 0 0 0 8 2 0 0 20 0 20 0 417942597 27969658880 26579 33554432000 4194304 4196468 140721327236000 140721327218544 139831479766775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 /proc/7938/statm: 6828530 26579 2791 1 0 6790935 0 [pid=7938/tid=7939] ppid=7935 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/7938/task/7939/stat : 7939 (java) R 7935 7935 7170 0 -1 4202560 4752 0 0 0 6 2 0 0 20 0 20 0 417942597 27969658880 26644 33554432000 4194304 4196468 140721327236000 139831451589824 139831463847262 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7940] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7940/stat : 7940 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139831484009360 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7941] ppid=7935 vsize=27314120 memory=14554922309465752 CPUtime=0 cores=0-7 /proc/7938/task/7941/stat : 7941 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830902467344 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7942] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7942/stat : 7942 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830901415056 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7943] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7943/stat : 7943 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830900362256 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7944] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7944/stat : 7944 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830899308944 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7945] ppid=7935 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7938/task/7945/stat : 7945 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830898256144 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7946] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7946/stat : 7946 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830897203856 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7947] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7947/stat : 7947 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830896151056 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7948] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7948/stat : 7948 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417942601 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830852848240 139831479777922 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7949] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7949/stat : 7949 (java) S 7935 7935 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417942601 27969658880 26644 33554432000 4194304 4196468 140721327236000 139829438309664 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7950] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7950/stat : 7950 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942602 27969658880 26644 33554432000 4194304 4196468 140721327236000 139829169874544 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7951] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7951/stat : 7951 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 26644 33554432000 4194304 4196468 140721327236000 139828795365968 139831479785371 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7952] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7952/stat : 7952 (java) S 7935 7935 7170 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830851795056 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7953] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7953/stat : 7953 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830850742256 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7954] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7954/stat : 7954 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 26644 33554432000 4194304 4196468 140721327236000 139830849689968 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7955] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7955/stat : 7955 (java) S 7935 7935 7170 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 26644 33554432000 4194304 4196468 140721327236000 139829526391024 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7956] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7956/stat : 7956 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 26644 33554432000 4194304 4196468 140721327236000 139828297460576 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7957] ppid=7935 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7938/task/7957/stat : 7957 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942605 27969658880 26644 33554432000 4194304 4196468 140721327236000 139829525338928 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107712 KiB [startup+0.210282 s]* /proc/loadavg: 6.49 2.89 1.45 2/212 7957 /proc/meminfo: memFree=31341996/32770624 swapFree=66995492/67108860 [pid=7935] ppid=7932 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7935/stat : 7935 (scop.sh) S 7932 7935 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417942596 115843072 349 33554432000 4194304 5098028 140725275847152 140725275844408 140578126430844 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39501824 140725275849508 140725275849836 140725275849836 140725275852749 0 /proc/7935/statm: 28282 349 296 221 0 87 0 [pid=7938] ppid=7935 vsize=27314120 memory=125896 CPUtime=0.24 cores=0-7 /proc/7938/stat : 7938 (java) S 7935 7935 7170 0 -1 1077944320 12329 0 0 0 20 4 0 0 20 0 20 0 417942597 27969658880 31474 33554432000 4194304 4196468 140721327236000 140721327218544 139831479766775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 /proc/7938/statm: 6828530 31474 2958 1 0 6790935 0 [pid=7938/tid=7939] ppid=7935 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/7938/task/7939/stat : 7939 (java) R 7935 7935 7170 0 -1 4202560 9972 0 0 0 16 3 0 0 20 0 20 0 417942597 27969658880 31474 33554432000 4194304 4196468 140721327236000 139831451586016 139831461330331 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7940] ppid=7935 vsize=27314120 memory=288230600413020516 CPUtime=0 cores=0-7 /proc/7938/task/7940/stat : 7940 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139831484009360 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7941] ppid=7935 vsize=27314120 memory=14270153092839064 CPUtime=0 cores=0-7 /proc/7938/task/7941/stat : 7941 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830902467344 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7942] ppid=7935 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7938/task/7942/stat : 7942 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830901415056 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7943] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7943/stat : 7943 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830900362256 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7944] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7944/stat : 7944 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830899308944 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7945] ppid=7935 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7938/task/7945/stat : 7945 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830898256144 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7946] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7946/stat : 7946 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830897203856 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7947] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7947/stat : 7947 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830896151056 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7948] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7948/stat : 7948 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417942601 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830852848240 139831479777922 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7949] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7949/stat : 7949 (java) S 7935 7935 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417942601 27969658880 31474 33554432000 4194304 4196468 140721327236000 139829438309664 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7950] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7950/stat : 7950 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942602 27969658880 31474 33554432000 4194304 4196468 140721327236000 139829169874544 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7951] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7951/stat : 7951 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 31474 33554432000 4194304 4196468 140721327236000 139828795365968 139831479785371 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7952] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7952/stat : 7952 (java) S 7935 7935 7170 0 -1 1077944384 487 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830851795056 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7953] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7953/stat : 7953 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830850742256 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7954] ppid=7935 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7938/task/7954/stat : 7954 (java) S 7935 7935 7170 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 31474 33554432000 4194304 4196468 140721327236000 139830849689968 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7955] ppid=7935 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/7938/task/7955/stat : 7955 (java) S 7935 7935 7170 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 20 0 417942604 27969658880 31474 33554432000 4194304 4196468 140721327236000 139829526391024 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7956] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7956/stat : 7956 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 31474 33554432000 4194304 4196468 140721327236000 139828297460576 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7957] ppid=7935 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7938/task/7957/stat : 7957 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942605 27969658880 31474 33554432000 4194304 4196468 140721327236000 139829525338928 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 127292 KiB [startup+0.309647 s]* /proc/loadavg: 6.49 2.89 1.45 2/212 7957 /proc/meminfo: memFree=31339200/32770624 swapFree=66995492/67108860 [pid=7935] ppid=7932 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7935/stat : 7935 (scop.sh) S 7932 7935 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417942596 115843072 349 33554432000 4194304 5098028 140725275847152 140725275844408 140578126430844 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39501824 140725275849508 140725275849836 140725275849836 140725275852749 0 /proc/7935/statm: 28282 349 296 221 0 87 0 [pid=7938] ppid=7935 vsize=27314120 memory=130492 CPUtime=0.42 cores=0-7 /proc/7938/stat : 7938 (java) S 7935 7935 7170 0 -1 1077944320 12986 0 0 0 38 4 0 0 20 0 20 0 417942597 27969658880 32623 33554432000 4194304 4196468 140721327236000 140721327218544 139831479766775 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 /proc/7938/statm: 6828530 32623 3043 1 0 6790935 0 [pid=7938/tid=7939] ppid=7935 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/7938/task/7939/stat : 7939 (java) R 7935 7935 7170 0 -1 4202560 10341 0 0 0 26 3 0 0 20 0 20 0 417942597 27969658880 32623 33554432000 4194304 4196468 140721327236000 139831451593344 139831462953584 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7940] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7940/stat : 7940 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139831484009360 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7941] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7941/stat : 7941 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830902467344 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7942] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7942/stat : 7942 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830901415056 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7943] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7943/stat : 7943 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830900362256 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7944] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7944/stat : 7944 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830899308944 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7945] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7945/stat : 7945 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830898256144 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7946] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7946/stat : 7946 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830897203856 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7947] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7947/stat : 7947 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830896151056 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7948] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7948/stat : 7948 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417942601 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830852848240 139831479777922 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7949] ppid=7935 vsize=27314120 memory=280166622502272 CPUtime=0 cores=0-7 /proc/7938/task/7949/stat : 7949 (java) S 7935 7935 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 417942601 27969658880 32623 33554432000 4194304 4196468 140721327236000 139829438309664 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7950] ppid=7935 vsize=27314120 memory=280166622506880 CPUtime=0 cores=0-7 /proc/7938/task/7950/stat : 7950 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942602 27969658880 32623 33554432000 4194304 4196468 140721327236000 139829169874544 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7951] ppid=7935 vsize=27314120 memory=280166622511488 CPUtime=0 cores=0-7 /proc/7938/task/7951/stat : 7951 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 32623 33554432000 4194304 4196468 140721327236000 139828795365968 139831479785371 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7952] ppid=7935 vsize=27314120 memory=280166622516096 CPUtime=0.01 cores=0-7 /proc/7938/task/7952/stat : 7952 (java) S 7935 7935 7170 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 20 0 417942604 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830851795056 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7953] ppid=7935 vsize=27314120 memory=280166622520704 CPUtime=0 cores=0-7 /proc/7938/task/7953/stat : 7953 (java) S 7935 7935 7170 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830850742256 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7954] ppid=7935 vsize=27314120 memory=280166622525312 CPUtime=0.01 cores=0-7 /proc/7938/task/7954/stat : 7954 (java) S 7935 7935 7170 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 20 0 417942604 27969658880 32623 33554432000 4194304 4196468 140721327236000 139830849689968 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7955] ppid=7935 vsize=27314120 memory=280166622529920 CPUtime=0.07 cores=0-7 /proc/7938/task/7955/stat : 7955 (java) S 7935 7935 7170 0 -1 1077944384 633 0 0 0 7 0 0 0 20 0 20 0 417942604 27969658880 32623 33554432000 4194304 4196468 140721327236000 139829526391024 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7956] ppid=7935 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7956/stat : 7956 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417942604 27969658880 32623 33554432000 4194304 4196468 140721327236000 139828297460576 139831479776981 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7957] ppid=7935 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/7938/task/7957/stat : 7957 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942605 27969658880 32623 33554432000 4194304 4196468 140721327236000 139829525338928 139831479777922 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 131888 KiB [startup+0.700996 s] /proc/loadavg: 6.49 2.89 1.45 3/212 7957 /proc/meminfo: memFree=31317080/32770624 swapFree=66995492/67108860 [pid=7935] ppid=7932 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/7935/stat : 7935 (scop.sh) S 7932 7935 7170 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 417942596 115843072 349 33554432000 4194304 5098028 140725275847152 140725275844408 140578126430844 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39501824 140725275849508 140725275849836 140725275849836 140725275852749 0 /proc/7935/statm: 28282 349 296 221 0 87 0 [pid=7938] ppid=7935 vsize=27320392 memory=166508 CPUtime=0.97 cores=0-7 /proc/7938/stat : 7938 (java) S 7935 7935 7170 0 -1 1077944320 20655 0 0 0 90 7 0 0 20 0 20 0 417942597 27976081408 41627 33554432000 4194304 4196468 140721327236000 140721327218544 139831479766775 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 /proc/7938/statm: 6830098 41627 3191 1 0 6791447 0 [pid=7938/tid=7939] ppid=7935 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7 /proc/7938/task/7939/stat : 7939 (java) R 7935 7935 7170 0 -1 4202560 17399 0 0 0 62 6 0 0 20 0 20 0 417942597 27976081408 41627 33554432000 4194304 4196468 140721327236000 139831451603280 139830983457809 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7940] ppid=7935 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7940/stat : 7940 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27976081408 41627 33554432000 4194304 4196468 140721327236000 139831484009360 139831479776981 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7941] ppid=7935 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/7938/task/7941/stat : 7941 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27976081408 41627 33554432000 4194304 4196468 140721327236000 139830902467344 139831479776981 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 [pid=7938/tid=7942] ppid=7935 vsize=27320392 memory=8556 CPUtime=0 cores=0-7 /proc/7938/task/7942/stat : 7942 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417942599 27976081408 41627 33554432000 4194304 4196468 140721327236000 139830901415056 139831479776981 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13017088 140721327239915 140721327240342 140721327240342 140721327243215 0 ################ # More data... # ################ /proc/8051/task/8057/stat : 8057 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676343425296 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8058] ppid=7935 vsize=8414124 memory=1604 CPUtime=0 cores=0-7 /proc/8051/task/8058/stat : 8058 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676342372752 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8059] ppid=7935 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8051/task/8059/stat : 8059 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676341320208 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8060] ppid=7935 vsize=8414124 memory=123544 CPUtime=0 cores=0-7 /proc/8051/task/8060/stat : 8060 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676340267664 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8061] ppid=7935 vsize=8414124 memory=6854808 CPUtime=0 cores=0-7 /proc/8051/task/8061/stat : 8061 (java) S 7935 7935 7170 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 418065797 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676155836912 140676860955266 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8062] ppid=7935 vsize=8414124 memory=123544 CPUtime=0 cores=0-7 /proc/8051/task/8062/stat : 8062 (java) S 7935 7935 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418065798 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675479758240 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8063] ppid=7935 vsize=8414124 memory=6846040 CPUtime=0 cores=0-7 /proc/8051/task/8063/stat : 8063 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065798 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675211322864 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8064] ppid=7935 vsize=8414124 memory=123544 CPUtime=0 cores=0-7 /proc/8051/task/8064/stat : 8064 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140674836814544 140676860962715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8065] ppid=7935 vsize=8414124 memory=6845908 CPUtime=0.05 cores=0-7 /proc/8051/task/8065/stat : 8065 (java) S 7935 7935 7170 0 -1 1077944384 558 0 0 0 5 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676154783728 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8066] ppid=7935 vsize=8414124 memory=7686721470250587547 CPUtime=0.05 cores=0-7 /proc/8051/task/8066/stat : 8066 (java) S 7935 7935 7170 0 -1 1077944384 195 0 0 0 5 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676153731184 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8067] ppid=7935 vsize=8414124 memory=5904 CPUtime=0.07 cores=0-7 /proc/8051/task/8067/stat : 8067 (java) S 7935 7935 7170 0 -1 1077944384 400 0 0 0 7 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676152678640 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8068] ppid=7935 vsize=8414124 memory=664 CPUtime=0.22 cores=0-7 /proc/8051/task/8068/stat : 8068 (java) S 7935 7935 7170 0 -1 1077944384 763 0 0 0 22 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675815303536 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8069] ppid=7935 vsize=8414124 memory=1156 CPUtime=0 cores=0-7 /proc/8051/task/8069/stat : 8069 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140674338908896 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8070] ppid=7935 vsize=8414124 memory=1000 CPUtime=0.35 cores=0-7 /proc/8051/task/8070/stat : 8070 (java) S 7935 7935 7170 0 -1 1077944384 35 0 0 0 15 20 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675814251440 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8072] ppid=7935 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/8051/task/8072/stat : 8072 (java) S 7935 7935 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418065868 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675806774976 140676860968729 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8074] ppid=7935 vsize=8414124 memory=6760 CPUtime=0.03 cores=0-7 /proc/8051/task/8074/stat : 8074 (java) S 7935 7935 7170 0 -1 4202560 1683 0 0 0 1 2 0 0 20 0 24 0 418065868 8616062976 30886 33554432000 4194304 4196468 140733524112784 140673667808528 140676860966045 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8075] ppid=7935 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8051/task/8075/stat : 8075 (java) S 7935 7935 7170 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418065868 8616062976 30886 33554432000 4194304 4196468 140733524112784 140673936244112 140676860966045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8076] ppid=7935 vsize=8414124 memory=123544 CPUtime=0 cores=0-7 /proc/8051/task/8076/stat : 8076 (java) S 7935 7935 7170 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418065870 8616062976 30886 33554432000 4194304 4196468 140733524112784 140673399381168 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 Current children cumulated CPU time: 5770.46 s Current children cumulated vsize: 15763724 KiB Current children cumulated memory: 6979812 KiB [startup+1738.8 s] /proc/loadavg: 7.79 6.75 4.25 3/219 8123 /proc/meminfo: memFree=24208104/32770624 swapFree=66995524/67108860 [pid=7935] ppid=7932 vsize=113128 memory=1476 CPUtime=2022.56 cores=0-7 /proc/7935/stat : 7935 (scop.sh) S 7932 7935 7170 0 -1 4202496 583 571895 0 0 0 0 197819 4437 20 0 1 0 417942596 115843072 369 33554432000 4194304 5098028 140725275847152 140725275843896 140578126430844 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39501824 140725275849508 140725275849836 140725275849836 140725275852749 0 /proc/7935/statm: 28282 369 311 221 0 87 0 [pid=8051] ppid=7935 vsize=8414124 memory=123544 CPUtime=1.59 cores=0-7 /proc/8051/stat : 8051 (java) S 7935 7935 7170 0 -1 1077944320 22953 0 0 0 147 12 0 0 20 0 24 0 418065794 8616062976 30886 33554432000 4194304 4196468 140733524112784 140733524095328 140676860944119 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 /proc/8051/statm: 2103531 30886 3205 1 0 2064875 0 [pid=8071] ppid=8051 vsize=7220080 memory=6854796 CPUtime=3746.71 cores=0-7 /proc/8071/stat : 8071 (manyglucose-4.1) R 8051 7935 7170 0 -1 4202496 23041578 0 0 0 369119 5552 0 0 20 0 1 0 418065867 7393361920 1713699 33554432000 4194304 4454172 140729445466992 140729445465376 4329114 0 4 0 8388610 0 0 0 17 0 0 0 0 0 0 6552832 6554400 32374784 140729445471082 140729445471280 140729445471280 140729445474234 0 /proc/8071/statm: 1805020 1713699 420 64 0 1800688 0 [pid=8051/tid=8052] ppid=7935 vsize=8414124 memory=6854792 CPUtime=0.76 cores=0-7 /proc/8051/task/8052/stat : 8052 (java) S 7935 7935 7170 0 -1 1077944384 17920 0 0 0 72 4 0 0 20 0 24 0 418065794 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676832784288 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8053] ppid=7935 vsize=8414124 memory=12040 CPUtime=0 cores=0-7 /proc/8051/task/8053/stat : 8053 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676865186576 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8054] ppid=7935 vsize=8414124 memory=2124 CPUtime=0 cores=0-7 /proc/8051/task/8054/stat : 8054 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676689828752 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8055] ppid=7935 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/8051/task/8055/stat : 8055 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676688776208 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8056] ppid=7935 vsize=8414124 memory=496 CPUtime=0 cores=0-7 /proc/8051/task/8056/stat : 8056 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676344478864 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8057] ppid=7935 vsize=8414124 memory=928 CPUtime=0 cores=0-7 /proc/8051/task/8057/stat : 8057 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676343425296 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8058] ppid=7935 vsize=8414124 memory=1604 CPUtime=0 cores=0-7 /proc/8051/task/8058/stat : 8058 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676342372752 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8059] ppid=7935 vsize=8414124 memory=1980 CPUtime=0 cores=0-7 /proc/8051/task/8059/stat : 8059 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676341320208 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8060] ppid=7935 vsize=8414124 memory=2356 CPUtime=0 cores=0-7 /proc/8051/task/8060/stat : 8060 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676340267664 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8061] ppid=7935 vsize=8414124 memory=1440 CPUtime=0 cores=0-7 /proc/8051/task/8061/stat : 8061 (java) S 7935 7935 7170 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 418065797 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676155836912 140676860955266 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8062] ppid=7935 vsize=8414124 memory=820 CPUtime=0 cores=0-7 /proc/8051/task/8062/stat : 8062 (java) S 7935 7935 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418065798 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675479758240 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8063] ppid=7935 vsize=8414124 memory=1764 CPUtime=0 cores=0-7 /proc/8051/task/8063/stat : 8063 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065798 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675211322864 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8064] ppid=7935 vsize=8414124 memory=111632 CPUtime=0 cores=0-7 /proc/8051/task/8064/stat : 8064 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140674836814544 140676860962715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8065] ppid=7935 vsize=8414124 memory=808 CPUtime=0.05 cores=0-7 /proc/8051/task/8065/stat : 8065 (java) S 7935 7935 7170 0 -1 1077944384 558 0 0 0 5 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676154783728 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8066] ppid=7935 vsize=8414124 memory=1808 CPUtime=0.05 cores=0-7 /proc/8051/task/8066/stat : 8066 (java) S 7935 7935 7170 0 -1 1077944384 195 0 0 0 5 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676153731184 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8067] ppid=7935 vsize=8414124 memory=920 CPUtime=0.07 cores=0-7 /proc/8051/task/8067/stat : 8067 (java) S 7935 7935 7170 0 -1 1077944384 400 0 0 0 7 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140676152678640 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8068] ppid=7935 vsize=8414124 memory=4144 CPUtime=0.22 cores=0-7 /proc/8051/task/8068/stat : 8068 (java) S 7935 7935 7170 0 -1 1077944384 763 0 0 0 22 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675815303536 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8069] ppid=7935 vsize=8414124 memory=1408 CPUtime=0 cores=0-7 /proc/8051/task/8069/stat : 8069 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140674338908896 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8070] ppid=7935 vsize=8414124 memory=3956 CPUtime=0.35 cores=0-7 /proc/8051/task/8070/stat : 8070 (java) S 7935 7935 7170 0 -1 1077944384 35 0 0 0 15 20 0 0 20 0 24 0 418065801 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675814251440 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8072] ppid=7935 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8051/task/8072/stat : 8072 (java) S 7935 7935 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418065868 8616062976 30886 33554432000 4194304 4196468 140733524112784 140675806774976 140676860968729 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8074] ppid=7935 vsize=8414124 memory=4104 CPUtime=0.03 cores=0-7 /proc/8051/task/8074/stat : 8074 (java) S 7935 7935 7170 0 -1 4202560 1683 0 0 0 1 2 0 0 20 0 24 0 418065868 8616062976 30886 33554432000 4194304 4196468 140733524112784 140673667808528 140676860966045 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8075] ppid=7935 vsize=8414124 memory=123544 CPUtime=0 cores=0-7 /proc/8051/task/8075/stat : 8075 (java) S 7935 7935 7170 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418065868 8616062976 30886 33554432000 4194304 4196468 140733524112784 140673936244112 140676860966045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8076] ppid=7935 vsize=8414124 memory=6854772 CPUtime=0 cores=0-7 /proc/8051/task/8076/stat : 8076 (java) S 7935 7935 7170 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418065870 8616062976 30886 33554432000 4194304 4196468 140733524112784 140673399381168 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 Current children cumulated CPU time: 5770.86 s Current children cumulated vsize: 15747332 KiB Current children cumulated memory: 6979816 KiB [startup+1739.2 s] /proc/loadavg: 7.79 6.75 4.25 2/217 8123 /proc/meminfo: memFree=26622048/32770624 swapFree=66995524/67108860 [pid=7935] ppid=7932 vsize=113128 memory=1476 CPUtime=2022.56 cores=0-7 /proc/7935/stat : 7935 (scop.sh) S 7932 7935 7170 0 -1 4202496 583 571895 0 0 0 0 197819 4437 20 0 1 0 417942596 115843072 369 33554432000 4194304 5098028 140725275847152 140725275843896 140578126430844 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39501824 140725275849508 140725275849836 140725275849836 140725275852749 0 /proc/7935/statm: 28282 369 311 221 0 87 0 [pid=8051] ppid=7935 vsize=8414124 memory=124392 CPUtime=1.67 cores=0-7 /proc/8051/stat : 8051 (java) S 7935 7935 7170 0 -1 1077944320 23195 0 0 0 154 13 0 0 20 0 24 0 418065794 8616062976 31098 33554432000 4194304 4196468 140733524112784 140733524095328 140676860944119 0 0 2 25189581 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 /proc/8051/statm: 2103531 31098 3217 1 0 2064875 0 [pid=8051/tid=8052] ppid=7935 vsize=8414124 memory=123544 CPUtime=0.76 cores=0-7 /proc/8051/task/8052/stat : 8052 (java) S 7935 7935 7170 0 -1 1077944384 17920 0 0 0 72 4 0 0 20 0 24 0 418065794 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676832784288 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8053] ppid=7935 vsize=8414124 memory=6854716 CPUtime=0 cores=0-7 /proc/8051/task/8053/stat : 8053 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676865186576 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8054] ppid=7935 vsize=8414124 memory=6853152 CPUtime=0 cores=0-7 /proc/8051/task/8054/stat : 8054 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676689828752 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8055] ppid=7935 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8051/task/8055/stat : 8055 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676688776208 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8056] ppid=7935 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/8051/task/8056/stat : 8056 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676344478864 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8057] ppid=7935 vsize=8414124 memory=123544 CPUtime=0 cores=0-7 /proc/8051/task/8057/stat : 8057 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676343425296 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8058] ppid=7935 vsize=8414124 memory=6854680 CPUtime=0 cores=0-7 /proc/8051/task/8058/stat : 8058 (java) S 7935 7935 7170 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676342372752 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8059] ppid=7935 vsize=8414124 memory=808 CPUtime=0 cores=0-7 /proc/8051/task/8059/stat : 8059 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676341320208 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8060] ppid=7935 vsize=8414124 memory=1808 CPUtime=0 cores=0-7 /proc/8051/task/8060/stat : 8060 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418065796 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676340267664 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8061] ppid=7935 vsize=8414124 memory=3632 CPUtime=0 cores=0-7 /proc/8051/task/8061/stat : 8061 (java) S 7935 7935 7170 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 418065797 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676155836912 140676860955266 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8062] ppid=7935 vsize=8414124 memory=21632 CPUtime=0 cores=0-7 /proc/8051/task/8062/stat : 8062 (java) S 7935 7935 7170 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418065798 8616062976 31098 33554432000 4194304 4196468 140733524112784 140675479758240 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8063] ppid=7935 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/8051/task/8063/stat : 8063 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065798 8616062976 31098 33554432000 4194304 4196468 140733524112784 140675211322864 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8064] ppid=7935 vsize=8414124 memory=2016 CPUtime=0 cores=0-7 /proc/8051/task/8064/stat : 8064 (java) S 7935 7935 7170 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418065801 8616062976 31098 33554432000 4194304 4196468 140733524112784 140674836814544 140676860962715 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8065] ppid=7935 vsize=8414124 memory=1384 CPUtime=0.05 cores=0-7 /proc/8051/task/8065/stat : 8065 (java) S 7935 7935 7170 0 -1 1077944384 568 0 0 0 5 0 0 0 20 0 24 0 418065801 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676154783728 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8066] ppid=7935 vsize=8414124 memory=776 CPUtime=0.08 cores=0-7 /proc/8051/task/8066/stat : 8066 (java) S 7935 7935 7170 0 -1 1077944384 349 0 0 0 8 0 0 0 20 0 24 0 418065801 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676153731184 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8067] ppid=7935 vsize=8414124 memory=1564 CPUtime=0.08 cores=0-7 /proc/8051/task/8067/stat : 8067 (java) S 7935 7935 7170 0 -1 1077944384 407 0 0 0 8 0 0 0 20 0 24 0 418065801 8616062976 31098 33554432000 4194304 4196468 140733524112784 140676152678640 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8068] ppid=7935 vsize=8414124 memory=8556 CPUtime=0.23 cores=0-7 /proc/8051/task/8068/stat : 8068 (java) S 7935 7935 7170 0 -1 1077944384 776 0 0 0 23 0 0 0 20 0 24 0 418065801 8616062976 31098 33554432000 4194304 4196468 140733524112784 140675815303536 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8069] ppid=7935 vsize=8414124 memory=1052 CPUtime=0 cores=0-7 /proc/8051/task/8069/stat : 8069 (java) S 7935 7935 7170 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418065801 8616062976 31098 33554432000 4194304 4196468 140733524112784 140674338908896 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8070] ppid=7935 vsize=8414124 memory=1708 CPUtime=0.35 cores=0-7 /proc/8051/task/8070/stat : 8070 (java) S 7935 7935 7170 0 -1 1077944384 35 0 0 0 15 20 0 0 20 0 24 0 418065801 8616062976 31098 33554432000 4194304 4196468 140733524112784 140675814251440 140676860955266 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8072] ppid=7935 vsize=8414124 memory=3440 CPUtime=0 cores=0-7 /proc/8051/task/8072/stat : 8072 (java) S 7935 7935 7170 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418065868 8616062976 31098 33554432000 4194304 4196468 140733524112784 140675806774976 140676860968729 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8074] ppid=7935 vsize=8414124 memory=1156 CPUtime=0.03 cores=0-7 /proc/8051/task/8074/stat : 8074 (java) S 7935 7935 7170 0 -1 4202560 1741 0 0 0 1 2 0 0 20 0 24 0 418065868 8616062976 31098 33554432000 4194304 4196468 140733524112784 140673667808688 140676860966045 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8075] ppid=7935 vsize=8414124 memory=1000 CPUtime=0 cores=0-7 /proc/8051/task/8075/stat : 8075 (java) S 7935 7935 7170 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418065868 8616062976 31098 33554432000 4194304 4196468 140733524112784 140673936244112 140676860966045 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 [pid=8051/tid=8076] ppid=7935 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/8051/task/8076/stat : 8076 (java) S 7935 7935 7170 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 418065870 8616062976 31098 33554432000 4194304 4196468 140733524112784 140673399381168 140676860954325 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10850304 140733524120568 140733524120726 140733524120726 140733524123599 0 Current children cumulated CPU time: 2024.23 s Current children cumulated vsize: 8527252 KiB Current children cumulated memory: 125868 KiB Child status: 0 Real time (s): 1739.27 CPU time (s): 5771.44 CPU user time (s): 5670.94 CPU system time (s): 100.506 CPU usage (%): 331.831 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 23554792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5670.94 system time used= 100.506 maximum resident set size= 23554140 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23637323 page faults= 0 swaps= 0 block input operations= 0 block output operations= 527080 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2671554 involuntary context switches= 53354 # summary of solver processes directly reported to runsolver: # pid: 7935 # total CPU time (s): 5771.44 # total CPU user time (s): 5670.94 # total CPU system time (s): 100.506 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 14.0255 second user time and 17.7283 second system time The end
Begin job on node102 at 2019-09-14 01:21:06 IDJOB=4392707 IDBENCH=121037 IDSOLVER=2839 FILE ID=node102/4392707-1568416910 RUNJOBID= node102-1568416723-7197 PBS_JOBID= 21702264 Free space on /tmp= 59244 MiB SOLVER NAME= Fun-sCOP hybrid+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 -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392707-1568416910/watcher-4392707-1568416910 -o /tmp/evaluation-result-4392707-1568416910/solver-4392707-1568416910 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568416723-7197 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392707-1568416910.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28aba8525a2c57af7de5748c3b9cdf6b RANDOM SEED=800334196 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31458116 kB MemAvailable: 31920032 kB Buffers: 165052 kB Cached: 590288 kB SwapCached: 9700 kB Active: 417612 kB Inactive: 348040 kB Active(anon): 7728 kB Inactive(anon): 33848 kB Active(file): 409884 kB Inactive(file): 314192 kB Unevictable: 110432 kB Mlocked: 110432 kB SwapTotal: 67108860 kB SwapFree: 66995492 kB Dirty: 106800 kB Writeback: 0 kB AnonPages: 111632 kB Mapped: 34936 kB Shmem: 22508 kB Slab: 135840 kB SReclaimable: 107348 kB SUnreclaim: 28492 kB KernelStack: 3360 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498052 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= 59224 MiB End job on node102 at 2019-09-14 01:50:06