Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 115 | 1800.73 | 1794.35 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-m4.r.opb |
| MD5SUM | f69ecb5497caa964fbd82b9dc6698ac3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 90 |
| Best CPU time to get the best result obtained on this benchmark | 0.142977 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 90 |
| Optimality of the best value was proved | YES |
| Number of variables | 652 |
| Total number of constraints | 759 |
| Number of constraints which are clauses | 759 |
| 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 | 46 |
| Number of terms in the objective function | 652 |
| 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 | 652 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 652 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.2.v20120418 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 501472288 0.06/0.09 c Max memory 7480803328 0.06/0.09 c Total memory 504102912 0.06/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3688171-1337880765.opb 0.09/0.11 c reading problem ... 0.29/0.26 c ... done. Wall clock time 0.149s. 0.29/0.26 c declared #vars 652 0.29/0.26 c #constraints 759 0.29/0.26 c constraints type 0.29/0.26 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 743 0.29/0.26 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16 0.29/0.26 c 759 constraints processed. 0.29/0.26 c objective function length is 652 literals 0.29/0.27 c SATISFIABLE 0.29/0.27 c OPTIMIZING... 0.29/0.27 c Got one! Elapsed wall clock time (in seconds):0.163 0.29/0.27 o 116 0.29/0.29 c Got one! Elapsed wall clock time (in seconds):0.183 0.29/0.29 o 115 1.15/0.74 c cleaning 2504 clauses out of 5012 with flag 5001/5012 1.62/1.14 c cleaning 4254 clauses out of 8507 with flag 11000/11011 2.13/1.61 c cleaning 5627 clauses out of 11253 with flag 18000/18011 2.64/2.18 c cleaning 6817 clauses out of 13634 with flag 26008/26019 3.38/2.80 c cleaning 7899 clauses out of 15809 with flag 35000/35011 4.13/3.51 c cleaning 8950 clauses out of 17910 with flag 45000/45011 4.97/4.33 c cleaning 9976 clauses out of 19960 with flag 56000/56011 5.88/5.21 c cleaning 10979 clauses out of 21984 with flag 68000/68011 6.78/6.18 c cleaning 11995 clauses out of 24006 with flag 81001/81012 7.88/7.22 c cleaning 13005 clauses out of 26010 with flag 95000/95011 8.98/8.34 c cleaning 14004 clauses out of 28007 with flag 110002/110013 10.18/9.54 c cleaning 15000 clauses out of 30005 with flag 126004/126015 11.40/10.78 c cleaning 15997 clauses out of 32003 with flag 143002/143013 12.81/12.11 c cleaning 17001 clauses out of 34004 with flag 161000/161011 14.20/13.56 c cleaning 17997 clauses out of 36003 with flag 180000/180011 15.82/15.11 c cleaning 19003 clauses out of 38007 with flag 200001/200012 17.32/16.66 c cleaning 19998 clauses out of 40003 with flag 221000/221011 18.95/18.29 c cleaning 20998 clauses out of 42005 with flag 243000/243011 20.86/20.16 c cleaning 22001 clauses out of 44008 with flag 266001/266012 22.68/21.99 c cleaning 22992 clauses out of 46006 with flag 290000/290011 24.58/23.86 c cleaning 24001 clauses out of 48015 with flag 315001/315012 26.58/25.80 c cleaning 25004 clauses out of 50013 with flag 341000/341011 28.60/27.84 c cleaning 25996 clauses out of 52009 with flag 368000/368011 30.93/30.10 c cleaning 26999 clauses out of 54014 with flag 396001/396012 33.24/32.43 c cleaning 27999 clauses out of 56014 with flag 425000/425011 35.65/34.83 c cleaning 29004 clauses out of 58016 with flag 455001/455012 38.06/37.25 c cleaning 30002 clauses out of 60011 with flag 486000/486011 40.56/39.71 c cleaning 31000 clauses out of 62011 with flag 518002/518013 43.06/42.22 c cleaning 32001 clauses out of 64011 with flag 551002/551013 45.77/44.92 c cleaning 32998 clauses out of 66008 with flag 585000/585011 48.48/47.64 c cleaning 34003 clauses out of 68010 with flag 620000/620011 51.40/50.55 c cleaning 34994 clauses out of 70007 with flag 656000/656011 54.32/53.47 c cleaning 36002 clauses out of 72013 with flag 693000/693011 57.52/56.65 c cleaning 37000 clauses out of 74011 with flag 731000/731011 60.83/59.93 c cleaning 37998 clauses out of 76011 with flag 770000/770011 64.47/63.51 c cleaning 39001 clauses out of 78015 with flag 810002/810013 68.00/67.07 c cleaning 40002 clauses out of 80013 with flag 851001/851012 71.80/70.81 c cleaning 40995 clauses out of 82010 with flag 893000/893011 75.42/74.44 c cleaning 42000 clauses out of 84017 with flag 936002/936013 79.23/78.21 c cleaning 43000 clauses out of 86015 with flag 980000/980011 83.13/82.12 c cleaning 44006 clauses out of 88015 with flag 1025000/1025011 87.05/86.02 c cleaning 44998 clauses out of 90011 with flag 1071002/1071013 90.95/89.97 c cleaning 45998 clauses out of 92012 with flag 1118001/1118012 95.18/94.11 c cleaning 47002 clauses out of 94013 with flag 1166000/1166011 99.29/98.26 c cleaning 48005 clauses out of 96013 with flag 1215002/1215013 103.72/102.69 c cleaning 48996 clauses out of 98006 with flag 1265000/1265011 108.03/106.95 c cleaning 50006 clauses out of 100013 with flag 1316003/1316014 112.58/111.41 c cleaning 50995 clauses out of 102004 with flag 1368000/1368011 116.91/115.79 c cleaning 52000 clauses out of 104012 with flag 1421003/1421014 121.82/120.61 c cleaning 52998 clauses out of 106009 with flag 1475000/1475011 126.67/125.43 c cleaning 53998 clauses out of 108011 with flag 1530000/1530011 131.68/130.47 c cleaning 54997 clauses out of 110013 with flag 1586000/1586011 136.70/135.49 c cleaning 56004 clauses out of 112018 with flag 1643002/1643013 142.03/140.78 c cleaning 56999 clauses out of 114012 with flag 1701000/1701011 147.45/146.14 c cleaning 58004 clauses out of 116014 with flag 1760001/1760012 152.56/151.26 c cleaning 59005 clauses out of 118009 with flag 1820000/1820011 158.27/156.90 c cleaning 59999 clauses out of 120004 with flag 1881000/1881011 163.89/162.52 c cleaning 61000 clauses out of 122005 with flag 1943000/1943011 170.02/168.61 c cleaning 61991 clauses out of 124005 with flag 2006000/2006011 175.84/174.47 c cleaning 63008 clauses out of 126015 with flag 2070001/2070012 181.45/180.04 c cleaning 63998 clauses out of 128007 with flag 2135001/2135012 187.16/185.74 c cleaning 65000 clauses out of 130008 with flag 2201000/2201011 193.27/191.88 c cleaning 66000 clauses out of 132008 with flag 2268000/2268011 199.09/197.62 c cleaning 67003 clauses out of 134009 with flag 2336001/2336012 205.50/204.06 c cleaning 67997 clauses out of 136005 with flag 2405000/2405011 211.64/210.14 c cleaning 68999 clauses out of 138008 with flag 2475000/2475011 218.35/216.85 c cleaning 69998 clauses out of 140009 with flag 2546000/2546011 225.89/224.35 c cleaning 71005 clauses out of 142012 with flag 2618001/2618012 232.61/231.08 c cleaning 71999 clauses out of 144006 with flag 2691000/2691011 239.94/238.30 c cleaning 73002 clauses out of 146008 with flag 2765001/2765012 247.55/245.90 c cleaning 73995 clauses out of 148005 with flag 2840000/2840011 255.26/253.69 c cleaning 75004 clauses out of 150015 with flag 2916005/2916016 263.39/261.73 c cleaning 75990 clauses out of 152006 with flag 2993000/2993011 270.42/268.77 c cleaning 76999 clauses out of 154016 with flag 3071000/3071011 277.95/276.24 c cleaning 77998 clauses out of 156017 with flag 3150000/3150011 285.37/283.63 c cleaning 79005 clauses out of 158019 with flag 3230000/3230011 293.49/291.72 c cleaning 80000 clauses out of 160014 with flag 3311000/3311011 302.02/300.28 c cleaning 80994 clauses out of 162014 with flag 3393000/3393011 310.33/308.52 c cleaning 81995 clauses out of 164020 with flag 3476000/3476011 319.26/317.47 c cleaning 83007 clauses out of 166025 with flag 3560000/3560011 327.77/325.94 c cleaning 84002 clauses out of 168023 with flag 3645005/3645016 335.90/334.03 c cleaning 85006 clauses out of 170019 with flag 3731003/3731014 344.54/342.65 c cleaning 86002 clauses out of 172011 with flag 3818001/3818012 354.00/352.00 c cleaning 86996 clauses out of 174008 with flag 3906000/3906011 363.05/361.05 c cleaning 88001 clauses out of 176012 with flag 3995000/3995011 372.26/370.27 c cleaning 89001 clauses out of 178011 with flag 4085000/4085011 380.93/378.88 c cleaning 89989 clauses out of 180010 with flag 4176000/4176011 390.24/388.12 c cleaning 91010 clauses out of 182025 with flag 4268004/4268015 400.27/398.13 c cleaning 91997 clauses out of 184012 with flag 4361001/4361012 410.29/408.12 c cleaning 93000 clauses out of 186014 with flag 4455000/4455011 418.84/416.60 c cleaning 94005 clauses out of 188014 with flag 4550000/4550011 427.66/425.46 c cleaning 95002 clauses out of 190009 with flag 4646000/4646011 437.81/435.51 c cleaning 95999 clauses out of 192007 with flag 4743000/4743011 447.12/444.88 c cleaning 97002 clauses out of 194008 with flag 4841000/4841011 456.97/454.66 c cleaning 97993 clauses out of 196006 with flag 4940000/4940011 466.79/464.44 c cleaning 99001 clauses out of 198013 with flag 5040000/5040011 477.18/474.71 c cleaning 99998 clauses out of 200012 with flag 5141000/5141011 488.01/485.55 c cleaning 101000 clauses out of 202014 with flag 5243000/5243011 499.36/496.89 c cleaning 102008 clauses out of 204016 with flag 5346002/5346013 510.98/508.44 c cleaning 102996 clauses out of 206007 with flag 5450001/5450012 521.52/518.94 c cleaning 104005 clauses out of 208011 with flag 5555001/5555012 532.44/529.85 c cleaning 104995 clauses out of 210005 with flag 5661000/5661011 544.00/541.39 c cleaning 106005 clauses out of 212010 with flag 5768000/5768011 555.15/552.42 c cleaning 107000 clauses out of 214005 with flag 5876000/5876011 566.37/563.62 c cleaning 107995 clauses out of 216005 with flag 5985000/5985011 576.71/573.99 c cleaning 108999 clauses out of 218011 with flag 6095001/6095012 588.25/585.41 c cleaning 110005 clauses out of 220012 with flag 6206001/6206012 599.89/597.01 c cleaning 110996 clauses out of 222006 with flag 6318000/6318011 611.82/608.90 c cleaning 111995 clauses out of 224010 with flag 6431000/6431011 624.17/621.22 c cleaning 113003 clauses out of 226015 with flag 6545000/6545011 635.80/632.86 c cleaning 113999 clauses out of 228012 with flag 6660000/6660011 647.93/644.94 c cleaning 114996 clauses out of 230013 with flag 6776000/6776011 660.15/657.11 c cleaning 116002 clauses out of 232017 with flag 6893000/6893011 672.58/669.55 c cleaning 117001 clauses out of 234015 with flag 7011000/7011011 685.13/682.07 c cleaning 118002 clauses out of 236016 with flag 7130002/7130013 696.76/693.65 c cleaning 118999 clauses out of 238012 with flag 7250000/7250011 708.57/705.48 c cleaning 120003 clauses out of 240013 with flag 7371000/7371011 721.51/718.38 c cleaning 120993 clauses out of 242012 with flag 7493002/7493013 734.73/731.59 c cleaning 122003 clauses out of 244017 with flag 7616000/7616011 748.54/745.33 c cleaning 122999 clauses out of 246014 with flag 7740000/7740011 762.77/759.54 c cleaning 123998 clauses out of 248016 with flag 7865001/7865012 776.50/773.29 c cleaning 125006 clauses out of 250017 with flag 7991000/7991011 790.44/787.15 c cleaning 125992 clauses out of 252011 with flag 8118000/8118011 804.42/801.07 c cleaning 127002 clauses out of 254020 with flag 8246001/8246012 818.27/814.81 c cleaning 128000 clauses out of 256017 with flag 8375000/8375011 831.83/828.36 c cleaning 129005 clauses out of 258017 with flag 8505000/8505011 846.55/843.02 c cleaning 130006 clauses out of 260015 with flag 8636003/8636014 862.18/858.62 c cleaning 130989 clauses out of 262006 with flag 8768000/8768011 876.65/873.01 c cleaning 131997 clauses out of 264017 with flag 8901000/8901011 890.86/887.22 c cleaning 133005 clauses out of 266020 with flag 9035000/9035011 904.69/901.05 c cleaning 134007 clauses out of 268015 with flag 9170000/9170011 918.32/914.60 c cleaning 134996 clauses out of 270008 with flag 9306000/9306011 933.05/929.36 c cleaning 135997 clauses out of 272013 with flag 9443001/9443012 948.69/944.92 c cleaning 137007 clauses out of 274016 with flag 9581001/9581012 964.25/960.40 c cleaning 137995 clauses out of 276008 with flag 9720000/9720011 981.38/977.51 c cleaning 138992 clauses out of 278016 with flag 9860003/9860014 997.97/994.04 c cleaning 140010 clauses out of 280022 with flag 10001001/10001012 1011.79/1007.89 c cleaning 140999 clauses out of 282011 with flag 10143000/10143011 1026.23/1022.22 c cleaning 142000 clauses out of 284014 with flag 10286002/10286013 1044.77/1040.72 c cleaning 143001 clauses out of 286012 with flag 10430000/10430011 1063.84/1059.79 c cleaning 143998 clauses out of 288012 with flag 10575001/10575012 1079.77/1075.66 c cleaning 144995 clauses out of 290014 with flag 10721001/10721012 1096.18/1092.00 c cleaning 146004 clauses out of 292019 with flag 10868001/10868012 1116.22/1112.10 c cleaning 147004 clauses out of 294017 with flag 11016003/11016014 1131.69/1127.46 c cleaning 147998 clauses out of 296011 with flag 11165001/11165012 1148.69/1144.49 c cleaning 148988 clauses out of 298012 with flag 11315000/11315011 1167.26/1162.90 c cleaning 150012 clauses out of 300024 with flag 11466000/11466011 1185.20/1180.85 c cleaning 150997 clauses out of 302012 with flag 11618000/11618011 1202.63/1198.25 c cleaning 152006 clauses out of 304015 with flag 11771000/11771011 1218.98/1214.54 c cleaning 152999 clauses out of 306009 with flag 11925000/11925011 1237.80/1233.35 c cleaning 153999 clauses out of 308013 with flag 12080003/12080014 1255.71/1251.30 c cleaning 154998 clauses out of 310011 with flag 12236000/12236011 1273.98/1269.45 c cleaning 155995 clauses out of 312015 with flag 12393002/12393013 1293.45/1288.84 c cleaning 156995 clauses out of 314018 with flag 12551000/12551011 1313.51/1308.80 c cleaning 158000 clauses out of 316023 with flag 12710000/12710011 1332.87/1328.11 c cleaning 159010 clauses out of 318023 with flag 12870000/12870011 1353.53/1348.79 c cleaning 160001 clauses out of 320015 with flag 13031002/13031013 1374.51/1369.65 c cleaning 161000 clauses out of 322014 with flag 13193002/13193013 1394.06/1389.16 c cleaning 162001 clauses out of 324012 with flag 13356000/13356011 1412.68/1407.64 c cleaning 163006 clauses out of 326011 with flag 13520000/13520011 1435.71/1430.62 c cleaning 164001 clauses out of 328006 with flag 13685001/13685012 1457.92/1452.84 c cleaning 164996 clauses out of 330005 with flag 13851001/13851012 1479.45/1474.30 c cleaning 166002 clauses out of 332010 with flag 14018002/14018013 1500.57/1495.48 c cleaning 166997 clauses out of 334006 with flag 14186000/14186011 1524.87/1519.66 c cleaning 167995 clauses out of 336009 with flag 14355000/14355011 1548.95/1543.68 c cleaning 169003 clauses out of 338014 with flag 14525000/14525011 1573.91/1568.51 c cleaning 169997 clauses out of 340012 with flag 14696001/14696012 1596.23/1590.81 c cleaning 170995 clauses out of 342014 with flag 14868000/14868011 1621.96/1616.54 c cleaning 172004 clauses out of 344019 with flag 15041000/15041011 1643.39/1637.98 c cleaning 172999 clauses out of 346015 with flag 15215000/15215011 1661.36/1655.87 c cleaning 173999 clauses out of 348016 with flag 15390000/15390011 1682.36/1676.80 c cleaning 175007 clauses out of 350019 with flag 15566002/15566013 1703.19/1697.63 c cleaning 175999 clauses out of 352010 with flag 15743000/15743011 1725.04/1719.40 c cleaning 177004 clauses out of 354012 with flag 15921001/15921012 1744.87/1739.25 c cleaning 177998 clauses out of 356007 with flag 16100000/16100011 1765.22/1759.54 c cleaning 178997 clauses out of 358009 with flag 16280000/16280011 1784.65/1778.99 c cleaning 179998 clauses out of 360012 with flag 16461000/16461011 1800.07/1794.31 c starts : 349 1800.07/1794.31 c conflicts : 16613946 1800.07/1794.31 c decisions : 36774888 1800.07/1794.31 c propagations : 2434785966 1800.07/1794.31 c inspects : 8080296284 1800.07/1794.31 c shortcuts : 0 1800.07/1794.31 c learnt literals : 0 1800.07/1794.31 c learnt binary clauses : 0 1800.07/1794.31 c learnt ternary clauses : 0 1800.07/1794.31 c learnt constraints : 16613947 1800.07/1794.31 c ignored constraints : 0 1800.07/1794.31 c root simplifications : 0 1800.07/1794.31 c removed literals (reason simplification) : 0 1800.07/1794.31 c reason swapping (by a shorter reason) : 0 1800.07/1794.31 c Calls to reduceDB : 177 1800.07/1794.31 c number of reductions to clauses (during analyze) : 0 1800.07/1794.31 c number of learned constraints concerned by reduction : 0 1800.07/1794.31 c number of learning phase by resolution : 0 1800.07/1794.31 c number of learning phase by cutting planes : 0 1800.07/1794.31 c speed (assignments/second) : 1357147.353441688 1800.07/1794.31 c non guided choices 1 1800.07/1794.34 c learnt constraints type 1800.07/1794.34 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 333200 1800.07/1794.34 c constraints type 1800.07/1794.34 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 743 1800.07/1794.34 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.07/1794.34 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 16 1800.07/1794.34 c 760 constraints processed. 1800.07/1794.34 s SATISFIABLE 1800.07/1794.35 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 1800.07/1794.35 c objective function=115 1800.07/1794.35 c Total wall clock time (in seconds): 1794.239
OK 115
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688171-1337880765/watcher-3688171-1337880765 -o /tmp/evaluation-result-3688171-1337880765/solver-3688171-1337880765 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688171-1337880765.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.03 2.00 3/194 20522 /proc/meminfo: memFree=28460608/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/20522/stat : 20522 (java) D 20520 20522 16961 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254200568 9515008 182 33554432000 1073741824 1073778376 140734785854416 140734785845448 251053031093 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/20522/statm: 2323 182 140 9 0 71 0 [startup+0.0782061 s] /proc/loadavg: 2.00 2.03 2.00 3/194 20522 /proc/meminfo: memFree=28460608/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9558412 CPUtime=0.06 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 3348 0 1 0 5 1 0 0 20 0 18 0 254200568 9787813888 4557 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2389603 4558 1772 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558412 [startup+0.1002 s] /proc/loadavg: 2.00 2.03 2.00 3/194 20522 /proc/meminfo: memFree=28460608/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9558412 CPUtime=0.09 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 4365 0 1 0 8 1 0 0 20 0 18 0 254200568 9787813888 5562 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2389603 5565 2108 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.30023 s] /proc/loadavg: 2.00 2.03 2.00 3/194 20522 /proc/meminfo: memFree=28460608/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=0.53 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 6062 0 1 0 51 2 0 0 20 0 19 0 254200568 9855975424 8043 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 8043 2229 9 0 2396937 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 9624976 [startup+0.700218 s] /proc/loadavg: 2.00 2.03 2.00 3/194 20522 /proc/meminfo: memFree=28460608/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=1.15 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 7989 0 1 0 113 2 0 0 20 0 19 0 254200568 9855975424 9864 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 9864 2242 9 0 2396937 0 Current children cumulated CPU time (s) 1.15 Current children cumulated vsize (KiB) 9624976 [startup+1.50059 s] /proc/loadavg: 2.00 2.03 2.00 3/213 20541 /proc/meminfo: memFree=28421384/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=2.03 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 8052 0 1 0 200 3 0 0 20 0 19 0 254200568 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 12984 2270 9 0 2396937 0 [pid=20522/tid=20524] ppid=20520 vsize=9624976 CPUtime=1.44 cores=1,3,5,7 /proc/20522/task/20524/stat : 20524 (java) R 20520 20522 16961 0 -1 4202560 2461 0 1 0 143 1 0 0 20 0 19 0 254200569 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140310302036256 140310156410249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20525] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20525/stat : 20525 (java) S 20520 20522 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140310274489128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20526] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20526/stat : 20526 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140310144920232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20527] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20527/stat : 20527 (java) S 20520 20522 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140310143867944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20528] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20528/stat : 20528 (java) S 20520 20522 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140310142815144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20529] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20529/stat : 20529 (java) S 20520 20522 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140310141761832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20530] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20530/stat : 20530 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140310140709032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20531] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20531/stat : 20531 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309803559464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20532] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20532/stat : 20532 (java) S 20520 20522 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309802506664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20522/tid=20533] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20533/stat : 20533 (java) S 20520 20522 16961 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 254200571 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309790309096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20534] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20534/stat : 20534 (java) S 20520 20522 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309789255160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20535] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20535/stat : 20535 (java) S 20520 20522 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309788202760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20536] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20536/stat : 20536 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309787151248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20537] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20537/stat : 20537 (java) S 20520 20522 16961 0 -1 4202560 2389 0 0 0 28 0 0 0 20 0 19 0 254200574 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309786097848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20538] ppid=20520 vsize=9624976 CPUtime=0.23 cores=1,3,5,7 /proc/20522/task/20538/stat : 20538 (java) S 20520 20522 16961 0 -1 4202560 1960 0 0 0 23 0 0 0 20 0 19 0 254200574 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309785045048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20539] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20539/stat : 20539 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309783992952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20540] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20540/stat : 20540 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309782940360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20541] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20541/stat : 20541 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200595 9855975424 12984 33554432000 1073741824 1073778376 140733391886496 140309781886376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 9624976 [startup+3.10062 s] /proc/loadavg: 2.00 2.03 2.00 3/213 20541 /proc/meminfo: memFree=28414372/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=3.72 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 8781 0 1 0 369 3 0 0 20 0 19 0 254200568 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 14033 2271 9 0 2396937 0 [pid=20522/tid=20524] ppid=20520 vsize=9624976 CPUtime=3.01 cores=1,3,5,7 /proc/20522/task/20524/stat : 20524 (java) R 20520 20522 16961 0 -1 4202560 2461 0 1 0 299 2 0 0 20 0 19 0 254200569 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140310302036256 140310156460587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20525] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20525/stat : 20525 (java) S 20520 20522 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140310274489128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20526] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20526/stat : 20526 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140310144920232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20527] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20527/stat : 20527 (java) S 20520 20522 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140310143867944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20528] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20528/stat : 20528 (java) S 20520 20522 16961 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140310142815144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20529] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20529/stat : 20529 (java) S 20520 20522 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140310141761832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20530] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20530/stat : 20530 (java) S 20520 20522 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140310140709032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20531] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20531/stat : 20531 (java) S 20520 20522 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309803559464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20532] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20532/stat : 20532 (java) S 20520 20522 16961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309802506664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20522/tid=20533] ppid=20520 vsize=9624976 CPUtime=0.03 cores=1,3,5,7 /proc/20522/task/20533/stat : 20533 (java) S 20520 20522 16961 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 254200571 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309790309096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20534] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20534/stat : 20534 (java) S 20520 20522 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309789255160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20535] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20535/stat : 20535 (java) S 20520 20522 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309788202760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20536] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20536/stat : 20536 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309787151248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20537] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20537/stat : 20537 (java) S 20520 20522 16961 0 -1 4202560 2389 0 0 0 28 0 0 0 20 0 19 0 254200574 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309786097848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20538] ppid=20520 vsize=9624976 CPUtime=0.32 cores=1,3,5,7 /proc/20522/task/20538/stat : 20538 (java) S 20520 20522 16961 0 -1 4202560 2666 0 0 0 32 0 0 0 20 0 19 0 254200574 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309785045048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20539] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20539/stat : 20539 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309783992952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20540] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20540/stat : 20540 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309782940360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20541] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20541/stat : 20541 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200595 9855975424 14033 33554432000 1073741824 1073778376 140733391886496 140309781886376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.72 Current children cumulated vsize (KiB) 9624976 [startup+6.30069 s] /proc/loadavg: 2.00 2.03 2.00 3/213 20541 /proc/meminfo: memFree=28403400/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=6.98 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 9069 0 1 0 694 4 0 0 20 0 19 0 254200568 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 14975 2271 9 0 2396937 0 [pid=20522/tid=20524] ppid=20520 vsize=9624976 CPUtime=6.16 cores=1,3,5,7 /proc/20522/task/20524/stat : 20524 (java) R 20520 20522 16961 0 -1 4202560 2466 0 1 0 614 2 0 0 20 0 19 0 254200569 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140310302036256 140310156460425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20525] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20525/stat : 20525 (java) S 20520 20522 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140310274489128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20526] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20526/stat : 20526 (java) S 20520 20522 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140310144920232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20527] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20527/stat : 20527 (java) S 20520 20522 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140310143867944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20528] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20528/stat : 20528 (java) S 20520 20522 16961 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140310142815144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20529] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20529/stat : 20529 (java) S 20520 20522 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140310141761832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20530] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20530/stat : 20530 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140310140709032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20531] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20531/stat : 20531 (java) S 20520 20522 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309803559464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20532] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20532/stat : 20532 (java) S 20520 20522 16961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254200570 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309802506664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20522/tid=20533] ppid=20520 vsize=9624976 CPUtime=0.08 cores=1,3,5,7 /proc/20522/task/20533/stat : 20533 (java) S 20520 20522 16961 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 254200571 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309790309096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20522/tid=20534] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20534/stat : 20534 (java) S 20520 20522 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309789255160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20535] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20535/stat : 20535 (java) S 20520 20522 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309788202760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20536] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20536/stat : 20536 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309787151248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20537] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20537/stat : 20537 (java) S 20520 20522 16961 0 -1 4202560 2389 0 0 0 28 0 0 0 20 0 19 0 254200574 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309786097848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20538] ppid=20520 vsize=9624976 CPUtime=0.36 cores=1,3,5,7 /proc/20522/task/20538/stat : 20538 (java) S 20520 20522 16961 0 -1 4202560 2939 0 0 0 36 0 0 0 20 0 19 0 254200574 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309785045048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20539] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20539/stat : 20539 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309783992952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20540] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20540/stat : 20540 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309782940360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20541] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20541/stat : 20541 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200595 9855975424 14975 33554432000 1073741824 1073778376 140733391886496 140309781886376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 6.98 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ [pid=20522/tid=20530] ppid=20520 vsize=9624976 CPUtime=1.03 cores=1,3,5,7 /proc/20522/task/20530/stat : 20530 (java) S 20520 20522 16961 0 -1 4202560 240 0 0 0 99 4 0 0 20 0 19 0 254200570 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140310140709032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20531] ppid=20520 vsize=9624976 CPUtime=0.92 cores=1,3,5,7 /proc/20522/task/20531/stat : 20531 (java) S 20520 20522 16961 0 -1 4202560 341 0 0 0 88 4 0 0 20 0 19 0 254200570 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309803559464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20532] ppid=20520 vsize=9624976 CPUtime=0.88 cores=1,3,5,7 /proc/20522/task/20532/stat : 20532 (java) S 20520 20522 16961 0 -1 4202560 323 0 0 0 85 3 0 0 20 0 19 0 254200570 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309802506664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20533] ppid=20520 vsize=9624976 CPUtime=8.79 cores=1,3,5,7 /proc/20522/task/20533/stat : 20533 (java) S 20520 20522 16961 0 -1 4202560 152 0 0 0 876 3 0 0 20 0 19 0 254200571 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309790309096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20534] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20534/stat : 20534 (java) S 20520 20522 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309789255160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20535] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20535/stat : 20535 (java) S 20520 20522 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309788202760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20536] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20536/stat : 20536 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309787151248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20537] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20537/stat : 20537 (java) S 20520 20522 16961 0 -1 4202560 2389 0 0 0 28 0 0 0 20 0 19 0 254200574 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309786097848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20538] ppid=20520 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/20522/task/20538/stat : 20538 (java) S 20520 20522 16961 0 -1 4202560 3005 0 0 0 38 0 0 0 20 0 19 0 254200574 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309785045048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20539] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20539/stat : 20539 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309783992952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20540] ppid=20520 vsize=9624976 CPUtime=0.27 cores=1,3,5,7 /proc/20522/task/20540/stat : 20540 (java) S 20520 20522 16961 0 -1 4202560 99 0 0 0 10 17 0 0 20 0 19 0 254200574 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309782940360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20541] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20541/stat : 20541 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200595 9855975424 85332 33554432000 1073741824 1073778376 140733391886496 140309781886376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1727.97 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 20695 /proc/meminfo: memFree=28698720/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=1788.06 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 12043 0 1 0 178758 48 0 0 20 0 19 0 254200568 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 85844 2272 9 0 2396937 0 [pid=20522/tid=20524] ppid=20520 vsize=9624976 CPUtime=1770.83 cores=1,3,5,7 /proc/20522/task/20524/stat : 20524 (java) R 20520 20522 16961 0 -1 4202560 2675 0 1 0 177051 32 0 0 20 0 19 0 254200569 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310302036256 140310156430362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20525] ppid=20520 vsize=9624976 CPUtime=0.98 cores=1,3,5,7 /proc/20522/task/20525/stat : 20525 (java) S 20520 20522 16961 0 -1 4202560 373 0 0 0 94 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310274489128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20526] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20526/stat : 20526 (java) S 20520 20522 16961 0 -1 4202560 338 0 0 0 88 2 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310144920232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20527] ppid=20520 vsize=9624976 CPUtime=0.88 cores=1,3,5,7 /proc/20522/task/20527/stat : 20527 (java) S 20520 20522 16961 0 -1 4202560 279 0 0 0 86 2 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310143867944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20528] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20528/stat : 20528 (java) S 20520 20522 16961 0 -1 4202560 407 0 0 0 87 3 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310142815144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20529] ppid=20520 vsize=9624976 CPUtime=0.94 cores=1,3,5,7 /proc/20522/task/20529/stat : 20529 (java) S 20520 20522 16961 0 -1 4202560 234 0 0 0 90 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310141761832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20530] ppid=20520 vsize=9624976 CPUtime=1.04 cores=1,3,5,7 /proc/20522/task/20530/stat : 20530 (java) S 20520 20522 16961 0 -1 4202560 240 0 0 0 100 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310140709032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20531] ppid=20520 vsize=9624976 CPUtime=0.95 cores=1,3,5,7 /proc/20522/task/20531/stat : 20531 (java) S 20520 20522 16961 0 -1 4202560 341 0 0 0 91 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309803559464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20522/tid=20532] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20532/stat : 20532 (java) S 20520 20522 16961 0 -1 4202560 323 0 0 0 87 3 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309802506664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20533] ppid=20520 vsize=9624976 CPUtime=9.08 cores=1,3,5,7 /proc/20522/task/20533/stat : 20533 (java) S 20520 20522 16961 0 -1 4202560 156 0 0 0 905 3 0 0 20 0 19 0 254200571 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309790309096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20534] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20534/stat : 20534 (java) S 20520 20522 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309789255160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20535] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20535/stat : 20535 (java) S 20520 20522 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309788202760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20536] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20536/stat : 20536 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309787151248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20537] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20537/stat : 20537 (java) S 20520 20522 16961 0 -1 4202560 2389 0 0 0 28 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309786097848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20538] ppid=20520 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/20522/task/20538/stat : 20538 (java) S 20520 20522 16961 0 -1 4202560 3005 0 0 0 38 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309785045048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20539] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20539/stat : 20539 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309783992952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20540] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20540/stat : 20540 (java) S 20520 20522 16961 0 -1 4202560 103 0 0 0 10 18 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309782940360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20541] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20541/stat : 20541 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200595 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309781886376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1788.06 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 20695 /proc/meminfo: memFree=28698720/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 12043 0 1 0 179958 49 0 0 20 0 19 0 254200568 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 85844 2272 9 0 2396937 0 [pid=20522/tid=20524] ppid=20520 vsize=9624976 CPUtime=1782.83 cores=1,3,5,7 /proc/20522/task/20524/stat : 20524 (java) R 20520 20522 16961 0 -1 4202560 2675 0 1 0 178250 33 0 0 20 0 19 0 254200569 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310302036256 140310156347990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20525] ppid=20520 vsize=9624976 CPUtime=0.98 cores=1,3,5,7 /proc/20522/task/20525/stat : 20525 (java) S 20520 20522 16961 0 -1 4202560 373 0 0 0 94 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310274489128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20526] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20526/stat : 20526 (java) S 20520 20522 16961 0 -1 4202560 338 0 0 0 88 2 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310144920232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20527] ppid=20520 vsize=9624976 CPUtime=0.88 cores=1,3,5,7 /proc/20522/task/20527/stat : 20527 (java) S 20520 20522 16961 0 -1 4202560 279 0 0 0 86 2 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310143867944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20528] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20528/stat : 20528 (java) S 20520 20522 16961 0 -1 4202560 407 0 0 0 87 3 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310142815144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20529] ppid=20520 vsize=9624976 CPUtime=0.94 cores=1,3,5,7 /proc/20522/task/20529/stat : 20529 (java) S 20520 20522 16961 0 -1 4202560 234 0 0 0 90 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310141761832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20530] ppid=20520 vsize=9624976 CPUtime=1.04 cores=1,3,5,7 /proc/20522/task/20530/stat : 20530 (java) S 20520 20522 16961 0 -1 4202560 240 0 0 0 100 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310140709032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20531] ppid=20520 vsize=9624976 CPUtime=0.95 cores=1,3,5,7 /proc/20522/task/20531/stat : 20531 (java) S 20520 20522 16961 0 -1 4202560 341 0 0 0 91 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309803559464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20522/tid=20532] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20532/stat : 20532 (java) S 20520 20522 16961 0 -1 4202560 323 0 0 0 87 3 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309802506664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20533] ppid=20520 vsize=9624976 CPUtime=9.08 cores=1,3,5,7 /proc/20522/task/20533/stat : 20533 (java) S 20520 20522 16961 0 -1 4202560 156 0 0 0 905 3 0 0 20 0 19 0 254200571 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309790309096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20534] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20534/stat : 20534 (java) S 20520 20522 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309789255160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20535] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20535/stat : 20535 (java) S 20520 20522 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309788202760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20536] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20536/stat : 20536 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309787151248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20537] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20537/stat : 20537 (java) S 20520 20522 16961 0 -1 4202560 2389 0 0 0 28 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309786097848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20538] ppid=20520 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/20522/task/20538/stat : 20538 (java) S 20520 20522 16961 0 -1 4202560 3005 0 0 0 38 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309785045048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20539] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20539/stat : 20539 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309783992952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20540] ppid=20520 vsize=9624976 CPUtime=0.29 cores=1,3,5,7 /proc/20522/task/20540/stat : 20540 (java) S 20520 20522 16961 0 -1 4202560 103 0 0 0 11 18 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309782940360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20541] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20541/stat : 20541 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200595 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309781886376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 20695 /proc/meminfo: memFree=28698720/32873648 swapFree=7360/7360 [pid=20522] ppid=20520 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7 /proc/20522/stat : 20522 (java) S 20520 20522 16961 0 -1 4202496 12043 0 1 0 179958 49 0 0 20 0 19 0 254200568 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140733391877632 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/20522/statm: 2406244 85844 2272 9 0 2396937 0 [pid=20522/tid=20524] ppid=20520 vsize=9624976 CPUtime=1782.83 cores=1,3,5,7 /proc/20522/task/20524/stat : 20524 (java) R 20520 20522 16961 0 -1 4202560 2675 0 1 0 178250 33 0 0 20 0 19 0 254200569 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310302036256 140310156347990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20525] ppid=20520 vsize=9624976 CPUtime=0.98 cores=1,3,5,7 /proc/20522/task/20525/stat : 20525 (java) S 20520 20522 16961 0 -1 4202560 373 0 0 0 94 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310274489128 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20526] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20526/stat : 20526 (java) S 20520 20522 16961 0 -1 4202560 338 0 0 0 88 2 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310144920232 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20527] ppid=20520 vsize=9624976 CPUtime=0.88 cores=1,3,5,7 /proc/20522/task/20527/stat : 20527 (java) S 20520 20522 16961 0 -1 4202560 279 0 0 0 86 2 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310143867944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20528] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20528/stat : 20528 (java) S 20520 20522 16961 0 -1 4202560 407 0 0 0 87 3 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310142815144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20529] ppid=20520 vsize=9624976 CPUtime=0.94 cores=1,3,5,7 /proc/20522/task/20529/stat : 20529 (java) S 20520 20522 16961 0 -1 4202560 234 0 0 0 90 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310141761832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20530] ppid=20520 vsize=9624976 CPUtime=1.04 cores=1,3,5,7 /proc/20522/task/20530/stat : 20530 (java) S 20520 20522 16961 0 -1 4202560 240 0 0 0 100 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140310140709032 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20531] ppid=20520 vsize=9624976 CPUtime=0.95 cores=1,3,5,7 /proc/20522/task/20531/stat : 20531 (java) S 20520 20522 16961 0 -1 4202560 341 0 0 0 91 4 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309803559464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=20522/tid=20532] ppid=20520 vsize=9624976 CPUtime=0.9 cores=1,3,5,7 /proc/20522/task/20532/stat : 20532 (java) S 20520 20522 16961 0 -1 4202560 323 0 0 0 87 3 0 0 20 0 19 0 254200570 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309802506664 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20533] ppid=20520 vsize=9624976 CPUtime=9.08 cores=1,3,5,7 /proc/20522/task/20533/stat : 20533 (java) S 20520 20522 16961 0 -1 4202560 156 0 0 0 905 3 0 0 20 0 19 0 254200571 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309790309096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20534] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20534/stat : 20534 (java) S 20520 20522 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309789255160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20535] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20535/stat : 20535 (java) S 20520 20522 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254200572 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309788202760 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20536] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20536/stat : 20536 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309787151248 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20537] ppid=20520 vsize=9624976 CPUtime=0.28 cores=1,3,5,7 /proc/20522/task/20537/stat : 20537 (java) S 20520 20522 16961 0 -1 4202560 2389 0 0 0 28 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309786097848 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20538] ppid=20520 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/20522/task/20538/stat : 20538 (java) S 20520 20522 16961 0 -1 4202560 3005 0 0 0 38 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309785045048 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=20522/tid=20539] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20539/stat : 20539 (java) S 20520 20522 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309783992952 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=20522/tid=20540] ppid=20520 vsize=9624976 CPUtime=0.29 cores=1,3,5,7 /proc/20522/task/20540/stat : 20540 (java) S 20520 20522 16961 0 -1 4202560 103 0 0 0 11 18 0 0 20 0 19 0 254200574 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309782940360 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=20522/tid=20541] ppid=20520 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/20522/task/20541/stat : 20541 (java) S 20520 20522 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254200595 9855975424 85844 33554432000 1073741824 1073778376 140733391886496 140309781886376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9624976 Child status: 143 Real time (s): 1794.35 CPU time (s): 1800.73 CPU user time (s): 1799.79 CPU system time (s): 0.943856 CPU usage (%): 100.356 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.943856 maximum resident set size= 343532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12084 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42920 involuntary context switches= 45806 runsolver used 6.13107 second user time and 13.8129 second system time The end
Begin job on node149 at 2012-05-24 19:32:45 IDJOB=3688171 IDBENCH=2868 IDSOLVER=2269 FILE ID=node149/3688171-1337880765 RUNJOBID= node149-1337871880-16978 PBS_JOBID= 14620055 Free space on /tmp= 71732 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m4.r.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688171-1337880765/watcher-3688171-1337880765 -o /tmp/evaluation-result-3688171-1337880765/solver-3688171-1337880765 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688171-1337880765.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f69ecb5497caa964fbd82b9dc6698ac3 RANDOM SEED=1871676880 node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28460772 kB Buffers: 223216 kB Cached: 2712436 kB SwapCached: 0 kB Active: 1288236 kB Inactive: 2357756 kB Active(anon): 711348 kB Inactive(anon): 0 kB Active(file): 576888 kB Inactive(file): 2357756 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 456 kB Writeback: 0 kB AnonPages: 801924 kB Mapped: 22544 kB Shmem: 200 kB Slab: 628564 kB SReclaimable: 72592 kB SUnreclaim: 555972 kB KernelStack: 1760 kB PageTables: 5672 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 922580 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 770048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71732 MiB End job on node149 at 2012-05-24 20:02:41