Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
scop both+glucose-syrup (2018-07-31) | UNSAT | 1217.89 | 154.714 |
Name | ColouredQueens/ ColouredQueens-08_c18.xml |
MD5SUM | 097ee2ac2bfb45f3aedded97da1eabe0 |
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 | 1217.89 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 64 |
Number of constraints | 42 |
Number of domains | 1 |
Minimum domain size | 8 |
Maximum domain size | 8 |
Distribution of domain sizes | [{"size":8,"count":64}] |
Minimum variable degree | 3 |
Maximum variable degree | 4 |
Distribution of variable degrees | [{"degree":3,"count":4},{"degree":4,"count":60}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 8 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":18}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"allDifferent","count":42}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp scop.jar fun.scop.XCSP18Encode -both -solver glucose-syrup -solverOption -model:-nthreads=8:-maxmemory=20000 -tmp HOME -serialFile HOME/scop-20827-serial-file.bin HOME/instance-4307335-1534178722.xml 0.65/0.53 0.65/0.53 scop both+glucose-syrup (2018-07-31) 0.65/0.53 (Encoding Process) 0.65/0.53 0.65/0.56 c BEGIN-Prog: Mon Aug 13 18:45:22 CEST 2018 0.65/0.56 c PID: 20830 0.65/0.56 c IP: 172.20.3.134 0.65/0.56 c HOST: node134.alineos.net 0.65/0.56 c (0,0) Parsing Begin 1.19/0.86 c (0,0) Parsing End 1.19/0.86 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 42 ctr, max domain size 8 1.19/0.87 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.19/0.87 c (0,0) Constraint Name Generate Begin 1.19/0.87 c (0,0) Ctr:HOME/instance-4307335-1534178722.xml,AllDifferent:IntVar 1.19/0.87 c (0,0) Constraint Name Generate End 1.19/0.87 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.19/0.87 c (0,0) CSP to CSPinCNF Begin 1.54/1.07 c (0,0) translated 5 (10%) constraints 1.85/1.12 c (0,0) translated 9 (20%) constraints 1.85/1.16 c (0,0) translated 13 (30%) constraints 1.85/1.19 c (0,0) translated 17 (40%) constraints 2.17/1.21 c (0,0) translated 21 (50%) constraints 2.17/1.22 c (0,0) translated 26 (60%) constraints 2.17/1.23 c (0,0) translated 30 (70%) constraints 2.17/1.23 c (0,0) translated 34 (80%) constraints 2.17/1.25 c (0,0) translated 38 (90%) constraints 2.17/1.25 c (0,0) translated 42 (100%) constraints 2.44/1.31 c (0,0) STATISTICS1:HOME/instance-4307335-1534178722.xml,AllDifferent:IntVar,64,812,8,8,8,2,8:728,8:1960,8:36;7:8;6:8;5:8;4:8;3:8;2:736,2:728;1:504, 2.44/1.31 c (0,0) ========================================== 2.44/1.31 c (0,0) Both Encoding selects: 2.44/1.31 c (0,0) Order 2.44/1.31 c (0,0) ========================================== 2.44/1.34 c (0,0) translated 82 (10%) constraints 2.44/1.35 c (0,0) translated 163 (20%) constraints 2.44/1.36 c (0,0) translated 244 (30%) constraints 2.44/1.37 c (0,0) translated 325 (40%) constraints 2.44/1.38 c (0,0) translated 406 (50%) constraints 2.44/1.38 c (0,0) translated 488 (60%) constraints 2.44/1.39 c (0,0) translated 569 (70%) constraints 2.74/1.40 c (0,0) translated 650 (80%) constraints 2.74/1.40 c (0,0) translated 731 (90%) constraints 2.74/1.41 c (0,0) translated 812 (100%) constraints 2.74/1.41 c (0,0) CSP to CSPinCNF End 2.74/1.41 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8 2.74/1.41 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.74/1.42 c (0,0) CSPinCNF Propagation Begin 2.74/1.44 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 2.74/1.44 c (0,0) CSPinCNF Propagation End 2.74/1.44 c (0,0) CSP: 64 int (0 aux), 0 bool (0 aux), 812 ctr, max domain size 8 2.74/1.44 c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 2.74/1.44 c (0,0) Simplify CSPinCNF Begin 3.12/1.56 c (1,1) Simplify CSPinCNF End 3.12/1.56 c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8 3.12/1.56 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.12/1.56 c (1,1) Calculate Precise Domain Begin 3.12/1.56 c (1,1) 0 values are removed by re-calculation 3.12/1.56 c (1,1) Calculate Precise Domain End 3.12/1.56 c (1,1) CSP: 64 int (0 aux), 1456 bool (1456 aux), 2268 ctr, max domain size 8 3.12/1.56 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 25 MiB used (max 0 MiB) 3.12/1.56 c (1,1) CSPinCNF to SatSolver Begin 3.46/1.66 c (1,1) 227 (10 %) CSP clauses are encoded (1904 SAT variables, 1646 SAT clauses) 3.46/1.69 c (1,1) 454 (20 %) CSP clauses are encoded (1904 SAT variables, 2902 SAT clauses) 3.87/1.70 c (1,1) 681 (30 %) CSP clauses are encoded (1904 SAT variables, 4172 SAT clauses) 3.87/1.72 c (1,1) 908 (40 %) CSP clauses are encoded (1904 SAT variables, 5428 SAT clauses) 3.87/1.73 c (1,1) 1134 (50 %) CSP clauses are encoded (1904 SAT variables, 6683 SAT clauses) 3.87/1.74 c (1,1) 1361 (60 %) CSP clauses are encoded (1904 SAT variables, 7946 SAT clauses) 3.87/1.75 c (1,1) 1588 (70 %) CSP clauses are encoded (1904 SAT variables, 9195 SAT clauses) 3.87/1.76 c (1,1) 1815 (80 %) CSP clauses are encoded (1904 SAT variables, 10409 SAT clauses) 3.87/1.77 c (1,1) 2042 (90 %) CSP clauses are encoded (1904 SAT variables, 11623 SAT clauses) 3.87/1.78 c (1,1) 2268 (100 %) CSP clauses are encoded (1904 SAT variables, 12843 SAT clauses) 3.87/1.78 c (1,1) Launch Command will be: glucose-syrup -model -nthreads=8 -maxmemory=20000 3.87/1.78 c (1,1) CSPinCNF to SatSolver End 3.87/1.78 c (1,1) Heap : 337 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 4.30/1.82 c (1,1) STATISTICS2:HOME/instance-4307335-1534178722.xml,AllDifferent:IntVar,1520,2268,8,8,8,2,8:1456,8:3416;2:2912,8:36;7:8;6:8;5:8;4:8;3:8;2:2192,2:1456;1:3416, 4.30/1.82 c (1,1) 1904 bool, 12844 clause 4.30/1.82 c (1,1) Export Begin 4.30/1.90 c (1,1) Export to HOME/scop-20827-serial-file.bin 4.30/1.90 c (1,1) Export End 4.30/1.90 c (1,1) Export File Size: 0.01 MB 4.30/1.90 c (1,1) 0,0,0,0,1,1,1,STOP-AFTER(DIMACS) 4.30/1.90 c END-Prog: Mon Aug 13 18:45:24 CEST 2018 4.60/1.95 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp scop.jar fun.scop.XCSP18Solve HOME/scop-20827-serial-file.bin 5.24/2.44 c (0,0) Read Serial File Begin 5.24/2.44 c (0,0) HOME/scop-20827-serial-file.bin 5.53/2.60 c (0,0) Read Serial File End 5.53/2.61 5.53/2.61 scop order+glucose-syrup (2018-07-31) 5.53/2.61 (Solving Process) 5.53/2.61 5.53/2.63 c BEGIN-Prog: Mon Aug 13 18:45:24 CEST 2018 5.53/2.63 c PID: 20850 5.53/2.63 c IP: 172.20.3.134 5.53/2.63 c HOST: node134.alineos.net 5.53/2.64 c (0,0) SatSolver.solve Begin 5.53/2.64 c (0,0) 0 bool, 0 clause 5.53/2.64 c (0,0) glucose-syrup -model -nthreads=8 -maxmemory=20000 HOME/instance-4307335-1534178722.xml-scop-20830.cnf 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c This is glucose-syrup 4.1 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c WARNING: for repeatability, setting FPU to use double precision 76.71/11.64 c (9,0) c 8 solvers engines and 1 companion as a blackboard created. 76.71/11.64 c (9,0) c ========================================[ Problem Statistics ]=========================================== 76.71/11.64 c (9,0) c | | 76.71/11.64 c (9,0) c | Number of variables: 1904 | 76.71/11.64 c (9,0) c | Number of clauses: 12844 | 76.71/11.64 c (9,0) c | Parse time: 0.00 s | 76.71/11.64 c (9,0) c | | 76.71/11.64 c (9,0) c | Eliminated clauses: 0.01 Mb | 76.71/11.64 c (9,0) c | Simplification time: 0.01 s | 76.71/11.64 c (9,0) c | | 76.71/11.64 c (9,0) c | Generating clones | 76.71/11.64 c (9,0) c | all clones generated. Memory = 34.05Mb. | 76.71/11.64 c (9,0) c ========================================================================================================| 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c |-------------------------------------------------------------------------------------------------------| 76.71/11.64 c (9,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 76.71/11.64 c (9,0) c |-------------------------------------------------------------------------------------------------------| 76.71/11.64 c (9,0) c | 0 | 118 | 96639 | 73230 | 12054 | 19666 | 10514 | 78837 | 7596 | 0.000 | 76.71/11.64 c (9,0) c | 1 | 143 | 100174 | 75779 | 11977 | 22221 | 10944 | 74885 | 6908 | 0.000 | 76.71/11.64 c (9,0) c | 2 | 119 | 103799 | 80735 | 11924 | 27172 | 12040 | 65825 | 7120 | 0.000 | 76.71/11.64 c (9,0) c | 3 | 59 | 98901 | 79785 | 11976 | 26217 | 12024 | 77608 | 5384 | 0.000 | 76.71/11.64 c (9,0) c | 4 | 167 | 95313 | 71922 | 11985 | 18356 | 10500 | 78750 | 7520 | 0.000 | 76.71/11.64 c (9,0) c | 5 | 97 | 95097 | 75083 | 11592 | 21513 | 11080 | 77971 | 7624 | 0.000 | 76.71/11.64 c (9,0) c | 6 | 117 | 99355 | 76721 | 12048 | 23160 | 11223 | 68786 | 7559 | 0.000 | 76.71/11.64 c (9,0) c | 7 | 126 | 97558 | 74340 | 12013 | 20779 | 11331 | 78237 | 7666 | 0.000 | 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c synthesis 607596 conflicts 66690615 propagations 15545 conflicts/sec 1706256 propagations/sec 76.71/11.64 c (9,0) c Total Memory so far : 621.89Mb 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Try to adapt solver strategies 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Nothing extreme in this problem, continue with glucose default strategies. 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Try to adapt solver strategies 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Nothing extreme in this problem, continue with glucose default strategies. 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Try to adapt solver strategies 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Nothing extreme in this problem, continue with glucose default strategies. 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Try to adapt solver strategies 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c Nothing extreme in this problem, continue with glucose default strategies. 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c 76.71/11.64 c (9,0) c |-------------------------------------------------------------------------------------------------------| 76.71/11.64 c (9,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 76.71/11.64 c (9,0) c |-------------------------------------------------------------------------------------------------------| 76.71/11.64 c (9,0) c | 0 | 147 | 141122 | 111601 | 12064 | 20217 | 14556 | 104721 | 10435 | 0.002 | 76.71/11.64 c (9,0) c | 1 | 182 | 149131 | 118229 | 11997 | 26854 | 15413 | 100335 | 9140 | 0.002 | 76.71/11.64 c (9,0) c | 2 | 215 | 141229 | 110549 | 11969 | 39368 | 15168 | 104268 | 9450 | 0.000 | 76.71/11.64 c (9,0) c | 3 | 137 | 141119 | 113266 | 12018 | 21878 | 15499 | 103946 | 9440 | 0.000 | 188.36/25.63 c (23,0) c | 4 | 244 | 135837 | 105666 | 12003 | 34489 | 14217 | 103296 | 9758 | 0.002 | 188.36/25.63 c (23,0) c | 5 | 152 | 139093 | 112419 | 11689 | 21042 | 14934 | 96311 | 9811 | 0.002 | 188.36/25.63 c (23,0) c | 6 | 179 | 138260 | 109993 | 12051 | 38816 | 14735 | 104669 | 9642 | 0.000 | 188.36/25.63 c (23,0) c | 7 | 236 | 140849 | 108981 | 12034 | 37804 | 14945 | 103309 | 10162 | 0.002 | 188.36/25.63 c (23,0) c 188.36/25.63 c (23,0) c synthesis 890704 conflicts 99855047 propagations 12553 conflicts/sec 1407243 propagations/sec 188.36/25.63 c (23,0) c Total Memory so far : 629.62Mb 188.36/25.63 c (23,0) c 188.36/25.63 c (23,0) c |-------------------------------------------------------------------------------------------------------| 188.36/25.63 c (23,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 188.36/25.63 c (23,0) c |-------------------------------------------------------------------------------------------------------| 188.36/25.63 c (23,0) c | 0 | 201 | 189123 | 152534 | 12067 | 38354 | 18381 | 129359 | 13133 | 0.000 | 188.36/25.63 c (23,0) c | 1 | 182 | 193087 | 158607 | 12019 | 44424 | 19492 | 100335 | 10080 | 0.002 | 188.36/25.63 c (23,0) c | 2 | 285 | 190368 | 152618 | 11985 | 38436 | 19330 | 124124 | 11945 | 0.002 | 188.36/25.63 c (23,0) c | 3 | 158 | 193263 | 159304 | 12035 | 45114 | 20622 | 131071 | 10985 | 0.000 | 188.36/25.63 c (23,0) c | 4 | 365 | 183154 | 143962 | 12017 | 29780 | 17923 | 127541 | 12277 | 0.000 | 188.36/25.63 c (23,0) c | 5 | 249 | 183369 | 148536 | 11752 | 34353 | 18362 | 133262 | 12402 | 0.000 | 188.36/25.63 c (23,0) c | 6 | 241 | 185156 | 150159 | 12060 | 35974 | 18128 | 133049 | 12517 | 0.000 | 188.36/25.63 c (23,0) c | 7 | 277 | 193008 | 154861 | 12046 | 40679 | 19457 | 132163 | 12281 | 0.000 | 188.36/25.63 c (23,0) c 188.36/25.63 c (23,0) c synthesis 1220583 conflicts 138968922 propagations 11021 conflicts/sec 1254844 propagations/sec 188.36/25.63 c (23,0) c Total Memory so far : 635.03Mb 188.36/25.63 c (23,0) c 188.36/25.63 c (23,0) c |-------------------------------------------------------------------------------------------------------| 188.36/25.63 c (23,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 188.36/25.63 c (23,0) c |-------------------------------------------------------------------------------------------------------| 188.36/25.63 c (23,0) c | 0 | 247 | 231804 | 189919 | 12075 | 50336 | 20685 | 144555 | 15475 | 0.000 | 188.36/25.63 c (23,0) c | 1 | 246 | 228138 | 188275 | 12025 | 48692 | 21308 | 149984 | 11868 | 0.000 | 188.36/25.63 c (23,0) c | 2 | 285 | 230385 | 189116 | 11992 | 49530 | 22164 | 124124 | 12666 | 0.002 | 188.36/25.63 c (23,0) c | 3 | 216 | 237996 | 197952 | 12043 | 30361 | 22555 | 149841 | 13693 | 0.002 | 188.36/25.63 c (23,0) c | 4 | 395 | 227380 | 182307 | 12027 | 42721 | 20892 | 149846 | 14540 | 0.000 | 188.36/25.63 c (23,0) c | 5 | 260 | 230329 | 191103 | 11777 | 51519 | 22016 | 135902 | 14437 | 0.002 | 188.36/25.63 c (23,0) c | 6 | 267 | 218313 | 179536 | 12064 | 39947 | 19887 | 152592 | 14262 | 0.000 | 188.36/25.63 c (23,0) c | 7 | 277 | 243740 | 201124 | 12049 | 33542 | 22994 | 132163 | 14057 | 0.000 | 188.36/25.63 c (23,0) c 188.36/25.63 c (23,0) c synthesis 1519332 conflicts 172758958 propagations 10094 conflicts/sec 1147755 propagations/sec 188.36/25.63 c (23,0) c Total Memory so far : 639.65Mb 188.36/25.63 c (23,0) c 188.36/25.63 c (23,0) c |-------------------------------------------------------------------------------------------------------| 188.36/25.63 c (23,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 188.36/25.63 c (23,0) c |-------------------------------------------------------------------------------------------------------| 188.36/25.63 c (23,0) c | 0 | 247 | 263846 | 219108 | 12075 | 51523 | 23614 | 144555 | 16459 | 0.000 | 188.36/25.63 c (23,0) c | 1 | 328 | 255916 | 210404 | 12031 | 42821 | 22727 | 163647 | 14155 | 0.002 | 188.36/25.63 c (23,0) c | 2 | 353 | 255244 | 209412 | 12000 | 41820 | 23984 | 162989 | 14250 | 0.000 | 188.36/25.63 c (23,0) c | 3 | 328 | 262256 | 216085 | 12048 | 48494 | 23833 | 163629 | 15469 | 0.000 | 284.08/37.63 c (35,0) c | 4 | 423 | 252109 | 203697 | 12029 | 36110 | 23220 | 164902 | 15624 | 0.000 | 284.08/37.63 c (35,0) c | 5 | 260 | 260040 | 218314 | 11806 | 50728 | 24377 | 135902 | 15006 | 0.002 | 284.08/37.63 c (35,0) c | 6 | 286 | 242628 | 201142 | 12066 | 33555 | 21635 | 164907 | 15816 | 0.002 | 284.08/37.63 c (35,0) c | 7 | 319 | 271294 | 224535 | 12053 | 56953 | 24758 | 163281 | 15722 | 0.000 | 284.08/37.63 c (35,0) c 284.08/37.63 c (35,0) c synthesis 1702697 conflicts 195857245 propagations 9335 conflicts/sec 1073785 propagations/sec 284.08/37.63 c (35,0) c Total Memory so far : 642.17Mb 284.08/37.63 c (35,0) c 284.08/37.63 c (35,0) c |-------------------------------------------------------------------------------------------------------| 284.08/37.63 c (35,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 284.08/37.63 c (35,0) c |-------------------------------------------------------------------------------------------------------| 284.08/37.63 c (35,0) c | 0 | 247 | 293444 | 246149 | 12075 | 47960 | 26347 | 144555 | 17019 | 0.000 | 284.08/37.63 c (35,0) c | 1 | 381 | 285013 | 234977 | 12033 | 36798 | 24277 | 173554 | 15825 | 0.000 | 284.08/37.63 c (35,0) c | 2 | 386 | 274053 | 225245 | 12000 | 57653 | 25282 | 176400 | 15571 | 0.000 | 284.08/37.63 c (35,0) c | 3 | 355 | 292023 | 242217 | 12052 | 44026 | 26133 | 170651 | 17086 | 0.002 | 284.08/37.63 c (35,0) c | 4 | 436 | 280152 | 228451 | 12030 | 60864 | 25296 | 166480 | 17240 | 0.000 | 284.08/37.63 c (35,0) c | 5 | 278 | 286631 | 241718 | 11821 | 43528 | 26080 | 175385 | 16255 | 0.002 | 284.08/37.63 c (35,0) c | 6 | 328 | 264651 | 219725 | 12067 | 52138 | 22402 | 175916 | 17294 | 0.000 | 284.08/37.63 c (35,0) c | 7 | 353 | 303413 | 252407 | 12057 | 54220 | 26906 | 175018 | 17395 | 0.000 | 284.08/37.63 c (35,0) c 284.08/37.63 c (35,0) c synthesis 1890889 conflicts 217228942 propagations 8825 conflicts/sec 1013809 propagations/sec 284.08/37.63 c (35,0) c Total Memory so far : 646.00Mb 284.08/37.63 c (35,0) c 284.08/37.63 c (35,0) c |-------------------------------------------------------------------------------------------------------| 284.08/37.63 c (35,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 284.08/37.63 c (35,0) c |-------------------------------------------------------------------------------------------------------| 284.08/37.63 c (35,0) c | 0 | 265 | 316901 | 266757 | 12076 | 35372 | 28028 | 188174 | 18882 | 0.000 | 284.08/37.63 c (35,0) c | 1 | 493 | 305788 | 250136 | 12037 | 51956 | 25328 | 189320 | 17243 | 0.000 | 284.08/37.63 c (35,0) c | 2 | 394 | 305775 | 253529 | 12003 | 55336 | 28654 | 184883 | 16824 | 0.002 | 284.08/37.63 c (35,0) c | 3 | 357 | 321044 | 268461 | 12052 | 37070 | 28547 | 187398 | 18063 | 0.000 | 284.08/37.63 c (35,0) c | 4 | 440 | 305005 | 250680 | 12030 | 52488 | 27560 | 188926 | 17955 | 0.002 | 284.08/37.64 c (35,0) c | 5 | 305 | 307235 | 259336 | 11837 | 61146 | 27104 | 187593 | 18167 | 0.002 | 284.08/37.64 c (35,0) c | 6 | 405 | 278105 | 229346 | 12067 | 31160 | 22868 | 191813 | 18529 | 0.000 | 284.08/37.64 c (35,0) c | 7 | 385 | 329629 | 274700 | 12063 | 43308 | 28405 | 187438 | 18982 | 0.002 | 284.08/37.64 c (35,0) c 284.08/37.64 c (35,0) c synthesis 2052945 conflicts 236367130 propagations 8342 conflicts/sec 960458 propagations/sec 284.08/37.64 c (35,0) c Total Memory so far : 649.67Mb 284.08/37.64 c (35,0) c 284.08/37.64 c (35,0) c |-------------------------------------------------------------------------------------------------------| 284.08/37.64 c (35,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 284.08/37.64 c (35,0) c |-------------------------------------------------------------------------------------------------------| 284.08/37.64 c (35,0) c | 0 | 303 | 347594 | 293320 | 12077 | 61935 | 29478 | 197794 | 20559 | 0.000 | 284.08/37.64 c (35,0) c | 1 | 503 | 329743 | 271591 | 12039 | 40204 | 27001 | 196135 | 18387 | 0.002 | 284.08/37.64 c (35,0) c | 2 | 394 | 332611 | 277602 | 12004 | 46211 | 31088 | 184883 | 17766 | 0.002 | 284.08/37.64 c (35,0) c | 3 | 416 | 345800 | 288774 | 12053 | 57383 | 29500 | 197817 | 19808 | 0.000 | 284.08/37.64 c (35,0) c | 4 | 480 | 322101 | 264721 | 12033 | 33329 | 28453 | 196326 | 19399 | 0.000 | 379.79/49.63 c (47,0) c | 5 | 330 | 341282 | 289011 | 11844 | 57622 | 29869 | 197079 | 19933 | 0.000 | 379.79/49.63 c (47,0) c | 6 | 457 | 298775 | 246310 | 12069 | 48124 | 24169 | 205247 | 19660 | 0.000 | 379.79/49.63 c (47,0) c | 7 | 426 | 353655 | 294696 | 12066 | 63304 | 29865 | 197118 | 20329 | 0.000 | 379.79/49.63 c (47,0) c 379.79/49.63 c (47,0) c synthesis 2226028 conflicts 256149699 propagations 8009 conflicts/sec 921597 propagations/sec 379.79/49.63 c (47,0) c Total Memory so far : 652.34Mb 379.79/49.63 c (47,0) c 379.79/49.63 c (47,0) c |-------------------------------------------------------------------------------------------------------| 379.79/49.63 c (47,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 379.79/49.63 c (47,0) c |-------------------------------------------------------------------------------------------------------| 379.79/49.63 c (47,0) c | 0 | 390 | 365052 | 306295 | 12079 | 39107 | 30099 | 209655 | 21741 | 0.000 | 379.79/49.63 c (47,0) c | 1 | 556 | 358622 | 295955 | 12040 | 64568 | 29128 | 209691 | 20014 | 0.000 | 379.79/49.63 c (47,0) c | 2 | 398 | 360580 | 302891 | 12010 | 71500 | 33425 | 199205 | 19287 | 0.000 | 379.79/49.63 c (47,0) c | 3 | 492 | 361202 | 300209 | 12053 | 68818 | 30010 | 208928 | 20968 | 0.000 | 379.79/49.63 c (47,0) c | 4 | 523 | 347457 | 285883 | 12036 | 54491 | 29573 | 210161 | 20557 | 0.000 | 379.79/49.63 c (47,0) c | 5 | 348 | 357920 | 303001 | 11847 | 71612 | 30773 | 208961 | 21080 | 0.000 | 379.79/49.63 c (47,0) c | 6 | 486 | 320271 | 264631 | 12069 | 33240 | 25581 | 212749 | 20977 | 0.000 | 379.79/49.63 c (47,0) c | 7 | 442 | 377319 | 315100 | 12068 | 47911 | 31200 | 207676 | 21499 | 0.001 | 379.79/49.63 c (47,0) c 379.79/49.63 c (47,0) c synthesis 2373965 conflicts 273210440 propagations 7662 conflicts/sec 881828 propagations/sec 379.79/49.63 c (47,0) c Total Memory so far : 656.33Mb 379.79/49.63 c (47,0) c 379.79/49.63 c (47,0) c |-------------------------------------------------------------------------------------------------------| 379.79/49.63 c (47,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 379.79/49.63 c (47,0) c |-------------------------------------------------------------------------------------------------------| 379.79/49.63 c (47,0) c | 0 | 425 | 393383 | 330234 | 12079 | 63046 | 31802 | 216793 | 23131 | 0.002 | 379.79/49.63 c (47,0) c | 1 | 568 | 391029 | 324820 | 12045 | 57634 | 31200 | 219825 | 20967 | 0.000 | 379.79/49.63 c (47,0) c | 2 | 465 | 386607 | 323956 | 12014 | 56761 | 34534 | 216844 | 20893 | 0.000 | 379.79/49.63 c (47,0) c | 3 | 514 | 384791 | 320543 | 12055 | 53351 | 31619 | 219776 | 22293 | 0.000 | 379.79/49.63 c (47,0) c | 4 | 559 | 369599 | 304515 | 12042 | 37323 | 30622 | 217743 | 21806 | 0.000 | 379.79/49.63 c (47,0) c | 5 | 405 | 385452 | 325679 | 11858 | 58489 | 31726 | 218873 | 22523 | 0.000 | 379.79/49.63 c (47,0) c | 6 | 572 | 343685 | 282859 | 12070 | 51469 | 27038 | 224247 | 22149 | 0.002 | 379.79/49.63 c (47,0) c | 7 | 476 | 402857 | 336874 | 12072 | 69685 | 32950 | 217580 | 22918 | 0.000 | 379.79/49.63 c (47,0) c 379.79/49.63 c (47,0) c synthesis 2549481 conflicts 292721937 propagations 7462 conflicts/sec 856734 propagations/sec 379.79/49.63 c (47,0) c Total Memory so far : 657.87Mb 379.79/49.63 c (47,0) c 379.79/49.63 c (47,0) c |-------------------------------------------------------------------------------------------------------| 379.79/49.63 c (47,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 379.79/49.63 c (47,0) c |-------------------------------------------------------------------------------------------------------| 379.79/49.63 c (47,0) c | 0 | 442 | 415150 | 349082 | 12080 | 43495 | 33157 | 225508 | 24099 | 0.000 | 379.79/49.63 c (47,0) c | 1 | 620 | 407950 | 338350 | 12048 | 71164 | 31828 | 228804 | 22232 | 0.000 | 379.79/49.63 c (47,0) c | 2 | 532 | 403978 | 336988 | 12017 | 69793 | 35204 | 223979 | 22191 | 0.000 | 379.79/49.63 c (47,0) c | 3 | 538 | 410806 | 342933 | 12059 | 75741 | 33527 | 227013 | 23652 | 0.000 | 379.79/49.63 c (47,0) c | 4 | 583 | 395701 | 327192 | 12045 | 60001 | 32537 | 225348 | 23128 | 0.002 | 379.79/49.63 c (47,0) c | 5 | 455 | 400982 | 338131 | 11864 | 70941 | 32255 | 228678 | 23483 | 0.000 | 475.50/61.63 c (59,0) c | 6 | 626 | 365040 | 300281 | 12072 | 68891 | 28199 | 232670 | 23149 | 0.000 | 475.50/61.63 c (59,0) c | 7 | 515 | 426416 | 356711 | 12073 | 51123 | 34227 | 226403 | 24045 | 0.000 | 475.50/61.63 c (59,0) c 475.50/61.63 c (59,0) c synthesis 2689670 conflicts 308378700 propagations 7200 conflicts/sec 825526 propagations/sec 475.50/61.63 c (59,0) c Total Memory so far : 661.64Mb 475.50/61.63 c (59,0) c 475.50/61.63 c (59,0) c |-------------------------------------------------------------------------------------------------------| 475.50/61.63 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 475.50/61.63 c (59,0) c |-------------------------------------------------------------------------------------------------------| 475.50/61.63 c (59,0) c | 0 | 454 | 436043 | 367025 | 12082 | 61438 | 34653 | 236861 | 25047 | 0.000 | 475.50/61.63 c (59,0) c | 1 | 648 | 429023 | 355979 | 12051 | 50397 | 32774 | 238223 | 23415 | 0.000 | 475.50/61.63 c (59,0) c | 2 | 542 | 432901 | 362120 | 12025 | 56527 | 36645 | 234719 | 23282 | 0.000 | 475.50/61.63 c (59,0) c | 3 | 623 | 433969 | 360806 | 12059 | 55214 | 34340 | 236566 | 24726 | 0.000 | 475.50/61.63 c (59,0) c | 4 | 602 | 418852 | 347318 | 12046 | 41735 | 34430 | 235229 | 24090 | 0.000 | 475.50/61.63 c (59,0) c | 5 | 467 | 426681 | 360884 | 11867 | 55298 | 33706 | 237878 | 24612 | 0.000 | 475.50/61.63 c (59,0) c | 6 | 701 | 383444 | 314155 | 12074 | 46965 | 29223 | 241823 | 24206 | 0.002 | 475.50/61.63 c (59,0) c | 7 | 535 | 452725 | 379534 | 12074 | 73946 | 35838 | 235402 | 25280 | 0.000 | 475.50/61.63 c (59,0) c 475.50/61.63 c (59,0) c synthesis 2847821 conflicts 326205261 propagations 7024 conflicts/sec 804580 propagations/sec 475.50/61.63 c (59,0) c Total Memory so far : 663.54Mb 475.50/61.63 c (59,0) c 475.50/61.64 c (59,0) c |-------------------------------------------------------------------------------------------------------| 475.50/61.64 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 475.50/61.64 c (59,0) c |-------------------------------------------------------------------------------------------------------| 475.50/61.64 c (59,0) c | 0 | 486 | 462283 | 389638 | 12084 | 43055 | 36153 | 240645 | 26359 | 0.000 | 475.50/61.64 c (59,0) c | 1 | 729 | 448021 | 369945 | 12054 | 64364 | 33467 | 246257 | 24424 | 0.000 | 475.50/61.64 c (59,0) c | 2 | 579 | 452801 | 378355 | 12025 | 72762 | 37405 | 241333 | 24493 | 0.002 | 475.50/61.64 c (59,0) c | 3 | 637 | 453636 | 377815 | 12062 | 72223 | 35442 | 244297 | 25573 | 0.000 | 475.50/61.64 c (59,0) c | 4 | 659 | 440903 | 364738 | 12049 | 59155 | 35476 | 244242 | 25151 | 0.000 | 475.50/61.64 c (59,0) c | 5 | 517 | 443869 | 374214 | 11882 | 68628 | 34596 | 243861 | 25731 | 0.002 | 475.50/61.64 c (59,0) c | 6 | 730 | 408504 | 335356 | 12075 | 68166 | 30786 | 248910 | 25366 | 0.000 | 475.50/61.64 c (59,0) c | 7 | 557 | 464643 | 389417 | 12074 | 42832 | 36428 | 243323 | 25931 | 0.000 | 475.50/61.64 c (59,0) c 475.50/61.64 c (59,0) c synthesis 2979479 conflicts 340625698 propagations 6813 conflicts/sec 778906 propagations/sec 475.50/61.64 c (59,0) c Total Memory so far : 665.85Mb 475.50/61.64 c (59,0) c 475.50/61.64 c (59,0) c |-------------------------------------------------------------------------------------------------------| 475.50/61.64 c (59,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 475.50/61.64 c (59,0) c |-------------------------------------------------------------------------------------------------------| 475.50/61.64 c (59,0) c | 0 | 493 | 486406 | 410680 | 12086 | 64097 | 38370 | 249469 | 27183 | 0.000 | 475.50/61.64 c (59,0) c | 1 | 776 | 465557 | 384125 | 12057 | 78544 | 34080 | 252889 | 25465 | 0.000 | 475.50/61.64 c (59,0) c | 2 | 610 | 473387 | 395373 | 12025 | 48780 | 38507 | 249372 | 25439 | 0.000 | 475.50/61.64 c (59,0) c | 3 | 688 | 467270 | 388440 | 12064 | 41853 | 35889 | 251995 | 26453 | 0.000 | 475.50/61.64 c (59,0) c | 4 | 675 | 463445 | 384068 | 12051 | 78485 | 36326 | 251384 | 26160 | 0.000 | 475.50/61.64 c (59,0) c | 5 | 543 | 465649 | 392667 | 11896 | 46080 | 35767 | 251877 | 26720 | 0.000 | 475.50/61.64 c (59,0) c | 6 | 772 | 423715 | 347524 | 12080 | 41934 | 31558 | 255732 | 26186 | 0.000 | 571.21/73.63 c (71,0) c | 7 | 600 | 484934 | 405569 | 12075 | 58984 | 37411 | 250491 | 26908 | 0.000 | 571.21/73.63 c (71,0) c 571.21/73.63 c (71,0) c synthesis 3108448 conflicts 355085403 propagations 6625 conflicts/sec 756841 propagations/sec 571.21/73.63 c (71,0) c Total Memory so far : 667.80Mb 571.21/73.63 c (71,0) c 571.21/73.63 c (71,0) c |-------------------------------------------------------------------------------------------------------| 571.21/73.63 c (71,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 571.21/73.63 c (71,0) c |-------------------------------------------------------------------------------------------------------| 571.21/73.63 c (71,0) c | 0 | 550 | 502041 | 422754 | 12086 | 76171 | 39085 | 256415 | 28205 | 0.000 | 571.21/73.63 c (71,0) c | 1 | 811 | 486612 | 401507 | 12059 | 54921 | 35013 | 258367 | 26367 | 0.000 | 571.21/73.63 c (71,0) c | 2 | 652 | 494907 | 413135 | 12029 | 66542 | 39284 | 256370 | 26515 | 0.000 | 571.21/73.63 c (71,0) c | 3 | 721 | 492089 | 409241 | 12069 | 62654 | 36578 | 259280 | 27536 | 0.000 | 571.21/73.63 c (71,0) c | 4 | 703 | 484158 | 401592 | 12054 | 55004 | 37192 | 258000 | 27084 | 0.000 | 571.21/73.63 c (71,0) c | 5 | 554 | 490594 | 414351 | 11899 | 67764 | 37826 | 258020 | 27607 | 0.002 | 571.21/73.63 c (71,0) c | 6 | 824 | 444230 | 364008 | 12083 | 58418 | 32518 | 263327 | 27109 | 0.000 | 571.21/73.63 c (71,0) c | 7 | 631 | 503925 | 421380 | 12078 | 74795 | 38370 | 257464 | 27853 | 0.000 | 571.21/73.63 c (71,0) c 571.21/73.63 c (71,0) c synthesis 3247969 conflicts 370230427 propagations 6482 conflicts/sec 738919 propagations/sec 571.21/73.63 c (71,0) c Total Memory so far : 669.09Mb 571.21/73.63 c (71,0) c 571.21/73.63 c (71,0) c |-------------------------------------------------------------------------------------------------------| 571.21/73.63 c (71,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 571.21/73.63 c (71,0) c |-------------------------------------------------------------------------------------------------------| 571.21/73.63 c (71,0) c | 0 | 589 | 515056 | 432904 | 12086 | 86321 | 39752 | 262535 | 28948 | 0.000 | 571.21/73.63 c (71,0) c | 1 | 843 | 510365 | 421749 | 12060 | 75163 | 35975 | 263707 | 27185 | 0.000 | 571.21/73.63 c (71,0) c | 2 | 692 | 509269 | 424388 | 12030 | 77795 | 39805 | 261329 | 27453 | 0.000 | 571.21/73.63 c (71,0) c | 3 | 745 | 508517 | 423063 | 12072 | 76476 | 37187 | 264568 | 28275 | 0.002 | 571.21/73.63 c (71,0) c | 4 | 727 | 505409 | 419549 | 12055 | 72962 | 38132 | 261549 | 28099 | 0.002 | 571.21/73.63 c (71,0) c | 5 | 570 | 510580 | 431362 | 11911 | 84775 | 38795 | 261150 | 28545 | 0.000 | 571.21/73.63 c (71,0) c | 6 | 832 | 465594 | 382265 | 12085 | 76675 | 33665 | 268580 | 27942 | 0.000 | 571.21/73.63 c (71,0) c | 7 | 654 | 516167 | 431573 | 12078 | 84988 | 38982 | 262761 | 28537 | 0.000 | 571.21/73.63 c (71,0) c 571.21/73.63 c (71,0) c synthesis 3366853 conflicts 383147677 propagations 6318 conflicts/sec 718960 propagations/sec 571.21/73.63 c (71,0) c Total Memory so far : 671.38Mb 571.21/73.63 c (71,0) c 571.21/73.63 c (71,0) c |-------------------------------------------------------------------------------------------------------| 571.21/73.63 c (71,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 571.21/73.63 c (71,0) c |-------------------------------------------------------------------------------------------------------| 571.21/73.63 c (71,0) c | 0 | 638 | 535506 | 449762 | 12086 | 59582 | 40374 | 268037 | 29726 | 0.000 | 571.21/73.63 c (71,0) c | 1 | 864 | 524819 | 433802 | 12061 | 87216 | 36592 | 271741 | 27895 | 0.000 | 571.21/73.63 c (71,0) c | 2 | 708 | 521618 | 434740 | 12033 | 44548 | 40326 | 268023 | 28125 | 0.002 | 571.21/73.63 c (71,0) c | 3 | 780 | 528685 | 439841 | 12074 | 49649 | 38039 | 269059 | 29051 | 0.002 | 571.21/73.63 c (71,0) c | 4 | 769 | 522116 | 432980 | 12055 | 86393 | 38701 | 269278 | 28927 | 0.000 | 571.21/73.63 c (71,0) c | 5 | 588 | 527127 | 445167 | 11911 | 54981 | 39469 | 268801 | 29332 | 0.000 | 571.21/73.63 c (71,0) c | 6 | 868 | 488511 | 401636 | 12086 | 55044 | 35161 | 272304 | 28857 | 0.000 | 571.21/73.63 c (71,0) c | 7 | 696 | 533097 | 445039 | 12079 | 54849 | 39793 | 268273 | 29388 | 0.000 | 571.21/73.63 c (71,0) c 666.92/85.63 c (83,0) c synthesis 3482968 conflicts 396303715 propagations 6167 conflicts/sec 701672 propagations/sec 666.92/85.63 c (83,0) c Total Memory so far : 673.60Mb 666.92/85.63 c (83,0) c 666.92/85.63 c (83,0) c |-------------------------------------------------------------------------------------------------------| 666.92/85.63 c (83,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 666.92/85.63 c (83,0) c |-------------------------------------------------------------------------------------------------------| 666.92/85.63 c (83,0) c | 0 | 651 | 547988 | 460171 | 12091 | 69991 | 40903 | 271081 | 30195 | 0.002 | 666.92/85.63 c (83,0) c | 1 | 880 | 549313 | 454633 | 12063 | 64443 | 37669 | 273785 | 28669 | 0.002 | 666.92/85.63 c (83,0) c | 2 | 731 | 541988 | 451917 | 12034 | 61725 | 41038 | 270561 | 28873 | 0.002 | 666.92/85.63 c (83,0) c | 3 | 780 | 547860 | 456438 | 12076 | 66246 | 39759 | 269059 | 29630 | 0.002 | 666.92/85.63 c (83,0) c | 4 | 792 | 544834 | 452236 | 12058 | 62055 | 40059 | 273321 | 29762 | 0.000 | 666.92/85.63 c (83,0) c | 5 | 610 | 544897 | 460015 | 11911 | 69830 | 40115 | 275872 | 30238 | 0.002 | 666.92/85.63 c (83,0) c | 6 | 902 | 501903 | 412312 | 12088 | 65720 | 35926 | 275830 | 29388 | 0.000 | 666.92/85.63 c (83,0) c | 7 | 709 | 552383 | 461340 | 12081 | 71150 | 41464 | 275379 | 30216 | 0.000 | 666.92/85.63 c (83,0) c 666.92/85.63 c (83,0) c synthesis 3609063 conflicts 411576556 propagations 6049 conflicts/sec 689773 propagations/sec 666.92/85.63 c (83,0) c Total Memory so far : 673.95Mb 666.92/85.63 c (83,0) c 666.92/85.63 c (83,0) c |-------------------------------------------------------------------------------------------------------| 666.92/85.63 c (83,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 666.92/85.63 c (83,0) c |-------------------------------------------------------------------------------------------------------| 666.92/85.63 c (83,0) c | 0 | 651 | 564365 | 474496 | 12091 | 84316 | 41627 | 271081 | 30674 | 0.002 | 666.92/85.63 c (83,0) c | 1 | 881 | 567799 | 470550 | 12065 | 80359 | 38692 | 284943 | 29153 | 0.000 | 666.92/85.63 c (83,0) c | 2 | 762 | 556883 | 463919 | 12040 | 73727 | 41575 | 281943 | 29565 | 0.000 | 666.92/85.63 c (83,0) c | 3 | 780 | 563209 | 469879 | 12076 | 79687 | 41250 | 269059 | 30020 | 0.002 | 666.92/85.63 c (83,0) c | 4 | 809 | 558560 | 464084 | 12058 | 73903 | 40935 | 282439 | 30352 | 0.002 | 666.92/85.63 c (83,0) c | 5 | 635 | 562245 | 474240 | 11911 | 84055 | 40653 | 280179 | 31138 | 0.002 | 666.92/85.63 c (83,0) c | 6 | 919 | 514833 | 423165 | 12089 | 76573 | 36741 | 286663 | 29989 | 0.002 | 666.92/85.63 c (83,0) c | 7 | 709 | 565020 | 472381 | 12081 | 82191 | 42371 | 275379 | 30779 | 0.000 | 666.92/85.63 c (83,0) c 666.92/85.63 c (83,0) c synthesis 3712714 conflicts 424606677 propagations 5907 conflicts/sec 675563 propagations/sec 666.92/85.63 c (83,0) c Total Memory so far : 675.38Mb 666.92/85.63 c (83,0) c 666.92/85.63 c (83,0) c |-------------------------------------------------------------------------------------------------------| 666.92/85.63 c (83,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 666.92/85.63 c (83,0) c |-------------------------------------------------------------------------------------------------------| 666.92/85.63 c (83,0) c | 0 | 655 | 582787 | 490739 | 12091 | 54289 | 42486 | 288603 | 31327 | 0.053 | 666.92/85.63 c (83,0) c | 1 | 881 | 590150 | 490210 | 12066 | 53824 | 39610 | 284943 | 29932 | 0.000 | 666.92/85.63 c (83,0) c | 2 | 804 | 570549 | 474739 | 12042 | 83743 | 42077 | 289544 | 30348 | 0.053 | 666.92/85.63 c (83,0) c | 3 | 780 | 578721 | 483567 | 12076 | 47174 | 43002 | 269059 | 30359 | 0.009 | 666.92/85.63 c (83,0) c | 4 | 836 | 571042 | 474311 | 12063 | 81052 | 41599 | 289949 | 31050 | 0.053 | 666.92/85.63 c (83,0) c | 5 | 662 | 578433 | 487666 | 11914 | 51114 | 41310 | 289567 | 31900 | 0.054 | 666.92/85.63 c (83,0) c | 6 | 946 | 532153 | 437336 | 12090 | 45787 | 38230 | 293329 | 30890 | 0.053 | 666.92/85.63 c (83,0) c | 7 | 713 | 578947 | 484375 | 12082 | 47985 | 43308 | 286253 | 31416 | 0.000 | 666.92/85.63 c (83,0) c 666.92/85.63 c (83,0) c synthesis 3822944 conflicts 437462034 propagations 5789 conflicts/sec 662421 propagations/sec 794.53/101.63 c (99,0) c Total Memory so far : 676.82Mb 794.53/101.63 c (99,0) c 794.53/101.63 c (99,0) c |-------------------------------------------------------------------------------------------------------| 794.53/101.63 c (99,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 794.53/101.63 c (99,0) c |-------------------------------------------------------------------------------------------------------| 794.53/101.63 c (99,0) c | 0 | 667 | 605922 | 511065 | 12092 | 74615 | 43400 | 294473 | 32426 | 0.053 | 794.53/101.63 c (99,0) c | 1 | 918 | 606302 | 503341 | 12067 | 66877 | 40278 | 297433 | 30626 | 0.053 | 794.53/101.63 c (99,0) c | 2 | 831 | 581941 | 484015 | 12042 | 47217 | 42581 | 295000 | 30998 | 0.053 | 794.53/101.63 c (99,0) c | 3 | 792 | 598534 | 500654 | 12076 | 59687 | 44141 | 293321 | 31418 | 0.053 | 794.53/101.63 c (99,0) c | 4 | 875 | 580723 | 481645 | 12063 | 88386 | 42090 | 295810 | 31663 | 0.053 | 794.53/101.63 c (99,0) c | 5 | 702 | 595570 | 501778 | 11923 | 65226 | 42264 | 295010 | 32605 | 0.053 | 794.53/101.63 c (99,0) c | 6 | 988 | 549245 | 451271 | 12092 | 59722 | 38896 | 298505 | 31703 | 0.053 | 794.53/101.63 c (99,0) c | 7 | 736 | 603249 | 505288 | 12084 | 67997 | 44308 | 292088 | 32231 | 0.053 | 794.53/101.63 c (99,0) c 794.53/101.63 c (99,0) c synthesis 3939057 conflicts 450909109 propagations 5690 conflicts/sec 651358 propagations/sec 794.53/101.63 c (99,0) c Total Memory so far : 677.67Mb 794.53/101.63 c (99,0) c 794.53/101.63 c (99,0) c |-------------------------------------------------------------------------------------------------------| 794.53/101.63 c (99,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 794.53/101.63 c (99,0) c |-------------------------------------------------------------------------------------------------------| 794.53/101.63 c (99,0) c | 0 | 683 | 626550 | 529152 | 12094 | 92702 | 44301 | 299244 | 33677 | 0.053 | 794.53/101.63 c (99,0) c | 1 | 925 | 622615 | 517596 | 12067 | 81132 | 40960 | 299339 | 31291 | 0.054 | 794.53/101.63 c (99,0) c | 2 | 879 | 600197 | 498727 | 12044 | 61930 | 43439 | 300211 | 31656 | 0.053 | 794.53/101.63 c (99,0) c | 3 | 804 | 612131 | 512348 | 12077 | 71382 | 44686 | 298606 | 32408 | 0.055 | 794.53/101.63 c (99,0) c | 4 | 900 | 598943 | 496993 | 12066 | 59071 | 42768 | 300845 | 32242 | 0.053 | 794.53/101.63 c (99,0) c | 5 | 703 | 610498 | 514857 | 11926 | 78305 | 43181 | 298911 | 33068 | 0.054 | 794.53/101.63 c (99,0) c | 6 | 1036 | 563370 | 462410 | 12093 | 70861 | 39348 | 302558 | 32427 | 0.053 | 794.53/101.63 c (99,0) c | 7 | 757 | 620841 | 520287 | 12086 | 82996 | 44974 | 298654 | 32872 | 0.053 | 794.53/101.63 c (99,0) c 794.53/101.63 c (99,0) c synthesis 4052370 conflicts 464047469 propagations 5596 conflicts/sec 640814 propagations/sec 794.53/101.63 c (99,0) c Total Memory so far : 678.77Mb 794.53/101.63 c (99,0) c 794.53/101.63 c (99,0) c |-------------------------------------------------------------------------------------------------------| 794.53/101.63 c (99,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 794.53/101.63 c (99,0) c |-------------------------------------------------------------------------------------------------------| 794.53/101.63 c (99,0) c | 0 | 727 | 637276 | 537356 | 12095 | 52132 | 44678 | 303522 | 34302 | 0.053 | 794.53/101.63 c (99,0) c | 1 | 954 | 635860 | 528727 | 12068 | 92263 | 41532 | 306271 | 31877 | 0.053 | 794.53/101.63 c (99,0) c | 2 | 897 | 616799 | 512650 | 12049 | 75853 | 44392 | 301286 | 32233 | 0.053 | 794.53/101.63 c (99,0) c | 3 | 819 | 628908 | 526791 | 12077 | 85824 | 45272 | 301332 | 33417 | 0.053 | 794.53/101.63 c (99,0) c | 4 | 910 | 618375 | 513947 | 12066 | 76025 | 43588 | 305128 | 32868 | 0.053 | 794.53/101.63 c (99,0) c | 5 | 712 | 625447 | 527467 | 11932 | 90915 | 44237 | 302342 | 33773 | 0.053 | 794.53/101.63 c (99,0) c | 6 | 1036 | 575131 | 472701 | 12093 | 81152 | 39979 | 302558 | 32941 | 0.053 | 794.53/101.63 c (99,0) c | 7 | 781 | 632499 | 529782 | 12086 | 92491 | 45383 | 302200 | 33490 | 0.053 | 794.53/101.63 c (99,0) c 794.53/101.63 c (99,0) c synthesis 4149423 conflicts 475695873 propagations 5488 conflicts/sec 629189 propagations/sec 794.53/101.63 c (99,0) c Total Memory so far : 681.03Mb 794.53/101.63 c (99,0) c 890.23/113.63 c (111,0) c |-------------------------------------------------------------------------------------------------------| 890.23/113.63 c (111,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 890.23/113.63 c (111,0) c |-------------------------------------------------------------------------------------------------------| 890.23/113.63 c (111,0) c | 0 | 727 | 651220 | 549720 | 12095 | 64496 | 45463 | 303522 | 34757 | 0.053 | 890.23/113.63 c (111,0) c | 1 | 982 | 652098 | 542538 | 12069 | 57312 | 42116 | 312868 | 32468 | 0.053 | 890.23/113.63 c (111,0) c | 2 | 897 | 629215 | 523494 | 12052 | 86697 | 45402 | 301286 | 32580 | 0.053 | 890.23/113.63 c (111,0) c | 3 | 827 | 640493 | 536909 | 12077 | 49430 | 45710 | 308347 | 33999 | 0.053 | 890.23/113.63 c (111,0) c | 4 | 927 | 631925 | 525344 | 12066 | 87422 | 44177 | 310753 | 33450 | 0.053 | 890.23/113.63 c (111,0) c | 5 | 713 | 639806 | 540050 | 11932 | 54784 | 45363 | 309460 | 34212 | 0.053 | 890.23/113.63 c (111,0) c | 6 | 1036 | 589112 | 484991 | 12094 | 47920 | 40821 | 302558 | 33365 | 0.053 | 890.23/113.63 c (111,0) c | 7 | 790 | 644974 | 540333 | 12090 | 54697 | 45948 | 309045 | 33971 | 0.053 | 890.23/113.63 c (111,0) c 890.23/113.63 c (111,0) c synthesis 4243379 conflicts 487721699 propagations 5385 conflicts/sec 618985 propagations/sec 890.23/113.63 c (111,0) c Total Memory so far : 682.32Mb 890.23/113.63 c (111,0) c 890.23/113.63 c (111,0) c |-------------------------------------------------------------------------------------------------------| 890.23/113.63 c (111,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 890.23/113.63 c (111,0) c |-------------------------------------------------------------------------------------------------------| 890.23/113.63 c (111,0) c | 0 | 740 | 668060 | 564257 | 12095 | 70487 | 46223 | 312028 | 35275 | 0.107 | 890.23/113.63 c (111,0) c | 1 | 998 | 667973 | 556061 | 12071 | 70708 | 42729 | 318532 | 33048 | 0.105 | 890.23/113.63 c (111,0) c | 2 | 924 | 641767 | 533629 | 12052 | 87511 | 46370 | 314921 | 33225 | 0.105 | 890.23/113.63 c (111,0) c | 3 | 841 | 655783 | 549954 | 12079 | 62160 | 46272 | 312394 | 34438 | 0.107 | 890.23/113.63 c (111,0) c | 4 | 965 | 647460 | 537852 | 12071 | 51450 | 44812 | 316450 | 34052 | 0.105 | 890.23/113.63 c (111,0) c | 5 | 726 | 657356 | 555201 | 11934 | 69257 | 46078 | 314841 | 35013 | 0.105 | 890.23/113.63 c (111,0) c | 6 | 1045 | 606766 | 500159 | 12094 | 57876 | 41868 | 318964 | 34088 | 0.105 | 890.23/113.63 c (111,0) c | 7 | 794 | 662033 | 555109 | 12092 | 69473 | 46947 | 309265 | 34451 | 0.055 | 890.23/113.63 c (111,0) c 890.23/113.63 c (111,0) c synthesis 4352222 conflicts 500790209 propagations 5309 conflicts/sec 610850 propagations/sec 890.23/113.63 c (111,0) c Total Memory so far : 682.82Mb 890.23/113.63 c (111,0) c 890.23/113.63 c (111,0) c |-------------------------------------------------------------------------------------------------------| 890.23/113.63 c (111,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 890.23/113.63 c (111,0) c |-------------------------------------------------------------------------------------------------------| 890.23/113.63 c (111,0) c | 0 | 747 | 683694 | 577868 | 12096 | 75147 | 47218 | 319780 | 35881 | 0.212 | 890.23/113.63 c (111,0) c | 1 | 1027 | 680719 | 566402 | 12071 | 80688 | 43155 | 323879 | 33686 | 0.210 | 890.23/113.63 c (111,0) c | 2 | 953 | 657574 | 546846 | 12053 | 56793 | 46739 | 319651 | 33709 | 0.210 | 890.23/113.63 c (111,0) c | 3 | 862 | 671564 | 563415 | 12079 | 75375 | 46902 | 319817 | 35001 | 0.210 | 890.23/113.63 c (111,0) c | 4 | 993 | 664316 | 551828 | 12071 | 65426 | 45722 | 320299 | 34765 | 0.210 | 890.23/113.63 c (111,0) c | 5 | 743 | 670733 | 566491 | 11939 | 80548 | 46619 | 317897 | 35781 | 0.105 | 890.23/113.63 c (111,0) c | 6 | 1052 | 624520 | 515533 | 12095 | 70448 | 42768 | 321890 | 34951 | 0.158 | 890.23/113.63 c (111,0) c | 7 | 794 | 673956 | 565571 | 12092 | 79935 | 47946 | 309265 | 34807 | 0.056 | 890.23/113.63 c (111,0) c 890.23/113.63 c (111,0) c synthesis 4453954 conflicts 513318697 propagations 5229 conflicts/sec 602690 propagations/sec 890.23/113.63 c (111,0) c Total Memory so far : 683.91Mb 890.23/113.63 c (111,0) c 890.23/113.63 c (111,0) c |-------------------------------------------------------------------------------------------------------| 985.94/125.63 c (123,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 985.94/125.63 c (123,0) c |-------------------------------------------------------------------------------------------------------| 985.94/125.63 c (123,0) c | 0 | 761 | 699133 | 590869 | 12096 | 45516 | 47893 | 321007 | 36498 | 0.210 | 985.94/125.63 c (123,0) c | 1 | 1053 | 695247 | 578694 | 12072 | 92980 | 43738 | 328336 | 34335 | 0.210 | 985.94/125.63 c (123,0) c | 2 | 984 | 675336 | 561839 | 12053 | 71122 | 47149 | 326052 | 34234 | 0.210 | 985.94/125.63 c (123,0) c | 3 | 875 | 688468 | 578288 | 12079 | 89620 | 47509 | 325615 | 35695 | 0.212 | 985.94/125.63 c (123,0) c | 4 | 1017 | 680244 | 565261 | 12076 | 77299 | 46621 | 325292 | 35420 | 0.210 | 985.94/125.63 c (123,0) c | 5 | 770 | 681990 | 575704 | 11941 | 86244 | 47166 | 325860 | 36359 | 0.212 | 985.94/125.63 c (123,0) c | 6 | 1052 | 644759 | 533169 | 12095 | 88084 | 43916 | 321890 | 35677 | 0.158 | 985.94/125.63 c (123,0) c | 7 | 794 | 687365 | 577412 | 12094 | 91776 | 49275 | 309265 | 35157 | 0.056 | 985.94/125.63 c (123,0) c 985.94/125.63 c (123,0) c synthesis 4561236 conflicts 525792820 propagations 5162 conflicts/sec 595063 propagations/sec 985.94/125.63 c (123,0) c Total Memory so far : 684.68Mb 985.94/125.63 c (123,0) c 985.94/125.63 c (123,0) c |-------------------------------------------------------------------------------------------------------| 985.94/125.63 c (123,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 985.94/125.63 c (123,0) c |-------------------------------------------------------------------------------------------------------| 985.94/125.64 c (123,0) c | 0 | 765 | 718029 | 607178 | 12097 | 61460 | 48479 | 329756 | 36942 | 0.264 | 985.94/125.64 c (123,0) c | 1 | 1075 | 710176 | 591640 | 12073 | 54412 | 44327 | 333875 | 34943 | 0.264 | 986.74/125.77 c (123,0) c | 2 | 1024 | 689296 | 573136 | 12054 | 81988 | 47440 | 330625 | 34789 | 0.263 | 986.74/125.77 c (123,0) c | 3 | 890 | 700912 | 588675 | 12081 | 50349 | 47975 | 330651 | 36353 | 0.263 | 986.74/125.77 c (123,0) c | 4 | 1043 | 693437 | 576350 | 12077 | 86625 | 47325 | 330745 | 36023 | 0.263 | 986.74/125.77 c (123,0) c | 5 | 771 | 696138 | 588042 | 11945 | 49314 | 47887 | 328634 | 37017 | 0.263 | 986.74/125.77 c (123,0) c | 6 | 1052 | 663194 | 549278 | 12095 | 59739 | 44804 | 321890 | 36073 | 0.158 | 986.74/125.77 c (123,0) c | 7 | 800 | 701770 | 589839 | 12094 | 44946 | 50402 | 328225 | 35770 | 0.263 | 986.74/125.77 c (123,0) c 986.74/125.77 c (123,0) c synthesis 4664138 conflicts 538625204 propagations 5095 conflicts/sec 588360 propagations/sec 986.74/125.77 c (123,0) c Total Memory so far : 685.96Mb 986.74/125.77 c (123,0) c 986.74/125.77 c (123,0) c |-------------------------------------------------------------------------------------------------------| 986.74/125.77 c (123,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 986.74/125.77 c (123,0) c |-------------------------------------------------------------------------------------------------------| 986.74/125.77 c (123,0) c | 0 | 765 | 737327 | 624244 | 12097 | 78526 | 49100 | 329756 | 37439 | 0.264 | 986.74/125.77 c (123,0) c | 1 | 1082 | 730125 | 609011 | 12076 | 71783 | 45424 | 338363 | 35600 | 0.317 | 986.74/125.77 c (123,0) c | 2 | 1047 | 700254 | 581856 | 12054 | 90707 | 47735 | 335398 | 35370 | 0.315 | 986.74/125.77 c (123,0) c | 3 | 933 | 717247 | 602158 | 12082 | 63832 | 48644 | 335159 | 37122 | 0.317 | 986.74/125.77 c (123,0) c | 4 | 1054 | 706060 | 587177 | 12079 | 97452 | 48104 | 336220 | 36655 | 0.315 | 986.74/125.77 c (123,0) c | 5 | 773 | 714202 | 603703 | 11946 | 64033 | 49201 | 334393 | 37527 | 0.315 | 986.74/125.77 c (123,0) c | 6 | 1065 | 681568 | 565246 | 12095 | 75264 | 45373 | 336020 | 36766 | 0.315 | 986.74/125.77 c (123,0) c | 7 | 819 | 718245 | 603784 | 12094 | 58890 | 50773 | 332200 | 36391 | 0.315 | 986.74/125.77 c (123,0) c 986.74/125.77 c (123,0) c synthesis 4777179 conflicts 552249245 propagations 5043 conflicts/sec 582937 propagations/sec 986.74/125.77 c (123,0) c Total Memory so far : 716.41Mb 986.74/125.77 c (123,0) c 986.74/125.77 c (123,0) c |-------------------------------------------------------------------------------------------------------| 986.74/125.77 c (123,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1081.64/137.63 c (135,0) c |-------------------------------------------------------------------------------------------------------| 1081.64/137.63 c (135,0) c | 0 | 765 | 754723 | 639652 | 12097 | 93934 | 49612 | 329756 | 37797 | 0.264 | 1081.64/137.63 c (135,0) c | 1 | 1082 | 742881 | 620386 | 12077 | 83158 | 46144 | 338363 | 35939 | 0.317 | 1081.64/137.63 c (135,0) c | 2 | 1047 | 709964 | 590457 | 12055 | 50890 | 48145 | 335398 | 35836 | 0.315 | 1081.64/137.63 c (135,0) c | 3 | 939 | 730361 | 613504 | 12082 | 74966 | 49571 | 338408 | 37606 | 0.315 | 1081.64/137.63 c (135,0) c | 4 | 1069 | 720104 | 599270 | 12081 | 60343 | 48654 | 339541 | 37143 | 0.317 | 1081.64/137.63 c (135,0) c | 5 | 774 | 727739 | 615660 | 11947 | 75990 | 50030 | 335363 | 37998 | 0.315 | 1081.64/137.63 c (135,0) c | 6 | 1067 | 694984 | 576955 | 12097 | 80510 | 45641 | 342842 | 37290 | 0.315 | 1081.64/137.63 c (135,0) c | 7 | 831 | 733934 | 617279 | 12094 | 72077 | 51327 | 336746 | 36907 | 0.315 | 1081.64/137.63 c (135,0) c 1081.64/137.63 c (135,0) c synthesis 4873163 conflicts 564909746 propagations 4976 conflicts/sec 576878 propagations/sec 1081.64/137.63 c (135,0) c Total Memory so far : 716.55Mb 1081.64/137.63 c (135,0) c 1081.64/137.63 c (135,0) c |-------------------------------------------------------------------------------------------------------| 1081.64/137.63 c (135,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1081.64/137.63 c (135,0) c |-------------------------------------------------------------------------------------------------------| 1081.64/137.63 c (135,0) c | 0 | 772 | 771318 | 654116 | 12100 | 57040 | 50499 | 343213 | 38543 | 0.368 | 1081.64/137.63 c (135,0) c | 1 | 1105 | 756049 | 631419 | 12077 | 93849 | 46825 | 347554 | 36568 | 0.368 | 1081.64/137.63 c (135,0) c | 2 | 1077 | 726635 | 604352 | 12056 | 64684 | 49067 | 344357 | 36592 | 0.368 | 1081.64/137.63 c (135,0) c | 3 | 948 | 740510 | 622124 | 12082 | 83347 | 50192 | 343690 | 38091 | 0.368 | 1081.64/137.63 c (135,0) c | 4 | 1069 | 737956 | 614995 | 12084 | 76068 | 49533 | 339541 | 37559 | 0.317 | 1081.64/137.63 c (135,0) c | 5 | 794 | 742963 | 628715 | 11948 | 88778 | 50791 | 343640 | 38600 | 0.368 | 1081.64/137.63 c (135,0) c | 6 | 1090 | 704360 | 584631 | 12099 | 88186 | 45982 | 348511 | 37888 | 0.368 | 1081.64/137.63 c (135,0) c | 7 | 847 | 744562 | 626129 | 12095 | 80927 | 51616 | 341789 | 37483 | 0.368 | 1081.64/137.63 c (135,0) c 1081.64/137.63 c (135,0) c synthesis 4966481 conflicts 576386564 propagations 4912 conflicts/sec 570043 propagations/sec 1081.64/137.63 c (135,0) c Total Memory so far : 716.55Mb 1081.64/137.63 c (135,0) c 1081.64/137.63 c (135,0) c |-------------------------------------------------------------------------------------------------------| 1081.64/137.63 c (135,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1081.64/137.63 c (135,0) c |-------------------------------------------------------------------------------------------------------| 1081.64/137.63 c (135,0) c | 0 | 779 | 783381 | 664405 | 12100 | 66793 | 51086 | 348377 | 38997 | 0.420 | 1081.64/137.63 c (135,0) c | 1 | 1108 | 765523 | 639643 | 12077 | 102073 | 47302 | 350472 | 37027 | 0.368 | 1081.64/137.63 c (135,0) c | 2 | 1090 | 743410 | 618794 | 12057 | 79035 | 50093 | 349361 | 37250 | 0.420 | 1081.64/137.63 c (135,0) c | 3 | 957 | 752383 | 632148 | 12082 | 93370 | 51219 | 348235 | 38730 | 0.420 | 1081.64/137.63 c (135,0) c | 4 | 1089 | 748617 | 623834 | 12084 | 84834 | 49972 | 347953 | 37963 | 0.369 | 1081.64/137.63 c (135,0) c | 5 | 816 | 753689 | 637558 | 11952 | 97621 | 51183 | 347890 | 39199 | 0.420 | 1081.64/137.63 c (135,0) c | 6 | 1113 | 726616 | 603883 | 12099 | 61410 | 46474 | 352848 | 38536 | 0.420 | 1081.64/137.63 c (135,0) c | 7 | 853 | 758243 | 638109 | 12095 | 92785 | 52169 | 346037 | 38043 | 0.420 | 1081.64/137.63 c (135,0) c 1081.64/137.63 c (135,0) c synthesis 5058374 conflicts 587875222 propagations 4850 conflicts/sec 563624 propagations/sec 1081.64/137.63 c (135,0) c Total Memory so far : 716.55Mb 1081.64/137.63 c (135,0) c 1081.64/137.63 c (135,0) c |-------------------------------------------------------------------------------------------------------| 1081.64/137.63 c (135,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1081.64/137.63 c (135,0) c |-------------------------------------------------------------------------------------------------------| 1177.35/149.63 c (147,0) c | 0 | 791 | 794991 | 674339 | 12100 | 76727 | 51487 | 349899 | 39626 | 0.473 | 1177.35/149.63 c (147,0) c | 1 | 1114 | 776300 | 648909 | 12077 | 57285 | 48001 | 356829 | 37561 | 0.525 | 1177.35/149.63 c (147,0) c | 2 | 1093 | 759997 | 633527 | 12057 | 89868 | 51408 | 350709 | 37948 | 0.475 | 1177.35/149.63 c (147,0) c | 3 | 963 | 762649 | 640996 | 12082 | 95424 | 51971 | 351666 | 39315 | 0.473 | 1177.35/149.63 c (147,0) c | 4 | 1089 | 760381 | 634179 | 12084 | 95179 | 50568 | 347953 | 38335 | 0.369 | 1177.35/149.63 c (147,0) c | 5 | 829 | 762639 | 645153 | 11960 | 50955 | 51656 | 353072 | 39712 | 0.525 | 1177.35/149.63 c (147,0) c | 6 | 1117 | 742474 | 617761 | 12099 | 75288 | 46931 | 356550 | 39042 | 0.474 | 1177.35/149.63 c (147,0) c | 7 | 857 | 773895 | 652065 | 12095 | 57106 | 52866 | 348585 | 38643 | 0.475 | 1177.35/149.63 c (147,0) c 1177.35/149.63 c (147,0) c synthesis 5146929 conflicts 599445392 propagations 4788 conflicts/sec 557663 propagations/sec 1177.35/149.63 c (147,0) c Total Memory so far : 716.55Mb 1177.35/149.63 c (147,0) c 1177.35/149.63 c (147,0) c |-------------------------------------------------------------------------------------------------------| 1177.35/149.63 c (147,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1177.35/149.63 c (147,0) c |-------------------------------------------------------------------------------------------------------| 1177.35/149.63 c (147,0) c | 0 | 794 | 809792 | 687479 | 12101 | 89293 | 52365 | 357801 | 40287 | 0.630 | 1177.35/149.63 c (147,0) c | 1 | 1121 | 787596 | 658842 | 12077 | 67218 | 48558 | 358075 | 38015 | 0.578 | 1177.35/149.63 c (147,0) c | 2 | 1096 | 768599 | 641001 | 12057 | 97341 | 52098 | 354647 | 38395 | 0.579 | 1177.35/149.63 c (147,0) c | 3 | 966 | 775848 | 652495 | 12083 | 57420 | 52761 | 355483 | 39886 | 0.580 | 1177.35/149.63 c (147,0) c | 4 | 1092 | 772977 | 645140 | 12085 | 52438 | 51068 | 358403 | 38777 | 0.630 | 1177.35/149.63 c (147,0) c | 5 | 841 | 773405 | 654294 | 11961 | 60096 | 52128 | 356096 | 40124 | 0.578 | 1177.35/149.63 c (147,0) c | 6 | 1122 | 758106 | 631358 | 12100 | 88373 | 47494 | 361470 | 39565 | 0.578 | 1177.35/149.63 c (147,0) c | 7 | 857 | 787831 | 664437 | 12102 | 69478 | 53722 | 348585 | 39110 | 0.476 | 1177.35/149.63 c (147,0) c 1177.35/149.63 c (147,0) c synthesis 5235046 conflicts 611441649 propagations 4730 conflicts/sec 552468 propagations/sec 1177.35/149.63 c (147,0) c Total Memory so far : 716.55Mb 1177.35/149.63 c (147,0) c 1177.35/149.63 c (147,0) c |-------------------------------------------------------------------------------------------------------| 1177.35/149.63 c (147,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1177.35/149.63 c (147,0) c |-------------------------------------------------------------------------------------------------------| 1177.35/149.63 c (147,0) c | 0 | 799 | 820735 | 697128 | 12101 | 98942 | 52949 | 361839 | 41049 | 0.735 | 1177.35/149.63 c (147,0) c | 1 | 1128 | 802251 | 671685 | 12077 | 78307 | 49219 | 366320 | 38623 | 0.735 | 1177.35/149.63 c (147,0) c | 2 | 1096 | 779281 | 650342 | 12058 | 56218 | 52886 | 354647 | 38794 | 0.580 | 1177.35/149.63 c (147,0) c | 3 | 966 | 786441 | 661900 | 12084 | 66825 | 53618 | 355483 | 40195 | 0.580 | 1177.35/149.63 c (147,0) c | 4 | 1099 | 789022 | 659138 | 12087 | 66436 | 51775 | 362912 | 39405 | 0.735 | 1177.35/149.63 c (147,0) c | 5 | 843 | 785545 | 664887 | 11963 | 70090 | 52690 | 361652 | 40659 | 0.632 | 1177.35/149.63 c (147,0) c | 6 | 1124 | 770435 | 642016 | 12100 | 99031 | 47800 | 367925 | 40111 | 0.735 | 1177.35/149.63 c (147,0) c | 7 | 857 | 798916 | 674280 | 12102 | 63894 | 54790 | 359585 | 39526 | 0.683 | 1177.35/149.63 c (147,0) c 1177.35/149.63 c (147,0) c synthesis 5321376 conflicts 623304903 propagations 4674 conflicts/sec 547418 propagations/sec 1177.35/149.63 c (147,0) c Total Memory so far : 716.55Mb 1177.35/149.63 c (147,0) c 1177.35/149.63 c (147,0) c |-------------------------------------------------------------------------------------------------------| 1177.35/149.63 c (147,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1177.35/149.63 c (147,0) c |-------------------------------------------------------------------------------------------------------| 1217.23/154.67 c (152,0) c | 0 | 806 | 832745 | 707524 | 12103 | 53869 | 53551 | 367726 | 41638 | 0.953 | 1217.23/154.67 c (152,0) c | 1 | 1130 | 811557 | 679821 | 12077 | 86443 | 49730 | 368265 | 39150 | 0.840 | 1217.23/154.67 c (152,0) c | 2 | 1096 | 793216 | 662725 | 12060 | 68601 | 53833 | 354647 | 39174 | 0.580 | 1217.23/154.67 c (152,0) c | 3 | 967 | 798256 | 672359 | 12084 | 69078 | 54269 | 364552 | 40717 | 0.840 | 1217.23/154.67 c (152,0) c | 4 | 1100 | 798488 | 667343 | 12087 | 72377 | 52363 | 368802 | 39823 | 0.945 | 1217.23/154.67 c (152,0) c | 5 | 843 | 799336 | 677060 | 11967 | 82263 | 53489 | 361652 | 41162 | 0.632 | 1217.23/154.67 c (152,0) c | 6 | 1130 | 786773 | 656278 | 12100 | 57976 | 48696 | 372304 | 40905 | 0.998 | 1217.23/154.67 c (152,0) c | 7 | 857 | 808345 | 682381 | 12103 | 71995 | 55353 | 359585 | 40081 | 0.683 | 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c synthesis 5405491 conflicts 634982270 propagations 4618 conflicts/sec 542479 propagations/sec 1217.23/154.67 c (152,0) c Total Memory so far : 716.55Mb 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c |-------------------------------------------------------------------------------------------------------| 1217.23/154.67 c (152,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | % | 1217.23/154.67 c (152,0) c |-------------------------------------------------------------------------------------------------------| 1217.23/154.67 c (152,0) c | 0 | 807 | 844213 | 717494 | 12103 | 63837 | 54385 | 368852 | 42203 | 1.156 | 1217.23/154.67 c (152,0) c | 1 | 1130 | 818393 | 685806 | 12078 | 92428 | 50220 | 368265 | 39500 | 0.840 | 1217.23/154.67 c (152,0) c | 2 | 1097 | 805023 | 672972 | 12067 | 62807 | 54734 | 371182 | 39852 | 1.418 | 1217.23/154.67 c (152,0) c | 3 | 968 | 805956 | 678951 | 12085 | 70020 | 54830 | 369266 | 41225 | 1.208 | 1217.23/154.67 c (152,0) c | 4 | 1101 | 805350 | 673333 | 12087 | 78367 | 52815 | 371489 | 40296 | 1.208 | 1217.23/154.67 c (152,0) c | 5 | 844 | 807365 | 684167 | 11967 | 86643 | 54101 | 368027 | 41576 | 0.945 | 1217.23/154.67 c (152,0) c | 6 | 1131 | 797343 | 665471 | 12101 | 67169 | 49273 | 373818 | 41371 | 1.208 | 1217.23/154.67 c (152,0) c | 7 | 860 | 815321 | 688444 | 12103 | 74677 | 55889 | 368663 | 40648 | 1.261 | 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c synthesis 5466638 conflicts 644603718 propagations 4546 conflicts/sec 536092 propagations/sec 1217.23/154.67 c (152,0) c Total Memory so far : 716.55Mb 1217.23/154.67 c (152,0) c Thread 2 is 100% pure glucose! First thread to finish! (UNSAT answer). 1217.23/154.67 c (152,0) c Total Memory so far : 716.55Mb 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c real time : 152.01 s 1217.23/154.67 c (152,0) c cpu time : 1210.71 s 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1217.23/154.67 c (152,0) c 1217.23/154.67 c (152,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1217.23/154.67 c (152,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 1217.23/154.67 c (152,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1217.23/154.67 c (152,0) c | Conflicts | 5481332 | 719232 | 687427 | 674971 | 680353 | 675184 | 686193 | 667419 | 690553 | 1217.23/154.67 c (152,0) c | Decisions | 6515671 | 846145 | 820264 | 807319 | 807570 | 807412 | 809680 | 799549 | 817732 | 1217.23/154.67 c (152,0) c | Propagations | 646964797 | 82958503 | 81473633 | 78938270 | 79814163 | 79504881 | 82475427 | 79701237 | 82098683 | 1217.23/154.67 c (152,0) c | Avg_Trail | | 781 | 779 | 782 | 780 | 778 | 777 | 777 | 779 | 1217.23/154.67 c (152,0) c | Avg_DL | | 16 | 16 | 16 | 16 | 16 | 17 | 16 | 17 | 1217.23/154.67 c (152,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1217.23/154.67 c (152,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1217.23/154.67 c (152,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1217.23/154.67 c (152,0) c | Exported | 427621 | 54525 | 50380 | 54939 | 54998 | 52984 | 54286 | 49423 | 56086 | 1217.23/154.67 c (152,0) c | Imported | 2971801 | 368852 | 376822 | 372681 | 371449 | 371489 | 368027 | 373818 | 368663 | 1217.23/154.67 c (152,0) c | Good | 2050 | 229 | 286 | 283 | 253 | 266 | 238 | 243 | 252 | 1217.23/154.67 c (152,0) c | Purge | 2969751 | 368623 | 376536 | 372398 | 371196 | 371223 | 367789 | 373575 | 368411 | 1217.23/154.67 c (152,0) c | Promoted | 327887 | 42280 | 39679 | 40119 | 41413 | 40403 | 41686 | 41468 | 40839 | 1217.23/154.67 c (152,0) c | Remove_Imp | 1961896 | 250073 | 239159 | 243985 | 244922 | 243038 | 241517 | 256657 | 242545 | 1217.23/154.67 c (152,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1217.23/154.67 c (152,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1217.23/154.67 c (152,0) c | Unaries | | 6 | 3 | 9 | 3 | 0 | 1 | 3 | 4 | 1217.23/154.67 c (152,0) c | Binaries | | 55 | 34 | 52 | 57 | 27 | 32 | 38 | 41 | 1217.23/154.67 c (152,0) c | Glues | | 269 | 211 | 232 | 239 | 201 | 200 | 213 | 220 | 1217.23/154.67 c (152,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1217.23/154.67 c (152,0) c | Orig_Seen | 94 % | 12103 | 12078 | 12067 | 12085 | 12087 | 11967 | 12101 | 12103 | 1217.23/154.67 c (152,0) c | Diff Orig seen| | 36 | 11 | X | 18 | 20 | - 100 | 34 | 36 | 1217.23/154.67 c (152,0) c | Hamming | 25 % | 536 | 529 | X | 527 | 581 | 345 | 479 | 381 | 1217.23/154.67 c (152,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 1217.23/154.67 c (152,0) 1217.23/154.67 c (152,0) s UNSATISFIABLE 1217.23/154.70 c (152,0) SatSolver.solve End 1217.83/154.70 c (152,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1217.83/154.70 c (152,0) Show results Begin 1217.83/154.70 s UNSATISFIABLE 1217.83/154.70 c (152,0) Show results End 1217.83/154.70 c (152,0) Heap : 143 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1217.83/154.70 c (152,0) 152,152,STOP-AFTER(ALL) 1217.83/154.70 c END-Prog: Mon Aug 13 18:47:57 CEST 2018
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 (10617 MiB free) memory of node 1: 16384 MiB (6757 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307335-1534178722/watcher-4307335-1534178722 -o /tmp/evaluation-result-4307335-1534178722/solver-4307335-1534178722 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534173482-20308 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307335-1534178722.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=20827, runsolver pid=20824 Current StackSize limit: 8192 KiB [startup+0.100074 s]* /proc/loadavg: 8.08 8.38 8.41 2/204 20849 /proc/meminfo: memFree=17697384/32770624 swapFree=67108688/67108860 [pid=20827] ppid=20824 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20827/stat : 20827 (scop.sh) S 20824 20827 20281 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 235435390 115843072 349 33554432000 4194304 5098028 140733434390576 140733434387832 140099372929660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18866176 140733434393635 140733434393859 140733434393859 140733434396621 0 /proc/20827/statm: 28282 349 296 221 0 87 0 [pid=20830] ppid=20827 vsize=27313900 memory=107212 CPUtime=0.1 cores=0-7 /proc/20830/stat : 20830 (java) S 20827 20827 20281 0 -1 1077944320 6795 0 0 0 7 3 0 0 20 0 20 0 235435391 27969433600 26803 33554432000 4194304 4196468 140723065234688 140723065217232 140555890048759 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 /proc/20830/statm: 6828475 26803 2738 1 0 6790935 0 [pid=20830/tid=20831] ppid=20827 vsize=27313900 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/20830/task/20831/stat : 20831 (java) R 20827 20827 20281 0 -1 4202560 4935 0 0 0 6 2 0 0 20 0 20 0 235435391 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555861883328 140555890060694 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20832] ppid=20827 vsize=27313900 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20830/task/20832/stat : 20832 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555894290832 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20833] ppid=20827 vsize=27313900 memory=140679511918208 CPUtime=0 cores=0-7 /proc/20830/task/20833/stat : 20833 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555708446992 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20834] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20834/stat : 20834 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555707394704 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20835] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20835/stat : 20835 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555706341904 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20836] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20836/stat : 20836 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555705289616 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20837] ppid=20827 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/20830/task/20837/stat : 20837 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555704236816 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20838] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20838/stat : 20838 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555703184528 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20839] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20839/stat : 20839 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 26868 33554432000 4194304 4196468 140723065234688 140555702131728 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20840] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20840/stat : 20840 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235435395 27969433600 26868 33554432000 4194304 4196468 140723065234688 140554276939888 140555890059906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20841] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20841/stat : 20841 (java) S 20827 20827 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235435395 27969433600 26868 33554432000 4194304 4196468 140723065234688 140553610060576 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20842] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20842/stat : 20842 (java) S 20827 20827 20281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235435396 27969433600 26868 33554432000 4194304 4196468 140723065234688 140553475839088 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20843] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20843/stat : 20843 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 26868 33554432000 4194304 4196468 140723065234688 140553101334608 140555890067355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20844] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20844/stat : 20844 (java) S 20827 20827 20281 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 26868 33554432000 4194304 4196468 140723065234688 140554275887728 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20845] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20845/stat : 20845 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 26868 33554432000 4194304 4196468 140723065234688 140554274834928 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20846] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20846/stat : 20846 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 26868 33554432000 4194304 4196468 140723065234688 140554273782640 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20847] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20847/stat : 20847 (java) S 20827 20827 20281 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 26868 33554432000 4194304 4196468 140723065234688 140554272729840 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20848] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20848/stat : 20848 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 26868 33554432000 4194304 4196468 140723065234688 140552603429216 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20849] ppid=20827 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/20830/task/20849/stat : 20849 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 26868 33554432000 4194304 4196468 140723065234688 140554271676720 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 108608 KiB [startup+0.210734 s]* /proc/loadavg: 8.08 8.38 8.41 2/204 20849 /proc/meminfo: memFree=17681492/32770624 swapFree=67108688/67108860 [pid=20827] ppid=20824 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20827/stat : 20827 (scop.sh) S 20824 20827 20281 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 235435390 115843072 349 33554432000 4194304 5098028 140733434390576 140733434387832 140099372929660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18866176 140733434393635 140733434393859 140733434393859 140733434396621 0 /proc/20827/statm: 28282 349 296 221 0 87 0 [pid=20830] ppid=20827 vsize=27313900 memory=121576 CPUtime=0.24 cores=0-7 /proc/20830/stat : 20830 (java) S 20827 20827 20281 0 -1 1077944320 10629 0 0 0 20 4 0 0 20 0 20 0 235435391 27969433600 30394 33554432000 4194304 4196468 140723065234688 140723065217232 140555890048759 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 /proc/20830/statm: 6828475 30394 2898 1 0 6790935 0 [pid=20830/tid=20831] ppid=20827 vsize=27313900 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/20830/task/20831/stat : 20831 (java) R 20827 20827 20281 0 -1 4202560 8518 0 0 0 16 3 0 0 20 0 20 0 235435391 27969433600 30394 33554432000 4194304 4196468 140723065234688 140555861871296 140555890070685 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20832] ppid=20827 vsize=27313900 memory=342 CPUtime=0 cores=0-7 /proc/20830/task/20832/stat : 20832 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555894290832 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20833] ppid=20827 vsize=27313900 memory=140679511939051 CPUtime=0 cores=0-7 /proc/20830/task/20833/stat : 20833 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555708446992 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20834] ppid=20827 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/20830/task/20834/stat : 20834 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555707394704 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20835] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20835/stat : 20835 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555706341904 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20836] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20836/stat : 20836 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555705289616 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20837] ppid=20827 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/20830/task/20837/stat : 20837 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555704236816 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20838] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20838/stat : 20838 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555703184528 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20839] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20839/stat : 20839 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 30459 33554432000 4194304 4196468 140723065234688 140555702131728 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20840] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20840/stat : 20840 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235435395 27969433600 30459 33554432000 4194304 4196468 140723065234688 140554276939888 140555890059906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20841] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20841/stat : 20841 (java) S 20827 20827 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235435395 27969433600 30459 33554432000 4194304 4196468 140723065234688 140553610060576 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20842] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20842/stat : 20842 (java) S 20827 20827 20281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235435396 27969433600 30459 33554432000 4194304 4196468 140723065234688 140553475839088 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20843] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20843/stat : 20843 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 30459 33554432000 4194304 4196468 140723065234688 140553101334608 140555890067355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20844] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20844/stat : 20844 (java) S 20827 20827 20281 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 30459 33554432000 4194304 4196468 140723065234688 140554275887728 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20845] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20845/stat : 20845 (java) S 20827 20827 20281 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 30459 33554432000 4194304 4196468 140723065234688 140554274834928 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20846] ppid=20827 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/20830/task/20846/stat : 20846 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 30459 33554432000 4194304 4196468 140723065234688 140554273782640 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20847] ppid=20827 vsize=27313900 memory=-1 CPUtime=0.02 cores=0-7 /proc/20830/task/20847/stat : 20847 (java) S 20827 20827 20281 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 20 0 235435398 27969433600 30459 33554432000 4194304 4196468 140723065234688 140554272729840 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20848] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20848/stat : 20848 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 30459 33554432000 4194304 4196468 140723065234688 140552603429216 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20849] ppid=20827 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/20830/task/20849/stat : 20849 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 30459 33554432000 4194304 4196468 140723065234688 140554271676720 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 122972 KiB [startup+0.310549 s]* /proc/loadavg: 8.08 8.38 8.41 2/204 20849 /proc/meminfo: memFree=17677956/32770624 swapFree=67108688/67108860 [pid=20827] ppid=20824 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20827/stat : 20827 (scop.sh) S 20824 20827 20281 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 235435390 115843072 349 33554432000 4194304 5098028 140733434390576 140733434387832 140099372929660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18866176 140733434393635 140733434393859 140733434393859 140733434396621 0 /proc/20827/statm: 28282 349 296 221 0 87 0 [pid=20830] ppid=20827 vsize=27313900 memory=125364 CPUtime=0.41 cores=0-7 /proc/20830/stat : 20830 (java) S 20827 20827 20281 0 -1 1077944320 11172 0 0 0 37 4 0 0 20 0 20 0 235435391 27969433600 31341 33554432000 4194304 4196468 140723065234688 140723065217232 140555890048759 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 /proc/20830/statm: 6828475 31341 2968 1 0 6790935 0 [pid=20830/tid=20831] ppid=20827 vsize=27313900 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/20830/task/20831/stat : 20831 (java) R 20827 20827 20281 0 -1 4202560 8896 0 0 0 26 3 0 0 20 0 20 0 235435391 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555861844208 140555874129246 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20832] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20832/stat : 20832 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555894290832 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20833] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20833/stat : 20833 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555708446992 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20834] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20834/stat : 20834 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555707394704 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20835] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20835/stat : 20835 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555706341904 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20836] ppid=20827 vsize=27313900 memory=2244 CPUtime=0 cores=0-7 /proc/20830/task/20836/stat : 20836 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555705289616 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20837] ppid=20827 vsize=27313900 memory=140679372174255 CPUtime=0 cores=0-7 /proc/20830/task/20837/stat : 20837 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555704236816 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20838] ppid=20827 vsize=27313900 memory=140679372176560 CPUtime=0 cores=0-7 /proc/20830/task/20838/stat : 20838 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555703184528 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20839] ppid=20827 vsize=27313900 memory=140679372178864 CPUtime=0 cores=0-7 /proc/20830/task/20839/stat : 20839 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235435393 27969433600 31341 33554432000 4194304 4196468 140723065234688 140555702131728 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20840] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20840/stat : 20840 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235435395 27969433600 31341 33554432000 4194304 4196468 140723065234688 140554276939888 140555890059906 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20841] ppid=20827 vsize=27313900 memory=281358744364688 CPUtime=0 cores=0-7 /proc/20830/task/20841/stat : 20841 (java) S 20827 20827 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 235435395 27969433600 31341 33554432000 4194304 4196468 140723065234688 140553610060576 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20842] ppid=20827 vsize=27313900 memory=281358744371600 CPUtime=0 cores=0-7 /proc/20830/task/20842/stat : 20842 (java) S 20827 20827 20281 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 235435396 27969433600 31341 33554432000 4194304 4196468 140723065234688 140553475839088 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20843] ppid=20827 vsize=27313900 memory=281358744312880 CPUtime=0 cores=0-7 /proc/20830/task/20843/stat : 20843 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 31341 33554432000 4194304 4196468 140723065234688 140553101334608 140555890067355 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20844] ppid=20827 vsize=27313900 memory=281358744385424 CPUtime=0 cores=0-7 /proc/20830/task/20844/stat : 20844 (java) S 20827 20827 20281 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 31341 33554432000 4194304 4196468 140723065234688 140554275887728 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20845] ppid=20827 vsize=27313900 memory=281358744392336 CPUtime=0.01 cores=0-7 /proc/20830/task/20845/stat : 20845 (java) S 20827 20827 20281 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 235435398 27969433600 31341 33554432000 4194304 4196468 140723065234688 140554274834928 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20846] ppid=20827 vsize=27313900 memory=281358744390032 CPUtime=0.01 cores=0-7 /proc/20830/task/20846/stat : 20846 (java) S 20827 20827 20281 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 235435398 27969433600 31341 33554432000 4194304 4196468 140723065234688 140554273782640 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20847] ppid=20827 vsize=27313900 memory=281358744406192 CPUtime=0.07 cores=0-7 /proc/20830/task/20847/stat : 20847 (java) S 20827 20827 20281 0 -1 1077944384 316 0 0 0 7 0 0 0 20 0 20 0 235435398 27969433600 31341 33554432000 4194304 4196468 140723065234688 140554272729840 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20848] ppid=20827 vsize=27313900 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20848/stat : 20848 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 31341 33554432000 4194304 4196468 140723065234688 140552603429216 140555890058965 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20849] ppid=20827 vsize=27313900 memory=-1 CPUtime=0 cores=0-7 /proc/20830/task/20849/stat : 20849 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435398 27969433600 31341 33554432000 4194304 4196468 140723065234688 140554271676720 140555890059906 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 Current children cumulated CPU time: 0.41 s Current children cumulated vsize: 27427028 KiB Current children cumulated memory: 126760 KiB [startup+0.700898 s] /proc/loadavg: 8.08 8.38 8.41 2/204 20849 /proc/meminfo: memFree=17653400/32770624 swapFree=67108688/67108860 [pid=20827] ppid=20824 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/20827/stat : 20827 (scop.sh) S 20824 20827 20281 0 -1 4202496 559 322 0 0 0 0 0 0 20 0 1 0 235435390 115843072 349 33554432000 4194304 5098028 140733434390576 140733434387832 140099372929660 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18866176 140733434393635 140733434393859 140733434393859 140733434396621 0 /proc/20827/statm: 28282 349 296 221 0 87 0 [pid=20830] ppid=20827 vsize=27322296 memory=163300 CPUtime=0.98 cores=0-7 /proc/20830/stat : 20830 (java) S 20827 20827 20281 0 -1 1077944320 18345 0 0 0 91 7 0 0 20 0 20 0 235435391 27978031104 40825 33554432000 4194304 4196468 140723065234688 140723065217232 140555890048759 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 /proc/20830/statm: 6830574 40825 3124 1 0 6791959 0 [pid=20830/tid=20831] ppid=20827 vsize=27322296 memory=281358744764080 CPUtime=0.66 cores=0-7 /proc/20830/task/20831/stat : 20831 (java) R 20827 20827 20281 0 -1 4202560 15617 0 0 0 61 5 0 0 20 0 20 0 235435391 27978031104 40825 33554432000 4194304 4196468 140723065234688 140555861885648 140555874129246 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20832] ppid=20827 vsize=27322296 memory=140679372383088 CPUtime=0 cores=0-7 /proc/20830/task/20832/stat : 20832 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27978031104 40825 33554432000 4194304 4196468 140723065234688 140555894290832 140555890058965 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20833] ppid=20827 vsize=27322296 memory=0 CPUtime=0 cores=0-7 /proc/20830/task/20833/stat : 20833 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 235435393 27978031104 40825 33554432000 4194304 4196468 140723065234688 140555708446992 140555890058965 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 [pid=20830/tid=20834] ppid=20827 vsize=27322296 memory=1616 CPUtime=0 cores=0-7 /proc/20830/task/20834/stat : 20834 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 235435393 27978031104 40825 33554432000 4194304 4196468 140723065234688 140555707394704 140555890058965 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23277568 140723065242601 140723065242925 140723065242925 140723065245647 0 ################ # More data... # ################ /proc/20850/task/20862/stat : 20862 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435589 8615837696 30894 33554432000 4194304 4196468 140729022760368 140382281131632 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20863] ppid=20827 vsize=8413904 memory=8099842029939352167 CPUtime=0 cores=0-7 /proc/20850/task/20863/stat : 20863 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140381906623056 140383977199515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20864] ppid=20827 vsize=8413904 memory=8099842029939352167 CPUtime=0.05 cores=0-7 /proc/20850/task/20864/stat : 20864 (java) S 20827 20827 20281 0 -1 1077944384 771 0 0 0 5 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383203813488 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20865] ppid=20827 vsize=8413904 memory=0 CPUtime=0.06 cores=0-7 /proc/20850/task/20865/stat : 20865 (java) S 20827 20827 20281 0 -1 1077944384 230 0 0 0 6 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383202760688 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20866] ppid=20827 vsize=8413904 memory=1732 CPUtime=0.07 cores=0-7 /proc/20850/task/20866/stat : 20866 (java) S 20827 20827 20281 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383201708400 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20867] ppid=20827 vsize=8413904 memory=241 CPUtime=0.21 cores=0-7 /proc/20850/task/20867/stat : 20867 (java) S 20827 20827 20281 0 -1 1077944384 770 0 0 0 21 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383200655600 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20868] ppid=20827 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/20850/task/20868/stat : 20868 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140381408717664 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20869] ppid=20827 vsize=8413904 memory=0 CPUtime=0.07 cores=0-7 /proc/20850/task/20869/stat : 20869 (java) S 20827 20827 20281 0 -1 1077944384 11 0 0 0 0 7 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383199603504 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20871] ppid=20827 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/20850/task/20871/stat : 20871 (java) S 20827 20827 20281 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 235435657 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383191795520 140383977205529 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20873] ppid=20827 vsize=8413904 memory=0 CPUtime=0.03 cores=0-7 /proc/20850/task/20873/stat : 20873 (java) S 20827 20827 20281 0 -1 4202560 707 0 0 0 3 0 0 0 20 0 24 0 235435657 8615837696 30894 33554432000 4194304 4196468 140729022760368 140380737617328 140383977202845 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20874] ppid=20827 vsize=8413904 memory=1316 CPUtime=0 cores=0-7 /proc/20850/task/20874/stat : 20874 (java) S 20827 20827 20281 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 235435657 8615837696 30894 33554432000 4194304 4196468 140729022760368 140381006052624 140383977202845 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20883] ppid=20827 vsize=8413904 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/20850/task/20883/stat : 20883 (java) S 20827 20827 20281 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 235435659 8615837696 30894 33554432000 4194304 4196468 140729022760368 140380469189920 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 Current children cumulated CPU time: 1215.63 s Current children cumulated vsize: 9260772 KiB Current children cumulated memory: 669684 KiB [startup+154.602 s] /proc/loadavg: 8.12 8.22 8.34 9/217 20885 /proc/meminfo: memFree=17138332/32770624 swapFree=67108688/67108860 [pid=20827] ppid=20824 vsize=113128 memory=1472 CPUtime=4.65 cores=0-7 /proc/20827/stat : 20827 (scop.sh) S 20824 20827 20281 0 -1 4202496 589 25474 0 0 0 0 451 14 20 0 1 0 235435390 115843072 368 33554432000 4194304 5098028 140733434390576 140733434387320 140099372929660 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18866176 140733434393635 140733434393859 140733434393859 140733434396621 0 /proc/20827/statm: 28282 368 311 221 0 87 0 [pid=20850] ppid=20827 vsize=8413904 memory=123576 CPUtime=1.29 cores=0-7 /proc/20850/stat : 20850 (java) S 20827 20827 20281 0 -1 1077944320 18705 0 0 0 122 7 0 0 20 0 24 0 235435586 8615837696 30894 33554432000 4194304 4196468 140729022760368 140729022742912 140383977180919 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 /proc/20850/statm: 2103476 30894 3155 1 0 2064875 0 [pid=20870] ppid=20850 vsize=733740 memory=544636 CPUtime=1211.29 cores=0-7 /proc/20870/stat : 20870 (glucose-syrup) S 20850 20827 20281 0 -1 1077944320 388103 0 0 0 121015 114 0 0 20 0 9 0 235435656 751349760 136159 33554432000 4194304 4373367 140733390543168 140733390541712 140201730349698 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 /proc/20870/statm: 183435 136159 383 44 0 179123 0 [pid=20870/tid=20875] ppid=20850 vsize=733740 memory=11044 CPUtime=151.77 cores=0-7 /proc/20870/task/20875/stat : 20875 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 48165 0 0 0 15164 13 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201715121520 4271948 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20870/tid=20876] ppid=20850 vsize=733740 memory=13252 CPUtime=151.83 cores=0-7 /proc/20870/task/20876/stat : 20876 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 49626 0 0 0 15169 14 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201706728720 4258986 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20870/tid=20877] ppid=20850 vsize=733740 memory=122380 CPUtime=151.65 cores=0-7 /proc/20870/task/20877/stat : 20877 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 46955 0 0 0 15148 17 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201698336112 4271824 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20870/tid=20878] ppid=20850 vsize=733740 memory=533304 CPUtime=151.82 cores=0-7 /proc/20870/task/20878/stat : 20878 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 45302 0 0 0 15167 15 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201689943408 4272344 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20870/tid=20879] ppid=20850 vsize=733740 memory=119388 CPUtime=151.85 cores=0-7 /proc/20870/task/20879/stat : 20879 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 53077 0 0 0 15170 15 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201681550480 4272312 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20870/tid=20880] ppid=20850 vsize=733740 memory=480576 CPUtime=151.84 cores=0-7 /proc/20870/task/20880/stat : 20880 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 46086 0 0 0 15175 9 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201673158000 4272341 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20870/tid=20881] ppid=20850 vsize=733740 memory=1472 CPUtime=148.66 cores=0-7 /proc/20870/task/20881/stat : 20881 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 48106 0 0 0 14852 14 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201664765296 4271828 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20870/tid=20882] ppid=20850 vsize=733740 memory=122380 CPUtime=151.75 cores=0-7 /proc/20870/task/20882/stat : 20882 (glucose-syrup) R 20850 20827 20281 0 -1 4202560 47788 0 0 0 15163 12 0 0 20 0 9 0 235435659 751349760 136159 33554432000 4194304 4373367 140733390543168 140201656372592 4257381 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6470912 6472264 29863936 140733390550096 140733390550228 140733390550228 140733390553031 0 [pid=20850/tid=20851] ppid=20827 vsize=8413904 memory=122380 CPUtime=0.73 cores=0-7 /proc/20850/task/20851/stat : 20851 (java) S 20827 20827 20281 0 -1 1077944384 14513 0 0 0 69 4 0 0 20 0 24 0 235435586 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383949021072 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20852] ppid=20827 vsize=8413904 memory=530740 CPUtime=0 cores=0-7 /proc/20850/task/20852/stat : 20852 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383981423504 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20853] ppid=20827 vsize=8413904 memory=1472 CPUtime=0 cores=0-7 /proc/20850/task/20853/stat : 20853 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383781591824 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20854] ppid=20827 vsize=8413904 memory=123576 CPUtime=0 cores=0-7 /proc/20850/task/20854/stat : 20854 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383780539536 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20855] ppid=20827 vsize=8413904 memory=542976 CPUtime=0 cores=0-7 /proc/20850/task/20855/stat : 20855 (java) S 20827 20827 20281 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383779486736 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20856] ppid=20827 vsize=8413904 memory=-5155635691017497733 CPUtime=0 cores=0-7 /proc/20850/task/20856/stat : 20856 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383778433424 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20857] ppid=20827 vsize=8413904 memory=122380 CPUtime=0 cores=0-7 /proc/20850/task/20857/stat : 20857 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383777380624 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20858] ppid=20827 vsize=8413904 memory=1472 CPUtime=0 cores=0-7 /proc/20850/task/20858/stat : 20858 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383776328336 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20859] ppid=20827 vsize=8413904 memory=122380 CPUtime=0 cores=0-7 /proc/20850/task/20859/stat : 20859 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435587 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383775275536 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20860] ppid=20827 vsize=8413904 memory=0 CPUtime=0 cores=0-7 /proc/20850/task/20860/stat : 20860 (java) S 20827 20827 20281 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 24 0 235435589 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383204866672 140383977192066 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20861] ppid=20827 vsize=8413904 memory=-8559865833698597277 CPUtime=0 cores=0-7 /proc/20850/task/20861/stat : 20861 (java) S 20827 20827 20281 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 235435589 8615837696 30894 33554432000 4194304 4196468 140729022760368 140382549566752 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20862] ppid=20827 vsize=8413904 memory=3689925152749151843 CPUtime=0 cores=0-7 /proc/20850/task/20862/stat : 20862 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435589 8615837696 30894 33554432000 4194304 4196468 140729022760368 140382281131632 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20863] ppid=20827 vsize=8413904 memory=1472 CPUtime=0 cores=0-7 /proc/20850/task/20863/stat : 20863 (java) S 20827 20827 20281 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140381906623056 140383977199515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20864] ppid=20827 vsize=8413904 memory=119648 CPUtime=0.05 cores=0-7 /proc/20850/task/20864/stat : 20864 (java) S 20827 20827 20281 0 -1 1077944384 771 0 0 0 5 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383203813488 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20865] ppid=20827 vsize=8413904 memory=1176 CPUtime=0.06 cores=0-7 /proc/20850/task/20865/stat : 20865 (java) S 20827 20827 20281 0 -1 1077944384 230 0 0 0 6 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383202760688 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20866] ppid=20827 vsize=8413904 memory=35364 CPUtime=0.07 cores=0-7 /proc/20850/task/20866/stat : 20866 (java) S 20827 20827 20281 0 -1 1077944384 305 0 0 0 7 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383201708400 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20867] ppid=20827 vsize=8413904 memory=4048 CPUtime=0.21 cores=0-7 /proc/20850/task/20867/stat : 20867 (java) S 20827 20827 20281 0 -1 1077944384 770 0 0 0 21 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383200655600 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20868] ppid=20827 vsize=8413904 memory=508 CPUtime=0 cores=0-7 /proc/20850/task/20868/stat : 20868 (java) S 20827 20827 20281 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140381408717664 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20869] ppid=20827 vsize=8413904 memory=1728 CPUtime=0.07 cores=0-7 /proc/20850/task/20869/stat : 20869 (java) S 20827 20827 20281 0 -1 1077944384 11 0 0 0 0 7 0 0 20 0 24 0 235435592 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383199603504 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20871] ppid=20827 vsize=8413904 memory=1832 CPUtime=0 cores=0-7 /proc/20850/task/20871/stat : 20871 (java) S 20827 20827 20281 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 235435657 8615837696 30894 33554432000 4194304 4196468 140729022760368 140383191795520 140383977205529 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20873] ppid=20827 vsize=8413904 memory=8916 CPUtime=0.03 cores=0-7 /proc/20850/task/20873/stat : 20873 (java) S 20827 20827 20281 0 -1 4202560 707 0 0 0 3 0 0 0 20 0 24 0 235435657 8615837696 30894 33554432000 4194304 4196468 140729022760368 140380737617328 140383977202845 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20874] ppid=20827 vsize=8413904 memory=15196 CPUtime=0 cores=0-7 /proc/20850/task/20874/stat : 20874 (java) S 20827 20827 20281 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 24 0 235435657 8615837696 30894 33554432000 4194304 4196468 140729022760368 140381006052624 140383977202845 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20883] ppid=20827 vsize=8413904 memory=16348 CPUtime=0 cores=0-7 /proc/20850/task/20883/stat : 20883 (java) S 20827 20827 20281 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 235435659 8615837696 30894 33554432000 4194304 4196468 140729022760368 140380469189920 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 Current children cumulated CPU time: 1217.23 s Current children cumulated vsize: 9260772 KiB Current children cumulated memory: 669684 KiB [startup+154.701 s] /proc/loadavg: 8.12 8.22 8.34 9/217 20885 /proc/meminfo: memFree=17138332/32770624 swapFree=67108688/67108860 [pid=20827] ppid=20824 vsize=113128 memory=1472 CPUtime=4.65 cores=0-7 /proc/20827/stat : 20827 (scop.sh) S 20824 20827 20281 0 -1 4202496 589 25474 0 0 0 0 451 14 20 0 1 0 235435390 115843072 368 33554432000 4194304 5098028 140733434390576 140733434387320 140099372929660 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18866176 140733434393635 140733434393859 140733434393859 140733434396621 0 /proc/20827/statm: 28282 368 311 221 0 87 0 [pid=20850] ppid=20827 vsize=8282828 memory=123864 CPUtime=1213.18 cores=0-7 /proc/20850/stat : 20850 (java) S 20827 20827 20281 0 -1 1077944320 18761 388143 0 0 124 8 121070 116 20 0 22 0 235435586 8481615872 30966 33554432000 4194304 4196468 140729022760368 140729022742912 140383977180919 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 /proc/20850/statm: 2070707 30966 3157 1 0 2032106 0 [pid=20850/tid=20851] ppid=20827 vsize=8282828 memory=123576 CPUtime=1212.59 cores=0-7 /proc/20850/task/20851/stat : 20851 (java) D 20827 20827 20281 0 -1 1077944384 14528 388143 0 0 69 4 121070 116 20 0 22 0 235435586 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383949008208 140383969860141 0 4 2 25189581 18446744072101809700 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20852] ppid=20827 vsize=8282828 memory=756 CPUtime=1211.86 cores=0-7 /proc/20850/task/20852/stat : 20852 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383981423504 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20853] ppid=20827 vsize=8282828 memory=4588 CPUtime=1211.86 cores=0-7 /proc/20850/task/20853/stat : 20853 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383781591824 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20854] ppid=20827 vsize=8282828 memory=407464 CPUtime=1211.86 cores=0-7 /proc/20850/task/20854/stat : 20854 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383780539536 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20855] ppid=20827 vsize=8282828 memory=406824 CPUtime=1211.86 cores=0-7 /proc/20850/task/20855/stat : 20855 (java) S 20827 20827 20281 0 -1 1077944384 2 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383779486736 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20856] ppid=20827 vsize=8282828 memory=179340654453521 CPUtime=1211.86 cores=0-7 /proc/20850/task/20856/stat : 20856 (java) S 20827 20827 20281 0 -1 1077944384 3 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383778433424 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20857] ppid=20827 vsize=8282860 memory=7681407940103534241 CPUtime=1211.86 cores=0-7 /proc/20850/task/20857/stat : 20857 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481648640 30966 33554432000 4194304 4196468 140729022760368 140383777380624 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20858] ppid=20827 vsize=8282860 memory=5344 CPUtime=1211.86 cores=0-7 /proc/20850/task/20858/stat : 20858 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481648640 30966 33554432000 4194304 4196468 140729022760368 140383776328336 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20859] ppid=20827 vsize=8282828 memory=756 CPUtime=1211.86 cores=0-7 /proc/20850/task/20859/stat : 20859 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435587 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383775275536 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20860] ppid=20827 vsize=8282828 memory=0 CPUtime=1211.86 cores=0-7 /proc/20850/task/20860/stat : 20860 (java) S 20827 20827 20281 0 -1 1077944384 11 388143 0 0 0 0 121070 116 20 0 22 0 235435589 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383204866672 140383977192066 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20861] ppid=20827 vsize=8282828 memory=0 CPUtime=1211.86 cores=0-7 /proc/20850/task/20861/stat : 20861 (java) S 20827 20827 20281 0 -1 1077944384 13 388143 0 0 0 0 121070 116 20 0 22 0 235435589 8481615872 30966 33554432000 4194304 4196468 140729022760368 140382549566752 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20862] ppid=20827 vsize=8282828 memory=281356731776032 CPUtime=1211.86 cores=0-7 /proc/20850/task/20862/stat : 20862 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435589 8481615872 30966 33554432000 4194304 4196468 140729022760368 140382281131632 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20863] ppid=20827 vsize=8282828 memory=6944652177228980320 CPUtime=1211.86 cores=0-7 /proc/20850/task/20863/stat : 20863 (java) S 20827 20827 20281 0 -1 1077944384 1 388143 0 0 0 0 121070 116 20 0 22 0 235435592 8481615872 30966 33554432000 4194304 4196468 140729022760368 140381906623056 140383977199515 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20864] ppid=20827 vsize=8282828 memory=1176 CPUtime=1211.91 cores=0-7 /proc/20850/task/20864/stat : 20864 (java) S 20827 20827 20281 0 -1 1077944384 771 388143 0 0 5 0 121070 116 20 0 22 0 235435592 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383203813488 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20865] ppid=20827 vsize=8282828 memory=35364 CPUtime=1211.93 cores=0-7 /proc/20850/task/20865/stat : 20865 (java) S 20827 20827 20281 0 -1 1077944384 230 388143 0 0 7 0 121070 116 20 0 22 0 235435592 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383202760688 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20866] ppid=20827 vsize=8282828 memory=1472 CPUtime=1211.94 cores=0-7 /proc/20850/task/20866/stat : 20866 (java) S 20827 20827 20281 0 -1 1077944384 330 388143 0 0 8 0 121070 116 20 0 22 0 235435592 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383201708400 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20867] ppid=20827 vsize=8282860 memory=123576 CPUtime=1212.08 cores=0-7 /proc/20850/task/20867/stat : 20867 (java) R 20827 20827 20281 0 -1 4202560 770 388143 0 0 22 0 121070 116 20 0 22 0 235435592 8481648640 30966 33554432000 4194304 4196468 140729022760368 140383200655600 140383955856016 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20868] ppid=20827 vsize=8282860 memory=3824 CPUtime=1211.86 cores=0-7 /proc/20850/task/20868/stat : 20868 (java) S 20827 20827 20281 0 -1 1077944384 3 388143 0 0 0 0 121070 116 20 0 22 0 235435592 8481648640 30966 33554432000 4194304 4196468 140729022760368 140381408717664 140383977191125 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20869] ppid=20827 vsize=8282828 memory=63964 CPUtime=1211.93 cores=0-7 /proc/20850/task/20869/stat : 20869 (java) S 20827 20827 20281 0 -1 1077944384 11 388143 0 0 0 7 121070 116 20 0 22 0 235435592 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383199603504 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20871] ppid=20827 vsize=8282828 memory=1472 CPUtime=1211.86 cores=0-7 /proc/20850/task/20871/stat : 20871 (java) S 20827 20827 20281 0 -1 1077944384 25 388143 0 0 0 0 121070 116 20 0 22 0 235435657 8481615872 30966 33554432000 4194304 4196468 140729022760368 140383191794704 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 [pid=20850/tid=20883] ppid=20827 vsize=8282828 memory=123576 CPUtime=1211.86 cores=0-7 /proc/20850/task/20883/stat : 20883 (java) S 20827 20827 20281 0 -1 1077944384 14 388143 0 0 0 0 121070 116 20 0 22 0 235435659 8481615872 30966 33554432000 4194304 4196468 140729022760368 140380469191728 140383977192066 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38789120 140729022768305 140729022768429 140729022768429 140729022771151 0 Current children cumulated CPU time: 1217.83 s Current children cumulated vsize: 8395956 KiB Current children cumulated memory: 125336 KiB Child status: 0 Real time (s): 154.714 CPU time (s): 1217.89 CPU user time (s): 1216.48 CPU system time (s): 1.40524 CPU usage (%): 787.187 Max. virtual memory (cumulated for all children) (KiB): 27441656 Max. memory (cumulated for all children) (KiB): 669684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1216.48 system time used= 1.40524 maximum resident set size= 544696 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 433037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11484 involuntary context switches= 13981 # summary of solver processes directly reported to runsolver: # pid: 20827 # total CPU time (s): 1217.89 # total CPU user time (s): 1216.48 # total CPU system time (s): 1.40524 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.42315 second user time and 2.2184 second system time The end
Begin job on node134 at 2018-08-13 18:45:22 IDJOB=4307335 IDBENCH=141027 IDSOLVER=2789 FILE ID=node134/4307335-1534178722 RUNJOBID= node134-1534173482-20308 PBS_JOBID= 21037977 Free space on /tmp= 42776 MiB SOLVER NAME= scop both+glucose-syrup (2018-07-31) BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-08_c18.xml COMMAND LINE= scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=NBCORE:-maxmemory=20000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307335-1534178722/watcher-4307335-1534178722 -o /tmp/evaluation-result-4307335-1534178722/solver-4307335-1534178722 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1534173482-20308 --watchdog 2580 scop.sh 22g scop.jar -both glucose-syrup -model:-nthreads=8:-maxmemory=20000 HOME HOME/instance-4307335-1534178722.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 097ee2ac2bfb45f3aedded97da1eabe0 RANDOM SEED=1546235124 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 17793400 kB MemAvailable: 31902020 kB Buffers: 225224 kB Cached: 14032160 kB SwapCached: 52 kB Active: 4496540 kB Inactive: 9816268 kB Active(anon): 4220 kB Inactive(anon): 103128 kB Active(file): 4492320 kB Inactive(file): 9713140 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 8416 kB Writeback: 0 kB AnonPages: 62092 kB Mapped: 55776 kB Shmem: 49652 kB Slab: 360160 kB SReclaimable: 331620 kB SUnreclaim: 28540 kB KernelStack: 3264 kB PageTables: 4588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 349520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 42768 MiB End job on node134 at 2018-08-13 18:47:57