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 Resolution 2.3.2 Snapshot | SAT (TO) | 707556376000000004 | 1800.92 | 1773.06 |
| 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.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.10 c version 2.3.2.v20120418 0.00/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.10 c java.vm.version 19.1-b02 0.00/0.10 c java.vm.vendor Sun Microsystems Inc. 0.00/0.10 c sun.arch.data.model 64 0.00/0.10 c java.version 1.6.0_24 0.00/0.10 c os.name Linux 0.00/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3689541-1337891617.opb 0.09/0.12 c reading problem ... 0.54/0.33 c ... done. Wall clock time 0.21s. 0.54/0.33 c declared #vars 2818 0.54/0.33 c #constraints 200 0.54/0.33 c constraints type 0.54/0.33 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 0.54/0.33 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 0.54/0.33 c 200 constraints processed. 0.54/0.33 c objective function length is 2818 literals 0.54/0.40 c SATISFIABLE 0.54/0.40 c OPTIMIZING... 0.54/0.40 c Got one! Elapsed wall clock time (in seconds):0.275 0.78/0.40 o 1247355656500000010 0.78/0.45 c Got one! Elapsed wall clock time (in seconds):0.327 0.78/0.45 o 1246201568750000010 0.78/0.49 c Got one! Elapsed wall clock time (in seconds):0.369 0.78/0.49 o 1237397973500000010 1.07/0.52 c Got one! Elapsed wall clock time (in seconds):0.398 1.07/0.52 o 1236243885750000010 1.07/0.54 c Got one! Elapsed wall clock time (in seconds):0.42 1.07/0.54 o 1229383009250000010 1.07/0.56 c Got one! Elapsed wall clock time (in seconds):0.441 1.07/0.56 o 1228237596750000010 1.07/0.58 c Got one! Elapsed wall clock time (in seconds):0.456 1.07/0.58 o 1227083509000000010 1.07/0.60 c Got one! Elapsed wall clock time (in seconds):0.475 1.07/0.60 o 1221648046750000011 1.37/0.61 c Got one! Elapsed wall clock time (in seconds):0.49 1.37/0.61 o 1220493959000000011 1.37/0.62 c Got one! Elapsed wall clock time (in seconds):0.504 1.37/0.62 o 1211690363750000011 1.37/0.64 c Got one! Elapsed wall clock time (in seconds):0.517 1.37/0.64 o 1210536276000000011 1.37/0.65 c Got one! Elapsed wall clock time (in seconds):0.531 1.37/0.65 o 1210282742000000011 1.37/0.67 c Got one! Elapsed wall clock time (in seconds):0.545 1.37/0.67 o 1196863850000000011 1.37/0.69 c Got one! Elapsed wall clock time (in seconds):0.572 1.37/0.69 o 1194756724750000011 1.67/0.71 c Got one! Elapsed wall clock time (in seconds):0.592 1.67/0.71 o 1188346212500000011 1.67/0.73 c Got one! Elapsed wall clock time (in seconds):0.607 1.67/0.73 o 1186239087250000011 1.67/0.77 c Got one! Elapsed wall clock time (in seconds):0.647 1.67/0.77 o 1184619319000000011 1.67/0.77 c Got one! Elapsed wall clock time (in seconds):0.653 1.67/0.77 o 1184260387000000012 1.67/0.78 c Got one! Elapsed wall clock time (in seconds):0.658 1.67/0.78 o 1175456791750000012 1.67/0.78 c Got one! Elapsed wall clock time (in seconds):0.663 1.67/0.78 o 1174302704000000012 1.67/0.79 c Got one! Elapsed wall clock time (in seconds):0.668 1.67/0.79 o 1174049170000000012 1.67/0.79 c Got one! Elapsed wall clock time (in seconds):0.672 1.67/0.79 o 1171942044750000012 1.96/0.81 c Got one! Elapsed wall clock time (in seconds):0.687 1.96/0.81 o 1171359809750000011 1.96/0.81 c Got one! Elapsed wall clock time (in seconds):0.692 1.96/0.81 o 1170205722000000011 1.96/0.82 c Got one! Elapsed wall clock time (in seconds):0.696 1.96/0.82 o 1168303069750000012 1.96/0.82 c Got one! Elapsed wall clock time (in seconds):0.701 1.96/0.82 o 1167148982000000012 1.96/0.83 c Got one! Elapsed wall clock time (in seconds):0.705 1.96/0.83 o 1156937765000000012 1.96/0.84 c Got one! Elapsed wall clock time (in seconds):0.716 1.96/0.84 o 1139540335250000011 1.96/0.85 c Got one! Elapsed wall clock time (in seconds):0.73 1.96/0.85 o 1137934677000000012 1.96/0.86 c Got one! Elapsed wall clock time (in seconds):0.743 1.96/0.86 o 1133837695000000011 1.96/0.87 c Got one! Elapsed wall clock time (in seconds):0.748 1.96/0.87 o 1130780955000000012 1.96/0.88 c Got one! Elapsed wall clock time (in seconds):0.755 1.96/0.88 o 1127506314250000012 1.96/0.89 c Got one! Elapsed wall clock time (in seconds):0.773 1.96/0.89 o 1120045148750000012 2.06/0.90 c Got one! Elapsed wall clock time (in seconds):0.783 2.06/0.90 o 1114543454750000011 2.06/0.92 c Got one! Elapsed wall clock time (in seconds):0.802 2.06/0.92 o 1112133922750000012 2.06/0.95 c Got one! Elapsed wall clock time (in seconds):0.834 2.06/0.95 o 1096630570250000012 2.06/0.98 c Got one! Elapsed wall clock time (in seconds):0.861 2.06/0.98 o 1091215198000000011 2.06/0.98 c Got one! Elapsed wall clock time (in seconds):0.865 2.06/0.98 o 1091152050000000011 2.06/0.99 c Got one! Elapsed wall clock time (in seconds):0.872 2.06/0.99 o 1088805666000000012 2.06/1.00 c Got one! Elapsed wall clock time (in seconds):0.876 2.06/1.00 o 1088742518000000012 2.06/1.00 c Got one! Elapsed wall clock time (in seconds):0.88 2.06/1.00 o 1086345969000000012 2.18/1.10 c Got one! Elapsed wall clock time (in seconds):0.975 2.18/1.10 o 1080455640250000012 2.27/1.11 c Got one! Elapsed wall clock time (in seconds):0.987 2.27/1.11 o 1080249829500000012 2.27/1.12 c Got one! Elapsed wall clock time (in seconds):0.995 2.27/1.12 o 1080183223500000012 2.27/1.12 c Got one! Elapsed wall clock time (in seconds):1.0 2.27/1.12 o 1080120075500000012 2.27/1.12 c Got one! Elapsed wall clock time (in seconds):1.005 2.27/1.12 o 1079019367000000012 2.27/1.13 c Got one! Elapsed wall clock time (in seconds):1.009 2.27/1.13 o 1078956219000000012 2.38/1.20 c Got one! Elapsed wall clock time (in seconds):1.077 2.38/1.20 o 1072889620000000013 2.58/1.49 c Got one! Elapsed wall clock time (in seconds):1.368 2.58/1.49 o 1072792236250000013 2.88/1.73 c Got one! Elapsed wall clock time (in seconds):1.608 2.88/1.73 o 1071661804500000013 3.16/1.91 c Got one! Elapsed wall clock time (in seconds):1.789 3.26/2.00 o 1070997987250000010 3.37/2.13 c Got one! Elapsed wall clock time (in seconds):2.013 3.37/2.13 o 1059133743750000012 3.47/2.23 c Got one! Elapsed wall clock time (in seconds):2.113 3.47/2.23 o 1055503275000000012 3.78/2.56 c Got one! Elapsed wall clock time (in seconds):2.44 3.78/2.56 o 1052407369500000013 4.08/2.85 c Got one! Elapsed wall clock time (in seconds):2.726 4.08/2.85 o 1052355024000000012 4.08/2.88 c Got one! Elapsed wall clock time (in seconds):2.761 4.08/2.88 o 1052242062000000012 4.18/2.96 c Got one! Elapsed wall clock time (in seconds):2.84 4.18/2.96 o 1051756634750000011 5.35/4.00 c cleaning 5297 clauses out of 10597 with flag 3001/10597 5.35/4.05 c Got one! Elapsed wall clock time (in seconds):3.929 5.35/4.05 o 1050031767250000011 5.51/4.18 c Got one! Elapsed wall clock time (in seconds):4.057 5.51/4.18 o 1048844470000000012 5.91/4.57 c Got one! Elapsed wall clock time (in seconds):4.446 5.91/4.57 o 1047857892500000013 6.01/4.63 c Got one! Elapsed wall clock time (in seconds):4.51 6.01/4.63 o 1047068425500000012 6.01/4.64 c Got one! Elapsed wall clock time (in seconds):4.517 6.01/4.64 o 1046929489250000011 6.01/4.66 c Got one! Elapsed wall clock time (in seconds):4.541 6.01/4.66 o 1046799635500000012 6.01/4.67 c Got one! Elapsed wall clock time (in seconds):4.546 6.01/4.67 o 1045846598000000012 6.01/4.67 c Got one! Elapsed wall clock time (in seconds):4.55 6.01/4.67 o 1044692510250000012 6.11/4.70 c Got one! Elapsed wall clock time (in seconds):4.581 6.11/4.70 o 1044207083000000011 6.31/4.97 c Got one! Elapsed wall clock time (in seconds):4.846 6.31/4.97 o 1039614124250000013 6.83/5.46 c Got one! Elapsed wall clock time (in seconds):5.341 6.83/5.46 o 1036752129250000013 7.02/5.60 c Got one! Elapsed wall clock time (in seconds):5.483 7.02/5.60 o 1033931263000000012 7.02/5.62 c Got one! Elapsed wall clock time (in seconds):5.502 7.02/5.62 o 1032464524750000012 7.02/5.63 c Got one! Elapsed wall clock time (in seconds):5.511 7.02/5.63 o 1031310437000000012 7.12/5.71 c Got one! Elapsed wall clock time (in seconds):5.588 7.12/5.71 o 1030170571250000012 7.12/5.73 c Got one! Elapsed wall clock time (in seconds):5.608 7.12/5.73 o 1024914973000000012 7.12/5.73 c Got one! Elapsed wall clock time (in seconds):5.614 7.12/5.73 o 1023760885250000012 7.52/6.12 c Got one! Elapsed wall clock time (in seconds):5.998 7.52/6.12 o 1021470927000000012 8.12/6.72 c cleaning 7407 clauses out of 14820 with flag 2000/20117 8.52/7.00 c Got one! Elapsed wall clock time (in seconds):6.883 8.52/7.00 o 1013416539750000013 9.12/7.61 c Got one! Elapsed wall clock time (in seconds):7.49 9.12/7.61 o 1012271124000000009 9.52/8.08 c Got one! Elapsed wall clock time (in seconds):7.96 9.52/8.08 o 1011401514750000012 10.12/8.61 c Got one! Elapsed wall clock time (in seconds):8.488 10.12/8.61 o 1009586984500000015 10.42/8.94 c cleaning 7456 clauses out of 14925 with flag 1002/27629 10.70/9.15 c Got one! Elapsed wall clock time (in seconds):9.028 10.70/9.15 o 1001777894500000011 11.41/9.82 c Got one! Elapsed wall clock time (in seconds):9.699 11.41/9.82 o 998576155000000012 11.41/9.83 c Got one! Elapsed wall clock time (in seconds):9.709 11.41/9.83 o 993791095500000012 11.70/10.19 c Got one! Elapsed wall clock time (in seconds):10.07 11.70/10.19 o 990248475500000013 12.00/10.42 c Got one! Elapsed wall clock time (in seconds):10.302 12.00/10.42 o 982794333250000016 12.61/11.01 c cleaning 7307 clauses out of 14633 with flag 2002/34793 12.72/11.18 c Got one! Elapsed wall clock time (in seconds):11.058 12.72/11.18 o 981593586250000012 14.02/12.45 c cleaning 6452 clauses out of 12923 with flag 5000/40390 14.27/12.64 c Got one! Elapsed wall clock time (in seconds):12.524 14.27/12.64 o 979751701250000013 14.97/13.35 c Got one! Elapsed wall clock time (in seconds):13.229 14.97/13.35 o 973552626750000013 15.77/14.15 c cleaning 6514 clauses out of 13043 with flag 3002/46962 16.20/14.51 c Got one! Elapsed wall clock time (in seconds):14.391 16.20/14.51 o 969826412750000014 16.40/14.71 c Got one! Elapsed wall clock time (in seconds):14.586 16.40/14.71 o 966296086000000013 16.59/14.91 c Got one! Elapsed wall clock time (in seconds):14.792 16.59/14.91 o 962425046500000014 16.69/15.02 c Got one! Elapsed wall clock time (in seconds):14.899 16.69/15.02 o 961465280250000013 17.59/15.94 c cleaning 6844 clauses out of 13689 with flag 4001/54122 17.82/16.13 c Got one! Elapsed wall clock time (in seconds):16.014 17.82/16.13 o 953287626250000007 18.42/16.74 c Got one! Elapsed wall clock time (in seconds):16.617 18.42/16.74 o 933672102750000013 19.12/17.48 c cleaning 6333 clauses out of 12702 with flag 3000/59979 19.43/17.77 c Got one! Elapsed wall clock time (in seconds):17.653 19.43/17.77 o 931536264000000011 20.44/18.73 c cleaning 5805 clauses out of 11617 with flag 4000/65227 21.74/20.09 c cleaning 5907 clauses out of 11813 with flag 10001/71228 23.45/21.74 c cleaning 6451 clauses out of 12911 with flag 17006/78233 24.49/22.73 c Got one! Elapsed wall clock time (in seconds):22.605 24.49/22.73 o 925793520750000010 24.69/22.99 c cleaning 5892 clauses out of 11792 with flag 1002/83565 26.19/24.42 c cleaning 5929 clauses out of 11898 with flag 7000/89563 26.81/25.06 c Got one! Elapsed wall clock time (in seconds):24.941 26.81/25.06 o 922761125750000016 27.51/25.78 c cleaning 5797 clauses out of 11600 with flag 3001/95194 28.92/27.13 c cleaning 5900 clauses out of 11802 with flag 9000/101193 30.33/28.57 c Got one! Elapsed wall clock time (in seconds):28.449 30.33/28.57 o 917504475750000013 31.53/29.75 c cleaning 8315 clauses out of 16638 with flag 5000/111929 32.15/30.38 c Got one! Elapsed wall clock time (in seconds):30.261 32.15/30.38 o 915573887250000014 32.35/30.54 c Got one! Elapsed wall clock time (in seconds):30.423 32.35/30.54 o 912969610000000013 33.14/31.31 c cleaning 7285 clauses out of 14578 with flag 3000/118184 33.35/31.51 c Got one! Elapsed wall clock time (in seconds):31.393 33.35/31.51 o 912236129250000013 34.55/32.72 c cleaning 6595 clauses out of 13205 with flag 5002/124096 35.96/34.11 c cleaning 6295 clauses out of 12608 with flag 11000/130094 36.48/34.68 c Got one! Elapsed wall clock time (in seconds):34.555 36.48/34.68 o 911041965250000012 37.28/35.41 c cleaning 5914 clauses out of 11840 with flag 3001/135621 38.71/36.84 c cleaning 5948 clauses out of 11925 with flag 9000/141620 40.42/38.53 c cleaning 6481 clauses out of 12980 with flag 16003/148623 42.42/40.52 c cleaning 7250 clauses out of 14499 with flag 24003/156623 44.86/42.91 c cleaning 8119 clauses out of 16246 with flag 33000/165620 46.67/44.75 c Got one! Elapsed wall clock time (in seconds):44.629 46.67/44.75 o 908124211000000010 46.77/44.88 c Got one! Elapsed wall clock time (in seconds):44.764 46.77/44.88 o 889592058000000016 47.87/45.93 c Got one! Elapsed wall clock time (in seconds):45.813 47.87/45.93 o 888093442750000011 48.37/46.48 c cleaning 10518 clauses out of 21046 with flag 2000/178539 50.19/48.23 c cleaning 8261 clauses out of 16528 with flag 8000/184539 51.40/49.49 c Got one! Elapsed wall clock time (in seconds):49.372 51.40/49.49 o 885042938250000009 52.80/50.83 c cleaning 9349 clauses out of 18728 with flag 5001/195000 54.24/52.23 c cleaning 7679 clauses out of 15379 with flag 11001/201000 54.78/52.78 c Got one! Elapsed wall clock time (in seconds):52.66 54.78/52.78 o 883830204000000016 55.67/53.60 c cleaning 6383 clauses out of 12788 with flag 3000/206088 57.08/55.02 c cleaning 6201 clauses out of 12411 with flag 9006/212094 58.78/56.76 c cleaning 6590 clauses out of 13204 with flag 16000/219088 61.10/59.07 c cleaning 7300 clauses out of 14614 with flag 24000/227088 62.02/59.98 c Got one! Elapsed wall clock time (in seconds):59.858 62.02/59.98 o 881671253750000012 62.63/60.54 c cleaning 6267 clauses out of 12550 with flag 2001/232324 64.14/62.03 c cleaning 6130 clauses out of 12285 with flag 8003/238326 65.85/63.76 c cleaning 6569 clauses out of 13152 with flag 15000/245323 67.98/65.80 c cleaning 7289 clauses out of 14585 with flag 23002/253325 70.48/68.34 c cleaning 8146 clauses out of 16296 with flag 32002/262325 70.59/68.42 c Got one! Elapsed wall clock time (in seconds):68.301 70.59/68.42 o 877534122250000012 71.99/69.80 c cleaning 6684 clauses out of 13383 with flag 5000/267558 72.20/70.04 c Got one! Elapsed wall clock time (in seconds):69.917 72.20/70.04 o 870068945750000007 73.50/71.36 c cleaning 6263 clauses out of 12579 with flag 5001/273438 75.01/72.81 c cleaning 6139 clauses out of 12318 with flag 11003/279440 76.41/74.20 c Got one! Elapsed wall clock time (in seconds):74.076 76.41/74.20 o 869379819250000010 77.71/75.55 c cleaning 8567 clauses out of 17140 with flag 5000/290401 79.22/77.03 c cleaning 7267 clauses out of 14573 with flag 11000/296401 80.94/78.74 c cleaning 7145 clauses out of 14307 with flag 18001/303402 82.46/80.26 c Got one! Elapsed wall clock time (in seconds):80.14 82.46/80.26 o 869353596250000014 83.85/81.69 c cleaning 8833 clauses out of 17685 with flag 5004/313925 85.47/83.29 c cleaning 7412 clauses out of 14849 with flag 11001/319922 87.47/85.24 c cleaning 7213 clauses out of 14436 with flag 18000/326921 89.77/87.55 c cleaning 7590 clauses out of 15223 with flag 26000/334921 92.29/90.05 c Got one! Elapsed wall clock time (in seconds):89.93 92.29/90.05 o 863998304750000014 93.79/91.53 c cleaning 10779 clauses out of 21565 with flag 5005/348853 95.60/93.31 c cleaning 8378 clauses out of 16782 with flag 11001/354849 97.52/95.23 c cleaning 7685 clauses out of 15403 with flag 18000/361848 99.64/97.34 c cleaning 7849 clauses out of 15722 with flag 26004/369852 102.26/100.00 c cleaning 8422 clauses out of 16869 with flag 35000/378848 105.10/102.76 c cleaning 9212 clauses out of 18447 with flag 45000/388848 106.21/103.88 c Got one! Elapsed wall clock time (in seconds):103.765 106.21/103.88 o 845224113000000008 106.81/104.43 c cleaning 7611 clauses out of 15230 with flag 2001/394843 107.71/105.35 c Got one! Elapsed wall clock time (in seconds):105.227 107.71/105.35 o 844957106750000009 108.31/105.95 c cleaning 6591 clauses out of 13202 with flag 2000/400426 109.83/107.42 c cleaning 6286 clauses out of 12611 with flag 8000/406426 111.56/109.11 c cleaning 6656 clauses out of 13325 with flag 15000/413426 113.58/111.19 c cleaning 7331 clauses out of 14669 with flag 23000/421426 115.99/113.59 c cleaning 8162 clauses out of 16339 with flag 32001/430427 116.60/114.15 c Got one! Elapsed wall clock time (in seconds):114.028 116.60/114.15 o 844892508250000007 117.50/115.00 c cleaning 6673 clauses out of 13362 with flag 3001/435612 118.91/116.49 c cleaning 6332 clauses out of 12689 with flag 9001/441612 120.53/118.07 c cleaning 6669 clauses out of 13356 with flag 16000/448611 122.75/120.28 c cleaning 7323 clauses out of 14687 with flag 24000/456611 125.18/122.66 c cleaning 8176 clauses out of 16365 with flag 33001/465612 127.90/125.35 c cleaning 9087 clauses out of 18188 with flag 43000/475611 130.60/128.09 c cleaning 10046 clauses out of 20102 with flag 54001/486612 131.92/129.33 c Got one! Elapsed wall clock time (in seconds):129.213 131.92/129.33 o 844544322750000009 132.22/129.61 c cleaning 7792 clauses out of 15611 with flag 1001/492167 133.82/131.20 c cleaning 6891 clauses out of 13819 with flag 7001/498167 135.44/132.80 c cleaning 6945 clauses out of 13929 with flag 14002/505168 137.36/134.72 c cleaning 7478 clauses out of 14983 with flag 22001/513167 139.56/136.98 c cleaning 8248 clauses out of 16504 with flag 31000/522166 142.17/139.54 c cleaning 9129 clauses out of 18257 with flag 41001/532167 145.20/142.50 c cleaning 10058 clauses out of 20128 with flag 52001/543167 148.45/145.73 c cleaning 11028 clauses out of 22071 with flag 64002/555168 152.18/149.46 c cleaning 12012 clauses out of 24042 with flag 77001/568167 156.43/153.64 c cleaning 13011 clauses out of 26031 with flag 91002/582168 158.26/155.50 c Got one! Elapsed wall clock time (in seconds):155.375 158.26/155.50 o 835243195000000009 159.66/156.82 c cleaning 11943 clauses out of 23902 with flag 5001/593050 161.18/158.37 c cleaning 8974 clauses out of 17958 with flag 11000/599049 162.77/159.92 c cleaning 7984 clauses out of 15985 with flag 18001/606050 164.69/161.81 c cleaning 7992 clauses out of 16001 with flag 26001/614050 166.80/163.99 c cleaning 8491 clauses out of 17008 with flag 35000/623049 168.25/165.31 c Got one! Elapsed wall clock time (in seconds):165.187 168.25/165.31 o 829132199500000007 169.55/166.64 c cleaning 9289 clauses out of 18596 with flag 5006/633128 171.07/168.13 c cleaning 7639 clauses out of 15303 with flag 11002/639124 172.79/169.85 c cleaning 7301 clauses out of 14662 with flag 18000/646122 174.69/171.73 c cleaning 7653 clauses out of 15362 with flag 26001/654123 177.30/174.33 c cleaning 8342 clauses out of 16710 with flag 35002/663124 180.51/177.55 c cleaning 9181 clauses out of 18376 with flag 45010/673132 183.32/180.35 c Got one! Elapsed wall clock time (in seconds):180.227 183.32/180.35 o 827074965000000014 184.71/181.73 c cleaning 12254 clauses out of 24549 with flag 5000/688486 186.34/183.33 c cleaning 9136 clauses out of 18296 with flag 11001/694487 188.05/185.06 c cleaning 8067 clauses out of 16159 with flag 18000/701486 190.08/187.02 c cleaning 7990 clauses out of 16094 with flag 26002/709488 192.39/189.38 c cleaning 8529 clauses out of 17103 with flag 35001/718487 192.79/189.77 c Got one! Elapsed wall clock time (in seconds):189.654 192.79/189.77 o 824788362000000007 193.99/190.97 c cleaning 7069 clauses out of 14161 with flag 4002/724074 195.41/192.31 c cleaning 6528 clauses out of 13090 with flag 10000/730072 196.92/193.82 c cleaning 6767 clauses out of 13562 with flag 17000/737072 198.92/195.90 c cleaning 7324 clauses out of 14797 with flag 25002/745074 201.03/197.96 c cleaning 8208 clauses out of 16471 with flag 34000/754072 203.24/200.19 c cleaning 9120 clauses out of 18263 with flag 44000/764072 205.85/202.73 c cleaning 10055 clauses out of 20144 with flag 55001/775073 208.76/205.69 c cleaning 11044 clauses out of 22088 with flag 67000/787072 211.96/208.88 c cleaning 12017 clauses out of 24046 with flag 80002/800074 215.88/212.78 c cleaning 13003 clauses out of 26029 with flag 94002/814074 220.52/217.32 c cleaning 14008 clauses out of 28025 with flag 109001/829073 225.47/222.27 c cleaning 14987 clauses out of 30018 with flag 125002/845074 231.69/228.48 c cleaning 16006 clauses out of 32029 with flag 142000/862072 237.95/234.65 c cleaning 16992 clauses out of 34027 with flag 160004/880076 239.47/236.10 c Got one! Elapsed wall clock time (in seconds):235.977 239.47/236.10 o 823882203500000009 239.97/236.67 c cleaning 11424 clauses out of 22857 with flag 2000/885898 241.59/238.26 c cleaning 8697 clauses out of 17434 with flag 8001/891899 243.39/240.05 c cleaning 7860 clauses out of 15736 with flag 15000/898898 243.70/240.34 c Got one! Elapsed wall clock time (in seconds):240.215 243.70/240.34 o 815179637500000011 244.70/241.39 c cleaning 6459 clauses out of 12952 with flag 4000/903974 246.12/242.70 c cleaning 6242 clauses out of 12493 with flag 10000/909974 247.72/244.38 c cleaning 6621 clauses out of 13251 with flag 17000/916974 248.83/245.49 c Got one! Elapsed wall clock time (in seconds):245.374 248.83/245.49 o 811842329500000010 249.13/245.75 c cleaning 6298 clauses out of 12615 with flag 1001/922959 250.43/247.06 c cleaning 6151 clauses out of 12319 with flag 7003/928961 252.04/248.63 c cleaning 6537 clauses out of 13165 with flag 14000/935958 253.85/250.45 c cleaning 7313 clauses out of 14629 with flag 22001/943959 255.95/252.51 c cleaning 8155 clauses out of 16316 with flag 31001/952959 258.36/254.97 c cleaning 9070 clauses out of 18160 with flag 41000/962958 260.67/257.26 c Got one! Elapsed wall clock time (in seconds):257.136 260.67/257.26 o 810272850000000012 261.97/258.53 c cleaning 11939 clauses out of 23901 with flag 5000/977769 263.37/259.92 c cleaning 8969 clauses out of 17962 with flag 11000/983769 265.08/261.63 c cleaning 7912 clauses out of 15999 with flag 18006/990775 266.91/263.44 c cleaning 8029 clauses out of 16082 with flag 26001/998770 269.01/265.56 c cleaning 8491 clauses out of 17052 with flag 35000/1007769 271.32/267.87 c cleaning 9271 clauses out of 18561 with flag 45000/1017769 274.04/270.59 c cleaning 10135 clauses out of 20290 with flag 56000/1028769 277.15/273.67 c cleaning 11066 clauses out of 22156 with flag 68001/1040770 280.26/276.75 c cleaning 12037 clauses out of 24089 with flag 81000/1053769 284.67/281.12 c cleaning 13016 clauses out of 26053 with flag 95001/1067770 290.01/286.47 c cleaning 14016 clauses out of 28039 with flag 110003/1082772 294.62/291.03 c cleaning 15004 clauses out of 30023 with flag 126003/1098772 299.54/295.99 c cleaning 15997 clauses out of 32018 with flag 143002/1115771 302.27/298.64 c Got one! Elapsed wall clock time (in seconds):298.518 302.27/298.64 o 809938916750000011 303.66/300.06 c cleaning 14642 clauses out of 29316 with flag 5000/1129066 305.20/301.55 c cleaning 10310 clauses out of 20674 with flag 11000/1135066 306.90/303.29 c cleaning 8642 clauses out of 17365 with flag 18001/1142067 308.80/305.12 c cleaning 8324 clauses out of 16724 with flag 26002/1150068 311.21/307.51 c cleaning 8670 clauses out of 17399 with flag 35001/1159067 313.72/310.09 c cleaning 9323 clauses out of 18728 with flag 45000/1169066 316.32/312.63 c cleaning 10202 clauses out of 20405 with flag 56000/1180066 319.84/316.10 c cleaning 11089 clauses out of 22203 with flag 68000/1192066 323.66/319.99 c cleaning 12038 clauses out of 24118 with flag 81004/1205070 327.77/324.07 c cleaning 13028 clauses out of 26084 with flag 95008/1219074 333.30/329.50 c cleaning 14014 clauses out of 28048 with flag 110000/1234066 338.62/334.89 c cleaning 14997 clauses out of 30036 with flag 126002/1250068 345.14/341.32 c cleaning 16001 clauses out of 32039 with flag 143002/1267068 352.09/348.28 c cleaning 17016 clauses out of 34037 with flag 161001/1285067 359.42/355.50 c cleaning 17999 clauses out of 36021 with flag 180001/1304067 366.45/362.60 c cleaning 19001 clauses out of 38022 with flag 200001/1324067 367.21/363.20 c Got one! Elapsed wall clock time (in seconds):363.085 367.21/363.20 o 804215246000000011 368.01/364.10 c Got one! Elapsed wall clock time (in seconds):363.979 368.01/364.10 o 795301196499999998 368.41/364.43 c cleaning 12659 clauses out of 25339 with flag 1000/1330385 370.12/366.13 c cleaning 9292 clauses out of 18681 with flag 7001/1336386 370.73/366.78 c Got one! Elapsed wall clock time (in seconds):366.663 370.73/366.78 o 788821117750000005 371.53/367.58 c cleaning 7390 clauses out of 14819 with flag 3000/1341816 373.04/369.00 c cleaning 6706 clauses out of 13435 with flag 9006/1347822 374.55/370.53 c cleaning 6842 clauses out of 13724 with flag 16001/1354817 376.16/372.19 c cleaning 7435 clauses out of 14883 with flag 24002/1362818 378.37/374.32 c cleaning 8214 clauses out of 16446 with flag 33000/1371816 379.78/375.73 c Got one! Elapsed wall clock time (in seconds):375.609 379.78/375.73 o 785373707500000008 380.98/376.94 c cleaning 9473 clauses out of 18968 with flag 5002/1382552 382.31/378.28 c cleaning 7741 clauses out of 15493 with flag 11000/1388550 384.03/379.92 c cleaning 7371 clauses out of 14757 with flag 18005/1395555 385.43/381.31 c Got one! Elapsed wall clock time (in seconds):381.188 385.43/381.31 o 782618172250000008 386.63/382.51 c cleaning 9175 clauses out of 18380 with flag 5001/1406549 387.96/383.81 c cleaning 7586 clauses out of 15204 with flag 11000/1412548 389.55/385.40 c cleaning 7301 clauses out of 14620 with flag 18002/1419550 391.56/387.42 c cleaning 7650 clauses out of 15317 with flag 26000/1427548 394.28/390.15 c cleaning 8332 clauses out of 16667 with flag 35000/1436548 396.68/392.54 c cleaning 9157 clauses out of 18335 with flag 45000/1446548 399.99/395.81 c cleaning 10084 clauses out of 20179 with flag 56001/1457549 402.81/398.63 c cleaning 11027 clauses out of 22096 with flag 68002/1469550 406.12/401.94 c cleaning 11994 clauses out of 24069 with flag 81002/1482550 409.95/405.75 c cleaning 13025 clauses out of 26074 with flag 95001/1496549 414.08/409.86 c cleaning 14003 clauses out of 28049 with flag 110001/1511549 418.40/414.13 c cleaning 15014 clauses out of 30046 with flag 126001/1527549 419.53/415.24 c Got one! Elapsed wall clock time (in seconds):415.123 419.53/415.24 o 782429497000000006 419.83/415.53 c cleaning 10288 clauses out of 20595 with flag 1002/1533112 421.24/416.99 c cleaning 8146 clauses out of 16305 with flag 7000/1539110 422.83/418.53 c cleaning 7556 clauses out of 15160 with flag 14001/1546111 424.56/420.29 c cleaning 7790 clauses out of 15605 with flag 22002/1554112 426.49/422.19 c cleaning 8394 clauses out of 16813 with flag 31000/1563110 428.71/424.35 c cleaning 9172 clauses out of 18420 with flag 41001/1573111 431.61/427.24 c cleaning 10107 clauses out of 20247 with flag 52000/1584110 434.46/430.10 c cleaning 11045 clauses out of 22141 with flag 64001/1596111 437.45/433.02 c cleaning 12028 clauses out of 24096 with flag 77001/1609111 440.46/436.09 c Got one! Elapsed wall clock time (in seconds):435.973 440.46/436.09 o 772623119750000013 441.76/437.39 c cleaning 14987 clauses out of 30011 with flag 5002/1627054 443.18/438.72 c cleaning 10479 clauses out of 21022 with flag 11000/1633052 444.80/440.34 c cleaning 8754 clauses out of 17543 with flag 18000/1640052 446.50/442.03 c cleaning 8384 clauses out of 16791 with flag 26002/1648054 448.50/444.01 c cleaning 8688 clauses out of 17405 with flag 35000/1657052 450.71/446.21 c cleaning 9343 clauses out of 18718 with flag 45001/1667053 453.02/448.58 c cleaning 10176 clauses out of 20375 with flag 56001/1678053 456.22/451.75 c cleaning 11086 clauses out of 22200 with flag 68002/1690054 459.14/454.63 c cleaning 12044 clauses out of 24112 with flag 81000/1703052 462.76/458.26 c cleaning 13006 clauses out of 26069 with flag 95001/1717053 466.47/461.96 c cleaning 14009 clauses out of 28065 with flag 110003/1732055 470.38/465.85 c cleaning 15003 clauses out of 30053 with flag 126000/1748052 474.63/470.07 c cleaning 16014 clauses out of 32050 with flag 143000/1765052 479.46/474.83 c cleaning 17008 clauses out of 34036 with flag 161000/1783052 484.58/479.96 c cleaning 18007 clauses out of 36030 with flag 180002/1802054 489.91/485.21 c cleaning 18995 clauses out of 38021 with flag 200000/1822052 495.73/491.07 c cleaning 19997 clauses out of 40030 with flag 221004/1843056 501.87/497.11 c cleaning 20973 clauses out of 42031 with flag 243002/1865054 508.50/503.63 c cleaning 22023 clauses out of 44057 with flag 266001/1888053 515.21/510.29 c cleaning 23005 clauses out of 46035 with flag 290002/1912054 520.63/515.66 c Got one! Elapsed wall clock time (in seconds):515.538 520.63/515.66 o 766396754000000008 522.21/517.11 c cleaning 23460 clauses out of 46939 with flag 5000/1935963 523.81/518.71 c cleaning 14729 clauses out of 29480 with flag 11001/1941964 525.52/520.48 c cleaning 10836 clauses out of 21750 with flag 18000/1948963 527.63/522.57 c cleaning 9444 clauses out of 18915 with flag 26001/1956964 529.75/524.66 c cleaning 9224 clauses out of 18476 with flag 35006/1965969 532.27/527.17 c cleaning 9598 clauses out of 19247 with flag 45001/1975964 534.88/529.71 c cleaning 10312 clauses out of 20648 with flag 56000/1986963 536.12/530.93 c Got one! Elapsed wall clock time (in seconds):530.812 536.12/530.93 o 763516837500000010 537.42/532.21 c cleaning 10221 clauses out of 20446 with flag 5003/1997073 537.73/532.50 c Got one! Elapsed wall clock time (in seconds):532.38 537.73/532.50 o 754009636000000016 538.83/533.60 c cleaning 7829 clauses out of 15659 with flag 4003/2002507 540.45/535.24 c cleaning 6906 clauses out of 13827 with flag 10000/2008504 541.96/536.78 c cleaning 6945 clauses out of 13922 with flag 17001/2015505 542.37/537.11 c Got one! Elapsed wall clock time (in seconds):536.988 542.37/537.11 o 753835322750000009 543.27/538.06 c cleaning 6265 clauses out of 12559 with flag 4000/2021087 544.48/539.28 c cleaning 6134 clauses out of 12294 with flag 10000/2027087 545.89/540.69 c cleaning 6573 clauses out of 13165 with flag 17005/2034092 548.19/542.99 c cleaning 7290 clauses out of 14587 with flag 25000/2042087 550.35/545.05 c cleaning 8147 clauses out of 16299 with flag 34002/2051089 552.66/547.32 c cleaning 9067 clauses out of 18150 with flag 44000/2061087 555.27/549.96 c cleaning 10038 clauses out of 20086 with flag 55003/2072090 557.28/551.95 c Got one! Elapsed wall clock time (in seconds):551.834 557.28/551.95 o 747321770500000008 558.59/553.26 c cleaning 11656 clauses out of 23331 with flag 5003/2085373 559.99/554.61 c cleaning 8820 clauses out of 17672 with flag 11000/2091370 561.50/556.17 c cleaning 7911 clauses out of 15853 with flag 18001/2098371 563.20/557.89 c cleaning 7960 clauses out of 15943 with flag 26002/2106372 565.33/559.93 c cleaning 8480 clauses out of 16981 with flag 35000/2115370 567.56/562.19 c cleaning 9249 clauses out of 18504 with flag 45003/2125373 570.17/564.72 c cleaning 10115 clauses out of 20252 with flag 56000/2136370 573.58/568.12 c cleaning 11066 clauses out of 22137 with flag 68000/2148370 577.29/571.83 c cleaning 12014 clauses out of 24072 with flag 81001/2161371 581.00/575.52 c cleaning 13024 clauses out of 26057 with flag 95000/2175370 584.63/579.16 c cleaning 13992 clauses out of 28033 with flag 110000/2190370 585.76/580.29 c Got one! Elapsed wall clock time (in seconds):580.17 585.76/580.29 o 746154874750000008 586.06/580.58 c cleaning 9796 clauses out of 19609 with flag 1000/2195938 587.58/582.02 c cleaning 7896 clauses out of 15815 with flag 7002/2201940 588.98/583.44 c cleaning 7452 clauses out of 14917 with flag 14000/2208938 590.71/585.20 c cleaning 7712 clauses out of 15468 with flag 22003/2216941 592.80/587.24 c cleaning 8365 clauses out of 16753 with flag 31000/2225938 595.01/589.43 c cleaning 9179 clauses out of 18388 with flag 41000/2235938 597.21/591.67 c cleaning 10096 clauses out of 20209 with flag 52000/2246938 600.11/594.51 c cleaning 11038 clauses out of 22113 with flag 64000/2258938 603.23/597.63 c cleaning 12028 clauses out of 24077 with flag 77002/2271940 606.43/600.87 c cleaning 13001 clauses out of 26049 with flag 91002/2285940 608.54/602.96 c Got one! Elapsed wall clock time (in seconds):602.843 608.54/602.96 o 743309560750000001 609.84/604.29 c cleaning 13435 clauses out of 26892 with flag 5000/2299784 611.25/605.67 c cleaning 9713 clauses out of 19457 with flag 11000/2305784 613.07/607.41 c cleaning 8354 clauses out of 16744 with flag 18000/2312784 614.77/609.10 c cleaning 8173 clauses out of 16390 with flag 26000/2320784 616.87/611.24 c cleaning 8598 clauses out of 17219 with flag 35002/2329786 619.17/613.52 c cleaning 9303 clauses out of 18619 with flag 45000/2339784 621.68/616.03 c cleaning 10131 clauses out of 20319 with flag 56003/2350787 624.50/618.86 c cleaning 11037 clauses out of 22186 with flag 68001/2362785 627.30/621.68 c cleaning 12065 clauses out of 24150 with flag 81002/2375786 630.63/624.94 c cleaning 13028 clauses out of 26084 with flag 95001/2389785 634.07/628.37 c cleaning 14011 clauses out of 28056 with flag 110001/2404785 637.93/632.13 c cleaning 15012 clauses out of 30044 with flag 126000/2420784 642.25/636.41 c cleaning 16011 clauses out of 32032 with flag 143000/2437784 647.98/642.10 c cleaning 16999 clauses out of 34021 with flag 161000/2455784 653.14/647.27 c Got one! Elapsed wall clock time (in seconds):647.151 653.14/647.27 o 742587600000000001 654.54/648.62 c cleaning 18312 clauses out of 36655 with flag 5003/2475417 655.86/650.00 c cleaning 12150 clauses out of 24340 with flag 11000/2481414 657.48/651.52 c cleaning 9586 clauses out of 19192 with flag 18002/2488416 659.18/653.21 c cleaning 8786 clauses out of 17605 with flag 26001/2496415 661.09/655.10 c cleaning 8900 clauses out of 17818 with flag 35000/2505414 663.29/657.37 c cleaning 9447 clauses out of 18918 with flag 45000/2515414 665.91/659.94 c cleaning 10225 clauses out of 20471 with flag 56000/2526414 668.72/662.76 c cleaning 11119 clauses out of 22248 with flag 68002/2538416 671.62/665.62 c cleaning 12060 clauses out of 24127 with flag 81000/2551414 675.04/669.00 c cleaning 13016 clauses out of 26071 with flag 95004/2565418 678.58/672.52 c cleaning 14008 clauses out of 28054 with flag 110003/2580417 682.59/676.52 c cleaning 15005 clauses out of 30045 with flag 126002/2596416 686.80/680.78 c cleaning 15995 clauses out of 32038 with flag 143000/2613414 691.20/685.19 c cleaning 17008 clauses out of 34043 with flag 161000/2631414 695.72/689.68 c cleaning 17984 clauses out of 36037 with flag 180002/2650416 700.73/694.66 c cleaning 19018 clauses out of 38051 with flag 200000/2670414 706.45/700.39 c cleaning 20017 clauses out of 40034 with flag 221001/2691415 713.41/707.27 c cleaning 21008 clauses out of 42016 with flag 243000/2713414 721.15/714.90 c cleaning 21990 clauses out of 44010 with flag 266002/2736416 729.88/723.61 c cleaning 22988 clauses out of 46021 with flag 290003/2760417 738.81/732.44 c cleaning 24008 clauses out of 48030 with flag 315000/2785414 748.58/742.06 c cleaning 25007 clauses out of 50023 with flag 341001/2811415 759.77/753.03 c cleaning 26002 clauses out of 52016 with flag 368001/2838415 773.92/767.07 c cleaning 26995 clauses out of 54013 with flag 396000/2866414 788.19/781.04 c cleaning 28009 clauses out of 56020 with flag 425002/2895416 802.02/794.68 c cleaning 28997 clauses out of 58009 with flag 455000/2925414 815.33/807.71 c cleaning 29993 clauses out of 60012 with flag 486000/2956414 831.10/823.39 c cleaning 30997 clauses out of 62020 with flag 518001/2988415 833.13/825.39 c Got one! Elapsed wall clock time (in seconds):825.265 833.13/825.39 o 741952941000000005 833.53/825.78 c cleaning 18066 clauses out of 36165 with flag 1000/2993557 835.33/827.57 c cleaning 11977 clauses out of 24100 with flag 7001/2999558 837.06/829.26 c cleaning 9555 clauses out of 19124 with flag 14002/3006559 839.06/831.26 c cleaning 8762 clauses out of 17567 with flag 22000/3014557 841.07/833.23 c Got one! Elapsed wall clock time (in seconds):833.111 841.07/833.23 o 741867949000000009 842.30/834.49 c cleaning 11153 clauses out of 22330 with flag 5001/3028082 843.93/836.06 c cleaning 8569 clauses out of 17176 with flag 11000/3034081 845.43/837.57 c cleaning 7779 clauses out of 15608 with flag 18001/3041082 847.54/839.60 c cleaning 7912 clauses out of 15828 with flag 26000/3049081 849.24/841.34 c cleaning 8454 clauses out of 16918 with flag 35002/3058083 851.25/843.36 c cleaning 9226 clauses out of 18464 with flag 45002/3068083 853.67/845.77 c cleaning 10110 clauses out of 20236 with flag 56000/3079081 856.48/848.53 c cleaning 11055 clauses out of 22127 with flag 68001/3091082 859.49/851.58 c cleaning 12015 clauses out of 24071 with flag 81000/3104081 863.23/855.23 c cleaning 13016 clauses out of 26058 with flag 95002/3118083 868.01/859.98 c cleaning 14013 clauses out of 28041 with flag 110001/3133082 873.29/865.14 c cleaning 15005 clauses out of 30029 with flag 126002/3149083 879.27/871.09 c cleaning 15999 clauses out of 32022 with flag 143000/3166081 882.39/874.19 c Got one! Elapsed wall clock time (in seconds):874.066 882.39/874.19 o 734954417500000010 884.04/875.71 c cleaning 15048 clauses out of 30149 with flag 5001/3180207 885.66/877.36 c cleaning 10542 clauses out of 21100 with flag 11000/3186206 887.37/879.00 c cleaning 8774 clauses out of 17558 with flag 18000/3193206 889.29/880.92 c cleaning 8380 clauses out of 16788 with flag 26004/3201210 891.40/883.02 c cleaning 8698 clauses out of 17407 with flag 35003/3210209 893.91/885.59 c cleaning 9346 clauses out of 18707 with flag 45001/3220207 897.09/888.62 c cleaning 10179 clauses out of 20360 with flag 56000/3231206 900.02/891.60 c cleaning 11093 clauses out of 22188 with flag 68007/3243213 903.47/894.97 c cleaning 12029 clauses out of 24088 with flag 81000/3256206 907.33/898.73 c cleaning 13026 clauses out of 26061 with flag 95002/3270208 911.67/903.03 c cleaning 14017 clauses out of 28033 with flag 110000/3285206 916.59/907.86 c cleaning 15010 clauses out of 30020 with flag 126004/3301210 922.00/913.15 c cleaning 15999 clauses out of 32007 with flag 143001/3318207 928.21/919.21 c cleaning 16997 clauses out of 34007 with flag 161000/3336206 935.21/926.12 c cleaning 18001 clauses out of 36010 with flag 180000/3355206 942.17/932.95 c Got one! Elapsed wall clock time (in seconds):932.827 942.17/932.95 o 734800225750000006 943.67/934.48 c cleaning 20826 clauses out of 41693 with flag 5000/3378890 945.31/936.02 c cleaning 13410 clauses out of 26867 with flag 11000/3384890 946.92/937.69 c cleaning 10206 clauses out of 20458 with flag 18001/3391891 948.65/939.38 c cleaning 9115 clauses out of 18252 with flag 26001/3399891 950.78/941.40 c cleaning 9055 clauses out of 18136 with flag 35000/3408890 953.15/943.75 c cleaning 9521 clauses out of 19082 with flag 45001/3418891 955.69/946.27 c cleaning 10261 clauses out of 20560 with flag 56000/3429890 958.56/949.07 c cleaning 11137 clauses out of 22299 with flag 68000/3441890 961.28/951.79 c cleaning 12059 clauses out of 24165 with flag 81003/3454893 964.61/955.03 c cleaning 13010 clauses out of 26104 with flag 95001/3468891 968.09/958.43 c cleaning 14027 clauses out of 28093 with flag 110000/3483890 971.99/962.20 c cleaning 15020 clauses out of 30069 with flag 126003/3499893 976.05/966.22 c cleaning 15992 clauses out of 32046 with flag 143000/3516890 981.46/971.57 c cleaning 17006 clauses out of 34056 with flag 161002/3534892 987.48/977.44 c cleaning 18008 clauses out of 36050 with flag 180002/3553892 993.62/983.46 c cleaning 19001 clauses out of 38040 with flag 200000/3573890 1001.70/991.39 c cleaning 20005 clauses out of 40040 with flag 221001/3594891 1008.62/998.19 c cleaning 20990 clauses out of 42039 with flag 243005/3616895 1016.21/1005.56 c cleaning 21994 clauses out of 44045 with flag 266001/3639891 1023.54/1012.72 c cleaning 23004 clauses out of 46050 with flag 290000/3663890 1031.56/1020.58 c cleaning 23997 clauses out of 48046 with flag 315000/3688890 1040.09/1028.86 c cleaning 25005 clauses out of 50050 with flag 341001/3714891 1049.64/1038.24 c cleaning 25996 clauses out of 52044 with flag 368000/3741890 1059.08/1047.47 c cleaning 26999 clauses out of 54051 with flag 396003/3769893 1069.54/1057.75 c cleaning 28010 clauses out of 56051 with flag 425002/3798892 1080.77/1068.77 c cleaning 29003 clauses out of 58039 with flag 455000/3828890 1093.60/1081.32 c cleaning 29984 clauses out of 60036 with flag 486000/3859890 1105.60/1093.03 c cleaning 30988 clauses out of 62053 with flag 518001/3891891 1107.04/1094.48 c Got one! Elapsed wall clock time (in seconds):1094.36 1107.04/1094.48 o 734398713250000004 1107.54/1094.90 c cleaning 18312 clauses out of 36631 with flag 1000/3897457 1109.28/1096.66 c cleaning 12146 clauses out of 24322 with flag 7003/3903460 1111.00/1098.37 c cleaning 9575 clauses out of 19173 with flag 14000/3910457 1112.89/1100.19 c cleaning 8783 clauses out of 17598 with flag 22000/3918457 1114.96/1102.20 c cleaning 8883 clauses out of 17817 with flag 31002/3927459 1117.50/1104.52 c cleaning 9454 clauses out of 18932 with flag 41000/3937457 1120.14/1107.16 c cleaning 10216 clauses out of 20478 with flag 52000/3948457 1122.78/1109.72 c cleaning 11112 clauses out of 22262 with flag 64000/3960457 1126.25/1113.15 c cleaning 12028 clauses out of 24151 with flag 77001/3973458 1129.62/1116.46 c cleaning 13042 clauses out of 26125 with flag 91003/3987460 1134.03/1120.74 c cleaning 14032 clauses out of 28080 with flag 106000/4002457 1139.09/1125.61 c cleaning 15024 clauses out of 30051 with flag 122003/4018460 1144.04/1130.58 c cleaning 16014 clauses out of 32030 with flag 139006/4035463 1149.83/1136.30 c cleaning 16996 clauses out of 34010 with flag 157000/4053457 1156.26/1142.59 c cleaning 17996 clauses out of 36017 with flag 176003/4072460 1163.04/1149.29 c cleaning 19001 clauses out of 38020 with flag 196002/4092459 1170.95/1157.02 c cleaning 20000 clauses out of 40018 with flag 217001/4113458 1179.76/1165.73 c cleaning 20997 clauses out of 42017 with flag 239000/4135457 1186.10/1171.99 c Got one! Elapsed wall clock time (in seconds):1171.869 1186.10/1171.99 o 733859134500000006 1187.60/1173.43 c cleaning 20766 clauses out of 41588 with flag 5000/4156025 1189.12/1174.98 c cleaning 13400 clauses out of 26822 with flag 11000/4162025 1190.92/1176.71 c cleaning 10178 clauses out of 20423 with flag 18001/4169026 1192.63/1178.43 c cleaning 9112 clauses out of 18244 with flag 26000/4177025 1194.70/1180.45 c cleaning 9058 clauses out of 18134 with flag 35002/4186027 1197.05/1182.70 c cleaning 9516 clauses out of 19083 with flag 45009/4196034 1199.50/1185.13 c cleaning 10219 clauses out of 20563 with flag 56005/4207030 1202.64/1188.28 c cleaning 11161 clauses out of 22342 with flag 68003/4219028 1206.26/1191.80 c cleaning 12019 clauses out of 24178 with flag 81000/4232025 1209.85/1195.32 c cleaning 13071 clauses out of 26161 with flag 95002/4246027 1213.61/1198.93 c cleaning 14027 clauses out of 28088 with flag 110000/4261025 1217.72/1202.99 c cleaning 15011 clauses out of 30063 with flag 126002/4277027 1221.91/1207.01 c cleaning 16000 clauses out of 32052 with flag 143002/4294027 1226.19/1211.28 c cleaning 17009 clauses out of 34051 with flag 161001/4312026 1230.79/1215.74 c cleaning 18008 clauses out of 36042 with flag 180001/4331026 1236.06/1220.92 c cleaning 19001 clauses out of 38033 with flag 200000/4351025 1241.37/1226.11 c cleaning 19964 clauses out of 40035 with flag 221003/4372028 1246.97/1231.64 c cleaning 20985 clauses out of 42071 with flag 243003/4394028 1253.55/1238.09 c cleaning 22028 clauses out of 44083 with flag 266000/4417025 1260.27/1244.64 c cleaning 23001 clauses out of 46055 with flag 290000/4441025 1267.45/1251.66 c cleaning 23952 clauses out of 48055 with flag 315001/4466026 1272.77/1256.84 c Got one! Elapsed wall clock time (in seconds):1256.722 1272.77/1256.84 o 731264372000000007 1273.80/1257.86 c Got one! Elapsed wall clock time (in seconds):1257.744 1273.80/1257.86 o 708992940000000009 1274.50/1258.51 c cleaning 24825 clauses out of 49691 with flag 2000/4491614 1275.83/1259.87 c cleaning 15429 clauses out of 30866 with flag 8000/4497614 1277.56/1261.56 c cleaning 11213 clauses out of 22443 with flag 15006/4504620 1279.60/1263.56 c cleaning 9601 clauses out of 19226 with flag 23002/4512616 1281.94/1265.86 c cleaning 9298 clauses out of 18623 with flag 32000/4521614 1284.51/1268.31 c cleaning 9655 clauses out of 19325 with flag 42000/4531614 1287.28/1271.07 c cleaning 10328 clauses out of 20672 with flag 53002/4542616 1290.36/1274.03 c cleaning 11163 clauses out of 22343 with flag 65001/4554615 1293.83/1277.46 c cleaning 12083 clauses out of 24180 with flag 78001/4567615 1297.52/1281.04 c Got one! Elapsed wall clock time (in seconds):1280.924 1297.52/1281.04 o 708932674000000002 1298.97/1282.41 c cleaning 15028 clauses out of 30100 with flag 5000/4585618 1300.30/1283.80 c cleaning 10524 clauses out of 21074 with flag 11002/4591620 1301.80/1285.23 c cleaning 8745 clauses out of 17548 with flag 18000/4598618 1303.54/1286.93 c cleaning 8370 clauses out of 16804 with flag 26001/4606619 1305.37/1288.75 c cleaning 8699 clauses out of 17433 with flag 35000/4615618 1307.52/1290.86 c cleaning 9366 clauses out of 18734 with flag 45000/4625618 1310.07/1293.30 c cleaning 10174 clauses out of 20369 with flag 56001/4636619 1313.30/1296.54 c cleaning 11092 clauses out of 22194 with flag 68000/4648618 1316.73/1299.98 c cleaning 12049 clauses out of 24102 with flag 81000/4661618 1320.62/1303.76 c cleaning 13021 clauses out of 26054 with flag 95001/4675619 1322.37/1305.40 c Got one! Elapsed wall clock time (in seconds):1305.28 1322.37/1305.40 o 708733420750000004 1323.77/1306.87 c cleaning 12218 clauses out of 24462 with flag 5000/4687048 1325.17/1308.26 c cleaning 9098 clauses out of 18244 with flag 11000/4693048 1326.72/1309.78 c cleaning 8049 clauses out of 16147 with flag 18001/4700049 1328.59/1311.54 c cleaning 8034 clauses out of 16097 with flag 26000/4708048 1330.71/1313.65 c cleaning 8522 clauses out of 17063 with flag 35000/4717048 1332.66/1315.52 c cleaning 9249 clauses out of 18543 with flag 45002/4727050 1334.79/1317.69 c cleaning 10107 clauses out of 20292 with flag 56000/4738048 1337.33/1320.17 c cleaning 11084 clauses out of 22188 with flag 68003/4750051 1340.12/1322.82 c cleaning 12042 clauses out of 24101 with flag 81000/4763048 1343.29/1325.93 c cleaning 13016 clauses out of 26060 with flag 95001/4777049 1346.59/1329.11 c cleaning 13999 clauses out of 28045 with flag 110002/4792050 1350.42/1332.88 c cleaning 15009 clauses out of 30046 with flag 126002/4808050 1355.49/1337.72 c cleaning 15999 clauses out of 32035 with flag 143000/4825048 1360.40/1342.52 c cleaning 17001 clauses out of 34039 with flag 161003/4843051 1365.81/1347.83 c cleaning 18002 clauses out of 36035 with flag 180000/4862048 1371.73/1353.69 c cleaning 18994 clauses out of 38033 with flag 200000/4882048 1377.45/1359.24 c cleaning 20003 clauses out of 40039 with flag 221000/4903048 1383.49/1365.15 c cleaning 21010 clauses out of 42037 with flag 243001/4925049 1390.62/1372.18 c cleaning 22001 clauses out of 44027 with flag 266001/4948049 1398.21/1379.52 c cleaning 23002 clauses out of 46032 with flag 290007/4972055 1406.67/1387.85 c cleaning 24008 clauses out of 48023 with flag 315000/4997048 1414.71/1395.74 c cleaning 24993 clauses out of 50018 with flag 341003/5023051 1423.20/1404.04 c cleaning 25995 clauses out of 52025 with flag 368003/5050051 1432.27/1413.00 c cleaning 27005 clauses out of 54028 with flag 396001/5078049 1442.76/1423.29 c cleaning 27999 clauses out of 56023 with flag 425001/5107049 1455.34/1435.52 c cleaning 28995 clauses out of 58023 with flag 455000/5137048 1467.32/1447.34 c cleaning 30005 clauses out of 60032 with flag 486004/5168052 1479.91/1459.65 c cleaning 30994 clauses out of 62026 with flag 518003/5200051 1492.34/1471.89 c cleaning 32003 clauses out of 64030 with flag 551001/5233049 1506.07/1485.21 c cleaning 32985 clauses out of 66027 with flag 585001/5267049 1521.73/1500.54 c cleaning 34009 clauses out of 68041 with flag 620000/5302048 1536.63/1515.10 c cleaning 34971 clauses out of 70032 with flag 656000/5338048 1552.02/1530.24 c cleaning 36022 clauses out of 72062 with flag 693001/5375049 1567.72/1545.61 c cleaning 36993 clauses out of 74039 with flag 731000/5413048 1585.68/1563.22 c cleaning 37972 clauses out of 76048 with flag 770002/5452050 1606.06/1583.15 c cleaning 39030 clauses out of 78075 with flag 810001/5492049 1612.80/1589.80 c Got one! Elapsed wall clock time (in seconds):1589.676 1612.80/1589.80 o 707556376000000004 1614.77/1591.70 c cleaning 30595 clauses out of 61207 with flag 5000/5514211 1616.80/1593.61 c cleaning 18283 clauses out of 36614 with flag 11002/5520213 1618.84/1595.63 c cleaning 12653 clauses out of 25331 with flag 18002/5527213 1620.80/1597.54 c cleaning 10331 clauses out of 20676 with flag 26000/5535211 1623.04/1599.74 c cleaning 9668 clauses out of 19348 with flag 35003/5544214 1625.26/1601.97 c cleaning 9814 clauses out of 19677 with flag 45000/5554211 1627.49/1604.19 c cleaning 10422 clauses out of 20863 with flag 56000/5565211 1630.28/1606.81 c cleaning 11204 clauses out of 22442 with flag 68001/5577212 1633.16/1609.63 c cleaning 12109 clauses out of 24238 with flag 81001/5590212 1636.54/1612.93 c cleaning 13062 clauses out of 26131 with flag 95003/5604214 1639.77/1616.17 c cleaning 13993 clauses out of 28067 with flag 110001/5619212 1644.01/1620.23 c cleaning 15028 clauses out of 30075 with flag 126002/5635213 1647.79/1623.99 c cleaning 16000 clauses out of 32045 with flag 143000/5652211 1652.15/1628.21 c cleaning 17003 clauses out of 34046 with flag 161001/5670212 1656.49/1632.52 c cleaning 18001 clauses out of 36043 with flag 180001/5689212 1661.63/1637.54 c cleaning 18974 clauses out of 38041 with flag 200000/5709211 1667.35/1643.17 c cleaning 20007 clauses out of 40067 with flag 221000/5730211 1674.77/1650.44 c cleaning 20981 clauses out of 42061 with flag 243001/5752212 1681.82/1657.35 c cleaning 22036 clauses out of 44083 with flag 266004/5775215 1689.27/1664.62 c cleaning 22972 clauses out of 46043 with flag 290000/5799211 1696.11/1671.37 c cleaning 23997 clauses out of 48071 with flag 315000/5824211 1703.68/1678.76 c cleaning 24949 clauses out of 50075 with flag 341001/5850212 1711.68/1686.51 c cleaning 26021 clauses out of 52126 with flag 368001/5877212 1720.44/1695.13 c cleaning 26924 clauses out of 54104 with flag 396000/5905211 1729.71/1704.20 c cleaning 28046 clauses out of 56180 with flag 425000/5934211 1737.80/1712.13 c cleaning 29041 clauses out of 58135 with flag 455001/5964212 1745.12/1719.32 c cleaning 30045 clauses out of 60093 with flag 486000/5995211 1753.22/1727.28 c cleaning 31026 clauses out of 62051 with flag 518003/6027214 1763.40/1737.17 c cleaning 32000 clauses out of 64023 with flag 551001/6060212 1772.61/1746.18 c cleaning 33003 clauses out of 66022 with flag 585000/6094211 1783.06/1756.30 c cleaning 33974 clauses out of 68021 with flag 620002/6129213 1794.76/1767.86 c cleaning 35017 clauses out of 70045 with flag 656000/6165211 1800.06/1773.01 c starts : 427 1800.06/1773.01 c conflicts : 6181751 1800.06/1773.01 c decisions : 10830484 1800.06/1773.01 c propagations : 210428045 1800.06/1773.01 c inspects : 5717082904 1800.06/1773.01 c shortcuts : 0 1800.06/1773.01 c learnt literals : 0 1800.06/1773.01 c learnt binary clauses : 0 1800.06/1773.01 c learnt ternary clauses : 0 1800.06/1773.01 c learnt constraints : 6181752 1800.06/1773.01 c ignored constraints : 0 1800.06/1773.01 c root simplifications : 0 1800.06/1773.01 c removed literals (reason simplification) : 0 1800.06/1773.01 c reason swapping (by a shorter reason) : 0 1800.06/1773.01 c Calls to reduceDB : 465 1800.06/1773.01 c number of reductions to clauses (during analyze) : 0 1800.06/1773.01 c number of learned constraints concerned by reduction : 0 1800.06/1773.01 c number of learning phase by resolution : 0 1800.06/1773.01 c number of learning phase by cutting planes : 0 1800.06/1773.01 c speed (assignments/second) : 118707.5056694459 1800.06/1773.01 c non guided choices 0 1800.06/1773.03 c learnt constraints type 1800.06/1773.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 51620 1800.06/1773.03 c constraints type 1800.06/1773.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100 1800.06/1773.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 100 1800.06/1773.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.06/1773.03 c 201 constraints processed. 1800.06/1773.03 s SATISFIABLE 1800.06/1773.04 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 1800.06/1773.04 c objective function=707556376000000004 1800.06/1773.04 c Total wall clock time (in seconds): 1772.925
OK 707556376000000004
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-3689541-1337891617/watcher-3689541-1337891617 -o /tmp/evaluation-result-3689541-1337891617/solver-3689541-1337891617 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689541-1337891617.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 3/195 23807 /proc/meminfo: memFree=28630996/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/23807/stat : 23807 (java) R 23805 23807 21479 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 255288478 278528 33 33554432000 1073741824 1073778376 140734704318672 140736590351640 271778409653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 68 33 25 9 0 25 0 [startup+0.0152629 s] /proc/loadavg: 2.02 2.01 2.00 3/195 23807 /proc/meminfo: memFree=28630996/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=97336 CPUtime=0 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 1312 0 0 0 0 0 0 0 20 0 2 0 255288478 99672064 1013 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 24334 1019 779 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 97336 [startup+0.100168 s] /proc/loadavg: 2.02 2.01 2.00 3/195 23807 /proc/meminfo: memFree=28630996/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 4280 0 1 0 8 1 0 0 20 0 18 0 255288478 9787813888 4970 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2389603 4970 2099 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300169 s] /proc/loadavg: 2.02 2.01 2.00 3/195 23807 /proc/meminfo: memFree=28630996/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9558412 CPUtime=0.54 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 7824 0 1 0 52 2 0 0 20 0 18 0 255288478 9787813888 10220 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2389603 10220 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 9558412 [startup+0.700165 s] /proc/loadavg: 2.02 2.01 2.00 3/195 23807 /proc/meminfo: memFree=28630996/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9624976 CPUtime=1.67 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 16276 0 1 0 162 5 0 0 20 0 19 0 255288478 9855975424 22033 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2406244 22033 2245 9 0 2396937 0 Current children cumulated CPU time (s) 1.67 Current children cumulated vsize (KiB) 9624976 [startup+1.50074 s] /proc/loadavg: 2.18 2.04 2.01 3/214 23826 /proc/meminfo: memFree=28510776/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9624976 CPUtime=2.68 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 16467 0 1 0 262 6 0 0 20 0 19 0 255288478 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2406244 40957 2249 9 0 2396937 0 [pid=23807/tid=23809] ppid=23805 vsize=9624976 CPUtime=1.46 cores=0,2,4,6 /proc/23807/task/23809/stat : 23809 (java) R 23805 23807 21479 0 -1 4202560 2569 0 1 0 143 3 0 0 20 0 19 0 255288479 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179219135064 140179091871001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23810] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23810/stat : 23810 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179062782120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23811] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23811/stat : 23811 (java) S 23805 23807 21479 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179061729576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23812] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23812/stat : 23812 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179060677032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23813] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23813/stat : 23813 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179059624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23814] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23814/stat : 23814 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179058571944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23815] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23815/stat : 23815 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179057519400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23816] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23816/stat : 23816 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179056466856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23817] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23817/stat : 23817 (java) S 23805 23807 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179055414312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23818] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23818/stat : 23818 (java) S 23805 23807 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255288481 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179043215464 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23819] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23819/stat : 23819 (java) S 23805 23807 21479 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179042161784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23820] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23820/stat : 23820 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179041109128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23821] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23821/stat : 23821 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179040057872 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23822] ppid=23805 vsize=9624976 CPUtime=0.59 cores=0,2,4,6 /proc/23807/task/23822/stat : 23822 (java) S 23805 23807 21479 0 -1 4202560 4701 0 0 0 57 2 0 0 20 0 19 0 255288485 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179039005240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23823] ppid=23805 vsize=9624976 CPUtime=0.6 cores=0,2,4,6 /proc/23807/task/23823/stat : 23823 (java) S 23805 23807 21479 0 -1 4202560 8000 0 0 0 58 2 0 0 20 0 19 0 255288485 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179037952696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23824] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23824/stat : 23824 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179036900344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23825] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23825/stat : 23825 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179035848008 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23826] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23826/stat : 23826 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288514 9855975424 40957 33554432000 1073741824 1073778376 140734704318672 140179034792744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.68 Current children cumulated vsize (KiB) 9624976 [startup+3.10074 s] /proc/loadavg: 2.18 2.04 2.01 3/214 23826 /proc/meminfo: memFree=28440524/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9624976 CPUtime=4.38 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 16775 0 1 0 429 9 0 0 20 0 19 0 255288478 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2406244 49751 2266 9 0 2396937 0 [pid=23807/tid=23809] ppid=23805 vsize=9624976 CPUtime=3.03 cores=0,2,4,6 /proc/23807/task/23809/stat : 23809 (java) R 23805 23807 21479 0 -1 4202560 2579 0 1 0 300 3 0 0 20 0 19 0 255288479 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179219128768 140179091826051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23810] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23810/stat : 23810 (java) S 23805 23807 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179062782120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23811] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23811/stat : 23811 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179061729576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23812] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23812/stat : 23812 (java) S 23805 23807 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179060677032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23813] ppid=23805 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/23807/task/23813/stat : 23813 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179059624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23814] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23814/stat : 23814 (java) S 23805 23807 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179058571944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23815] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23815/stat : 23815 (java) S 23805 23807 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179057519400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23816] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23816/stat : 23816 (java) S 23805 23807 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179056466856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23817] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23817/stat : 23817 (java) S 23805 23807 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179055414312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23818] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23818/stat : 23818 (java) S 23805 23807 21479 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 255288481 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179043215464 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23819] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23819/stat : 23819 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179042161784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23820] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23820/stat : 23820 (java) S 23805 23807 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179041109128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23821] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23821/stat : 23821 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179040057872 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23822] ppid=23805 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/23807/task/23822/stat : 23822 (java) S 23805 23807 21479 0 -1 4202560 4873 0 0 0 59 2 0 0 20 0 19 0 255288485 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179039005240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23823] ppid=23805 vsize=9624976 CPUtime=0.6 cores=0,2,4,6 /proc/23807/task/23823/stat : 23823 (java) S 23805 23807 21479 0 -1 4202560 8000 0 0 0 58 2 0 0 20 0 19 0 255288485 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179037952696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23824] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23824/stat : 23824 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179036900344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23825] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23825/stat : 23825 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179035848008 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23826] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23826/stat : 23826 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288514 9855975424 49751 33554432000 1073741824 1073778376 140734704318672 140179034792744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 4.38 Current children cumulated vsize (KiB) 9624976 [startup+6.30076 s] /proc/loadavg: 2.18 2.04 2.01 3/214 23826 /proc/meminfo: memFree=28389448/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9624976 CPUtime=7.72 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 17234 0 1 0 759 13 0 0 20 0 19 0 255288478 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2406244 62366 2278 9 0 2396937 0 [pid=23807/tid=23809] ppid=23805 vsize=9624976 CPUtime=6.19 cores=0,2,4,6 /proc/23807/task/23809/stat : 23809 (java) R 23805 23807 21479 0 -1 4202560 2581 0 1 0 616 3 0 0 20 0 19 0 255288479 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179219128768 140179091910317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23810] ppid=23805 vsize=9624976 CPUtime=0.02 cores=0,2,4,6 /proc/23807/task/23810/stat : 23810 (java) S 23805 23807 21479 0 -1 4202560 106 0 0 0 0 2 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179062782120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23811] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23811/stat : 23811 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179061729576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23812] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23812/stat : 23812 (java) S 23805 23807 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179060677032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23813] ppid=23805 vsize=9624976 CPUtime=0.03 cores=0,2,4,6 /proc/23807/task/23813/stat : 23813 (java) S 23805 23807 21479 0 -1 4202560 119 0 0 0 1 2 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179059624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23814] ppid=23805 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/23807/task/23814/stat : 23814 (java) S 23805 23807 21479 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179058571944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23815] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23815/stat : 23815 (java) S 23805 23807 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179057519400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23816] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23816/stat : 23816 (java) S 23805 23807 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179056466856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23817] ppid=23805 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/23807/task/23817/stat : 23817 (java) S 23805 23807 21479 0 -1 4202560 98 0 0 0 1 0 0 0 20 0 19 0 255288480 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179055414312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23818] ppid=23805 vsize=9624976 CPUtime=0.01 cores=0,2,4,6 /proc/23807/task/23818/stat : 23818 (java) S 23805 23807 21479 0 -1 4202560 103 0 0 0 1 0 0 0 20 0 19 0 255288481 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179043215464 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23819] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23819/stat : 23819 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179042161784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23820] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23820/stat : 23820 (java) S 23805 23807 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179041109128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23821] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23821/stat : 23821 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179040057872 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23822] ppid=23805 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/23807/task/23822/stat : 23822 (java) S 23805 23807 21479 0 -1 4202560 4919 0 0 0 63 2 0 0 20 0 19 0 255288485 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179039005240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23823] ppid=23805 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/23807/task/23823/stat : 23823 (java) S 23805 23807 21479 0 -1 4202560 8008 0 0 0 61 2 0 0 20 0 19 0 255288485 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179037952696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23824] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23824/stat : 23824 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179036900344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23825] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23825/stat : 23825 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179035848008 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23826] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23826/stat : 23826 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288514 9855975424 62366 33554432000 1073741824 1073778376 140734704318672 140179034792744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.72 Current children cumulated vsize (KiB) 9624976 [startup+12.7008 s] ################ # More data... # ################ [pid=23807/tid=23815] ppid=23805 vsize=9624976 CPUtime=3.9 cores=0,2,4,6 /proc/23807/task/23815/stat : 23815 (java) S 23805 23807 21479 0 -1 4202560 1591 0 0 0 375 15 0 0 20 0 19 0 255288480 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179057519400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23816] ppid=23805 vsize=9624976 CPUtime=3.78 cores=0,2,4,6 /proc/23807/task/23816/stat : 23816 (java) S 23805 23807 21479 0 -1 4202560 705 0 0 0 367 11 0 0 20 0 19 0 255288480 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179056466856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23817] ppid=23805 vsize=9624976 CPUtime=3.91 cores=0,2,4,6 /proc/23807/task/23817/stat : 23817 (java) S 23805 23807 21479 0 -1 4202560 1983 0 0 0 373 18 0 0 20 0 19 0 255288480 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179055414312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23818] ppid=23805 vsize=9624976 CPUtime=10.65 cores=0,2,4,6 /proc/23807/task/23818/stat : 23818 (java) S 23805 23807 21479 0 -1 4202560 828 0 0 0 1054 11 0 0 20 0 19 0 255288481 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179043215464 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23819] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23819/stat : 23819 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179042161784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23820] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23820/stat : 23820 (java) S 23805 23807 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179041109128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23821] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23821/stat : 23821 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179040057872 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23822] ppid=23805 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/23807/task/23822/stat : 23822 (java) S 23805 23807 21479 0 -1 4202560 4920 0 0 0 64 2 0 0 20 0 19 0 255288485 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179039005240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23823] ppid=23805 vsize=9624976 CPUtime=0.69 cores=0,2,4,6 /proc/23807/task/23823/stat : 23823 (java) S 23805 23807 21479 0 -1 4202560 8025 0 0 0 67 2 0 0 20 0 19 0 255288485 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179037952696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23824] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23824/stat : 23824 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179036900344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23825] ppid=23805 vsize=9624976 CPUtime=0.59 cores=0,2,4,6 /proc/23807/task/23825/stat : 23825 (java) S 23805 23807 21479 0 -1 4202560 92 0 0 0 35 24 0 0 20 0 19 0 255288485 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179035848008 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23826] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23826/stat : 23826 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288514 9855975424 111162 33554432000 1073741824 1073778376 140734704318672 140179034792744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1625.68 Current children cumulated vsize (KiB) 9624976 [startup+1662.3 s] /proc/loadavg: 1.99 2.05 2.04 3/214 23922 /proc/meminfo: memFree=26674148/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9624976 CPUtime=1686.91 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 30322 0 1 0 168525 166 0 0 20 0 19 0 255288478 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2406244 130289 2278 9 0 2396937 0 [pid=23807/tid=23809] ppid=23805 vsize=9624976 CPUtime=1641.31 cores=0,2,4,6 /proc/23807/task/23809/stat : 23809 (java) R 23805 23807 21479 0 -1 4202560 3475 0 1 0 164098 33 0 0 20 0 19 0 255288479 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179219135856 140179091654685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23810] ppid=23805 vsize=9624976 CPUtime=4.41 cores=0,2,4,6 /proc/23807/task/23810/stat : 23810 (java) S 23805 23807 21479 0 -1 4202560 1611 0 0 0 424 17 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179062782120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23811] ppid=23805 vsize=9624976 CPUtime=4.02 cores=0,2,4,6 /proc/23807/task/23811/stat : 23811 (java) S 23805 23807 21479 0 -1 4202560 771 0 0 0 391 11 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179061729576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23812] ppid=23805 vsize=9624976 CPUtime=4.05 cores=0,2,4,6 /proc/23807/task/23812/stat : 23812 (java) S 23805 23807 21479 0 -1 4202560 1180 0 0 0 388 17 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179060677032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23813] ppid=23805 vsize=9624976 CPUtime=4.13 cores=0,2,4,6 /proc/23807/task/23813/stat : 23813 (java) S 23805 23807 21479 0 -1 4202560 1237 0 0 0 396 17 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179059624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23814] ppid=23805 vsize=9624976 CPUtime=4.16 cores=0,2,4,6 /proc/23807/task/23814/stat : 23814 (java) S 23805 23807 21479 0 -1 4202560 1685 0 0 0 401 15 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179058571944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23815] ppid=23805 vsize=9624976 CPUtime=4.15 cores=0,2,4,6 /proc/23807/task/23815/stat : 23815 (java) S 23805 23807 21479 0 -1 4202560 2063 0 0 0 398 17 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179057519400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23816] ppid=23805 vsize=9624976 CPUtime=4.01 cores=0,2,4,6 /proc/23807/task/23816/stat : 23816 (java) S 23805 23807 21479 0 -1 4202560 953 0 0 0 388 13 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179056466856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23817] ppid=23805 vsize=9624976 CPUtime=4.14 cores=0,2,4,6 /proc/23807/task/23817/stat : 23817 (java) S 23805 23807 21479 0 -1 4202560 2239 0 0 0 394 20 0 0 20 0 19 0 255288480 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179055414312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23818] ppid=23805 vsize=9624976 CPUtime=11.04 cores=0,2,4,6 /proc/23807/task/23818/stat : 23818 (java) S 23805 23807 21479 0 -1 4202560 886 0 0 0 1093 11 0 0 20 0 19 0 255288481 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179043215464 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23819] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23819/stat : 23819 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179042161784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23820] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23820/stat : 23820 (java) S 23805 23807 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179041109128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23821] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23821/stat : 23821 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179040057872 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23822] ppid=23805 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/23807/task/23822/stat : 23822 (java) S 23805 23807 21479 0 -1 4202560 4920 0 0 0 64 2 0 0 20 0 19 0 255288485 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179039005240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23823] ppid=23805 vsize=9624976 CPUtime=0.69 cores=0,2,4,6 /proc/23807/task/23823/stat : 23823 (java) S 23805 23807 21479 0 -1 4202560 8025 0 0 0 67 2 0 0 20 0 19 0 255288485 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179037952696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23824] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23824/stat : 23824 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179036900344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23825] ppid=23805 vsize=9624976 CPUtime=0.62 cores=0,2,4,6 /proc/23807/task/23825/stat : 23825 (java) S 23805 23807 21479 0 -1 4202560 96 0 0 0 37 25 0 0 20 0 19 0 255288485 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179035848008 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23826] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23826/stat : 23826 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288514 9855975424 130289 33554432000 1073741824 1073778376 140734704318672 140179034792744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1686.91 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 1.99 2.04 2.04 3/213 23923 /proc/meminfo: memFree=26690792/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9624976 CPUtime=1748.22 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 30559 0 1 0 174653 169 0 0 20 0 19 0 255288478 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2406244 114769 2278 9 0 2396937 0 [pid=23807/tid=23809] ppid=23805 vsize=9624976 CPUtime=1700.48 cores=0,2,4,6 /proc/23807/task/23809/stat : 23809 (java) R 23805 23807 21479 0 -1 4202560 3511 0 1 0 170014 34 0 0 20 0 19 0 255288479 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179219135856 140179091801475 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23810] ppid=23805 vsize=9624976 CPUtime=4.64 cores=0,2,4,6 /proc/23807/task/23810/stat : 23810 (java) S 23805 23807 21479 0 -1 4202560 1642 0 0 0 447 17 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179062782120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23811] ppid=23805 vsize=9624976 CPUtime=4.27 cores=0,2,4,6 /proc/23807/task/23811/stat : 23811 (java) S 23805 23807 21479 0 -1 4202560 807 0 0 0 416 11 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179061729576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23812] ppid=23805 vsize=9624976 CPUtime=4.25 cores=0,2,4,6 /proc/23807/task/23812/stat : 23812 (java) S 23805 23807 21479 0 -1 4202560 1198 0 0 0 408 17 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179060677032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23813] ppid=23805 vsize=9624976 CPUtime=4.36 cores=0,2,4,6 /proc/23807/task/23813/stat : 23813 (java) S 23805 23807 21479 0 -1 4202560 1253 0 0 0 419 17 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179059624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23814] ppid=23805 vsize=9624976 CPUtime=4.39 cores=0,2,4,6 /proc/23807/task/23814/stat : 23814 (java) S 23805 23807 21479 0 -1 4202560 1711 0 0 0 424 15 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179058571944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23815] ppid=23805 vsize=9624976 CPUtime=4.38 cores=0,2,4,6 /proc/23807/task/23815/stat : 23815 (java) S 23805 23807 21479 0 -1 4202560 2078 0 0 0 421 17 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179057519400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23816] ppid=23805 vsize=9624976 CPUtime=4.23 cores=0,2,4,6 /proc/23807/task/23816/stat : 23816 (java) S 23805 23807 21479 0 -1 4202560 977 0 0 0 410 13 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179056466856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23817] ppid=23805 vsize=9624976 CPUtime=4.37 cores=0,2,4,6 /proc/23807/task/23817/stat : 23817 (java) S 23805 23807 21479 0 -1 4202560 2255 0 0 0 417 20 0 0 20 0 19 0 255288480 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179055414312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23818] ppid=23805 vsize=9624976 CPUtime=11.34 cores=0,2,4,6 /proc/23807/task/23818/stat : 23818 (java) S 23805 23807 21479 0 -1 4202560 903 0 0 0 1123 11 0 0 20 0 19 0 255288481 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179043215464 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23819] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23819/stat : 23819 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179042161784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23820] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23820/stat : 23820 (java) S 23805 23807 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179041109128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23821] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23821/stat : 23821 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179040057872 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23822] ppid=23805 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/23807/task/23822/stat : 23822 (java) S 23805 23807 21479 0 -1 4202560 4920 0 0 0 64 2 0 0 20 0 19 0 255288485 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179039005240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23823] ppid=23805 vsize=9624976 CPUtime=0.69 cores=0,2,4,6 /proc/23807/task/23823/stat : 23823 (java) S 23805 23807 21479 0 -1 4202560 8025 0 0 0 67 2 0 0 20 0 19 0 255288485 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179037952696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23824] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23824/stat : 23824 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179036900344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23825] ppid=23805 vsize=9624976 CPUtime=0.63 cores=0,2,4,6 /proc/23807/task/23825/stat : 23825 (java) S 23805 23807 21479 0 -1 4202560 98 0 0 0 37 26 0 0 20 0 19 0 255288485 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179035848008 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23826] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23826/stat : 23826 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288514 9855975424 114769 33554432000 1073741824 1073778376 140734704318672 140179034792744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1748.22 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1773 s] /proc/loadavg: 1.99 2.03 2.03 3/213 23923 /proc/meminfo: memFree=26593472/32873648 swapFree=6844/6844 [pid=23807] ppid=23805 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6 /proc/23807/stat : 23807 (java) S 23805 23807 21479 0 -1 4202496 31497 0 1 0 179829 177 0 0 20 0 19 0 255288478 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140734704309808 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/23807/statm: 2406244 131585 2278 9 0 2396937 0 [pid=23807/tid=23809] ppid=23805 vsize=9624976 CPUtime=1750.46 cores=0,2,4,6 /proc/23807/task/23809/stat : 23809 (java) R 23805 23807 21479 0 -1 4202560 3536 0 1 0 175011 35 0 0 20 0 19 0 255288479 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179219135856 140179091812035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23810] ppid=23805 vsize=9624976 CPUtime=4.85 cores=0,2,4,6 /proc/23807/task/23810/stat : 23810 (java) S 23805 23807 21479 0 -1 4202560 1746 0 0 0 467 18 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179062782120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23811] ppid=23805 vsize=9624976 CPUtime=4.45 cores=0,2,4,6 /proc/23807/task/23811/stat : 23811 (java) S 23805 23807 21479 0 -1 4202560 815 0 0 0 433 12 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179061729576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23812] ppid=23805 vsize=9624976 CPUtime=4.43 cores=0,2,4,6 /proc/23807/task/23812/stat : 23812 (java) S 23805 23807 21479 0 -1 4202560 1434 0 0 0 425 18 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179060677032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23813] ppid=23805 vsize=9624976 CPUtime=4.59 cores=0,2,4,6 /proc/23807/task/23813/stat : 23813 (java) S 23805 23807 21479 0 -1 4202560 1453 0 0 0 441 18 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179059624488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23814] ppid=23805 vsize=9624976 CPUtime=4.63 cores=0,2,4,6 /proc/23807/task/23814/stat : 23814 (java) S 23805 23807 21479 0 -1 4202560 1752 0 0 0 447 16 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179058571944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23815] ppid=23805 vsize=9624976 CPUtime=4.57 cores=0,2,4,6 /proc/23807/task/23815/stat : 23815 (java) S 23805 23807 21479 0 -1 4202560 2155 0 0 0 439 18 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179057519400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23816] ppid=23805 vsize=9624976 CPUtime=4.43 cores=0,2,4,6 /proc/23807/task/23816/stat : 23816 (java) S 23805 23807 21479 0 -1 4202560 1071 0 0 0 429 14 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179056466856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23817] ppid=23805 vsize=9624976 CPUtime=4.56 cores=0,2,4,6 /proc/23807/task/23817/stat : 23817 (java) S 23805 23807 21479 0 -1 4202560 2350 0 0 0 435 21 0 0 20 0 19 0 255288480 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179055414312 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23818] ppid=23805 vsize=9624976 CPUtime=11.59 cores=0,2,4,6 /proc/23807/task/23818/stat : 23818 (java) S 23805 23807 21479 0 -1 4202560 957 0 0 0 1148 11 0 0 20 0 19 0 255288481 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179043215464 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=23807/tid=23819] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23819/stat : 23819 (java) S 23805 23807 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179042161784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23820] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23820/stat : 23820 (java) S 23805 23807 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255288482 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179041109128 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23821] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23821/stat : 23821 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179040057872 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23822] ppid=23805 vsize=9624976 CPUtime=0.66 cores=0,2,4,6 /proc/23807/task/23822/stat : 23822 (java) S 23805 23807 21479 0 -1 4202560 4920 0 0 0 64 2 0 0 20 0 19 0 255288485 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179039005240 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=23807/tid=23823] ppid=23805 vsize=9624976 CPUtime=0.69 cores=0,2,4,6 /proc/23807/task/23823/stat : 23823 (java) S 23805 23807 21479 0 -1 4202560 8025 0 0 0 67 2 0 0 20 0 19 0 255288485 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179037952696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23824] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23824/stat : 23824 (java) S 23805 23807 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255288485 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179036900344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=23807/tid=23825] ppid=23805 vsize=9624976 CPUtime=0.65 cores=0,2,4,6 /proc/23807/task/23825/stat : 23825 (java) S 23805 23807 21479 0 -1 4202560 102 0 0 0 39 26 0 0 20 0 19 0 255288485 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179035848008 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=23807/tid=23826] ppid=23805 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/23807/task/23826/stat : 23826 (java) S 23805 23807 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255288514 9855975424 131585 33554432000 1073741824 1073778376 140734704318672 140179034792744 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1773.06 CPU time (s): 1800.92 CPU user time (s): 1798.67 CPU system time (s): 2.25466 CPU usage (%): 101.571 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.67 system time used= 2.25466 maximum resident set size= 669676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31538 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 64726 involuntary context switches= 68981 runsolver used 6.41103 second user time and 14.2128 second system time The end
Begin job on node115 at 2012-05-24 22:33:37 IDJOB=3689541 IDBENCH=89889 IDSOLVER=2269 FILE ID=node115/3689541-1337891617 RUNJOBID= node115-1337871882-21495 PBS_JOBID= 14620089 Free space on /tmp= 71644 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-eilB101.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689541-1337891617/watcher-3689541-1337891617 -o /tmp/evaluation-result-3689541-1337891617/solver-3689541-1337891617 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689541-1337891617.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbc26082f2456029d803a788e5b95f10 RANDOM SEED=1602369030 node115.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.462 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 : 5332.92 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.462 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.462 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.92 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.462 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.462 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.92 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.462 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.91 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.462 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.91 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.462 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: 32873648 kB MemFree: 28631524 kB Buffers: 209804 kB Cached: 2833992 kB SwapCached: 0 kB Active: 1310356 kB Inactive: 2157948 kB Active(anon): 427376 kB Inactive(anon): 0 kB Active(file): 882980 kB Inactive(file): 2157948 kB Unevictable: 6844 kB Mlocked: 6844 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 812 kB Writeback: 12 kB AnonPages: 441736 kB Mapped: 22512 kB Shmem: 200 kB Slab: 624920 kB SReclaimable: 69012 kB SUnreclaim: 555908 kB KernelStack: 1608 kB PageTables: 4928 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 831200 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 405504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71648 MiB End job on node115 at 2012-05-24 23:03:12