Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -738 | 1800.04 | 1776.65 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.lin.opb |
| MD5SUM | 3e449338e83c68cf4f1b342055332b04 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -738 |
| Best CPU time to get the best result obtained on this benchmark | 1800.04 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 926 |
| Total number of constraints | 1792 |
| Number of constraints which are clauses | 896 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 896 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 926 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 41584 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 41584 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.08/0.11 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4118164-1467224444.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 0.25/0.28 c ... done. Wall clock time 0.169s. 0.25/0.28 c declared #vars 926 0.25/0.28 c #constraints 1792 0.25/0.28 c constraints type 0.25/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 896 0.25/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 896 0.25/0.28 c 1792 constraints processed. 0.25/0.28 c objective function length is 926 literals 0.46/0.31 c SATISFIABLE 0.46/0.31 c OPTIMIZING... 0.46/0.31 c Got one! Elapsed wall clock time (in seconds):0.19 0.46/0.31 o 0 0.46/0.33 c Got one! Elapsed wall clock time (in seconds):0.212 0.46/0.33 o -21 0.46/0.35 c Got one! Elapsed wall clock time (in seconds):0.233 0.46/0.35 o -42 0.46/0.36 c Got one! Elapsed wall clock time (in seconds):0.249 0.46/0.36 o -68 0.46/0.39 c Got one! Elapsed wall clock time (in seconds):0.27 0.46/0.39 o -93 0.73/0.41 c Got one! Elapsed wall clock time (in seconds):0.297 0.73/0.41 o -94 0.73/0.43 c Got one! Elapsed wall clock time (in seconds):0.317 0.73/0.43 o -117 0.73/0.45 c Got one! Elapsed wall clock time (in seconds):0.338 0.73/0.45 o -122 0.73/0.47 c Got one! Elapsed wall clock time (in seconds):0.356 0.73/0.47 o -123 0.73/0.49 c Got one! Elapsed wall clock time (in seconds):0.375 0.73/0.49 o -126 1.02/0.50 c Got one! Elapsed wall clock time (in seconds):0.387 1.02/0.50 o -149 1.02/0.52 c Got one! Elapsed wall clock time (in seconds):0.402 1.02/0.52 o -152 1.02/0.52 c Got one! Elapsed wall clock time (in seconds):0.409 1.02/0.52 o -155 1.02/0.53 c Got one! Elapsed wall clock time (in seconds):0.417 1.02/0.53 o -158 1.02/0.54 c Got one! Elapsed wall clock time (in seconds):0.426 1.02/0.54 o -160 1.02/0.55 c Got one! Elapsed wall clock time (in seconds):0.435 1.02/0.55 o -179 1.02/0.55 c Got one! Elapsed wall clock time (in seconds):0.44 1.02/0.55 o -181 1.02/0.56 c Got one! Elapsed wall clock time (in seconds):0.444 1.02/0.56 o -183 1.02/0.56 c Got one! Elapsed wall clock time (in seconds):0.448 1.02/0.56 o -185 1.02/0.57 c Got one! Elapsed wall clock time (in seconds):0.452 1.02/0.57 o -186 1.02/0.57 c Got one! Elapsed wall clock time (in seconds):0.457 1.02/0.57 o -191 1.02/0.59 c Got one! Elapsed wall clock time (in seconds):0.471 1.02/0.59 o -197 1.33/0.64 c Got one! Elapsed wall clock time (in seconds):0.525 1.33/0.64 o -217 1.33/0.65 c Got one! Elapsed wall clock time (in seconds):0.539 1.33/0.65 o -219 1.33/0.66 c Got one! Elapsed wall clock time (in seconds):0.543 1.33/0.66 o -224 1.33/0.67 c Got one! Elapsed wall clock time (in seconds):0.555 1.33/0.67 o -252 1.59/0.70 c Got one! Elapsed wall clock time (in seconds):0.584 1.59/0.70 o -256 1.59/0.70 c Got one! Elapsed wall clock time (in seconds):0.586 1.59/0.70 o -257 1.59/0.71 c Got one! Elapsed wall clock time (in seconds):0.59 1.59/0.71 o -261 1.59/0.73 c Got one! Elapsed wall clock time (in seconds):0.614 1.59/0.73 o -265 1.59/0.73 c Got one! Elapsed wall clock time (in seconds):0.616 1.59/0.73 o -267 1.59/0.73 c Got one! Elapsed wall clock time (in seconds):0.617 1.59/0.73 o -273 1.59/0.73 c Got one! Elapsed wall clock time (in seconds):0.619 1.59/0.73 o -274 1.59/0.74 c Got one! Elapsed wall clock time (in seconds):0.621 1.59/0.74 o -277 1.59/0.74 c Got one! Elapsed wall clock time (in seconds):0.624 1.59/0.74 o -278 1.59/0.74 c Got one! Elapsed wall clock time (in seconds):0.628 1.59/0.74 o -280 1.59/0.75 c Got one! Elapsed wall clock time (in seconds):0.632 1.59/0.75 o -281 1.59/0.75 c Got one! Elapsed wall clock time (in seconds):0.635 1.59/0.75 o -282 1.59/0.75 c Got one! Elapsed wall clock time (in seconds):0.638 1.59/0.75 o -283 1.59/0.75 c Got one! Elapsed wall clock time (in seconds):0.639 1.59/0.75 o -284 1.59/0.76 c Got one! Elapsed wall clock time (in seconds):0.641 1.59/0.76 o -285 1.59/0.76 c Got one! Elapsed wall clock time (in seconds):0.646 1.59/0.76 o -289 1.59/0.77 c Got one! Elapsed wall clock time (in seconds):0.654 1.59/0.77 o -290 1.59/0.77 c Got one! Elapsed wall clock time (in seconds):0.655 1.59/0.77 o -308 1.69/0.81 c Got one! Elapsed wall clock time (in seconds):0.695 1.69/0.81 o -313 1.69/0.82 c Got one! Elapsed wall clock time (in seconds):0.709 1.69/0.82 o -314 1.69/0.84 c Got one! Elapsed wall clock time (in seconds):0.72 1.69/0.84 o -315 1.69/0.84 c Got one! Elapsed wall clock time (in seconds):0.722 1.69/0.84 o -316 1.69/0.85 c Got one! Elapsed wall clock time (in seconds):0.731 1.69/0.85 o -320 1.69/0.86 c Got one! Elapsed wall clock time (in seconds):0.746 1.69/0.86 o -321 1.69/0.86 c Got one! Elapsed wall clock time (in seconds):0.747 1.69/0.86 o -322 1.69/0.86 c Got one! Elapsed wall clock time (in seconds):0.749 1.69/0.86 o -338 1.79/0.95 c Got one! Elapsed wall clock time (in seconds):0.832 1.79/0.95 o -344 1.79/0.98 c Got one! Elapsed wall clock time (in seconds):0.861 1.79/0.98 o -345 1.79/0.99 c Got one! Elapsed wall clock time (in seconds):0.875 1.79/0.99 o -348 1.89/1.01 c Got one! Elapsed wall clock time (in seconds):0.893 1.89/1.01 o -350 1.89/1.04 c Got one! Elapsed wall clock time (in seconds):0.924 1.89/1.04 o -353 1.89/1.04 c Got one! Elapsed wall clock time (in seconds):0.927 1.89/1.04 o -354 1.89/1.06 c Got one! Elapsed wall clock time (in seconds):0.941 1.89/1.06 o -358 2.10/1.22 c Got one! Elapsed wall clock time (in seconds):1.107 2.10/1.22 o -365 2.10/1.24 c Got one! Elapsed wall clock time (in seconds):1.124 2.10/1.24 o -368 2.10/1.24 c Got one! Elapsed wall clock time (in seconds):1.126 2.10/1.24 o -369 2.10/1.24 c Got one! Elapsed wall clock time (in seconds):1.129 2.10/1.24 o -372 2.10/1.27 c Got one! Elapsed wall clock time (in seconds):1.155 2.10/1.27 o -375 2.25/1.31 c Got one! Elapsed wall clock time (in seconds):1.197 2.25/1.31 o -376 2.25/1.32 c Got one! Elapsed wall clock time (in seconds):1.206 2.25/1.32 o -377 2.25/1.33 c Got one! Elapsed wall clock time (in seconds):1.21 2.25/1.33 o -378 2.25/1.33 c Got one! Elapsed wall clock time (in seconds):1.219 2.25/1.33 o -381 2.25/1.38 c Got one! Elapsed wall clock time (in seconds):1.266 2.25/1.38 o -384 2.35/1.43 c Got one! Elapsed wall clock time (in seconds):1.32 2.35/1.44 o -386 2.35/1.44 c Got one! Elapsed wall clock time (in seconds):1.325 2.35/1.44 o -391 2.76/1.83 c Got one! Elapsed wall clock time (in seconds):1.714 2.76/1.83 o -399 2.76/1.85 c Got one! Elapsed wall clock time (in seconds):1.735 2.76/1.85 o -401 2.76/1.86 c Got one! Elapsed wall clock time (in seconds):1.746 2.76/1.86 o -402 2.76/1.88 c Got one! Elapsed wall clock time (in seconds):1.763 2.76/1.88 o -404 2.89/1.90 c Got one! Elapsed wall clock time (in seconds):1.788 2.89/1.90 o -405 2.89/1.91 c Got one! Elapsed wall clock time (in seconds):1.796 2.89/1.91 o -408 2.89/2.00 c Got one! Elapsed wall clock time (in seconds):1.88 2.89/2.00 o -410 2.99/2.07 c Got one! Elapsed wall clock time (in seconds):1.954 2.99/2.07 o -413 3.09/2.14 c Got one! Elapsed wall clock time (in seconds):2.023 3.09/2.14 o -418 3.32/2.32 c cleaning 6448 clauses out of 12895 with flag 2008/12895 3.32/2.33 c Got one! Elapsed wall clock time (in seconds):2.219 3.32/2.33 o -596 4.01/3.01 c cleaning 5776 clauses out of 11552 with flag 10001/18000 4.01/3.08 c Got one! Elapsed wall clock time (in seconds):2.964 4.01/3.08 o -616 4.63/3.67 c Got one! Elapsed wall clock time (in seconds):3.551 4.63/3.67 o -618 4.73/3.78 c Got one! Elapsed wall clock time (in seconds):3.661 4.73/3.78 o -621 4.92/3.94 c cleaning 6343 clauses out of 12690 with flag 2001/24914 5.75/4.75 c cleaning 6174 clauses out of 12348 with flag 14003/30915 6.05/5.03 c Got one! Elapsed wall clock time (in seconds):4.914 6.05/5.03 o -624 6.45/5.45 c cleaning 5735 clauses out of 11476 with flag 6002/36217 6.45/5.49 c Got one! Elapsed wall clock time (in seconds):5.379 6.45/5.49 o -625 6.66/5.66 c Got one! Elapsed wall clock time (in seconds):5.548 6.66/5.66 o -626 6.75/5.72 c Got one! Elapsed wall clock time (in seconds):5.603 6.75/5.72 o -627 6.75/5.75 c Got one! Elapsed wall clock time (in seconds):5.635 6.75/5.75 o -629 6.75/5.75 c Got one! Elapsed wall clock time (in seconds):5.639 6.75/5.75 o -630 6.75/5.78 c Got one! Elapsed wall clock time (in seconds):5.665 6.75/5.78 o -634 7.16/6.12 c Got one! Elapsed wall clock time (in seconds):6.004 7.16/6.12 o -636 7.16/6.18 c Got one! Elapsed wall clock time (in seconds):6.066 7.16/6.18 o -637 7.26/6.24 c Got one! Elapsed wall clock time (in seconds):6.128 7.26/6.24 o -640 7.26/6.26 c Got one! Elapsed wall clock time (in seconds):6.148 7.26/6.26 o -642 7.36/6.34 c Got one! Elapsed wall clock time (in seconds):6.227 7.36/6.34 o -645 7.46/6.40 c Got one! Elapsed wall clock time (in seconds):6.287 7.46/6.40 o -646 7.56/6.51 c Got one! Elapsed wall clock time (in seconds):6.399 7.56/6.51 o -647 7.56/6.53 c Got one! Elapsed wall clock time (in seconds):6.414 7.56/6.53 o -648 7.56/6.54 c Got one! Elapsed wall clock time (in seconds):6.421 7.56/6.54 o -650 7.86/6.86 c cleaning 7958 clauses out of 15918 with flag 4043/46394 8.66/7.67 c cleaning 6977 clauses out of 13959 with flag 16041/52393 9.69/8.63 c cleaning 6987 clauses out of 13982 with flag 30041/59393 10.69/9.66 c Got one! Elapsed wall clock time (in seconds):9.542 10.69/9.66 o -651 11.49/10.47 c cleaning 9908 clauses out of 19815 with flag 10069/72213 11.59/10.51 c Got one! Elapsed wall clock time (in seconds):10.397 11.59/10.51 o -654 12.29/11.23 c cleaning 7637 clauses out of 15277 with flag 10119/77583 12.39/11.33 c Got one! Elapsed wall clock time (in seconds):11.217 12.39/11.33 o -656 12.59/11.58 c Got one! Elapsed wall clock time (in seconds):11.462 12.59/11.58 o -659 12.79/11.72 c Got one! Elapsed wall clock time (in seconds):11.608 12.79/11.72 o -661 12.79/11.73 c Got one! Elapsed wall clock time (in seconds):11.619 12.79/11.73 o -662 12.89/11.85 c Got one! Elapsed wall clock time (in seconds):11.736 12.89/11.85 o -663 13.39/12.30 c cleaning 7677 clauses out of 15360 with flag 6003/85303 14.15/13.10 c cleaning 6837 clauses out of 13683 with flag 18003/91303 15.15/14.03 c cleaning 6922 clauses out of 13847 with flag 32005/98304 15.25/14.14 c Got one! Elapsed wall clock time (in seconds):14.027 15.25/14.14 o -665 15.95/14.82 c cleaning 6445 clauses out of 12894 with flag 10004/104273 16.65/15.59 c cleaning 6222 clauses out of 12449 with flag 22004/110273 17.25/16.14 c Got one! Elapsed wall clock time (in seconds):16.022 17.25/16.14 o -667 17.35/16.28 c cleaning 5749 clauses out of 11502 with flag 2036/115548 17.45/16.31 c Got one! Elapsed wall clock time (in seconds):16.193 17.45/16.31 o -668 17.55/16.44 c Got one! Elapsed wall clock time (in seconds):16.326 17.55/16.44 o -670 17.65/16.51 c Got one! Elapsed wall clock time (in seconds):16.39 17.65/16.51 o -671 17.85/16.74 c Got one! Elapsed wall clock time (in seconds):16.622 17.85/16.74 o -672 17.85/16.77 c Got one! Elapsed wall clock time (in seconds):16.652 17.85/16.77 o -674 18.25/17.18 c cleaning 6388 clauses out of 12784 with flag 6017/122579 19.05/17.95 c cleaning 6194 clauses out of 12397 with flag 18019/128580 19.95/18.84 c cleaning 6600 clauses out of 13202 with flag 32017/135579 20.99/19.90 c cleaning 7297 clauses out of 14603 with flag 48019/143580 22.28/21.13 c Got one! Elapsed wall clock time (in seconds):21.017 22.28/21.13 o -679 23.08/21.90 c cleaning 10579 clauses out of 21163 with flag 10001/157437 23.88/22.76 c cleaning 8290 clauses out of 16585 with flag 22003/163438 23.98/22.82 c Got one! Elapsed wall clock time (in seconds):22.701 23.98/22.82 o -680 24.58/23.48 c cleaning 6909 clauses out of 13821 with flag 10003/168964 25.39/24.27 c cleaning 6452 clauses out of 12912 with flag 22003/174964 26.08/24.92 c Got one! Elapsed wall clock time (in seconds):24.808 26.08/24.92 o -682 26.78/25.68 c cleaning 8278 clauses out of 16564 with flag 10026/185068 27.58/26.49 c cleaning 7143 clauses out of 14286 with flag 22026/191068 28.59/27.41 c cleaning 7068 clauses out of 14144 with flag 36029/198069 28.79/27.68 c Got one! Elapsed wall clock time (in seconds):27.561 28.79/27.68 o -683 29.19/28.07 c cleaning 6115 clauses out of 12232 with flag 6005/203225 29.69/28.59 c Got one! Elapsed wall clock time (in seconds):28.47 29.69/28.59 o -687 29.89/28.73 c cleaning 5736 clauses out of 11479 with flag 2006/208587 30.39/29.24 c Got one! Elapsed wall clock time (in seconds):29.128 30.39/29.24 o -688 30.49/29.38 c cleaning 5450 clauses out of 10908 with flag 2007/213752 30.59/29.40 c Got one! Elapsed wall clock time (in seconds):29.288 30.59/29.40 o -689 30.69/29.50 c Got one! Elapsed wall clock time (in seconds):29.382 30.69/29.50 o -690 30.99/29.81 c Got one! Elapsed wall clock time (in seconds):29.69 30.99/29.81 o -691 30.99/29.86 c Got one! Elapsed wall clock time (in seconds):29.748 30.99/29.86 o -692 30.99/29.88 c Got one! Elapsed wall clock time (in seconds):29.76 30.99/29.88 o -693 31.09/29.92 c Got one! Elapsed wall clock time (in seconds):29.806 31.09/29.92 o -694 31.39/30.27 c Got one! Elapsed wall clock time (in seconds):30.159 31.39/30.27 o -695 31.59/30.44 c cleaning 6900 clauses out of 13805 with flag 2002/222099 32.29/31.19 c cleaning 6447 clauses out of 12905 with flag 14002/228099 33.29/32.13 c cleaning 6727 clauses out of 13458 with flag 28002/235099 33.79/32.63 c Got one! Elapsed wall clock time (in seconds):32.519 33.79/32.63 o -696 33.89/32.77 c cleaning 5868 clauses out of 11747 with flag 2005/240115 34.59/33.49 c cleaning 5937 clauses out of 11880 with flag 14008/246116 35.03/33.81 c Got one! Elapsed wall clock time (in seconds):33.697 35.03/33.81 o -698 35.33/34.17 c Got one! Elapsed wall clock time (in seconds):34.051 35.33/34.17 o -699 35.53/34.31 c cleaning 6387 clauses out of 12774 with flag 2058/252947 35.53/34.32 c Got one! Elapsed wall clock time (in seconds):34.2 35.53/34.32 o -700 35.53/34.36 c Got one! Elapsed wall clock time (in seconds):34.248 35.53/34.36 o -702 35.63/34.42 c Got one! Elapsed wall clock time (in seconds):34.309 35.63/34.42 o -704 35.93/34.75 c Got one! Elapsed wall clock time (in seconds):34.64 35.93/34.75 o -706 36.33/35.14 c cleaning 6679 clauses out of 13361 with flag 6059/259921 37.03/35.84 c cleaning 6339 clauses out of 12682 with flag 18059/265921 37.83/36.69 c cleaning 6667 clauses out of 13343 with flag 32063/272921 38.93/37.72 c cleaning 7336 clauses out of 14677 with flag 48152/280922 40.02/38.85 c cleaning 8166 clauses out of 16342 with flag 66279/289923 40.12/38.98 c Got one! Elapsed wall clock time (in seconds):38.863 40.12/38.98 o -709 40.62/39.45 c cleaning 6666 clauses out of 13340 with flag 8001/295087 41.46/40.20 c cleaning 6333 clauses out of 12674 with flag 20001/301087 42.26/41.03 c cleaning 6664 clauses out of 13341 with flag 34001/308087 43.26/42.04 c cleaning 7336 clauses out of 14678 with flag 50003/316088 44.36/43.15 c cleaning 8167 clauses out of 16342 with flag 68003/325088 45.76/44.51 c cleaning 9087 clauses out of 18174 with flag 88001/335087 47.16/45.99 c cleaning 10041 clauses out of 20087 with flag 110001/346087 48.91/47.66 c cleaning 11024 clauses out of 22047 with flag 134003/358088 49.61/48.31 c Got one! Elapsed wall clock time (in seconds):48.193 49.61/48.31 o -710 49.72/48.46 c cleaning 8483 clauses out of 16968 with flag 2050/364033 50.01/48.73 c Got one! Elapsed wall clock time (in seconds):48.613 50.01/48.73 o -713 50.41/49.11 c cleaning 6982 clauses out of 13978 with flag 6004/369526 51.11/49.80 c cleaning 6496 clauses out of 12996 with flag 18004/375526 51.92/50.64 c cleaning 6750 clauses out of 13501 with flag 32006/382527 52.41/51.16 c Got one! Elapsed wall clock time (in seconds):51.041 52.41/51.16 o -717 52.51/51.29 c cleaning 6047 clauses out of 12103 with flag 2005/387879 53.21/51.98 c cleaning 6023 clauses out of 12055 with flag 14003/393878 53.78/52.49 c Got one! Elapsed wall clock time (in seconds):52.378 53.78/52.49 o -720 53.98/52.63 c cleaning 5791 clauses out of 11591 with flag 2004/399437 54.68/53.30 c cleaning 5896 clauses out of 11800 with flag 14004/405437 54.68/53.39 c Got one! Elapsed wall clock time (in seconds):53.278 54.68/53.39 o -721 55.08/53.78 c Got one! Elapsed wall clock time (in seconds):53.666 55.08/53.78 o -722 55.39/54.03 c cleaning 6140 clauses out of 12285 with flag 4103/411818 56.08/54.71 c cleaning 6072 clauses out of 12144 with flag 16101/417817 56.88/55.55 c cleaning 6532 clauses out of 13072 with flag 30101/424817 57.88/56.50 c cleaning 7268 clauses out of 14541 with flag 46103/432818 58.98/57.63 c cleaning 8135 clauses out of 16273 with flag 64103/441818 60.31/58.93 c cleaning 9065 clauses out of 18137 with flag 84101/451817 61.81/60.43 c cleaning 10032 clauses out of 20072 with flag 106101/462817 62.91/61.60 c Got one! Elapsed wall clock time (in seconds):61.485 62.91/61.60 o -723 63.71/62.32 c cleaning 11785 clauses out of 23569 with flag 10066/476346 64.41/63.09 c cleaning 8888 clauses out of 17783 with flag 22156/482345 65.31/63.96 c cleaning 7943 clauses out of 15896 with flag 36336/489346 66.37/64.93 c cleaning 7972 clauses out of 15952 with flag 52607/497345 67.47/66.03 c cleaning 8488 clauses out of 16981 with flag 70965/506346 68.76/67.36 c cleaning 9244 clauses out of 18493 with flag 91293/516346 70.16/68.77 c cleaning 10124 clauses out of 20249 with flag 113458/527346 71.81/70.39 c cleaning 11063 clauses out of 22126 with flag 137462/539347 73.21/71.74 c Got one! Elapsed wall clock time (in seconds):71.626 73.21/71.74 o -725 74.01/72.53 c cleaning 13213 clauses out of 26428 with flag 10076/554712 74.71/73.20 c Got one! Elapsed wall clock time (in seconds):73.082 74.71/73.20 o -726 75.41/73.97 c cleaning 11797 clauses out of 23600 with flag 10251/565097 76.21/74.77 c cleaning 8902 clauses out of 17803 with flag 22691/571097 77.11/75.67 c cleaning 7949 clauses out of 15901 with flag 37236/578097 77.31/75.81 c Got one! Elapsed wall clock time (in seconds):75.694 77.31/75.81 o -727 77.92/76.32 c cleaning 6660 clauses out of 13328 with flag 8001/583473 78.62/77.04 c cleaning 6326 clauses out of 12668 with flag 20001/589473 79.42/77.88 c cleaning 6669 clauses out of 13342 with flag 34001/596473 80.42/78.88 c cleaning 7332 clauses out of 14674 with flag 50003/604474 81.62/80.05 c cleaning 8169 clauses out of 16342 with flag 68003/613474 83.12/81.42 c cleaning 9086 clauses out of 18173 with flag 88003/623474 84.61/82.93 c cleaning 10042 clauses out of 20087 with flag 110003/634474 86.31/84.63 c cleaning 11019 clauses out of 22044 with flag 134001/646473 88.17/86.49 c cleaning 12009 clauses out of 24025 with flag 160001/659473 90.17/88.45 c cleaning 13008 clauses out of 26017 with flag 188003/673474 92.47/90.74 c cleaning 13999 clauses out of 28009 with flag 218003/688474 95.11/93.31 c cleaning 15001 clauses out of 30010 with flag 250017/704474 97.81/96.01 c cleaning 16001 clauses out of 32009 with flag 284019/721474 100.57/98.76 c cleaning 17002 clauses out of 34008 with flag 320019/739474 103.67/101.80 c cleaning 18001 clauses out of 36005 with flag 358017/758473 107.16/105.21 c cleaning 19000 clauses out of 38005 with flag 398019/778474 111.07/109.09 c cleaning 20001 clauses out of 40005 with flag 440019/799474 113.17/111.14 c Got one! Elapsed wall clock time (in seconds):111.022 113.17/111.14 o -728 114.16/112.13 c cleaning 18807 clauses out of 37615 with flag 10004/817085 115.06/113.08 c cleaning 12395 clauses out of 24808 with flag 22004/823085 116.06/114.02 c cleaning 9700 clauses out of 19413 with flag 36004/830085 117.25/115.11 c cleaning 8848 clauses out of 17712 with flag 52002/838084 118.35/116.26 c cleaning 8930 clauses out of 17865 with flag 70004/847085 119.65/117.52 c cleaning 9463 clauses out of 18934 with flag 90002/857084 121.19/119.03 c cleaning 10233 clauses out of 20471 with flag 112002/868084 122.99/120.81 c cleaning 11117 clauses out of 22238 with flag 136002/880084 124.88/122.70 c cleaning 12055 clauses out of 24121 with flag 162002/893084 126.89/124.70 c cleaning 13030 clauses out of 26066 with flag 190002/907084 129.09/126.92 c cleaning 14019 clauses out of 28037 with flag 220004/922085 131.54/129.33 c cleaning 15007 clauses out of 30018 with flag 252004/938085 134.25/132.04 c cleaning 16004 clauses out of 32010 with flag 286002/955084 137.10/134.85 c cleaning 17000 clauses out of 34006 with flag 322002/973084 140.24/137.90 c cleaning 18002 clauses out of 36006 with flag 360002/992084 143.44/141.14 c cleaning 18998 clauses out of 38005 with flag 400009/1012085 146.95/144.67 c cleaning 20001 clauses out of 40006 with flag 442017/1033084 150.80/148.48 c cleaning 21000 clauses out of 42006 with flag 486034/1055085 155.15/152.74 c cleaning 22002 clauses out of 44005 with flag 532041/1078084 159.68/157.02 c cleaning 22999 clauses out of 46003 with flag 582219/1102084 165.40/162.43 c cleaning 23996 clauses out of 48005 with flag 662416/1127085 170.97/167.66 c cleaning 25000 clauses out of 50009 with flag 750981/1153085 176.60/172.99 c cleaning 26004 clauses out of 52008 with flag 845379/1180084 182.65/178.98 c cleaning 26999 clauses out of 54006 with flag 903322/1208086 188.59/184.88 c cleaning 28002 clauses out of 56005 with flag 964861/1237084 194.79/190.95 c cleaning 28999 clauses out of 58004 with flag 1026334/1267085 201.75/197.84 c cleaning 29998 clauses out of 60004 with flag 1089707/1298084 208.93/204.94 c cleaning 31001 clauses out of 62006 with flag 1155020/1330084 216.69/212.67 c cleaning 32002 clauses out of 64007 with flag 1222146/1363086 224.42/220.24 c cleaning 33000 clauses out of 66003 with flag 1291176/1397084 232.79/228.59 c cleaning 33998 clauses out of 68003 with flag 1362928/1432084 241.29/236.97 c cleaning 34997 clauses out of 70006 with flag 1436200/1468085 250.67/246.28 c cleaning 35997 clauses out of 72008 with flag 1510490/1505084 262.09/257.53 c cleaning 37004 clauses out of 74012 with flag 1586943/1543085 271.13/266.44 c cleaning 37999 clauses out of 76007 with flag 1666715/1582084 280.20/275.46 c cleaning 39000 clauses out of 78010 with flag 1756244/1622086 290.43/285.50 c cleaning 40001 clauses out of 80008 with flag 1841672/1663084 300.12/295.20 c cleaning 40995 clauses out of 82007 with flag 1926891/1705084 311.56/306.45 c cleaning 42006 clauses out of 84013 with flag 2015299/1748085 323.71/318.40 c cleaning 43000 clauses out of 86007 with flag 2106761/1792085 336.64/331.27 c cleaning 43999 clauses out of 88006 with flag 2199946/1837084 349.73/344.25 c cleaning 44999 clauses out of 90007 with flag 2296147/1883084 363.20/357.52 c cleaning 46005 clauses out of 92009 with flag 2393279/1930085 376.30/370.58 c cleaning 47000 clauses out of 94004 with flag 2492843/1978085 390.86/384.94 c cleaning 48000 clauses out of 96003 with flag 2595264/2027084 406.05/399.91 c cleaning 49002 clauses out of 98003 with flag 2698701/2077084 406.85/400.74 c Got one! Elapsed wall clock time (in seconds):400.626 406.85/400.74 o -730 407.25/401.11 c cleaning 27125 clauses out of 54253 with flag 2964/2082336 408.38/402.22 c cleaning 16557 clauses out of 33129 with flag 20665/2088337 409.51/403.31 c cleaning 11777 clauses out of 23572 with flag 40769/2095337 410.61/404.47 c cleaning 9892 clauses out of 19795 with flag 63133/2103337 411.91/405.74 c cleaning 9444 clauses out of 18903 with flag 87220/2112337 413.41/407.25 c cleaning 9728 clauses out of 19459 with flag 118547/2122337 415.03/408.80 c cleaning 10362 clauses out of 20731 with flag 149135/2133337 416.66/410.44 c cleaning 11183 clauses out of 22368 with flag 181002/2145336 418.61/412.34 c cleaning 12087 clauses out of 24185 with flag 216287/2158336 420.74/414.48 c cleaning 13047 clauses out of 26099 with flag 255069/2172337 423.21/416.87 c cleaning 14026 clauses out of 28052 with flag 296815/2187337 425.96/419.59 c cleaning 15009 clauses out of 30025 with flag 341586/2203336 428.80/422.35 c cleaning 16006 clauses out of 32016 with flag 381603/2220336 431.81/425.32 c cleaning 17004 clauses out of 34010 with flag 427278/2238336 434.95/428.43 c cleaning 18001 clauses out of 36007 with flag 474751/2257337 436.69/430.15 c Got one! Elapsed wall clock time (in seconds):430.03 436.69/430.15 o -732 437.58/431.04 c cleaning 17077 clauses out of 34163 with flag 11455/2273494 438.39/431.88 c cleaning 11536 clauses out of 23085 with flag 24539/2279493 439.29/432.79 c cleaning 9267 clauses out of 18549 with flag 40707/2286493 440.39/433.84 c cleaning 8634 clauses out of 17283 with flag 59621/2294494 441.61/435.03 c cleaning 8820 clauses out of 17648 with flag 80982/2303493 442.93/436.39 c cleaning 9412 clauses out of 18828 with flag 104180/2313493 444.53/437.94 c cleaning 10209 clauses out of 20417 with flag 130727/2324494 446.25/439.69 c cleaning 11101 clauses out of 22207 with flag 159145/2336493 448.21/441.55 c cleaning 12051 clauses out of 24107 with flag 188106/2349494 449.51/442.89 c Got one! Elapsed wall clock time (in seconds):442.775 449.51/442.89 o -733 450.43/443.75 c cleaning 13212 clauses out of 26437 with flag 11862/2363875 451.36/444.65 c cleaning 9607 clauses out of 19226 with flag 26680/2369876 451.66/444.93 c Got one! Elapsed wall clock time (in seconds):444.813 451.66/444.93 o -734 452.06/445.33 c cleaning 7457 clauses out of 14931 with flag 6386/2375188 452.79/446.08 c cleaning 6733 clauses out of 13474 with flag 19137/2381188 453.69/446.96 c cleaning 6866 clauses out of 13742 with flag 37954/2388189 454.70/447.97 c cleaning 7436 clauses out of 14875 with flag 58737/2396188 455.91/449.17 c cleaning 8216 clauses out of 16439 with flag 80753/2405188 457.23/450.46 c cleaning 9108 clauses out of 18223 with flag 105763/2415188 458.64/451.87 c cleaning 10056 clauses out of 20116 with flag 132724/2426189 460.26/453.48 c cleaning 11027 clauses out of 22060 with flag 162778/2438189 462.19/455.32 c cleaning 12013 clauses out of 24032 with flag 199925/2451188 464.30/457.43 c cleaning 13010 clauses out of 26020 with flag 236064/2465189 466.69/459.77 c cleaning 14001 clauses out of 28009 with flag 274683/2480188 469.21/462.26 c cleaning 15003 clauses out of 30008 with flag 313633/2496188 471.92/464.94 c cleaning 16001 clauses out of 32006 with flag 355868/2513189 474.84/467.82 c cleaning 17001 clauses out of 34004 with flag 399716/2531188 478.21/471.16 c cleaning 17998 clauses out of 36003 with flag 450137/2550188 481.85/474.74 c cleaning 19001 clauses out of 38006 with flag 498907/2570189 485.73/478.51 c cleaning 19999 clauses out of 40005 with flag 551712/2591189 489.85/482.66 c cleaning 21002 clauses out of 42005 with flag 607515/2613188 494.20/486.97 c cleaning 22000 clauses out of 44003 with flag 664421/2636188 499.13/491.74 c cleaning 23002 clauses out of 46004 with flag 720582/2660189 504.38/496.96 c cleaning 24000 clauses out of 48002 with flag 783360/2685189 509.88/502.35 c cleaning 24998 clauses out of 50001 with flag 840271/2711188 515.47/507.82 c cleaning 25996 clauses out of 52003 with flag 898863/2738188 521.07/513.30 c cleaning 27001 clauses out of 54007 with flag 960866/2766188 526.94/519.12 c cleaning 27999 clauses out of 56007 with flag 1025546/2795189 533.67/525.70 c cleaning 29000 clauses out of 58007 with flag 1090460/2825188 540.57/532.59 c cleaning 30003 clauses out of 60008 with flag 1158368/2856189 548.15/540.02 c cleaning 31002 clauses out of 62004 with flag 1229359/2888188 555.86/547.70 c cleaning 32002 clauses out of 64003 with flag 1304166/2921189 563.47/555.17 c cleaning 32999 clauses out of 66001 with flag 1377357/2955189 572.19/563.75 c cleaning 33997 clauses out of 68001 with flag 1452742/2990188 581.48/572.94 c cleaning 34999 clauses out of 70006 with flag 1536442/3026190 591.89/583.26 c cleaning 35999 clauses out of 72005 with flag 1620689/3063188 601.87/593.07 c cleaning 36999 clauses out of 74006 with flag 1704547/3101188 612.70/603.71 c cleaning 38001 clauses out of 76007 with flag 1792330/3140188 623.45/614.33 c cleaning 39004 clauses out of 78007 with flag 1880740/3180189 635.40/626.19 c cleaning 40000 clauses out of 80003 with flag 1971846/3221189 647.17/637.77 c cleaning 41002 clauses out of 82003 with flag 2068166/3263189 659.03/649.40 c cleaning 41992 clauses out of 84000 with flag 2161889/3306188 671.90/662.20 c cleaning 42999 clauses out of 86009 with flag 2255560/3350189 684.84/674.96 c cleaning 43998 clauses out of 88009 with flag 2351661/3395188 699.01/688.91 c cleaning 45000 clauses out of 90011 with flag 2450365/3441188 712.78/702.53 c cleaning 46001 clauses out of 92012 with flag 2547976/3488189 727.51/717.04 c cleaning 47004 clauses out of 94011 with flag 2647307/3536189 743.51/732.81 c cleaning 47998 clauses out of 96006 with flag 2752067/3585188 757.98/747.11 c cleaning 48998 clauses out of 98008 with flag 2858154/3635188 766.17/755.28 c Got one! Elapsed wall clock time (in seconds):755.167 766.17/755.28 o -736 768.08/757.16 c cleaning 42046 clauses out of 84099 with flag 10636/3670277 769.50/758.56 c cleaning 24016 clauses out of 48051 with flag 23435/3676275 770.71/759.74 c cleaning 15510 clauses out of 31035 with flag 37730/3683275 771.93/760.92 c cleaning 11754 clauses out of 23525 with flag 54008/3691275 773.15/762.14 c cleaning 10379 clauses out of 20772 with flag 72401/3700276 774.60/763.55 c cleaning 10190 clauses out of 20393 with flag 92717/3710276 776.23/765.17 c cleaning 10597 clauses out of 21202 with flag 115794/3721275 778.28/767.10 c cleaning 11301 clauses out of 22606 with flag 140901/3733276 780.23/769.07 c cleaning 12150 clauses out of 24304 with flag 168739/3746275 782.35/771.10 c cleaning 13074 clauses out of 26155 with flag 198078/3760276 784.59/773.33 c cleaning 14037 clauses out of 28080 with flag 229663/3775275 787.12/775.88 c cleaning 15020 clauses out of 30044 with flag 263363/3791276 790.20/778.87 c cleaning 16011 clauses out of 32023 with flag 299497/3808275 793.42/782.04 c cleaning 17003 clauses out of 34012 with flag 337649/3826275 796.77/785.34 c cleaning 18005 clauses out of 36010 with flag 378521/3845276 799.30/787.89 c Got one! Elapsed wall clock time (in seconds):787.776 799.30/787.89 o -738 800.40/788.92 c cleaning 19178 clauses out of 38361 with flag 10464/3865632 801.31/789.85 c cleaning 12586 clauses out of 25184 with flag 22999/3871633 802.20/790.79 c cleaning 9791 clauses out of 19597 with flag 37438/3878632 803.31/791.87 c cleaning 8897 clauses out of 17806 with flag 54044/3886632 804.53/793.08 c cleaning 8955 clauses out of 17910 with flag 73531/3895633 805.84/794.33 c cleaning 9472 clauses out of 18954 with flag 94952/3905632 807.34/795.86 c cleaning 10238 clauses out of 20482 with flag 118195/3916632 809.17/797.61 c cleaning 11119 clauses out of 22244 with flag 143600/3928632 811.09/799.52 c cleaning 12062 clauses out of 24126 with flag 171065/3941633 813.21/801.63 c cleaning 13030 clauses out of 26064 with flag 200562/3955633 815.44/803.82 c cleaning 14011 clauses out of 28033 with flag 231512/3970632 817.96/806.30 c cleaning 15008 clauses out of 30022 with flag 265119/3986632 820.47/808.88 c cleaning 16005 clauses out of 32014 with flag 300747/4003632 823.43/811.74 c cleaning 17004 clauses out of 34009 with flag 337776/4021632 826.45/814.76 c cleaning 18002 clauses out of 36005 with flag 376963/4040632 829.98/818.28 c cleaning 18999 clauses out of 38004 with flag 417806/4060633 833.95/822.16 c cleaning 20003 clauses out of 40005 with flag 460598/4081633 838.01/826.17 c cleaning 20999 clauses out of 42002 with flag 508494/4103633 842.14/830.28 c cleaning 21998 clauses out of 44002 with flag 558888/4126632 846.62/834.62 c cleaning 23000 clauses out of 46005 with flag 611315/4150633 851.49/839.47 c cleaning 23999 clauses out of 48004 with flag 667014/4175632 856.85/844.73 c cleaning 25000 clauses out of 50005 with flag 724764/4201632 862.44/850.29 c cleaning 26003 clauses out of 52005 with flag 784973/4228632 868.42/856.13 c cleaning 26995 clauses out of 54002 with flag 844325/4256632 874.98/862.60 c cleaning 28002 clauses out of 56009 with flag 907272/4285634 881.47/869.09 c cleaning 28999 clauses out of 58006 with flag 974921/4315633 888.70/876.16 c cleaning 30001 clauses out of 60007 with flag 1043487/4346633 895.74/883.08 c cleaning 31002 clauses out of 62005 with flag 1116138/4378632 903.54/890.79 c cleaning 31999 clauses out of 64004 with flag 1190480/4411633 911.32/898.43 c cleaning 32997 clauses out of 66004 with flag 1266398/4445632 919.61/906.61 c cleaning 33999 clauses out of 68007 with flag 1344075/4480632 928.15/915.05 c cleaning 35002 clauses out of 70010 with flag 1423630/4516634 937.07/923.89 c cleaning 36001 clauses out of 72007 with flag 1502269/4553633 946.58/933.21 c cleaning 36998 clauses out of 74006 with flag 1585657/4591633 956.61/943.14 c cleaning 38001 clauses out of 76009 with flag 1676462/4630634 967.61/954.02 c cleaning 38999 clauses out of 78007 with flag 1765637/4670633 978.31/964.66 c cleaning 40002 clauses out of 80007 with flag 1862548/4711632 989.26/975.49 c cleaning 41000 clauses out of 82005 with flag 1959139/4753632 1001.83/987.87 c cleaning 42002 clauses out of 84005 with flag 2056268/4796632 1014.26/1000.17 c cleaning 43000 clauses out of 86004 with flag 2155758/4840633 1027.22/1012.92 c cleaning 44001 clauses out of 88003 with flag 2255613/4885632 1040.58/1026.15 c cleaning 44994 clauses out of 90002 with flag 2351509/4931632 1053.19/1038.54 c cleaning 45998 clauses out of 92008 with flag 2446363/4978632 1067.34/1052.45 c cleaning 47003 clauses out of 94011 with flag 2542784/5026633 1083.52/1068.44 c cleaning 48000 clauses out of 96007 with flag 2641777/5075632 1099.34/1084.13 c cleaning 48990 clauses out of 98007 with flag 2754476/5125632 1116.44/1100.93 c cleaning 50003 clauses out of 100017 with flag 2919543/5176632 1133.50/1117.75 c cleaning 51003 clauses out of 102014 with flag 3157467/5228632 1151.29/1135.31 c cleaning 52003 clauses out of 104012 with flag 3402786/5281633 1169.88/1153.70 c cleaning 53001 clauses out of 106010 with flag 3679242/5335634 1187.21/1170.86 c cleaning 54004 clauses out of 108007 with flag 3932757/5390632 1207.03/1190.46 c cleaning 55000 clauses out of 110003 with flag 4080891/5446632 1225.56/1208.80 c cleaning 55996 clauses out of 112003 with flag 4218367/5503632 1245.30/1228.24 c cleaning 56999 clauses out of 114008 with flag 4341329/5561633 1265.32/1248.04 c cleaning 57998 clauses out of 116008 with flag 4471513/5620632 1285.02/1267.50 c cleaning 59001 clauses out of 118010 with flag 4600386/5680632 1308.59/1290.80 c cleaning 60001 clauses out of 120009 with flag 4731876/5741632 1334.97/1316.91 c cleaning 60997 clauses out of 122009 with flag 4867821/5803633 1358.06/1339.73 c cleaning 62003 clauses out of 124011 with flag 5001413/5866632 1379.19/1360.69 c cleaning 62998 clauses out of 126008 with flag 5137743/5930632 1402.36/1383.56 c cleaning 64001 clauses out of 128011 with flag 5277012/5995633 1426.48/1407.49 c cleaning 65000 clauses out of 130009 with flag 5414802/6061632 1452.44/1433.05 c cleaning 66001 clauses out of 132010 with flag 5557782/6128633 1478.93/1459.29 c cleaning 67002 clauses out of 134008 with flag 5704032/6196632 1505.39/1485.48 c cleaning 67998 clauses out of 136007 with flag 5852376/6265633 1534.62/1514.38 c cleaning 68999 clauses out of 138008 with flag 6000651/6335632 1565.04/1544.42 c cleaning 70001 clauses out of 140009 with flag 6149719/6406632 1595.82/1574.84 c cleaning 71000 clauses out of 142008 with flag 6300251/6478632 1625.69/1604.39 c cleaning 71998 clauses out of 144009 with flag 6455912/6551633 1657.33/1635.70 c cleaning 73004 clauses out of 146010 with flag 6608027/6625632 1689.74/1667.63 c cleaning 74000 clauses out of 148008 with flag 6768082/6700634 1720.30/1697.99 c cleaning 74998 clauses out of 150006 with flag 6928498/6776632 1755.69/1732.96 c cleaning 75998 clauses out of 152008 with flag 7090451/6853632 1789.29/1766.05 c cleaning 77000 clauses out of 154010 with flag 7256505/6931632 1800.04/1776.61 c starts : 7087 1800.04/1776.61 c conflicts : 6968242 1800.04/1776.61 c decisions : 9780070 1800.04/1776.61 c propagations : 277044698 1800.04/1776.61 c inspects : 25975906093 1800.04/1776.61 c shortcuts : 0 1800.04/1776.61 c learnt literals : 0 1800.04/1776.61 c learnt binary clauses : 312 1800.04/1776.61 c learnt ternary clauses : 2198 1800.04/1776.61 c learnt constraints : 6968242 1800.04/1776.61 c ignored constraints : 0 1800.04/1776.61 c root simplifications : 0 1800.04/1776.61 c removed literals (reason simplification) : 0 1800.04/1776.61 c reason swapping (by a shorter reason) : 0 1800.04/1776.61 c Calls to reduceDB : 300 1800.04/1776.61 c Number of update (reduction) of LBD : 45670 1800.04/1776.61 c Imported unit clauses : 0 1800.04/1776.61 c number of reductions to clauses (during analyze) : 0 1800.04/1776.61 c number of learned constraints concerned by reduction : 0 1800.04/1776.61 c number of learning phase by resolution : 0 1800.04/1776.61 c number of learning phase by cutting planes : 0 1800.04/1776.61 c speed (assignments/second) : 155965.62216583846 1800.04/1776.61 c non guided choices 0 1800.04/1776.63 c learnt constraints type 1800.04/1776.63 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 312 1800.04/1776.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113308 1800.04/1776.63 s SATISFIABLE 1800.04/1776.63 c Found 152 solution(s) 1800.04/1776.64 v x1 x2 x3 -x4 x5 -x6 -x7 x8 x9 x10 x11 -x12 x13 -x14 -x15 x16 x17 x18 x19 -x20 x21 x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 x256 -x257 x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 -x344 x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 x392 -x393 x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 x413 -x414 -x415 x416 -x417 x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 x503 -x504 x505 x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 -x553 x554 x555 -x556 x557 -x558 x559 x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 x571 -x572 x573 x574 -x575 -x576 -x577 x578 x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 x746 -x747 x748 -x749 -x750 x751 x752 -x753 x754 -x755 -x756 x757 x758 -x759 x760 -x761 -x762 x763 x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 x776 x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 x795 x796 -x797 x798 -x799 -x800 x801 x802 -x803 x804 -x805 -x806 x807 x808 -x809 x810 -x811 -x812 x813 x814 -x815 x816 -x817 -x818 x819 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 x832 x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 x851 x852 -x853 x854 x855 -x856 x857 x858 -x859 x860 x861 -x862 -x863 x864 -x865 x866 x867 -x868 -x869 -x870 -x871 x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 1800.04/1776.64 c objective function=-738 1800.04/1776.64 c Total wall clock time (in seconds): 1776.523
OK -738
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118164-1467224444/watcher-4118164-1467224444 -o /tmp/evaluation-result-4118164-1467224444/solver-4118164-1467224444 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118164-1467224444.opb pid=7313 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.31 2.34 2.26 4/197 7316 /proc/meminfo: memFree=26938416/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=336 CPUtime=0 cores=0,2,4,6 /proc/7316/stat : 7316 (java) R 7313 7316 4818 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 3396925 344064 41 33554432000 1073741824 1073778376 140734046759504 140735888255720 273896475315 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 625 45 36 9 0 29 0 [startup+0.100114 s] /proc/loadavg: 2.31 2.34 2.26 4/197 7316 /proc/meminfo: memFree=26938416/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 4406 0 1 0 7 1 0 0 20 0 18 0 3396925 9787879424 6035 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2389619 6035 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200275 s] /proc/loadavg: 2.31 2.34 2.26 4/197 7316 /proc/meminfo: memFree=26938416/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9558476 CPUtime=0.25 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 4731 0 1 0 23 2 0 0 20 0 18 0 3396925 9787879424 6820 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2389619 6820 2214 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300269 s] /proc/loadavg: 2.31 2.34 2.26 4/197 7316 /proc/meminfo: memFree=26938416/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 5880 0 1 0 44 2 0 0 20 0 19 0 3396925 9856040960 8502 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 8502 2238 9 0 2396937 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9625040 [startup+0.700229 s] /proc/loadavg: 2.31 2.34 2.26 4/197 7316 /proc/meminfo: memFree=26938416/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=1.59 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 13330 0 1 0 155 4 0 0 20 0 19 0 3396925 9856040960 16115 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 16115 2259 9 0 2396937 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 9625040 [startup+1.50079 s] /proc/loadavg: 2.31 2.34 2.26 4/216 7335 /proc/meminfo: memFree=26864176/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=2.45 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 13351 0 1 0 241 4 0 0 20 0 19 0 3396925 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 23800 2263 9 0 2396937 0 [pid=7316/tid=7318] ppid=7313 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/7316/task/7318/stat : 7318 (java) R 7313 7316 4818 0 -1 4202560 2442 0 1 0 144 2 0 0 20 0 19 0 3396926 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580442665264 140580269783248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7319] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7319/stat : 7319 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580404165160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7320] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7320/stat : 7320 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580403112360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7321] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7321/stat : 7321 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580402059560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7322] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7322/stat : 7322 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580401006760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7323] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7323/stat : 7323 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580399954984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7324] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7324/stat : 7324 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580398902184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7325] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7325/stat : 7325 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580397849384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7326] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7326/stat : 7326 (java) S 7313 7316 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580396796584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7327] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7327/stat : 7327 (java) S 7313 7316 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3396928 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580265900520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7328] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7328/stat : 7328 (java) S 7313 7316 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580264846584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7329] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7329/stat : 7329 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580263793672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7330] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7330/stat : 7330 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580262742160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7331] ppid=7313 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/7316/task/7331/stat : 7331 (java) S 7313 7316 4818 0 -1 4202560 4672 0 0 0 42 0 0 0 20 0 19 0 3396931 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580261690296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7332] ppid=7313 vsize=9625040 CPUtime=0.53 cores=0,2,4,6 /proc/7316/task/7332/stat : 7332 (java) S 7313 7316 4818 0 -1 4202560 4964 0 0 0 53 0 0 0 20 0 19 0 3396931 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580260637496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7333] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7333/stat : 7333 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580259584888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7334] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7334/stat : 7334 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580258532296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7335] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7335/stat : 7335 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396955 9856040960 23800 33554432000 1073741824 1073778376 140734046759504 140580257477800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.45 Current children cumulated vsize (KiB) 9625040 [startup+3.10075 s] /proc/loadavg: 2.31 2.34 2.26 3/216 7335 /proc/meminfo: memFree=26837428/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=4.12 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 13374 0 1 0 408 4 0 0 20 0 19 0 3396925 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 31484 2267 9 0 2396937 0 [pid=7316/tid=7318] ppid=7313 vsize=9625040 CPUtime=3.05 cores=0,2,4,6 /proc/7316/task/7318/stat : 7318 (java) R 7313 7316 4818 0 -1 4202560 2458 0 1 0 303 2 0 0 20 0 19 0 3396926 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580442673672 140580269913075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7319] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7319/stat : 7319 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580404165160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7320] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7320/stat : 7320 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580403112360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7321] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7321/stat : 7321 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580402059560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7322] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7322/stat : 7322 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580401006760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7323] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7323/stat : 7323 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580399954984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7324] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7324/stat : 7324 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580398902184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7325] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7325/stat : 7325 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580397849384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7326] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7326/stat : 7326 (java) S 7313 7316 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580396796584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7327] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7327/stat : 7327 (java) S 7313 7316 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3396928 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580265900520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7328] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7328/stat : 7328 (java) S 7313 7316 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580264846584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7329] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7329/stat : 7329 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580263793672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7330] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7330/stat : 7330 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580262742160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7331] ppid=7313 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/7316/task/7331/stat : 7331 (java) S 7313 7316 4818 0 -1 4202560 4676 0 0 0 45 0 0 0 20 0 19 0 3396931 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580261690296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7332] ppid=7313 vsize=9625040 CPUtime=0.57 cores=0,2,4,6 /proc/7316/task/7332/stat : 7332 (java) S 7313 7316 4818 0 -1 4202560 4967 0 0 0 57 0 0 0 20 0 19 0 3396931 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580260637496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7333] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7333/stat : 7333 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580259584888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7334] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7334/stat : 7334 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580258532296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7335] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7335/stat : 7335 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396955 9856040960 31484 33554432000 1073741824 1073778376 140734046759504 140580257477800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.12 Current children cumulated vsize (KiB) 9625040 [startup+6.30076 s] /proc/loadavg: 2.29 2.34 2.26 4/216 7335 /proc/meminfo: memFree=26782172/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=7.36 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 13442 0 1 0 730 6 0 0 20 0 19 0 3396925 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 46210 2281 9 0 2396937 0 [pid=7316/tid=7318] ppid=7313 vsize=9625040 CPUtime=6.24 cores=0,2,4,6 /proc/7316/task/7318/stat : 7318 (java) R 7313 7316 4818 0 -1 4202560 2486 0 1 0 621 3 0 0 20 0 19 0 3396926 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580442672520 140580269869895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7319] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7319/stat : 7319 (java) S 7313 7316 4818 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580404165160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7320] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7320/stat : 7320 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580403112360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7321] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7321/stat : 7321 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580402059560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7322] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7322/stat : 7322 (java) S 7313 7316 4818 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580401006760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7323] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7323/stat : 7323 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580399954984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7324] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7324/stat : 7324 (java) S 7313 7316 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580398902184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7325] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7325/stat : 7325 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580397849384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7326] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7326/stat : 7326 (java) S 7313 7316 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3396927 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580396796584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7327] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7327/stat : 7327 (java) S 7313 7316 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3396928 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580265900520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7328] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7328/stat : 7328 (java) S 7313 7316 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580264846584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7329] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7329/stat : 7329 (java) S 7313 7316 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580263793672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7330] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7330/stat : 7330 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580262742160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7331] ppid=7313 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/7316/task/7331/stat : 7331 (java) S 7313 7316 4818 0 -1 4202560 4676 0 0 0 46 0 0 0 20 0 19 0 3396931 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580261690296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7332] ppid=7313 vsize=9625040 CPUtime=0.59 cores=0,2,4,6 /proc/7316/task/7332/stat : 7332 (java) S 7313 7316 4818 0 -1 4202560 4967 0 0 0 59 0 0 0 20 0 19 0 3396931 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580260637496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7333] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7333/stat : 7333 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580259584888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7334] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7334/stat : 7334 (java) S 7313 7316 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580258532296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7335] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7335/stat : 7335 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396955 9856040960 46210 33554432000 1073741824 1073778376 140734046759504 140580257477800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.36 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=7316/tid=7335] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7335/stat : 7335 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396955 9856040960 110135 33554432000 1073741824 1073778376 140734046759504 140580257477800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1623.69 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.27 2.25 2.25 3/215 7440 /proc/meminfo: memFree=26530208/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=1684.41 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 56509 0 1 0 168269 172 0 0 20 0 19 0 3396925 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 119663 2289 9 0 2396937 0 [pid=7316/tid=7318] ppid=7313 vsize=9625040 CPUtime=1643.84 cores=0,2,4,6 /proc/7316/task/7318/stat : 7318 (java) R 7313 7316 4818 0 -1 4202560 3154 0 1 0 164354 30 0 0 20 0 19 0 3396926 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580442672352 140580269879247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7319] ppid=7313 vsize=9625040 CPUtime=3.35 cores=0,2,4,6 /proc/7316/task/7319/stat : 7319 (java) S 7313 7316 4818 0 -1 4202560 3346 0 0 0 321 14 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580404165160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7320] ppid=7313 vsize=9625040 CPUtime=3.48 cores=0,2,4,6 /proc/7316/task/7320/stat : 7320 (java) S 7313 7316 4818 0 -1 4202560 4510 0 0 0 332 16 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580403112360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7321] ppid=7313 vsize=9625040 CPUtime=3.52 cores=0,2,4,6 /proc/7316/task/7321/stat : 7321 (java) S 7313 7316 4818 0 -1 4202560 4439 0 0 0 334 18 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580402059560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7322] ppid=7313 vsize=9625040 CPUtime=3.81 cores=0,2,4,6 /proc/7316/task/7322/stat : 7322 (java) S 7313 7316 4818 0 -1 4202560 4507 0 0 0 360 21 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580401006760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7323] ppid=7313 vsize=9625040 CPUtime=3.78 cores=0,2,4,6 /proc/7316/task/7323/stat : 7323 (java) S 7313 7316 4818 0 -1 4202560 2321 0 0 0 361 17 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580399954984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7324] ppid=7313 vsize=9625040 CPUtime=3.78 cores=0,2,4,6 /proc/7316/task/7324/stat : 7324 (java) S 7313 7316 4818 0 -1 4202560 3046 0 0 0 360 18 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580398902184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7325] ppid=7313 vsize=9625040 CPUtime=3.49 cores=0,2,4,6 /proc/7316/task/7325/stat : 7325 (java) S 7313 7316 4818 0 -1 4202560 2533 0 0 0 335 14 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580397849384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7326] ppid=7313 vsize=9625040 CPUtime=3.69 cores=0,2,4,6 /proc/7316/task/7326/stat : 7326 (java) S 7313 7316 4818 0 -1 4202560 3139 0 0 0 352 17 0 0 20 0 19 0 3396927 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580396796584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7327] ppid=7313 vsize=9625040 CPUtime=5.22 cores=0,2,4,6 /proc/7316/task/7327/stat : 7327 (java) S 7313 7316 4818 0 -1 4202560 1348 0 0 0 512 10 0 0 20 0 19 0 3396928 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580265900520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7328] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7328/stat : 7328 (java) S 7313 7316 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580264846584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7329] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7329/stat : 7329 (java) S 7313 7316 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580263793672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7330] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7330/stat : 7330 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580262742160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7331] ppid=7313 vsize=9625040 CPUtime=1.4 cores=0,2,4,6 /proc/7316/task/7331/stat : 7331 (java) S 7313 7316 4818 0 -1 4202560 17842 0 0 0 137 3 0 0 20 0 19 0 3396931 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580261690296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7332] ppid=7313 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/7316/task/7332/stat : 7332 (java) S 7313 7316 4818 0 -1 4202560 4970 0 0 0 66 0 0 0 20 0 19 0 3396931 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580260637496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7333] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7333/stat : 7333 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580259584888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7334] ppid=7313 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/7316/task/7334/stat : 7334 (java) S 7313 7316 4818 0 -1 4202560 95 0 0 0 18 23 0 0 20 0 19 0 3396931 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580258532296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7335] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7335/stat : 7335 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396955 9856040960 119663 33554432000 1073741824 1073778376 140734046759504 140580257477800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1684.41 Current children cumulated vsize (KiB) 9625040 [startup+1722.31 s] /proc/loadavg: 2.15 2.22 2.24 3/215 7441 /proc/meminfo: memFree=26488744/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=1745.02 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 57120 0 1 0 174326 176 0 0 20 0 19 0 3396925 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 107673 2289 9 0 2396937 0 [pid=7316/tid=7318] ppid=7313 vsize=9625040 CPUtime=1703.22 cores=0,2,4,6 /proc/7316/task/7318/stat : 7318 (java) S 7313 7316 4818 0 -1 4202560 3176 0 1 0 170291 31 0 0 20 0 19 0 3396926 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580442672472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7319] ppid=7313 vsize=9625040 CPUtime=3.47 cores=0,2,4,6 /proc/7316/task/7319/stat : 7319 (java) R 7313 7316 4818 0 -1 4202560 3418 0 0 0 332 15 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580404165160 273909068860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7320] ppid=7313 vsize=9625040 CPUtime=3.63 cores=0,2,4,6 /proc/7316/task/7320/stat : 7320 (java) S 7313 7316 4818 0 -1 4202560 4648 0 0 0 347 16 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580403112360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7321] ppid=7313 vsize=9625040 CPUtime=3.63 cores=0,2,4,6 /proc/7316/task/7321/stat : 7321 (java) S 7313 7316 4818 0 -1 4202560 4609 0 0 0 345 18 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580402059560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7322] ppid=7313 vsize=9625040 CPUtime=3.9 cores=0,2,4,6 /proc/7316/task/7322/stat : 7322 (java) S 7313 7316 4818 0 -1 4202560 4507 0 0 0 369 21 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580401006760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7323] ppid=7313 vsize=9625040 CPUtime=3.88 cores=0,2,4,6 /proc/7316/task/7323/stat : 7323 (java) R 7313 7316 4818 0 -1 4202560 2403 0 0 0 370 18 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580399954984 273909068860 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7324] ppid=7313 vsize=9625040 CPUtime=3.88 cores=0,2,4,6 /proc/7316/task/7324/stat : 7324 (java) S 7313 7316 4818 0 -1 4202560 3152 0 0 0 370 18 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580398902184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7325] ppid=7313 vsize=9625040 CPUtime=3.61 cores=0,2,4,6 /proc/7316/task/7325/stat : 7325 (java) S 7313 7316 4818 0 -1 4202560 2533 0 0 0 347 14 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580397849384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7326] ppid=7313 vsize=9625040 CPUtime=3.81 cores=0,2,4,6 /proc/7316/task/7326/stat : 7326 (java) S 7313 7316 4818 0 -1 4202560 3139 0 0 0 364 17 0 0 20 0 19 0 3396927 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580396796584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7327] ppid=7313 vsize=9625040 CPUtime=5.42 cores=0,2,4,6 /proc/7316/task/7327/stat : 7327 (java) S 7313 7316 4818 0 -1 4202560 1365 0 0 0 532 10 0 0 20 0 19 0 3396928 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580265900520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7328] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7328/stat : 7328 (java) S 7313 7316 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580264846584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7329] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7329/stat : 7329 (java) S 7313 7316 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580263793672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7330] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7330/stat : 7330 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580262742160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7331] ppid=7313 vsize=9625040 CPUtime=1.4 cores=0,2,4,6 /proc/7316/task/7331/stat : 7331 (java) S 7313 7316 4818 0 -1 4202560 17842 0 0 0 137 3 0 0 20 0 19 0 3396931 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580261690296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7332] ppid=7313 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/7316/task/7332/stat : 7332 (java) S 7313 7316 4818 0 -1 4202560 4970 0 0 0 66 0 0 0 20 0 19 0 3396931 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580260637496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7333] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7333/stat : 7333 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580259584888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7334] ppid=7313 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/7316/task/7334/stat : 7334 (java) S 7313 7316 4818 0 -1 4202560 99 0 0 0 19 24 0 0 20 0 19 0 3396931 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580258532296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7335] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7335/stat : 7335 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396955 9856040960 107673 33554432000 1073741824 1073778376 140734046759504 140580257477800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1745.02 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1776.61 s] /proc/loadavg: 2.15 2.21 2.24 3/216 7444 /proc/meminfo: memFree=26418888/32872528 swapFree=1483896/1661724 [pid=7316] ppid=7313 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6 /proc/7316/stat : 7316 (java) S 7313 7316 4818 0 -1 4202496 57997 0 1 0 179818 186 0 0 20 0 19 0 3396925 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140734046750640 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/7316/statm: 2406260 113353 2289 9 0 2396937 0 [pid=7316/tid=7318] ppid=7313 vsize=9625040 CPUtime=1756.8 cores=0,2,4,6 /proc/7316/task/7318/stat : 7318 (java) R 7313 7316 4818 0 -1 4202560 3197 0 1 0 175648 32 0 0 20 0 19 0 3396926 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580442672424 140580269634113 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7319] ppid=7313 vsize=9625040 CPUtime=3.61 cores=0,2,4,6 /proc/7316/task/7319/stat : 7319 (java) S 7313 7316 4818 0 -1 4202560 3452 0 0 0 344 17 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580404165160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7320] ppid=7313 vsize=9625040 CPUtime=3.74 cores=0,2,4,6 /proc/7316/task/7320/stat : 7320 (java) S 7313 7316 4818 0 -1 4202560 4655 0 0 0 357 17 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580403112360 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7321] ppid=7313 vsize=9625040 CPUtime=3.75 cores=0,2,4,6 /proc/7316/task/7321/stat : 7321 (java) S 7313 7316 4818 0 -1 4202560 4632 0 0 0 355 20 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580402059560 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7322] ppid=7313 vsize=9625040 CPUtime=4.04 cores=0,2,4,6 /proc/7316/task/7322/stat : 7322 (java) S 7313 7316 4818 0 -1 4202560 4641 0 0 0 382 22 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580401006760 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7323] ppid=7313 vsize=9625040 CPUtime=4.03 cores=0,2,4,6 /proc/7316/task/7323/stat : 7323 (java) S 7313 7316 4818 0 -1 4202560 2647 0 0 0 384 19 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580399954984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7324] ppid=7313 vsize=9625040 CPUtime=4 cores=0,2,4,6 /proc/7316/task/7324/stat : 7324 (java) S 7313 7316 4818 0 -1 4202560 3306 0 0 0 381 19 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580398902184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7325] ppid=7313 vsize=9625040 CPUtime=3.72 cores=0,2,4,6 /proc/7316/task/7325/stat : 7325 (java) S 7313 7316 4818 0 -1 4202560 2665 0 0 0 357 15 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580397849384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7326] ppid=7313 vsize=9625040 CPUtime=3.94 cores=0,2,4,6 /proc/7316/task/7326/stat : 7326 (java) S 7313 7316 4818 0 -1 4202560 3159 0 0 0 376 18 0 0 20 0 19 0 3396927 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580396796584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7327] ppid=7313 vsize=9625040 CPUtime=5.69 cores=0,2,4,6 /proc/7316/task/7327/stat : 7327 (java) S 7313 7316 4818 0 -1 4202560 1471 0 0 0 559 10 0 0 20 0 19 0 3396928 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580265900520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7328] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7328/stat : 7328 (java) S 7313 7316 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580264846584 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7329] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7329/stat : 7329 (java) S 7313 7316 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3396929 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580263793672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7330] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7330/stat : 7330 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580262742160 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7331] ppid=7313 vsize=9625040 CPUtime=1.4 cores=0,2,4,6 /proc/7316/task/7331/stat : 7331 (java) S 7313 7316 4818 0 -1 4202560 17842 0 0 0 137 3 0 0 20 0 19 0 3396931 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580261690296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=7316/tid=7332] ppid=7313 vsize=9625040 CPUtime=0.66 cores=0,2,4,6 /proc/7316/task/7332/stat : 7332 (java) S 7313 7316 4818 0 -1 4202560 4970 0 0 0 66 0 0 0 20 0 19 0 3396931 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580260637496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=7316/tid=7333] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7333/stat : 7333 (java) S 7313 7316 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3396931 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580259584888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=7316/tid=7334] ppid=7313 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/7316/task/7334/stat : 7334 (java) S 7313 7316 4818 0 -1 4202560 101 0 0 0 20 24 0 0 20 0 19 0 3396931 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580258532296 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=7316/tid=7335] ppid=7313 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/7316/task/7335/stat : 7335 (java) S 7313 7316 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3396955 9856040960 113353 33554432000 1073741824 1073778376 140734046759504 140580257477800 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 7316 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7316 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=858292 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=301650 # CPU time returned by wait4() is 1796.16 # while last known CPU time is 1800.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1776.65 CPU time (s): 1800.04 CPU user time (s): 1798.18 CPU system time (s): 1.86 CPU usage (%): 101.317 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.86 system time used= 2.30165 maximum resident set size= 529608 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58042 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 59941 involuntary context switches= 62079 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.9722 second user time and 11.4743 second system time The end
Begin job on node134 at 2016-06-29 20:20:44 IDJOB=4118164 IDBENCH=111463 IDSOLVER=2546 FILE ID=node134/4118164-1467224444 RUNJOBID= node134-1467208989-4834 PBS_JOBID= 19997576 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.lin.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118164-1467224444/watcher-4118164-1467224444 -o /tmp/evaluation-result-4118164-1467224444/solver-4118164-1467224444 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118164-1467224444.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e449338e83c68cf4f1b342055332b04 RANDOM SEED=1392651444 node134.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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 cpu MHz : 2666.738 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 7358.89 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 cpu MHz : 2666.738 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 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 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 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 : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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 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 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 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 cpu MHz : 2666.738 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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 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 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 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 cpu MHz : 2666.738 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 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 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 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.738 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26939060 kB Buffers: 130872 kB Cached: 2990736 kB SwapCached: 0 kB Active: 535712 kB Inactive: 2990084 kB Active(anon): 406772 kB Inactive(anon): 0 kB Active(file): 128940 kB Inactive(file): 2990084 kB Unevictable: 1661724 kB Mlocked: 1483896 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 828 kB Writeback: 0 kB AnonPages: 2184152 kB Mapped: 21668 kB Shmem: 216 kB Slab: 611476 kB SReclaimable: 55460 kB SUnreclaim: 556016 kB KernelStack: 1792 kB PageTables: 8468 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2195632 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 675840 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node134 at 2016-06-29 20:50:21