Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 739813547250000007 | 1800.07 | 1121.27 |
| Name | /OPT-BIGINT-LIN/heinz/ normalized-eilB101.opb |
| MD5SUM | fbc26082f2456029d803a788e5b95f10 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 362784496250000004 |
| Best CPU time to get the best result obtained on this benchmark | 1800.46 |
| 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 | 2818 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 759 |
| Number of terms in the objective function | 2818 |
| Biggest coefficient in the objective function | 83990681000000000 |
| Number of bits for the biggest coefficient in the objective function | 57 |
| Sum of the numbers in the objective function | 88099418004000000014 |
| Number of bits of the sum of numbers in the objective function | 67 |
| Biggest number in a constraint | 83990681000000000 |
| Number of bits of the biggest number in a constraint | 57 |
| Biggest sum of numbers in a constraint | 88099418004000000014 |
| Number of bits of the biggest sum of numbers | 67 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.09 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.2.v20120418 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose learned constraints deletion strategy 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-3689540-1337882787.opb 0.08/0.12 c reading problem ... 0.53/0.35 c ... done. Wall clock time 0.221s. 0.53/0.35 c declared #vars 2818 0.53/0.35 c #constraints 200 0.53/0.35 c constraints type 0.53/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 0.53/0.35 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 0.53/0.35 c 200 constraints processed. 0.53/0.35 c constraints type 0.53/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100 0.53/0.35 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100 0.53/0.35 c 200 constraints processed. 0.53/0.35 c objective function length is 2818 literals 0.80/0.41 c And the winner is solver1 0.91/0.85 c SATISFIABLE 0.91/0.85 c OPTIMIZING... 0.91/0.85 c Got one! Elapsed wall clock time (in seconds):0.726 0.91/0.85 o 1247355656500000010 1.06/0.92 c And the winner is solver0 1.71/1.38 c Got one! Elapsed wall clock time (in seconds):1.255 1.71/1.38 o 1246201568750000010 1.75/1.40 c And the winner is solver0 1.90/1.90 c Got one! Elapsed wall clock time (in seconds):1.769 1.90/1.90 o 1237397973500000010 1.91/1.91 c And the winner is solver0 1.98/2.40 c Got one! Elapsed wall clock time (in seconds):2.278 1.98/2.40 o 1236243885750000010 1.98/2.42 c And the winner is solver0 2.07/2.91 c Got one! Elapsed wall clock time (in seconds):2.786 2.07/2.91 o 1229383009250000010 2.07/2.92 c And the winner is solver0 2.12/3.42 c Got one! Elapsed wall clock time (in seconds):3.292 2.12/3.42 o 1228237596750000010 2.12/3.43 c And the winner is solver0 2.17/3.92 c Got one! Elapsed wall clock time (in seconds):3.799 2.17/3.92 o 1227083509000000010 2.17/3.94 c And the winner is solver0 2.21/4.43 c Got one! Elapsed wall clock time (in seconds):4.306 2.21/4.43 o 1221648046750000011 2.21/4.44 c And the winner is solver0 2.22/4.94 c Got one! Elapsed wall clock time (in seconds):4.812 2.22/4.94 o 1220493959000000011 2.22/4.95 c And the winner is solver0 2.23/5.44 c Got one! Elapsed wall clock time (in seconds):5.319 2.23/5.44 o 1211690363750000011 2.23/5.45 c And the winner is solver0 2.24/5.95 c Got one! Elapsed wall clock time (in seconds):5.824 2.24/5.95 o 1210536276000000011 2.24/5.96 c And the winner is solver0 2.39/6.45 c Got one! Elapsed wall clock time (in seconds):6.33 2.39/6.45 o 1210282742000000011 2.39/6.47 c And the winner is solver0 2.54/6.96 c Got one! Elapsed wall clock time (in seconds):6.836 2.54/6.96 o 1196863850000000011 2.54/6.99 c And the winner is solver0 2.79/7.47 c Got one! Elapsed wall clock time (in seconds):7.343 2.79/7.47 o 1194756724750000011 2.79/7.48 c And the winner is solver0 2.95/7.97 c Got one! Elapsed wall clock time (in seconds):7.848 2.95/7.97 o 1188346212500000011 2.95/7.98 c And the winner is solver0 3.08/8.48 c Got one! Elapsed wall clock time (in seconds):8.353 3.08/8.48 o 1186239087250000011 3.13/8.50 c And the winner is solver0 3.26/8.98 c Got one! Elapsed wall clock time (in seconds):8.857 3.26/8.98 o 1184619319000000011 3.26/8.99 c And the winner is solver0 3.30/9.49 c Got one! Elapsed wall clock time (in seconds):9.362 3.30/9.49 o 1184260387000000012 3.30/9.50 c And the winner is solver0 3.31/9.99 c Got one! Elapsed wall clock time (in seconds):9.868 3.31/9.99 o 1175456791750000012 3.32/10.00 c And the winner is solver0 3.32/10.50 c Got one! Elapsed wall clock time (in seconds):10.373 3.32/10.50 o 1174302704000000012 3.32/10.50 c And the winner is solver0 3.32/11.00 c Got one! Elapsed wall clock time (in seconds):10.877 3.32/11.00 o 1174049170000000012 3.32/11.01 c And the winner is solver0 3.34/11.51 c Got one! Elapsed wall clock time (in seconds):11.382 3.34/11.51 o 1171942044750000012 3.34/11.52 c And the winner is solver0 3.47/12.01 c Got one! Elapsed wall clock time (in seconds):11.887 3.47/12.01 o 1171359809750000011 3.47/12.02 c And the winner is solver0 3.48/12.52 c Got one! Elapsed wall clock time (in seconds):12.391 3.48/12.52 o 1170205722000000011 3.48/12.52 c And the winner is solver0 3.48/13.02 c Got one! Elapsed wall clock time (in seconds):12.896 3.48/13.02 o 1168303069750000012 3.48/13.03 c And the winner is solver0 3.48/13.53 c Got one! Elapsed wall clock time (in seconds):13.401 3.48/13.53 o 1167148982000000012 3.48/13.53 c And the winner is solver0 3.49/14.03 c Got one! Elapsed wall clock time (in seconds):13.906 3.49/14.03 o 1156937765000000012 3.49/14.05 c And the winner is solver0 3.60/14.54 c Got one! Elapsed wall clock time (in seconds):14.41 3.60/14.54 o 1139540335250000011 3.60/14.55 c And the winner is solver0 3.73/15.04 c Got one! Elapsed wall clock time (in seconds):14.915 3.73/15.04 o 1137934677000000012 3.73/15.06 c And the winner is solver0 3.86/15.54 c Got one! Elapsed wall clock time (in seconds):15.42 3.86/15.54 o 1133837695000000011 3.86/15.55 c And the winner is solver0 3.89/16.05 c Got one! Elapsed wall clock time (in seconds):15.925 3.89/16.05 o 1130780955000000012 3.89/16.06 c And the winner is solver0 4.00/16.55 c Got one! Elapsed wall clock time (in seconds):16.43 4.00/16.55 o 1127506314250000012 4.00/16.58 c And the winner is solver0 4.18/17.06 c Got one! Elapsed wall clock time (in seconds):16.935 4.18/17.06 o 1120045148750000012 4.18/17.07 c And the winner is solver0 4.30/17.56 c Got one! Elapsed wall clock time (in seconds):17.439 4.30/17.56 o 1114543454750000011 4.30/17.59 c And the winner is solver0 4.44/18.07 c Got one! Elapsed wall clock time (in seconds):17.944 4.44/18.07 o 1112133922750000012 4.49/18.10 c And the winner is solver0 4.61/18.57 c Got one! Elapsed wall clock time (in seconds):18.449 4.61/18.57 o 1096630570250000012 4.68/18.63 c And the winner is solver0 4.83/19.08 c Got one! Elapsed wall clock time (in seconds):18.955 4.83/19.08 o 1091215198000000011 4.83/19.09 c And the winner is solver0 4.84/19.58 c Got one! Elapsed wall clock time (in seconds):19.459 4.84/19.58 o 1091152050000000011 4.85/19.60 c And the winner is solver0 4.95/20.09 c Got one! Elapsed wall clock time (in seconds):19.964 4.95/20.09 o 1088805666000000012 4.96/20.10 c And the winner is solver0 4.96/20.59 c Got one! Elapsed wall clock time (in seconds):20.468 4.96/20.59 o 1088742518000000012 4.96/20.60 c And the winner is solver0 4.97/21.10 c Got one! Elapsed wall clock time (in seconds):20.973 4.97/21.10 o 1086345969000000012 5.16/21.20 c And the winner is solver0 5.21/21.60 c Got one! Elapsed wall clock time (in seconds):21.478 5.21/21.60 o 1081227028750000012 5.21/21.62 c And the winner is solver0 5.48/22.11 c Got one! Elapsed wall clock time (in seconds):21.983 5.48/22.11 o 1079085973000000012 5.48/22.12 c And the winner is solver0 5.51/22.61 c Got one! Elapsed wall clock time (in seconds):22.488 5.51/22.61 o 1079019367000000012 5.51/22.62 c And the winner is solver0 5.52/23.12 c Got one! Elapsed wall clock time (in seconds):22.993 5.52/23.12 o 1078956219000000012 5.70/23.22 c And the winner is solver0 5.79/23.62 c Got one! Elapsed wall clock time (in seconds):23.498 5.79/23.62 o 1077367476000000012 5.79/23.67 c And the winner is solver0 6.02/24.13 c Got one! Elapsed wall clock time (in seconds):24.003 6.02/24.13 o 1075316172750000012 6.16/24.28 c And the winner is solver0 6.42/24.63 c Got one! Elapsed wall clock time (in seconds):24.509 6.42/24.63 o 1041924215750000011 6.75/24.83 c And the winner is solver0 6.83/25.14 c Got one! Elapsed wall clock time (in seconds):25.013 6.83/25.14 o 1036709596000000010 7.79/25.62 c And the winner is solver0 7.91/25.74 c Got one! Elapsed wall clock time (in seconds):25.619 7.91/25.74 o 1028977835500000012 8.03/25.85 c And the winner is solver0 8.17/26.25 c Got one! Elapsed wall clock time (in seconds):26.123 8.17/26.25 o 1010253006000000011 8.51/26.42 c And the winner is solver0 8.58/26.75 c Got one! Elapsed wall clock time (in seconds):26.628 8.58/26.75 o 997104910750000013 9.06/27.05 c And the winner is solver0 9.30/27.26 c Got one! Elapsed wall clock time (in seconds):27.133 9.30/27.26 o 995851593750000007 9.37/27.36 c And the winner is solver0 9.52/27.76 c Got one! Elapsed wall clock time (in seconds):27.638 9.52/27.76 o 989226131500000011 11.87/28.95 c cleaning 4327 clauses out of 8653 with flag 3000/8653 12.99/29.40 c And the winner is solver0 13.02/29.77 c Got one! Elapsed wall clock time (in seconds):29.644 13.02/29.77 o 985715829000000014 13.52/30.04 c And the winner is solver0 13.60/30.27 c Got one! Elapsed wall clock time (in seconds):30.149 13.60/30.27 o 979732700750000010 14.45/30.71 c And the winner is solver0 14.55/30.83 c Got one! Elapsed wall clock time (in seconds):30.705 14.55/30.83 o 978364063250000013 16.12/31.67 c And the winner is solver0 16.31/31.84 c Got one! Elapsed wall clock time (in seconds):31.711 16.31/31.84 o 968430811500000010 16.62/32.07 c And the winner is solver0 16.89/32.34 c Got one! Elapsed wall clock time (in seconds):32.216 16.89/32.34 o 967875356500000016 17.40/32.64 c cleaning 6024 clauses out of 12062 with flag 1001/16389 17.57/32.77 c And the winner is solver0 17.72/32.85 c Got one! Elapsed wall clock time (in seconds):32.721 17.72/32.85 o 967618914500000016 18.42/33.29 c And the winner is solver0 18.62/33.35 c Got one! Elapsed wall clock time (in seconds):33.226 18.62/33.35 o 939927419250000013 20.35/34.22 c And the winner is solver0 20.40/34.36 c Got one! Elapsed wall clock time (in seconds):34.231 20.40/34.36 o 937238950500000010 21.14/34.70 c cleaning 6075 clauses out of 12166 with flag 1007/22517 22.32/35.38 c And the winner is solver0 22.54/35.86 c Got one! Elapsed wall clock time (in seconds):35.737 22.54/35.86 o 930479552500000013 24.84/37.02 c cleaning 5906 clauses out of 11841 with flag 4001/28267 25.36/37.30 c And the winner is solver0 25.36/37.37 c Got one! Elapsed wall clock time (in seconds):37.243 25.36/37.37 o 928426872000000012 28.07/38.74 c And the winner is solver0 28.17/38.87 c Got one! Elapsed wall clock time (in seconds):38.748 28.17/38.87 o 928060819250000012 28.61/39.17 c cleaning 6067 clauses out of 12172 with flag 1000/34504 32.77/41.26 c And the winner is solver0 32.94/41.38 c Got one! Elapsed wall clock time (in seconds):41.254 32.94/41.38 o 926085937250000014 35.85/42.82 c cleaning 8146 clauses out of 16304 with flag 5000/44703 36.58/43.20 c And the winner is solver0 36.72/43.44 c Got one! Elapsed wall clock time (in seconds):43.314 36.72/43.44 o 925066872750000011 38.83/44.51 c And the winner is solver0 39.16/44.94 c Got one! Elapsed wall clock time (in seconds):44.82 39.16/44.94 o 922429753250000008 39.47/45.12 c And the winner is solver0 39.54/45.45 c Got one! Elapsed wall clock time (in seconds):45.326 39.54/45.45 o 922105426500000013 39.83/45.66 c And the winner is solver0 40.11/45.96 c Got one! Elapsed wall clock time (in seconds):45.832 40.11/45.96 o 917928500000000011 40.60/46.29 c cleaning 7654 clauses out of 15321 with flag 1001/51866 44.51/48.26 c And the winner is solver0 44.75/48.46 c Got one! Elapsed wall clock time (in seconds):48.338 44.75/48.46 o 913966414500000012 47.70/49.91 c cleaning 8995 clauses out of 17995 with flag 5001/62194 48.40/50.34 c And the winner is solver0 48.58/50.63 c Got one! Elapsed wall clock time (in seconds):50.509 48.58/50.63 o 910525544000000011 50.30/51.56 c And the winner is solver0 50.59/51.74 c Got one! Elapsed wall clock time (in seconds):51.615 50.59/51.74 o 905209088750000012 51.51/52.29 c cleaning 7663 clauses out of 15355 with flag 2001/68549 54.66/53.88 c cleaning 6834 clauses out of 13695 with flag 8004/74552 55.94/54.58 c And the winner is solver0 56.18/54.75 c Got one! Elapsed wall clock time (in seconds):54.622 56.18/54.75 o 904761754000000009 58.48/55.95 c And the winner is solver0 58.67/56.25 c Got one! Elapsed wall clock time (in seconds):56.128 58.67/56.25 o 904027433000000016 59.16/56.58 c cleaning 6512 clauses out of 13042 with flag 1000/80733 60.85/57.47 c And the winner is solver0 61.20/57.76 c Got one! Elapsed wall clock time (in seconds):57.635 61.20/57.76 o 898395303750000010 62.67/58.51 c cleaning 5926 clauses out of 11856 with flag 3002/86059 66.53/60.52 c cleaning 5954 clauses out of 11929 with flag 9001/92058 66.80/60.73 c And the winner is solver0 66.93/60.82 c Got one! Elapsed wall clock time (in seconds):60.691 66.93/60.82 o 890219907250000014 69.48/62.13 c cleaning 5586 clauses out of 11184 with flag 5001/97267 72.97/63.91 c cleaning 5793 clauses out of 11599 with flag 11002/103268 77.85/66.43 c cleaning 6392 clauses out of 12809 with flag 18005/110271 80.89/68.03 c And the winner is solver0 81.29/68.42 c Got one! Elapsed wall clock time (in seconds):68.3 81.29/68.42 o 883339979750000010 82.63/69.12 c cleaning 6196 clauses out of 12397 with flag 2000/116251 87.10/71.42 c cleaning 6093 clauses out of 12202 with flag 8001/122252 89.77/72.84 c And the winner is solver0 89.98/73.10 c Got one! Elapsed wall clock time (in seconds):72.975 89.98/73.10 o 883289523000000006 90.97/73.70 c cleaning 5744 clauses out of 11499 with flag 2000/127642 94.61/75.54 c cleaning 5870 clauses out of 11756 with flag 8001/133643 99.17/77.98 c cleaning 6436 clauses out of 12888 with flag 15003/140645 100.42/78.69 c And the winner is solver0 101.51/79.65 c Got one! Elapsed wall clock time (in seconds):79.529 101.51/79.65 o 874147885250000006 103.58/80.79 c cleaning 5913 clauses out of 11848 with flag 4000/146041 106.85/82.41 c cleaning 5950 clauses out of 11937 with flag 10002/152043 107.88/83.01 c And the winner is solver0 109.75/84.92 c Got one! Elapsed wall clock time (in seconds):84.79 109.75/84.92 o 870091205000000014 111.92/86.01 c cleaning 5683 clauses out of 11401 with flag 4000/157457 115.27/87.86 c cleaning 5850 clauses out of 11718 with flag 10000/163457 119.30/89.98 c cleaning 6420 clauses out of 12870 with flag 17002/170459 122.93/91.88 c And the winner is solver0 125.10/93.92 c Got one! Elapsed wall clock time (in seconds):93.792 125.10/93.92 o 867342038500000014 129.31/96.07 c cleaning 8319 clauses out of 16654 with flag 5005/180663 131.78/97.34 c And the winner is solver0 132.42/97.93 c Got one! Elapsed wall clock time (in seconds):97.801 132.42/97.93 o 867168659250000017 133.96/98.78 c cleaning 7050 clauses out of 14105 with flag 3003/186433 137.74/100.77 c cleaning 6513 clauses out of 13053 with flag 9001/192431 143.77/103.83 c cleaning 6765 clauses out of 13539 with flag 16000/199430 151.43/107.71 c cleaning 7373 clauses out of 14775 with flag 24001/207431 155.69/109.97 c And the winner is solver0 158.34/112.57 c Got one! Elapsed wall clock time (in seconds):112.444 158.34/112.57 o 867017724000000010 158.82/112.87 c cleaning 6537 clauses out of 13088 with flag 1000/213117 162.18/114.70 c cleaning 6269 clauses out of 12551 with flag 7000/219117 166.03/116.66 c cleaning 6624 clauses out of 13283 with flag 14001/226118 171.06/119.22 c cleaning 7321 clauses out of 14658 with flag 22000/234117 179.70/123.63 c cleaning 8146 clauses out of 16339 with flag 31002/243119 187.09/127.44 c And the winner is solver0 191.35/131.73 c Got one! Elapsed wall clock time (in seconds):131.604 191.35/131.73 o 866847905750000012 194.48/133.30 c cleaning 10736 clauses out of 21485 with flag 5000/256411 196.36/134.33 c And the winner is solver0 197.70/135.69 c Got one! Elapsed wall clock time (in seconds):135.564 197.70/135.69 o 866101800500000010 198.20/135.98 c And the winner is solver0 198.79/136.45 c Got one! Elapsed wall clock time (in seconds):136.322 198.79/136.45 o 849002200250000013 199.51/136.89 c And the winner is solver0 199.99/137.20 c Got one! Elapsed wall clock time (in seconds):137.079 199.99/137.20 o 847608963750000014 200.58/137.56 c cleaning 8319 clauses out of 16670 with flag 1000/262332 202.41/138.54 c And the winner is solver0 203.16/139.24 c Got one! Elapsed wall clock time (in seconds):139.117 203.16/139.24 o 846913286500000010 204.88/140.17 c cleaning 6893 clauses out of 13800 with flag 3001/267781 207.52/141.57 c And the winner is solver0 209.20/143.20 c Got one! Elapsed wall clock time (in seconds):143.07 209.20/143.20 o 839098072500000006 210.45/143.80 c cleaning 6271 clauses out of 12562 with flag 2003/273436 214.20/145.90 c cleaning 6140 clauses out of 12288 with flag 8000/279433 219.83/148.71 c And the winner is solver0 220.65/149.55 c Got one! Elapsed wall clock time (in seconds):149.428 220.65/149.55 o 837389840000000012 223.52/151.02 c cleaning 8968 clauses out of 17970 with flag 5001/291255 227.00/152.86 c cleaning 7488 clauses out of 15002 with flag 11001/297255 231.44/155.19 c cleaning 7229 clauses out of 14514 with flag 18001/304255 235.59/157.37 c And the winner is solver0 236.84/158.56 c Got one! Elapsed wall clock time (in seconds):158.435 236.84/158.56 o 833974234000000014 239.75/160.07 c cleaning 9069 clauses out of 18152 with flag 5000/315122 243.82/162.19 c cleaning 7530 clauses out of 15084 with flag 11001/321123 248.66/164.66 c cleaning 7263 clauses out of 14553 with flag 18000/328122 250.09/165.47 c And the winner is solver0 254.65/169.98 c Got one! Elapsed wall clock time (in seconds):169.858 254.65/169.98 o 832514878000000014 256.92/171.15 c cleaning 6600 clauses out of 13218 with flag 4000/334050 260.47/173.09 c cleaning 6297 clauses out of 12619 with flag 10001/340051 264.31/175.07 c cleaning 6658 clauses out of 13323 with flag 17002/347052 269.55/177.78 c cleaning 7307 clauses out of 14663 with flag 25000/355050 280.20/183.10 c cleaning 8163 clauses out of 16357 with flag 34001/364051 287.98/187.15 c cleaning 9085 clauses out of 18193 with flag 44000/374050 296.47/191.42 c cleaning 10025 clauses out of 20112 with flag 55004/385054 306.49/196.52 c cleaning 11030 clauses out of 22085 with flag 67002/397052 307.94/197.38 c And the winner is solver0 308.17/197.73 c Got one! Elapsed wall clock time (in seconds):197.606 308.17/197.73 o 828862730750000014 310.90/199.14 c cleaning 8479 clauses out of 16963 with flag 4000/402960 316.03/201.86 c cleaning 7222 clauses out of 14485 with flag 10001/408961 321.65/204.74 c cleaning 7114 clauses out of 14262 with flag 17000/415960 328.26/208.19 c cleaning 7561 clauses out of 15148 with flag 25000/423960 336.28/212.21 c cleaning 8289 clauses out of 16588 with flag 34001/432961 340.13/214.33 c And the winner is solver0 340.93/215.13 c Got one! Elapsed wall clock time (in seconds):215.001 340.93/215.13 o 827710033000000012 344.04/216.71 c cleaning 9480 clauses out of 18989 with flag 5004/443651 347.83/218.71 c cleaning 7747 clauses out of 15508 with flag 11003/449650 353.61/221.74 c cleaning 7368 clauses out of 14759 with flag 18001/456648 360.61/225.31 c cleaning 7685 clauses out of 15390 with flag 26000/464647 368.07/229.23 c cleaning 8343 clauses out of 16707 with flag 35002/473649 376.26/233.40 c cleaning 9170 clauses out of 18362 with flag 45000/483647 376.85/233.81 c And the winner is solver0 385.73/242.78 c Got one! Elapsed wall clock time (in seconds):242.656 385.73/242.78 o 827321219000000008 388.96/244.41 c cleaning 7330 clauses out of 14668 with flag 5001/489123 392.35/246.21 c cleaning 6647 clauses out of 13338 with flag 11001/495123 396.22/248.35 c cleaning 6827 clauses out of 13690 with flag 18000/502122 400.61/250.64 c cleaning 7418 clauses out of 14863 with flag 26000/510122 405.62/253.26 c cleaning 8212 clauses out of 16445 with flag 35000/519122 411.42/256.29 c cleaning 9109 clauses out of 18233 with flag 45000/529122 419.07/260.28 c cleaning 10019 clauses out of 20126 with flag 56002/540124 424.65/263.19 c And the winner is solver0 432.39/270.87 c Got one! Elapsed wall clock time (in seconds):270.741 432.39/270.87 o 824259085500000012 435.22/272.36 c cleaning 11290 clauses out of 22617 with flag 5000/552634 438.64/274.17 c cleaning 8643 clauses out of 17327 with flag 11000/558634 442.43/276.15 c cleaning 7828 clauses out of 15687 with flag 18003/565637 446.87/278.55 c cleaning 7915 clauses out of 15857 with flag 26001/573635 452.05/281.20 c cleaning 8459 clauses out of 16942 with flag 35001/582635 455.45/283.04 c And the winner is solver0 458.98/286.59 c Got one! Elapsed wall clock time (in seconds):286.469 458.98/286.59 o 817323216500000007 462.80/288.53 c cleaning 9708 clauses out of 19436 with flag 5002/593588 465.21/289.87 c And the winner is solver0 466.37/290.90 c Got one! Elapsed wall clock time (in seconds):290.769 466.37/290.90 o 811563153000000014 468.17/291.83 c cleaning 7847 clauses out of 15715 with flag 3000/599575 472.41/294.15 c cleaning 6931 clauses out of 13873 with flag 9005/605580 478.40/297.28 c cleaning 6964 clauses out of 13938 with flag 16001/612576 485.18/300.71 c cleaning 7475 clauses out of 14973 with flag 24000/620575 492.97/304.74 c cleaning 8236 clauses out of 16498 with flag 33000/629575 494.01/305.46 c And the winner is solver0 494.35/305.74 c Got one! Elapsed wall clock time (in seconds):305.612 494.35/305.74 o 809953101000000012 497.06/307.19 c cleaning 7078 clauses out of 14232 with flag 5001/635545 500.43/308.92 c cleaning 6548 clauses out of 13153 with flag 11000/641544 504.60/311.20 c cleaning 6799 clauses out of 13605 with flag 18000/648544 510.76/314.36 c cleaning 7395 clauses out of 14807 with flag 26001/656545 517.40/317.86 c cleaning 8194 clauses out of 16412 with flag 35001/665545 520.15/319.34 c And the winner is solver0 523.11/322.31 c Got one! Elapsed wall clock time (in seconds):322.181 523.11/322.31 o 808978843500000011 524.28/322.95 c cleaning 6790 clauses out of 13593 with flag 2000/670920 527.86/324.88 c cleaning 6397 clauses out of 12803 with flag 8000/676920 533.81/327.93 c cleaning 6694 clauses out of 13407 with flag 15001/683921 541.63/332.03 c cleaning 7354 clauses out of 14713 with flag 23001/691921 549.81/336.29 c cleaning 8168 clauses out of 16360 with flag 32002/700922 557.88/340.40 c And the winner is solver0 564.55/347.13 c Got one! Elapsed wall clock time (in seconds):347.005 564.55/347.13 o 807009345000000013 567.71/348.97 c cleaning 10530 clauses out of 21069 with flag 5001/713799 571.77/351.16 c cleaning 8263 clauses out of 16542 with flag 11004/719802 576.91/353.80 c cleaning 7630 clauses out of 15275 with flag 18000/726798 582.68/356.80 c cleaning 7808 clauses out of 15645 with flag 26000/734798 589.44/360.31 c cleaning 8403 clauses out of 16837 with flag 35000/743798 590.84/361.26 c And the winner is solver0 597.19/367.54 c Got one! Elapsed wall clock time (in seconds):367.412 597.19/367.54 o 806651793000000011 599.48/368.77 c cleaning 6938 clauses out of 13910 with flag 4001/749274 602.85/370.56 c cleaning 6462 clauses out of 12971 with flag 10000/755273 606.39/372.44 c cleaning 6749 clauses out of 13511 with flag 17002/762275 610.33/374.56 c cleaning 7378 clauses out of 14767 with flag 25007/770280 615.09/377.19 c cleaning 8183 clauses out of 16382 with flag 34000/779273 621.03/380.22 c cleaning 9099 clauses out of 18202 with flag 44003/789276 623.59/381.69 c And the winner is solver0 645.26/403.31 c Got one! Elapsed wall clock time (in seconds):403.187 645.26/403.31 o 800014908500000007 646.42/403.93 c cleaning 7137 clauses out of 14290 with flag 2000/794463 649.59/405.64 c cleaning 6569 clauses out of 13153 with flag 8000/800463 653.36/407.71 c cleaning 6776 clauses out of 13585 with flag 15001/807464 657.51/409.99 c cleaning 7392 clauses out of 14808 with flag 23000/815463 662.47/412.53 c cleaning 8195 clauses out of 16417 with flag 32001/824464 667.81/415.33 c cleaning 9097 clauses out of 18223 with flag 42002/834465 673.79/418.52 c cleaning 10052 clauses out of 20124 with flag 53000/845463 680.54/422.02 c cleaning 11020 clauses out of 22073 with flag 65001/857464 688.30/426.09 c cleaning 12009 clauses out of 24053 with flag 78001/870464 696.26/430.14 c cleaning 13019 clauses out of 26043 with flag 92000/884463 698.26/431.30 c And the winner is solver0 701.80/434.99 c Got one! Elapsed wall clock time (in seconds):434.865 701.80/434.99 o 798769813500000007 704.19/436.22 c cleaning 9296 clauses out of 18615 with flag 4000/890054 708.36/438.49 c cleaning 7658 clauses out of 15319 with flag 10000/896054 708.92/438.88 c And the winner is solver0 713.79/443.66 c Got one! Elapsed wall clock time (in seconds):443.538 713.79/443.66 o 793382731500000009 716.66/445.12 c cleaning 6457 clauses out of 12946 with flag 5000/901339 720.81/447.30 c cleaning 6241 clauses out of 12490 with flag 11001/907340 726.78/450.57 c cleaning 6619 clauses out of 13251 with flag 18003/914342 732.93/453.72 c cleaning 7316 clauses out of 14637 with flag 26008/922347 736.68/455.76 c And the winner is solver0 759.61/478.71 c Got one! Elapsed wall clock time (in seconds):478.589 759.61/478.71 o 787402311750000010 762.82/480.30 c cleaning 8830 clauses out of 17677 with flag 5000/932703 765.79/481.96 c cleaning 7398 clauses out of 14847 with flag 11000/938703 770.34/484.42 c cleaning 7214 clauses out of 14449 with flag 18000/945703 775.91/487.36 c cleaning 7617 clauses out of 15236 with flag 26001/953704 782.45/490.78 c cleaning 8299 clauses out of 16620 with flag 35002/962705 789.80/494.59 c cleaning 9151 clauses out of 18321 with flag 45002/972705 797.98/498.85 c cleaning 10077 clauses out of 20168 with flag 56000/983703 806.37/503.14 c cleaning 11034 clauses out of 22091 with flag 68000/995703 815.92/508.01 c cleaning 12017 clauses out of 24057 with flag 81000/1008703 825.31/512.85 c And the winner is solver0 827.78/515.42 c Got one! Elapsed wall clock time (in seconds):515.296 827.78/515.42 o 786723076250000010 830.94/517.03 c cleaning 14858 clauses out of 29737 with flag 5001/1026400 834.54/519.03 c cleaning 10433 clauses out of 20879 with flag 11001/1032400 838.69/521.22 c cleaning 8709 clauses out of 17446 with flag 18001/1039400 843.04/523.60 c cleaning 8348 clauses out of 16737 with flag 26001/1047400 847.98/526.13 c cleaning 8671 clauses out of 17388 with flag 35000/1056399 854.62/529.62 c cleaning 9344 clauses out of 18718 with flag 45001/1066400 860.76/532.87 c cleaning 10172 clauses out of 20374 with flag 56001/1077400 869.50/537.31 c cleaning 11099 clauses out of 22214 with flag 68013/1089412 880.85/543.13 c cleaning 12036 clauses out of 24104 with flag 81002/1102401 891.83/548.81 c And the winner is solver0 895.06/552.14 c Got one! Elapsed wall clock time (in seconds):552.014 895.06/552.14 o 784228203500000010 898.11/553.70 c cleaning 14604 clauses out of 29219 with flag 5000/1119552 901.49/555.56 c cleaning 10292 clauses out of 20617 with flag 11002/1125554 905.43/557.67 c cleaning 8645 clauses out of 17326 with flag 18003/1132555 909.78/559.93 c cleaning 8329 clauses out of 16678 with flag 26000/1140552 914.72/562.63 c cleaning 8664 clauses out of 17349 with flag 35000/1149552 919.87/565.36 c cleaning 9328 clauses out of 18689 with flag 45004/1159556 926.41/568.73 c cleaning 10157 clauses out of 20368 with flag 56011/1170563 934.55/572.93 c cleaning 11098 clauses out of 22200 with flag 68000/1182552 945.31/578.53 c cleaning 12046 clauses out of 24103 with flag 81001/1195553 959.45/585.72 c cleaning 13011 clauses out of 26061 with flag 95005/1209557 976.46/594.38 c cleaning 14019 clauses out of 28048 with flag 110003/1224555 992.81/602.64 c cleaning 15014 clauses out of 30027 with flag 126001/1240553 1011.40/612.12 c cleaning 16001 clauses out of 32014 with flag 143002/1257554 1042.77/628.00 c cleaning 16966 clauses out of 34011 with flag 161000/1275552 1076.57/644.99 c cleaning 18000 clauses out of 36050 with flag 180005/1294557 1103.95/658.74 c cleaning 19011 clauses out of 38046 with flag 200001/1314553 1122.34/668.17 c And the winner is solver0 1142.45/688.50 c Got one! Elapsed wall clock time (in seconds):688.377 1142.45/688.50 o 757673322750000012 1146.06/690.40 c cleaning 18502 clauses out of 37014 with flag 5000/1332532 1150.29/692.61 c And the winner is solver0 1152.90/695.21 c Got one! Elapsed wall clock time (in seconds):695.08 1152.90/695.21 o 755527777000000010 1156.28/696.95 c cleaning 14597 clauses out of 29202 with flag 5001/1343222 1161.45/699.69 c cleaning 10293 clauses out of 20605 with flag 11001/1349222 1167.95/703.07 c cleaning 8649 clauses out of 17311 with flag 18000/1356221 1168.89/703.79 c And the winner is solver0 1171.97/706.75 c Got one! Elapsed wall clock time (in seconds):706.625 1171.97/706.75 o 754079734000000005 1174.66/708.14 c cleaning 7110 clauses out of 14247 with flag 5001/1361806 1178.61/710.25 c cleaning 6561 clauses out of 13136 with flag 11000/1367805 1184.15/713.11 c cleaning 6782 clauses out of 13578 with flag 18003/1374808 1189.71/716.09 c cleaning 7380 clauses out of 14795 with flag 26002/1382807 1194.45/718.63 c And the winner is solver0 1197.76/721.97 c Got one! Elapsed wall clock time (in seconds):721.842 1197.76/721.97 o 752017978250000007 1200.42/723.37 c cleaning 9159 clauses out of 18331 with flag 5001/1393723 1203.60/725.09 c cleaning 7571 clauses out of 15171 with flag 11000/1399722 1207.35/727.07 c cleaning 7286 clauses out of 14601 with flag 18001/1406723 1211.49/729.27 c cleaning 7642 clauses out of 15314 with flag 26000/1414722 1217.84/732.63 c cleaning 8326 clauses out of 16675 with flag 35003/1423725 1224.18/735.95 c cleaning 9172 clauses out of 18348 with flag 45002/1433724 1231.73/739.85 c cleaning 10075 clauses out of 20174 with flag 56000/1444722 1241.88/745.07 c cleaning 11042 clauses out of 22103 with flag 68004/1456726 1253.66/751.13 c cleaning 12019 clauses out of 24057 with flag 81000/1469722 1267.22/758.03 c cleaning 12992 clauses out of 26041 with flag 95003/1483725 1280.17/764.60 c cleaning 13975 clauses out of 28046 with flag 110000/1498722 1284.92/767.12 c And the winner is solver0 1308.72/791.07 c Got one! Elapsed wall clock time (in seconds):790.94 1308.72/791.07 o 747014852250000009 1311.73/792.66 c cleaning 12304 clauses out of 24627 with flag 5000/1509278 1315.52/794.77 c cleaning 9147 clauses out of 18324 with flag 11001/1515279 1319.05/796.67 c cleaning 8076 clauses out of 16177 with flag 18001/1522279 1325.99/800.22 c cleaning 8027 clauses out of 16100 with flag 26000/1530278 1336.12/805.46 c cleaning 8528 clauses out of 17073 with flag 35000/1539278 1345.05/810.12 c cleaning 9263 clauses out of 18546 with flag 45001/1549279 1356.42/815.91 c cleaning 10135 clauses out of 20282 with flag 56000/1560278 1370.15/822.94 c cleaning 11072 clauses out of 22147 with flag 68000/1572278 1381.08/828.57 c cleaning 12032 clauses out of 24079 with flag 81004/1585282 1395.41/835.99 c cleaning 13015 clauses out of 26043 with flag 95000/1599278 1410.53/843.68 c cleaning 14012 clauses out of 28029 with flag 110001/1614279 1425.25/851.16 c cleaning 15001 clauses out of 30019 with flag 126003/1630281 1440.19/858.75 c cleaning 16004 clauses out of 32016 with flag 143001/1647279 1456.93/867.37 c cleaning 16998 clauses out of 34011 with flag 161000/1665278 1458.30/868.19 c And the winner is solver0 1550.21/960.14 c Got one! Elapsed wall clock time (in seconds):960.018 1550.21/960.14 o 746014832000000010 1552.43/961.47 c cleaning 11138 clauses out of 22295 with flag 4002/1670560 1555.74/963.29 c cleaning 8560 clauses out of 17159 with flag 10004/1676562 1559.44/965.21 c cleaning 7784 clauses out of 15595 with flag 17000/1683558 1563.71/967.68 c cleaning 7895 clauses out of 15811 with flag 25000/1691558 1568.02/969.96 c cleaning 8440 clauses out of 16916 with flag 34000/1700558 1573.12/972.63 c cleaning 9210 clauses out of 18476 with flag 44000/1710558 1578.42/975.47 c cleaning 10121 clauses out of 20266 with flag 55000/1721558 1585.18/979.02 c cleaning 11045 clauses out of 22146 with flag 67001/1733559 1592.24/982.74 c cleaning 12035 clauses out of 24100 with flag 80000/1746558 1599.33/986.49 c cleaning 13020 clauses out of 26065 with flag 94000/1760558 1608.63/991.23 c cleaning 14008 clauses out of 28046 with flag 109001/1775559 1621.27/997.83 c cleaning 14994 clauses out of 30037 with flag 125000/1791558 1624.95/999.81 c And the winner is solver0 1687.46/1062.40 c Got one! Elapsed wall clock time (in seconds):1062.275 1687.46/1062.40 o 739813547250000007 1688.24/1063.11 c cleaning 10321 clauses out of 20659 with flag 1001/1797174 1691.62/1064.90 c cleaning 8155 clauses out of 16338 with flag 7001/1803174 1695.50/1067.15 c cleaning 7577 clauses out of 15182 with flag 14000/1810173 1699.25/1069.17 c cleaning 7779 clauses out of 15606 with flag 22001/1818174 1703.57/1071.43 c cleaning 8405 clauses out of 16829 with flag 31003/1827176 1708.88/1074.23 c cleaning 9204 clauses out of 18421 with flag 41000/1837173 1715.00/1077.59 c cleaning 10100 clauses out of 20217 with flag 52000/1848173 1721.93/1081.13 c cleaning 11047 clauses out of 22117 with flag 64000/1860173 1728.26/1084.48 c cleaning 12024 clauses out of 24071 with flag 77001/1873174 1736.17/1088.57 c cleaning 13010 clauses out of 26048 with flag 91002/1887175 1744.80/1093.05 c cleaning 14004 clauses out of 28036 with flag 106000/1902173 1753.12/1097.36 c cleaning 15004 clauses out of 30033 with flag 122001/1918174 1762.05/1101.99 c cleaning 15990 clauses out of 32029 with flag 139001/1935174 1771.20/1106.64 c cleaning 17005 clauses out of 34041 with flag 157003/1953176 1782.08/1112.31 c cleaning 18004 clauses out of 36033 with flag 176000/1972173 1793.40/1118.13 c cleaning 19015 clauses out of 38032 with flag 196003/1992176 1799.34/1121.21 c starts : 336 1799.34/1121.21 c conflicts : 2000224 1799.34/1121.21 c decisions : 3440679 1799.34/1121.21 c propagations : 65622257 1799.34/1121.21 c inspects : 1411935388 1799.34/1121.21 c shortcuts : 0 1799.34/1121.21 c learnt literals : 0 1799.34/1121.21 c learnt binary clauses : 0 1799.34/1121.21 c learnt ternary clauses : 0 1799.34/1121.21 c learnt constraints : 2000224 1799.34/1121.21 c ignored constraints : 0 1799.34/1121.21 c root simplifications : 0 1799.34/1121.21 c removed literals (reason simplification) : 8347029 1799.34/1121.21 c reason swapping (by a shorter reason) : 0 1799.34/1121.21 c Calls to reduceDB : 216 1799.34/1121.21 c number of reductions to clauses (during analyze) : 0 1799.34/1121.21 c number of learned constraints concerned by reduction : 0 1799.34/1121.21 c number of learning phase by resolution : 0 1799.34/1121.21 c number of learning phase by cutting planes : 0 1799.34/1121.21 c speed (assignments/second) : 58574.254279557914 1799.34/1121.21 c non guided choices 0 1799.34/1121.23 c learnt constraints type 1799.34/1121.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27109 1799.34/1121.23 c constraints type 1799.34/1121.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 1799.34/1121.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1799.34/1121.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1799.34/1121.23 c 201 constraints processed. 1799.34/1121.23 c constraints type 1799.34/1121.23 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100 1799.34/1121.23 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 100 1799.34/1121.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1799.34/1121.23 c 201 constraints processed. 1799.34/1121.23 s SATISFIABLE 1799.34/1121.24 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 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 -x2750 -x2751 x2752 x2753 x2754 x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 x2766 -x2767 x2768 -x2769 x2770 -x2771 x2772 x2773 x2774 x2775 x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 x2783 x2784 x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 -x2794 x2795 -x2796 -x2797 -x2798 x2799 x2800 -x2801 x2802 -x2803 -x2804 x2805 x2806 -x2807 x2808 -x2809 x2810 x2811 -x2812 -x2813 -x2814 x2815 -x2816 -x2817 x2818 1799.34/1121.24 c objective function=739813547250000007 1799.34/1121.24 c Total wall clock time (in seconds): 1121.115
OK 739813547250000007
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3689540-1337882787/watcher-3689540-1337882787 -o /tmp/evaluation-result-3689540-1337882787/solver-3689540-1337882787 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689540-1337882787.opb running on 4 cores: 1,3,5,7 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: 4.06 3.88 3.56 4/196 26289 /proc/meminfo: memFree=26808396/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/26289/stat : 26289 (java) R 26287 26289 21231 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 254404341 2560000 47 33554432000 1073741824 1073778376 140737450836416 140737450833544 272877317415 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/26289/statm: 625 47 37 9 0 29 0 [startup+0.083409 s] /proc/loadavg: 4.06 3.88 3.56 4/196 26289 /proc/meminfo: memFree=26808396/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9558412 CPUtime=0.05 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 3285 0 1 0 4 1 0 0 20 0 18 0 254404341 9787813888 4493 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2389603 4493 1771 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558412 [startup+0.100337 s] /proc/loadavg: 4.06 3.88 3.56 4/196 26289 /proc/meminfo: memFree=26808396/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9558412 CPUtime=0.08 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 4180 0 1 0 7 1 0 0 20 0 18 0 254404341 9787813888 5367 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2389603 5367 2080 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.3003 s] /proc/loadavg: 4.06 3.88 3.56 4/196 26289 /proc/meminfo: memFree=26808396/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9558412 CPUtime=0.53 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 7597 0 1 0 52 1 0 0 20 0 18 0 254404341 9787813888 10475 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2389603 10475 2219 9 0 2380296 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9558412 [startup+0.700254 s] /proc/loadavg: 4.06 3.88 3.56 4/196 26289 /proc/meminfo: memFree=26808396/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9824668 CPUtime=0.91 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 7851 0 1 0 88 3 0 0 20 0 19 0 254404341 10060460032 15709 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2456167 15709 2237 9 0 2446860 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 9824668 [startup+1.5007 s] /proc/loadavg: 4.14 3.90 3.56 6/216 26314 /proc/meminfo: memFree=26727540/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9824668 CPUtime=1.88 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 15139 0 1 0 181 7 0 0 20 0 20 0 254404341 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2456167 24667 2250 9 0 2446860 0 [pid=26289/tid=26291] ppid=26287 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/26289/task/26291/stat : 26291 (java) S 26287 26289 21231 0 -1 4202560 2469 0 1 0 34 1 0 0 20 0 20 0 254404342 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817991336952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26292] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26292/stat : 26292 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817963789224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26293] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26293/stat : 26293 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817834294312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26294] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26294/stat : 26294 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817833241256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26295] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26295/stat : 26295 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817832188712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26296] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26296/stat : 26296 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817831135656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26297] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26297/stat : 26297 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817830083112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26298] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26298/stat : 26298 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817492932776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26299] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26299/stat : 26299 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 254404344 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817491880232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26300] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26300/stat : 26300 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 254404345 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817479682920 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26301] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26301/stat : 26301 (java) S 26287 26289 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 254404345 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817478629240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26302] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26302/stat : 26302 (java) S 26287 26289 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254404345 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817477576072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26303] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26303/stat : 26303 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404348 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817476524816 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26304] ppid=26287 vsize=9824668 CPUtime=0.41 cores=1,3,5,7 /proc/26289/task/26304/stat : 26304 (java) S 26287 26289 21231 0 -1 4202560 3781 0 0 0 41 0 0 0 20 0 20 0 254404348 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817475471672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26305] ppid=26287 vsize=9824668 CPUtime=0.56 cores=1,3,5,7 /proc/26289/task/26305/stat : 26305 (java) S 26287 26289 21231 0 -1 4202560 7567 0 0 0 54 2 0 0 20 0 20 0 254404348 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817474419128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26306] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26306/stat : 26306 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404348 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817473366264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26307] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26307/stat : 26307 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404348 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817472313928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26314] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26314/stat : 26314 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 254404430 10060460032 24667 33554432000 1073741824 1073778376 140735950113600 139817468101416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 9824668 [startup+3.10081 s] /proc/loadavg: 4.14 3.90 3.56 3/215 26320 /proc/meminfo: memFree=26709520/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9824668 CPUtime=2.12 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 15994 0 1 0 204 8 0 0 20 0 19 0 254404341 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2456167 29796 2255 9 0 2446860 0 [pid=26289/tid=26291] ppid=26287 vsize=9824668 CPUtime=0.38 cores=1,3,5,7 /proc/26289/task/26291/stat : 26291 (java) S 26287 26289 21231 0 -1 4202560 2471 0 1 0 36 2 0 0 20 0 19 0 254404342 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817991336952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26292] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26292/stat : 26292 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817963789224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26293] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26293/stat : 26293 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817834294312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26294] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26294/stat : 26294 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817833241256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26295] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26295/stat : 26295 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817832188712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26296] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26296/stat : 26296 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817831135656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26297] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26297/stat : 26297 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817830083112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26298] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26298/stat : 26298 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817492932776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26299] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26299/stat : 26299 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817491880232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26300] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26300/stat : 26300 (java) S 26287 26289 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254404345 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817479682920 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26301] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26301/stat : 26301 (java) S 26287 26289 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254404345 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817478629240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26302] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26302/stat : 26302 (java) S 26287 26289 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254404345 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817477576072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26303] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26303/stat : 26303 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404348 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817476524816 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26304] ppid=26287 vsize=9824668 CPUtime=0.5 cores=1,3,5,7 /proc/26289/task/26304/stat : 26304 (java) S 26287 26289 21231 0 -1 4202560 4598 0 0 0 50 0 0 0 20 0 19 0 254404348 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817475471672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26305] ppid=26287 vsize=9824668 CPUtime=0.66 cores=1,3,5,7 /proc/26289/task/26305/stat : 26305 (java) S 26287 26289 21231 0 -1 4202560 7573 0 0 0 64 2 0 0 20 0 19 0 254404348 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817474419128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26306] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26306/stat : 26306 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404348 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817473366264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26307] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26307/stat : 26307 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404348 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817472313928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26314] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26314/stat : 26314 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254404430 10060460032 29796 33554432000 1073741824 1073778376 140735950113600 139817468101416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 9824668 heavy processes: [startup+6.30069 s] /proc/loadavg: 3.97 3.86 3.55 3/215 26338 /proc/meminfo: memFree=26668080/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9824668 CPUtime=2.39 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 16158 0 1 0 228 11 0 0 20 0 19 0 254404341 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2456167 39874 2256 9 0 2446860 0 [pid=26289/tid=26291] ppid=26287 vsize=9824668 CPUtime=0.41 cores=1,3,5,7 /proc/26289/task/26291/stat : 26291 (java) S 26287 26289 21231 0 -1 4202560 2481 0 1 0 39 2 0 0 20 0 19 0 254404342 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817991336952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26292] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26292/stat : 26292 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817963789224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26293] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26293/stat : 26293 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817834294312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26294] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26294/stat : 26294 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817833241256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26295] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26295/stat : 26295 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817832188712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26296] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26296/stat : 26296 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817831135656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26297] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26297/stat : 26297 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817830083112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26298] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26298/stat : 26298 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817492932776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26299] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26299/stat : 26299 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254404344 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817491880232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26300] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26300/stat : 26300 (java) S 26287 26289 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254404345 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817479682920 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26301] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26301/stat : 26301 (java) S 26287 26289 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254404345 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817478629240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26302] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26302/stat : 26302 (java) S 26287 26289 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254404345 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817477576072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26303] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26303/stat : 26303 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404348 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817476524816 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26304] ppid=26287 vsize=9824668 CPUtime=0.53 cores=1,3,5,7 /proc/26289/task/26304/stat : 26304 (java) S 26287 26289 21231 0 -1 4202560 4686 0 0 0 53 0 0 0 20 0 19 0 254404348 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817475471672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26305] ppid=26287 vsize=9824668 CPUtime=0.72 cores=1,3,5,7 /proc/26289/task/26305/stat : 26305 (java) S 26287 26289 21231 0 -1 4202560 7576 0 0 0 70 2 0 0 20 0 19 0 254404348 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817474419128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26306] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26306/stat : 26306 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404348 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817473366264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26307] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26307/stat : 26307 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254404348 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817472313928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26314] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26314/stat : 26314 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254404430 10060460032 39874 33554432000 1073741824 1073778376 140735950113600 139817468101416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 9824668 heavy processes: ################ # More data... # ################ /proc/26289/task/26294/stat : 26294 (java) S 26287 26289 21231 0 -1 4202560 413 0 0 0 120 14 0 0 20 0 20 0 254404344 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817833241256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26295] ppid=26287 vsize=9824668 CPUtime=1.21 cores=1,3,5,7 /proc/26289/task/26295/stat : 26295 (java) S 26287 26289 21231 0 -1 4202560 581 0 0 0 104 17 0 0 20 0 20 0 254404344 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817832188712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26296] ppid=26287 vsize=9824668 CPUtime=1.44 cores=1,3,5,7 /proc/26289/task/26296/stat : 26296 (java) S 26287 26289 21231 0 -1 4202560 682 0 0 0 124 20 0 0 20 0 20 0 254404344 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817831135656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26297] ppid=26287 vsize=9824668 CPUtime=1.3 cores=1,3,5,7 /proc/26289/task/26297/stat : 26297 (java) S 26287 26289 21231 0 -1 4202560 491 0 0 0 114 16 0 0 20 0 20 0 254404344 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817830083112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26298] ppid=26287 vsize=9824668 CPUtime=1.48 cores=1,3,5,7 /proc/26289/task/26298/stat : 26298 (java) S 26287 26289 21231 0 -1 4202560 983 0 0 0 126 22 0 0 20 0 20 0 254404344 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817492932776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26299] ppid=26287 vsize=9824668 CPUtime=1.39 cores=1,3,5,7 /proc/26289/task/26299/stat : 26299 (java) S 26287 26289 21231 0 -1 4202560 786 0 0 0 124 15 0 0 20 0 20 0 254404344 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817491880232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26300] ppid=26287 vsize=9824668 CPUtime=53.98 cores=1,3,5,7 /proc/26289/task/26300/stat : 26300 (java) S 26287 26289 21231 0 -1 4202560 1700 0 0 0 5367 31 0 0 20 0 20 0 254404345 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817479682920 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26301] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26301/stat : 26301 (java) S 26287 26289 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254404345 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817478629240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26302] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26302/stat : 26302 (java) S 26287 26289 21231 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 20 0 254404345 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817477576072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26303] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26303/stat : 26303 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404348 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817476524816 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26304] ppid=26287 vsize=9824668 CPUtime=0.92 cores=1,3,5,7 /proc/26289/task/26304/stat : 26304 (java) S 26287 26289 21231 0 -1 4202560 4777 0 0 0 92 0 0 0 20 0 20 0 254404348 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817475471672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26305] ppid=26287 vsize=9824668 CPUtime=1.33 cores=1,3,5,7 /proc/26289/task/26305/stat : 26305 (java) S 26287 26289 21231 0 -1 4202560 7604 0 0 0 131 2 0 0 20 0 20 0 254404348 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817474419128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26306] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26306/stat : 26306 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254404348 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817473366264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26307] ppid=26287 vsize=9824668 CPUtime=0.31 cores=1,3,5,7 /proc/26289/task/26307/stat : 26307 (java) S 26287 26289 21231 0 -1 4202560 60 0 0 0 13 18 0 0 20 0 20 0 254404348 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817472313928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=26289/tid=26314] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26314/stat : 26314 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 254404430 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817468101416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26756] ppid=26287 vsize=9824668 CPUtime=97.59 cores=1,3,5,7 /proc/26289/task/26756/stat : 26756 (java) R 26287 26289 21231 0 -1 4202560 3 0 0 0 9758 1 0 0 20 0 20 0 254500356 10060460032 423975 33554432000 1073741824 1073778376 140735950113600 139817470204576 139817845749444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1687.46 Current children cumulated vsize (KiB) 9824668 [startup+1062.5 s] /proc/loadavg: 3.16 3.49 3.58 5/219 26760 /proc/meminfo: memFree=24576968/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9824668 CPUtime=1687.41 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 25743 0 1 0 168357 384 0 0 20 0 22 0 254404341 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2456167 423980 2281 9 0 2446860 0 [pid=26289/tid=26291] ppid=26287 vsize=9824668 CPUtime=1.06 cores=1,3,5,7 /proc/26289/task/26291/stat : 26291 (java) S 26287 26289 21231 0 -1 4202560 2583 0 1 0 102 4 0 0 20 0 22 0 254404342 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817991336952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26292] ppid=26287 vsize=9824668 CPUtime=1.31 cores=1,3,5,7 /proc/26289/task/26292/stat : 26292 (java) S 26287 26289 21231 0 -1 4202560 872 0 0 0 110 21 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817963789224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26293] ppid=26287 vsize=9824668 CPUtime=1.39 cores=1,3,5,7 /proc/26289/task/26293/stat : 26293 (java) S 26287 26289 21231 0 -1 4202560 736 0 0 0 119 20 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817834294312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26294] ppid=26287 vsize=9824668 CPUtime=1.34 cores=1,3,5,7 /proc/26289/task/26294/stat : 26294 (java) S 26287 26289 21231 0 -1 4202560 413 0 0 0 120 14 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817833241256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26295] ppid=26287 vsize=9824668 CPUtime=1.21 cores=1,3,5,7 /proc/26289/task/26295/stat : 26295 (java) S 26287 26289 21231 0 -1 4202560 581 0 0 0 104 17 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817832188712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26296] ppid=26287 vsize=9824668 CPUtime=1.44 cores=1,3,5,7 /proc/26289/task/26296/stat : 26296 (java) S 26287 26289 21231 0 -1 4202560 682 0 0 0 124 20 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817831135656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26297] ppid=26287 vsize=9824668 CPUtime=1.3 cores=1,3,5,7 /proc/26289/task/26297/stat : 26297 (java) S 26287 26289 21231 0 -1 4202560 491 0 0 0 114 16 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817830083112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26298] ppid=26287 vsize=9824668 CPUtime=1.48 cores=1,3,5,7 /proc/26289/task/26298/stat : 26298 (java) S 26287 26289 21231 0 -1 4202560 983 0 0 0 126 22 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817492932776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26299] ppid=26287 vsize=9824668 CPUtime=1.39 cores=1,3,5,7 /proc/26289/task/26299/stat : 26299 (java) S 26287 26289 21231 0 -1 4202560 786 0 0 0 124 15 0 0 20 0 22 0 254404344 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817491880232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26300] ppid=26287 vsize=9824668 CPUtime=53.98 cores=1,3,5,7 /proc/26289/task/26300/stat : 26300 (java) S 26287 26289 21231 0 -1 4202560 1700 0 0 0 5367 31 0 0 20 0 22 0 254404345 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817479682920 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26301] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26301/stat : 26301 (java) S 26287 26289 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254404345 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817478629240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26302] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26302/stat : 26302 (java) S 26287 26289 21231 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 254404345 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817477576072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26303] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26303/stat : 26303 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254404348 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817476524816 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26304] ppid=26287 vsize=9824668 CPUtime=0.92 cores=1,3,5,7 /proc/26289/task/26304/stat : 26304 (java) S 26287 26289 21231 0 -1 4202560 4777 0 0 0 92 0 0 0 20 0 22 0 254404348 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817475471672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26305] ppid=26287 vsize=9824668 CPUtime=1.33 cores=1,3,5,7 /proc/26289/task/26305/stat : 26305 (java) S 26287 26289 21231 0 -1 4202560 7604 0 0 0 131 2 0 0 20 0 22 0 254404348 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817474419128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26306] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26306/stat : 26306 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254404348 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817473366264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26307] ppid=26287 vsize=9824668 CPUtime=0.31 cores=1,3,5,7 /proc/26289/task/26307/stat : 26307 (java) S 26287 26289 21231 0 -1 4202560 60 0 0 0 13 18 0 0 20 0 22 0 254404348 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817472313928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=26289/tid=26314] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26314/stat : 26314 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254404430 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817468101416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26758] ppid=26287 vsize=9824668 CPUtime=0.08 cores=1,3,5,7 /proc/26289/task/26758/stat : 26758 (java) R 26287 26289 21231 0 -1 4202560 2 0 0 0 8 0 0 0 20 0 22 0 254510582 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817470208872 139817845979439 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26759] ppid=26287 vsize=9824668 CPUtime=0.08 cores=1,3,5,7 /proc/26289/task/26759/stat : 26759 (java) R 26287 26289 21231 0 -1 4202560 3 0 0 0 8 0 0 0 20 0 22 0 254510582 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817471259112 139817846135507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26760] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26760/stat : 26760 (java) S 26287 26289 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254510582 10060460032 423980 33554432000 1073741824 1073778376 140735950113600 139817469154216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1687.41 Current children cumulated vsize (KiB) 9824668 # ############ Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1121.2 s] /proc/loadavg: 3.69 3.58 3.60 5/219 26760 /proc/meminfo: memFree=24326296/32873844 swapFree=7104/7104 [pid=26289] ppid=26287 vsize=9824668 CPUtime=1799.34 cores=1,3,5,7 /proc/26289/stat : 26289 (java) S 26287 26289 21231 0 -1 4202496 27025 0 1 0 179542 392 0 0 20 0 22 0 254404341 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 140735950104736 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/26289/statm: 2456167 451769 2281 9 0 2446860 0 [pid=26289/tid=26291] ppid=26287 vsize=9824668 CPUtime=1.06 cores=1,3,5,7 /proc/26289/task/26291/stat : 26291 (java) S 26287 26289 21231 0 -1 4202560 2595 0 1 0 102 4 0 0 20 0 22 0 254404342 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817991336952 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26292] ppid=26287 vsize=9824668 CPUtime=1.4 cores=1,3,5,7 /proc/26289/task/26292/stat : 26292 (java) S 26287 26289 21231 0 -1 4202560 893 0 0 0 119 21 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817963789224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26293] ppid=26287 vsize=9824668 CPUtime=1.5 cores=1,3,5,7 /proc/26289/task/26293/stat : 26293 (java) S 26287 26289 21231 0 -1 4202560 992 0 0 0 128 22 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817834294312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26294] ppid=26287 vsize=9824668 CPUtime=1.41 cores=1,3,5,7 /proc/26289/task/26294/stat : 26294 (java) S 26287 26289 21231 0 -1 4202560 415 0 0 0 127 14 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817833241256 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26295] ppid=26287 vsize=9824668 CPUtime=1.29 cores=1,3,5,7 /proc/26289/task/26295/stat : 26295 (java) S 26287 26289 21231 0 -1 4202560 587 0 0 0 112 17 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817832188712 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26296] ppid=26287 vsize=9824668 CPUtime=1.53 cores=1,3,5,7 /proc/26289/task/26296/stat : 26296 (java) S 26287 26289 21231 0 -1 4202560 933 0 0 0 132 21 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817831135656 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26297] ppid=26287 vsize=9824668 CPUtime=1.37 cores=1,3,5,7 /proc/26289/task/26297/stat : 26297 (java) S 26287 26289 21231 0 -1 4202560 500 0 0 0 121 16 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817830083112 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26298] ppid=26287 vsize=9824668 CPUtime=1.54 cores=1,3,5,7 /proc/26289/task/26298/stat : 26298 (java) S 26287 26289 21231 0 -1 4202560 988 0 0 0 132 22 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817492932776 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26299] ppid=26287 vsize=9824668 CPUtime=1.44 cores=1,3,5,7 /proc/26289/task/26299/stat : 26299 (java) S 26287 26289 21231 0 -1 4202560 788 0 0 0 128 16 0 0 20 0 22 0 254404344 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817491880232 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26300] ppid=26287 vsize=9824668 CPUtime=59.7 cores=1,3,5,7 /proc/26289/task/26300/stat : 26300 (java) S 26287 26289 21231 0 -1 4202560 2408 0 0 0 5934 36 0 0 20 0 22 0 254404345 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817479682920 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26301] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26301/stat : 26301 (java) S 26287 26289 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254404345 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817478629240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26302] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26302/stat : 26302 (java) S 26287 26289 21231 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 254404345 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817477576072 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=26289/tid=26303] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26303/stat : 26303 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254404348 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817476524816 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26304] ppid=26287 vsize=9824668 CPUtime=0.92 cores=1,3,5,7 /proc/26289/task/26304/stat : 26304 (java) S 26287 26289 21231 0 -1 4202560 4777 0 0 0 92 0 0 0 20 0 22 0 254404348 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817475471672 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=26289/tid=26305] ppid=26287 vsize=9824668 CPUtime=1.33 cores=1,3,5,7 /proc/26289/task/26305/stat : 26305 (java) S 26287 26289 21231 0 -1 4202560 7604 0 0 0 131 2 0 0 20 0 22 0 254404348 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817474419128 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26306] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26306/stat : 26306 (java) S 26287 26289 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254404348 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817473366264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26307] ppid=26287 vsize=9824668 CPUtime=0.33 cores=1,3,5,7 /proc/26289/task/26307/stat : 26307 (java) S 26287 26289 21231 0 -1 4202560 64 0 0 0 14 19 0 0 20 0 22 0 254404348 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817472313928 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0 [pid=26289/tid=26314] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26314/stat : 26314 (java) S 26287 26289 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254404430 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817468101416 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26758] ppid=26287 vsize=9824668 CPUtime=52.71 cores=1,3,5,7 /proc/26289/task/26758/stat : 26758 (java) R 26287 26289 21231 0 -1 4202560 8 0 0 0 5271 0 0 0 20 0 22 0 254510582 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817470206432 139817846317127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=26289/tid=26759] ppid=26287 vsize=9824668 CPUtime=52.74 cores=1,3,5,7 /proc/26289/task/26759/stat : 26759 (java) R 26287 26289 21231 0 -1 4202560 3 0 0 0 5274 0 0 0 20 0 22 0 254510582 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817471256736 139817846022143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=26289/tid=26760] ppid=26287 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/26289/task/26760/stat : 26760 (java) S 26287 26289 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254510582 10060460032 451769 33554432000 1073741824 1073778376 140735950113600 139817469154216 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.34 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26289 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=69108 # childrusage.ru_stime.tv_sec=4 # childrusage.ru_stime.tv_usec=134371 # CPU time returned by wait4() is 1799.2 # while last known CPU time is 1799.34 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.730042 # lost CPU user time (s): 0.830078 # lost CPU system time (s): -0.0999999 Real time (s): 1121.27 CPU time (s): 1800.07 CPU user time (s): 1796.25 CPU system time (s): 3.82 CPU usage (%): 160.539 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.07 system time used= 4.13437 maximum resident set size= 1807216 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27063 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40600 involuntary context switches= 30057 runsolver used 4.07138 second user time and 10.4534 second system time The end
Begin job on node119 at 2012-05-24 20:06:27 IDJOB=3689540 IDBENCH=89889 IDSOLVER=2268 FILE ID=node119/3689540-1337882787 RUNJOBID= node119-1337871880-21248 PBS_JOBID= 14620085 Free space on /tmp= 71696 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-eilB101.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689540-1337882787/watcher-3689540-1337882787 -o /tmp/evaluation-result-3689540-1337882787/solver-3689540-1337882787 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689540-1337882787.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbc26082f2456029d803a788e5b95f10 RANDOM SEED=2101668827 node119.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.943 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.88 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.943 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 : 5331.91 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.943 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 : 5331.93 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.943 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 : 5331.91 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.943 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 : 5331.93 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.943 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 : 5331.92 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.943 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 : 5331.90 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.943 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 : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26808668 kB Buffers: 212608 kB Cached: 2815576 kB SwapCached: 0 kB Active: 2615368 kB Inactive: 2656932 kB Active(anon): 2246852 kB Inactive(anon): 0 kB Active(file): 368516 kB Inactive(file): 2656932 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 860 kB Writeback: 0 kB AnonPages: 2275464 kB Mapped: 21460 kB Shmem: 200 kB Slab: 626960 kB SReclaimable: 69376 kB SUnreclaim: 557584 kB KernelStack: 1616 kB PageTables: 8440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 2902452 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 2197504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node119 at 2012-05-24 20:25:10