Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 285 | 1800.35 | 1072.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb |
MD5SUM | 87c08328e44aaf86c5913a3ba08592cd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 245 |
Best CPU time to get the best result obtained on this benchmark | 17.4913 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 245 |
Optimality of the best value was proved | YES |
Number of variables | 1264 |
Total number of constraints | 1090 |
Number of constraints which are clauses | 1090 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 1264 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1264 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1264 |
Number of bits of the biggest sum of numbers | 11 |
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.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 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 phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3454343-1307192175.opb 0.09/0.12 c reading problem ... 0.44/0.30 c ... done. Wall clock time 0.184s. 0.44/0.30 c #vars 1264 0.44/0.30 c #constraints 1090 0.44/0.30 c constraints type 0.44/0.30 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 990 0.44/0.30 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100 0.44/0.30 c constraints type 0.44/0.30 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100 0.44/0.30 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 990 0.44/0.33 c And the winner is Resolution 0.52/0.82 c SATISFIABLE 0.52/0.82 c OPTIMIZING... 0.52/0.82 c Got one! Elapsed wall clock time (in seconds):0.704 0.52/0.82 o 303 1.55/1.25 c And the winner is Resolution 1.75/1.33 c Got one! Elapsed wall clock time (in seconds):1.215 1.75/1.33 o 299 2.56/1.79 c cleaning 2865 clauses out of 5742 with flag 4001/5742 4.17/2.42 c cleaning 4430 clauses out of 8877 with flag 10001/11742 5.60/3.17 c cleaning 5717 clauses out of 11446 with flag 17000/18741 7.21/3.99 c cleaning 6860 clauses out of 13729 with flag 25000/26741 8.04/4.33 c And the winner is CuttingPlanes 8.04/4.35 c Got one! Elapsed wall clock time (in seconds):4.235 8.04/4.35 o 293 8.50/4.58 c cleaning 5968 clauses out of 11941 with flag 2000/31813 9.85/5.21 c cleaning 5981 clauses out of 11974 with flag 8001/37814 11.29/5.95 c cleaning 6491 clauses out of 12992 with flag 15000/44813 12.91/6.79 c cleaning 7249 clauses out of 14501 with flag 23000/52813 15.07/7.85 c cleaning 8120 clauses out of 16252 with flag 32000/61813 17.23/8.96 c cleaning 9061 clauses out of 18133 with flag 42001/71814 19.56/10.13 c cleaning 9530 clauses out of 19071 with flag 52000/81813 21.73/11.22 c cleaning 9763 clauses out of 19541 with flag 62000/91813 24.06/12.40 c cleaning 9882 clauses out of 19778 with flag 72000/101813 24.06/12.46 c And the winner is CuttingPlanes 24.14/12.90 c Got one! Elapsed wall clock time (in seconds):12.783 24.14/12.90 o 292 25.15/13.47 c cleaning 7454 clauses out of 14917 with flag 5000/106834 26.50/14.19 c cleaning 6730 clauses out of 13463 with flag 11000/112834 28.25/15.08 c cleaning 6863 clauses out of 13733 with flag 18000/119834 30.17/16.06 c cleaning 7430 clauses out of 14870 with flag 26000/127834 32.52/17.22 c cleaning 8216 clauses out of 16440 with flag 35000/136834 34.87/18.43 c cleaning 9107 clauses out of 18224 with flag 45000/146834 37.20/19.62 c cleaning 9555 clauses out of 19117 with flag 55000/156834 39.75/20.98 c cleaning 9771 clauses out of 19563 with flag 65001/166835 42.24/22.27 c cleaning 9892 clauses out of 19792 with flag 75001/176835 42.97/22.61 c And the winner is CuttingPlanes 42.99/22.94 c Got one! Elapsed wall clock time (in seconds):22.826 42.99/22.94 o 291 43.53/23.26 c cleaning 7611 clauses out of 15232 with flag 3001/182167 44.84/23.99 c cleaning 6806 clauses out of 13621 with flag 9001/188167 46.51/24.84 c cleaning 6906 clauses out of 13814 with flag 16000/195166 48.43/25.81 c cleaning 7451 clauses out of 14909 with flag 24001/203167 50.34/26.89 c cleaning 8227 clauses out of 16458 with flag 33001/212167 52.85/28.11 c cleaning 9110 clauses out of 18231 with flag 43001/222167 54.92/29.28 c cleaning 9556 clauses out of 19120 with flag 53000/232166 57.05/30.39 c cleaning 9777 clauses out of 19565 with flag 63001/242167 59.38/31.54 c cleaning 9887 clauses out of 19787 with flag 73000/252166 61.69/32.76 c cleaning 9947 clauses out of 19903 with flag 83003/262169 63.97/33.97 c cleaning 9971 clauses out of 19953 with flag 93000/272166 66.28/35.14 c cleaning 9982 clauses out of 19983 with flag 103001/282167 68.64/36.33 c cleaning 9993 clauses out of 20000 with flag 113000/292166 70.75/37.44 c cleaning 9997 clauses out of 20007 with flag 123000/302166 73.18/38.72 c cleaning 10003 clauses out of 20011 with flag 133001/312167 75.49/39.95 c cleaning 9997 clauses out of 20008 with flag 143001/322167 77.79/41.17 c cleaning 10000 clauses out of 20011 with flag 153001/332167 80.10/42.30 c cleaning 9997 clauses out of 20010 with flag 163000/342166 82.37/43.57 c cleaning 10002 clauses out of 20014 with flag 173001/352167 84.68/44.71 c cleaning 10000 clauses out of 20011 with flag 183000/362166 86.78/45.88 c cleaning 9998 clauses out of 20011 with flag 193000/372166 89.28/47.12 c cleaning 10001 clauses out of 20014 with flag 203001/382167 91.54/48.37 c cleaning 10000 clauses out of 20013 with flag 213001/392167 93.92/49.56 c cleaning 10001 clauses out of 20013 with flag 223001/402167 96.02/50.68 c cleaning 10000 clauses out of 20012 with flag 233001/412167 98.34/51.87 c cleaning 9994 clauses out of 20012 with flag 243001/422167 100.55/53.08 c cleaning 10002 clauses out of 20017 with flag 253000/432166 102.93/54.21 c cleaning 10005 clauses out of 20015 with flag 263000/442166 105.02/55.39 c cleaning 10001 clauses out of 20011 with flag 273001/452167 107.51/56.65 c cleaning 9998 clauses out of 20009 with flag 283000/462166 108.15/57.02 c And the winner is CuttingPlanes 108.20/57.34 c Got one! Elapsed wall clock time (in seconds):57.215 108.20/57.34 o 290 108.92/57.77 c cleaning 7887 clauses out of 15777 with flag 4000/467932 110.41/58.51 c cleaning 6943 clauses out of 13891 with flag 10001/473933 111.88/59.36 c cleaning 6970 clauses out of 13948 with flag 17001/480933 113.96/60.40 c cleaning 7486 clauses out of 14977 with flag 25000/488932 115.98/61.55 c cleaning 8241 clauses out of 16491 with flag 34000/497932 118.29/62.73 c cleaning 9119 clauses out of 18250 with flag 44000/507932 120.37/63.91 c cleaning 9557 clauses out of 19132 with flag 54001/517933 122.81/65.11 c cleaning 9778 clauses out of 19574 with flag 64000/527932 125.04/66.34 c cleaning 9891 clauses out of 19797 with flag 74001/537933 127.11/67.48 c cleaning 9950 clauses out of 19906 with flag 84001/547933 129.38/68.65 c cleaning 9974 clauses out of 19956 with flag 94001/557933 131.86/69.92 c cleaning 9987 clauses out of 19981 with flag 104000/567932 134.27/71.22 c cleaning 9993 clauses out of 19995 with flag 114001/577933 136.34/72.38 c cleaning 9997 clauses out of 20002 with flag 124001/587933 138.61/73.58 c cleaning 9996 clauses out of 20006 with flag 134002/597934 141.11/74.82 c cleaning 9999 clauses out of 20009 with flag 144001/607933 143.67/76.22 c cleaning 10000 clauses out of 20010 with flag 154001/617933 145.94/77.44 c cleaning 9998 clauses out of 20010 with flag 164001/627933 148.20/78.70 c cleaning 10003 clauses out of 20012 with flag 174001/637933 150.49/79.89 c cleaning 9999 clauses out of 20009 with flag 184001/647933 153.09/81.20 c cleaning 9998 clauses out of 20010 with flag 194001/657933 155.35/82.44 c cleaning 9996 clauses out of 20011 with flag 204000/667932 157.64/83.64 c cleaning 9998 clauses out of 20016 with flag 214001/677933 159.89/84.83 c cleaning 10002 clauses out of 20018 with flag 224001/687933 162.03/86.09 c cleaning 10001 clauses out of 20016 with flag 234001/697933 164.47/87.30 c cleaning 10002 clauses out of 20014 with flag 244000/707932 166.73/88.53 c cleaning 9996 clauses out of 20012 with flag 254000/717932 168.97/89.72 c cleaning 10005 clauses out of 20016 with flag 264000/727932 171.33/91.04 c cleaning 10003 clauses out of 20011 with flag 274000/737932 173.76/92.32 c cleaning 9995 clauses out of 20008 with flag 284000/747932 176.23/93.62 c cleaning 10001 clauses out of 20013 with flag 294000/757932 177.42/94.38 c And the winner is CuttingPlanes 177.59/94.51 c Got one! Elapsed wall clock time (in seconds):94.394 177.59/94.51 o 289 178.55/95.08 c cleaning 10169 clauses out of 20348 with flag 5000/768268 180.09/95.99 c cleaning 8085 clauses out of 16179 with flag 11000/774268 181.75/96.89 c cleaning 7541 clauses out of 15095 with flag 18001/781269 183.78/97.92 c cleaning 7771 clauses out of 15554 with flag 26001/789269 185.80/99.08 c cleaning 8388 clauses out of 16783 with flag 35001/798269 188.31/100.43 c cleaning 9190 clauses out of 18395 with flag 45001/808269 190.53/101.65 c cleaning 9599 clauses out of 19206 with flag 55002/818270 192.95/102.95 c cleaning 9800 clauses out of 19606 with flag 65001/828269 195.38/104.25 c cleaning 9902 clauses out of 19806 with flag 75001/838269 197.71/105.56 c cleaning 9948 clauses out of 19903 with flag 85000/848268 200.16/106.84 c cleaning 9967 clauses out of 19956 with flag 95001/858269 202.54/108.15 c cleaning 9989 clauses out of 19988 with flag 105000/868268 204.95/109.50 c cleaning 9996 clauses out of 20000 with flag 115001/878269 207.48/110.83 c cleaning 10000 clauses out of 20003 with flag 125000/888268 209.90/112.13 c cleaning 9994 clauses out of 20004 with flag 135001/898269 212.34/113.42 c cleaning 9998 clauses out of 20010 with flag 145001/908269 214.52/114.70 c cleaning 10001 clauses out of 20011 with flag 155000/918268 217.23/116.13 c cleaning 9998 clauses out of 20010 with flag 165000/928268 219.65/117.43 c cleaning 9999 clauses out of 20013 with flag 175001/938269 222.05/118.72 c cleaning 9999 clauses out of 20014 with flag 185001/948269 224.50/120.02 c cleaning 10001 clauses out of 20014 with flag 195000/958268 226.97/121.46 c cleaning 10002 clauses out of 20013 with flag 205000/968268 229.58/122.88 c cleaning 9997 clauses out of 20011 with flag 215000/978268 232.17/124.22 c cleaning 10001 clauses out of 20015 with flag 225001/988269 234.62/125.52 c cleaning 9998 clauses out of 20014 with flag 235001/998269 236.89/126.88 c cleaning 9998 clauses out of 20015 with flag 245000/1008268 239.29/128.17 c cleaning 10002 clauses out of 20018 with flag 255001/1018269 241.68/129.43 c cleaning 10001 clauses out of 20016 with flag 265001/1028269 244.08/130.77 c cleaning 10004 clauses out of 20015 with flag 275001/1038269 246.62/132.14 c cleaning 10001 clauses out of 20010 with flag 285000/1048268 248.98/133.44 c cleaning 9997 clauses out of 20009 with flag 295000/1058268 251.37/134.72 c cleaning 9996 clauses out of 20012 with flag 305000/1068268 253.77/136.09 c cleaning 10002 clauses out of 20017 with flag 315001/1078269 256.50/137.59 c cleaning 9997 clauses out of 20014 with flag 325000/1088268 259.25/139.06 c cleaning 10000 clauses out of 20017 with flag 335000/1098268 261.63/140.34 c cleaning 9999 clauses out of 20017 with flag 345000/1108268 264.02/141.68 c cleaning 9998 clauses out of 20020 with flag 355002/1118270 266.91/143.23 c cleaning 10000 clauses out of 20020 with flag 365000/1128268 269.49/144.61 c cleaning 10002 clauses out of 20021 with flag 375001/1138269 272.08/146.08 c cleaning 10003 clauses out of 20018 with flag 385000/1148268 274.46/147.41 c cleaning 10002 clauses out of 20015 with flag 395000/1158268 276.94/148.77 c cleaning 10000 clauses out of 20014 with flag 405001/1168269 279.32/150.08 c cleaning 10000 clauses out of 20014 with flag 415001/1178269 281.71/151.37 c cleaning 9999 clauses out of 20013 with flag 425000/1188268 284.09/152.64 c cleaning 10001 clauses out of 20014 with flag 435000/1198268 286.61/154.10 c cleaning 9993 clauses out of 20014 with flag 445001/1208269 288.95/155.36 c cleaning 10005 clauses out of 20020 with flag 455000/1218268 291.53/156.72 c cleaning 9998 clauses out of 20015 with flag 465000/1228268 293.91/158.09 c cleaning 9998 clauses out of 20017 with flag 475000/1238268 296.61/159.56 c cleaning 10005 clauses out of 20020 with flag 485001/1248269 299.15/160.91 c cleaning 9997 clauses out of 20014 with flag 495000/1258268 301.52/162.27 c cleaning 9998 clauses out of 20017 with flag 505000/1268268 303.90/163.59 c cleaning 10000 clauses out of 20019 with flag 515000/1278268 306.36/164.98 c cleaning 10001 clauses out of 20020 with flag 525001/1288269 308.76/166.28 c cleaning 10005 clauses out of 20019 with flag 535001/1298269 311.08/167.56 c cleaning 9999 clauses out of 20014 with flag 545001/1308269 313.43/168.89 c cleaning 9995 clauses out of 20014 with flag 555000/1318268 316.09/170.38 c cleaning 9999 clauses out of 20020 with flag 565001/1328269 318.67/171.74 c cleaning 10002 clauses out of 20021 with flag 575001/1338269 320.98/173.07 c cleaning 10001 clauses out of 20019 with flag 585001/1348269 323.32/174.38 c cleaning 10004 clauses out of 20018 with flag 595001/1358269 325.94/175.85 c cleaning 10004 clauses out of 20014 with flag 605001/1368269 328.52/177.27 c cleaning 10001 clauses out of 20009 with flag 615000/1378268 331.01/178.66 c cleaning 9998 clauses out of 20009 with flag 625001/1388269 333.35/179.93 c cleaning 9997 clauses out of 20012 with flag 635002/1398270 335.76/181.37 c cleaning 9996 clauses out of 20013 with flag 645000/1408268 338.48/182.80 c cleaning 10001 clauses out of 20018 with flag 655001/1418269 340.05/183.81 c And the winner is CuttingPlanes 340.23/184.10 c Got one! Elapsed wall clock time (in seconds):183.976 340.23/184.10 o 288 341.25/184.65 c cleaning 10482 clauses out of 20981 with flag 5001/1429233 342.80/185.54 c cleaning 8246 clauses out of 16498 with flag 11000/1435232 344.63/186.68 c cleaning 7621 clauses out of 15252 with flag 18000/1442232 346.77/187.80 c cleaning 7812 clauses out of 15631 with flag 26000/1450232 348.90/189.03 c cleaning 8404 clauses out of 16819 with flag 35000/1459232 351.26/190.36 c cleaning 9201 clauses out of 18415 with flag 45000/1469232 353.81/191.83 c cleaning 9601 clauses out of 19214 with flag 55000/1479232 356.12/193.15 c cleaning 9804 clauses out of 19613 with flag 65000/1489232 358.64/194.52 c cleaning 9903 clauses out of 19809 with flag 75000/1499232 360.99/195.83 c cleaning 9944 clauses out of 19906 with flag 85000/1509232 363.53/197.35 c cleaning 9977 clauses out of 19963 with flag 95001/1519233 366.04/198.70 c cleaning 9987 clauses out of 19985 with flag 105000/1529232 368.56/200.10 c cleaning 9996 clauses out of 19998 with flag 115000/1539232 370.71/201.41 c cleaning 10000 clauses out of 20002 with flag 125000/1549232 373.45/202.97 c cleaning 9996 clauses out of 20003 with flag 135001/1559233 375.96/204.30 c cleaning 9997 clauses out of 20006 with flag 145000/1569232 378.27/205.63 c cleaning 9998 clauses out of 20010 with flag 155001/1579233 380.78/207.01 c cleaning 10001 clauses out of 20011 with flag 165000/1589232 383.15/208.49 c cleaning 10001 clauses out of 20010 with flag 175000/1599232 385.66/209.85 c cleaning 9999 clauses out of 20010 with flag 185001/1609233 388.19/211.30 c cleaning 10003 clauses out of 20011 with flag 195001/1619233 390.66/212.65 c cleaning 9992 clauses out of 20008 with flag 205001/1629233 393.23/214.12 c cleaning 10002 clauses out of 20015 with flag 215000/1639232 395.53/215.49 c cleaning 9998 clauses out of 20014 with flag 225001/1649233 398.06/216.85 c cleaning 10001 clauses out of 20016 with flag 235001/1659233 400.53/218.25 c cleaning 9998 clauses out of 20015 with flag 245001/1669233 403.28/219.81 c cleaning 10006 clauses out of 20017 with flag 255001/1679233 405.61/221.16 c cleaning 10000 clauses out of 20011 with flag 265001/1689233 408.08/222.59 c cleaning 10000 clauses out of 20011 with flag 275001/1699233 410.78/224.03 c cleaning 10004 clauses out of 20011 with flag 285001/1709233 413.37/225.53 c cleaning 9994 clauses out of 20007 with flag 295001/1719233 415.63/226.85 c cleaning 9998 clauses out of 20012 with flag 305000/1729232 418.13/228.21 c cleaning 9997 clauses out of 20014 with flag 315000/1739232 420.43/229.56 c cleaning 10000 clauses out of 20018 with flag 325001/1749233 423.02/231.09 c cleaning 10004 clauses out of 20018 with flag 335001/1759233 425.67/232.57 c cleaning 9999 clauses out of 20013 with flag 345000/1769232 428.16/233.94 c cleaning 9998 clauses out of 20015 with flag 355001/1779233 430.65/235.36 c cleaning 10002 clauses out of 20017 with flag 365001/1789233 433.39/236.97 c cleaning 10000 clauses out of 20015 with flag 375001/1799233 436.08/238.43 c cleaning 10002 clauses out of 20014 with flag 385000/1809232 438.36/239.80 c cleaning 9996 clauses out of 20012 with flag 395000/1819232 440.84/241.19 c cleaning 10004 clauses out of 20017 with flag 405001/1829233 443.57/242.78 c cleaning 9998 clauses out of 20012 with flag 415000/1839232 446.05/244.21 c cleaning 9999 clauses out of 20015 with flag 425001/1849233 448.52/245.57 c cleaning 10002 clauses out of 20015 with flag 435000/1859232 451.20/247.00 c cleaning 9999 clauses out of 20014 with flag 445001/1869233 453.72/248.56 c cleaning 9999 clauses out of 20014 with flag 455000/1879232 456.19/249.97 c cleaning 10001 clauses out of 20016 with flag 465001/1889233 458.65/251.36 c cleaning 10000 clauses out of 20014 with flag 475000/1899232 461.13/252.78 c cleaning 10002 clauses out of 20014 with flag 485000/1909232 463.84/254.38 c cleaning 9998 clauses out of 20012 with flag 495000/1919232 466.52/255.86 c cleaning 9995 clauses out of 20014 with flag 505000/1929232 469.19/257.35 c cleaning 9997 clauses out of 20020 with flag 515001/1939233 471.65/258.77 c cleaning 10004 clauses out of 20023 with flag 525001/1949233 474.36/260.30 c cleaning 10000 clauses out of 20019 with flag 535001/1959233 476.63/261.67 c cleaning 9997 clauses out of 20018 with flag 545000/1969232 479.29/263.13 c cleaning 10001 clauses out of 20021 with flag 555000/1979232 481.95/264.62 c cleaning 10003 clauses out of 20020 with flag 565000/1989232 484.69/266.30 c cleaning 9999 clauses out of 20017 with flag 575000/1999232 487.51/267.83 c cleaning 10003 clauses out of 20019 with flag 585001/2009233 489.97/269.28 c cleaning 10004 clauses out of 20015 with flag 595000/2019232 492.47/270.65 c cleaning 9999 clauses out of 20011 with flag 605000/2029232 495.13/272.20 c cleaning 10001 clauses out of 20012 with flag 615000/2039232 497.57/273.68 c cleaning 9993 clauses out of 20012 with flag 625001/2049233 500.07/275.06 c cleaning 10006 clauses out of 20019 with flag 635001/2059233 502.48/276.46 c cleaning 9998 clauses out of 20013 with flag 645001/2069233 504.97/277.99 c cleaning 9999 clauses out of 20015 with flag 655001/2079233 507.42/279.39 c cleaning 10000 clauses out of 20016 with flag 665001/2089233 509.87/280.78 c cleaning 10003 clauses out of 20016 with flag 675001/2099233 512.32/282.17 c cleaning 9992 clauses out of 20012 with flag 685000/2109232 514.98/283.73 c cleaning 9995 clauses out of 20020 with flag 695000/2119232 517.43/285.14 c cleaning 10000 clauses out of 20026 with flag 705001/2129233 520.07/286.63 c cleaning 10005 clauses out of 20025 with flag 715000/2139232 522.52/288.04 c cleaning 10006 clauses out of 20021 with flag 725001/2149233 525.19/289.66 c cleaning 10002 clauses out of 20015 with flag 735001/2159233 527.83/291.15 c cleaning 9996 clauses out of 20013 with flag 745001/2169233 530.27/292.60 c cleaning 10000 clauses out of 20017 with flag 755001/2179233 532.89/294.08 c cleaning 9994 clauses out of 20017 with flag 765001/2189233 535.76/295.73 c cleaning 10002 clauses out of 20023 with flag 775001/2199233 538.23/297.17 c cleaning 10005 clauses out of 20021 with flag 785001/2209233 540.82/298.60 c cleaning 10002 clauses out of 20016 with flag 795001/2219233 543.45/300.10 c cleaning 9997 clauses out of 20014 with flag 805001/2229233 546.52/301.96 c cleaning 10001 clauses out of 20016 with flag 815000/2239232 549.34/303.56 c cleaning 9998 clauses out of 20015 with flag 825000/2249232 551.96/305.01 c cleaning 9996 clauses out of 20017 with flag 835000/2259232 554.37/306.46 c cleaning 10001 clauses out of 20021 with flag 845000/2269232 557.26/308.12 c cleaning 10002 clauses out of 20021 with flag 855001/2279233 559.64/309.58 c cleaning 10000 clauses out of 20018 with flag 865000/2289232 562.24/311.08 c cleaning 10002 clauses out of 20018 with flag 875000/2299232 564.89/312.58 c cleaning 10005 clauses out of 20016 with flag 885000/2309232 566.09/313.50 c And the winner is CuttingPlanes 566.30/313.68 c Got one! Elapsed wall clock time (in seconds):313.559 566.30/313.68 o 287 566.94/314.02 c cleaning 7992 clauses out of 15990 with flag 3000/2315211 568.55/315.06 c cleaning 6996 clauses out of 13999 with flag 9001/2321212 570.55/316.24 c cleaning 6997 clauses out of 14002 with flag 16000/2328211 572.75/317.59 c cleaning 7501 clauses out of 15006 with flag 24001/2336212 575.40/319.14 c cleaning 8249 clauses out of 16504 with flag 33000/2345211 577.96/320.64 c cleaning 9121 clauses out of 18256 with flag 43001/2355212 580.76/322.25 c cleaning 9563 clauses out of 19134 with flag 53000/2365211 583.36/323.72 c cleaning 9781 clauses out of 19572 with flag 63001/2375212 586.17/325.43 c cleaning 9891 clauses out of 19791 with flag 73001/2385212 588.76/326.97 c cleaning 9945 clauses out of 19899 with flag 83000/2395211 591.56/328.53 c cleaning 9973 clauses out of 19954 with flag 93000/2405211 594.19/330.06 c cleaning 9985 clauses out of 19981 with flag 103000/2415211 597.57/332.10 c cleaning 9993 clauses out of 19997 with flag 113001/2425212 600.36/333.62 c cleaning 9997 clauses out of 20003 with flag 123000/2435211 603.15/335.20 c cleaning 9996 clauses out of 20006 with flag 133000/2445211 605.57/336.71 c cleaning 9999 clauses out of 20011 with flag 143001/2455212 608.54/338.41 c cleaning 10003 clauses out of 20011 with flag 153000/2465211 611.17/340.00 c cleaning 9998 clauses out of 20008 with flag 163000/2475211 613.92/341.54 c cleaning 10000 clauses out of 20010 with flag 173000/2485211 616.52/343.04 c cleaning 9999 clauses out of 20011 with flag 183001/2495212 619.31/344.71 c cleaning 10002 clauses out of 20012 with flag 193001/2505212 621.91/346.22 c cleaning 9999 clauses out of 20010 with flag 203001/2515212 624.54/347.73 c cleaning 10000 clauses out of 20011 with flag 213001/2525212 627.09/349.20 c cleaning 10000 clauses out of 20011 with flag 223001/2535212 629.72/350.88 c cleaning 9996 clauses out of 20011 with flag 233001/2545212 632.73/352.51 c cleaning 9993 clauses out of 20014 with flag 243000/2555211 635.53/354.21 c cleaning 10006 clauses out of 20021 with flag 253000/2565211 638.35/355.71 c cleaning 10003 clauses out of 20015 with flag 263000/2575211 640.98/357.30 c cleaning 10001 clauses out of 20013 with flag 273001/2585212 643.44/358.75 c cleaning 9999 clauses out of 20012 with flag 283001/2595212 646.02/360.25 c cleaning 9993 clauses out of 20012 with flag 293000/2605211 648.64/361.74 c cleaning 10002 clauses out of 20020 with flag 303001/2615212 651.62/363.52 c cleaning 10004 clauses out of 20018 with flag 313001/2625212 654.23/365.01 c cleaning 9994 clauses out of 20014 with flag 323001/2635212 656.68/366.47 c cleaning 10005 clauses out of 20020 with flag 333001/2645212 659.45/368.05 c cleaning 10000 clauses out of 20015 with flag 343001/2655212 662.32/369.72 c cleaning 9997 clauses out of 20016 with flag 353002/2665213 665.09/371.32 c cleaning 10002 clauses out of 20017 with flag 363000/2675211 667.70/372.86 c cleaning 9997 clauses out of 20016 with flag 373001/2685212 670.50/374.40 c cleaning 10003 clauses out of 20019 with flag 383001/2695212 673.32/376.12 c cleaning 10003 clauses out of 20016 with flag 393001/2705212 675.92/377.68 c cleaning 9998 clauses out of 20013 with flag 403001/2715212 678.52/379.17 c cleaning 9998 clauses out of 20014 with flag 413000/2725211 681.16/380.67 c cleaning 10001 clauses out of 20016 with flag 423000/2735211 683.94/382.33 c cleaning 9995 clauses out of 20015 with flag 433000/2745211 686.54/383.84 c cleaning 10003 clauses out of 20020 with flag 443000/2755211 689.14/385.37 c cleaning 10003 clauses out of 20018 with flag 453001/2765212 692.13/387.05 c cleaning 10003 clauses out of 20015 with flag 463001/2775212 695.34/388.91 c cleaning 9999 clauses out of 20012 with flag 473001/2785212 697.94/390.43 c cleaning 9997 clauses out of 20012 with flag 483000/2795211 700.34/391.89 c cleaning 10001 clauses out of 20015 with flag 493000/2805211 702.94/393.35 c cleaning 9999 clauses out of 20014 with flag 503000/2815211 705.58/395.01 c cleaning 10002 clauses out of 20015 with flag 513000/2825211 708.14/396.45 c cleaning 9999 clauses out of 20014 with flag 523001/2835212 710.73/397.93 c cleaning 9997 clauses out of 20014 with flag 533000/2845211 713.36/399.45 c cleaning 10004 clauses out of 20017 with flag 543000/2855211 716.14/401.15 c cleaning 9996 clauses out of 20014 with flag 553001/2865212 718.76/402.69 c cleaning 10002 clauses out of 20018 with flag 563001/2875212 721.51/404.25 c cleaning 10000 clauses out of 20016 with flag 573001/2885212 724.09/405.78 c cleaning 9998 clauses out of 20015 with flag 583000/2895211 726.90/407.42 c cleaning 10004 clauses out of 20018 with flag 593001/2905212 729.29/408.87 c cleaning 10000 clauses out of 20013 with flag 603000/2915211 732.27/410.50 c cleaning 10006 clauses out of 20013 with flag 613000/2925211 734.85/412.05 c cleaning 9997 clauses out of 20008 with flag 623001/2935212 737.48/413.70 c cleaning 9997 clauses out of 20011 with flag 633001/2945212 740.23/415.26 c cleaning 10001 clauses out of 20014 with flag 643001/2955212 742.81/416.76 c cleaning 9997 clauses out of 20013 with flag 653001/2965212 745.59/418.35 c cleaning 9999 clauses out of 20015 with flag 663000/2975211 748.57/420.15 c cleaning 9999 clauses out of 20017 with flag 673001/2985212 751.16/421.64 c cleaning 10003 clauses out of 20018 with flag 683001/2995212 753.93/423.22 c cleaning 10001 clauses out of 20015 with flag 693001/3005212 756.72/424.80 c cleaning 9997 clauses out of 20013 with flag 703000/3015211 759.69/426.60 c cleaning 9994 clauses out of 20016 with flag 713000/3025211 762.26/428.13 c cleaning 10002 clauses out of 20023 with flag 723001/3035212 765.04/429.77 c cleaning 10004 clauses out of 20020 with flag 733000/3045211 767.84/431.35 c cleaning 10003 clauses out of 20017 with flag 743001/3055212 770.78/433.15 c cleaning 9997 clauses out of 20014 with flag 753001/3065212 773.55/434.70 c cleaning 9996 clauses out of 20017 with flag 763001/3075212 776.12/436.26 c cleaning 9998 clauses out of 20022 with flag 773002/3085213 778.92/437.88 c cleaning 10000 clauses out of 20023 with flag 783001/3095212 781.66/439.58 c cleaning 10005 clauses out of 20023 with flag 793001/3105212 784.46/441.14 c cleaning 9996 clauses out of 20017 with flag 803000/3115211 786.99/442.69 c cleaning 10001 clauses out of 20021 with flag 813000/3125211 789.76/444.21 c cleaning 10003 clauses out of 20021 with flag 823001/3135212 792.53/445.98 c cleaning 10001 clauses out of 20018 with flag 833001/3145212 795.30/447.54 c cleaning 9997 clauses out of 20016 with flag 843000/3155211 797.86/449.06 c cleaning 10000 clauses out of 20019 with flag 853000/3165211 800.62/450.63 c cleaning 10001 clauses out of 20020 with flag 863001/3175212 803.46/452.32 c cleaning 10002 clauses out of 20019 with flag 873001/3185212 806.02/453.85 c cleaning 10006 clauses out of 20016 with flag 883000/3195211 808.58/455.34 c cleaning 10000 clauses out of 20011 with flag 893001/3205212 811.15/456.88 c cleaning 9996 clauses out of 20010 with flag 903000/3215211 814.10/458.62 c cleaning 10000 clauses out of 20014 with flag 913000/3225211 816.86/460.22 c cleaning 10001 clauses out of 20015 with flag 923001/3235212 819.64/461.82 c cleaning 10000 clauses out of 20013 with flag 933000/3245211 822.20/463.37 c cleaning 10003 clauses out of 20013 with flag 943000/3255211 825.15/465.11 c cleaning 9997 clauses out of 20011 with flag 953001/3265212 827.90/466.70 c cleaning 9996 clauses out of 20013 with flag 963000/3275211 830.45/468.24 c cleaning 10006 clauses out of 20018 with flag 973001/3285212 833.24/469.86 c cleaning 9997 clauses out of 20012 with flag 983001/3295212 835.97/471.56 c cleaning 10000 clauses out of 20014 with flag 993000/3305211 838.55/473.07 c cleaning 10002 clauses out of 20014 with flag 1003000/3315211 841.25/474.61 c cleaning 9999 clauses out of 20012 with flag 1013000/3325211 843.79/476.15 c cleaning 9997 clauses out of 20014 with flag 1023001/3335212 846.72/477.98 c cleaning 9995 clauses out of 20016 with flag 1033000/3345211 849.45/479.54 c cleaning 10001 clauses out of 20022 with flag 1043001/3355212 852.19/481.13 c cleaning 9998 clauses out of 20021 with flag 1053001/3365212 854.72/482.66 c cleaning 10001 clauses out of 20022 with flag 1063000/3375211 857.64/484.47 c cleaning 10001 clauses out of 20021 with flag 1073000/3385211 860.18/485.99 c cleaning 10003 clauses out of 20020 with flag 1083000/3395211 862.91/487.56 c cleaning 9998 clauses out of 20018 with flag 1093001/3405212 865.65/489.15 c cleaning 10006 clauses out of 20020 with flag 1103001/3415212 868.56/490.99 c cleaning 9998 clauses out of 20014 with flag 1113001/3425212 871.48/492.65 c cleaning 9997 clauses out of 20016 with flag 1123001/3435212 874.22/494.28 c cleaning 9997 clauses out of 20018 with flag 1133000/3445211 877.14/495.95 c cleaning 10003 clauses out of 20023 with flag 1143002/3455213 880.24/497.85 c cleaning 10004 clauses out of 20019 with flag 1153001/3465212 882.99/499.47 c cleaning 9991 clauses out of 20014 with flag 1163000/3475211 885.87/501.12 c cleaning 10000 clauses out of 20023 with flag 1173000/3485211 888.37/502.68 c cleaning 10006 clauses out of 20024 with flag 1183001/3495212 891.25/504.47 c cleaning 10001 clauses out of 20017 with flag 1193000/3505211 893.77/505.99 c cleaning 10002 clauses out of 20016 with flag 1203000/3515211 896.48/507.59 c cleaning 9998 clauses out of 20014 with flag 1213000/3525211 897.98/508.55 c And the winner is CuttingPlanes 898.09/508.61 c Got one! Elapsed wall clock time (in seconds):508.494 898.09/508.61 o 286 898.25/508.74 c cleaning 7619 clauses out of 15241 with flag 1001/3530436 900.36/510.17 c cleaning 6805 clauses out of 13622 with flag 7001/3536436 902.66/511.53 c cleaning 6904 clauses out of 13817 with flag 14001/3543436 904.93/512.95 c cleaning 7452 clauses out of 14913 with flag 22001/3551436 907.64/514.50 c cleaning 8226 clauses out of 16460 with flag 31000/3560435 910.71/516.44 c cleaning 9113 clauses out of 18235 with flag 41001/3570436 913.40/518.10 c cleaning 9557 clauses out of 19122 with flag 51001/3580436 916.49/519.85 c cleaning 9775 clauses out of 19564 with flag 61000/3590435 919.43/521.54 c cleaning 9891 clauses out of 19790 with flag 71001/3600436 922.26/523.39 c cleaning 9944 clauses out of 19898 with flag 81000/3610435 925.15/525.07 c cleaning 9972 clauses out of 19954 with flag 91000/3620435 928.25/526.81 c cleaning 9989 clauses out of 19983 with flag 101001/3630436 930.94/528.48 c cleaning 9988 clauses out of 19994 with flag 111001/3640436 934.05/530.38 c cleaning 9998 clauses out of 20006 with flag 121001/3650436 937.31/532.21 c cleaning 9999 clauses out of 20007 with flag 131000/3660435 940.01/533.88 c cleaning 10000 clauses out of 20009 with flag 141001/3670436 942.90/535.55 c cleaning 9999 clauses out of 20008 with flag 151000/3680435 945.97/537.49 c cleaning 9995 clauses out of 20009 with flag 161000/3690435 949.06/539.26 c cleaning 9992 clauses out of 20014 with flag 171000/3700435 951.95/540.96 c cleaning 10006 clauses out of 20022 with flag 181000/3710435 954.85/542.62 c cleaning 10004 clauses out of 20017 with flag 191001/3720436 958.15/544.68 c cleaning 9999 clauses out of 20012 with flag 201000/3730435 961.20/546.41 c cleaning 10003 clauses out of 20014 with flag 211001/3740436 963.89/548.05 c cleaning 9994 clauses out of 20010 with flag 221000/3750435 966.78/549.78 c cleaning 10001 clauses out of 20016 with flag 231000/3760435 969.83/551.68 c cleaning 10001 clauses out of 20015 with flag 241000/3770435 972.75/553.40 c cleaning 9998 clauses out of 20014 with flag 251000/3780435 975.61/555.08 c cleaning 10004 clauses out of 20016 with flag 261000/3790435 978.53/556.76 c cleaning 10001 clauses out of 20013 with flag 271001/3800436 981.77/558.81 c cleaning 9998 clauses out of 20012 with flag 281001/3810436 984.86/560.53 c cleaning 10002 clauses out of 20014 with flag 291001/3820436 987.77/562.22 c cleaning 9996 clauses out of 20012 with flag 301001/3830436 990.81/564.00 c cleaning 10003 clauses out of 20015 with flag 311000/3840435 993.86/566.00 c cleaning 10000 clauses out of 20012 with flag 321000/3850435 996.98/567.78 c cleaning 9994 clauses out of 20012 with flag 331000/3860435 1000.22/569.61 c cleaning 10004 clauses out of 20018 with flag 341000/3870435 1003.09/571.35 c cleaning 10000 clauses out of 20014 with flag 351000/3880435 1006.16/573.29 c cleaning 9994 clauses out of 20014 with flag 361000/3890435 1009.00/574.97 c cleaning 9996 clauses out of 20021 with flag 371001/3900436 1011.70/576.58 c cleaning 10000 clauses out of 20025 with flag 381001/3910436 1014.34/578.18 c cleaning 10010 clauses out of 20025 with flag 391001/3920436 1017.38/580.02 c cleaning 10001 clauses out of 20015 with flag 401001/3930436 1020.20/581.70 c cleaning 10002 clauses out of 20013 with flag 411000/3940435 1023.02/583.41 c cleaning 9995 clauses out of 20012 with flag 421001/3950436 1025.65/585.08 c cleaning 10005 clauses out of 20017 with flag 431001/3960436 1028.60/586.99 c cleaning 10003 clauses out of 20012 with flag 441001/3970436 1031.45/588.69 c cleaning 10001 clauses out of 20008 with flag 451000/3980435 1034.23/590.34 c cleaning 9995 clauses out of 20007 with flag 461000/3990435 1037.05/592.03 c cleaning 9996 clauses out of 20012 with flag 471000/4000435 1040.26/594.02 c cleaning 10002 clauses out of 20017 with flag 481001/4010436 1043.44/595.97 c cleaning 10000 clauses out of 20014 with flag 491000/4020435 1046.85/597.94 c cleaning 10000 clauses out of 20015 with flag 501001/4030436 1050.06/599.83 c cleaning 9993 clauses out of 20014 with flag 511000/4040435 1053.44/601.96 c cleaning 9993 clauses out of 20022 with flag 521001/4050436 1056.25/603.64 c cleaning 10007 clauses out of 20028 with flag 531000/4060435 1059.06/605.30 c cleaning 9997 clauses out of 20022 with flag 541001/4070436 1061.86/607.01 c cleaning 10004 clauses out of 20025 with flag 551001/4080436 1064.99/609.02 c cleaning 10000 clauses out of 20020 with flag 561000/4090435 1067.80/610.77 c cleaning 10003 clauses out of 20020 with flag 571000/4100435 1070.63/612.45 c cleaning 9999 clauses out of 20018 with flag 581001/4110436 1073.43/614.13 c cleaning 10004 clauses out of 20018 with flag 591000/4120435 1076.41/616.09 c cleaning 9999 clauses out of 20014 with flag 601000/4130435 1079.39/617.84 c cleaning 10002 clauses out of 20015 with flag 611000/4140435 1082.39/619.63 c cleaning 10000 clauses out of 20014 with flag 621001/4150436 1084.99/621.29 c cleaning 9996 clauses out of 20014 with flag 631001/4160436 1088.13/623.29 c cleaning 10001 clauses out of 20017 with flag 641000/4170435 1091.02/624.97 c cleaning 10001 clauses out of 20017 with flag 651001/4180436 1094.03/626.72 c cleaning 10004 clauses out of 20015 with flag 661000/4190435 1097.07/628.54 c cleaning 9996 clauses out of 20011 with flag 671000/4200435 1100.10/630.47 c cleaning 10005 clauses out of 20016 with flag 681001/4210436 1102.91/632.19 c cleaning 9999 clauses out of 20011 with flag 691001/4220436 1105.76/633.88 c cleaning 9997 clauses out of 20012 with flag 701001/4230436 1108.60/635.56 c cleaning 9997 clauses out of 20014 with flag 711000/4240435 1111.79/637.52 c cleaning 10004 clauses out of 20018 with flag 721001/4250436 1114.83/639.35 c cleaning 10001 clauses out of 20014 with flag 731001/4260436 1117.66/641.02 c cleaning 9998 clauses out of 20012 with flag 741000/4270435 1120.49/642.71 c cleaning 10001 clauses out of 20014 with flag 751000/4280435 1124.06/644.96 c cleaning 9997 clauses out of 20013 with flag 761000/4290435 1127.70/647.00 c cleaning 9999 clauses out of 20018 with flag 771002/4300437 1131.16/649.03 c cleaning 10002 clauses out of 20017 with flag 781000/4310435 1134.36/650.93 c cleaning 9998 clauses out of 20015 with flag 791000/4320435 1137.72/653.06 c cleaning 10002 clauses out of 20018 with flag 801001/4330436 1140.75/654.89 c cleaning 10002 clauses out of 20016 with flag 811001/4340436 1143.77/656.66 c cleaning 10003 clauses out of 20013 with flag 821000/4350435 1146.99/658.54 c cleaning 9990 clauses out of 20010 with flag 831000/4360435 1150.35/660.62 c cleaning 10001 clauses out of 20020 with flag 841000/4370435 1153.20/662.38 c cleaning 10000 clauses out of 20020 with flag 851001/4380436 1156.18/664.14 c cleaning 10001 clauses out of 20020 with flag 861001/4390436 1159.19/665.91 c cleaning 10002 clauses out of 20019 with flag 871001/4400436 1162.34/667.93 c cleaning 9997 clauses out of 20016 with flag 881000/4410435 1165.35/669.71 c cleaning 10006 clauses out of 20019 with flag 891000/4420435 1168.17/671.45 c cleaning 10002 clauses out of 20015 with flag 901002/4430437 1170.99/673.16 c cleaning 9996 clauses out of 20011 with flag 911000/4440435 1174.13/675.17 c cleaning 10004 clauses out of 20016 with flag 921001/4450436 1176.94/676.88 c cleaning 9998 clauses out of 20011 with flag 931000/4460435 1179.74/678.57 c cleaning 10003 clauses out of 20014 with flag 941001/4470436 1182.55/680.26 c cleaning 10001 clauses out of 20011 with flag 951001/4480436 1185.69/682.21 c cleaning 9997 clauses out of 20010 with flag 961001/4490436 1188.31/683.86 c cleaning 9997 clauses out of 20012 with flag 971000/4500435 1191.12/685.57 c cleaning 10002 clauses out of 20015 with flag 981000/4510435 1193.93/687.22 c cleaning 9999 clauses out of 20013 with flag 991000/4520435 1196.86/689.19 c cleaning 10003 clauses out of 20014 with flag 1001000/4530435 1199.70/690.88 c cleaning 9998 clauses out of 20012 with flag 1011001/4540436 1202.46/692.52 c cleaning 9997 clauses out of 20014 with flag 1021001/4550436 1205.09/694.21 c cleaning 9999 clauses out of 20017 with flag 1031001/4560436 1208.18/696.17 c cleaning 10001 clauses out of 20017 with flag 1041000/4570435 1210.97/697.85 c cleaning 10000 clauses out of 20016 with flag 1051000/4580435 1213.77/699.56 c cleaning 10000 clauses out of 20016 with flag 1061000/4590435 1216.77/701.30 c cleaning 10002 clauses out of 20017 with flag 1071001/4600436 1219.68/703.27 c cleaning 10000 clauses out of 20014 with flag 1081000/4610435 1222.47/704.92 c cleaning 9999 clauses out of 20015 with flag 1091001/4620436 1225.26/706.67 c cleaning 9999 clauses out of 20016 with flag 1101001/4630436 1228.04/708.38 c cleaning 10000 clauses out of 20017 with flag 1111001/4640436 1231.15/710.36 c cleaning 10001 clauses out of 20017 with flag 1121001/4650436 1233.94/712.04 c cleaning 9998 clauses out of 20015 with flag 1131000/4660435 1236.73/713.75 c cleaning 9996 clauses out of 20017 with flag 1141000/4670435 1239.50/715.47 c cleaning 10001 clauses out of 20021 with flag 1151000/4680435 1242.61/717.45 c cleaning 10000 clauses out of 20021 with flag 1161001/4690436 1245.40/719.15 c cleaning 9999 clauses out of 20021 with flag 1171001/4700436 1248.18/720.85 c cleaning 10005 clauses out of 20022 with flag 1181001/4710436 1250.96/722.54 c cleaning 10002 clauses out of 20017 with flag 1191001/4720436 1253.86/724.48 c cleaning 9999 clauses out of 20015 with flag 1201001/4730436 1256.68/726.15 c cleaning 9999 clauses out of 20016 with flag 1211001/4740436 1259.42/727.83 c cleaning 10006 clauses out of 20017 with flag 1221001/4750436 1262.20/729.53 c cleaning 9999 clauses out of 20011 with flag 1231001/4760436 1265.09/731.48 c cleaning 9999 clauses out of 20012 with flag 1241001/4770436 1267.87/733.12 c cleaning 9998 clauses out of 20013 with flag 1251001/4780436 1270.43/734.81 c cleaning 10002 clauses out of 20015 with flag 1261001/4790436 1273.20/736.48 c cleaning 9998 clauses out of 20013 with flag 1271001/4800436 1276.36/738.48 c cleaning 10002 clauses out of 20015 with flag 1281001/4810436 1279.33/740.25 c cleaning 10000 clauses out of 20013 with flag 1291001/4820436 1282.29/742.01 c cleaning 9998 clauses out of 20013 with flag 1301001/4830436 1284.88/743.71 c cleaning 10001 clauses out of 20015 with flag 1311001/4840436 1288.12/745.76 c cleaning 9997 clauses out of 20013 with flag 1321000/4850435 1290.87/747.46 c cleaning 10004 clauses out of 20017 with flag 1331001/4860436 1293.67/749.21 c cleaning 10001 clauses out of 20013 with flag 1341001/4870436 1296.60/750.98 c cleaning 9999 clauses out of 20012 with flag 1351001/4880436 1300.06/753.15 c cleaning 10000 clauses out of 20013 with flag 1361001/4890436 1303.01/754.92 c cleaning 9998 clauses out of 20012 with flag 1371000/4900435 1305.77/756.69 c cleaning 9996 clauses out of 20014 with flag 1381000/4910435 1308.72/758.40 c cleaning 10001 clauses out of 20018 with flag 1391000/4920435 1311.58/760.34 c cleaning 10003 clauses out of 20018 with flag 1401001/4930436 1314.33/762.05 c cleaning 10001 clauses out of 20015 with flag 1411001/4940436 1317.07/763.75 c cleaning 9998 clauses out of 20014 with flag 1421001/4950436 1320.02/765.53 c cleaning 10000 clauses out of 20015 with flag 1431000/4960435 1323.28/767.64 c cleaning 10003 clauses out of 20015 with flag 1441000/4970435 1326.22/769.44 c cleaning 10002 clauses out of 20013 with flag 1451001/4980436 1329.00/771.19 c cleaning 10001 clauses out of 20010 with flag 1461000/4990435 1331.92/772.95 c cleaning 9997 clauses out of 20009 with flag 1471000/5000435 1335.16/775.03 c cleaning 10000 clauses out of 20012 with flag 1481000/5010435 1338.08/776.81 c cleaning 9995 clauses out of 20012 with flag 1491000/5020435 1340.83/778.57 c cleaning 10000 clauses out of 20017 with flag 1501000/5030435 1343.76/780.31 c cleaning 10004 clauses out of 20017 with flag 1511000/5040435 1346.79/782.37 c cleaning 9998 clauses out of 20013 with flag 1521000/5050435 1349.72/784.11 c cleaning 9998 clauses out of 20016 with flag 1531001/5060436 1352.65/785.92 c cleaning 10002 clauses out of 20018 with flag 1541001/5070436 1355.61/787.73 c cleaning 9997 clauses out of 20015 with flag 1551000/5080435 1358.83/789.83 c cleaning 10003 clauses out of 20018 with flag 1561000/5090435 1361.71/791.63 c cleaning 9993 clauses out of 20015 with flag 1571000/5100435 1364.62/793.43 c cleaning 10006 clauses out of 20022 with flag 1581000/5110435 1367.55/795.25 c cleaning 10000 clauses out of 20016 with flag 1591000/5120435 1370.81/797.37 c cleaning 9998 clauses out of 20016 with flag 1601000/5130435 1373.93/799.21 c cleaning 9995 clauses out of 20018 with flag 1611000/5140435 1376.84/801.08 c cleaning 10002 clauses out of 20023 with flag 1621000/5150435 1379.75/802.82 c cleaning 10006 clauses out of 20023 with flag 1631002/5160437 1382.75/804.83 c cleaning 10003 clauses out of 20015 with flag 1641000/5170435 1385.45/806.55 c cleaning 10002 clauses out of 20012 with flag 1651000/5180435 1388.17/808.28 c cleaning 10000 clauses out of 20010 with flag 1661000/5190435 1390.89/809.98 c cleaning 9999 clauses out of 20010 with flag 1671000/5200435 1394.08/812.01 c cleaning 10000 clauses out of 20011 with flag 1681000/5210435 1396.78/813.76 c cleaning 9999 clauses out of 20011 with flag 1691000/5220435 1399.69/815.53 c cleaning 10004 clauses out of 20012 with flag 1701000/5230435 1402.38/817.27 c cleaning 9996 clauses out of 20008 with flag 1711000/5240435 1405.57/819.37 c cleaning 9996 clauses out of 20012 with flag 1721000/5250435 1408.49/821.14 c cleaning 10001 clauses out of 20016 with flag 1731000/5260435 1411.45/822.93 c cleaning 10000 clauses out of 20015 with flag 1741000/5270435 1414.12/824.70 c cleaning 9999 clauses out of 20015 with flag 1751000/5280435 1417.49/826.80 c cleaning 9997 clauses out of 20016 with flag 1761000/5290435 1420.18/828.52 c cleaning 10005 clauses out of 20020 with flag 1771001/5300436 1422.88/830.28 c cleaning 9999 clauses out of 20015 with flag 1781001/5310436 1425.78/832.08 c cleaning 10002 clauses out of 20016 with flag 1791001/5320436 1429.16/834.25 c cleaning 10001 clauses out of 20014 with flag 1801001/5330436 1432.29/836.15 c cleaning 9999 clauses out of 20012 with flag 1811000/5340435 1435.16/837.96 c cleaning 9995 clauses out of 20014 with flag 1821001/5350436 1438.06/839.72 c cleaning 10000 clauses out of 20018 with flag 1831000/5360435 1441.03/841.77 c cleaning 9995 clauses out of 20018 with flag 1841000/5370435 1443.91/843.50 c cleaning 10004 clauses out of 20023 with flag 1851000/5380435 1446.60/845.28 c cleaning 10002 clauses out of 20019 with flag 1861000/5390435 1448.10/846.31 c And the winner is CuttingPlanes 1448.14/846.51 c Got one! Elapsed wall clock time (in seconds):846.392 1448.14/846.51 o 285 1448.50/846.74 c cleaning 7599 clauses out of 15206 with flag 2000/5395624 1450.90/848.43 c cleaning 6797 clauses out of 13607 with flag 8000/5401624 1453.20/849.91 c cleaning 6899 clauses out of 13811 with flag 15001/5408625 1455.66/851.56 c cleaning 7452 clauses out of 14912 with flag 23001/5416625 1458.46/853.37 c cleaning 8226 clauses out of 16459 with flag 32000/5425624 1461.62/855.49 c cleaning 9112 clauses out of 18234 with flag 42001/5435625 1464.65/857.36 c cleaning 9558 clauses out of 19122 with flag 52001/5445625 1467.57/859.21 c cleaning 9776 clauses out of 19563 with flag 62000/5455624 1470.61/861.09 c cleaning 9889 clauses out of 19788 with flag 72001/5465625 1473.97/863.25 c cleaning 9944 clauses out of 19899 with flag 82001/5475625 1476.84/865.10 c cleaning 9976 clauses out of 19954 with flag 92000/5485624 1480.12/867.08 c cleaning 9982 clauses out of 19978 with flag 102000/5495624 1483.20/868.98 c cleaning 9996 clauses out of 19997 with flag 112001/5505625 1486.56/871.13 c cleaning 9995 clauses out of 20000 with flag 122000/5515624 1489.83/873.14 c cleaning 9995 clauses out of 20005 with flag 132000/5525624 1493.12/875.12 c cleaning 10002 clauses out of 20010 with flag 142000/5535624 1496.20/877.03 c cleaning 9995 clauses out of 20008 with flag 152000/5545624 1499.35/879.17 c cleaning 9998 clauses out of 20014 with flag 162001/5555625 1502.22/880.96 c cleaning 10005 clauses out of 20015 with flag 172000/5565624 1505.50/882.94 c cleaning 9998 clauses out of 20010 with flag 182000/5575624 1508.57/884.85 c cleaning 9999 clauses out of 20013 with flag 192001/5585625 1511.92/887.06 c cleaning 9997 clauses out of 20014 with flag 202001/5595625 1515.03/888.95 c cleaning 10006 clauses out of 20016 with flag 212000/5605624 1518.26/890.91 c cleaning 9996 clauses out of 20011 with flag 222001/5615625 1521.33/892.88 c cleaning 10000 clauses out of 20014 with flag 232000/5625624 1524.87/895.18 c cleaning 9999 clauses out of 20015 with flag 242001/5635625 1527.94/897.08 c cleaning 9999 clauses out of 20015 with flag 252000/5645624 1531.00/898.95 c cleaning 10002 clauses out of 20016 with flag 262000/5655624 1533.87/900.77 c cleaning 10002 clauses out of 20015 with flag 272001/5665625 1537.20/902.95 c cleaning 9997 clauses out of 20012 with flag 282000/5675624 1540.07/904.79 c cleaning 10003 clauses out of 20015 with flag 292000/5685624 1543.13/906.62 c cleaning 9994 clauses out of 20012 with flag 302000/5695624 1546.02/908.48 c cleaning 10006 clauses out of 20019 with flag 312001/5705625 1549.35/910.67 c cleaning 10001 clauses out of 20013 with flag 322001/5715625 1552.79/912.71 c cleaning 9998 clauses out of 20012 with flag 332001/5725625 1555.83/914.66 c cleaning 10001 clauses out of 20014 with flag 342001/5735625 1558.71/916.49 c cleaning 9999 clauses out of 20012 with flag 352000/5745624 1562.03/918.69 c cleaning 10000 clauses out of 20013 with flag 362000/5755624 1565.04/920.55 c cleaning 10000 clauses out of 20013 with flag 372000/5765624 1568.09/922.42 c cleaning 10001 clauses out of 20013 with flag 382000/5775624 1570.94/924.28 c cleaning 10005 clauses out of 20013 with flag 392001/5785625 1574.24/926.46 c cleaning 10001 clauses out of 20008 with flag 402001/5795625 1577.53/928.44 c cleaning 9994 clauses out of 20006 with flag 412000/5805624 1580.53/930.36 c cleaning 9998 clauses out of 20012 with flag 422000/5815624 1583.76/932.30 c cleaning 10001 clauses out of 20014 with flag 432000/5825624 1587.26/934.62 c cleaning 9999 clauses out of 20014 with flag 442001/5835625 1590.29/936.55 c cleaning 10003 clauses out of 20014 with flag 452000/5845624 1593.36/938.48 c cleaning 9994 clauses out of 20011 with flag 462000/5855624 1596.55/940.42 c cleaning 9999 clauses out of 20018 with flag 472001/5865625 1599.83/942.65 c cleaning 10004 clauses out of 20019 with flag 482001/5875625 1602.86/944.52 c cleaning 10001 clauses out of 20014 with flag 492000/5885624 1605.89/946.42 c cleaning 10000 clauses out of 20013 with flag 502000/5895624 1608.96/948.34 c cleaning 10000 clauses out of 20013 with flag 512000/5905624 1612.04/950.50 c cleaning 9999 clauses out of 20014 with flag 522001/5915625 1615.02/952.35 c cleaning 10002 clauses out of 20014 with flag 532000/5925624 1618.05/954.24 c cleaning 10001 clauses out of 20012 with flag 542000/5935624 1621.08/956.16 c cleaning 10003 clauses out of 20011 with flag 552000/5945624 1624.55/958.44 c cleaning 10000 clauses out of 20009 with flag 562001/5955625 1627.60/960.38 c cleaning 9998 clauses out of 20008 with flag 572000/5965624 1630.78/962.31 c cleaning 10000 clauses out of 20010 with flag 582000/5975624 1633.59/964.15 c cleaning 10001 clauses out of 20010 with flag 592000/5985624 1637.07/966.46 c cleaning 9995 clauses out of 20009 with flag 602000/5995624 1640.09/968.40 c cleaning 9996 clauses out of 20014 with flag 612000/6005624 1643.35/970.37 c cleaning 10000 clauses out of 20019 with flag 622001/6015625 1646.32/972.24 c cleaning 10000 clauses out of 20018 with flag 632000/6025624 1649.58/974.48 c cleaning 10002 clauses out of 20018 with flag 642000/6035624 1652.59/976.38 c cleaning 9999 clauses out of 20017 with flag 652001/6045625 1656.21/978.50 c cleaning 9998 clauses out of 20017 with flag 662000/6055624 1659.22/980.48 c cleaning 10002 clauses out of 20019 with flag 672000/6065624 1662.67/982.71 c cleaning 10004 clauses out of 20017 with flag 682000/6075624 1665.86/984.71 c cleaning 10005 clauses out of 20015 with flag 692002/6085626 1668.66/986.59 c cleaning 10001 clauses out of 20009 with flag 702001/6095625 1671.66/988.48 c cleaning 0 clauses out of 7847 with flag 0/7847 1673.21/989.76 c cleaning 9996 clauses out of 20008 with flag 712001/6105625 1676.38/991.68 c cleaning 10000 clauses out of 20011 with flag 722000/6115624 1679.55/993.59 c cleaning 9996 clauses out of 20012 with flag 732001/6125625 1682.79/995.53 c cleaning 10001 clauses out of 20016 with flag 742001/6135625 1686.23/997.86 c cleaning 9996 clauses out of 20014 with flag 752000/6145624 1689.38/999.84 c cleaning 10002 clauses out of 20019 with flag 762001/6155625 1692.51/1001.88 c cleaning 10001 clauses out of 20018 with flag 772002/6165626 1695.83/1003.94 c cleaning 9995 clauses out of 20015 with flag 782000/6175624 1699.16/1006.27 c cleaning 10002 clauses out of 20021 with flag 792001/6185625 1702.29/1008.23 c cleaning 10002 clauses out of 20019 with flag 802001/6195625 1705.21/1010.18 c cleaning 10004 clauses out of 20017 with flag 812001/6205625 1708.36/1012.17 c cleaning 10000 clauses out of 20012 with flag 822000/6215624 1711.84/1014.54 c cleaning 9995 clauses out of 20012 with flag 832000/6225624 1714.78/1016.51 c cleaning 10000 clauses out of 20017 with flag 842000/6235624 1717.85/1018.47 c cleaning 9998 clauses out of 20018 with flag 852001/6245625 1720.94/1020.48 c cleaning 9998 clauses out of 20019 with flag 862000/6255624 1724.46/1022.81 c cleaning 10005 clauses out of 20022 with flag 872001/6265625 1727.37/1024.79 c cleaning 9999 clauses out of 20017 with flag 882001/6275625 1730.47/1026.77 c cleaning 10002 clauses out of 20018 with flag 892001/6285625 1733.79/1028.82 c cleaning 10003 clauses out of 20015 with flag 902000/6295624 1737.30/1031.25 c cleaning 9999 clauses out of 20013 with flag 912001/6305625 1740.81/1033.49 c cleaning 10002 clauses out of 20014 with flag 922001/6315625 1743.91/1035.48 c cleaning 10001 clauses out of 20011 with flag 932000/6325624 1747.21/1037.51 c cleaning 9994 clauses out of 20010 with flag 942000/6335624 1750.90/1040.01 c cleaning 9999 clauses out of 20016 with flag 952000/6345624 1753.99/1042.08 c cleaning 10001 clauses out of 20019 with flag 962002/6355626 1757.30/1044.16 c cleaning 10004 clauses out of 20017 with flag 972001/6365625 1760.62/1046.26 c cleaning 9997 clauses out of 20012 with flag 982000/6375624 1764.06/1048.67 c cleaning 10002 clauses out of 20015 with flag 992000/6385624 1767.35/1050.75 c cleaning 10004 clauses out of 20013 with flag 1002000/6395624 1770.47/1052.77 c cleaning 9995 clauses out of 20009 with flag 1012000/6405624 1773.52/1054.77 c cleaning 10002 clauses out of 20015 with flag 1022001/6415625 1777.23/1057.27 c cleaning 9997 clauses out of 20013 with flag 1032001/6425625 1780.51/1059.37 c cleaning 9994 clauses out of 20016 with flag 1042001/6435625 1783.77/1061.47 c cleaning 10001 clauses out of 20022 with flag 1052001/6445625 1787.05/1063.55 c cleaning 10000 clauses out of 20020 with flag 1062000/6455624 1790.90/1066.11 c cleaning 9999 clauses out of 20021 with flag 1072001/6465625 1794.00/1068.16 c cleaning 10005 clauses out of 20021 with flag 1082000/6475624 1797.12/1070.19 c cleaning 10002 clauses out of 20016 with flag 1092000/6485624 1800.23/1072.12 c starts : 38 1800.23/1072.13 c conflicts : 8444 1800.23/1072.13 c decisions : 75281 1800.23/1072.13 c propagations : 291996 1800.23/1072.13 c inspects : 99830120 1800.23/1072.13 c shortcuts : 0 1800.23/1072.13 c learnt literals : 0 1800.23/1072.13 c learnt binary clauses : 0 1800.23/1072.13 c learnt ternary clauses : 0 1800.23/1072.13 c learnt constraints : 8444 1800.23/1072.13 c ignored constraints : 0 1800.23/1072.13 c root simplifications : 0 1800.23/1072.13 c removed literals (reason simplification) : 0 1800.23/1072.13 c reason swapping (by a shorter reason) : 0 1800.23/1072.13 c Calls to reduceDB : 1 1800.23/1072.13 c number of reductions to clauses (during analyze) : 0 1800.23/1072.13 c number of learned constraints concerned by reduction : 0 1800.23/1072.13 c number of learning phase by resolution : 0 1800.23/1072.13 c number of learning phase by cutting planes : 0 1800.23/1072.13 c speed (assignments/second) : 1294.2683516025654 1800.23/1072.13 c non guided choices 3 1800.23/1072.13 c learnt constraints type 1800.23/1072.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2973 1800.23/1072.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5471 1800.23/1072.13 c constraints type 1800.23/1072.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 990 1800.23/1072.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.23/1072.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100 1800.23/1072.13 c constraints type 1800.23/1072.13 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 100 1800.23/1072.13 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 990 1800.23/1072.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.23/1072.13 s SATISFIABLE 1800.23/1072.13 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 1800.23/1072.13 c objective function=285 1800.23/1072.13 c Total wall clock time (in seconds): 1072.015
OK 285
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-3454343-1307192175/watcher-3454343-1307192175 -o /tmp/evaluation-result-3454343-1307192175/solver-3454343-1307192175 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454343-1307192175.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.78 2.68 3.27 2/497 26729 /proc/meminfo: memFree=30301616/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10444316 CPUtime=0.01 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 6123 0 1 0 0 1 0 0 21 0 2 0 830818466 10694979584 5824 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2611079 5838 917 9 0 2602235 0 [pid=26729/tid=26731] ppid=26727 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) R 26727 26729 21775 0 -1 4202560 5067 0 1 0 0 0 0 0 17 0 2 0 830818467 10694979584 5883 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.105273 s] /proc/loadavg: 1.78 2.68 3.27 2/497 26729 /proc/meminfo: memFree=30301616/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10540316 CPUtime=0.09 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 12976 0 1 0 8 1 0 0 21 0 18 0 830818466 10793283584 12670 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2635079 12670 2092 9 0 2625813 0 [pid=26729/tid=26731] ppid=26727 vsize=10540316 CPUtime=0.08 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) R 26727 26729 21775 0 -1 4202560 11060 0 1 0 7 1 0 0 25 0 18 0 830818467 10793283584 12670 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 47710238746219 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10540316 [startup+0.200244 s] /proc/loadavg: 1.78 2.68 3.27 2/497 26729 /proc/meminfo: memFree=30301616/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10541396 CPUtime=0.25 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 14025 0 1 0 23 2 0 0 21 0 18 0 830818466 10794389504 13719 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2635349 13720 2170 9 0 2626083 0 [pid=26729/tid=26731] ppid=26727 vsize=10541396 CPUtime=0.17 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) R 26727 26729 21775 0 -1 4202560 11759 0 1 0 16 1 0 0 25 0 18 0 830818467 10794389504 13720 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 10541396 [startup+0.300228 s] /proc/loadavg: 1.78 2.68 3.27 2/497 26729 /proc/meminfo: memFree=30301616/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10542872 CPUtime=0.44 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 15531 0 1 0 42 2 0 0 21 0 18 0 830818466 10795900928 15092 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2635718 15093 2198 9 0 2626452 0 [pid=26729/tid=26731] ppid=26727 vsize=10542872 CPUtime=0.27 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) R 26727 26729 21775 0 -1 4202560 12770 0 1 0 25 2 0 0 25 0 18 0 830818467 10795900928 15093 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 10542872 [startup+0.700161 s] /proc/loadavg: 1.78 2.68 3.27 2/497 26729 /proc/meminfo: memFree=30301616/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10547168 CPUtime=0.52 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 15885 0 1 0 50 2 0 0 21 0 19 0 830818466 10800300032 15382 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2636792 15382 2211 9 0 2627526 0 [pid=26729/tid=26731] ppid=26727 vsize=10547168 CPUtime=0.28 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) S 26727 26729 21775 0 -1 4202560 12890 0 1 0 26 2 0 0 25 0 19 0 830818467 10800300032 15382 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10547168 [startup+1.50107 s] /proc/loadavg: 1.78 2.68 3.27 10/541 26779 /proc/meminfo: memFree=30120128/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10549844 CPUtime=2.13 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 21224 0 1 0 210 3 0 0 21 0 22 0 830818466 10803040256 19334 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2637461 19334 2229 9 0 2628195 0 [pid=26729/tid=26731] ppid=26727 vsize=10549844 CPUtime=0.3 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) S 26727 26729 21775 0 -1 4202560 13151 0 1 0 28 2 0 0 17 0 22 0 830818467 10803040256 19334 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26738] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26738/stat : 26738 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830818469 10803040256 19334 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26741] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26741/stat : 26741 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830818469 10803040256 19334 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26743] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26743/stat : 26743 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830818469 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26745] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26745/stat : 26745 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830818469 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26746] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26746/stat : 26746 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830818469 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26747] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26747/stat : 26747 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830818469 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26748] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26748/stat : 26748 (java) S 26727 26729 21775 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830818469 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26749] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26749/stat : 26749 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830818469 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26750] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26750/stat : 26750 (java) S 26727 26729 21775 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830818470 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 0 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26752] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26752/stat : 26752 (java) S 26727 26729 21775 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830818470 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26754] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26754/stat : 26754 (java) S 26727 26729 21775 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830818470 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26757] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26757/stat : 26757 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830818473 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624934321 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26759] ppid=26727 vsize=10549844 CPUtime=0.47 cores=0,2,4,6 /proc/26729/task/26759/stat : 26759 (java) S 26727 26729 21775 0 -1 4202560 3167 0 0 0 47 0 0 0 19 0 22 0 830818473 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26761] ppid=26727 vsize=10549844 CPUtime=0.3 cores=0,2,4,6 /proc/26729/task/26761/stat : 26761 (java) S 26727 26729 21775 0 -1 4202560 869 0 0 0 30 0 0 0 19 0 22 0 830818473 10803040256 19335 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26763] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26763/stat : 26763 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830818473 10803040256 19336 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26765] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26765/stat : 26765 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830818473 10803040256 19336 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26772] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26772/stat : 26772 (java) S 26727 26729 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830818498 10803040256 19336 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.13 Current children cumulated vsize (KiB) 10549844 [startup+3.10078 s] /proc/loadavg: 1.78 2.68 3.27 5/541 26785 /proc/meminfo: memFree=29956944/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10549844 CPUtime=5.6 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 35356 0 1 0 555 5 0 0 21 0 22 0 830818466 10803040256 33135 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2637461 33135 2255 9 0 2628195 0 [pid=26729/tid=26731] ppid=26727 vsize=10549844 CPUtime=0.3 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) S 26727 26729 21775 0 -1 4202560 13151 0 1 0 28 2 0 0 15 0 22 0 830818467 10803040256 33135 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26738] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26738/stat : 26738 (java) S 26727 26729 21775 0 -1 4202560 703 0 0 0 0 0 0 0 15 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26741] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26741/stat : 26741 (java) S 26727 26729 21775 0 -1 4202560 394 0 0 0 0 0 0 0 16 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26743] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26743/stat : 26743 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26745] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26745/stat : 26745 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26746] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26746/stat : 26746 (java) S 26727 26729 21775 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26747] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26747/stat : 26747 (java) S 26727 26729 21775 0 -1 4202560 632 0 0 0 0 0 0 0 16 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26748] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26748/stat : 26748 (java) S 26727 26729 21775 0 -1 4202560 877 0 0 0 0 0 0 0 16 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26749] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26749/stat : 26749 (java) S 26727 26729 21775 0 -1 4202560 711 0 0 0 0 0 0 0 16 0 22 0 830818469 10803040256 33136 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26750] ppid=26727 vsize=10549844 CPUtime=0.03 cores=0,2,4,6 /proc/26729/task/26750/stat : 26750 (java) S 26727 26729 21775 0 -1 4202560 2365 0 0 0 3 0 0 0 16 0 22 0 830818470 10803040256 33137 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 0 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26752] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26752/stat : 26752 (java) S 26727 26729 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830818470 10803040256 33137 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26754] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26754/stat : 26754 (java) S 26727 26729 21775 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830818470 10803040256 33137 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26757] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26757/stat : 26757 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830818473 10803040256 33137 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624934321 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26759] ppid=26727 vsize=10549844 CPUtime=0.66 cores=0,2,4,6 /proc/26729/task/26759/stat : 26759 (java) S 26727 26729 21775 0 -1 4202560 4085 0 0 0 66 0 0 0 15 0 22 0 830818473 10803040256 33137 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26761] ppid=26727 vsize=10549844 CPUtime=0.41 cores=0,2,4,6 /proc/26729/task/26761/stat : 26761 (java) S 26727 26729 21775 0 -1 4202560 907 0 0 0 41 0 0 0 15 0 22 0 830818473 10803040256 33137 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26763] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26763/stat : 26763 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830818473 10803040256 33138 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26765] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26765/stat : 26765 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830818473 10803040256 33138 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26772] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26772/stat : 26772 (java) S 26727 26729 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830818498 10803040256 33138 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26780] ppid=26727 vsize=10549844 CPUtime=1.7 cores=0,2,4,6 /proc/26729/task/26780/stat : 26780 (java) R 26727 26729 21775 0 -1 4202560 1328 0 0 0 170 0 0 0 20 0 22 0 830818601 10803040256 33138 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912505706392 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=26729/tid=26781] ppid=26727 vsize=10549844 CPUtime=1.7 cores=0,2,4,6 /proc/26729/task/26781/stat : 26781 (java) R 26727 26729 21775 0 -1 4202560 7352 0 0 0 170 0 0 0 18 0 22 0 830818601 10803040256 33138 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912506133390 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26729/tid=26782] ppid=26727 vsize=10549844 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26782/stat : 26782 (java) S 26727 26729 21775 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830818601 10803040256 33138 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.6 Current children cumulated vsize (KiB) 10549844 [startup+6.30122 s] /proc/loadavg: 1.88 2.69 3.27 4/541 26788 /proc/meminfo: memFree=29690860/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10549688 CPUtime=12.07 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 86041 0 1 0 1195 12 0 0 21 0 22 0 830818466 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2637422 83489 2255 9 0 2628156 0 [pid=26729/tid=26731] ppid=26727 vsize=10549688 CPUtime=0.3 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) S 26727 26729 21775 0 -1 4202560 13251 0 1 0 28 2 0 0 15 0 22 0 830818467 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26738] ppid=26727 vsize=10549688 CPUtime=0.01 cores=0,2,4,6 /proc/26729/task/26738/stat : 26738 (java) S 26727 26729 21775 0 -1 4202560 921 0 0 0 1 0 0 0 15 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26741] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26741/stat : 26741 (java) S 26727 26729 21775 0 -1 4202560 395 0 0 0 0 0 0 0 15 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26743] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26743/stat : 26743 (java) S 26727 26729 21775 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26745] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26745/stat : 26745 (java) S 26727 26729 21775 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26746] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26746/stat : 26746 (java) S 26727 26729 21775 0 -1 4202560 148 0 0 0 0 0 0 0 16 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26747] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26747/stat : 26747 (java) S 26727 26729 21775 0 -1 4202560 1190 0 0 0 0 0 0 0 15 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26748] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26748/stat : 26748 (java) S 26727 26729 21775 0 -1 4202560 1256 0 0 0 0 0 0 0 15 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26749] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26749/stat : 26749 (java) S 26727 26729 21775 0 -1 4202560 837 0 0 0 0 0 0 0 15 0 22 0 830818469 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26750] ppid=26727 vsize=10549688 CPUtime=0.15 cores=0,2,4,6 /proc/26729/task/26750/stat : 26750 (java) S 26727 26729 21775 0 -1 4202560 6277 0 0 0 15 0 0 0 16 0 22 0 830818470 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 0 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26752] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26752/stat : 26752 (java) S 26727 26729 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830818470 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26754] ppid=26727 vsize=10549688 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26754/stat : 26754 (java) S 26727 26729 21775 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830818470 10802880512 83489 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=26729/tid=27002] ppid=26727 vsize=10549624 CPUtime=53.19 cores=0,2,4,6 /proc/26729/task/27002/stat : 27002 (java) R 26727 26729 21775 0 -1 4202560 1 0 0 0 5319 0 0 0 16 0 22 0 830903118 10802814976 323132 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912505744974 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=26729/tid=27003] ppid=26727 vsize=10549624 CPUtime=53.21 cores=0,2,4,6 /proc/26729/task/27003/stat : 27003 (java) R 26727 26729 21775 0 -1 4202560 0 0 0 0 5321 0 0 0 16 0 22 0 830903118 10802814976 323132 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912505807025 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26729/tid=27004] ppid=26727 vsize=10549624 CPUtime=0 cores=0,2,4,6 /proc/26729/task/27004/stat : 27004 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830903118 10802814976 323132 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1599.23 Current children cumulated vsize (KiB) 10549624 [startup+1002.3 s] /proc/loadavg: 4.17 3.57 3.43 4/541 27011 /proc/meminfo: memFree=27657440/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10567692 CPUtime=1693.13 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 338726 0 1 0 169261 52 0 0 21 0 22 0 830818466 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2641923 334490 2258 9 0 2632657 0 [pid=26729/tid=26731] ppid=26727 vsize=10567692 CPUtime=0.34 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) S 26727 26729 21775 0 -1 4202560 13698 0 1 0 32 2 0 0 15 0 22 0 830818467 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26738] ppid=26727 vsize=10567692 CPUtime=3.03 cores=0,2,4,6 /proc/26729/task/26738/stat : 26738 (java) S 26727 26729 21775 0 -1 4202560 1401 0 0 0 303 0 0 0 15 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26741] ppid=26727 vsize=10567692 CPUtime=2.9 cores=0,2,4,6 /proc/26729/task/26741/stat : 26741 (java) S 26727 26729 21775 0 -1 4202560 1095 0 0 0 290 0 0 0 16 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26743] ppid=26727 vsize=10567692 CPUtime=2.95 cores=0,2,4,6 /proc/26729/task/26743/stat : 26743 (java) S 26727 26729 21775 0 -1 4202560 845 0 0 0 295 0 0 0 16 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26745] ppid=26727 vsize=10567692 CPUtime=2.9 cores=0,2,4,6 /proc/26729/task/26745/stat : 26745 (java) S 26727 26729 21775 0 -1 4202560 808 0 0 0 290 0 0 0 16 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26746] ppid=26727 vsize=10567692 CPUtime=3 cores=0,2,4,6 /proc/26729/task/26746/stat : 26746 (java) S 26727 26729 21775 0 -1 4202560 426 0 0 0 300 0 0 0 15 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26747] ppid=26727 vsize=10567692 CPUtime=2.6 cores=0,2,4,6 /proc/26729/task/26747/stat : 26747 (java) S 26727 26729 21775 0 -1 4202560 1820 0 0 0 260 0 0 0 16 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26748] ppid=26727 vsize=10567692 CPUtime=3.05 cores=0,2,4,6 /proc/26729/task/26748/stat : 26748 (java) S 26727 26729 21775 0 -1 4202560 1859 0 0 0 305 0 0 0 15 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26749] ppid=26727 vsize=10567692 CPUtime=2.63 cores=0,2,4,6 /proc/26729/task/26749/stat : 26749 (java) S 26727 26729 21775 0 -1 4202560 1439 0 0 0 263 0 0 0 15 0 22 0 830818469 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26750] ppid=26727 vsize=10567692 CPUtime=317.02 cores=0,2,4,6 /proc/26729/task/26750/stat : 26750 (java) R 26727 26729 21775 0 -1 4202560 121863 0 0 0 31683 19 0 0 16 0 22 0 830818470 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 47710240042224 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26729/tid=26752] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26752/stat : 26752 (java) S 26727 26729 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830818470 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26754] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26754/stat : 26754 (java) S 26727 26729 21775 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830818470 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26757] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26757/stat : 26757 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830818473 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624934321 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26759] ppid=26727 vsize=10567692 CPUtime=1.5 cores=0,2,4,6 /proc/26729/task/26759/stat : 26759 (java) S 26727 26729 21775 0 -1 4202560 9377 0 0 0 149 1 0 0 15 0 22 0 830818473 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26761] ppid=26727 vsize=10567692 CPUtime=0.61 cores=0,2,4,6 /proc/26729/task/26761/stat : 26761 (java) S 26727 26729 21775 0 -1 4202560 1440 0 0 0 61 0 0 0 15 0 22 0 830818473 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26763] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26763/stat : 26763 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830818473 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26765] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26765/stat : 26765 (java) S 26727 26729 21775 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830818473 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26782] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26782/stat : 26782 (java) S 26727 26729 21775 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830818601 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=27002] ppid=26727 vsize=10567692 CPUtime=85.32 cores=0,2,4,6 /proc/26729/task/27002/stat : 27002 (java) S 26727 26729 21775 0 -1 4202560 2 0 0 0 8532 0 0 0 17 0 22 0 830903118 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=27003] ppid=26727 vsize=10567692 CPUtime=85.34 cores=0,2,4,6 /proc/26729/task/27003/stat : 27003 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 8534 0 0 0 17 0 22 0 830903118 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=27004] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/27004/stat : 27004 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830903118 10821316608 334490 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1693.13 Current children cumulated vsize (KiB) 10567692 [startup+1062.3 s] /proc/loadavg: 3.61 3.51 3.41 4/541 27012 /proc/meminfo: memFree=27621652/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10567692 CPUtime=1784.78 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 341777 0 1 0 178425 53 0 0 21 0 22 0 830818466 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2641923 337505 2258 9 0 2632657 0 [pid=26729/tid=26731] ppid=26727 vsize=10567692 CPUtime=0.34 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) S 26727 26729 21775 0 -1 4202560 13726 0 1 0 32 2 0 0 15 0 22 0 830818467 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26738] ppid=26727 vsize=10567692 CPUtime=3.24 cores=0,2,4,6 /proc/26729/task/26738/stat : 26738 (java) S 26727 26729 21775 0 -1 4202560 1408 0 0 0 324 0 0 0 15 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26741] ppid=26727 vsize=10567692 CPUtime=3.16 cores=0,2,4,6 /proc/26729/task/26741/stat : 26741 (java) S 26727 26729 21775 0 -1 4202560 1104 0 0 0 316 0 0 0 16 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26743] ppid=26727 vsize=10567692 CPUtime=3.21 cores=0,2,4,6 /proc/26729/task/26743/stat : 26743 (java) S 26727 26729 21775 0 -1 4202560 851 0 0 0 321 0 0 0 16 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26745] ppid=26727 vsize=10567692 CPUtime=3.11 cores=0,2,4,6 /proc/26729/task/26745/stat : 26745 (java) S 26727 26729 21775 0 -1 4202560 819 0 0 0 311 0 0 0 15 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26746] ppid=26727 vsize=10567692 CPUtime=3.22 cores=0,2,4,6 /proc/26729/task/26746/stat : 26746 (java) S 26727 26729 21775 0 -1 4202560 432 0 0 0 322 0 0 0 16 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26747] ppid=26727 vsize=10567692 CPUtime=2.82 cores=0,2,4,6 /proc/26729/task/26747/stat : 26747 (java) S 26727 26729 21775 0 -1 4202560 1823 0 0 0 282 0 0 0 16 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26748] ppid=26727 vsize=10567692 CPUtime=3.24 cores=0,2,4,6 /proc/26729/task/26748/stat : 26748 (java) S 26727 26729 21775 0 -1 4202560 1859 0 0 0 324 0 0 0 16 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26749] ppid=26727 vsize=10567692 CPUtime=2.83 cores=0,2,4,6 /proc/26729/task/26749/stat : 26749 (java) S 26727 26729 21775 0 -1 4202560 1445 0 0 0 283 0 0 0 16 0 22 0 830818469 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26750] ppid=26727 vsize=10567692 CPUtime=346.13 cores=0,2,4,6 /proc/26729/task/26750/stat : 26750 (java) R 26727 26729 21775 0 -1 4202560 124834 0 0 0 34593 20 0 0 16 0 22 0 830818470 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 47710240424008 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26729/tid=26752] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26752/stat : 26752 (java) S 26727 26729 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830818470 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26754] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26754/stat : 26754 (java) S 26727 26729 21775 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830818470 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26757] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26757/stat : 26757 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830818473 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624934321 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26759] ppid=26727 vsize=10567692 CPUtime=1.5 cores=0,2,4,6 /proc/26729/task/26759/stat : 26759 (java) S 26727 26729 21775 0 -1 4202560 9377 0 0 0 149 1 0 0 15 0 22 0 830818473 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26761] ppid=26727 vsize=10567692 CPUtime=0.61 cores=0,2,4,6 /proc/26729/task/26761/stat : 26761 (java) S 26727 26729 21775 0 -1 4202560 1440 0 0 0 61 0 0 0 15 0 22 0 830818473 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26763] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26763/stat : 26763 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830818473 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26765] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26765/stat : 26765 (java) S 26727 26729 21775 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 830818473 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26782] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26782/stat : 26782 (java) S 26727 26729 21775 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830818601 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=27002] ppid=26727 vsize=10567692 CPUtime=115.71 cores=0,2,4,6 /proc/26729/task/27002/stat : 27002 (java) S 26727 26729 21775 0 -1 4202560 2 0 0 0 11571 0 0 0 17 0 22 0 830903118 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=27003] ppid=26727 vsize=10567692 CPUtime=115.73 cores=0,2,4,6 /proc/26729/task/27003/stat : 27003 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 11573 0 0 0 17 0 22 0 830903118 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=27004] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/27004/stat : 27004 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830903118 10821316608 337505 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1784.78 Current children cumulated vsize (KiB) 10567692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1072.1 s] /proc/loadavg: 3.51 3.49 3.41 5/541 27013 /proc/meminfo: memFree=27608136/32951124 swapFree=53876548/67111528 [pid=26729] ppid=26727 vsize=10567692 CPUtime=1800.23 cores=0,2,4,6 /proc/26729/stat : 26729 (java) S 26727 26729 21775 0 -1 4202496 342167 0 1 0 179970 53 0 0 21 0 22 0 830818466 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26729/statm: 2641923 337891 2258 9 0 2632657 0 [pid=26729/tid=26731] ppid=26727 vsize=10567692 CPUtime=0.34 cores=0,2,4,6 /proc/26729/task/26731/stat : 26731 (java) S 26727 26729 21775 0 -1 4202560 13730 0 1 0 32 2 0 0 15 0 22 0 830818467 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26738] ppid=26727 vsize=10567692 CPUtime=3.26 cores=0,2,4,6 /proc/26729/task/26738/stat : 26738 (java) S 26727 26729 21775 0 -1 4202560 1408 0 0 0 326 0 0 0 15 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26741] ppid=26727 vsize=10567692 CPUtime=3.21 cores=0,2,4,6 /proc/26729/task/26741/stat : 26741 (java) S 26727 26729 21775 0 -1 4202560 1104 0 0 0 321 0 0 0 16 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26743] ppid=26727 vsize=10567692 CPUtime=3.24 cores=0,2,4,6 /proc/26729/task/26743/stat : 26743 (java) S 26727 26729 21775 0 -1 4202560 851 0 0 0 324 0 0 0 16 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26745] ppid=26727 vsize=10567692 CPUtime=3.15 cores=0,2,4,6 /proc/26729/task/26745/stat : 26745 (java) S 26727 26729 21775 0 -1 4202560 819 0 0 0 315 0 0 0 15 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26746] ppid=26727 vsize=10567692 CPUtime=3.24 cores=0,2,4,6 /proc/26729/task/26746/stat : 26746 (java) S 26727 26729 21775 0 -1 4202560 432 0 0 0 324 0 0 0 15 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26747] ppid=26727 vsize=10567692 CPUtime=2.86 cores=0,2,4,6 /proc/26729/task/26747/stat : 26747 (java) S 26727 26729 21775 0 -1 4202560 1829 0 0 0 286 0 0 0 16 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26748] ppid=26727 vsize=10567692 CPUtime=3.26 cores=0,2,4,6 /proc/26729/task/26748/stat : 26748 (java) S 26727 26729 21775 0 -1 4202560 1859 0 0 0 326 0 0 0 15 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26749] ppid=26727 vsize=10567692 CPUtime=2.86 cores=0,2,4,6 /proc/26729/task/26749/stat : 26749 (java) S 26727 26729 21775 0 -1 4202560 1445 0 0 0 286 0 0 0 16 0 22 0 830818469 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26750] ppid=26727 vsize=10567692 CPUtime=350.4 cores=0,2,4,6 /proc/26729/task/26750/stat : 26750 (java) S 26727 26729 21775 0 -1 4202560 125214 0 0 0 35020 20 0 0 16 0 22 0 830818470 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 0 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26752] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26752/stat : 26752 (java) S 26727 26729 21775 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830818470 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 [pid=26729/tid=26754] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26754/stat : 26754 (java) S 26727 26729 21775 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830818470 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26757] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26757/stat : 26757 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830818473 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624934321 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26759] ppid=26727 vsize=10567692 CPUtime=1.5 cores=0,2,4,6 /proc/26729/task/26759/stat : 26759 (java) S 26727 26729 21775 0 -1 4202560 9377 0 0 0 149 1 0 0 15 0 22 0 830818473 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26761] ppid=26727 vsize=10567692 CPUtime=0.61 cores=0,2,4,6 /proc/26729/task/26761/stat : 26761 (java) S 26727 26729 21775 0 -1 4202560 1440 0 0 0 61 0 0 0 15 0 22 0 830818473 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=26763] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26763/stat : 26763 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830818473 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624926617 0 4 0 16800975 18446604444592354432 0 0 -1 6 0 0 0 [pid=26729/tid=26765] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26765/stat : 26765 (java) S 26727 26729 21775 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 830818473 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 0 0 0 0 [pid=26729/tid=26782] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/26782/stat : 26782 (java) S 26727 26729 21775 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830818601 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 4 0 0 0 [pid=26729/tid=27002] ppid=26727 vsize=10567692 CPUtime=121.17 cores=0,2,4,6 /proc/26729/task/27002/stat : 27002 (java) R 26727 26729 21775 0 -1 4202560 2 0 0 0 12117 0 0 0 16 0 22 0 830903118 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912505366563 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=26729/tid=27003] ppid=26727 vsize=10567692 CPUtime=121.2 cores=0,2,4,6 /proc/26729/task/27003/stat : 27003 (java) R 26727 26729 21775 0 -1 4202560 1 0 0 0 12120 0 0 0 16 0 22 0 830903118 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 46912505752227 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=26729/tid=27004] ppid=26727 vsize=10567692 CPUtime=0 cores=0,2,4,6 /proc/26729/task/27004/stat : 27004 (java) S 26727 26729 21775 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830903118 10821316608 337891 33554432000 1073741824 1073778376 140734497528416 18446744073709551615 270624927232 0 4 0 16800975 18446604444592354432 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 10567692 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): 1072.19 CPU time (s): 1800.35 CPU user time (s): 1799.76 CPU system time (s): 0.592909 CPU usage (%): 167.913 Max. virtual memory (cumulated for all children) (KiB): 10567692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.76 system time used= 0.592909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 342198 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= 43316 involuntary context switches= 22644 runsolver used 5.9381 second user time and 12.2221 second system time The end
Begin job on node108 at 2011-06-04 14:56:15 IDJOB=3454343 IDBENCH=2881 IDSOLVER=1950 FILE ID=node108/3454343-1307192175 RUNJOBID= node108-1307192175-26710 PBS_JOBID= 13508826 Free space on /tmp= 73836 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454343-1307192175/watcher-3454343-1307192175 -o /tmp/evaluation-result-3454343-1307192175/solver-3454343-1307192175 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454343-1307192175.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 87c08328e44aaf86c5913a3ba08592cd RANDOM SEED=1316610835 node108.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.820 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.64 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.820 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 : 5226.15 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.820 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.82 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.820 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.77 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.820 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.820 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30301904 kB Buffers: 325572 kB Cached: 1047732 kB SwapCached: 13540 kB Active: 1388760 kB Inactive: 976068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30301904 kB SwapTotal: 67111528 kB SwapFree: 53876548 kB Dirty: 808 kB Writeback: 0 kB AnonPages: 988772 kB Mapped: 12240 kB Slab: 150192 kB PageTables: 66120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 134538896 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= 73836 MiB End job on node108 at 2011-06-04 15:14:09