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) | 55132 | 1800.07 | 1764.75 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-faclay30h.opb |
| MD5SUM | 3269479903955f93d765158140fce114 |
| 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 | 54002 |
| Best CPU time to get the best result obtained on this benchmark | 1800.06 |
| 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 | 436 |
| Total number of constraints | 8121 |
| Number of constraints which are clauses | 8120 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 8640 |
| Biggest coefficient in the objective function | 65126 |
| Number of bits for the biggest coefficient in the objective function | 16 |
| Sum of the numbers in the objective function | 550298 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 65126 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 550298 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 8204 |
| Sum of products size (including duplicates) | 16408 |
| 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-4119430-1467258094.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 1.35/0.67 c ... done. Wall clock time 0.557s. 1.35/0.67 c declared #vars 436 1.35/0.69 c internal #vars 8640 1.35/0.69 c #constraints 24530 1.35/0.69 c constraints type 1.35/0.69 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16324 1.35/0.69 c org.sat4j.specs.Constr$1 => 1 1.35/0.69 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 1.35/0.69 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8204 1.35/0.69 c 24530 constraints processed. 1.35/0.69 c objective function length is 8640 literals 2.25/0.99 c SATISFIABLE 2.25/0.99 c OPTIMIZING... 2.25/0.99 c Got one! Elapsed wall clock time (in seconds):0.872 2.25/0.99 o 55984 3.16/1.22 c Got one! Elapsed wall clock time (in seconds):1.102 3.16/1.22 o 55981 3.74/1.43 c Got one! Elapsed wall clock time (in seconds):1.315 3.74/1.43 o 55968 3.74/1.46 c Got one! Elapsed wall clock time (in seconds):1.348 3.74/1.46 o 55940 4.04/1.51 c Got one! Elapsed wall clock time (in seconds):1.397 4.04/1.51 o 55937 4.04/1.55 c Got one! Elapsed wall clock time (in seconds):1.434 4.04/1.55 o 55934 4.04/1.56 c Got one! Elapsed wall clock time (in seconds):1.446 4.04/1.56 o 55924 4.04/1.57 c Got one! Elapsed wall clock time (in seconds):1.459 4.04/1.57 o 55921 4.04/1.59 c Got one! Elapsed wall clock time (in seconds):1.48 4.04/1.59 o 55908 4.19/1.62 c Got one! Elapsed wall clock time (in seconds):1.509 4.19/1.62 o 55877 4.70/2.18 c Got one! Elapsed wall clock time (in seconds):2.069 4.70/2.18 o 55865 6.63/3.95 c Got one! Elapsed wall clock time (in seconds):3.841 6.63/3.95 o 55858 6.77/4.01 c Got one! Elapsed wall clock time (in seconds):3.894 6.77/4.01 o 55851 7.07/4.35 c Got one! Elapsed wall clock time (in seconds):4.238 7.07/4.35 o 55839 8.97/6.29 c cleaning 3487 clauses out of 6977 with flag 6123/6977 10.02/7.18 c Got one! Elapsed wall clock time (in seconds):7.062 10.02/7.18 o 55824 10.20/7.27 c Got one! Elapsed wall clock time (in seconds):7.156 10.20/7.27 o 55800 10.41/7.30 c Got one! Elapsed wall clock time (in seconds):7.187 10.41/7.30 o 55794 10.41/7.31 c Got one! Elapsed wall clock time (in seconds):7.197 10.41/7.31 o 55784 10.41/7.34 c Got one! Elapsed wall clock time (in seconds):7.225 10.41/7.34 o 55771 10.41/7.35 c Got one! Elapsed wall clock time (in seconds):7.236 10.41/7.35 o 55740 10.61/7.52 c Got one! Elapsed wall clock time (in seconds):7.405 10.61/7.52 o 55722 11.55/8.48 c Got one! Elapsed wall clock time (in seconds):8.362 11.55/8.48 o 55710 13.65/10.50 c cleaning 4853 clauses out of 9707 with flag 6320/13194 17.54/14.38 c cleaning 5426 clauses out of 10853 with flag 19028/19193 22.81/19.20 c cleaning 6208 clauses out of 12426 with flag 33927/26192 24.05/20.43 c Got one! Elapsed wall clock time (in seconds):20.314 24.05/20.43 o 55702 24.05/20.49 c Got one! Elapsed wall clock time (in seconds):20.371 24.05/20.49 o 55700 24.05/20.50 c Got one! Elapsed wall clock time (in seconds):20.382 24.05/20.50 o 55697 24.47/20.80 c Got one! Elapsed wall clock time (in seconds):20.684 24.47/20.80 o 55686 24.47/20.81 c Got one! Elapsed wall clock time (in seconds):20.694 24.47/20.81 o 55670 24.47/20.82 c Got one! Elapsed wall clock time (in seconds):20.704 24.47/20.82 o 55667 24.47/20.83 c Got one! Elapsed wall clock time (in seconds):20.721 24.47/20.83 o 55658 24.47/20.84 c Got one! Elapsed wall clock time (in seconds):20.73 24.47/20.84 o 55657 24.47/20.85 c Got one! Elapsed wall clock time (in seconds):20.74 24.47/20.85 o 55654 24.47/20.88 c Got one! Elapsed wall clock time (in seconds):20.764 24.47/20.88 o 55623 24.47/20.90 c Got one! Elapsed wall clock time (in seconds):20.784 24.47/20.90 o 55620 24.58/20.91 c Got one! Elapsed wall clock time (in seconds):20.793 24.58/20.91 o 55610 24.58/20.92 c Got one! Elapsed wall clock time (in seconds):20.803 24.58/20.92 o 55607 24.58/20.93 c Got one! Elapsed wall clock time (in seconds):20.82 24.58/20.93 o 55598 24.58/20.94 c Got one! Elapsed wall clock time (in seconds):20.83 24.58/20.94 o 55597 24.58/20.95 c Got one! Elapsed wall clock time (in seconds):20.839 24.58/20.95 o 55594 24.58/20.98 c Got one! Elapsed wall clock time (in seconds):20.863 24.58/20.98 o 55563 25.07/21.41 c Got one! Elapsed wall clock time (in seconds):21.296 25.07/21.41 o 55551 27.53/23.78 c Got one! Elapsed wall clock time (in seconds):23.663 27.53/23.78 o 55544 27.83/24.03 c Got one! Elapsed wall clock time (in seconds):23.913 27.83/24.03 o 55537 27.83/24.09 c Got one! Elapsed wall clock time (in seconds):23.98 27.83/24.09 o 55525 28.63/24.81 c cleaning 7028 clauses out of 14058 with flag 2121/34032 32.44/28.63 c cleaning 6510 clauses out of 13031 with flag 14766/40033 32.83/29.07 c Got one! Elapsed wall clock time (in seconds):28.958 32.83/29.07 o 55510 33.33/29.51 c Got one! Elapsed wall clock time (in seconds):29.393 33.33/29.51 o 55508 33.33/29.53 c Got one! Elapsed wall clock time (in seconds):29.418 33.33/29.53 o 55486 33.33/29.57 c Got one! Elapsed wall clock time (in seconds):29.46 33.33/29.57 o 55484 33.33/29.58 c Got one! Elapsed wall clock time (in seconds):29.471 33.33/29.58 o 55470 33.43/29.60 c Got one! Elapsed wall clock time (in seconds):29.487 33.43/29.60 o 55457 33.43/29.62 c Got one! Elapsed wall clock time (in seconds):29.503 33.43/29.62 o 55426 33.43/29.69 c Got one! Elapsed wall clock time (in seconds):29.579 33.43/29.69 o 55408 34.34/30.55 c Got one! Elapsed wall clock time (in seconds):30.432 34.34/30.55 o 55396 37.03/33.26 c cleaning 6682 clauses out of 13368 with flag 8765/46880 41.10/37.16 c cleaning 6339 clauses out of 12687 with flag 21954/52881 45.70/41.73 c cleaning 6670 clauses out of 13347 with flag 37306/59880 51.00/47.09 c cleaning 7334 clauses out of 14677 with flag 54582/67880 57.72/53.26 c cleaning 8169 clauses out of 16345 with flag 74078/76882 64.52/60.01 c cleaning 9083 clauses out of 18175 with flag 95715/86881 71.92/67.42 c cleaning 10041 clauses out of 20091 with flag 119527/97880 81.51/76.10 c cleaning 11023 clauses out of 22050 with flag 145240/109880 90.41/85.04 c cleaning 12004 clauses out of 24029 with flag 171773/122882 100.93/94.98 c cleaning 13005 clauses out of 26024 with flag 200920/136881 111.53/105.56 c cleaning 14001 clauses out of 28019 with flag 232667/151881 113.43/107.46 c Got one! Elapsed wall clock time (in seconds):107.35 113.43/107.46 o 55391 115.43/109.48 c cleaning 9867 clauses out of 19754 with flag 6375/157617 119.44/113.47 c cleaning 7934 clauses out of 15885 with flag 19251/163615 124.23/118.26 c cleaning 7467 clauses out of 14951 with flag 34249/170615 130.46/123.75 c cleaning 7734 clauses out of 15485 with flag 51278/178616 132.27/125.57 c Got one! Elapsed wall clock time (in seconds):125.459 132.27/125.57 o 55386 134.26/127.57 c cleaning 6808 clauses out of 13644 with flag 6290/184509 138.17/131.42 c cleaning 6407 clauses out of 12836 with flag 19186/190509 138.37/131.63 c Got one! Elapsed wall clock time (in seconds):131.516 138.37/131.63 o 55380 138.97/132.30 c Got one! Elapsed wall clock time (in seconds):132.181 138.97/132.30 o 55362 139.07/132.38 c Got one! Elapsed wall clock time (in seconds):132.268 139.07/132.38 o 55353 139.17/132.41 c Got one! Elapsed wall clock time (in seconds):132.299 139.17/132.41 o 55349 139.17/132.43 c Got one! Elapsed wall clock time (in seconds):132.316 139.17/132.43 o 55340 139.17/132.44 c Got one! Elapsed wall clock time (in seconds):132.328 139.17/132.44 o 55309 139.37/132.62 c Got one! Elapsed wall clock time (in seconds):132.502 139.37/132.62 o 55300 139.37/132.67 c Got one! Elapsed wall clock time (in seconds):132.553 139.37/132.67 o 55291 139.77/133.07 c Got one! Elapsed wall clock time (in seconds):132.956 139.77/133.07 o 55273 140.07/133.35 c Got one! Elapsed wall clock time (in seconds):133.234 140.07/133.35 o 55260 142.67/135.94 c cleaning 6558 clauses out of 13149 with flag 8412/197229 146.48/139.80 c cleaning 6285 clauses out of 12591 with flag 20999/203229 151.17/144.41 c cleaning 6648 clauses out of 13308 with flag 35980/210231 156.57/149.82 c cleaning 7322 clauses out of 14659 with flag 53115/218230 163.64/156.21 c cleaning 8162 clauses out of 16338 with flag 72067/227231 170.43/163.05 c cleaning 9084 clauses out of 18175 with flag 93597/237230 177.83/170.49 c cleaning 10036 clauses out of 20090 with flag 116329/248229 186.03/178.69 c cleaning 11017 clauses out of 22055 with flag 141618/260230 195.25/187.84 c cleaning 12015 clauses out of 24037 with flag 169719/273229 205.96/197.93 c cleaning 13004 clauses out of 26022 with flag 200512/287229 217.25/208.83 c cleaning 14009 clauses out of 28019 with flag 234683/302230 222.85/214.49 c Got one! Elapsed wall clock time (in seconds):214.375 222.85/214.49 o 55249 226.26/217.90 c cleaning 13626 clauses out of 27258 with flag 10881/315478 230.35/221.97 c cleaning 9804 clauses out of 19632 with flag 23747/321478 235.25/226.84 c cleaning 8407 clauses out of 16828 with flag 38863/328478 240.67/232.24 c cleaning 8200 clauses out of 16421 with flag 56515/336478 247.49/238.63 c cleaning 8603 clauses out of 17222 with flag 76208/345479 254.30/245.42 c cleaning 9294 clauses out of 18618 with flag 97140/355478 261.59/252.75 c cleaning 10150 clauses out of 20325 with flag 120438/366479 269.99/261.12 c cleaning 11084 clauses out of 22174 with flag 145652/378478 279.10/270.27 c cleaning 12041 clauses out of 24092 with flag 173614/391480 289.10/280.24 c cleaning 13014 clauses out of 26050 with flag 203282/405479 300.13/291.01 c cleaning 13999 clauses out of 28035 with flag 234619/420478 311.43/302.31 c cleaning 15009 clauses out of 30037 with flag 268649/436479 323.43/314.30 c cleaning 16010 clauses out of 32029 with flag 305095/453480 336.63/327.57 c cleaning 17003 clauses out of 34017 with flag 343095/471478 351.24/341.46 c cleaning 18000 clauses out of 36015 with flag 382153/490479 365.84/356.05 c cleaning 19001 clauses out of 38015 with flag 425475/510479 381.04/371.25 c cleaning 19999 clauses out of 40013 with flag 471238/531478 398.11/387.42 c cleaning 21000 clauses out of 42014 with flag 519198/553478 415.31/404.64 c cleaning 22002 clauses out of 44014 with flag 568712/576478 434.90/423.46 c cleaning 22996 clauses out of 46014 with flag 620130/600480 454.11/442.61 c cleaning 23999 clauses out of 48016 with flag 674182/625478 475.12/462.95 c cleaning 24995 clauses out of 50018 with flag 731541/651479 496.53/484.30 c cleaning 26002 clauses out of 52024 with flag 790979/678480 519.27/506.67 c cleaning 27001 clauses out of 54022 with flag 853976/706480 543.58/529.94 c cleaning 27996 clauses out of 56020 with flag 919545/735479 566.99/553.39 c cleaning 29004 clauses out of 58023 with flag 986571/765478 590.90/577.03 c cleaning 29995 clauses out of 60019 with flag 1056864/796478 616.35/601.90 c cleaning 31000 clauses out of 62024 with flag 1127144/828478 643.35/628.23 c cleaning 32002 clauses out of 64024 with flag 1199242/861478 669.76/654.64 c cleaning 32999 clauses out of 66023 with flag 1274774/895479 697.37/682.02 c cleaning 34008 clauses out of 68023 with flag 1354338/930478 725.08/709.39 c cleaning 35000 clauses out of 70015 with flag 1435086/966478 755.99/739.67 c cleaning 36007 clauses out of 72016 with flag 1520287/1003479 788.08/770.87 c cleaning 37004 clauses out of 74009 with flag 1607106/1041479 822.56/804.70 c cleaning 37997 clauses out of 76005 with flag 1699370/1080479 855.16/836.82 c cleaning 38998 clauses out of 78007 with flag 1789318/1120478 891.82/873.07 c cleaning 39993 clauses out of 80009 with flag 1881794/1161478 923.61/903.81 c Got one! Elapsed wall clock time (in seconds):903.694 923.61/903.81 o 55246 927.71/907.94 c cleaning 40927 clauses out of 81866 with flag 11125/1203328 932.01/912.28 c cleaning 23462 clauses out of 46941 with flag 24759/1209330 936.81/917.04 c cleaning 15227 clauses out of 30476 with flag 40454/1216327 942.44/922.42 c cleaning 11613 clauses out of 23250 with flag 58697/1224328 948.44/928.44 c cleaning 10310 clauses out of 20637 with flag 78383/1233328 955.14/935.13 c cleaning 10150 clauses out of 20327 with flag 100960/1243328 962.80/942.65 c cleaning 10580 clauses out of 21178 with flag 125774/1254329 970.80/950.68 c cleaning 11291 clauses out of 22596 with flag 151798/1266327 979.71/959.55 c cleaning 12144 clauses out of 24307 with flag 179753/1279329 982.31/962.04 c Got one! Elapsed wall clock time (in seconds):961.928 982.31/962.04 o 55244 983.61/963.37 c cleaning 8963 clauses out of 17952 with flag 4225/1285118 987.52/967.27 c cleaning 7481 clauses out of 14989 with flag 16456/1291118 988.02/967.77 c Got one! Elapsed wall clock time (in seconds):967.652 988.02/967.77 o 55219 991.32/971.03 c cleaning 6623 clauses out of 13273 with flag 10346/1296883 993.52/973.21 c Got one! Elapsed wall clock time (in seconds):973.096 993.52/973.21 o 55217 993.83/973.56 c Got one! Elapsed wall clock time (in seconds):973.45 993.83/973.56 o 55209 993.93/973.62 c Got one! Elapsed wall clock time (in seconds):973.506 993.93/973.62 o 55190 993.93/973.65 c Got one! Elapsed wall clock time (in seconds):973.535 993.93/973.65 o 55181 994.02/973.77 c Got one! Elapsed wall clock time (in seconds):973.651 994.02/973.77 o 55172 994.12/973.81 c Got one! Elapsed wall clock time (in seconds):973.696 994.12/973.81 o 55163 994.32/974.09 c Got one! Elapsed wall clock time (in seconds):973.974 994.32/974.09 o 55145 994.52/974.27 c Got one! Elapsed wall clock time (in seconds):974.153 994.52/974.27 o 55132 995.82/975.58 c cleaning 6802 clauses out of 13627 with flag 4192/1303860 999.81/979.48 c cleaning 6394 clauses out of 12825 with flag 16925/1309860 1004.51/984.17 c cleaning 6702 clauses out of 13430 with flag 32170/1316859 1009.91/989.50 c cleaning 7362 clauses out of 14729 with flag 49450/1324860 1015.74/995.28 c cleaning 8179 clauses out of 16366 with flag 68680/1333859 1022.24/1001.79 c cleaning 9086 clauses out of 18187 with flag 89928/1343859 1029.54/1009.01 c cleaning 10048 clauses out of 20101 with flag 113405/1354859 1037.85/1017.22 c cleaning 11024 clauses out of 22054 with flag 139840/1366860 1046.75/1026.11 c cleaning 12009 clauses out of 24030 with flag 168528/1379860 1056.36/1035.60 c cleaning 13000 clauses out of 26020 with flag 199048/1393859 1067.03/1046.04 c cleaning 14000 clauses out of 28020 with flag 231722/1408859 1078.14/1057.13 c cleaning 15003 clauses out of 30020 with flag 266260/1424859 1090.41/1069.29 c cleaning 16000 clauses out of 32018 with flag 302850/1441860 1103.59/1082.10 c cleaning 17006 clauses out of 34019 with flag 342047/1459861 1117.61/1095.80 c cleaning 18001 clauses out of 36013 with flag 382669/1478861 1132.48/1110.39 c cleaning 18998 clauses out of 38010 with flag 425090/1498859 1147.92/1125.43 c cleaning 19995 clauses out of 40013 with flag 470661/1519860 1163.97/1141.22 c cleaning 21002 clauses out of 42017 with flag 519131/1541859 1180.93/1157.96 c cleaning 21997 clauses out of 44016 with flag 567629/1564860 1198.76/1175.59 c cleaning 23001 clauses out of 46018 with flag 618682/1588859 1217.45/1194.02 c cleaning 24000 clauses out of 48019 with flag 674081/1613861 1237.32/1213.47 c cleaning 25000 clauses out of 50018 with flag 730891/1639860 1257.74/1233.62 c cleaning 26000 clauses out of 52018 with flag 789482/1666860 1278.76/1254.23 c cleaning 26999 clauses out of 54017 with flag 851672/1694859 1300.92/1275.81 c cleaning 28000 clauses out of 56019 with flag 914594/1723860 1324.13/1298.44 c cleaning 29008 clauses out of 58019 with flag 982817/1753860 1348.65/1322.80 c cleaning 30004 clauses out of 60012 with flag 1049224/1784861 1375.35/1348.99 c cleaning 30999 clauses out of 62007 with flag 1123515/1816860 1402.52/1375.29 c cleaning 32001 clauses out of 64007 with flag 1199088/1849859 1430.80/1403.04 c cleaning 33002 clauses out of 66006 with flag 1272727/1883859 1459.75/1431.80 c cleaning 33996 clauses out of 68004 with flag 1349932/1918859 1490.11/1461.54 c cleaning 35001 clauses out of 70008 with flag 1433084/1954859 1521.02/1491.76 c cleaning 36000 clauses out of 72008 with flag 1515540/1991860 1552.43/1522.58 c cleaning 36997 clauses out of 74007 with flag 1602589/2029859 1585.23/1554.52 c cleaning 37996 clauses out of 76010 with flag 1692477/2068859 1618.28/1586.92 c cleaning 39005 clauses out of 78015 with flag 1784948/2108860 1653.53/1621.10 c cleaning 39994 clauses out of 80009 with flag 1873801/2149859 1687.79/1655.11 c cleaning 40999 clauses out of 82017 with flag 1968948/2191861 1724.31/1690.90 c cleaning 42007 clauses out of 84018 with flag 2060119/2234861 1763.25/1728.65 c cleaning 42996 clauses out of 86009 with flag 2153441/2278859 1800.07/1764.70 c starts : 77 1800.07/1764.70 c conflicts : 2320218 1800.07/1764.70 c decisions : 2346328 1800.07/1764.70 c propagations : 46833576 1800.07/1764.70 c inspects : 6344757373 1800.07/1764.70 c shortcuts : 0 1800.07/1764.70 c learnt literals : 0 1800.07/1764.70 c learnt binary clauses : 1 1800.07/1764.70 c learnt ternary clauses : 146 1800.07/1764.70 c learnt constraints : 2320218 1800.07/1764.70 c ignored constraints : 0 1800.07/1764.70 c root simplifications : 0 1800.07/1764.70 c removed literals (reason simplification) : 0 1800.07/1764.70 c reason swapping (by a shorter reason) : 0 1800.07/1764.70 c Calls to reduceDB : 123 1800.07/1764.70 c Number of update (reduction) of LBD : 764 1800.07/1764.70 c Imported unit clauses : 0 1800.07/1764.70 c number of reductions to clauses (during analyze) : 0 1800.07/1764.70 c number of learned constraints concerned by reduction : 0 1800.07/1764.70 c number of learning phase by resolution : 0 1800.07/1764.70 c number of learning phase by cutting planes : 0 1800.07/1764.70 c speed (assignments/second) : 26549.874290314263 1800.07/1764.70 c non guided choices 0 1800.07/1764.73 c learnt constraints type 1800.07/1764.73 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.07/1764.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 84372 1800.07/1764.73 s SATISFIABLE 1800.07/1764.73 c Found 76 solution(s) 1800.07/1764.73 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 1800.07/1764.73 c objective function=55132 1800.07/1764.73 c Total wall clock time (in seconds): 1764.616
OK 55132
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-4119430-1467258094/watcher-4119430-1467258094 -o /tmp/evaluation-result-4119430-1467258094/solver-4119430-1467258094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24286 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119430-1467258094.opb pid=25605 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.34 2.30 2.22 3/194 25608 /proc/meminfo: memFree=29969148/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/25608/stat : 25608 (java) R 25605 25608 24014 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 15837984 278528 33 33554432000 1073741824 1073778376 140737091438032 140736567306472 248781040821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 68 33 25 9 0 25 0 [startup+0.10006 s] /proc/loadavg: 2.34 2.30 2.22 3/194 25608 /proc/meminfo: memFree=29969148/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 15837984 9787879424 6026 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2389619 6026 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200218 s] /proc/loadavg: 2.34 2.30 2.22 3/194 25608 /proc/meminfo: memFree=29969148/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 4762 0 1 0 22 1 0 0 20 0 18 0 15837984 9787879424 6872 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2389619 6872 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.300233 s] /proc/loadavg: 2.34 2.30 2.22 3/194 25608 /proc/meminfo: memFree=29969148/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9558476 CPUtime=0.45 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 5855 0 1 0 44 1 0 0 20 0 18 0 15837984 9787879424 8321 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2389619 8321 2245 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700181 s] /proc/loadavg: 2.34 2.30 2.22 3/194 25608 /proc/meminfo: memFree=29969148/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9558476 CPUtime=1.65 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 26388 0 1 0 161 4 0 0 20 0 18 0 15837984 9787879424 31231 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2389619 31231 2264 9 0 2380296 0 Current children cumulated CPU time (s) 1.65 Current children cumulated vsize (KiB) 9558476 [startup+1.50087 s] /proc/loadavg: 2.34 2.30 2.22 5/213 25627 /proc/meminfo: memFree=29823964/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9625040 CPUtime=4.04 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 36629 0 1 0 398 6 0 0 20 0 19 0 15837984 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2406260 40561 2274 9 0 2396937 0 [pid=25608/tid=25610] ppid=25605 vsize=9625040 CPUtime=1.45 cores=1,3,5,7 /proc/25608/task/25610/stat : 25610 (java) R 25605 25608 24014 0 -1 4202560 2511 0 1 0 144 1 0 0 20 0 19 0 15837985 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293618958640 140293622252422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25611] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25611/stat : 25611 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293580459048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25612] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25612/stat : 25612 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293579406248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25613] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25613/stat : 25613 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293578353448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25614] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25614/stat : 25614 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293577300648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25615] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25615/stat : 25615 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293576247848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25616] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25616/stat : 25616 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293575195048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25617] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25617/stat : 25617 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293574142248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25618] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25618/stat : 25618 (java) S 25605 25608 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293573089448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25619] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25619/stat : 25619 (java) S 25605 25608 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293442616296 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25620] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25620/stat : 25620 (java) S 25605 25608 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293441562360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25621] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25621/stat : 25621 (java) S 25605 25608 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293440509448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25622] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25622/stat : 25622 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293439457936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25623] ppid=25605 vsize=9625040 CPUtime=1.26 cores=1,3,5,7 /proc/25608/task/25623/stat : 25623 (java) R 25605 25608 24014 0 -1 4202560 13009 0 0 0 124 2 0 0 20 0 19 0 15837990 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293438392576 248789871502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25624] ppid=25605 vsize=9625040 CPUtime=1.28 cores=1,3,5,7 /proc/25608/task/25624/stat : 25624 (java) R 25605 25608 24014 0 -1 4202560 19833 0 0 0 126 2 0 0 20 0 19 0 15837990 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293437340040 140293624965171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25625] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25625/stat : 25625 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293436299640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25626] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25626/stat : 25626 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293435247048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25627] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25627/stat : 25627 (java) S 25605 25608 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15838056 9856040960 40561 33554432000 1073741824 1073778376 140737091438032 140293434193576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.04 Current children cumulated vsize (KiB) 9625040 [startup+3.10086 s] /proc/loadavg: 2.31 2.30 2.22 3/213 25627 /proc/meminfo: memFree=29776116/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9625040 CPUtime=5.69 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 36663 0 1 0 562 7 0 0 20 0 19 0 15837984 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2406260 56946 2274 9 0 2396937 0 [pid=25608/tid=25610] ppid=25605 vsize=9625040 CPUtime=3.04 cores=1,3,5,7 /proc/25608/task/25610/stat : 25610 (java) R 25605 25608 24014 0 -1 4202560 2544 0 1 0 302 2 0 0 20 0 19 0 15837985 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293618966432 140293447083001 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25611] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25611/stat : 25611 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293580459048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25612] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25612/stat : 25612 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293579406248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25613] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25613/stat : 25613 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293578353448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25614] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25614/stat : 25614 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293577300648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25615] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25615/stat : 25615 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293576247848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25616] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25616/stat : 25616 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293575195048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25617] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25617/stat : 25617 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293574142248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25618] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25618/stat : 25618 (java) S 25605 25608 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293573089448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25619] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25619/stat : 25619 (java) S 25605 25608 24014 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293442616296 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25620] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25620/stat : 25620 (java) S 25605 25608 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293441562360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25621] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25621/stat : 25621 (java) S 25605 25608 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293440509448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25622] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25622/stat : 25622 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293439457936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25623] ppid=25605 vsize=9625040 CPUtime=1.27 cores=1,3,5,7 /proc/25608/task/25623/stat : 25623 (java) S 25605 25608 24014 0 -1 4202560 13009 0 0 0 125 2 0 0 20 0 19 0 15837990 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293438405048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25624] ppid=25605 vsize=9625040 CPUtime=1.33 cores=1,3,5,7 /proc/25608/task/25624/stat : 25624 (java) S 25605 25608 24014 0 -1 4202560 19833 0 0 0 130 3 0 0 20 0 19 0 15837990 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293437352248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25625] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25625/stat : 25625 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293436299640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25626] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25626/stat : 25626 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293435247048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25627] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25627/stat : 25627 (java) S 25605 25608 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15838056 9856040960 56946 33554432000 1073741824 1073778376 140737091438032 140293434193576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 5.69 Current children cumulated vsize (KiB) 9625040 [startup+6.30087 s] /proc/loadavg: 2.31 2.30 2.22 3/213 25627 /proc/meminfo: memFree=29670864/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9625040 CPUtime=9.11 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 36940 0 1 0 896 15 0 0 20 0 19 0 15837984 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2406260 76298 2292 9 0 2396937 0 [pid=25608/tid=25610] ppid=25605 vsize=9625040 CPUtime=6.18 cores=1,3,5,7 /proc/25608/task/25610/stat : 25610 (java) R 25605 25608 24014 0 -1 4202560 2554 0 1 0 616 2 0 0 20 0 19 0 15837985 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293618966120 140293447079649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25611] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25611/stat : 25611 (java) S 25605 25608 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293580459048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25612] ppid=25605 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/25608/task/25612/stat : 25612 (java) S 25605 25608 24014 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293579406248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25613] ppid=25605 vsize=9625040 CPUtime=0.03 cores=1,3,5,7 /proc/25608/task/25613/stat : 25613 (java) S 25605 25608 24014 0 -1 4202560 39 0 0 0 1 2 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293578353448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25614] ppid=25605 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/25608/task/25614/stat : 25614 (java) S 25605 25608 24014 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293577300648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25615] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25615/stat : 25615 (java) S 25605 25608 24014 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293576247848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25616] ppid=25605 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/25608/task/25616/stat : 25616 (java) S 25605 25608 24014 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293575195048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25617] ppid=25605 vsize=9625040 CPUtime=0.01 cores=1,3,5,7 /proc/25608/task/25617/stat : 25617 (java) S 25605 25608 24014 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293574142248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25618] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25618/stat : 25618 (java) S 25605 25608 24014 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 15837986 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293573089448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25619] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25619/stat : 25619 (java) S 25605 25608 24014 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293442616296 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25620] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25620/stat : 25620 (java) S 25605 25608 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293441562360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25621] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25621/stat : 25621 (java) S 25605 25608 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293440509448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25622] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25622/stat : 25622 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293439457936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25623] ppid=25605 vsize=9625040 CPUtime=1.29 cores=1,3,5,7 /proc/25608/task/25623/stat : 25623 (java) S 25605 25608 24014 0 -1 4202560 13010 0 0 0 127 2 0 0 20 0 19 0 15837990 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293438405048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25624] ppid=25605 vsize=9625040 CPUtime=1.41 cores=1,3,5,7 /proc/25608/task/25624/stat : 25624 (java) R 25605 25608 24014 0 -1 4202560 19879 0 0 0 138 3 0 0 20 0 19 0 15837990 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293437352248 140293621986436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25625] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25625/stat : 25625 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293436299640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25626] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25626/stat : 25626 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293435247048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25627] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25627/stat : 25627 (java) S 25605 25608 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15838056 9856040960 76298 33554432000 1073741824 1073778376 140737091438032 140293434193576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 9.11 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=25608/tid=25627] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25627/stat : 25627 (java) S 25605 25608 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15838056 9856040960 946037 33554432000 1073741824 1073778376 140737091438032 140293434193576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1695.25 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.31 2.22 2.23 3/214 25759 /proc/meminfo: memFree=25974932/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9625040 CPUtime=1756.1 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 56629 0 1 0 174963 647 0 0 20 0 19 0 15837984 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2406260 973767 2301 9 0 2396937 0 [pid=25608/tid=25610] ppid=25605 vsize=9625040 CPUtime=1702.75 cores=1,3,5,7 /proc/25608/task/25610/stat : 25610 (java) R 25605 25608 24014 0 -1 4202560 3474 0 1 0 170241 34 0 0 20 0 19 0 15837985 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293618965728 140293447206707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25611] ppid=25605 vsize=9625040 CPUtime=5.54 cores=1,3,5,7 /proc/25608/task/25611/stat : 25611 (java) S 25605 25608 24014 0 -1 4202560 1532 0 0 0 469 85 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293580459048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25612] ppid=25605 vsize=9625040 CPUtime=4.77 cores=1,3,5,7 /proc/25608/task/25612/stat : 25612 (java) S 25605 25608 24014 0 -1 4202560 1579 0 0 0 404 73 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293579406248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25613] ppid=25605 vsize=9625040 CPUtime=5.51 cores=1,3,5,7 /proc/25608/task/25613/stat : 25613 (java) S 25605 25608 24014 0 -1 4202560 1685 0 0 0 468 83 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293578353448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25614] ppid=25605 vsize=9625040 CPUtime=5.06 cores=1,3,5,7 /proc/25608/task/25614/stat : 25614 (java) S 25605 25608 24014 0 -1 4202560 1571 0 0 0 433 73 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293577300648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25615] ppid=25605 vsize=9625040 CPUtime=4.26 cores=1,3,5,7 /proc/25608/task/25615/stat : 25615 (java) S 25605 25608 24014 0 -1 4202560 1077 0 0 0 370 56 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293576247848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25616] ppid=25605 vsize=9625040 CPUtime=4.96 cores=1,3,5,7 /proc/25608/task/25616/stat : 25616 (java) S 25605 25608 24014 0 -1 4202560 1438 0 0 0 428 68 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293575195048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25617] ppid=25605 vsize=9625040 CPUtime=5.16 cores=1,3,5,7 /proc/25608/task/25617/stat : 25617 (java) S 25605 25608 24014 0 -1 4202560 1659 0 0 0 436 80 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293574142248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25618] ppid=25605 vsize=9625040 CPUtime=4.84 cores=1,3,5,7 /proc/25608/task/25618/stat : 25618 (java) S 25605 25608 24014 0 -1 4202560 1768 0 0 0 405 79 0 0 20 0 19 0 15837986 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293573089448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25619] ppid=25605 vsize=9625040 CPUtime=4.51 cores=1,3,5,7 /proc/25608/task/25619/stat : 25619 (java) S 25605 25608 24014 0 -1 4202560 6043 0 0 0 447 4 0 0 20 0 19 0 15837988 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293442616296 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25620] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25620/stat : 25620 (java) S 25605 25608 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293441562360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25621] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25621/stat : 25621 (java) S 25605 25608 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293440509448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25622] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25622/stat : 25622 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293439457936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25623] ppid=25605 vsize=9625040 CPUtime=2.08 cores=1,3,5,7 /proc/25608/task/25623/stat : 25623 (java) S 25605 25608 24014 0 -1 4202560 13512 0 0 0 205 3 0 0 20 0 19 0 15837990 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293438405048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25624] ppid=25605 vsize=9625040 CPUtime=1.68 cores=1,3,5,7 /proc/25608/task/25624/stat : 25624 (java) S 25605 25608 24014 0 -1 4202560 19930 0 0 0 165 3 0 0 20 0 19 0 15837990 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293437352248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25625] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25625/stat : 25625 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293436299640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25626] ppid=25605 vsize=9625040 CPUtime=0.51 cores=1,3,5,7 /proc/25608/task/25626/stat : 25626 (java) S 25605 25608 24014 0 -1 4202560 99 0 0 0 22 29 0 0 20 0 19 0 15837990 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293435247048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25627] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25627/stat : 25627 (java) S 25605 25608 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15838056 9856040960 973767 33554432000 1073741824 1073778376 140737091438032 140293434193576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1756.1 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1764.7 s] /proc/loadavg: 2.24 2.22 2.22 3/214 25760 /proc/meminfo: memFree=25308876/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 58262 0 1 0 179286 721 0 0 20 0 19 0 15837984 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2406260 1140089 2301 9 0 2396937 0 [pid=25608/tid=25610] ppid=25605 vsize=9625040 CPUtime=1744.03 cores=1,3,5,7 /proc/25608/task/25610/stat : 25610 (java) R 25605 25608 24014 0 -1 4202560 3476 0 1 0 174368 35 0 0 20 0 19 0 15837985 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293618965728 140293447062275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25611] ppid=25605 vsize=9625040 CPUtime=5.89 cores=1,3,5,7 /proc/25608/task/25611/stat : 25611 (java) S 25605 25608 24014 0 -1 4202560 1721 0 0 0 492 97 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293580459048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25612] ppid=25605 vsize=9625040 CPUtime=4.98 cores=1,3,5,7 /proc/25608/task/25612/stat : 25612 (java) S 25605 25608 24014 0 -1 4202560 1716 0 0 0 417 81 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293579406248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25613] ppid=25605 vsize=9625040 CPUtime=5.84 cores=1,3,5,7 /proc/25608/task/25613/stat : 25613 (java) S 25605 25608 24014 0 -1 4202560 1851 0 0 0 495 89 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293578353448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25614] ppid=25605 vsize=9625040 CPUtime=5.28 cores=1,3,5,7 /proc/25608/task/25614/stat : 25614 (java) S 25605 25608 24014 0 -1 4202560 1711 0 0 0 445 83 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293577300648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25615] ppid=25605 vsize=9625040 CPUtime=4.44 cores=1,3,5,7 /proc/25608/task/25615/stat : 25615 (java) S 25605 25608 24014 0 -1 4202560 1191 0 0 0 381 63 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293576247848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25616] ppid=25605 vsize=9625040 CPUtime=5.2 cores=1,3,5,7 /proc/25608/task/25616/stat : 25616 (java) S 25605 25608 24014 0 -1 4202560 1583 0 0 0 445 75 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293575195048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25617] ppid=25605 vsize=9625040 CPUtime=5.51 cores=1,3,5,7 /proc/25608/task/25617/stat : 25617 (java) S 25605 25608 24014 0 -1 4202560 1884 0 0 0 456 95 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293574142248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25618] ppid=25605 vsize=9625040 CPUtime=5.06 cores=1,3,5,7 /proc/25608/task/25618/stat : 25618 (java) S 25605 25608 24014 0 -1 4202560 1916 0 0 0 419 87 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293573089448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25619] ppid=25605 vsize=9625040 CPUtime=4.98 cores=1,3,5,7 /proc/25608/task/25619/stat : 25619 (java) S 25605 25608 24014 0 -1 4202560 6408 0 0 0 493 5 0 0 20 0 19 0 15837988 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293442616296 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25620] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25620/stat : 25620 (java) S 25605 25608 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293441562360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25621] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25621/stat : 25621 (java) S 25605 25608 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293440509448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25622] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25622/stat : 25622 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293439457936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25623] ppid=25605 vsize=9625040 CPUtime=2.08 cores=1,3,5,7 /proc/25608/task/25623/stat : 25623 (java) S 25605 25608 24014 0 -1 4202560 13512 0 0 0 205 3 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293438405048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25624] ppid=25605 vsize=9625040 CPUtime=1.68 cores=1,3,5,7 /proc/25608/task/25624/stat : 25624 (java) S 25605 25608 24014 0 -1 4202560 19930 0 0 0 165 3 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293437352248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25625] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25625/stat : 25625 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293436299640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25626] ppid=25605 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/25608/task/25626/stat : 25626 (java) S 25605 25608 24014 0 -1 4202560 101 0 0 0 23 29 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293435247048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25627] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25627/stat : 25627 (java) S 25605 25608 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15838056 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293434193576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 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 25608 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1764.7 s] /proc/loadavg: 2.24 2.22 2.22 3/214 25760 /proc/meminfo: memFree=25308876/32872528 swapFree=1394328/1580332 [pid=25608] ppid=25605 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7 /proc/25608/stat : 25608 (java) S 25605 25608 24014 0 -1 4202496 58262 0 1 0 179286 721 0 0 20 0 19 0 15837984 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140737091429168 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25608/statm: 2406260 1140089 2301 9 0 2396937 0 [pid=25608/tid=25610] ppid=25605 vsize=9625040 CPUtime=1744.03 cores=1,3,5,7 /proc/25608/task/25610/stat : 25610 (java) R 25605 25608 24014 0 -1 4202560 3476 0 1 0 174368 35 0 0 20 0 19 0 15837985 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293618965728 140293447062275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25611] ppid=25605 vsize=9625040 CPUtime=5.89 cores=1,3,5,7 /proc/25608/task/25611/stat : 25611 (java) S 25605 25608 24014 0 -1 4202560 1721 0 0 0 492 97 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293580459048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25612] ppid=25605 vsize=9625040 CPUtime=4.98 cores=1,3,5,7 /proc/25608/task/25612/stat : 25612 (java) S 25605 25608 24014 0 -1 4202560 1716 0 0 0 417 81 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293579406248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25613] ppid=25605 vsize=9625040 CPUtime=5.84 cores=1,3,5,7 /proc/25608/task/25613/stat : 25613 (java) S 25605 25608 24014 0 -1 4202560 1851 0 0 0 495 89 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293578353448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25614] ppid=25605 vsize=9625040 CPUtime=5.28 cores=1,3,5,7 /proc/25608/task/25614/stat : 25614 (java) S 25605 25608 24014 0 -1 4202560 1711 0 0 0 445 83 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293577300648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25615] ppid=25605 vsize=9625040 CPUtime=4.44 cores=1,3,5,7 /proc/25608/task/25615/stat : 25615 (java) S 25605 25608 24014 0 -1 4202560 1191 0 0 0 381 63 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293576247848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25616] ppid=25605 vsize=9625040 CPUtime=5.2 cores=1,3,5,7 /proc/25608/task/25616/stat : 25616 (java) S 25605 25608 24014 0 -1 4202560 1583 0 0 0 445 75 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293575195048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25617] ppid=25605 vsize=9625040 CPUtime=5.51 cores=1,3,5,7 /proc/25608/task/25617/stat : 25617 (java) S 25605 25608 24014 0 -1 4202560 1884 0 0 0 456 95 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293574142248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25618] ppid=25605 vsize=9625040 CPUtime=5.06 cores=1,3,5,7 /proc/25608/task/25618/stat : 25618 (java) S 25605 25608 24014 0 -1 4202560 1916 0 0 0 419 87 0 0 20 0 19 0 15837986 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293573089448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25608/tid=25619] ppid=25605 vsize=9625040 CPUtime=4.98 cores=1,3,5,7 /proc/25608/task/25619/stat : 25619 (java) S 25605 25608 24014 0 -1 4202560 6408 0 0 0 493 5 0 0 20 0 19 0 15837988 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293442616296 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25620] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25620/stat : 25620 (java) S 25605 25608 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293441562360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25621] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25621/stat : 25621 (java) S 25605 25608 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15837988 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293440509448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25622] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25622/stat : 25622 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293439457936 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25623] ppid=25605 vsize=9625040 CPUtime=2.08 cores=1,3,5,7 /proc/25608/task/25623/stat : 25623 (java) S 25605 25608 24014 0 -1 4202560 13512 0 0 0 205 3 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293438405048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25608/tid=25624] ppid=25605 vsize=9625040 CPUtime=1.68 cores=1,3,5,7 /proc/25608/task/25624/stat : 25624 (java) S 25605 25608 24014 0 -1 4202560 19930 0 0 0 165 3 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293437352248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25625] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25625/stat : 25625 (java) S 25605 25608 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293436299640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25608/tid=25626] ppid=25605 vsize=9625040 CPUtime=0.52 cores=1,3,5,7 /proc/25608/task/25626/stat : 25626 (java) S 25605 25608 24014 0 -1 4202560 101 0 0 0 23 29 0 0 20 0 19 0 15837990 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293435247048 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25608/tid=25627] ppid=25605 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25608/task/25627/stat : 25627 (java) S 25605 25608 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15838056 9856040960 1140089 33554432000 1073741824 1073778376 140737091438032 140293434193576 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25608 and gives # childrusage.ru_utime.tv_sec=1788 # childrusage.ru_utime.tv_usec=229147 # childrusage.ru_stime.tv_sec=7 # childrusage.ru_stime.tv_usec=612842 # CPU time returned by wait4() is 1795.84 # while last known CPU time is 1800.07 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1764.75 CPU time (s): 1800.07 CPU user time (s): 1792.86 CPU system time (s): 7.21 CPU usage (%): 102.001 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.23 system time used= 7.61284 maximum resident set size= 4560480 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58297 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39759 involuntary context switches= 17868 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.44356 second user time and 14.2428 second system time The end
Begin job on node139 at 2016-06-30 05:41:34 IDJOB=4119430 IDBENCH=111728 IDSOLVER=2546 FILE ID=node139/4119430-1467258094 RUNJOBID= node139-1467248605-24286 PBS_JOBID= 20004484 Free space on /tmp= 71708 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-faclay30h.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119430-1467258094/watcher-4119430-1467258094 -o /tmp/evaluation-result-4119430-1467258094/solver-4119430-1467258094 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24286 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119430-1467258094.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3269479903955f93d765158140fce114 RANDOM SEED=1081722008 node139.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 : 2667.092 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 : 5334.18 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 : 2667.092 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 : 2667.092 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.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 : 2667.092 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 : 2667.092 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.56 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 : 2667.092 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 : 2667.092 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.48 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 : 2667.092 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29969752 kB Buffers: 150468 kB Cached: 146580 kB SwapCached: 3080 kB Active: 403952 kB Inactive: 184608 kB Active(anon): 290372 kB Inactive(anon): 3492 kB Active(file): 113580 kB Inactive(file): 181116 kB Unevictable: 1580332 kB Mlocked: 1394328 kB SwapTotal: 67108856 kB SwapFree: 67097568 kB Dirty: 1264 kB Writeback: 0 kB AnonPages: 1871548 kB Mapped: 15940 kB Shmem: 0 kB Slab: 601248 kB SReclaimable: 45144 kB SUnreclaim: 556104 kB KernelStack: 1616 kB PageTables: 8100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2004780 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 444416 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= 71708 MiB End job on node139 at 2016-06-30 06:10:59