Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 74 | 1800.11 | 1798.47 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
MD5SUM | c19ad978a977652a94fc03b8ce63204a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 74 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 74 |
Optimality of the best value was proved | NO |
Number of variables | 1288 |
Total number of constraints | 2431 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 175 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 802 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.09/0.10 c version 2.3.1.v20110525 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.18-164.el5 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 12995394264 0.09/0.10 c Max memory 13063553024 0.09/0.10 c Total memory 13063553024 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3459028-1307154331.opb 0.09/0.12 c reading problem ... 0.92/0.56 c ... done. Wall clock time 0.445s. 0.92/0.56 c #vars 1288 0.92/0.56 c #constraints 2431 0.92/0.56 c constraints type 0.92/0.56 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2430 1.59/0.95 c SATISFIABLE 1.59/0.95 c OPTIMIZING... 1.59/0.95 c Got one! Elapsed wall clock time (in seconds):0.834 1.59/0.95 o 103 2.50/1.84 c Got one! Elapsed wall clock time (in seconds):1.725 2.50/1.84 o 98 3.20/2.56 c Got one! Elapsed wall clock time (in seconds):2.446 3.20/2.56 o 93 4.85/4.03 c cleaning 3349 clauses out of 6706 with flag 3000/6709 4.85/4.09 c Got one! Elapsed wall clock time (in seconds):3.971 4.85/4.09 o 92 6.76/5.85 c Got one! Elapsed wall clock time (in seconds):5.735 6.76/5.85 o 90 7.28/6.34 c cleaning 4507 clauses out of 9028 with flag 1000/12380 9.68/8.72 c cleaning 5256 clauses out of 10521 with flag 7000/18380 10.68/9.70 c Got one! Elapsed wall clock time (in seconds):9.585 10.68/9.70 o 86 11.88/10.93 c cleaning 5291 clauses out of 10589 with flag 3000/23704 12.89/11.95 c Got one! Elapsed wall clock time (in seconds):11.833 12.89/11.95 o 83 13.99/13.08 c cleaning 5399 clauses out of 10815 with flag 3000/29221 16.19/15.26 c cleaning 5704 clauses out of 11417 with flag 9001/35222 19.29/18.38 c cleaning 6349 clauses out of 12713 with flag 16002/42223 22.50/21.57 c cleaning 7175 clauses out of 14363 with flag 24001/50222 22.60/21.63 c Got one! Elapsed wall clock time (in seconds):21.511 22.60/21.63 o 80 24.71/23.73 c cleaning 6143 clauses out of 12303 with flag 5001/55337 27.11/26.18 c cleaning 6072 clauses out of 12159 with flag 11000/61336 29.91/28.94 c cleaning 6541 clauses out of 13089 with flag 18002/68338 33.31/32.30 c cleaning 7268 clauses out of 14547 with flag 26001/76337 35.61/34.65 c Got one! Elapsed wall clock time (in seconds):34.531 35.61/34.65 o 76 37.63/36.61 c cleaning 9104 clauses out of 18207 with flag 5003/87266 40.13/39.15 c cleaning 7544 clauses out of 15099 with flag 11000/93263 42.93/41.96 c cleaning 7271 clauses out of 14556 with flag 18001/100264 46.43/45.48 c cleaning 7631 clauses out of 15284 with flag 26000/108263 50.45/49.43 c cleaning 8315 clauses out of 16653 with flag 35000/117263 54.64/53.64 c cleaning 9167 clauses out of 18338 with flag 45000/127263 58.45/57.49 c cleaning 9581 clauses out of 19171 with flag 55000/137263 62.56/61.60 c cleaning 9787 clauses out of 19590 with flag 65000/147263 66.75/65.75 c cleaning 9896 clauses out of 19803 with flag 75000/157263 70.75/69.71 c cleaning 9946 clauses out of 19907 with flag 85000/167263 74.55/73.54 c cleaning 9972 clauses out of 19961 with flag 95000/177263 78.75/77.73 c cleaning 9987 clauses out of 19989 with flag 105000/187263 82.85/81.88 c cleaning 9997 clauses out of 20003 with flag 115001/197264 87.46/86.47 c cleaning 9993 clauses out of 20006 with flag 125001/207264 91.86/90.83 c cleaning 10003 clauses out of 20014 with flag 135002/217265 96.26/95.25 c cleaning 9998 clauses out of 20010 with flag 145001/227264 100.66/99.70 c cleaning 9997 clauses out of 20011 with flag 155000/237263 105.26/104.20 c cleaning 10003 clauses out of 20016 with flag 165002/247265 109.66/108.64 c cleaning 9998 clauses out of 20012 with flag 175001/257264 114.27/113.25 c cleaning 9997 clauses out of 20014 with flag 185001/267264 118.68/117.68 c cleaning 10002 clauses out of 20016 with flag 195000/277263 123.67/122.63 c cleaning 9996 clauses out of 20016 with flag 205002/287265 128.27/127.25 c cleaning 10000 clauses out of 20018 with flag 215000/297263 132.37/131.32 c cleaning 9996 clauses out of 20018 with flag 225000/307263 136.87/135.89 c cleaning 10006 clauses out of 20022 with flag 235000/317263 141.48/140.41 c cleaning 10003 clauses out of 20016 with flag 245000/327263 145.78/144.73 c cleaning 9997 clauses out of 20014 with flag 255001/337264 150.18/149.10 c cleaning 9998 clauses out of 20017 with flag 265001/347264 154.48/153.42 c cleaning 10005 clauses out of 20019 with flag 275001/357264 158.98/157.98 c cleaning 9995 clauses out of 20013 with flag 285000/367263 163.48/162.49 c cleaning 10000 clauses out of 20019 with flag 295001/377264 167.98/166.95 c cleaning 9998 clauses out of 20019 with flag 305001/387264 172.38/171.36 c cleaning 10006 clauses out of 20020 with flag 315000/397263 176.59/175.53 c cleaning 9996 clauses out of 20014 with flag 325000/407263 180.79/179.77 c cleaning 9995 clauses out of 20018 with flag 335000/417263 185.29/184.21 c cleaning 10006 clauses out of 20023 with flag 345000/427263 189.49/188.42 c cleaning 10003 clauses out of 20018 with flag 355001/437264 193.50/192.47 c cleaning 10000 clauses out of 20014 with flag 365000/447263 197.49/196.40 c cleaning 10005 clauses out of 20014 with flag 375000/457263 201.50/200.41 c cleaning 9998 clauses out of 20010 with flag 385001/467264 205.40/204.33 c cleaning 9999 clauses out of 20014 with flag 395003/477266 209.40/208.37 c cleaning 10001 clauses out of 20014 with flag 405002/487265 213.80/212.80 c cleaning 9995 clauses out of 20012 with flag 415001/497264 218.40/217.39 c cleaning 10002 clauses out of 20016 with flag 425000/507263 222.81/221.73 c cleaning 9993 clauses out of 20014 with flag 435000/517263 227.11/226.04 c cleaning 9998 clauses out of 20021 with flag 445000/527263 231.21/230.17 c cleaning 10004 clauses out of 20023 with flag 455000/537263 235.11/234.07 c cleaning 9996 clauses out of 20020 with flag 465001/547264 239.21/238.16 c cleaning 10003 clauses out of 20023 with flag 475000/557263 243.42/242.31 c cleaning 10004 clauses out of 20022 with flag 485002/567265 247.62/246.52 c cleaning 9995 clauses out of 20016 with flag 495000/577263 251.85/250.77 c cleaning 10006 clauses out of 20021 with flag 505000/587263 256.04/254.95 c cleaning 10005 clauses out of 20019 with flag 515004/597267 260.34/259.23 c cleaning 9995 clauses out of 20011 with flag 525001/607264 264.54/263.40 c cleaning 10002 clauses out of 20017 with flag 535002/617265 268.94/267.85 c cleaning 9993 clauses out of 20013 with flag 545000/627263 273.64/272.59 c cleaning 10001 clauses out of 20020 with flag 555000/637263 278.14/277.05 c cleaning 10005 clauses out of 20021 with flag 565002/647265 282.15/281.09 c cleaning 10005 clauses out of 20015 with flag 575001/657264 286.25/285.18 c cleaning 9995 clauses out of 20009 with flag 585000/667263 290.55/289.43 c cleaning 9997 clauses out of 20014 with flag 595000/677263 294.25/293.15 c cleaning 10006 clauses out of 20018 with flag 605001/687264 298.55/297.46 c cleaning 9999 clauses out of 20013 with flag 615002/697265 302.75/301.65 c cleaning 9996 clauses out of 20014 with flag 625002/707265 306.97/305.84 c cleaning 10003 clauses out of 20016 with flag 635000/717263 311.37/310.26 c cleaning 9993 clauses out of 20013 with flag 645000/727263 315.85/314.75 c cleaning 10004 clauses out of 20021 with flag 655001/737264 320.17/319.08 c cleaning 9997 clauses out of 20016 with flag 665000/747263 324.35/323.24 c cleaning 10002 clauses out of 20019 with flag 675000/757263 328.46/327.30 c cleaning 9997 clauses out of 20018 with flag 685001/767264 332.76/331.61 c cleaning 10001 clauses out of 20023 with flag 695003/777266 336.86/335.78 c cleaning 10000 clauses out of 20022 with flag 705003/787266 341.26/340.15 c cleaning 10006 clauses out of 20020 with flag 715001/797264 345.56/344.45 c cleaning 10000 clauses out of 20014 with flag 725001/807264 349.56/348.40 c cleaning 10001 clauses out of 20013 with flag 735000/817263 353.76/352.60 c cleaning 9999 clauses out of 20014 with flag 745002/827265 358.16/357.04 c cleaning 9993 clauses out of 20013 with flag 755000/837263 362.47/361.30 c cleaning 10005 clauses out of 20024 with flag 765004/847267 366.97/365.84 c cleaning 9998 clauses out of 20016 with flag 775001/857264 371.67/370.55 c cleaning 9999 clauses out of 20017 with flag 785000/867263 375.77/374.60 c cleaning 10000 clauses out of 20018 with flag 795000/877263 380.07/378.95 c cleaning 10004 clauses out of 20018 with flag 805000/887263 384.47/383.31 c cleaning 10004 clauses out of 20016 with flag 815002/897265 388.67/387.51 c cleaning 9996 clauses out of 20010 with flag 825000/907263 392.79/391.65 c cleaning 10000 clauses out of 20014 with flag 835000/917263 397.37/396.25 c cleaning 10000 clauses out of 20014 with flag 845000/927263 401.87/400.71 c cleaning 9996 clauses out of 20014 with flag 855000/937263 406.28/405.19 c cleaning 10005 clauses out of 20018 with flag 865000/947263 410.68/409.58 c cleaning 9996 clauses out of 20015 with flag 875002/957265 415.48/414.32 c cleaning 9999 clauses out of 20018 with flag 885001/967264 419.69/418.51 c cleaning 10005 clauses out of 20019 with flag 895001/977264 423.79/422.67 c cleaning 10003 clauses out of 20014 with flag 905001/987264 427.79/426.60 c cleaning 9990 clauses out of 20010 with flag 915000/997263 431.49/430.38 c cleaning 10001 clauses out of 20021 with flag 925001/1007264 435.29/434.10 c cleaning 10003 clauses out of 20019 with flag 935000/1017263 439.09/437.98 c cleaning 10001 clauses out of 20017 with flag 945001/1027264 443.09/441.91 c cleaning 9997 clauses out of 20015 with flag 955000/1037263 447.49/446.35 c cleaning 10004 clauses out of 20020 with flag 965002/1047265 451.60/450.44 c cleaning 10000 clauses out of 20014 with flag 975000/1057263 455.90/454.75 c cleaning 9998 clauses out of 20016 with flag 985002/1067265 460.00/458.89 c cleaning 9998 clauses out of 20017 with flag 995001/1077264 464.00/462.80 c cleaning 9999 clauses out of 20018 with flag 1005000/1087263 468.19/467.00 c cleaning 10003 clauses out of 20019 with flag 1015000/1097263 472.30/471.17 c cleaning 10003 clauses out of 20017 with flag 1025001/1107264 476.99/475.83 c cleaning 9992 clauses out of 20013 with flag 1035000/1117263 481.51/480.33 c cleaning 9996 clauses out of 20022 with flag 1045001/1127264 485.60/484.49 c cleaning 10002 clauses out of 20025 with flag 1055000/1137263 489.91/488.74 c cleaning 10002 clauses out of 20023 with flag 1065000/1147263 494.11/492.95 c cleaning 10002 clauses out of 20021 with flag 1075000/1157263 498.43/497.28 c cleaning 9997 clauses out of 20019 with flag 1085000/1167263 503.01/501.89 c cleaning 10005 clauses out of 20024 with flag 1095002/1177265 507.41/506.23 c cleaning 10001 clauses out of 20018 with flag 1105001/1187264 511.81/510.63 c cleaning 9998 clauses out of 20018 with flag 1115002/1197265 516.31/515.13 c cleaning 9994 clauses out of 20019 with flag 1125001/1207264 520.51/519.39 c cleaning 10006 clauses out of 20025 with flag 1135001/1217264 525.11/523.98 c cleaning 9994 clauses out of 20018 with flag 1145000/1227263 529.91/528.74 c cleaning 10001 clauses out of 20025 with flag 1155001/1237264 534.41/533.24 c cleaning 10006 clauses out of 20024 with flag 1165001/1247264 538.81/537.62 c cleaning 10001 clauses out of 20017 with flag 1175000/1257263 543.22/542.09 c cleaning 10004 clauses out of 20020 with flag 1185004/1267267 547.52/546.33 c cleaning 9998 clauses out of 20013 with flag 1195001/1277264 551.93/550.71 c cleaning 10001 clauses out of 20014 with flag 1205000/1287263 556.53/555.39 c cleaning 9998 clauses out of 20013 with flag 1215000/1297263 560.83/559.64 c cleaning 9994 clauses out of 20015 with flag 1225000/1307263 565.33/564.13 c cleaning 10003 clauses out of 20022 with flag 1235001/1317264 569.63/568.49 c cleaning 10003 clauses out of 20019 with flag 1245001/1327264 574.13/572.95 c cleaning 10007 clauses out of 20015 with flag 1255000/1337263 577.83/576.62 c cleaning 9994 clauses out of 20009 with flag 1265001/1347264 581.84/580.67 c cleaning 10001 clauses out of 20015 with flag 1275001/1357264 585.64/584.48 c cleaning 10000 clauses out of 20014 with flag 1285001/1367264 589.84/588.63 c cleaning 9998 clauses out of 20014 with flag 1295001/1377264 593.84/592.69 c cleaning 10003 clauses out of 20015 with flag 1305000/1387263 598.34/597.12 c cleaning 9999 clauses out of 20014 with flag 1315002/1397265 602.24/601.06 c cleaning 10002 clauses out of 20014 with flag 1325001/1407264 606.54/605.36 c cleaning 9995 clauses out of 20012 with flag 1335001/1417264 611.04/609.82 c cleaning 9998 clauses out of 20016 with flag 1345000/1427263 615.34/614.10 c cleaning 9999 clauses out of 20018 with flag 1355000/1437263 619.25/618.00 c cleaning 10000 clauses out of 20019 with flag 1365000/1447263 623.25/622.02 c cleaning 10000 clauses out of 20019 with flag 1375000/1457263 627.17/625.94 c cleaning 10004 clauses out of 20019 with flag 1385000/1467263 631.05/629.84 c cleaning 10003 clauses out of 20015 with flag 1395000/1477263 635.25/634.04 c cleaning 9995 clauses out of 20012 with flag 1405000/1487263 639.55/638.36 c cleaning 10002 clauses out of 20019 with flag 1415002/1497265 643.75/642.56 c cleaning 9999 clauses out of 20015 with flag 1425000/1507263 647.96/646.77 c cleaning 9994 clauses out of 20016 with flag 1435000/1517263 652.05/650.83 c cleaning 9996 clauses out of 20022 with flag 1445000/1527263 656.16/654.96 c cleaning 10003 clauses out of 20026 with flag 1455000/1537263 660.26/659.08 c cleaning 10002 clauses out of 20024 with flag 1465001/1547264 664.36/663.20 c cleaning 10006 clauses out of 20021 with flag 1475000/1557263 668.59/667.32 c cleaning 9999 clauses out of 20015 with flag 1485000/1567263 672.89/671.67 c cleaning 10002 clauses out of 20017 with flag 1495001/1577264 677.29/676.02 c cleaning 9999 clauses out of 20014 with flag 1505000/1587263 681.59/680.33 c cleaning 10000 clauses out of 20016 with flag 1515001/1597264 685.99/684.74 c cleaning 10001 clauses out of 20018 with flag 1525003/1607266 690.59/689.36 c cleaning 9997 clauses out of 20015 with flag 1535001/1617264 694.89/693.64 c cleaning 10000 clauses out of 20017 with flag 1545000/1627263 699.09/697.82 c cleaning 10002 clauses out of 20017 with flag 1555000/1637263 701.29/700.00 c Got one! Elapsed wall clock time (in seconds):699.881 701.29/700.00 o 74 703.59/702.30 c cleaning 10265 clauses out of 20542 with flag 5000/1647790 706.31/705.06 c cleaning 8124 clauses out of 16277 with flag 11000/1653790 709.40/708.15 c cleaning 7569 clauses out of 15154 with flag 18001/1660791 712.70/711.46 c cleaning 7782 clauses out of 15584 with flag 26000/1668790 716.41/715.13 c cleaning 8391 clauses out of 16802 with flag 35000/1677790 720.61/719.35 c cleaning 9196 clauses out of 18412 with flag 45001/1687791 724.91/723.67 c cleaning 9601 clauses out of 19217 with flag 55002/1697792 729.01/727.78 c cleaning 9795 clauses out of 19615 with flag 65001/1707791 733.21/731.94 c cleaning 9902 clauses out of 19819 with flag 75000/1717790 737.41/736.16 c cleaning 9951 clauses out of 19917 with flag 85000/1727790 741.71/740.48 c cleaning 9972 clauses out of 19966 with flag 95000/1737790 745.71/744.44 c cleaning 9991 clauses out of 19995 with flag 105001/1747791 749.71/748.45 c cleaning 9993 clauses out of 20003 with flag 115000/1757790 754.01/752.71 c cleaning 9998 clauses out of 20010 with flag 125000/1767790 757.91/756.65 c cleaning 9998 clauses out of 20012 with flag 135000/1777790 762.02/760.73 c cleaning 10001 clauses out of 20016 with flag 145002/1787792 766.22/764.95 c cleaning 10002 clauses out of 20014 with flag 155001/1797791 770.92/769.64 c cleaning 9999 clauses out of 20012 with flag 165001/1807791 774.92/773.61 c cleaning 9999 clauses out of 20013 with flag 175001/1817791 778.92/777.66 c cleaning 9999 clauses out of 20013 with flag 185000/1827790 783.32/782.08 c cleaning 10002 clauses out of 20015 with flag 195001/1837791 787.42/786.14 c cleaning 10000 clauses out of 20014 with flag 205002/1847792 791.33/790.00 c cleaning 9998 clauses out of 20014 with flag 215002/1857792 795.55/794.26 c cleaning 10003 clauses out of 20014 with flag 225000/1867790 799.43/798.17 c cleaning 9999 clauses out of 20013 with flag 235002/1877792 803.63/802.30 c cleaning 10001 clauses out of 20012 with flag 245000/1887790 807.73/806.49 c cleaning 10003 clauses out of 20013 with flag 255002/1897792 811.94/810.63 c cleaning 9998 clauses out of 20009 with flag 265001/1907791 816.23/814.94 c cleaning 10001 clauses out of 20010 with flag 275000/1917790 820.44/819.12 c cleaning 9996 clauses out of 20009 with flag 285000/1927790 824.84/823.54 c cleaning 10000 clauses out of 20013 with flag 295000/1937790 828.94/827.69 c cleaning 10003 clauses out of 20014 with flag 305001/1947791 832.96/831.65 c cleaning 9996 clauses out of 20010 with flag 315000/1957790 836.84/835.57 c cleaning 9998 clauses out of 20014 with flag 325000/1967790 840.66/839.38 c cleaning 10002 clauses out of 20017 with flag 335001/1977791 844.64/843.39 c cleaning 9999 clauses out of 20014 with flag 345000/1987790 848.64/847.32 c cleaning 10001 clauses out of 20015 with flag 355000/1997790 852.54/851.22 c cleaning 9999 clauses out of 20015 with flag 365001/2007791 856.45/855.12 c cleaning 10006 clauses out of 20015 with flag 375000/2017790 861.05/859.71 c cleaning 9998 clauses out of 20009 with flag 385000/2027790 865.15/863.88 c cleaning 9999 clauses out of 20012 with flag 395001/2037791 869.05/867.80 c cleaning 9995 clauses out of 20015 with flag 405003/2047793 873.15/871.83 c cleaning 10000 clauses out of 20018 with flag 415001/2057791 877.25/875.99 c cleaning 10000 clauses out of 20017 with flag 425000/2067790 881.55/880.21 c cleaning 10001 clauses out of 20018 with flag 435001/2077791 885.55/884.27 c cleaning 10002 clauses out of 20017 with flag 445001/2087791 889.75/888.44 c cleaning 10002 clauses out of 20017 with flag 455003/2097793 894.25/892.95 c cleaning 10002 clauses out of 20012 with flag 465000/2107790 898.75/897.46 c cleaning 9995 clauses out of 20010 with flag 475000/2117790 903.55/902.27 c cleaning 9999 clauses out of 20015 with flag 485000/2127790 907.85/906.59 c cleaning 9996 clauses out of 20016 with flag 495000/2137790 912.18/910.85 c cleaning 10004 clauses out of 20022 with flag 505002/2147792 916.46/915.14 c cleaning 10000 clauses out of 20016 with flag 515000/2157790 920.66/919.34 c cleaning 10000 clauses out of 20017 with flag 525001/2167791 924.66/923.38 c cleaning 9997 clauses out of 20016 with flag 535000/2177790 928.68/927.35 c cleaning 9998 clauses out of 20020 with flag 545001/2187791 932.76/931.43 c cleaning 10003 clauses out of 20022 with flag 555001/2197791 936.97/935.68 c cleaning 10000 clauses out of 20018 with flag 565000/2207790 941.37/940.02 c cleaning 9997 clauses out of 20021 with flag 575003/2217793 945.67/944.34 c cleaning 10003 clauses out of 20021 with flag 585000/2227790 950.27/948.90 c cleaning 9998 clauses out of 20019 with flag 595001/2237791 954.67/953.32 c cleaning 10001 clauses out of 20021 with flag 605001/2247791 959.38/958.07 c cleaning 10003 clauses out of 20019 with flag 615000/2257790 963.89/962.57 c cleaning 9995 clauses out of 20016 with flag 625000/2267790 968.29/966.95 c cleaning 10003 clauses out of 20021 with flag 635000/2277790 972.47/971.14 c cleaning 9998 clauses out of 20019 with flag 645001/2287791 976.77/975.49 c cleaning 10000 clauses out of 20022 with flag 655002/2297792 981.50/980.12 c cleaning 10002 clauses out of 20022 with flag 665002/2307792 985.90/984.56 c cleaning 10000 clauses out of 20020 with flag 675002/2317792 990.30/988.94 c cleaning 10003 clauses out of 20019 with flag 685001/2327791 994.48/993.15 c cleaning 9996 clauses out of 20015 with flag 695000/2337790 998.58/997.30 c cleaning 9999 clauses out of 20019 with flag 705000/2347790 1002.78/1001.41 c cleaning 9998 clauses out of 20020 with flag 715000/2357790 1006.88/1005.52 c cleaning 10001 clauses out of 20023 with flag 725001/2367791 1010.88/1009.53 c cleaning 10003 clauses out of 20021 with flag 735000/2377790 1015.08/1013.71 c cleaning 9993 clauses out of 20019 with flag 745001/2387791 1019.28/1017.93 c cleaning 10001 clauses out of 20025 with flag 755000/2397790 1023.19/1021.87 c cleaning 10005 clauses out of 20024 with flag 765000/2407790 1027.28/1025.92 c cleaning 10004 clauses out of 20023 with flag 775004/2417794 1031.18/1029.83 c cleaning 10001 clauses out of 20017 with flag 785002/2427792 1034.99/1033.63 c cleaning 9997 clauses out of 20014 with flag 795000/2437790 1038.79/1037.40 c cleaning 9994 clauses out of 20017 with flag 805000/2447790 1042.59/1041.25 c cleaning 10002 clauses out of 20024 with flag 815001/2457791 1046.59/1045.22 c cleaning 10002 clauses out of 20022 with flag 825001/2467791 1050.81/1049.48 c cleaning 10006 clauses out of 20019 with flag 835000/2477790 1054.89/1053.59 c cleaning 9998 clauses out of 20013 with flag 845000/2487790 1058.99/1057.63 c cleaning 9998 clauses out of 20016 with flag 855001/2497791 1063.29/1061.96 c cleaning 10000 clauses out of 20018 with flag 865001/2507791 1067.79/1066.44 c cleaning 10002 clauses out of 20018 with flag 875001/2517791 1072.39/1071.02 c cleaning 9992 clauses out of 20015 with flag 885000/2527790 1077.10/1075.82 c cleaning 10002 clauses out of 20024 with flag 895001/2537791 1081.80/1080.41 c cleaning 9999 clauses out of 20022 with flag 905001/2547791 1086.20/1084.86 c cleaning 10001 clauses out of 20022 with flag 915000/2557790 1090.60/1089.26 c cleaning 10008 clauses out of 20023 with flag 925002/2567792 1095.00/1093.63 c cleaning 10000 clauses out of 20015 with flag 935002/2577792 1099.11/1097.77 c cleaning 9997 clauses out of 20013 with flag 945000/2587790 1103.40/1102.08 c cleaning 10001 clauses out of 20017 with flag 955001/2597791 1107.60/1106.22 c cleaning 9998 clauses out of 20018 with flag 965003/2607793 1111.70/1110.32 c cleaning 9991 clauses out of 20018 with flag 975001/2617791 1116.00/1114.63 c cleaning 10002 clauses out of 20026 with flag 985000/2627790 1120.30/1118.95 c cleaning 10001 clauses out of 20025 with flag 995001/2637791 1125.01/1123.63 c cleaning 10000 clauses out of 20023 with flag 1005000/2647790 1129.22/1127.87 c cleaning 9998 clauses out of 20024 with flag 1015001/2657791 1133.62/1132.26 c cleaning 10002 clauses out of 20026 with flag 1025001/2667791 1137.52/1136.11 c cleaning 10004 clauses out of 20024 with flag 1035001/2677791 1141.62/1140.22 c cleaning 10003 clauses out of 20019 with flag 1045000/2687790 1145.82/1144.44 c cleaning 10002 clauses out of 20016 with flag 1055000/2697790 1150.12/1148.74 c cleaning 9998 clauses out of 20014 with flag 1065000/2707790 1154.13/1152.82 c cleaning 9999 clauses out of 20016 with flag 1075000/2717790 1158.12/1156.79 c cleaning 9995 clauses out of 20018 with flag 1085001/2727791 1162.42/1161.09 c cleaning 10006 clauses out of 20023 with flag 1095001/2737791 1166.72/1165.37 c cleaning 9995 clauses out of 20016 with flag 1105000/2747790 1170.92/1169.57 c cleaning 10001 clauses out of 20021 with flag 1115000/2757790 1175.14/1173.78 c cleaning 9997 clauses out of 20020 with flag 1125000/2767790 1179.82/1178.48 c cleaning 10003 clauses out of 20023 with flag 1135000/2777790 1184.12/1182.70 c cleaning 10001 clauses out of 20021 with flag 1145001/2787791 1188.62/1187.21 c cleaning 10000 clauses out of 20019 with flag 1155000/2797790 1193.22/1191.88 c cleaning 9999 clauses out of 20021 with flag 1165002/2807792 1197.62/1196.29 c cleaning 9996 clauses out of 20020 with flag 1175000/2817790 1201.82/1200.49 c cleaning 10003 clauses out of 20024 with flag 1185000/2827790 1206.12/1204.79 c cleaning 9998 clauses out of 20022 with flag 1195001/2837791 1210.42/1209.01 c cleaning 10002 clauses out of 20025 with flag 1205002/2847792 1214.74/1213.32 c cleaning 10005 clauses out of 20021 with flag 1215000/2857790 1218.62/1217.29 c cleaning 10004 clauses out of 20016 with flag 1225000/2867790 1222.73/1221.37 c cleaning 9997 clauses out of 20013 with flag 1235001/2877791 1226.84/1225.43 c cleaning 9996 clauses out of 20015 with flag 1245000/2887790 1231.33/1229.93 c cleaning 10001 clauses out of 20019 with flag 1255000/2897790 1235.33/1233.99 c cleaning 9998 clauses out of 20018 with flag 1265000/2907790 1239.63/1238.23 c cleaning 10002 clauses out of 20021 with flag 1275001/2917791 1244.03/1242.66 c cleaning 9997 clauses out of 20018 with flag 1285000/2927790 1248.03/1246.63 c cleaning 9998 clauses out of 20022 with flag 1295001/2937791 1252.15/1250.76 c cleaning 9996 clauses out of 20023 with flag 1305000/2947790 1256.33/1254.95 c cleaning 10008 clauses out of 20031 with flag 1315004/2957794 1260.44/1259.03 c cleaning 9995 clauses out of 20020 with flag 1325001/2967791 1264.44/1263.02 c cleaning 10003 clauses out of 20025 with flag 1335001/2977791 1268.74/1267.31 c cleaning 10003 clauses out of 20021 with flag 1345000/2987790 1272.84/1271.44 c cleaning 9992 clauses out of 20019 with flag 1355001/2997791 1276.84/1275.45 c cleaning 10004 clauses out of 20027 with flag 1365001/3007791 1281.14/1279.73 c cleaning 10007 clauses out of 20022 with flag 1375000/3017790 1285.54/1284.16 c cleaning 10004 clauses out of 20017 with flag 1385002/3027792 1289.74/1288.36 c cleaning 10002 clauses out of 20011 with flag 1395000/3037790 1294.34/1292.98 c cleaning 9990 clauses out of 20010 with flag 1405001/3047791 1298.94/1297.52 c cleaning 9998 clauses out of 20020 with flag 1415001/3057791 1303.24/1301.89 c cleaning 10001 clauses out of 20021 with flag 1425000/3067790 1307.44/1306.08 c cleaning 9997 clauses out of 20020 with flag 1435000/3077790 1311.65/1310.26 c cleaning 10006 clauses out of 20023 with flag 1445000/3087790 1315.86/1314.43 c cleaning 9999 clauses out of 20017 with flag 1455000/3097790 1320.27/1318.89 c cleaning 10000 clauses out of 20020 with flag 1465002/3107792 1324.86/1323.49 c cleaning 10002 clauses out of 20019 with flag 1475001/3117791 1329.56/1328.20 c cleaning 10000 clauses out of 20016 with flag 1485000/3127790 1334.26/1332.81 c cleaning 9997 clauses out of 20016 with flag 1495000/3137790 1338.86/1337.42 c cleaning 10003 clauses out of 20019 with flag 1505000/3147790 1343.16/1341.70 c cleaning 9998 clauses out of 20016 with flag 1515000/3157790 1347.56/1346.10 c cleaning 10001 clauses out of 20018 with flag 1525000/3167790 1351.96/1350.57 c cleaning 9997 clauses out of 20018 with flag 1535001/3177791 1356.06/1354.64 c cleaning 10003 clauses out of 20020 with flag 1545000/3187790 1360.36/1358.90 c cleaning 9990 clauses out of 20017 with flag 1555000/3197790 1364.56/1363.14 c cleaning 10005 clauses out of 20029 with flag 1565002/3207792 1368.86/1367.44 c cleaning 10000 clauses out of 20023 with flag 1575001/3217791 1373.07/1371.71 c cleaning 10006 clauses out of 20022 with flag 1585000/3227790 1377.37/1376.00 c cleaning 10002 clauses out of 20017 with flag 1595001/3237791 1381.38/1379.93 c cleaning 9998 clauses out of 20014 with flag 1605000/3247790 1385.68/1384.27 c cleaning 10000 clauses out of 20016 with flag 1615000/3257790 1389.88/1388.41 c cleaning 9992 clauses out of 20017 with flag 1625001/3267791 1393.89/1392.45 c cleaning 9997 clauses out of 20025 with flag 1635001/3277791 1397.89/1396.47 c cleaning 10005 clauses out of 20027 with flag 1645000/3287790 1402.49/1401.00 c cleaning 10004 clauses out of 20023 with flag 1655001/3297791 1406.89/1405.47 c cleaning 10003 clauses out of 20018 with flag 1665000/3307790 1411.19/1409.70 c cleaning 10001 clauses out of 20015 with flag 1675000/3317790 1415.49/1414.05 c cleaning 9998 clauses out of 20014 with flag 1685000/3327790 1419.79/1418.35 c cleaning 9998 clauses out of 20016 with flag 1695000/3337790 1424.39/1422.91 c cleaning 10003 clauses out of 20019 with flag 1705001/3347791 1428.59/1427.13 c cleaning 9998 clauses out of 20015 with flag 1715000/3357790 1432.90/1431.40 c cleaning 10001 clauses out of 20017 with flag 1725000/3367790 1436.91/1435.49 c cleaning 10003 clauses out of 20016 with flag 1735000/3377790 1441.42/1439.94 c cleaning 9999 clauses out of 20016 with flag 1745003/3387793 1445.60/1444.12 c cleaning 10003 clauses out of 20017 with flag 1755003/3397793 1450.11/1448.68 c cleaning 9999 clauses out of 20011 with flag 1765000/3407790 1454.62/1453.18 c cleaning 9998 clauses out of 20014 with flag 1775002/3417792 1458.92/1457.45 c cleaning 9993 clauses out of 20014 with flag 1785000/3427790 1463.01/1461.55 c cleaning 10004 clauses out of 20021 with flag 1795000/3437790 1467.01/1465.51 c cleaning 9999 clauses out of 20017 with flag 1805000/3447790 1471.41/1469.94 c cleaning 10002 clauses out of 20018 with flag 1815000/3457790 1475.71/1474.23 c cleaning 9993 clauses out of 20018 with flag 1825002/3467792 1479.93/1478.46 c cleaning 10004 clauses out of 20023 with flag 1835000/3477790 1484.11/1482.70 c cleaning 10003 clauses out of 20020 with flag 1845001/3487791 1488.62/1487.13 c cleaning 10001 clauses out of 20016 with flag 1855000/3497790 1493.13/1491.69 c cleaning 10005 clauses out of 20017 with flag 1865002/3507792 1497.42/1495.96 c cleaning 9999 clauses out of 20011 with flag 1875001/3517791 1501.61/1500.16 c cleaning 10000 clauses out of 20012 with flag 1885001/3527791 1505.92/1504.47 c cleaning 9997 clauses out of 20012 with flag 1895001/3537791 1510.02/1508.56 c cleaning 9998 clauses out of 20014 with flag 1905000/3547790 1514.22/1512.73 c cleaning 10000 clauses out of 20017 with flag 1915001/3557791 1518.44/1516.96 c cleaning 10000 clauses out of 20018 with flag 1925002/3567792 1522.73/1521.31 c cleaning 9999 clauses out of 20016 with flag 1935000/3577790 1526.52/1525.05 c cleaning 10000 clauses out of 20019 with flag 1945002/3587792 1530.43/1529.02 c cleaning 10001 clauses out of 20017 with flag 1955000/3597790 1534.83/1533.36 c cleaning 10001 clauses out of 20018 with flag 1965002/3607792 1538.73/1537.27 c cleaning 10000 clauses out of 20015 with flag 1975000/3617790 1542.65/1541.13 c cleaning 9998 clauses out of 20015 with flag 1985000/3627790 1547.05/1545.59 c cleaning 10000 clauses out of 20018 with flag 1995001/3637791 1551.34/1549.83 c cleaning 9997 clauses out of 20017 with flag 2005000/3647790 1555.63/1554.10 c cleaning 10001 clauses out of 20020 with flag 2015000/3657790 1559.53/1558.09 c cleaning 9999 clauses out of 20019 with flag 2025000/3667790 1563.73/1562.25 c cleaning 10005 clauses out of 20021 with flag 2035001/3677791 1567.84/1566.34 c cleaning 9997 clauses out of 20016 with flag 2045001/3687791 1572.04/1570.50 c cleaning 9998 clauses out of 20019 with flag 2055001/3697791 1576.14/1574.61 c cleaning 10006 clauses out of 20022 with flag 2065002/3707792 1580.24/1578.76 c cleaning 9994 clauses out of 20014 with flag 2075000/3717790 1584.35/1582.87 c cleaning 10001 clauses out of 20020 with flag 2085000/3727790 1588.65/1587.12 c cleaning 9999 clauses out of 20020 with flag 2095001/3737791 1592.85/1591.39 c cleaning 10002 clauses out of 20021 with flag 2105001/3747791 1597.15/1595.62 c cleaning 9998 clauses out of 20018 with flag 2115000/3757790 1601.15/1599.62 c cleaning 10001 clauses out of 20021 with flag 2125001/3767791 1605.37/1603.84 c cleaning 10001 clauses out of 20020 with flag 2135001/3777791 1609.55/1608.02 c cleaning 10002 clauses out of 20018 with flag 2145000/3787790 1613.85/1612.31 c cleaning 10001 clauses out of 20019 with flag 2155003/3797793 1617.95/1616.43 c cleaning 10001 clauses out of 20015 with flag 2165000/3807790 1622.15/1620.60 c cleaning 9997 clauses out of 20016 with flag 2175002/3817792 1626.35/1624.89 c cleaning 10000 clauses out of 20018 with flag 2185001/3827791 1630.56/1629.02 c cleaning 9999 clauses out of 20017 with flag 2195000/3837790 1634.65/1633.12 c cleaning 9999 clauses out of 20018 with flag 2205000/3847790 1638.86/1637.39 c cleaning 9998 clauses out of 20020 with flag 2215001/3857791 1643.26/1641.78 c cleaning 10002 clauses out of 20021 with flag 2225000/3867790 1647.86/1646.39 c cleaning 9995 clauses out of 20020 with flag 2235001/3877791 1652.16/1650.62 c cleaning 10003 clauses out of 20025 with flag 2245001/3887791 1656.36/1654.86 c cleaning 10002 clauses out of 20021 with flag 2255000/3897790 1660.46/1658.93 c cleaning 10005 clauses out of 20020 with flag 2265001/3907791 1664.67/1663.13 c cleaning 10001 clauses out of 20014 with flag 2275000/3917790 1668.67/1667.18 c cleaning 9994 clauses out of 20013 with flag 2285000/3927790 1672.97/1671.46 c cleaning 10005 clauses out of 20020 with flag 2295001/3937791 1677.27/1675.73 c cleaning 9999 clauses out of 20014 with flag 2305000/3947790 1681.37/1679.83 c cleaning 9998 clauses out of 20015 with flag 2315000/3957790 1685.47/1683.99 c cleaning 10000 clauses out of 20017 with flag 2325000/3967790 1689.69/1688.16 c cleaning 9998 clauses out of 20019 with flag 2335002/3977792 1694.09/1692.53 c cleaning 10006 clauses out of 20020 with flag 2345001/3987791 1698.19/1696.65 c cleaning 9998 clauses out of 20014 with flag 2355001/3997791 1702.39/1700.83 c cleaning 9999 clauses out of 20015 with flag 2365000/4007790 1706.89/1705.37 c cleaning 10002 clauses out of 20016 with flag 2375000/4017790 1711.20/1709.68 c cleaning 9999 clauses out of 20015 with flag 2385001/4027791 1715.60/1714.08 c cleaning 10003 clauses out of 20017 with flag 2395002/4037792 1720.20/1718.62 c cleaning 9995 clauses out of 20014 with flag 2405002/4047792 1724.41/1722.88 c cleaning 10003 clauses out of 20018 with flag 2415001/4057791 1728.63/1727.04 c cleaning 9992 clauses out of 20014 with flag 2425000/4067790 1732.81/1731.25 c cleaning 10002 clauses out of 20023 with flag 2435001/4077791 1737.01/1735.47 c cleaning 10005 clauses out of 20022 with flag 2445002/4087792 1741.31/1739.75 c cleaning 10001 clauses out of 20016 with flag 2455001/4097791 1745.41/1743.82 c cleaning 10001 clauses out of 20015 with flag 2465001/4107791 1749.42/1747.87 c cleaning 9998 clauses out of 20014 with flag 2475001/4117791 1753.61/1752.05 c cleaning 9997 clauses out of 20015 with flag 2485000/4127790 1757.71/1756.17 c cleaning 10005 clauses out of 20019 with flag 2495001/4137791 1761.82/1760.26 c cleaning 9997 clauses out of 20013 with flag 2505000/4147790 1765.92/1764.39 c cleaning 9998 clauses out of 20016 with flag 2515000/4157790 1770.21/1768.64 c cleaning 10001 clauses out of 20019 with flag 2525001/4167791 1774.31/1772.80 c cleaning 9999 clauses out of 20018 with flag 2535001/4177791 1778.91/1777.39 c cleaning 9997 clauses out of 20018 with flag 2545000/4187790 1783.32/1781.70 c cleaning 10002 clauses out of 20021 with flag 2555000/4197790 1787.62/1786.05 c cleaning 10004 clauses out of 20020 with flag 2565001/4207791 1791.72/1790.14 c cleaning 9996 clauses out of 20015 with flag 2575000/4217790 1795.74/1794.13 c cleaning 10002 clauses out of 20021 with flag 2585002/4227792 1799.72/1798.17 c cleaning 10000 clauses out of 20018 with flag 2595001/4237791 1800.05/1798.44 c starts : 263 1800.05/1798.44 c conflicts : 4238471 1800.05/1798.44 c decisions : 4737519 1800.05/1798.44 c propagations : 658740113 1800.05/1798.44 c inspects : 12827404546 1800.05/1798.44 c shortcuts : 0 1800.05/1798.44 c learnt literals : 6 1800.05/1798.44 c learnt binary clauses : 17 1800.05/1798.44 c learnt ternary clauses : 40 1800.05/1798.44 c learnt constraints : 4238465 1800.05/1798.44 c ignored constraints : 0 1800.05/1798.44 c root simplifications : 0 1800.05/1798.44 c removed literals (reason simplification) : 49034715 1800.05/1798.44 c reason swapping (by a shorter reason) : 0 1800.05/1798.44 c Calls to reduceDB : 430 1800.05/1798.44 c number of reductions to clauses (during analyze) : 0 1800.05/1798.44 c number of learned constraints concerned by reduction : 0 1800.05/1798.44 c number of learning phase by resolution : 0 1800.05/1798.44 c number of learning phase by cutting planes : 0 1800.05/1798.44 c speed (assignments/second) : 599702.4266121654 1800.05/1798.44 c non guided choices 4118 1800.05/1798.45 c learnt constraints type 1800.05/1798.45 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17 1800.05/1798.45 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10697 1800.05/1798.45 c constraints type 1800.05/1798.45 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2431 1800.05/1798.45 s SATISFIABLE 1800.05/1798.45 v x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 x60 x61 -x62 -x63 x64 x65 x66 x67 x68 -x69 -x70 -x71 x72 -x73 x74 x75 -x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 -x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 -x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 -x177 x178 x179 x180 x181 x182 x183 -x184 x185 -x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 -x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 -x229 x230 x231 x232 x233 x234 x235 -x236 -x237 -x238 x239 x240 x241 x242 x243 x244 x245 -x246 x247 x248 x249 x250 x251 x252 -x253 x254 x255 x256 x257 x258 x259 -x260 -x261 x262 x263 x264 x265 x266 -x267 x268 x269 x270 x271 x272 -x273 x274 x275 x276 x277 -x278 x279 x280 x281 -x282 x283 x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 -x306 x307 x308 x309 x310 x311 -x312 x313 x314 x315 x316 x317 -x318 x319 x320 x321 x322 -x323 x324 x325 x326 -x327 x328 x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 -x348 x349 x350 x351 x352 -x353 x354 x355 x356 x357 -x358 -x359 x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 x374 x375 x376 -x377 x378 x379 x380 -x381 x382 x383 x384 -x385 x386 x387 x388 -x389 x390 x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 -x416 x417 x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 -x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 -x498 x499 x500 x501 x502 x503 x504 -x505 x506 -x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 -x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 -x542 x543 x544 x545 x546 x547 x548 -x549 -x550 -x551 -x552 x553 x554 x555 x556 x557 x558 -x559 x560 x561 x562 x563 x564 x565 -x566 -x567 x568 x569 x570 x571 x572 -x573 x574 x575 x576 x577 x578 -x579 x580 x581 x582 x583 -x584 x585 x586 x587 -x588 x589 x590 -x591 -x592 -x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 -x606 x607 x608 x609 x610 x611 -x612 x613 x614 x615 x616 x617 -x618 x619 x620 x621 x622 -x623 x624 x625 x626 -x627 x628 x629 -x630 -x631 -x632 x633 x634 x635 x636 x637 x638 x639 x640 x641 x642 -x643 x644 x645 x646 x647 -x648 x649 x650 x651 x652 -x653 -x654 x655 x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 x670 x671 -x672 x673 x674 x675 -x676 x677 x678 x679 -x680 x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 x701 x702 x703 -x704 x705 x706 -x707 x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 x750 x751 x752 x753 x754 x755 -x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768 x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 -x784 x785 x786 x787 x788 x789 x790 -x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 -x809 x810 x811 x812 x813 x814 x815 -x816 -x817 -x818 x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 x835 x836 x837 x838 x839 x840 x841 -x842 x843 x844 x845 x846 x847 x848 -x849 -x850 -x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 -x867 -x868 x869 x870 x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 x883 x884 x885 -x886 x887 x888 x889 -x890 x891 x892 x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 x909 x910 x911 x912 x913 x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 -x970 x971 x972 x973 x974 x975 x976 -x977 -x978 -x979 x980 x981 x982 x983 x984 x985 x986 x987 x988 x989 x990 x991 x992 x993 x994 x995 x996 -x997 x998 x999 x1000 x1001 x1002 x1003 -x1004 -x1005 -x1006 x1007 x1008 x1009 x1010 x1011 x1012 x1013 x1014 x1015 x1016 -x1017 -x1018 x1019 x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 x1034 x1035 -x1036 x1037 x1038 x1039 -x1040 -x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 x1055 x1056 x1057 x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1099 x1100 x1101 x1102 x1103 x1104 x1105 x1106 x1107 x1108 x1109 x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 -x1123 x1124 x1125 x1126 x1127 x1128 x1129 -x1130 -x1131 -x1132 x1133 x1134 x1135 x1136 -x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 x1184 x1185 x1186 x1187 -x1188 x1189 x1190 x1191 x1192 x1193 x1194 -x1195 -x1196 -x1197 -x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 x1241 -x1242 x1243 x1244 -x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 x1269 x1270 -x1271 x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 1800.05/1798.45 c objective function=74 1800.05/1798.45 c Total wall clock time (in seconds): 1798.338
OK 74
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-3459028-1307154331/watcher-3459028-1307154331 -o /tmp/evaluation-result-3459028-1307154331/solver-3459028-1307154331 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459028-1307154331.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.05 2.01 3/572 9131 /proc/meminfo: memFree=24667024/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=28436 CPUtime=0 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 1185 0 0 0 0 0 0 0 25 0 2 0 827030180 29118464 914 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 7645 916 696 9 0 381 0 [pid=9131/tid=9132] ppid=9129 vsize=13526316 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 6489 0 1 0 0 0 0 0 25 0 2 0 827030181 13850947584 7305 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.099513 s] /proc/loadavg: 2.02 2.05 2.01 3/572 9131 /proc/meminfo: memFree=24667024/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13621668 CPUtime=0.09 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 15422 0 1 0 8 1 0 0 25 0 18 0 827030180 13948588032 15078 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3405417 15078 2083 9 0 3396151 0 [pid=9131/tid=9132] ppid=9129 vsize=13621668 CPUtime=0.08 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 13478 0 1 0 7 1 0 0 18 0 18 0 827030181 13948588032 15078 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 48006819470163 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13621668 [startup+0.100512 s] /proc/loadavg: 2.02 2.05 2.01 3/572 9131 /proc/meminfo: memFree=24667024/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13621668 CPUtime=0.09 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 15440 0 1 0 8 1 0 0 25 0 18 0 827030180 13948588032 15096 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3405417 15096 2092 9 0 3396151 0 [pid=9131/tid=9132] ppid=9129 vsize=13621668 CPUtime=0.08 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 13486 0 1 0 7 1 0 0 18 0 18 0 827030181 13948588032 15096 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488520885 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13621668 [startup+0.300474 s] /proc/loadavg: 2.02 2.05 2.01 3/572 9131 /proc/meminfo: memFree=24667024/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13622296 CPUtime=0.43 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 20666 0 1 0 41 2 0 0 25 0 18 0 827030180 13949231104 18893 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3405574 18893 2192 9 0 3396308 0 [pid=9131/tid=9132] ppid=9129 vsize=13622296 CPUtime=0.27 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 14914 0 1 0 26 1 0 0 18 0 18 0 827030181 13949231104 18893 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505195876 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 13622296 [startup+0.700399 s] /proc/loadavg: 2.02 2.05 2.01 3/572 9131 /proc/meminfo: memFree=24667024/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13625000 CPUtime=1.33 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 32186 0 1 0 130 3 0 0 25 0 19 0 827030180 13952000000 28855 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3406250 28855 2227 9 0 3396984 0 [pid=9131/tid=9132] ppid=9129 vsize=13625000 CPUtime=0.66 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 24071 0 1 0 64 2 0 0 19 0 19 0 827030181 13952000000 28855 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505735561 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 13625000 [startup+1.50131 s] /proc/loadavg: 2.26 2.10 2.03 3/591 9150 /proc/meminfo: memFree=24558628/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13625000 CPUtime=2.2 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 32331 0 1 0 217 3 0 0 25 0 19 0 827030180 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3406250 28999 2231 9 0 3396984 0 [pid=9131/tid=9132] ppid=9129 vsize=13625000 CPUtime=1.46 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 24202 0 1 0 144 2 0 0 20 0 19 0 827030181 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505747087 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9131/tid=9134] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9134/stat : 9134 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030182 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9135] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9135/stat : 9135 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9136] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9136/stat : 9136 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9137] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9137/stat : 9137 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9138] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9138/stat : 9138 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9139] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9139/stat : 9139 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9140] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9140/stat : 9140 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9141] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9141/stat : 9141 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9142] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9142/stat : 9142 (java) S 9129 9131 6003 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 0 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9143] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9143/stat : 9143 (java) S 9129 9131 6003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827030184 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9144] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9144/stat : 9144 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827030184 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9145] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9145/stat : 9145 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488518577 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9146] ppid=9129 vsize=13625000 CPUtime=0.43 cores=1,3,5,7 /proc/9131/task/9146/stat : 9146 (java) S 9129 9131 6003 0 -1 4202560 5794 0 0 0 43 0 0 0 15 0 19 0 827030186 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9147] ppid=9129 vsize=13625000 CPUtime=0.28 cores=1,3,5,7 /proc/9131/task/9147/stat : 9147 (java) S 9129 9131 6003 0 -1 4202560 1176 0 0 0 28 0 0 0 25 0 19 0 827030186 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9148] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9148/stat : 9148 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9149] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9149/stat : 9149 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827030186 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9150] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9150/stat : 9150 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827030237 13952000000 28999 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 13625000 [startup+3.10094 s] /proc/loadavg: 2.26 2.10 2.03 3/591 9150 /proc/meminfo: memFree=24556644/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13625000 CPUtime=3.87 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 32557 0 1 0 384 3 0 0 25 0 19 0 827030180 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3406250 29224 2234 9 0 3396984 0 [pid=9131/tid=9132] ppid=9129 vsize=13625000 CPUtime=3.06 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 24411 0 1 0 304 2 0 0 18 0 19 0 827030181 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505796709 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=9131/tid=9134] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9134/stat : 9134 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030182 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9135] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9135/stat : 9135 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9136] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9136/stat : 9136 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9137] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9137/stat : 9137 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9138] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9138/stat : 9138 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9139] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9139/stat : 9139 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9140] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9140/stat : 9140 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9141] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9141/stat : 9141 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030183 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9142] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9142/stat : 9142 (java) S 9129 9131 6003 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 0 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9143] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9143/stat : 9143 (java) S 9129 9131 6003 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827030184 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9144] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9144/stat : 9144 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827030184 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9145] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9145/stat : 9145 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488518577 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9146] ppid=9129 vsize=13625000 CPUtime=0.44 cores=1,3,5,7 /proc/9131/task/9146/stat : 9146 (java) S 9129 9131 6003 0 -1 4202560 5797 0 0 0 44 0 0 0 15 0 19 0 827030186 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9147] ppid=9129 vsize=13625000 CPUtime=0.35 cores=1,3,5,7 /proc/9131/task/9147/stat : 9147 (java) R 9129 9131 6003 0 -1 4202560 1190 0 0 0 35 0 0 0 16 0 19 0 827030186 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 48006815800671 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9131/tid=9148] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9148/stat : 9148 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9149] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9149/stat : 9149 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827030186 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9150] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9150/stat : 9150 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827030237 13952000000 29224 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.87 Current children cumulated vsize (KiB) 13625000 [startup+6.30132 s] /proc/loadavg: 2.26 2.10 2.03 3/591 9150 /proc/meminfo: memFree=24549004/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13625000 CPUtime=7.28 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 34179 0 1 0 724 4 0 0 25 0 19 0 827030180 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3406250 30825 2260 9 0 3396984 0 [pid=9131/tid=9132] ppid=9129 vsize=13625000 CPUtime=6.23 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 24523 0 1 0 621 2 0 0 25 0 19 0 827030181 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505735705 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=9131/tid=9134] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9134/stat : 9134 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827030182 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9135] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9135/stat : 9135 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827030183 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9136] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9136/stat : 9136 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827030183 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9137] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9137/stat : 9137 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827030183 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9138] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9138/stat : 9138 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827030183 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9139] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9139/stat : 9139 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827030183 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9140] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9140/stat : 9140 (java) S 9129 9131 6003 0 -1 4202560 346 0 0 0 0 0 0 0 18 0 19 0 827030183 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9141] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9141/stat : 9141 (java) S 9129 9131 6003 0 -1 4202560 387 0 0 0 0 0 0 0 18 0 19 0 827030183 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9142] ppid=9129 vsize=13625000 CPUtime=0.01 cores=1,3,5,7 /proc/9131/task/9142/stat : 9142 (java) S 9129 9131 6003 0 -1 4202560 732 0 0 0 1 0 0 0 15 0 19 0 827030184 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 0 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9143] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9143/stat : 9143 (java) S 9129 9131 6003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9144] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9144/stat : 9144 (java) S 9129 9131 6003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9145] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9145/stat : 9145 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488518577 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9146] ppid=9129 vsize=13625000 CPUtime=0.53 cores=1,3,5,7 /proc/9131/task/9146/stat : 9146 (java) S 9129 9131 6003 0 -1 4202560 5814 0 0 0 53 0 0 0 15 0 19 0 827030186 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9147] ppid=9129 vsize=13625000 CPUtime=0.47 cores=1,3,5,7 /proc/9131/task/9147/stat : 9147 (java) S 9129 9131 6003 0 -1 4202560 1221 0 0 0 47 0 0 0 15 0 19 0 827030186 13952000000 30825 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 ################ # More data... # ################ [pid=9131/tid=9139] ppid=9129 vsize=13625000 CPUtime=0.11 cores=1,3,5,7 /proc/9131/task/9139/stat : 9139 (java) S 9129 9131 6003 0 -1 4202560 15 0 0 0 11 0 0 0 15 0 19 0 827030183 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9140] ppid=9129 vsize=13625000 CPUtime=0.15 cores=1,3,5,7 /proc/9131/task/9140/stat : 9140 (java) S 9129 9131 6003 0 -1 4202560 354 0 0 0 15 0 0 0 15 0 19 0 827030183 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9141] ppid=9129 vsize=13625000 CPUtime=0.12 cores=1,3,5,7 /proc/9131/task/9141/stat : 9141 (java) S 9129 9131 6003 0 -1 4202560 402 0 0 0 12 0 0 0 16 0 19 0 827030183 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9142] ppid=9129 vsize=13625000 CPUtime=6.72 cores=1,3,5,7 /proc/9131/task/9142/stat : 9142 (java) S 9129 9131 6003 0 -1 4202560 1440 0 0 0 665 7 0 0 15 0 19 0 827030184 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 0 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9143] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9143/stat : 9143 (java) S 9129 9131 6003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9144] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9144/stat : 9144 (java) S 9129 9131 6003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9145] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9145/stat : 9145 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488518577 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9146] ppid=9129 vsize=13625000 CPUtime=0.6 cores=1,3,5,7 /proc/9131/task/9146/stat : 9146 (java) S 9129 9131 6003 0 -1 4202560 5819 0 0 0 60 0 0 0 15 0 19 0 827030186 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9147] ppid=9129 vsize=13625000 CPUtime=0.48 cores=1,3,5,7 /proc/9131/task/9147/stat : 9147 (java) S 9129 9131 6003 0 -1 4202560 1222 0 0 0 48 0 0 0 15 0 19 0 827030186 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9148] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9148/stat : 9148 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9149] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9149/stat : 9149 (java) S 9129 9131 6003 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 827030186 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9150] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9150/stat : 9150 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827030237 13952000000 31796 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1663.87 Current children cumulated vsize (KiB) 13625000 [startup+1722.3 s] /proc/loadavg: 2.11 2.07 2.01 3/591 9197 /proc/meminfo: memFree=24499452/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13625000 CPUtime=1723.91 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 35769 0 1 0 172374 17 0 0 25 0 19 0 827030180 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3406250 31803 2261 9 0 3396984 0 [pid=9131/tid=9132] ppid=9129 vsize=13625000 CPUtime=1714.72 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 24934 0 1 0 171469 3 0 0 25 0 19 0 827030181 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505917892 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9131/tid=9134] ppid=9129 vsize=13625000 CPUtime=0.11 cores=1,3,5,7 /proc/9131/task/9134/stat : 9134 (java) S 9129 9131 6003 0 -1 4202560 188 0 0 0 11 0 0 0 15 0 19 0 827030182 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9135] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9135/stat : 9135 (java) S 9129 9131 6003 0 -1 4202560 28 0 0 0 13 0 0 0 16 0 19 0 827030183 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9136] ppid=9129 vsize=13625000 CPUtime=0.14 cores=1,3,5,7 /proc/9131/task/9136/stat : 9136 (java) S 9129 9131 6003 0 -1 4202560 79 0 0 0 14 0 0 0 15 0 19 0 827030183 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9137] ppid=9129 vsize=13625000 CPUtime=0.12 cores=1,3,5,7 /proc/9131/task/9137/stat : 9137 (java) S 9129 9131 6003 0 -1 4202560 14 0 0 0 12 0 0 0 15 0 19 0 827030183 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9138] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9138/stat : 9138 (java) S 9129 9131 6003 0 -1 4202560 16 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9139] ppid=9129 vsize=13625000 CPUtime=0.12 cores=1,3,5,7 /proc/9131/task/9139/stat : 9139 (java) S 9129 9131 6003 0 -1 4202560 15 0 0 0 12 0 0 0 15 0 19 0 827030183 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9140] ppid=9129 vsize=13625000 CPUtime=0.15 cores=1,3,5,7 /proc/9131/task/9140/stat : 9140 (java) S 9129 9131 6003 0 -1 4202560 354 0 0 0 15 0 0 0 15 0 19 0 827030183 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9141] ppid=9129 vsize=13625000 CPUtime=0.12 cores=1,3,5,7 /proc/9131/task/9141/stat : 9141 (java) S 9129 9131 6003 0 -1 4202560 402 0 0 0 12 0 0 0 15 0 19 0 827030183 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9142] ppid=9129 vsize=13625000 CPUtime=6.95 cores=1,3,5,7 /proc/9131/task/9142/stat : 9142 (java) S 9129 9131 6003 0 -1 4202560 1451 0 0 0 688 7 0 0 15 0 19 0 827030184 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 0 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9143] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9143/stat : 9143 (java) S 9129 9131 6003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9144] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9144/stat : 9144 (java) S 9129 9131 6003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9145] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9145/stat : 9145 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488518577 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9146] ppid=9129 vsize=13625000 CPUtime=0.6 cores=1,3,5,7 /proc/9131/task/9146/stat : 9146 (java) S 9129 9131 6003 0 -1 4202560 5819 0 0 0 60 0 0 0 15 0 19 0 827030186 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9147] ppid=9129 vsize=13625000 CPUtime=0.48 cores=1,3,5,7 /proc/9131/task/9147/stat : 9147 (java) S 9129 9131 6003 0 -1 4202560 1222 0 0 0 48 0 0 0 15 0 19 0 827030186 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9148] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9148/stat : 9148 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9149] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9149/stat : 9149 (java) S 9129 9131 6003 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827030186 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9150] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9150/stat : 9150 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827030237 13952000000 31803 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1723.91 Current children cumulated vsize (KiB) 13625000 [startup+1782.3 s] /proc/loadavg: 2.08 2.07 2.01 3/591 9198 /proc/meminfo: memFree=24498308/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13625000 CPUtime=1783.92 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 35846 0 1 0 178375 17 0 0 25 0 19 0 827030180 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3406250 31857 2261 9 0 3396984 0 [pid=9131/tid=9132] ppid=9129 vsize=13625000 CPUtime=1774.44 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 24949 0 1 0 177441 3 0 0 25 0 19 0 827030181 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505735457 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9131/tid=9134] ppid=9129 vsize=13625000 CPUtime=0.11 cores=1,3,5,7 /proc/9131/task/9134/stat : 9134 (java) S 9129 9131 6003 0 -1 4202560 189 0 0 0 11 0 0 0 15 0 19 0 827030182 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9135] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9135/stat : 9135 (java) S 9129 9131 6003 0 -1 4202560 28 0 0 0 13 0 0 0 16 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9136] ppid=9129 vsize=13625000 CPUtime=0.14 cores=1,3,5,7 /proc/9131/task/9136/stat : 9136 (java) S 9129 9131 6003 0 -1 4202560 79 0 0 0 14 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9137] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9137/stat : 9137 (java) S 9129 9131 6003 0 -1 4202560 14 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9138] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9138/stat : 9138 (java) S 9129 9131 6003 0 -1 4202560 16 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9139] ppid=9129 vsize=13625000 CPUtime=0.12 cores=1,3,5,7 /proc/9131/task/9139/stat : 9139 (java) S 9129 9131 6003 0 -1 4202560 15 0 0 0 12 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9140] ppid=9129 vsize=13625000 CPUtime=0.15 cores=1,3,5,7 /proc/9131/task/9140/stat : 9140 (java) S 9129 9131 6003 0 -1 4202560 354 0 0 0 15 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9141] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9141/stat : 9141 (java) S 9129 9131 6003 0 -1 4202560 402 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9142] ppid=9129 vsize=13625000 CPUtime=7.21 cores=1,3,5,7 /proc/9131/task/9142/stat : 9142 (java) S 9129 9131 6003 0 -1 4202560 1508 0 0 0 713 8 0 0 16 0 19 0 827030184 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 0 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9143] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9143/stat : 9143 (java) S 9129 9131 6003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9144] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9144/stat : 9144 (java) S 9129 9131 6003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9145] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9145/stat : 9145 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488518577 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9146] ppid=9129 vsize=13625000 CPUtime=0.6 cores=1,3,5,7 /proc/9131/task/9146/stat : 9146 (java) S 9129 9131 6003 0 -1 4202560 5819 0 0 0 60 0 0 0 15 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9147] ppid=9129 vsize=13625000 CPUtime=0.48 cores=1,3,5,7 /proc/9131/task/9147/stat : 9147 (java) S 9129 9131 6003 0 -1 4202560 1222 0 0 0 48 0 0 0 15 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9148] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9148/stat : 9148 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9149] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9149/stat : 9149 (java) S 9129 9131 6003 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9150] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9150/stat : 9150 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827030237 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1783.92 Current children cumulated vsize (KiB) 13625000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.4 s] /proc/loadavg: 2.06 2.06 2.01 3/567 9223 /proc/meminfo: memFree=24832148/32950928 swapFree=67056580/67111528 [pid=9131] ppid=9129 vsize=13625000 CPUtime=1800.05 cores=1,3,5,7 /proc/9131/stat : 9131 (java) S 9129 9131 6003 0 -1 4202496 35850 0 1 0 179988 17 0 0 25 0 19 0 827030180 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/9131/statm: 3406250 31857 2261 9 0 3396984 0 [pid=9131/tid=9132] ppid=9129 vsize=13625000 CPUtime=1790.51 cores=1,3,5,7 /proc/9131/task/9132/stat : 9132 (java) R 9129 9131 6003 0 -1 4202560 24953 0 1 0 179048 3 0 0 25 0 19 0 827030181 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 46912505746864 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=9131/tid=9134] ppid=9129 vsize=13625000 CPUtime=0.11 cores=1,3,5,7 /proc/9131/task/9134/stat : 9134 (java) S 9129 9131 6003 0 -1 4202560 189 0 0 0 11 0 0 0 15 0 19 0 827030182 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9135] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9135/stat : 9135 (java) S 9129 9131 6003 0 -1 4202560 28 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9136] ppid=9129 vsize=13625000 CPUtime=0.14 cores=1,3,5,7 /proc/9131/task/9136/stat : 9136 (java) S 9129 9131 6003 0 -1 4202560 79 0 0 0 14 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9137] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9137/stat : 9137 (java) S 9129 9131 6003 0 -1 4202560 14 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9138] ppid=9129 vsize=13625000 CPUtime=0.14 cores=1,3,5,7 /proc/9131/task/9138/stat : 9138 (java) S 9129 9131 6003 0 -1 4202560 16 0 0 0 14 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9139] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9139/stat : 9139 (java) S 9129 9131 6003 0 -1 4202560 15 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9140] ppid=9129 vsize=13625000 CPUtime=0.16 cores=1,3,5,7 /proc/9131/task/9140/stat : 9140 (java) S 9129 9131 6003 0 -1 4202560 354 0 0 0 16 0 0 0 16 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 7 0 0 0 [pid=9131/tid=9141] ppid=9129 vsize=13625000 CPUtime=0.13 cores=1,3,5,7 /proc/9131/task/9141/stat : 9141 (java) S 9129 9131 6003 0 -1 4202560 402 0 0 0 13 0 0 0 15 0 19 0 827030183 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9142] ppid=9129 vsize=13625000 CPUtime=7.28 cores=1,3,5,7 /proc/9131/task/9142/stat : 9142 (java) S 9129 9131 6003 0 -1 4202560 1508 0 0 0 720 8 0 0 16 0 19 0 827030184 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 0 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9143] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9143/stat : 9143 (java) S 9129 9131 6003 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9144] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9144/stat : 9144 (java) S 9129 9131 6003 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827030184 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9145] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9145/stat : 9145 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488518577 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9146] ppid=9129 vsize=13625000 CPUtime=0.6 cores=1,3,5,7 /proc/9131/task/9146/stat : 9146 (java) S 9129 9131 6003 0 -1 4202560 5819 0 0 0 60 0 0 0 15 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9147] ppid=9129 vsize=13625000 CPUtime=0.48 cores=1,3,5,7 /proc/9131/task/9147/stat : 9147 (java) S 9129 9131 6003 0 -1 4202560 1222 0 0 0 48 0 0 0 15 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 5 0 0 0 [pid=9131/tid=9148] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9148/stat : 9148 (java) S 9129 9131 6003 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488510873 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 [pid=9131/tid=9149] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9149/stat : 9149 (java) S 9129 9131 6003 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827030186 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 3 0 0 0 [pid=9131/tid=9150] ppid=9129 vsize=13625000 CPUtime=0 cores=1,3,5,7 /proc/9131/task/9150/stat : 9150 (java) S 9129 9131 6003 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827030237 13952000000 31857 33554432000 1073741824 1073778376 140735432249712 18446744073709551615 239488511488 0 4 0 16800975 18446604461255215232 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 13625000 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): 1798.47 CPU time (s): 1800.11 CPU user time (s): 1799.92 CPU system time (s): 0.188971 CPU usage (%): 100.092 Max. virtual memory (cumulated for all children) (KiB): 13625000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.188971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35908 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= 49351 involuntary context switches= 13031 runsolver used 9.8705 second user time and 22.9395 second system time The end
Begin job on node148 at 2011-06-04 04:25:31 IDJOB=3459028 IDBENCH=2940 IDSOLVER=1952 FILE ID=node148/3459028-1307154331 RUNJOBID= node148-1307147129-7892 PBS_JOBID= 13508768 Free space on /tmp= 73896 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459028-1307154331/watcher-3459028-1307154331 -o /tmp/evaluation-result-3459028-1307154331/solver-3459028-1307154331 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459028-1307154331.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a RANDOM SEED=847191349 node148.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.854 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.70 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.854 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.75 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.854 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.83 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.854 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.75 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.854 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.82 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.854 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.75 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.854 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.82 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.854 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 24667180 kB Buffers: 249684 kB Cached: 611904 kB SwapCached: 7908 kB Active: 7475184 kB Inactive: 500104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24667180 kB SwapTotal: 67111528 kB SwapFree: 67056580 kB Dirty: 3848 kB Writeback: 0 kB AnonPages: 7112128 kB Mapped: 51868 kB Slab: 179824 kB PageTables: 58252 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 183810980 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73896 MiB End job on node148 at 2011-06-04 04:55:32