Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -81 | 1800.65 | 1794.14 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.opb |
| MD5SUM | 5860d453a57eda7c4e66a0d11bc52e80 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -81 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 223 |
| Biggest coefficient in the objective function | 16 |
| Number of bits for the biggest coefficient in the objective function | 5 |
| Sum of the numbers in the objective function | 2376 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 2376 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 193 |
| Sum of products size (including duplicates) | 522 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 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.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/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@587bd9f2 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 Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4119358-1467255741.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.09/0.15 c ... done. Wall clock time 0.04s. 0.09/0.15 c declared #vars 30 0.09/0.15 c internal #vars 223 0.09/0.15 c #constraints 386 0.09/0.15 c constraints type 0.09/0.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 193 0.09/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193 0.09/0.15 c 386 constraints processed. 0.09/0.15 c objective function length is 223 literals 0.09/0.16 c SATISFIABLE 0.09/0.16 c OPTIMIZING... 0.09/0.16 c Got one! Elapsed wall clock time (in seconds):0.047 0.09/0.16 o -73 0.76/0.57 c cleaning 2497 clauses out of 5000 with flag 10336/5000 1.17/0.89 c cleaning 4248 clauses out of 8503 with flag 22545/11000 1.51/1.17 c Got one! Elapsed wall clock time (in seconds):1.059 1.51/1.17 o -74 2.02/1.50 c cleaning 7457 clauses out of 14914 with flag 10330/21659 2.63/1.83 c cleaning 6721 clauses out of 13456 with flag 23515/27658 2.63/1.86 c Got one! Elapsed wall clock time (in seconds):1.749 2.63/1.86 o -77 3.04/2.19 c cleaning 6271 clauses out of 12542 with flag 11122/33465 3.77/2.57 c cleaning 6136 clauses out of 12271 with flag 24227/39465 4.33/3.01 c cleaning 6566 clauses out of 13135 with flag 38381/46465 4.74/3.46 c cleaning 7283 clauses out of 14569 with flag 55118/54465 5.33/4.01 c cleaning 8136 clauses out of 16285 with flag 74866/63464 5.85/4.56 c cleaning 9073 clauses out of 18151 with flag 96955/73466 6.54/5.21 c cleaning 10037 clauses out of 20076 with flag 121962/84464 7.24/5.96 c cleaning 11019 clauses out of 22039 with flag 148485/96464 8.14/6.86 c cleaning 12007 clauses out of 24020 with flag 181419/109464 9.14/7.88 c cleaning 13006 clauses out of 26014 with flag 216449/123465 10.34/9.03 c cleaning 14000 clauses out of 28007 with flag 254982/138464 11.64/10.30 c cleaning 15002 clauses out of 30008 with flag 293112/154465 12.84/11.60 c cleaning 15999 clauses out of 32006 with flag 333003/171465 14.44/13.13 c cleaning 16998 clauses out of 34007 with flag 377584/189465 16.45/15.11 c cleaning 17999 clauses out of 36008 with flag 426673/208464 18.89/17.50 c cleaning 19003 clauses out of 38011 with flag 480391/228466 21.09/19.79 c cleaning 20002 clauses out of 40006 with flag 533610/249464 23.29/22.00 c cleaning 21000 clauses out of 42004 with flag 583195/271464 25.70/24.31 c cleaning 22003 clauses out of 44005 with flag 634355/294465 28.29/27.00 c cleaning 22993 clauses out of 46001 with flag 688429/318464 31.29/29.96 c cleaning 24004 clauses out of 48008 with flag 743814/343464 34.29/32.93 c cleaning 25002 clauses out of 50004 with flag 800969/369464 37.19/35.88 c cleaning 25993 clauses out of 52002 with flag 861599/396464 40.70/39.31 c cleaning 27005 clauses out of 54009 with flag 924546/424464 44.20/42.86 c cleaning 28000 clauses out of 56006 with flag 994402/453466 48.07/46.66 c cleaning 29000 clauses out of 58005 with flag 1064274/483465 51.97/50.57 c cleaning 29999 clauses out of 60004 with flag 1132508/514464 55.87/54.46 c cleaning 30996 clauses out of 62005 with flag 1204640/546464 59.96/58.50 c cleaning 31999 clauses out of 64009 with flag 1279632/579464 64.06/62.70 c cleaning 33001 clauses out of 66010 with flag 1357916/613464 64.36/62.94 c Got one! Elapsed wall clock time (in seconds):62.823 64.36/62.94 o -78 64.56/63.20 c cleaning 19112 clauses out of 38224 with flag 4548/618679 65.16/63.70 c cleaning 12556 clauses out of 25112 with flag 18615/624679 65.66/64.27 c cleaning 9777 clauses out of 19557 with flag 35456/631680 66.26/64.81 c cleaning 8885 clauses out of 17779 with flag 53936/639679 66.86/65.46 c cleaning 8943 clauses out of 17895 with flag 76149/648680 67.57/66.16 c cleaning 9473 clauses out of 18952 with flag 99644/658680 68.36/66.95 c cleaning 10238 clauses out of 20478 with flag 125768/669679 69.26/67.86 c cleaning 11115 clauses out of 22240 with flag 154602/681679 70.37/68.92 c cleaning 12062 clauses out of 24127 with flag 185434/694681 71.57/70.15 c cleaning 13031 clauses out of 26065 with flag 220073/708681 73.08/71.61 c cleaning 14015 clauses out of 28032 with flag 257290/723679 74.47/73.00 c cleaning 15003 clauses out of 30018 with flag 296336/739680 75.97/74.56 c cleaning 16008 clauses out of 32015 with flag 336882/756680 77.87/76.48 c cleaning 17002 clauses out of 34008 with flag 382256/774681 79.97/78.53 c cleaning 18000 clauses out of 36004 with flag 429311/793679 82.17/80.73 c cleaning 18995 clauses out of 38004 with flag 477762/813679 84.67/83.28 c cleaning 19999 clauses out of 40009 with flag 525129/834679 86.97/85.58 c cleaning 21003 clauses out of 42010 with flag 572629/856679 89.27/87.83 c cleaning 22001 clauses out of 44009 with flag 623588/879681 91.70/90.27 c cleaning 23004 clauses out of 46007 with flag 678324/903680 94.50/93.01 c cleaning 23995 clauses out of 48004 with flag 736346/928681 97.50/96.05 c cleaning 24998 clauses out of 50010 with flag 794286/954682 100.61/99.14 c cleaning 26005 clauses out of 52009 with flag 856306/981679 104.00/102.57 c cleaning 27003 clauses out of 54006 with flag 920439/1009681 107.70/106.21 c cleaning 27996 clauses out of 56001 with flag 985894/1038679 111.70/110.29 c cleaning 29002 clauses out of 58006 with flag 1053395/1068680 115.82/114.30 c cleaning 30002 clauses out of 60005 with flag 1121539/1099681 119.98/118.43 c cleaning 30999 clauses out of 62001 with flag 1191951/1131679 124.38/122.88 c cleaning 31999 clauses out of 64002 with flag 1265199/1164679 129.47/127.90 c cleaning 33001 clauses out of 66005 with flag 1340396/1198681 134.97/133.44 c cleaning 34000 clauses out of 68003 with flag 1418973/1233680 140.07/138.51 c cleaning 34999 clauses out of 70004 with flag 1496944/1269681 145.68/144.13 c cleaning 36001 clauses out of 72003 with flag 1578586/1306679 150.05/148.49 c Got one! Elapsed wall clock time (in seconds):148.373 150.05/148.49 o -79 151.16/149.60 c cleaning 36911 clauses out of 73829 with flag 10600/1344506 151.85/150.27 c cleaning 21460 clauses out of 42920 with flag 23163/1350508 152.46/150.83 c cleaning 14226 clauses out of 28460 with flag 38158/1357508 152.95/151.33 c cleaning 11112 clauses out of 22232 with flag 56842/1365506 153.46/151.88 c cleaning 10060 clauses out of 20120 with flag 78122/1374506 154.25/152.60 c cleaning 10028 clauses out of 20061 with flag 105531/1384507 154.95/153.39 c cleaning 10516 clauses out of 21034 with flag 134578/1395508 155.76/154.15 c cleaning 11254 clauses out of 22517 with flag 161126/1407507 156.56/154.92 c cleaning 12126 clauses out of 24262 with flag 190660/1420506 157.36/155.77 c cleaning 13062 clauses out of 26136 with flag 221999/1434506 158.36/156.71 c cleaning 14035 clauses out of 28076 with flag 254980/1449508 158.46/156.84 c Got one! Elapsed wall clock time (in seconds):156.727 158.46/156.84 o -80 158.56/156.99 c cleaning 9545 clauses out of 19099 with flag 4439/1454566 158.97/157.33 c cleaning 7772 clauses out of 15554 with flag 17192/1460566 159.36/157.75 c cleaning 7384 clauses out of 14783 with flag 31461/1467567 159.76/158.19 c cleaning 7695 clauses out of 15398 with flag 47688/1475566 160.36/158.75 c cleaning 8349 clauses out of 16703 with flag 65909/1484566 160.96/159.33 c cleaning 9175 clauses out of 18354 with flag 86144/1494566 161.66/160.08 c cleaning 10089 clauses out of 20180 with flag 108268/1505567 162.56/160.95 c cleaning 11044 clauses out of 22091 with flag 132533/1517567 163.51/161.89 c cleaning 12018 clauses out of 24047 with flag 159127/1530567 164.50/162.88 c cleaning 13010 clauses out of 26029 with flag 187394/1544567 165.60/163.98 c cleaning 14009 clauses out of 28019 with flag 217987/1559567 166.89/165.21 c cleaning 15004 clauses out of 30009 with flag 251294/1575566 168.19/166.59 c cleaning 16002 clauses out of 32005 with flag 286477/1592566 169.79/168.12 c cleaning 16998 clauses out of 34004 with flag 322929/1610567 171.39/169.74 c cleaning 18003 clauses out of 36005 with flag 361598/1629566 173.19/171.59 c cleaning 18999 clauses out of 38005 with flag 402998/1649569 175.29/173.64 c cleaning 20001 clauses out of 40004 with flag 446894/1670567 177.69/176.09 c cleaning 21000 clauses out of 42003 with flag 492983/1692567 180.16/178.48 c cleaning 21999 clauses out of 44002 with flag 539673/1715566 182.95/181.23 c cleaning 22998 clauses out of 46004 with flag 588685/1739567 185.55/183.87 c cleaning 23997 clauses out of 48005 with flag 641731/1764566 188.34/186.61 c cleaning 25000 clauses out of 50009 with flag 696454/1790567 191.34/189.69 c cleaning 25998 clauses out of 52008 with flag 752784/1817566 193.64/191.95 c cleaning 26998 clauses out of 54011 with flag 814400/1845567 196.14/194.50 c cleaning 28003 clauses out of 56013 with flag 878069/1874567 198.84/197.08 c cleaning 28998 clauses out of 58009 with flag 943958/1904566 201.93/200.15 c cleaning 30004 clauses out of 60012 with flag 1012928/1935567 204.93/203.10 c cleaning 31002 clauses out of 62008 with flag 1083634/1967567 207.93/206.16 c cleaning 32000 clauses out of 64006 with flag 1156913/2000567 211.42/209.61 c cleaning 32999 clauses out of 66006 with flag 1231588/2034567 214.92/213.15 c cleaning 33997 clauses out of 68006 with flag 1306456/2069566 218.81/216.94 c cleaning 34998 clauses out of 70009 with flag 1385830/2105566 220.41/218.50 c Got one! Elapsed wall clock time (in seconds):218.389 220.41/218.50 o -81 221.11/219.20 c cleaning 29767 clauses out of 59533 with flag 11106/2130088 221.51/219.60 c cleaning 17884 clauses out of 35767 with flag 23209/2136089 221.81/219.99 c cleaning 12439 clauses out of 24883 with flag 37299/2143089 222.31/220.46 c cleaning 10218 clauses out of 20443 with flag 53382/2151088 222.81/220.96 c cleaning 9607 clauses out of 19225 with flag 71623/2160088 223.41/221.53 c cleaning 9809 clauses out of 19619 with flag 93065/2170089 224.11/222.24 c cleaning 10400 clauses out of 20809 with flag 116176/2181088 224.91/223.00 c cleaning 11204 clauses out of 22410 with flag 140773/2193089 225.71/223.85 c cleaning 12099 clauses out of 24205 with flag 168141/2206088 226.81/224.91 c cleaning 13052 clauses out of 26107 with flag 197386/2220089 228.11/226.21 c cleaning 14027 clauses out of 28054 with flag 229350/2235088 229.41/227.57 c cleaning 15009 clauses out of 30028 with flag 264191/2251089 230.71/228.83 c cleaning 16003 clauses out of 32018 with flag 298254/2268088 232.29/230.30 c cleaning 17004 clauses out of 34015 with flag 334377/2286088 233.89/231.96 c cleaning 18006 clauses out of 36012 with flag 372514/2305089 235.79/233.81 c cleaning 18998 clauses out of 38005 with flag 412673/2325088 237.69/235.74 c cleaning 19999 clauses out of 40009 with flag 454709/2346090 239.70/237.75 c cleaning 21000 clauses out of 42008 with flag 498783/2368088 241.90/239.94 c cleaning 21998 clauses out of 44008 with flag 544805/2391088 244.29/242.38 c cleaning 23001 clauses out of 46010 with flag 592818/2415088 247.09/245.11 c cleaning 24004 clauses out of 48009 with flag 642821/2440088 249.94/247.91 c cleaning 25003 clauses out of 50005 with flag 694897/2466088 252.84/250.84 c cleaning 25994 clauses out of 52002 with flag 748992/2493088 255.94/253.98 c cleaning 27003 clauses out of 54008 with flag 805158/2521088 259.24/257.29 c cleaning 27998 clauses out of 56005 with flag 863330/2550088 262.94/260.95 c cleaning 28999 clauses out of 58007 with flag 923494/2580088 266.73/264.71 c cleaning 30005 clauses out of 60010 with flag 985679/2611090 270.90/268.88 c cleaning 30999 clauses out of 62003 with flag 1049918/2643088 275.01/272.94 c cleaning 31994 clauses out of 64004 with flag 1116080/2676088 279.31/277.23 c cleaning 33006 clauses out of 66012 with flag 1184262/2710090 283.71/281.61 c cleaning 33997 clauses out of 68004 with flag 1254333/2745088 288.70/286.60 c cleaning 35000 clauses out of 70008 with flag 1326384/2781089 294.38/292.26 c cleaning 35997 clauses out of 72008 with flag 1400554/2818089 299.77/297.67 c cleaning 36998 clauses out of 74010 with flag 1476776/2856088 305.27/303.18 c cleaning 38001 clauses out of 76012 with flag 1555068/2895088 310.78/308.64 c cleaning 39000 clauses out of 78012 with flag 1641137/2935089 315.69/313.55 c cleaning 40000 clauses out of 80012 with flag 1730575/2976089 320.96/318.77 c cleaning 41001 clauses out of 82011 with flag 1827709/3018088 326.45/324.28 c cleaning 42003 clauses out of 84011 with flag 1923414/3061089 331.95/329.74 c cleaning 43001 clauses out of 86007 with flag 2023211/3105088 337.65/335.41 c cleaning 43999 clauses out of 88006 with flag 2124087/3150088 343.42/341.11 c cleaning 44999 clauses out of 90007 with flag 2227390/3196088 349.03/346.71 c cleaning 45996 clauses out of 92008 with flag 2332601/3243088 356.53/354.23 c cleaning 47003 clauses out of 94015 with flag 2436626/3291091 365.41/363.02 c cleaning 48000 clauses out of 96009 with flag 2550954/3340088 373.21/370.82 c cleaning 49002 clauses out of 98011 with flag 2662895/3390090 380.91/378.52 c cleaning 49997 clauses out of 100007 with flag 2772818/3441088 388.42/385.98 c cleaning 51005 clauses out of 102010 with flag 2884122/3493088 396.72/394.22 c cleaning 51996 clauses out of 104005 with flag 3000342/3546088 404.81/402.32 c cleaning 53001 clauses out of 106011 with flag 3115467/3600090 413.41/410.85 c cleaning 54001 clauses out of 108009 with flag 3238817/3655089 420.91/418.39 c cleaning 55004 clauses out of 110007 with flag 3353415/3711088 430.71/428.11 c cleaning 56002 clauses out of 112004 with flag 3471162/3768089 440.99/438.30 c cleaning 56998 clauses out of 114003 with flag 3588575/3826090 450.29/447.63 c cleaning 58001 clauses out of 116003 with flag 3717155/3885088 460.79/458.01 c cleaning 58996 clauses out of 118002 with flag 3838277/3945088 470.89/468.18 c cleaning 59998 clauses out of 120007 with flag 3962031/4006089 481.10/478.24 c cleaning 60999 clauses out of 122009 with flag 4090864/4068089 492.51/489.68 c cleaning 61999 clauses out of 124009 with flag 4231820/4131088 502.78/499.88 c cleaning 63006 clauses out of 126012 with flag 4379645/4195090 513.78/510.85 c cleaning 63999 clauses out of 128005 with flag 4524443/4260089 524.77/521.72 c cleaning 65000 clauses out of 130005 with flag 4669351/4326088 537.16/534.15 c cleaning 65999 clauses out of 132006 with flag 4816866/4393089 550.36/547.23 c cleaning 67001 clauses out of 134008 with flag 4964966/4461090 563.46/560.35 c cleaning 67998 clauses out of 136006 with flag 5106371/4530089 575.41/572.20 c cleaning 68998 clauses out of 138008 with flag 5256631/4600089 588.41/585.26 c cleaning 70005 clauses out of 140010 with flag 5424941/4671089 601.87/598.66 c cleaning 70997 clauses out of 142006 with flag 5577867/4743090 615.07/611.85 c cleaning 72002 clauses out of 144008 with flag 5730338/4816089 631.69/628.50 c cleaning 73001 clauses out of 146006 with flag 5880458/4890089 648.76/645.47 c cleaning 73998 clauses out of 148005 with flag 6034025/4965089 663.26/659.93 c cleaning 75001 clauses out of 150007 with flag 6208832/5041089 679.33/675.94 c cleaning 75997 clauses out of 152005 with flag 6364509/5118088 695.42/691.94 c cleaning 77001 clauses out of 154010 with flag 6529399/5196090 709.31/705.84 c cleaning 78000 clauses out of 156009 with flag 6705926/5275090 724.46/720.97 c cleaning 79001 clauses out of 158008 with flag 6885888/5355089 744.21/740.65 c cleaning 80003 clauses out of 160006 with flag 7050936/5436088 765.61/762.01 c cleaning 81000 clauses out of 162003 with flag 7217058/5518088 789.51/785.88 c cleaning 81995 clauses out of 164003 with flag 7385286/5601088 816.00/812.24 c cleaning 83002 clauses out of 166008 with flag 7555617/5685088 842.22/838.32 c cleaning 84000 clauses out of 168007 with flag 7727988/5770089 870.41/866.54 c cleaning 85002 clauses out of 170007 with flag 7901880/5856089 898.04/894.13 c cleaning 86003 clauses out of 172005 with flag 8077711/5943089 926.17/922.21 c cleaning 86998 clauses out of 174001 with flag 8255831/6031088 954.47/950.48 c cleaning 88000 clauses out of 176005 with flag 8435593/6120090 986.98/982.85 c cleaning 88999 clauses out of 178004 with flag 8617934/6210089 1018.17/1013.92 c cleaning 90001 clauses out of 180005 with flag 8801480/6301089 1049.87/1045.52 c cleaning 90999 clauses out of 182003 with flag 8987641/6393088 1080.36/1075.92 c cleaning 91996 clauses out of 184004 with flag 9177290/6486088 1111.54/1107.03 c cleaning 92994 clauses out of 186008 with flag 9368651/6580088 1141.34/1136.74 c cleaning 94001 clauses out of 188015 with flag 9561141/6675089 1174.01/1169.36 c cleaning 95000 clauses out of 190014 with flag 9755970/6771089 1208.60/1203.83 c cleaning 96003 clauses out of 192014 with flag 9952132/6868089 1244.05/1239.23 c cleaning 97006 clauses out of 194012 with flag 10151437/6966090 1284.32/1279.45 c cleaning 97995 clauses out of 196006 with flag 10353157/7065090 1327.50/1322.51 c cleaning 99001 clauses out of 198010 with flag 10555448/7165089 1362.30/1357.29 c cleaning 99996 clauses out of 200008 with flag 10759711/7266088 1399.98/1394.82 c cleaning 101003 clauses out of 202014 with flag 10965283/7368090 1444.47/1439.26 c cleaning 101997 clauses out of 204009 with flag 11172981/7471088 1488.05/1482.77 c cleaning 103003 clauses out of 206014 with flag 11382208/7575090 1532.80/1527.50 c cleaning 104005 clauses out of 208009 with flag 11594199/7680088 1577.99/1572.53 c cleaning 104996 clauses out of 210005 with flag 11809324/7786089 1634.68/1629.16 c cleaning 106001 clauses out of 212010 with flag 12027520/7893090 1694.24/1688.67 c cleaning 107004 clauses out of 214008 with flag 12248054/8001089 1737.91/1732.29 c cleaning 107996 clauses out of 216004 with flag 12504720/8110089 1781.65/1775.82 c cleaning 108995 clauses out of 218009 with flag 12732420/8220090 1800.04/1794.11 c starts : 36986 1800.04/1794.11 c conflicts : 8285176 1800.04/1794.11 c decisions : 10991712 1800.04/1794.11 c propagations : 88913774 1800.04/1794.11 c inspects : 35946433917 1800.04/1794.11 c shortcuts : 0 1800.04/1794.11 c learnt literals : 0 1800.04/1794.11 c learnt binary clauses : 236 1800.04/1794.11 c learnt ternary clauses : 560 1800.04/1794.11 c learnt constraints : 8285176 1800.04/1794.11 c ignored constraints : 0 1800.04/1794.11 c root simplifications : 0 1800.04/1794.11 c removed literals (reason simplification) : 0 1800.04/1794.11 c reason swapping (by a shorter reason) : 0 1800.04/1794.11 c Calls to reduceDB : 216 1800.04/1794.11 c Number of update (reduction) of LBD : 159312 1800.04/1794.11 c Imported unit clauses : 0 1800.04/1794.11 c number of reductions to clauses (during analyze) : 0 1800.04/1794.11 c number of learned constraints concerned by reduction : 0 1800.04/1794.11 c number of learning phase by resolution : 0 1800.04/1794.11 c number of learning phase by cutting planes : 0 1800.04/1794.11 c speed (assignments/second) : 49563.02112540232 1800.04/1794.11 c non guided choices 0 1800.04/1794.13 c learnt constraints type 1800.04/1794.13 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 236 1800.04/1794.13 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 173864 1800.04/1794.13 s SATISFIABLE 1800.04/1794.13 c Found 7 solution(s) 1800.04/1794.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 1800.04/1794.14 c objective function=-81 1800.04/1794.14 c Total wall clock time (in seconds): 1794.022
OK -81
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4119358-1467255741/watcher-4119358-1467255741 -o /tmp/evaluation-result-4119358-1467255741/solver-4119358-1467255741 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119358-1467255741.opb pid=10465 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.05 2.04 2.04 2/194 10468 /proc/meminfo: memFree=25703392/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/10468/stat : 10468 (java) R 10465 10468 9187 0 -1 4202496 371 0 0 0 0 0 0 0 20 0 1 0 6680470 2560000 43 33554432000 1073741824 1073778376 140735870659440 140734153989624 247055089224 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 625 46 37 9 0 29 0 [startup+0.100061 s] /proc/loadavg: 2.05 2.04 2.04 2/194 10468 /proc/meminfo: memFree=25703392/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 6680470 9787879424 6021 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2389619 6021 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200228 s] /proc/loadavg: 2.05 2.04 2.04 2/194 10468 /proc/meminfo: memFree=25703392/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=0.25 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 6182 0 1 0 23 2 0 0 20 0 19 0 6680470 9856040960 7807 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 7807 2209 9 0 2396937 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9625040 [startup+0.300243 s] /proc/loadavg: 2.05 2.04 2.04 2/194 10468 /proc/meminfo: memFree=25703392/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 6907 0 1 0 49 2 0 0 20 0 19 0 6680470 9856040960 8510 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 8510 2233 9 0 2396937 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9625040 [startup+0.700286 s] /proc/loadavg: 2.05 2.04 2.04 2/194 10468 /proc/meminfo: memFree=25703392/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=1.04 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 8071 0 1 0 101 3 0 0 20 0 19 0 6680470 9856040960 9926 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 9926 2248 9 0 2396937 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 9625040 [startup+1.50072 s] /proc/loadavg: 2.05 2.04 2.04 3/213 10487 /proc/meminfo: memFree=25668592/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=2.02 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 9600 0 1 0 199 3 0 0 20 0 19 0 6680470 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 11763 2252 9 0 2396937 0 [pid=10468/tid=10470] ppid=10465 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/10468/task/10470/stat : 10470 (java) R 10465 10468 9187 0 -1 4202560 2419 0 1 0 145 2 0 0 20 0 19 0 6680471 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700935764536 139700807425920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10471] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10471/stat : 10471 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700779657768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10472] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10472/stat : 10472 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700778604968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10473] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10473/stat : 10473 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700777552168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10474] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10474/stat : 10474 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700776499368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10475] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10475/stat : 10475 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700775447592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10476] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10476/stat : 10476 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700774394792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10477] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10477/stat : 10477 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700773341992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10478] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10478/stat : 10478 (java) S 10465 10468 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700772289192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10479] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10479/stat : 10479 (java) S 10465 10468 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700759878120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10480] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10480/stat : 10480 (java) S 10465 10468 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700758824184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10481] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10481/stat : 10481 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700757771272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10482] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10482/stat : 10482 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700756719760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10483] ppid=10465 vsize=9625040 CPUtime=0.33 cores=1,3,5,7 /proc/10468/task/10483/stat : 10483 (java) R 10465 10468 9187 0 -1 4202560 4446 0 0 0 32 1 0 0 20 0 19 0 6680477 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700755667896 247067624615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10484] ppid=10465 vsize=9625040 CPUtime=0.17 cores=1,3,5,7 /proc/10468/task/10484/stat : 10484 (java) R 10465 10468 9187 0 -1 4202560 1463 0 0 0 17 0 0 0 20 0 19 0 6680477 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700754614976 139700942556272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10485] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10485/stat : 10485 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700753562488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10486] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10486/stat : 10486 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700752509896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10487] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10487/stat : 10487 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680487 9856040960 11763 33554432000 1073741824 1073778376 140735870659440 139700751455400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 9625040 [startup+3.10076 s] /proc/loadavg: 2.05 2.04 2.04 4/213 10487 /proc/meminfo: memFree=25637580/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=4.43 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 21428 0 1 0 438 5 0 0 20 0 19 0 6680470 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 21019 2252 9 0 2396937 0 [pid=10468/tid=10470] ppid=10465 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/10468/task/10470/stat : 10470 (java) R 10465 10468 9187 0 -1 4202560 2429 0 1 0 305 2 0 0 20 0 19 0 6680471 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700935766536 139700807918348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10471] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10471/stat : 10471 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700779657768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10472] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10472/stat : 10472 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700778604968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10473] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10473/stat : 10473 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700777552168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10474] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10474/stat : 10474 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700776499368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10475] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10475/stat : 10475 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700775447592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10476] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10476/stat : 10476 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700774394792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10477] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10477/stat : 10477 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700773341992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10478] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10478/stat : 10478 (java) S 10465 10468 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700772289192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10479] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10479/stat : 10479 (java) S 10465 10468 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700759878120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10480] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10480/stat : 10480 (java) S 10465 10468 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700758824184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10481] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10481/stat : 10481 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700757771272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10482] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10482/stat : 10482 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700756719760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10483] ppid=10465 vsize=9625040 CPUtime=1.11 cores=1,3,5,7 /proc/10468/task/10483/stat : 10483 (java) S 10465 10468 9187 0 -1 4202560 15828 0 0 0 108 3 0 0 20 0 19 0 6680477 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700755667896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10484] ppid=10465 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/10468/task/10484/stat : 10484 (java) S 10465 10468 9187 0 -1 4202560 1899 0 0 0 21 0 0 0 20 0 19 0 6680477 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700754615096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10485] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10485/stat : 10485 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700753562488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10486] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10486/stat : 10486 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700752509896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10487] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10487/stat : 10487 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680487 9856040960 21019 33554432000 1073741824 1073778376 140735870659440 139700751455400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.43 Current children cumulated vsize (KiB) 9625040 [startup+6.30075 s] /proc/loadavg: 2.04 2.04 2.04 3/213 10487 /proc/meminfo: memFree=25615068/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=7.64 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 21445 0 1 0 758 6 0 0 20 0 19 0 6680470 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 25437 2253 9 0 2396937 0 [pid=10468/tid=10470] ppid=10465 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/10468/task/10470/stat : 10470 (java) R 10465 10468 9187 0 -1 4202560 2445 0 1 0 624 2 0 0 20 0 19 0 6680471 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700935757488 139700807850600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10471] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10471/stat : 10471 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700779657768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10472] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10472/stat : 10472 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700778604968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10473] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10473/stat : 10473 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700777552168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10474] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10474/stat : 10474 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700776499368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10475] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10475/stat : 10475 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700775447592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10476] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10476/stat : 10476 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700774394792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10477] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10477/stat : 10477 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700773341992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10478] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10478/stat : 10478 (java) S 10465 10468 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6680473 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700772289192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10479] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10479/stat : 10479 (java) S 10465 10468 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700759878120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10480] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10480/stat : 10480 (java) S 10465 10468 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700758824184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10481] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10481/stat : 10481 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700757771272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10482] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10482/stat : 10482 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700756719760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10483] ppid=10465 vsize=9625040 CPUtime=1.11 cores=1,3,5,7 /proc/10468/task/10483/stat : 10483 (java) S 10465 10468 9187 0 -1 4202560 15828 0 0 0 108 3 0 0 20 0 19 0 6680477 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700755667896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10484] ppid=10465 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/10468/task/10484/stat : 10484 (java) S 10465 10468 9187 0 -1 4202560 1899 0 0 0 21 0 0 0 20 0 19 0 6680477 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700754615096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10485] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10485/stat : 10485 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700753562488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10486] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10486/stat : 10486 (java) S 10465 10468 9187 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700752509896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10487] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10487/stat : 10487 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680487 9856040960 25437 33554432000 1073741824 1073778376 140735870659440 139700751455400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.64 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ /proc/10468/task/10480/stat : 10480 (java) S 10465 10468 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700758824184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10481] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10481/stat : 10481 (java) S 10465 10468 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700757771272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10482] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10482/stat : 10482 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700756719760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10483] ppid=10465 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/10468/task/10483/stat : 10483 (java) S 10465 10468 9187 0 -1 4202560 15838 0 0 0 113 3 0 0 20 0 19 0 6680477 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700755667896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10484] ppid=10465 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/10468/task/10484/stat : 10484 (java) S 10465 10468 9187 0 -1 4202560 1899 0 0 0 21 0 0 0 20 0 19 0 6680477 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700754615096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10485] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10485/stat : 10485 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700753562488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10486] ppid=10465 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/10468/task/10486/stat : 10486 (java) S 10465 10468 9187 0 -1 4202560 100 0 0 0 29 35 0 0 20 0 19 0 6680477 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700752509896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10487] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10487/stat : 10487 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680487 9856040960 98340 33554432000 1073741824 1073778376 140735870659440 139700751455400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1728.01 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.14 2.06 2.01 3/213 10597 /proc/meminfo: memFree=25284008/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=1788.15 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 25253 0 1 0 178736 79 0 0 20 0 19 0 6680470 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 97186 2275 9 0 2396937 0 [pid=10468/tid=10470] ppid=10465 vsize=9625040 CPUtime=1780.18 cores=1,3,5,7 /proc/10468/task/10470/stat : 10470 (java) R 10465 10468 9187 0 -1 4202560 2543 0 1 0 177987 31 0 0 20 0 19 0 6680471 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700935757584 139700807917820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10471] ppid=10465 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/10468/task/10471/stat : 10471 (java) S 10465 10468 9187 0 -1 4202560 475 0 0 0 71 6 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700779657768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10472] ppid=10465 vsize=9625040 CPUtime=0.66 cores=1,3,5,7 /proc/10468/task/10472/stat : 10472 (java) S 10465 10468 9187 0 -1 4202560 410 0 0 0 61 5 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700778604968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10473] ppid=10465 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/10468/task/10473/stat : 10473 (java) S 10465 10468 9187 0 -1 4202560 575 0 0 0 63 4 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700777552168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10474] ppid=10465 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/10468/task/10474/stat : 10474 (java) S 10465 10468 9187 0 -1 4202560 672 0 0 0 67 5 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700776499368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10475] ppid=10465 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10468/task/10475/stat : 10475 (java) S 10465 10468 9187 0 -1 4202560 283 0 0 0 68 6 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700775447592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10476] ppid=10465 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/10468/task/10476/stat : 10476 (java) S 10465 10468 9187 0 -1 4202560 240 0 0 0 73 5 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700774394792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10477] ppid=10465 vsize=9625040 CPUtime=0.71 cores=1,3,5,7 /proc/10468/task/10477/stat : 10477 (java) S 10465 10468 9187 0 -1 4202560 286 0 0 0 66 5 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700773341992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10478] ppid=10465 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/10468/task/10478/stat : 10478 (java) S 10465 10468 9187 0 -1 4202560 469 0 0 0 65 5 0 0 20 0 19 0 6680473 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700772289192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10479] ppid=10465 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/10468/task/10479/stat : 10479 (java) S 10465 10468 9187 0 -1 4202560 201 0 0 0 43 2 0 0 20 0 19 0 6680474 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700759878120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10480] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10480/stat : 10480 (java) S 10465 10468 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700758824184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10481] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10481/stat : 10481 (java) S 10465 10468 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700757771272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10482] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10482/stat : 10482 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700756719760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10483] ppid=10465 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/10468/task/10483/stat : 10483 (java) S 10465 10468 9187 0 -1 4202560 15838 0 0 0 113 3 0 0 20 0 19 0 6680477 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700755667896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10484] ppid=10465 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/10468/task/10484/stat : 10484 (java) S 10465 10468 9187 0 -1 4202560 1899 0 0 0 21 0 0 0 20 0 19 0 6680477 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700754615096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10485] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10485/stat : 10485 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700753562488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10486] ppid=10465 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/10468/task/10486/stat : 10486 (java) S 10465 10468 9187 0 -1 4202560 104 0 0 0 30 37 0 0 20 0 19 0 6680477 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700752509896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10487] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10487/stat : 10487 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680487 9856040960 97186 33554432000 1073741824 1073778376 140735870659440 139700751455400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1788.15 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.1 s] /proc/loadavg: 2.11 2.06 2.01 3/213 10597 /proc/meminfo: memFree=25288784/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 25258 0 1 0 179925 79 0 0 20 0 19 0 6680470 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 95892 2275 9 0 2396937 0 [pid=10468/tid=10470] ppid=10465 vsize=9625040 CPUtime=1791.94 cores=1,3,5,7 /proc/10468/task/10470/stat : 10470 (java) R 10465 10468 9187 0 -1 4202560 2544 0 1 0 179163 31 0 0 20 0 19 0 6680471 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700935765264 139700807844293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10471] ppid=10465 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/10468/task/10471/stat : 10471 (java) S 10465 10468 9187 0 -1 4202560 479 0 0 0 72 6 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700779657768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10472] ppid=10465 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/10468/task/10472/stat : 10472 (java) S 10465 10468 9187 0 -1 4202560 410 0 0 0 64 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700778604968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10473] ppid=10465 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/10468/task/10473/stat : 10473 (java) S 10465 10468 9187 0 -1 4202560 575 0 0 0 65 4 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700777552168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10474] ppid=10465 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10468/task/10474/stat : 10474 (java) S 10465 10468 9187 0 -1 4202560 672 0 0 0 69 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700776499368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10475] ppid=10465 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/10468/task/10475/stat : 10475 (java) S 10465 10468 9187 0 -1 4202560 283 0 0 0 70 6 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700775447592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10476] ppid=10465 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/10468/task/10476/stat : 10476 (java) S 10465 10468 9187 0 -1 4202560 240 0 0 0 74 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700774394792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10477] ppid=10465 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/10468/task/10477/stat : 10477 (java) S 10465 10468 9187 0 -1 4202560 286 0 0 0 67 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700773341992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10478] ppid=10465 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/10468/task/10478/stat : 10478 (java) S 10465 10468 9187 0 -1 4202560 469 0 0 0 67 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700772289192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10479] ppid=10465 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/10468/task/10479/stat : 10479 (java) S 10465 10468 9187 0 -1 4202560 201 0 0 0 43 2 0 0 20 0 19 0 6680474 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700759878120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10480] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10480/stat : 10480 (java) S 10465 10468 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700758824184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10481] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10481/stat : 10481 (java) S 10465 10468 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700757771272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10482] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10482/stat : 10482 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700756719760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10483] ppid=10465 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/10468/task/10483/stat : 10483 (java) S 10465 10468 9187 0 -1 4202560 15838 0 0 0 113 3 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700755667896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10484] ppid=10465 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/10468/task/10484/stat : 10484 (java) S 10465 10468 9187 0 -1 4202560 1899 0 0 0 21 0 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700754615096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10485] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10485/stat : 10485 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700753562488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10486] ppid=10465 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/10468/task/10486/stat : 10486 (java) S 10465 10468 9187 0 -1 4202560 104 0 0 0 30 37 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700752509896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10487] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10487/stat : 10487 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680487 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700751455400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10468 sig 9 ??? kill -10468 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1794.1 s] /proc/loadavg: 2.11 2.06 2.01 3/213 10597 /proc/meminfo: memFree=25288784/32872528 swapFree=242912/249044 [pid=10468] ppid=10465 vsize=9625040 CPUtime=1800.04 cores=1,3,5,7 /proc/10468/stat : 10468 (java) S 10465 10468 9187 0 -1 4202496 25258 0 1 0 179925 79 0 0 20 0 19 0 6680470 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 140735870650576 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10468/statm: 2406260 95892 2275 9 0 2396937 0 [pid=10468/tid=10470] ppid=10465 vsize=9625040 CPUtime=1791.94 cores=1,3,5,7 /proc/10468/task/10470/stat : 10470 (java) R 10465 10468 9187 0 -1 4202560 2544 0 1 0 179163 31 0 0 20 0 19 0 6680471 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700935765264 139700807844293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10471] ppid=10465 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/10468/task/10471/stat : 10471 (java) S 10465 10468 9187 0 -1 4202560 479 0 0 0 72 6 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700779657768 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10472] ppid=10465 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/10468/task/10472/stat : 10472 (java) S 10465 10468 9187 0 -1 4202560 410 0 0 0 64 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700778604968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10473] ppid=10465 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/10468/task/10473/stat : 10473 (java) S 10465 10468 9187 0 -1 4202560 575 0 0 0 65 4 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700777552168 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10474] ppid=10465 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10468/task/10474/stat : 10474 (java) S 10465 10468 9187 0 -1 4202560 672 0 0 0 69 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700776499368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10468/tid=10475] ppid=10465 vsize=9625040 CPUtime=0.76 cores=1,3,5,7 /proc/10468/task/10475/stat : 10475 (java) S 10465 10468 9187 0 -1 4202560 283 0 0 0 70 6 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700775447592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10476] ppid=10465 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/10468/task/10476/stat : 10476 (java) S 10465 10468 9187 0 -1 4202560 240 0 0 0 74 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700774394792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10477] ppid=10465 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/10468/task/10477/stat : 10477 (java) S 10465 10468 9187 0 -1 4202560 286 0 0 0 67 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700773341992 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10478] ppid=10465 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/10468/task/10478/stat : 10478 (java) S 10465 10468 9187 0 -1 4202560 469 0 0 0 67 5 0 0 20 0 19 0 6680473 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700772289192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10479] ppid=10465 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/10468/task/10479/stat : 10479 (java) S 10465 10468 9187 0 -1 4202560 201 0 0 0 43 2 0 0 20 0 19 0 6680474 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700759878120 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10480] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10480/stat : 10480 (java) S 10465 10468 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700758824184 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10481] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10481/stat : 10481 (java) S 10465 10468 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6680474 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700757771272 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10482] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10482/stat : 10482 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700756719760 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10468/tid=10483] ppid=10465 vsize=9625040 CPUtime=1.16 cores=1,3,5,7 /proc/10468/task/10483/stat : 10483 (java) S 10465 10468 9187 0 -1 4202560 15838 0 0 0 113 3 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700755667896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10484] ppid=10465 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/10468/task/10484/stat : 10484 (java) S 10465 10468 9187 0 -1 4202560 1899 0 0 0 21 0 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700754615096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10485] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10485/stat : 10485 (java) S 10465 10468 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700753562488 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10468/tid=10486] ppid=10465 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/10468/task/10486/stat : 10486 (java) S 10465 10468 9187 0 -1 4202560 104 0 0 0 30 37 0 0 20 0 19 0 6680477 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700752509896 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10468/tid=10487] ppid=10465 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10468/task/10487/stat : 10487 (java) S 10465 10468 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6680487 9856040960 95892 33554432000 1073741824 1073778376 140735870659440 139700751455400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 9625040 Child status: 143 Real time (s): 1794.14 CPU time (s): 1800.65 CPU user time (s): 1799.37 CPU system time (s): 1.28081 CPU usage (%): 100.363 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 1.2808 maximum resident set size= 521768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25302 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1752 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39900 involuntary context switches= 18950 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.9229 second user time and 10.4434 second system time The end
Begin job on node103 at 2016-06-30 05:02:21 IDJOB=4119358 IDBENCH=111710 IDSOLVER=2546 FILE ID=node103/4119358-1467255741 RUNJOBID= node103-1467246683-9204 PBS_JOBID= 20004480 Free space on /tmp= 71712 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119358-1467255741/watcher-4119358-1467255741 -o /tmp/evaluation-result-4119358-1467255741/solver-4119358-1467255741 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119358-1467255741.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5860d453a57eda7c4e66a0d11bc52e80 RANDOM SEED=278915650 node103.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.456 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.91 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.456 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 : 5332.55 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.456 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 : 5332.54 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.456 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 : 5332.55 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.456 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 : 5332.54 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.456 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 : 5332.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.456 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 : 5332.55 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.456 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 25704292 kB Buffers: 132296 kB Cached: 5738220 kB SwapCached: 0 kB Active: 1611480 kB Inactive: 4520020 kB Active(anon): 263680 kB Inactive(anon): 0 kB Active(file): 1347800 kB Inactive(file): 4520020 kB Unevictable: 249044 kB Mlocked: 242912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 884 kB Writeback: 32 kB AnonPages: 618876 kB Mapped: 22244 kB Shmem: 204 kB Slab: 624568 kB SReclaimable: 68816 kB SUnreclaim: 555752 kB KernelStack: 1744 kB PageTables: 5524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 950252 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 344064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71712 MiB End job on node103 at 2016-06-30 05:32:16