Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | -64 | 1800.09 | 1796.17 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_2.opb |
MD5SUM | e40e55fe30ea19a1cae02f7f820bc9fe |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -78 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15670 |
Sum of products size (including duplicates) | 31340 |
Number of different products | 7835 |
Sum of products size | 15670 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.10 c version 2.3.1.v20110525 0.02/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.10 c java.vm.version 19.1-b02 0.02/0.10 c java.vm.vendor Sun Microsystems Inc. 0.02/0.10 c sun.arch.data.model 64 0.02/0.10 c java.version 1.6.0_24 0.02/0.10 c os.name Linux 0.02/0.10 c os.version 2.6.18-164.el5 0.02/0.10 c os.arch amd64 0.02/0.10 c Free memory 12995394264 0.02/0.10 c Max memory 13063553024 0.02/0.10 c Total memory 13063553024 0.02/0.10 c Number of processors 8 0.11/0.12 c Pseudo Boolean Optimization 0.11/0.12 c --- Begin Solver configuration --- 0.11/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.12 c Learn all clauses as in MiniSAT 0.11/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.12 c Expensive reason simplification 0.11/0.12 c Armin Biere (Picosat) restarts strategy 0.11/0.12 c Glucose learned constraints deletion strategy 0.11/0.12 c timeout=2147483s 0.11/0.12 c DB Simplification allowed=false 0.11/0.12 c --- End Solver configuration --- 0.11/0.12 c solving HOME/instance-3458399-1307160508.opb 0.11/0.12 c reading problem ... 1.27/0.83 c ... done. Wall clock time 0.689s. 1.27/0.83 c #vars 8335 1.27/0.83 c #constraints 24005 1.27/0.83 c constraints type 1.27/0.83 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7835 1.27/0.83 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 1.27/0.83 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7835 1.73/0.91 c SATISFIABLE 1.73/0.91 c OPTIMIZING... 1.73/0.91 c Got one! Elapsed wall clock time (in seconds):0.792 1.73/0.91 o -55 2.15/1.12 c Got one! Elapsed wall clock time (in seconds):1.004 2.15/1.12 o -56 2.28/1.24 c Got one! Elapsed wall clock time (in seconds):1.123 2.28/1.24 o -57 2.40/1.30 c Got one! Elapsed wall clock time (in seconds):1.183 2.40/1.30 o -58 2.83/1.73 c Got one! Elapsed wall clock time (in seconds):1.615 2.83/1.73 o -60 3.07/1.97 c cleaning 4015 clauses out of 8030 with flag 2000/8030 3.83/2.63 c cleaning 5007 clauses out of 10016 with flag 8001/14031 4.43/3.27 c Got one! Elapsed wall clock time (in seconds):3.156 4.43/3.27 o -61 5.03/3.84 c cleaning 8121 clauses out of 16255 with flag 5000/25277 5.72/4.49 c cleaning 7067 clauses out of 14134 with flag 11000/31277 6.53/5.27 c cleaning 7031 clauses out of 14068 with flag 18001/38278 7.63/6.33 c cleaning 7507 clauses out of 15036 with flag 26000/46277 8.73/7.49 c cleaning 8259 clauses out of 16530 with flag 35001/55278 10.04/8.73 c cleaning 9134 clauses out of 18271 with flag 45001/65278 11.44/10.18 c cleaning 10068 clauses out of 20136 with flag 56000/76277 12.94/11.62 c cleaning 11035 clauses out of 22069 with flag 68001/88278 14.66/13.32 c cleaning 12012 clauses out of 24033 with flag 81000/101277 16.65/15.36 c cleaning 13011 clauses out of 26021 with flag 95000/115277 16.88/15.54 c Got one! Elapsed wall clock time (in seconds):15.42 16.88/15.54 o -62 17.46/16.12 c cleaning 9398 clauses out of 18800 with flag 5001/121067 18.17/16.85 c cleaning 7702 clauses out of 15403 with flag 11002/127068 19.09/17.77 c cleaning 7343 clauses out of 14699 with flag 18000/134066 20.09/18.78 c cleaning 7675 clauses out of 15358 with flag 26002/142068 21.38/20.01 c cleaning 8339 clauses out of 16681 with flag 35000/151066 22.68/21.31 c cleaning 9168 clauses out of 18342 with flag 45000/161066 24.19/22.83 c cleaning 10085 clauses out of 20174 with flag 56000/172066 25.60/24.30 c cleaning 11041 clauses out of 22090 with flag 68001/184067 27.29/25.98 c cleaning 12020 clauses out of 24048 with flag 81000/197066 29.30/27.92 c cleaning 13011 clauses out of 26029 with flag 95001/211067 31.50/30.17 c cleaning 13999 clauses out of 28017 with flag 110000/226066 33.81/32.44 c cleaning 15002 clauses out of 30018 with flag 126000/242066 36.63/35.27 c cleaning 16004 clauses out of 32016 with flag 143000/259066 39.02/37.64 c cleaning 16500 clauses out of 33013 with flag 160001/276067 41.33/39.95 c cleaning 16749 clauses out of 33512 with flag 177000/293066 43.73/42.34 c cleaning 16873 clauses out of 33763 with flag 194000/310066 46.14/44.78 c cleaning 16938 clauses out of 33891 with flag 211001/327067 48.95/47.54 c cleaning 16976 clauses out of 33953 with flag 228001/344067 49.56/48.13 c Got one! Elapsed wall clock time (in seconds):48.014 49.56/48.13 o -63 49.76/48.31 c cleaning 11193 clauses out of 22386 with flag 1001/349476 50.56/49.18 c cleaning 8597 clauses out of 17193 with flag 7001/355476 51.76/50.30 c cleaning 7798 clauses out of 15595 with flag 14000/362475 52.97/51.54 c cleaning 7896 clauses out of 15797 with flag 22000/370475 54.39/52.94 c cleaning 8444 clauses out of 16901 with flag 31000/379475 55.78/54.35 c cleaning 9222 clauses out of 18458 with flag 41001/389476 57.38/55.91 c cleaning 10114 clauses out of 20235 with flag 52000/400475 59.18/57.70 c cleaning 11057 clauses out of 22121 with flag 64000/412475 61.09/59.64 c cleaning 12024 clauses out of 24064 with flag 77000/425475 62.79/61.39 c cleaning 13018 clauses out of 26041 with flag 91001/439476 64.80/63.39 c cleaning 14010 clauses out of 28022 with flag 106000/454475 67.10/65.63 c cleaning 14999 clauses out of 30013 with flag 122001/470476 69.40/67.97 c cleaning 16002 clauses out of 32013 with flag 139000/487475 72.03/70.51 c cleaning 16501 clauses out of 33011 with flag 156000/504475 74.41/72.98 c cleaning 16744 clauses out of 33511 with flag 173001/521476 77.02/75.52 c cleaning 16875 clauses out of 33766 with flag 190000/538475 79.42/77.98 c cleaning 16942 clauses out of 33891 with flag 207000/555475 82.03/80.58 c cleaning 16968 clauses out of 33949 with flag 224000/572475 84.54/83.07 c cleaning 16985 clauses out of 33981 with flag 241000/589475 87.14/85.60 c cleaning 16988 clauses out of 33997 with flag 258001/606476 89.65/88.13 c cleaning 16999 clauses out of 34010 with flag 275002/623477 91.76/90.23 c cleaning 16994 clauses out of 34009 with flag 292000/640475 94.15/92.60 c cleaning 16999 clauses out of 34016 with flag 309001/657476 96.56/95.08 c cleaning 16995 clauses out of 34016 with flag 326000/674475 99.06/97.59 c cleaning 17006 clauses out of 34023 with flag 343002/691477 101.79/100.22 c cleaning 17005 clauses out of 34015 with flag 360000/708475 104.38/102.89 c cleaning 17005 clauses out of 34011 with flag 377001/725476 106.98/105.49 c cleaning 16994 clauses out of 34005 with flag 394000/742475 109.50/107.99 c cleaning 16992 clauses out of 34012 with flag 411001/759476 112.29/110.74 c cleaning 16999 clauses out of 34019 with flag 428000/776475 115.02/113.46 c cleaning 17008 clauses out of 34021 with flag 445001/793476 117.92/116.30 c cleaning 16991 clauses out of 34013 with flag 462001/810476 120.22/118.69 c cleaning 17006 clauses out of 34022 with flag 479001/827476 122.83/121.23 c cleaning 17001 clauses out of 34015 with flag 496000/844475 125.43/123.87 c cleaning 17001 clauses out of 34014 with flag 513000/861475 128.15/126.59 c cleaning 17000 clauses out of 34013 with flag 530000/878475 130.74/129.18 c cleaning 16991 clauses out of 34013 with flag 547000/895475 133.24/131.69 c cleaning 17004 clauses out of 34023 with flag 564001/912476 135.44/133.87 c cleaning 16999 clauses out of 34018 with flag 581000/929475 137.85/136.21 c cleaning 17010 clauses out of 34019 with flag 598000/946475 140.27/138.62 c cleaning 17002 clauses out of 34009 with flag 615000/963475 142.46/140.91 c cleaning 17001 clauses out of 34007 with flag 632000/980475 144.95/143.36 c cleaning 17001 clauses out of 34006 with flag 649000/997475 147.26/145.67 c cleaning 16990 clauses out of 34005 with flag 666000/1014475 149.86/148.27 c cleaning 17006 clauses out of 34016 with flag 683001/1031476 152.38/150.81 c cleaning 16997 clauses out of 34009 with flag 700000/1048475 155.07/153.47 c cleaning 16998 clauses out of 34012 with flag 717000/1065475 157.78/156.16 c cleaning 17003 clauses out of 34016 with flag 734002/1082477 160.48/158.86 c cleaning 16995 clauses out of 34011 with flag 751000/1099475 162.88/161.29 c cleaning 16994 clauses out of 34016 with flag 768000/1116475 165.60/163.92 c cleaning 17004 clauses out of 34023 with flag 785001/1133476 168.19/166.51 c cleaning 16994 clauses out of 34018 with flag 802000/1150475 170.79/169.10 c cleaning 17004 clauses out of 34024 with flag 819000/1167475 173.41/171.76 c cleaning 17008 clauses out of 34020 with flag 836000/1184475 176.19/174.53 c cleaning 17002 clauses out of 34012 with flag 853000/1201475 178.60/176.90 c cleaning 16999 clauses out of 34010 with flag 870000/1218475 181.30/179.62 c cleaning 17001 clauses out of 34011 with flag 887000/1235475 183.81/182.19 c cleaning 16995 clauses out of 34010 with flag 904000/1252475 186.53/184.89 c cleaning 16993 clauses out of 34016 with flag 921001/1269476 189.32/187.62 c cleaning 17005 clauses out of 34022 with flag 938000/1286475 191.92/190.21 c cleaning 17002 clauses out of 34017 with flag 955000/1303475 194.62/192.98 c cleaning 17001 clauses out of 34016 with flag 972001/1320476 197.22/195.54 c cleaning 16996 clauses out of 34015 with flag 989001/1337476 200.02/198.38 c cleaning 16997 clauses out of 34018 with flag 1006000/1354475 201.03/199.33 c Got one! Elapsed wall clock time (in seconds):199.211 201.03/199.33 o -64 201.73/200.03 c cleaning 14710 clauses out of 29437 with flag 5001/1366891 202.54/200.84 c cleaning 10357 clauses out of 20726 with flag 11000/1372890 203.44/201.72 c cleaning 8679 clauses out of 17371 with flag 18002/1379892 204.44/202.70 c cleaning 8337 clauses out of 16692 with flag 26002/1387892 205.55/203.87 c cleaning 8666 clauses out of 17353 with flag 35000/1396890 207.05/205.32 c cleaning 9343 clauses out of 18687 with flag 45000/1406890 208.57/206.84 c cleaning 10168 clauses out of 20344 with flag 56000/1417890 210.25/208.53 c cleaning 11088 clauses out of 22177 with flag 68001/1429891 212.36/210.61 c cleaning 12039 clauses out of 24088 with flag 81000/1442890 214.26/212.56 c cleaning 13020 clauses out of 26049 with flag 95000/1456890 216.66/214.91 c cleaning 14008 clauses out of 28029 with flag 110000/1471890 219.07/217.38 c cleaning 15002 clauses out of 30021 with flag 126000/1487890 221.89/220.17 c cleaning 16010 clauses out of 32019 with flag 143000/1504890 224.57/222.90 c cleaning 16501 clauses out of 33009 with flag 160000/1521890 227.57/225.89 c cleaning 16752 clauses out of 33508 with flag 177000/1538890 230.29/228.55 c cleaning 16879 clauses out of 33757 with flag 194001/1555891 232.99/231.28 c cleaning 16938 clauses out of 33877 with flag 211000/1572890 236.00/234.27 c cleaning 16966 clauses out of 33941 with flag 228002/1589892 238.80/237.05 c cleaning 16978 clauses out of 33973 with flag 245000/1606890 241.62/239.87 c cleaning 16990 clauses out of 33996 with flag 262001/1623891 244.71/242.91 c cleaning 16997 clauses out of 34006 with flag 279001/1640891 247.31/245.59 c cleaning 16992 clauses out of 34009 with flag 296001/1657891 249.92/248.17 c cleaning 17000 clauses out of 34016 with flag 313000/1674890 252.63/250.83 c cleaning 16996 clauses out of 34016 with flag 330000/1691890 255.22/253.49 c cleaning 17000 clauses out of 34021 with flag 347001/1708891 257.93/256.13 c cleaning 17003 clauses out of 34020 with flag 364000/1725890 260.45/258.67 c cleaning 16999 clauses out of 34017 with flag 381000/1742890 262.93/261.18 c cleaning 16999 clauses out of 34018 with flag 398000/1759890 265.54/263.77 c cleaning 17003 clauses out of 34020 with flag 415001/1776891 268.44/266.60 c cleaning 17001 clauses out of 34016 with flag 432000/1793890 270.84/269.00 c cleaning 17001 clauses out of 34015 with flag 449000/1810890 273.35/271.50 c cleaning 17000 clauses out of 34016 with flag 466002/1827892 275.87/274.06 c cleaning 17003 clauses out of 34015 with flag 483001/1844891 278.45/276.63 c cleaning 16998 clauses out of 34011 with flag 500000/1861890 281.06/279.28 c cleaning 17002 clauses out of 34013 with flag 517000/1878890 283.58/281.79 c cleaning 16993 clauses out of 34013 with flag 534002/1895892 286.37/284.54 c cleaning 16997 clauses out of 34019 with flag 551001/1912891 289.08/287.27 c cleaning 17008 clauses out of 34021 with flag 568000/1929890 291.67/289.80 c cleaning 16994 clauses out of 34013 with flag 585000/1946890 294.27/292.46 c cleaning 17004 clauses out of 34020 with flag 602001/1963891 296.87/295.08 c cleaning 17006 clauses out of 34015 with flag 619000/1980890 299.48/297.66 c cleaning 16994 clauses out of 34010 with flag 636001/1997891 302.20/300.35 c cleaning 16998 clauses out of 34017 with flag 653002/2014892 304.40/302.57 c cleaning 17002 clauses out of 34018 with flag 670001/2031891 306.71/304.84 c cleaning 17000 clauses out of 34015 with flag 687000/2048890 308.99/307.17 c cleaning 16998 clauses out of 34017 with flag 704002/2065892 311.60/309.73 c cleaning 17005 clauses out of 34017 with flag 721000/2082890 314.32/312.42 c cleaning 16997 clauses out of 34013 with flag 738001/2099891 316.63/314.77 c cleaning 17001 clauses out of 34015 with flag 755000/2116890 319.12/317.29 c cleaning 17002 clauses out of 34014 with flag 772000/2133890 321.82/319.92 c cleaning 17001 clauses out of 34013 with flag 789001/2150891 324.23/322.39 c cleaning 17003 clauses out of 34012 with flag 806001/2167891 326.82/324.94 c cleaning 16998 clauses out of 34008 with flag 823000/2184890 329.43/327.58 c cleaning 16999 clauses out of 34010 with flag 840000/2201890 332.23/330.34 c cleaning 17003 clauses out of 34011 with flag 857000/2218890 334.74/332.87 c cleaning 16986 clauses out of 34008 with flag 874000/2235890 337.46/335.57 c cleaning 17005 clauses out of 34023 with flag 891001/2252891 340.04/338.17 c cleaning 16992 clauses out of 34017 with flag 908000/2269890 342.75/340.80 c cleaning 17008 clauses out of 34026 with flag 925001/2286891 345.55/343.60 c cleaning 16991 clauses out of 34018 with flag 942001/2303891 347.95/346.03 c cleaning 17004 clauses out of 34026 with flag 959000/2320890 350.56/348.64 c cleaning 17000 clauses out of 34022 with flag 976000/2337890 353.26/351.40 c cleaning 16996 clauses out of 34022 with flag 993000/2354890 355.86/353.90 c cleaning 17002 clauses out of 34027 with flag 1010001/2371891 358.57/356.69 c cleaning 17006 clauses out of 34024 with flag 1027000/2388890 361.17/359.28 c cleaning 16997 clauses out of 34018 with flag 1044000/2405890 364.07/362.12 c cleaning 16993 clauses out of 34021 with flag 1061000/2422890 366.88/364.98 c cleaning 17006 clauses out of 34028 with flag 1078000/2439890 369.50/367.57 c cleaning 17008 clauses out of 34023 with flag 1095001/2456891 371.88/369.99 c cleaning 17005 clauses out of 34015 with flag 1112001/2473891 374.59/372.66 c cleaning 16999 clauses out of 34009 with flag 1129000/2490890 377.39/375.41 c cleaning 16998 clauses out of 34010 with flag 1146000/2507890 380.09/378.18 c cleaning 16999 clauses out of 34013 with flag 1163001/2524891 382.90/380.99 c cleaning 17002 clauses out of 34013 with flag 1180000/2541890 385.60/383.66 c cleaning 16997 clauses out of 34011 with flag 1197000/2558890 388.40/386.46 c cleaning 16997 clauses out of 34014 with flag 1214000/2575890 391.31/389.35 c cleaning 17006 clauses out of 34018 with flag 1231001/2592891 394.01/392.07 c cleaning 16999 clauses out of 34012 with flag 1248001/2609891 396.82/394.87 c cleaning 17004 clauses out of 34012 with flag 1265000/2626890 399.82/397.83 c cleaning 17000 clauses out of 34009 with flag 1282001/2643891 402.72/400.76 c cleaning 17005 clauses out of 34009 with flag 1299001/2660891 406.03/404.00 c cleaning 16997 clauses out of 34003 with flag 1316000/2677890 408.63/406.68 c cleaning 16993 clauses out of 34006 with flag 1333000/2694890 411.36/409.34 c cleaning 17003 clauses out of 34013 with flag 1350000/2711890 413.85/411.89 c cleaning 17002 clauses out of 34010 with flag 1367000/2728890 416.55/414.54 c cleaning 16996 clauses out of 34009 with flag 1384001/2745891 419.46/417.43 c cleaning 17006 clauses out of 34013 with flag 1401001/2762891 422.06/420.05 c cleaning 16990 clauses out of 34006 with flag 1418000/2779890 424.76/422.72 c cleaning 16999 clauses out of 34016 with flag 1435000/2796890 427.57/425.51 c cleaning 17005 clauses out of 34017 with flag 1452000/2813890 430.47/428.41 c cleaning 17001 clauses out of 34013 with flag 1469001/2830891 433.29/431.22 c cleaning 16995 clauses out of 34011 with flag 1486000/2847890 436.18/434.10 c cleaning 16998 clauses out of 34016 with flag 1503000/2864890 439.18/437.19 c cleaning 17002 clauses out of 34018 with flag 1520000/2881890 442.59/440.53 c cleaning 17007 clauses out of 34016 with flag 1537000/2898890 445.29/443.27 c cleaning 17003 clauses out of 34010 with flag 1554001/2915891 447.90/445.83 c cleaning 16999 clauses out of 34007 with flag 1571001/2932891 450.50/448.48 c cleaning 16998 clauses out of 34008 with flag 1588001/2949891 453.40/451.31 c cleaning 17000 clauses out of 34010 with flag 1605001/2966891 456.20/454.11 c cleaning 17004 clauses out of 34010 with flag 1622001/2983891 459.01/456.92 c cleaning 16995 clauses out of 34006 with flag 1639001/3000891 461.81/459.70 c cleaning 17000 clauses out of 34010 with flag 1656000/3017890 463.91/461.82 c cleaning 16995 clauses out of 34010 with flag 1673000/3034890 466.12/464.07 c cleaning 16999 clauses out of 34015 with flag 1690000/3051890 468.42/466.35 c cleaning 17003 clauses out of 34016 with flag 1707000/3068890 470.74/468.65 c cleaning 17001 clauses out of 34013 with flag 1724000/3085890 473.24/471.19 c cleaning 16996 clauses out of 34013 with flag 1741001/3102891 475.64/473.55 c cleaning 16995 clauses out of 34016 with flag 1758000/3119890 478.14/476.07 c cleaning 17007 clauses out of 34021 with flag 1775000/3136890 480.66/478.52 c cleaning 17000 clauses out of 34014 with flag 1792000/3153890 483.36/481.29 c cleaning 17001 clauses out of 34014 with flag 1809000/3170890 486.37/484.20 c cleaning 16997 clauses out of 34013 with flag 1826000/3187890 489.17/487.00 c cleaning 17001 clauses out of 34016 with flag 1843000/3204890 491.69/489.53 c cleaning 17000 clauses out of 34016 with flag 1860001/3221891 494.19/492.00 c cleaning 16997 clauses out of 34015 with flag 1877000/3238890 496.79/494.62 c cleaning 17003 clauses out of 34019 with flag 1894001/3255891 499.30/497.10 c cleaning 16996 clauses out of 34016 with flag 1911001/3272891 501.90/499.72 c cleaning 17005 clauses out of 34019 with flag 1928000/3289890 504.51/502.37 c cleaning 17001 clauses out of 34015 with flag 1945001/3306891 507.01/504.82 c cleaning 16996 clauses out of 34014 with flag 1962001/3323891 509.51/507.36 c cleaning 17002 clauses out of 34018 with flag 1979001/3340891 512.12/509.98 c cleaning 17002 clauses out of 34016 with flag 1996001/3357891 514.94/512.74 c cleaning 16999 clauses out of 34013 with flag 2013000/3374890 517.63/515.45 c cleaning 17002 clauses out of 34014 with flag 2030000/3391890 520.34/518.13 c cleaning 16997 clauses out of 34013 with flag 2047001/3408891 523.13/520.91 c cleaning 17001 clauses out of 34015 with flag 2064000/3425890 526.04/523.83 c cleaning 17000 clauses out of 34014 with flag 2081000/3442890 528.64/526.45 c cleaning 17002 clauses out of 34014 with flag 2098000/3459890 531.04/528.87 c cleaning 17002 clauses out of 34013 with flag 2115001/3476891 533.56/531.33 c cleaning 16996 clauses out of 34010 with flag 2132000/3493890 536.15/533.98 c cleaning 17000 clauses out of 34014 with flag 2149000/3510890 538.85/536.64 c cleaning 17002 clauses out of 34014 with flag 2166000/3527890 541.45/539.21 c cleaning 16998 clauses out of 34012 with flag 2183000/3544890 543.95/541.77 c cleaning 16997 clauses out of 34014 with flag 2200000/3561890 546.55/544.36 c cleaning 16999 clauses out of 34017 with flag 2217000/3578890 549.25/547.05 c cleaning 17005 clauses out of 34019 with flag 2234001/3595891 551.86/549.68 c cleaning 16997 clauses out of 34013 with flag 2251000/3612890 554.47/552.29 c cleaning 16996 clauses out of 34016 with flag 2268000/3629890 557.26/555.00 c cleaning 17000 clauses out of 34020 with flag 2285000/3646890 559.87/557.69 c cleaning 16997 clauses out of 34021 with flag 2302001/3663891 562.57/560.31 c cleaning 17002 clauses out of 34023 with flag 2319000/3680890 564.97/562.77 c cleaning 16997 clauses out of 34021 with flag 2336000/3697890 567.69/565.49 c cleaning 17003 clauses out of 34024 with flag 2353000/3714890 570.28/568.04 c cleaning 17004 clauses out of 34021 with flag 2370000/3731890 572.88/570.65 c cleaning 17000 clauses out of 34017 with flag 2387000/3748890 575.59/573.30 c cleaning 16997 clauses out of 34018 with flag 2404001/3765891 578.29/576.01 c cleaning 17002 clauses out of 34020 with flag 2421000/3782890 580.91/578.70 c cleaning 16997 clauses out of 34019 with flag 2438001/3799891 583.80/581.52 c cleaning 17000 clauses out of 34022 with flag 2455001/3816891 586.60/584.39 c cleaning 17006 clauses out of 34021 with flag 2472000/3833890 589.61/587.31 c cleaning 16997 clauses out of 34015 with flag 2489000/3850890 592.41/590.12 c cleaning 17001 clauses out of 34018 with flag 2506000/3867890 595.11/592.86 c cleaning 17000 clauses out of 34017 with flag 2523000/3884890 597.91/595.66 c cleaning 17009 clauses out of 34017 with flag 2540000/3901890 600.62/598.35 c cleaning 17002 clauses out of 34009 with flag 2557001/3918891 603.42/601.10 c cleaning 16997 clauses out of 34007 with flag 2574001/3935891 606.24/603.92 c cleaning 16996 clauses out of 34009 with flag 2591000/3952890 609.02/606.70 c cleaning 16999 clauses out of 34013 with flag 2608000/3969890 611.75/609.50 c cleaning 17006 clauses out of 34016 with flag 2625002/3986892 614.54/612.27 c cleaning 16997 clauses out of 34008 with flag 2642000/4003890 617.26/614.95 c cleaning 16993 clauses out of 34011 with flag 2659000/4020890 619.85/617.50 c cleaning 16997 clauses out of 34018 with flag 2676000/4037890 622.36/620.01 c cleaning 17001 clauses out of 34022 with flag 2693001/4054891 624.86/622.56 c cleaning 17003 clauses out of 34021 with flag 2710001/4071891 627.67/625.31 c cleaning 16996 clauses out of 34017 with flag 2727000/4088890 630.37/628.10 c cleaning 17005 clauses out of 34021 with flag 2744000/4105890 632.97/630.67 c cleaning 16999 clauses out of 34016 with flag 2761000/4122890 635.78/633.47 c cleaning 16991 clauses out of 34017 with flag 2778000/4139890 638.38/636.04 c cleaning 16999 clauses out of 34027 with flag 2795001/4156891 640.98/638.64 c cleaning 17005 clauses out of 34027 with flag 2812000/4173890 643.58/641.28 c cleaning 17001 clauses out of 34022 with flag 2829000/4190890 646.49/644.13 c cleaning 16996 clauses out of 34022 with flag 2846001/4207891 649.09/646.77 c cleaning 16994 clauses out of 34025 with flag 2863000/4224890 651.89/649.53 c cleaning 17003 clauses out of 34031 with flag 2880000/4241890 654.70/652.33 c cleaning 17006 clauses out of 34028 with flag 2897000/4258890 657.29/655.00 c cleaning 16996 clauses out of 34022 with flag 2914000/4275890 659.99/657.65 c cleaning 17000 clauses out of 34026 with flag 2931000/4292890 662.89/660.51 c cleaning 17001 clauses out of 34026 with flag 2948000/4309890 665.39/663.04 c cleaning 17005 clauses out of 34025 with flag 2965000/4326890 668.19/665.85 c cleaning 17005 clauses out of 34020 with flag 2982000/4343890 671.00/668.67 c cleaning 16994 clauses out of 34016 with flag 2999001/4360891 673.80/671.48 c cleaning 16996 clauses out of 34021 with flag 3016000/4377890 676.72/674.32 c cleaning 17010 clauses out of 34025 with flag 3033000/4394890 679.51/677.16 c cleaning 16995 clauses out of 34016 with flag 3050001/4411891 682.32/679.93 c cleaning 17000 clauses out of 34020 with flag 3067000/4428890 684.80/682.43 c cleaning 16995 clauses out of 34022 with flag 3084002/4445892 687.51/685.13 c cleaning 17006 clauses out of 34025 with flag 3101000/4462890 690.11/687.70 c cleaning 16997 clauses out of 34019 with flag 3118000/4479890 692.71/690.31 c cleaning 17007 clauses out of 34022 with flag 3135000/4496890 695.53/693.13 c cleaning 16997 clauses out of 34015 with flag 3152000/4513890 697.51/695.19 c cleaning 16997 clauses out of 34018 with flag 3169000/4530890 699.94/697.52 c cleaning 17002 clauses out of 34021 with flag 3186000/4547890 702.22/699.81 c cleaning 16995 clauses out of 34020 with flag 3203001/4564891 704.53/702.16 c cleaning 17002 clauses out of 34024 with flag 3220000/4581890 707.14/704.74 c cleaning 17008 clauses out of 34022 with flag 3237000/4598890 709.64/707.26 c cleaning 16998 clauses out of 34016 with flag 3254002/4615892 712.35/709.96 c cleaning 16999 clauses out of 34016 with flag 3271000/4632890 714.86/712.50 c cleaning 16997 clauses out of 34017 with flag 3288000/4649890 717.37/714.98 c cleaning 17004 clauses out of 34021 with flag 3305001/4666891 720.07/717.64 c cleaning 16999 clauses out of 34016 with flag 3322000/4683890 722.68/720.23 c cleaning 16999 clauses out of 34017 with flag 3339000/4700890 725.08/722.62 c cleaning 17001 clauses out of 34018 with flag 3356000/4717890 727.69/725.20 c cleaning 16991 clauses out of 34017 with flag 3373000/4734890 730.09/727.66 c cleaning 17004 clauses out of 34026 with flag 3390000/4751890 732.69/730.22 c cleaning 17005 clauses out of 34022 with flag 3407000/4768890 735.29/732.84 c cleaning 16999 clauses out of 34017 with flag 3424000/4785890 737.99/735.55 c cleaning 16997 clauses out of 34018 with flag 3441000/4802890 740.40/737.94 c cleaning 17007 clauses out of 34021 with flag 3458000/4819890 743.00/740.51 c cleaning 16997 clauses out of 34014 with flag 3475000/4836890 745.61/743.12 c cleaning 17005 clauses out of 34019 with flag 3492002/4853892 748.11/745.63 c cleaning 16997 clauses out of 34012 with flag 3509000/4870890 750.53/748.10 c cleaning 16999 clauses out of 34015 with flag 3526000/4887890 753.02/750.59 c cleaning 16993 clauses out of 34016 with flag 3543000/4904890 755.52/753.09 c cleaning 17007 clauses out of 34024 with flag 3560001/4921891 758.24/755.75 c cleaning 17001 clauses out of 34016 with flag 3577000/4938890 760.82/758.38 c cleaning 16995 clauses out of 34015 with flag 3594000/4955890 763.42/760.90 c cleaning 17003 clauses out of 34021 with flag 3611001/4972891 766.13/763.62 c cleaning 16999 clauses out of 34019 with flag 3628002/4989892 768.63/766.16 c cleaning 16993 clauses out of 34019 with flag 3645001/5006891 771.45/768.93 c cleaning 17008 clauses out of 34026 with flag 3662001/5023891 774.03/771.52 c cleaning 16999 clauses out of 34017 with flag 3679000/5040890 776.64/774.19 c cleaning 16996 clauses out of 34019 with flag 3696001/5057891 779.44/776.96 c cleaning 16996 clauses out of 34022 with flag 3713000/5074890 782.14/779.61 c cleaning 17008 clauses out of 34027 with flag 3730001/5091891 784.84/782.30 c cleaning 17001 clauses out of 34019 with flag 3747001/5108891 787.54/785.09 c cleaning 16999 clauses out of 34017 with flag 3764000/5125890 790.44/787.99 c cleaning 16993 clauses out of 34018 with flag 3781000/5142890 793.24/790.72 c cleaning 16998 clauses out of 34025 with flag 3798000/5159890 795.76/793.23 c cleaning 17007 clauses out of 34028 with flag 3815001/5176891 798.04/795.57 c cleaning 17000 clauses out of 34020 with flag 3832000/5193890 800.55/798.09 c cleaning 17001 clauses out of 34020 with flag 3849000/5210890 803.15/800.61 c cleaning 17001 clauses out of 34019 with flag 3866000/5227890 805.75/803.25 c cleaning 17006 clauses out of 34019 with flag 3883001/5244891 808.35/805.88 c cleaning 16996 clauses out of 34013 with flag 3900001/5261891 810.95/808.47 c cleaning 17002 clauses out of 34016 with flag 3917000/5278890 813.66/811.14 c cleaning 16995 clauses out of 34014 with flag 3934000/5295890 816.26/813.77 c cleaning 16995 clauses out of 34019 with flag 3951000/5312890 818.77/816.30 c cleaning 17004 clauses out of 34024 with flag 3968000/5329890 821.56/819.00 c cleaning 16998 clauses out of 34020 with flag 3985000/5346890 824.38/821.83 c cleaning 17004 clauses out of 34022 with flag 4002000/5363890 826.96/824.45 c cleaning 17003 clauses out of 34018 with flag 4019000/5380890 829.46/826.93 c cleaning 17002 clauses out of 34015 with flag 4036000/5397890 832.17/829.65 c cleaning 16991 clauses out of 34014 with flag 4053001/5414891 834.78/832.28 c cleaning 16999 clauses out of 34022 with flag 4070000/5431890 837.50/834.97 c cleaning 17002 clauses out of 34023 with flag 4087000/5448890 840.08/837.59 c cleaning 16998 clauses out of 34021 with flag 4104000/5465890 842.79/840.25 c cleaning 17003 clauses out of 34025 with flag 4121002/5482892 845.49/842.91 c cleaning 17003 clauses out of 34020 with flag 4138000/5499890 847.90/845.38 c cleaning 17004 clauses out of 34017 with flag 4155000/5516890 850.40/847.86 c cleaning 16998 clauses out of 34013 with flag 4172000/5533890 853.11/850.50 c cleaning 17003 clauses out of 34016 with flag 4189001/5550891 855.51/852.98 c cleaning 16994 clauses out of 34012 with flag 4206000/5567890 858.21/855.65 c cleaning 17000 clauses out of 34018 with flag 4223000/5584890 860.81/858.24 c cleaning 17002 clauses out of 34018 with flag 4240000/5601890 863.52/860.91 c cleaning 16997 clauses out of 34017 with flag 4257001/5618891 866.14/863.61 c cleaning 17010 clauses out of 34019 with flag 4274000/5635890 868.73/866.13 c cleaning 16995 clauses out of 34010 with flag 4291001/5652891 871.44/868.81 c cleaning 16998 clauses out of 34014 with flag 4308000/5669890 873.96/871.38 c cleaning 16994 clauses out of 34016 with flag 4325000/5686890 876.55/873.95 c cleaning 17002 clauses out of 34022 with flag 4342000/5703890 879.25/876.61 c cleaning 17001 clauses out of 34021 with flag 4359001/5720891 881.75/879.16 c cleaning 17008 clauses out of 34021 with flag 4376002/5737892 884.45/881.88 c cleaning 16999 clauses out of 34012 with flag 4393001/5754891 887.17/884.52 c cleaning 17000 clauses out of 34012 with flag 4410000/5771890 889.75/887.16 c cleaning 17001 clauses out of 34012 with flag 4427000/5788890 892.57/890.01 c cleaning 17001 clauses out of 34011 with flag 4444000/5805890 895.56/892.97 c cleaning 16993 clauses out of 34010 with flag 4461000/5822890 898.46/895.88 c cleaning 17005 clauses out of 34017 with flag 4478000/5839890 901.38/898.78 c cleaning 16997 clauses out of 34012 with flag 4495000/5856890 903.97/901.35 c cleaning 17004 clauses out of 34017 with flag 4512002/5873892 906.67/904.06 c cleaning 16998 clauses out of 34013 with flag 4529002/5890892 909.37/906.74 c cleaning 17002 clauses out of 34013 with flag 4546000/5907890 912.07/909.40 c cleaning 16999 clauses out of 34011 with flag 4563000/5924890 914.69/912.08 c cleaning 16994 clauses out of 34012 with flag 4580000/5941890 917.48/914.84 c cleaning 16995 clauses out of 34018 with flag 4597000/5958890 920.28/917.64 c cleaning 17006 clauses out of 34025 with flag 4614002/5975892 923.18/920.51 c cleaning 17004 clauses out of 34018 with flag 4631001/5992891 925.98/923.32 c cleaning 16998 clauses out of 34013 with flag 4648000/6009890 928.48/925.82 c cleaning 17005 clauses out of 34015 with flag 4665000/6026890 931.10/928.48 c cleaning 17003 clauses out of 34011 with flag 4682001/6043891 933.69/931.04 c cleaning 16997 clauses out of 34007 with flag 4699000/6060890 936.30/933.63 c cleaning 17004 clauses out of 34010 with flag 4716000/6077890 939.00/936.37 c cleaning 16989 clauses out of 34006 with flag 4733000/6094890 941.60/938.98 c cleaning 17001 clauses out of 34017 with flag 4750000/6111890 944.20/941.57 c cleaning 17004 clauses out of 34016 with flag 4767000/6128890 946.80/944.14 c cleaning 17000 clauses out of 34013 with flag 4784001/6145891 949.51/946.86 c cleaning 16993 clauses out of 34012 with flag 4801000/6162890 952.41/949.74 c cleaning 17004 clauses out of 34019 with flag 4818000/6179890 955.33/952.71 c cleaning 16995 clauses out of 34016 with flag 4835001/6196891 958.42/955.75 c cleaning 17002 clauses out of 34020 with flag 4852000/6213890 961.42/958.79 c cleaning 17002 clauses out of 34019 with flag 4869001/6230891 964.72/962.06 c cleaning 16999 clauses out of 34017 with flag 4886001/6247891 967.33/964.62 c cleaning 16999 clauses out of 34018 with flag 4903001/6264891 969.83/967.15 c cleaning 16996 clauses out of 34018 with flag 4920000/6281890 972.53/969.82 c cleaning 17006 clauses out of 34023 with flag 4937001/6298891 975.25/972.54 c cleaning 16987 clauses out of 34016 with flag 4954000/6315890 977.93/975.22 c cleaning 17008 clauses out of 34029 with flag 4971000/6332890 980.65/977.94 c cleaning 16996 clauses out of 34022 with flag 4988001/6349891 983.44/980.75 c cleaning 17007 clauses out of 34026 with flag 5005001/6366891 986.04/983.40 c cleaning 17006 clauses out of 34019 with flag 5022001/6383891 988.84/986.11 c cleaning 16995 clauses out of 34013 with flag 5039001/6400891 991.54/988.87 c cleaning 17002 clauses out of 34017 with flag 5056000/6417890 994.34/991.63 c cleaning 17004 clauses out of 34015 with flag 5073000/6434890 997.05/994.31 c cleaning 16994 clauses out of 34011 with flag 5090000/6451890 999.75/997.09 c cleaning 16996 clauses out of 34017 with flag 5107000/6468890 1002.67/999.99 c cleaning 17005 clauses out of 34022 with flag 5124001/6485891 1005.36/1002.68 c cleaning 16997 clauses out of 34017 with flag 5141001/6502891 1008.06/1005.41 c cleaning 16998 clauses out of 34021 with flag 5158002/6519892 1010.76/1008.02 c cleaning 17001 clauses out of 34021 with flag 5175000/6536890 1013.36/1010.69 c cleaning 17000 clauses out of 34022 with flag 5192002/6553892 1016.16/1013.42 c cleaning 17003 clauses out of 34020 with flag 5209000/6570890 1018.97/1016.26 c cleaning 16998 clauses out of 34018 with flag 5226001/6587891 1021.77/1019.08 c cleaning 17000 clauses out of 34020 with flag 5243001/6604891 1024.57/1021.91 c cleaning 17008 clauses out of 34019 with flag 5260000/6621890 1027.27/1024.51 c cleaning 16997 clauses out of 34011 with flag 5277000/6638890 1029.97/1027.29 c cleaning 16997 clauses out of 34014 with flag 5294000/6655890 1032.68/1029.96 c cleaning 17002 clauses out of 34018 with flag 5311001/6672891 1035.48/1032.74 c cleaning 16998 clauses out of 34015 with flag 5328000/6689890 1038.28/1035.60 c cleaning 17001 clauses out of 34017 with flag 5345000/6706890 1041.09/1038.32 c cleaning 16999 clauses out of 34016 with flag 5362000/6723890 1043.79/1041.03 c cleaning 16992 clauses out of 34017 with flag 5379000/6740890 1046.50/1043.73 c cleaning 17006 clauses out of 34026 with flag 5396001/6757891 1048.60/1045.85 c cleaning 17000 clauses out of 34019 with flag 5413000/6774890 1050.80/1048.09 c cleaning 16998 clauses out of 34019 with flag 5430000/6791890 1053.12/1050.37 c cleaning 16998 clauses out of 34021 with flag 5447000/6808890 1055.43/1052.70 c cleaning 17005 clauses out of 34023 with flag 5464000/6825890 1058.25/1055.43 c cleaning 17001 clauses out of 34018 with flag 5481000/6842890 1060.55/1057.79 c cleaning 16997 clauses out of 34018 with flag 5498001/6859891 1063.16/1060.35 c cleaning 16999 clauses out of 34020 with flag 5515000/6876890 1065.66/1062.86 c cleaning 17003 clauses out of 34022 with flag 5532001/6893891 1068.17/1065.36 c cleaning 16999 clauses out of 34018 with flag 5549000/6910890 1070.77/1067.93 c cleaning 17007 clauses out of 34020 with flag 5566001/6927891 1073.29/1070.49 c cleaning 17001 clauses out of 34012 with flag 5583000/6944890 1075.68/1072.84 c cleaning 17000 clauses out of 34012 with flag 5600001/6961891 1078.19/1075.38 c cleaning 16991 clauses out of 34011 with flag 5617000/6978890 1080.91/1078.04 c cleaning 17000 clauses out of 34020 with flag 5634000/6995890 1083.60/1080.74 c cleaning 17000 clauses out of 34020 with flag 5651000/7012890 1086.30/1083.48 c cleaning 17000 clauses out of 34020 with flag 5668000/7029890 1089.11/1086.28 c cleaning 17005 clauses out of 34020 with flag 5685000/7046890 1091.41/1088.60 c cleaning 16996 clauses out of 34015 with flag 5702000/7063890 1094.23/1091.36 c cleaning 17005 clauses out of 34020 with flag 5719001/7080891 1096.92/1094.05 c cleaning 16999 clauses out of 34015 with flag 5736001/7097891 1099.74/1096.87 c cleaning 16993 clauses out of 34015 with flag 5753000/7114890 1102.42/1099.59 c cleaning 17007 clauses out of 34022 with flag 5770000/7131890 1105.03/1102.17 c cleaning 16989 clauses out of 34016 with flag 5787001/7148891 1107.73/1104.86 c cleaning 17003 clauses out of 34026 with flag 5804000/7165890 1110.44/1107.58 c cleaning 17003 clauses out of 34023 with flag 5821000/7182890 1113.14/1110.22 c cleaning 17005 clauses out of 34021 with flag 5838001/7199891 1115.44/1112.59 c cleaning 17000 clauses out of 34016 with flag 5855001/7216891 1117.94/1115.00 c cleaning 17001 clauses out of 34015 with flag 5872000/7233890 1120.56/1117.64 c cleaning 16994 clauses out of 34014 with flag 5889000/7250890 1123.14/1120.25 c cleaning 16992 clauses out of 34020 with flag 5906000/7267890 1125.65/1122.70 c cleaning 17006 clauses out of 34028 with flag 5923000/7284890 1128.15/1125.25 c cleaning 17003 clauses out of 34022 with flag 5940000/7301890 1130.75/1127.89 c cleaning 17001 clauses out of 34019 with flag 5957000/7318890 1133.46/1130.51 c cleaning 16995 clauses out of 34018 with flag 5974000/7335890 1135.97/1133.02 c cleaning 17007 clauses out of 34023 with flag 5991000/7352890 1138.45/1135.53 c cleaning 16987 clauses out of 34016 with flag 6008000/7369890 1141.16/1138.22 c cleaning 17009 clauses out of 34029 with flag 6025000/7386890 1143.87/1140.96 c cleaning 17001 clauses out of 34020 with flag 6042000/7403890 1146.58/1143.67 c cleaning 17003 clauses out of 34020 with flag 6059001/7420891 1148.98/1146.09 c cleaning 16999 clauses out of 34016 with flag 6076000/7437890 1151.68/1148.72 c cleaning 17001 clauses out of 34017 with flag 6093000/7454890 1154.28/1151.39 c cleaning 16992 clauses out of 34017 with flag 6110001/7471891 1156.90/1154.00 c cleaning 17001 clauses out of 34024 with flag 6127000/7488890 1159.69/1156.79 c cleaning 17001 clauses out of 34023 with flag 6144000/7505890 1162.40/1159.42 c cleaning 17006 clauses out of 34023 with flag 6161001/7522891 1164.89/1161.96 c cleaning 16997 clauses out of 34016 with flag 6178000/7539890 1167.50/1164.56 c cleaning 16996 clauses out of 34019 with flag 6195000/7556890 1170.11/1167.15 c cleaning 17000 clauses out of 34024 with flag 6212001/7573891 1172.70/1169.78 c cleaning 17004 clauses out of 34023 with flag 6229000/7590890 1175.50/1172.55 c cleaning 17002 clauses out of 34019 with flag 6246000/7607890 1178.00/1175.08 c cleaning 16995 clauses out of 34017 with flag 6263000/7624890 1180.50/1177.58 c cleaning 17005 clauses out of 34022 with flag 6280000/7641890 1183.21/1180.30 c cleaning 16996 clauses out of 34017 with flag 6297000/7658890 1186.13/1183.14 c cleaning 16993 clauses out of 34022 with flag 6314001/7675891 1188.73/1185.73 c cleaning 17008 clauses out of 34029 with flag 6331001/7692891 1191.43/1188.43 c cleaning 16991 clauses out of 34020 with flag 6348000/7709890 1194.03/1191.05 c cleaning 17003 clauses out of 34029 with flag 6365000/7726890 1196.73/1193.76 c cleaning 17005 clauses out of 34026 with flag 6382000/7743890 1199.33/1196.33 c cleaning 16999 clauses out of 34021 with flag 6399000/7760890 1201.84/1198.83 c cleaning 16999 clauses out of 34023 with flag 6416001/7777891 1204.36/1201.36 c cleaning 16996 clauses out of 34024 with flag 6433001/7794891 1206.84/1203.85 c cleaning 17001 clauses out of 34028 with flag 6450001/7811891 1209.45/1206.46 c cleaning 17000 clauses out of 34026 with flag 6467000/7828890 1211.97/1208.99 c cleaning 17004 clauses out of 34026 with flag 6484000/7845890 1214.65/1211.66 c cleaning 17004 clauses out of 34022 with flag 6501000/7862890 1217.25/1214.25 c cleaning 16998 clauses out of 34018 with flag 6518000/7879890 1219.86/1216.88 c cleaning 17003 clauses out of 34020 with flag 6535000/7896890 1222.66/1219.62 c cleaning 17001 clauses out of 34018 with flag 6552001/7913891 1225.18/1222.15 c cleaning 16992 clauses out of 34017 with flag 6569001/7930891 1227.77/1224.77 c cleaning 17009 clauses out of 34024 with flag 6586000/7947890 1230.47/1227.41 c cleaning 16997 clauses out of 34015 with flag 6603000/7964890 1233.17/1230.11 c cleaning 17003 clauses out of 34018 with flag 6620000/7981890 1235.77/1232.78 c cleaning 17003 clauses out of 34016 with flag 6637001/7998891 1238.57/1235.55 c cleaning 16999 clauses out of 34013 with flag 6654001/8015891 1241.07/1238.10 c cleaning 17005 clauses out of 34016 with flag 6671003/8032893 1243.37/1240.37 c cleaning 16996 clauses out of 34008 with flag 6688000/8049890 1245.78/1242.71 c cleaning 17004 clauses out of 34013 with flag 6705001/8066891 1248.08/1245.07 c cleaning 16992 clauses out of 34010 with flag 6722002/8083892 1250.38/1247.38 c cleaning 16998 clauses out of 34016 with flag 6739000/8100890 1252.80/1249.78 c cleaning 16997 clauses out of 34018 with flag 6756000/8117890 1255.28/1252.20 c cleaning 17003 clauses out of 34021 with flag 6773000/8134890 1257.68/1254.62 c cleaning 16998 clauses out of 34018 with flag 6790000/8151890 1259.99/1256.98 c cleaning 16998 clauses out of 34020 with flag 6807000/8168890 1262.39/1259.38 c cleaning 16996 clauses out of 34023 with flag 6824001/8185891 1264.99/1261.97 c cleaning 17004 clauses out of 34026 with flag 6841000/8202890 1267.59/1264.51 c cleaning 17007 clauses out of 34023 with flag 6858001/8219891 1269.80/1266.75 c cleaning 16994 clauses out of 34016 with flag 6875001/8236891 1272.30/1269.23 c cleaning 16991 clauses out of 34021 with flag 6892000/8253890 1274.60/1271.53 c cleaning 17010 clauses out of 34031 with flag 6909001/8270891 1276.92/1273.87 c cleaning 16995 clauses out of 34021 with flag 6926001/8287891 1279.13/1276.08 c cleaning 17006 clauses out of 34025 with flag 6943000/8304890 1281.52/1278.41 c cleaning 16997 clauses out of 34019 with flag 6960000/8321890 1283.82/1280.71 c cleaning 16993 clauses out of 34022 with flag 6977000/8338890 1286.23/1283.12 c cleaning 17010 clauses out of 34031 with flag 6994002/8355892 1288.53/1285.48 c cleaning 17001 clauses out of 34019 with flag 7011000/8372890 1291.04/1287.94 c cleaning 16988 clauses out of 34018 with flag 7028000/8389890 1293.45/1290.40 c cleaning 17006 clauses out of 34030 with flag 7045000/8406890 1295.85/1292.70 c cleaning 17001 clauses out of 34024 with flag 7062000/8423890 1298.15/1295.09 c cleaning 17005 clauses out of 34023 with flag 7079000/8440890 1300.55/1297.45 c cleaning 16996 clauses out of 34018 with flag 7096000/8457890 1303.06/1299.94 c cleaning 16998 clauses out of 34022 with flag 7113000/8474890 1305.57/1302.48 c cleaning 17007 clauses out of 34024 with flag 7130000/8491890 1307.97/1304.85 c cleaning 16993 clauses out of 34017 with flag 7147000/8508890 1310.37/1307.24 c cleaning 17005 clauses out of 34024 with flag 7164000/8525890 1312.77/1309.66 c cleaning 16991 clauses out of 34020 with flag 7181001/8542891 1315.27/1312.15 c cleaning 17003 clauses out of 34028 with flag 7198000/8559890 1317.68/1314.59 c cleaning 16998 clauses out of 34025 with flag 7215000/8576890 1320.27/1317.16 c cleaning 17005 clauses out of 34028 with flag 7232001/8593891 1322.77/1319.65 c cleaning 17005 clauses out of 34022 with flag 7249000/8610890 1325.18/1322.04 c cleaning 17001 clauses out of 34018 with flag 7266001/8627891 1327.60/1324.50 c cleaning 16987 clauses out of 34016 with flag 7283000/8644890 1329.99/1326.85 c cleaning 17007 clauses out of 34030 with flag 7300001/8661891 1332.49/1329.32 c cleaning 16995 clauses out of 34022 with flag 7317000/8678890 1334.90/1331.74 c cleaning 17002 clauses out of 34027 with flag 7334000/8695890 1337.40/1334.20 c cleaning 17001 clauses out of 34025 with flag 7351000/8712890 1339.91/1336.71 c cleaning 17004 clauses out of 34025 with flag 7368001/8729891 1342.41/1339.29 c cleaning 17003 clauses out of 34021 with flag 7385001/8746891 1344.71/1341.57 c cleaning 16994 clauses out of 34017 with flag 7402000/8763890 1347.11/1343.98 c cleaning 17006 clauses out of 34024 with flag 7419001/8780891 1349.51/1346.41 c cleaning 16993 clauses out of 34018 with flag 7436001/8797891 1352.01/1348.81 c cleaning 17009 clauses out of 34024 with flag 7453000/8814890 1354.51/1351.34 c cleaning 16990 clauses out of 34015 with flag 7470000/8831890 1356.82/1353.69 c cleaning 17003 clauses out of 34025 with flag 7487000/8848890 1359.42/1356.20 c cleaning 16994 clauses out of 34023 with flag 7504001/8865891 1361.92/1358.70 c cleaning 17010 clauses out of 34028 with flag 7521000/8882890 1364.42/1361.21 c cleaning 16995 clauses out of 34018 with flag 7538000/8899890 1366.92/1363.75 c cleaning 16997 clauses out of 34023 with flag 7555000/8916890 1369.54/1366.34 c cleaning 17006 clauses out of 34028 with flag 7572002/8933892 1372.12/1368.90 c cleaning 16999 clauses out of 34020 with flag 7589000/8950890 1374.52/1371.32 c cleaning 16992 clauses out of 34021 with flag 7606000/8967890 1377.02/1373.84 c cleaning 17005 clauses out of 34029 with flag 7623000/8984890 1379.44/1376.22 c cleaning 17004 clauses out of 34025 with flag 7640001/9001891 1381.65/1378.44 c cleaning 16999 clauses out of 34020 with flag 7657000/9018890 1383.95/1380.79 c cleaning 17002 clauses out of 34021 with flag 7674000/9035890 1386.35/1383.10 c cleaning 16999 clauses out of 34019 with flag 7691000/9052890 1388.65/1385.42 c cleaning 17003 clauses out of 34020 with flag 7708000/9069890 1390.95/1387.78 c cleaning 16995 clauses out of 34017 with flag 7725000/9086890 1393.45/1390.21 c cleaning 16995 clauses out of 34023 with flag 7742001/9103891 1395.87/1392.71 c cleaning 17008 clauses out of 34027 with flag 7759000/9120890 1398.46/1395.24 c cleaning 16998 clauses out of 34020 with flag 7776001/9137891 1400.76/1397.51 c cleaning 17003 clauses out of 34021 with flag 7793000/9154890 1403.16/1399.93 c cleaning 17007 clauses out of 34019 with flag 7810001/9171891 1405.36/1402.16 c cleaning 16999 clauses out of 34011 with flag 7827000/9188890 1407.67/1404.46 c cleaning 16992 clauses out of 34012 with flag 7844000/9205890 1409.96/1406.76 c cleaning 16997 clauses out of 34020 with flag 7861000/9222890 1412.57/1409.36 c cleaning 17002 clauses out of 34024 with flag 7878001/9239891 1415.18/1411.90 c cleaning 17001 clauses out of 34022 with flag 7895001/9256891 1417.78/1414.50 c cleaning 16998 clauses out of 34020 with flag 7912000/9273890 1420.38/1417.10 c cleaning 16997 clauses out of 34022 with flag 7929000/9290890 1422.88/1419.64 c cleaning 17004 clauses out of 34025 with flag 7946000/9307890 1425.39/1422.14 c cleaning 16999 clauses out of 34021 with flag 7963000/9324890 1427.92/1424.62 c cleaning 17001 clauses out of 34022 with flag 7980000/9341890 1430.30/1427.04 c cleaning 16994 clauses out of 34022 with flag 7997001/9358891 1432.90/1429.64 c cleaning 17011 clauses out of 34027 with flag 8014000/9375890 1435.41/1432.19 c cleaning 16999 clauses out of 34016 with flag 8031000/9392890 1437.83/1434.57 c cleaning 16993 clauses out of 34017 with flag 8048000/9409890 1440.12/1436.88 c cleaning 17004 clauses out of 34025 with flag 8065001/9426891 1442.63/1439.31 c cleaning 16998 clauses out of 34020 with flag 8082000/9443890 1445.23/1441.94 c cleaning 17005 clauses out of 34022 with flag 8099000/9460890 1447.53/1444.26 c cleaning 16998 clauses out of 34018 with flag 8116001/9477891 1450.03/1446.72 c cleaning 16997 clauses out of 34019 with flag 8133000/9494890 1452.54/1449.20 c cleaning 17008 clauses out of 34023 with flag 8150001/9511891 1454.84/1451.55 c cleaning 16997 clauses out of 34014 with flag 8167000/9528890 1457.24/1453.91 c cleaning 17001 clauses out of 34017 with flag 8184000/9545890 1459.44/1456.17 c cleaning 16997 clauses out of 34017 with flag 8201001/9562891 1461.84/1458.60 c cleaning 17002 clauses out of 34019 with flag 8218000/9579890 1464.34/1461.03 c cleaning 17001 clauses out of 34017 with flag 8235000/9596890 1466.74/1463.45 c cleaning 17002 clauses out of 34017 with flag 8252001/9613891 1469.25/1465.93 c cleaning 16993 clauses out of 34014 with flag 8269000/9630890 1471.75/1468.50 c cleaning 17000 clauses out of 34021 with flag 8286000/9647890 1474.25/1470.94 c cleaning 17001 clauses out of 34021 with flag 8303000/9664890 1476.85/1473.56 c cleaning 16999 clauses out of 34020 with flag 8320000/9681890 1479.58/1476.26 c cleaning 17003 clauses out of 34021 with flag 8337000/9698890 1482.07/1478.79 c cleaning 16996 clauses out of 34018 with flag 8354000/9715890 1484.77/1481.49 c cleaning 17011 clauses out of 34022 with flag 8371000/9732890 1487.17/1483.91 c cleaning 17002 clauses out of 34011 with flag 8388000/9749890 1489.68/1486.32 c cleaning 16997 clauses out of 34009 with flag 8405000/9766890 1492.28/1488.91 c cleaning 17004 clauses out of 34012 with flag 8422000/9783890 1494.78/1491.43 c cleaning 16994 clauses out of 34008 with flag 8439000/9800890 1497.39/1494.08 c cleaning 17000 clauses out of 34015 with flag 8456001/9817891 1499.90/1496.51 c cleaning 17005 clauses out of 34015 with flag 8473001/9834891 1502.50/1499.12 c cleaning 16998 clauses out of 34009 with flag 8490000/9851890 1505.02/1501.68 c cleaning 16999 clauses out of 34011 with flag 8507000/9868890 1507.60/1504.27 c cleaning 17005 clauses out of 34012 with flag 8524000/9885890 1510.20/1506.84 c cleaning 17001 clauses out of 34008 with flag 8541001/9902891 1512.62/1509.28 c cleaning 16998 clauses out of 34006 with flag 8558000/9919890 1515.40/1512.03 c cleaning 16991 clauses out of 34008 with flag 8575000/9936890 1518.00/1514.70 c cleaning 17003 clauses out of 34017 with flag 8592000/9953890 1520.83/1517.47 c cleaning 16998 clauses out of 34014 with flag 8609000/9970890 1523.45/1520.09 c cleaning 16999 clauses out of 34016 with flag 8626000/9987890 1526.15/1522.75 c cleaning 17003 clauses out of 34018 with flag 8643001/10004891 1528.84/1525.40 c cleaning 17002 clauses out of 34015 with flag 8660001/10021891 1531.55/1528.11 c cleaning 17004 clauses out of 34013 with flag 8677001/10038891 1534.25/1530.81 c cleaning 16989 clauses out of 34008 with flag 8694000/10055890 1536.76/1533.41 c cleaning 16998 clauses out of 34019 with flag 8711000/10072890 1539.65/1536.26 c cleaning 17003 clauses out of 34022 with flag 8728001/10089891 1542.25/1538.85 c cleaning 17002 clauses out of 34018 with flag 8745000/10106890 1544.86/1541.46 c cleaning 16999 clauses out of 34017 with flag 8762001/10123891 1546.87/1543.44 c cleaning 16996 clauses out of 34017 with flag 8779000/10140890 1548.86/1545.49 c cleaning 17004 clauses out of 34022 with flag 8796001/10157891 1550.97/1547.56 c cleaning 17002 clauses out of 34018 with flag 8813001/10174891 1553.19/1549.71 c cleaning 17000 clauses out of 34015 with flag 8830000/10191890 1555.49/1552.04 c cleaning 17000 clauses out of 34015 with flag 8847000/10208890 1557.60/1554.16 c cleaning 16997 clauses out of 34015 with flag 8864000/10225890 1559.90/1556.51 c cleaning 17004 clauses out of 34018 with flag 8881000/10242890 1562.32/1558.86 c cleaning 17004 clauses out of 34015 with flag 8898001/10259891 1564.71/1561.26 c cleaning 16988 clauses out of 34010 with flag 8915000/10276890 1567.02/1563.55 c cleaning 17004 clauses out of 34023 with flag 8932001/10293891 1569.32/1565.84 c cleaning 16999 clauses out of 34018 with flag 8949000/10310890 1571.72/1568.24 c cleaning 16995 clauses out of 34020 with flag 8966001/10327891 1573.93/1570.48 c cleaning 17004 clauses out of 34024 with flag 8983000/10344890 1576.23/1572.79 c cleaning 17006 clauses out of 34020 with flag 9000000/10361890 1578.54/1575.07 c cleaning 17003 clauses out of 34015 with flag 9017001/10378891 1581.06/1577.57 c cleaning 17004 clauses out of 34011 with flag 9034000/10395890 1583.55/1580.04 c cleaning 17000 clauses out of 34007 with flag 9051000/10412890 1585.77/1582.27 c cleaning 17001 clauses out of 34007 with flag 9068000/10429890 1588.17/1584.61 c cleaning 16995 clauses out of 34007 with flag 9085001/10446891 1590.49/1586.90 c cleaning 16994 clauses out of 34011 with flag 9102000/10463890 1592.99/1589.41 c cleaning 17001 clauses out of 34017 with flag 9119000/10480890 1595.49/1591.90 c cleaning 17003 clauses out of 34016 with flag 9136000/10497890 1597.90/1594.32 c cleaning 16998 clauses out of 34013 with flag 9153000/10514890 1600.40/1596.83 c cleaning 16996 clauses out of 34015 with flag 9170000/10531890 1602.70/1599.12 c cleaning 17006 clauses out of 34019 with flag 9187000/10548890 1605.00/1601.42 c cleaning 16998 clauses out of 34013 with flag 9204000/10565890 1607.11/1603.51 c cleaning 16994 clauses out of 34016 with flag 9221001/10582891 1609.41/1605.81 c cleaning 17001 clauses out of 34022 with flag 9238001/10599891 1611.72/1608.12 c cleaning 17002 clauses out of 34020 with flag 9255000/10616890 1614.03/1610.49 c cleaning 17001 clauses out of 34019 with flag 9272001/10633891 1616.34/1612.74 c cleaning 17001 clauses out of 34017 with flag 9289000/10650890 1618.62/1615.02 c cleaning 16998 clauses out of 34016 with flag 9306000/10667890 1621.02/1617.44 c cleaning 16992 clauses out of 34018 with flag 9323000/10684890 1623.22/1619.67 c cleaning 16999 clauses out of 34027 with flag 9340001/10701891 1625.62/1622.08 c cleaning 17004 clauses out of 34027 with flag 9357000/10718890 1628.02/1624.45 c cleaning 17003 clauses out of 34023 with flag 9374000/10735890 1630.33/1626.76 c cleaning 17004 clauses out of 34021 with flag 9391001/10752891 1632.75/1629.19 c cleaning 16993 clauses out of 34017 with flag 9408001/10769891 1635.24/1631.60 c cleaning 17001 clauses out of 34023 with flag 9425000/10786890 1637.34/1633.77 c cleaning 17005 clauses out of 34023 with flag 9442001/10803891 1639.75/1636.14 c cleaning 16996 clauses out of 34019 with flag 9459002/10820892 1642.15/1638.55 c cleaning 17000 clauses out of 34022 with flag 9476001/10837891 1644.56/1640.90 c cleaning 16998 clauses out of 34021 with flag 9493000/10854890 1646.96/1643.33 c cleaning 17007 clauses out of 34024 with flag 9510001/10871891 1649.47/1645.80 c cleaning 16997 clauses out of 34016 with flag 9527000/10888890 1651.87/1648.23 c cleaning 16996 clauses out of 34019 with flag 9544000/10905890 1654.38/1650.74 c cleaning 17000 clauses out of 34023 with flag 9561000/10922890 1656.79/1653.11 c cleaning 16996 clauses out of 34024 with flag 9578001/10939891 1659.21/1655.56 c cleaning 17004 clauses out of 34027 with flag 9595000/10956890 1661.69/1658.04 c cleaning 17005 clauses out of 34023 with flag 9612000/10973890 1664.20/1660.59 c cleaning 16997 clauses out of 34019 with flag 9629001/10990891 1666.91/1663.26 c cleaning 16990 clauses out of 34022 with flag 9646001/11007891 1669.22/1665.54 c cleaning 17002 clauses out of 34031 with flag 9663000/11024890 1671.50/1667.89 c cleaning 17000 clauses out of 34029 with flag 9680000/11041890 1673.80/1670.17 c cleaning 17007 clauses out of 34029 with flag 9697000/11058890 1676.31/1672.63 c cleaning 16998 clauses out of 34022 with flag 9714000/11075890 1678.81/1675.14 c cleaning 17001 clauses out of 34024 with flag 9731000/11092890 1681.23/1677.61 c cleaning 16992 clauses out of 34023 with flag 9748000/11109890 1683.54/1679.87 c cleaning 17010 clauses out of 34031 with flag 9765000/11126890 1686.03/1682.32 c cleaning 16997 clauses out of 34021 with flag 9782000/11143890 1688.44/1684.73 c cleaning 16997 clauses out of 34024 with flag 9799000/11160890 1690.74/1687.06 c cleaning 17003 clauses out of 34028 with flag 9816001/11177891 1693.04/1689.38 c cleaning 16996 clauses out of 34024 with flag 9833000/11194890 1695.45/1691.79 c cleaning 17002 clauses out of 34028 with flag 9850000/11211890 1697.87/1694.19 c cleaning 17008 clauses out of 34026 with flag 9867000/11228890 1700.36/1696.63 c cleaning 16998 clauses out of 34018 with flag 9884000/11245890 1702.86/1699.18 c cleaning 16993 clauses out of 34020 with flag 9901000/11262890 1705.26/1701.50 c cleaning 17005 clauses out of 34027 with flag 9918000/11279890 1707.56/1703.89 c cleaning 17000 clauses out of 34022 with flag 9935000/11296890 1710.07/1706.36 c cleaning 16998 clauses out of 34023 with flag 9952001/11313891 1712.47/1708.74 c cleaning 17007 clauses out of 34026 with flag 9969002/11330892 1714.87/1711.19 c cleaning 17000 clauses out of 34017 with flag 9986000/11347890 1717.37/1713.65 c cleaning 16992 clauses out of 34017 with flag 10003000/11364890 1719.99/1716.24 c cleaning 17004 clauses out of 34025 with flag 10020000/11381890 1722.39/1718.67 c cleaning 16989 clauses out of 34021 with flag 10037000/11398890 1724.89/1721.16 c cleaning 17014 clauses out of 34032 with flag 10054000/11415890 1727.39/1723.71 c cleaning 16999 clauses out of 34019 with flag 10071001/11432891 1729.99/1726.26 c cleaning 16986 clauses out of 34019 with flag 10088000/11449890 1732.50/1728.76 c cleaning 17012 clauses out of 34033 with flag 10105000/11466890 1735.10/1731.30 c cleaning 16987 clauses out of 34021 with flag 10122000/11483890 1737.60/1733.81 c cleaning 17007 clauses out of 34034 with flag 10139000/11500890 1739.90/1736.12 c cleaning 17001 clauses out of 34029 with flag 10156002/11517892 1742.21/1738.44 c cleaning 17007 clauses out of 34028 with flag 10173002/11534892 1744.61/1740.88 c cleaning 16997 clauses out of 34019 with flag 10190000/11551890 1747.12/1743.38 c cleaning 17001 clauses out of 34022 with flag 10207000/11568890 1749.64/1745.90 c cleaning 16998 clauses out of 34021 with flag 10224000/11585890 1752.12/1748.31 c cleaning 16989 clauses out of 34023 with flag 10241000/11602890 1754.52/1750.78 c cleaning 17000 clauses out of 34034 with flag 10258000/11619890 1756.73/1752.98 c cleaning 17003 clauses out of 34035 with flag 10275001/11636891 1759.13/1755.37 c cleaning 17010 clauses out of 34032 with flag 10292001/11653891 1761.54/1757.79 c cleaning 16996 clauses out of 34021 with flag 10309000/11670890 1763.73/1759.97 c cleaning 17009 clauses out of 34026 with flag 10326001/11687891 1766.16/1762.39 c cleaning 16997 clauses out of 34016 with flag 10343000/11704890 1768.54/1764.77 c cleaning 17002 clauses out of 34019 with flag 10360000/11721890 1771.04/1767.22 c cleaning 17002 clauses out of 34018 with flag 10377001/11738891 1773.44/1769.60 c cleaning 16995 clauses out of 34015 with flag 10394000/11755890 1775.96/1772.18 c cleaning 17003 clauses out of 34020 with flag 10411000/11772890 1778.27/1774.47 c cleaning 17003 clauses out of 34018 with flag 10428001/11789891 1780.66/1776.87 c cleaning 16999 clauses out of 34014 with flag 10445000/11806890 1783.16/1779.33 c cleaning 16984 clauses out of 34015 with flag 10462000/11823890 1785.66/1781.85 c cleaning 17010 clauses out of 34031 with flag 10479000/11840890 1788.08/1784.22 c cleaning 17005 clauses out of 34021 with flag 10496000/11857890 1790.48/1786.63 c cleaning 16992 clauses out of 34016 with flag 10513000/11874890 1792.89/1789.03 c cleaning 17005 clauses out of 34025 with flag 10530001/11891891 1795.29/1791.49 c cleaning 16991 clauses out of 34019 with flag 10547000/11908890 1798.01/1794.17 c cleaning 17008 clauses out of 34028 with flag 10564000/11925890 1800.01/1796.12 c starts : 332 1800.01/1796.12 c conflicts : 11940270 1800.01/1796.12 c decisions : 13549104 1800.01/1796.12 c propagations : 68872909 1800.01/1796.12 c inspects : 7220330038 1800.01/1796.12 c shortcuts : 0 1800.01/1796.12 c learnt literals : 0 1800.01/1796.12 c learnt binary clauses : 0 1800.01/1796.12 c learnt ternary clauses : 0 1800.01/1796.12 c learnt constraints : 11940270 1800.01/1796.12 c ignored constraints : 0 1800.01/1796.12 c root simplifications : 0 1800.01/1796.12 c removed literals (reason simplification) : 144467083 1800.01/1796.12 c reason swapping (by a shorter reason) : 0 1800.01/1796.12 c Calls to reduceDB : 720 1800.01/1796.12 c number of reductions to clauses (during analyze) : 0 1800.01/1796.12 c number of learned constraints concerned by reduction : 0 1800.01/1796.12 c number of learning phase by resolution : 0 1800.01/1796.12 c number of learning phase by cutting planes : 0 1800.01/1796.12 c speed (assignments/second) : 43131.920338026684 1800.01/1796.12 c non guided choices 0 1800.01/1796.14 c learnt constraints type 1800.01/1796.14 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31475 1800.01/1796.14 c constraints type 1800.01/1796.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7835 1800.01/1796.14 c org.sat4j.minisat.constraints.cnf.UnitClauses => 500 1800.01/1796.14 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.01/1796.14 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7835 1800.01/1796.14 s SATISFIABLE 1800.01/1796.14 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 1800.01/1796.14 c objective function=-64 1800.01/1796.14 c Total wall clock time (in seconds): 1796.024
OK -64
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458399-1307160508/watcher-3458399-1307160508 -o /tmp/evaluation-result-3458399-1307160508/solver-3458399-1307160508 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458399-1307160508.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.03 2.00 2/516 16491 /proc/meminfo: memFree=28514656/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 3790 0 1 0 0 0 0 0 25 0 2 0 827650442 13850947584 3491 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3381579 3505 917 9 0 3372735 0 [pid=16491/tid=16492] ppid=16489 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 5144 0 1 0 0 0 0 0 25 0 2 0 827650442 13850947584 5962 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 0 0 0 0 [startup+0.0389499 s] /proc/loadavg: 2.02 2.03 2.00 2/516 16491 /proc/meminfo: memFree=28514656/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13537012 CPUtime=0.02 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 13288 0 1 0 1 1 0 0 25 0 10 0 827650442 13861900288 12986 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3384253 12986 1515 9 0 3375001 0 [pid=16491/tid=16492] ppid=16489 vsize=13537012 CPUtime=0.02 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 12164 0 1 0 1 1 0 0 25 0 10 0 827650442 13861900288 12986 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658973131 0 4 0 16784584 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13537012 [startup+0.110995 s] /proc/loadavg: 2.02 2.03 2.00 2/516 16491 /proc/meminfo: memFree=28514656/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13621624 CPUtime=0.11 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 15470 0 1 0 9 2 0 0 25 0 18 0 827650442 13948542976 15166 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3405406 15166 2092 9 0 3396140 0 [pid=16491/tid=16492] ppid=16489 vsize=13621624 CPUtime=0.09 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 13684 0 1 0 8 1 0 0 18 0 18 0 827650442 13948542976 15167 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658975099 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13621624 [startup+0.333122 s] /proc/loadavg: 2.02 2.03 2.00 2/516 16491 /proc/meminfo: memFree=28514656/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13623896 CPUtime=0.54 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 18249 0 1 0 52 2 0 0 25 0 18 0 827650442 13950869504 17712 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3405974 17712 2219 9 0 3396708 0 [pid=16491/tid=16492] ppid=16489 vsize=13623896 CPUtime=0.31 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 15471 0 1 0 29 2 0 0 18 0 18 0 827650442 13950869504 17712 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912505181424 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 13623896 [startup+0.754813 s] /proc/loadavg: 2.02 2.03 2.00 2/516 16491 /proc/meminfo: memFree=28514656/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13630624 CPUtime=1.27 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 27021 0 1 0 121 6 0 0 25 0 18 0 827650442 13957758976 24617 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3407656 24618 2224 9 0 3398390 0 [pid=16491/tid=16492] ppid=16489 vsize=13630624 CPUtime=0.73 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 18195 0 1 0 69 4 0 0 18 0 18 0 827650442 13957758976 24619 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 13630624 [startup+1.50077 s] /proc/loadavg: 2.02 2.03 2.00 3/535 16510 /proc/meminfo: memFree=28409848/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13631936 CPUtime=2.6 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 32821 0 1 0 254 6 0 0 25 0 19 0 827650442 13959102464 29860 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3407984 29861 2242 9 0 3398718 0 [pid=16491/tid=16492] ppid=16489 vsize=13631936 CPUtime=1.48 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 23121 0 1 0 143 5 0 0 19 0 19 0 827650442 13959102464 29861 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912506028171 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16491/tid=16494] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16494/stat : 16494 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29861 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16495] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16495/stat : 16495 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29861 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16496] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16496/stat : 16496 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29861 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16497] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16497/stat : 16497 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29861 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16498] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16498/stat : 16498 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29861 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16499] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16499/stat : 16499 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29861 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16500] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16500/stat : 16500 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29862 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16501] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16501/stat : 16501 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650445 13959102464 29862 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16502] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16502/stat : 16502 (java) S 16489 16491 12918 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 29862 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 0 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16503] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16503/stat : 16503 (java) S 16489 16491 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827650446 13959102464 29862 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16504] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16504/stat : 16504 (java) S 16489 16491 12918 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827650446 13959102464 29862 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16505] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16505/stat : 16505 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650448 13959102464 29862 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658970033 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16506] ppid=16489 vsize=13631936 CPUtime=0.55 cores=0,2,4,6 /proc/16491/task/16506/stat : 16506 (java) S 16489 16491 12918 0 -1 4202560 3240 0 0 0 55 0 0 0 15 0 19 0 827650448 13959102464 29862 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16507] ppid=16489 vsize=13631936 CPUtime=0.56 cores=0,2,4,6 /proc/16491/task/16507/stat : 16507 (java) S 16489 16491 12918 0 -1 4202560 5299 0 0 0 56 0 0 0 15 0 19 0 827650449 13959102464 29863 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16508] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16508/stat : 16508 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650449 13959102464 29863 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16509] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16509/stat : 16509 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827650449 13959102464 29863 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16510] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16510/stat : 16510 (java) S 16489 16491 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827650525 13959102464 29863 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 13631936 [startup+3.1015 s] /proc/loadavg: 2.02 2.03 2.00 3/535 16512 /proc/meminfo: memFree=28363088/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13631936 CPUtime=4.33 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 45708 0 1 0 425 8 0 0 25 0 19 0 827650442 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3407984 42733 2269 9 0 3398718 0 [pid=16491/tid=16492] ppid=16489 vsize=13631936 CPUtime=2.98 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 25194 0 1 0 293 5 0 0 22 0 19 0 827650442 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912505930341 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16491/tid=16494] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16494/stat : 16494 (java) S 16489 16491 12918 0 -1 4202560 1084 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16495] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16495/stat : 16495 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16496] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16496/stat : 16496 (java) S 16489 16491 12918 0 -1 4202560 981 0 0 0 0 0 0 0 16 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16497] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16497/stat : 16497 (java) S 16489 16491 12918 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16498] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16498/stat : 16498 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16499] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16499/stat : 16499 (java) S 16489 16491 12918 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16500] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16500/stat : 16500 (java) S 16489 16491 12918 0 -1 4202560 1691 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16501] ppid=16489 vsize=13631936 CPUtime=0.01 cores=0,2,4,6 /proc/16491/task/16501/stat : 16501 (java) S 16489 16491 12918 0 -1 4202560 2038 0 0 0 1 0 0 0 15 0 19 0 827650445 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16502] ppid=16489 vsize=13631936 CPUtime=0.06 cores=0,2,4,6 /proc/16491/task/16502/stat : 16502 (java) S 16489 16491 12918 0 -1 4202560 4523 0 0 0 6 0 0 0 16 0 19 0 827650446 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 0 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16503] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16503/stat : 16503 (java) S 16489 16491 12918 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16504] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16504/stat : 16504 (java) S 16489 16491 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16505] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16505/stat : 16505 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650448 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658970033 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16506] ppid=16489 vsize=13631936 CPUtime=0.58 cores=0,2,4,6 /proc/16491/task/16506/stat : 16506 (java) S 16489 16491 12918 0 -1 4202560 3246 0 0 0 58 0 0 0 15 0 19 0 827650448 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16507] ppid=16489 vsize=13631936 CPUtime=0.64 cores=0,2,4,6 /proc/16491/task/16507/stat : 16507 (java) S 16489 16491 12918 0 -1 4202560 5314 0 0 0 64 0 0 0 15 0 19 0 827650449 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16508] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16508/stat : 16508 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650449 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16509] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16509/stat : 16509 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827650449 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16510] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16510/stat : 16510 (java) S 16489 16491 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827650525 13959102464 42733 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 13631936 [startup+6.30094 s] /proc/loadavg: 1.93 2.01 1.99 5/535 16560 /proc/meminfo: memFree=28820180/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13631936 CPUtime=7.63 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 49633 0 1 0 753 10 0 0 25 0 19 0 827650442 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3407984 46554 2269 9 0 3398718 0 [pid=16491/tid=16492] ppid=16489 vsize=13631936 CPUtime=6.05 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 25198 0 1 0 598 7 0 0 25 0 19 0 827650442 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912505930574 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=16491/tid=16494] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16494/stat : 16494 (java) S 16489 16491 12918 0 -1 4202560 1087 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16495] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16495/stat : 16495 (java) S 16489 16491 12918 0 -1 4202560 304 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16496] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16496/stat : 16496 (java) S 16489 16491 12918 0 -1 4202560 1581 0 0 0 0 0 0 0 16 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16497] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16497/stat : 16497 (java) S 16489 16491 12918 0 -1 4202560 469 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16498] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16498/stat : 16498 (java) S 16489 16491 12918 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16499] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16499/stat : 16499 (java) S 16489 16491 12918 0 -1 4202560 36 0 0 0 0 0 0 0 16 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16500] ppid=16489 vsize=13631936 CPUtime=0.01 cores=0,2,4,6 /proc/16491/task/16500/stat : 16500 (java) S 16489 16491 12918 0 -1 4202560 1929 0 0 0 1 0 0 0 15 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16501] ppid=16489 vsize=13631936 CPUtime=0.01 cores=0,2,4,6 /proc/16491/task/16501/stat : 16501 (java) S 16489 16491 12918 0 -1 4202560 2040 0 0 0 1 0 0 0 16 0 19 0 827650445 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16502] ppid=16489 vsize=13631936 CPUtime=0.18 cores=0,2,4,6 /proc/16491/task/16502/stat : 16502 (java) S 16489 16491 12918 0 -1 4202560 7078 0 0 0 18 0 0 0 16 0 19 0 827650446 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 0 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16503] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16503/stat : 16503 (java) S 16489 16491 12918 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16504] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16504/stat : 16504 (java) S 16489 16491 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16505] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16505/stat : 16505 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650448 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658970033 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16506] ppid=16489 vsize=13631936 CPUtime=0.64 cores=0,2,4,6 /proc/16491/task/16506/stat : 16506 (java) S 16489 16491 12918 0 -1 4202560 3256 0 0 0 64 0 0 0 15 0 19 0 827650448 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16507] ppid=16489 vsize=13631936 CPUtime=0.65 cores=0,2,4,6 /proc/16491/task/16507/stat : 16507 (java) S 16489 16491 12918 0 -1 4202560 5315 0 0 0 65 0 0 0 15 0 19 0 827650449 13959102464 46554 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=16491/tid=16499] ppid=16489 vsize=13631936 CPUtime=0.54 cores=0,2,4,6 /proc/16491/task/16499/stat : 16499 (java) S 16489 16491 12918 0 -1 4202560 150 0 0 0 54 0 0 0 15 0 19 0 827650445 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16500] ppid=16489 vsize=13631936 CPUtime=0.63 cores=0,2,4,6 /proc/16491/task/16500/stat : 16500 (java) S 16489 16491 12918 0 -1 4202560 3579 0 0 0 63 0 0 0 16 0 19 0 827650445 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 4 0 0 0 [pid=16491/tid=16501] ppid=16489 vsize=13631936 CPUtime=0.58 cores=0,2,4,6 /proc/16491/task/16501/stat : 16501 (java) S 16489 16491 12918 0 -1 4202560 2448 0 0 0 58 0 0 0 15 0 19 0 827650445 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16502] ppid=16489 vsize=13631936 CPUtime=31.94 cores=0,2,4,6 /proc/16491/task/16502/stat : 16502 (java) S 16489 16491 12918 0 -1 4202560 17046 0 0 0 3184 10 0 0 15 0 19 0 827650446 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 0 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16503] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16503/stat : 16503 (java) S 16489 16491 12918 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16504] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16504/stat : 16504 (java) S 16489 16491 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16505] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16505/stat : 16505 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650448 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658970033 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16506] ppid=16489 vsize=13631936 CPUtime=0.66 cores=0,2,4,6 /proc/16491/task/16506/stat : 16506 (java) S 16489 16491 12918 0 -1 4202560 3259 0 0 0 66 0 0 0 15 0 19 0 827650448 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16507] ppid=16489 vsize=13631936 CPUtime=0.65 cores=0,2,4,6 /proc/16491/task/16507/stat : 16507 (java) S 16489 16491 12918 0 -1 4202560 5315 0 0 0 65 0 0 0 15 0 19 0 827650449 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16508] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16508/stat : 16508 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650449 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16509] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16509/stat : 16509 (java) S 16489 16491 12918 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827650449 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16510] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16510/stat : 16510 (java) S 16489 16491 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827650525 13959102464 61886 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1666 Current children cumulated vsize (KiB) 13631936 [startup+1722.3 s] /proc/loadavg: 2.00 2.03 2.00 3/535 16604 /proc/meminfo: memFree=28675484/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13631936 CPUtime=1726.09 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 65898 0 1 0 172567 42 0 0 25 0 19 0 827650442 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3407984 61931 2270 9 0 3398718 0 [pid=16491/tid=16492] ppid=16489 vsize=13631936 CPUtime=1686.46 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 25882 0 1 0 168623 23 0 0 25 0 19 0 827650442 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912505980924 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16491/tid=16494] ppid=16489 vsize=13631936 CPUtime=0.66 cores=0,2,4,6 /proc/16491/task/16494/stat : 16494 (java) S 16489 16491 12918 0 -1 4202560 1248 0 0 0 66 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16495] ppid=16489 vsize=13631936 CPUtime=0.61 cores=0,2,4,6 /proc/16491/task/16495/stat : 16495 (java) S 16489 16491 12918 0 -1 4202560 1510 0 0 0 61 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16496] ppid=16489 vsize=13631936 CPUtime=0.69 cores=0,2,4,6 /proc/16491/task/16496/stat : 16496 (java) S 16489 16491 12918 0 -1 4202560 2584 0 0 0 69 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16497] ppid=16489 vsize=13631936 CPUtime=0.59 cores=0,2,4,6 /proc/16491/task/16497/stat : 16497 (java) S 16489 16491 12918 0 -1 4202560 551 0 0 0 59 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16498] ppid=16489 vsize=13631936 CPUtime=0.66 cores=0,2,4,6 /proc/16491/task/16498/stat : 16498 (java) S 16489 16491 12918 0 -1 4202560 1054 0 0 0 66 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16499] ppid=16489 vsize=13631936 CPUtime=0.55 cores=0,2,4,6 /proc/16491/task/16499/stat : 16499 (java) S 16489 16491 12918 0 -1 4202560 150 0 0 0 55 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16500] ppid=16489 vsize=13631936 CPUtime=0.65 cores=0,2,4,6 /proc/16491/task/16500/stat : 16500 (java) S 16489 16491 12918 0 -1 4202560 3579 0 0 0 65 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 4 0 0 0 [pid=16491/tid=16501] ppid=16489 vsize=13631936 CPUtime=0.61 cores=0,2,4,6 /proc/16491/task/16501/stat : 16501 (java) S 16489 16491 12918 0 -1 4202560 2465 0 0 0 61 0 0 0 15 0 19 0 827650445 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16502] ppid=16489 vsize=13631936 CPUtime=33.18 cores=0,2,4,6 /proc/16491/task/16502/stat : 16502 (java) S 16489 16491 12918 0 -1 4202560 17050 0 0 0 3307 11 0 0 15 0 19 0 827650446 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 0 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16503] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16503/stat : 16503 (java) S 16489 16491 12918 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16504] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16504/stat : 16504 (java) S 16489 16491 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16505] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16505/stat : 16505 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650448 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658970033 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16506] ppid=16489 vsize=13631936 CPUtime=0.66 cores=0,2,4,6 /proc/16491/task/16506/stat : 16506 (java) S 16489 16491 12918 0 -1 4202560 3259 0 0 0 66 0 0 0 15 0 19 0 827650448 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16507] ppid=16489 vsize=13631936 CPUtime=0.65 cores=0,2,4,6 /proc/16491/task/16507/stat : 16507 (java) S 16489 16491 12918 0 -1 4202560 5315 0 0 0 65 0 0 0 15 0 19 0 827650449 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16508] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16508/stat : 16508 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650449 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16509] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16509/stat : 16509 (java) S 16489 16491 12918 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827650449 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16510] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16510/stat : 16510 (java) S 16489 16491 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827650525 13959102464 61931 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1726.09 Current children cumulated vsize (KiB) 13631936 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/535 16606 /proc/meminfo: memFree=28674484/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13631936 CPUtime=1786.17 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 65939 0 1 0 178573 44 0 0 25 0 19 0 827650442 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3407984 61943 2270 9 0 3398718 0 [pid=16491/tid=16492] ppid=16489 vsize=13631936 CPUtime=1745.17 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 25907 0 1 0 174492 25 0 0 25 0 19 0 827650442 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912505980966 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16491/tid=16494] ppid=16489 vsize=13631936 CPUtime=0.68 cores=0,2,4,6 /proc/16491/task/16494/stat : 16494 (java) S 16489 16491 12918 0 -1 4202560 1254 0 0 0 68 0 0 0 15 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16495] ppid=16489 vsize=13631936 CPUtime=0.62 cores=0,2,4,6 /proc/16491/task/16495/stat : 16495 (java) S 16489 16491 12918 0 -1 4202560 1510 0 0 0 62 0 0 0 15 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 4 0 0 0 [pid=16491/tid=16496] ppid=16489 vsize=13631936 CPUtime=0.7 cores=0,2,4,6 /proc/16491/task/16496/stat : 16496 (java) S 16489 16491 12918 0 -1 4202560 2586 0 0 0 70 0 0 0 15 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16497] ppid=16489 vsize=13631936 CPUtime=0.6 cores=0,2,4,6 /proc/16491/task/16497/stat : 16497 (java) S 16489 16491 12918 0 -1 4202560 551 0 0 0 60 0 0 0 15 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 4 0 0 0 [pid=16491/tid=16498] ppid=16489 vsize=13631936 CPUtime=0.68 cores=0,2,4,6 /proc/16491/task/16498/stat : 16498 (java) S 16489 16491 12918 0 -1 4202560 1054 0 0 0 68 0 0 0 15 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16499] ppid=16489 vsize=13631936 CPUtime=0.57 cores=0,2,4,6 /proc/16491/task/16499/stat : 16499 (java) S 16489 16491 12918 0 -1 4202560 154 0 0 0 57 0 0 0 15 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16500] ppid=16489 vsize=13631936 CPUtime=0.68 cores=0,2,4,6 /proc/16491/task/16500/stat : 16500 (java) S 16489 16491 12918 0 -1 4202560 3579 0 0 0 68 0 0 0 16 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16501] ppid=16489 vsize=13631936 CPUtime=0.62 cores=0,2,4,6 /proc/16491/task/16501/stat : 16501 (java) S 16489 16491 12918 0 -1 4202560 2465 0 0 0 62 0 0 0 15 0 19 0 827650445 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 4 0 0 0 [pid=16491/tid=16502] ppid=16489 vsize=13631936 CPUtime=34.41 cores=0,2,4,6 /proc/16491/task/16502/stat : 16502 (java) S 16489 16491 12918 0 -1 4202560 17052 0 0 0 3430 11 0 0 16 0 19 0 827650446 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 0 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16503] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16503/stat : 16503 (java) S 16489 16491 12918 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16504] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16504/stat : 16504 (java) S 16489 16491 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16505] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16505/stat : 16505 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650448 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658970033 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16506] ppid=16489 vsize=13631936 CPUtime=0.66 cores=0,2,4,6 /proc/16491/task/16506/stat : 16506 (java) S 16489 16491 12918 0 -1 4202560 3259 0 0 0 66 0 0 0 15 0 19 0 827650448 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16507] ppid=16489 vsize=13631936 CPUtime=0.65 cores=0,2,4,6 /proc/16491/task/16507/stat : 16507 (java) S 16489 16491 12918 0 -1 4202560 5315 0 0 0 65 0 0 0 15 0 19 0 827650449 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16508] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16508/stat : 16508 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650449 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16509] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16509/stat : 16509 (java) S 16489 16491 12918 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827650449 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16510] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16510/stat : 16510 (java) S 16489 16491 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827650525 13959102464 61943 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1786.17 Current children cumulated vsize (KiB) 13631936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.1 s] /proc/loadavg: 2.00 2.02 2.00 3/535 16606 /proc/meminfo: memFree=28674600/32951132 swapFree=57925096/67111528 [pid=16491] ppid=16489 vsize=13631936 CPUtime=1800.01 cores=0,2,4,6 /proc/16491/stat : 16491 (java) S 16489 16491 12918 0 -1 4202496 65971 0 1 0 179957 44 0 0 25 0 19 0 827650442 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/16491/statm: 3407984 61966 2270 9 0 3398718 0 [pid=16491/tid=16492] ppid=16489 vsize=13631936 CPUtime=1758.72 cores=0,2,4,6 /proc/16491/task/16492/stat : 16492 (java) R 16489 16491 12918 0 -1 4202560 25912 0 1 0 175847 25 0 0 25 0 19 0 827650442 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 46912505930799 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=16491/tid=16494] ppid=16489 vsize=13631936 CPUtime=0.68 cores=0,2,4,6 /proc/16491/task/16494/stat : 16494 (java) S 16489 16491 12918 0 -1 4202560 1254 0 0 0 68 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16495] ppid=16489 vsize=13631936 CPUtime=0.62 cores=0,2,4,6 /proc/16491/task/16495/stat : 16495 (java) S 16489 16491 12918 0 -1 4202560 1510 0 0 0 62 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 4 0 0 0 [pid=16491/tid=16496] ppid=16489 vsize=13631936 CPUtime=0.7 cores=0,2,4,6 /proc/16491/task/16496/stat : 16496 (java) S 16489 16491 12918 0 -1 4202560 2596 0 0 0 70 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16497] ppid=16489 vsize=13631936 CPUtime=0.61 cores=0,2,4,6 /proc/16491/task/16497/stat : 16497 (java) S 16489 16491 12918 0 -1 4202560 557 0 0 0 61 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 4 0 0 0 [pid=16491/tid=16498] ppid=16489 vsize=13631936 CPUtime=0.68 cores=0,2,4,6 /proc/16491/task/16498/stat : 16498 (java) S 16489 16491 12918 0 -1 4202560 1054 0 0 0 68 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16499] ppid=16489 vsize=13631936 CPUtime=0.57 cores=0,2,4,6 /proc/16491/task/16499/stat : 16499 (java) S 16489 16491 12918 0 -1 4202560 154 0 0 0 57 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16500] ppid=16489 vsize=13631936 CPUtime=0.69 cores=0,2,4,6 /proc/16491/task/16500/stat : 16500 (java) S 16489 16491 12918 0 -1 4202560 3586 0 0 0 69 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16501] ppid=16489 vsize=13631936 CPUtime=0.63 cores=0,2,4,6 /proc/16491/task/16501/stat : 16501 (java) S 16489 16491 12918 0 -1 4202560 2465 0 0 0 63 0 0 0 15 0 19 0 827650445 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16502] ppid=16489 vsize=13631936 CPUtime=34.67 cores=0,2,4,6 /proc/16491/task/16502/stat : 16502 (java) S 16489 16491 12918 0 -1 4202560 17054 0 0 0 3456 11 0 0 15 0 19 0 827650446 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 0 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 [pid=16491/tid=16503] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16503/stat : 16503 (java) S 16489 16491 12918 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16504] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16504/stat : 16504 (java) S 16489 16491 12918 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827650446 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16505] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16505/stat : 16505 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650448 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658970033 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16506] ppid=16489 vsize=13631936 CPUtime=0.66 cores=0,2,4,6 /proc/16491/task/16506/stat : 16506 (java) S 16489 16491 12918 0 -1 4202560 3259 0 0 0 66 0 0 0 15 0 19 0 827650448 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16507] ppid=16489 vsize=13631936 CPUtime=0.65 cores=0,2,4,6 /proc/16491/task/16507/stat : 16507 (java) S 16489 16491 12918 0 -1 4202560 5315 0 0 0 65 0 0 0 15 0 19 0 827650449 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16508] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16508/stat : 16508 (java) S 16489 16491 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827650449 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962329 0 4 0 16800975 18446604452525737152 0 0 -1 6 0 0 0 [pid=16491/tid=16509] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16509/stat : 16509 (java) S 16489 16491 12918 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827650449 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 0 0 0 0 [pid=16491/tid=16510] ppid=16489 vsize=13631936 CPUtime=0 cores=0,2,4,6 /proc/16491/task/16510/stat : 16510 (java) S 16489 16491 12918 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827650525 13959102464 61966 33554432000 1073741824 1073778376 140737053404656 18446744073709551615 210658962944 0 4 0 16800975 18446604452525737152 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 13631936 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): 1796.17 CPU time (s): 1800.09 CPU user time (s): 1799.63 CPU system time (s): 0.45793 CPU usage (%): 100.218 Max. virtual memory (cumulated for all children) (KiB): 13631936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.45793 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66034 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55768 involuntary context switches= 33336 runsolver used 10.0315 second user time and 20.4689 second system time The end
Begin job on node129 at 2011-06-04 06:08:28 IDJOB=3458399 IDBENCH=48219 IDSOLVER=1952 FILE ID=node129/3458399-1307160508 RUNJOBID= node129-1307156908-16155 PBS_JOBID= 13508787 Free space on /tmp= 73880 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458399-1307160508/watcher-3458399-1307160508 -o /tmp/evaluation-result-3458399-1307160508/solver-3458399-1307160508 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458399-1307160508.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe RANDOM SEED=1880442673 node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 28514696 kB Buffers: 316376 kB Cached: 2106288 kB SwapCached: 49348 kB Active: 1004248 kB Inactive: 3149652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 28514696 kB SwapTotal: 67111528 kB SwapFree: 57925096 kB Dirty: 496 kB Writeback: 0 kB AnonPages: 1693188 kB Mapped: 23120 kB Slab: 153420 kB PageTables: 60444 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 160762364 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73880 MiB End job on node129 at 2011-06-04 06:38:26