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 Res+CP PB16 | SAT (TO) | 216 | 1800.09 | 905.756 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-edgecross20-040.lin.opb |
| MD5SUM | e5f3bc7537b30d0aeeecb02a9fd96be6 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 103 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| 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 | 1092 |
| Total number of constraints | 5983 |
| Number of constraints which are clauses | 5271 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 711 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 965 |
| Biggest coefficient in the objective function | 377 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 2409 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 377 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 2409 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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.10 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.10 c java.vm.version 19.1-b02 0.00/0.10 c java.vm.vendor Sun Microsystems Inc. 0.00/0.10 c sun.arch.data.model 64 0.00/0.10 c java.version 1.6.0_24 0.00/0.10 c os.name Linux 0.00/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.10 c os.arch amd64 0.10/0.10 c Free memory 501472288 0.10/0.10 c Max memory 7480803328 0.10/0.10 c Total memory 504102912 0.10/0.10 c Number of processors 16 0.10/0.12 c Pseudo Boolean Optimization by upper bound 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Glucose 2.1 dynamic restart strategy 0.10/0.12 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.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 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.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-4118395-1467226711.opb 0.10/0.12 c reading problem ... 0.10/0.13 c objective function found 0.75/0.40 c ... done. Wall clock time 0.279s. 0.75/0.40 c declared #vars 1092 0.75/0.40 c #constraints 5984 0.75/0.41 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.75/0.41 c constraints type 0.75/0.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5271 0.75/0.41 c org.sat4j.specs.Constr$1 => 1 0.75/0.41 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.75/0.41 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 711 0.75/0.41 c 5984 constraints processed. 0.75/0.41 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.75/0.41 c constraints type 0.75/0.41 c org.sat4j.specs.Constr$1 => 1 0.75/0.41 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5271 0.75/0.41 c org.sat4j.pb.constraints.pb.MaxWatchPb => 711 0.75/0.41 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.75/0.41 c 5984 constraints processed. 0.75/0.41 c objective function length is 965 literals 0.75/0.44 c And the winner is solver0 1.04/0.91 c SATISFIABLE 1.04/0.91 c OPTIMIZING... 1.04/0.91 c Got one! Elapsed wall clock time (in seconds):0.786 1.04/0.91 o 291 1.04/0.94 c And the winner is solver0 1.55/1.42 c Got one! Elapsed wall clock time (in seconds):1.297 1.55/1.42 o 289 2.25/1.61 c And the winner is solver0 2.54/1.93 c Got one! Elapsed wall clock time (in seconds):1.805 2.54/1.93 o 288 2.54/1.94 c And the winner is solver0 2.58/2.43 c Got one! Elapsed wall clock time (in seconds):2.31 2.58/2.43 o 287 2.58/2.44 c And the winner is solver0 2.59/2.94 c Got one! Elapsed wall clock time (in seconds):2.813 2.59/2.94 o 285 2.59/2.94 c And the winner is solver0 2.64/3.44 c Got one! Elapsed wall clock time (in seconds):3.316 2.64/3.44 o 284 2.64/3.45 c And the winner is solver0 2.68/3.94 c Got one! Elapsed wall clock time (in seconds):3.82 2.68/3.94 o 283 2.68/3.96 c And the winner is solver0 2.73/4.45 c Got one! Elapsed wall clock time (in seconds):4.323 2.73/4.45 o 282 2.73/4.46 c And the winner is solver0 2.77/4.95 c Got one! Elapsed wall clock time (in seconds):4.825 2.77/4.95 o 281 2.77/4.95 c And the winner is solver0 2.81/5.45 c Got one! Elapsed wall clock time (in seconds):5.328 2.81/5.45 o 280 2.81/5.46 c And the winner is solver0 2.83/5.95 c Got one! Elapsed wall clock time (in seconds):5.831 2.83/5.95 o 279 2.99/6.02 c And the winner is solver0 3.14/6.46 c Got one! Elapsed wall clock time (in seconds):6.334 3.14/6.46 o 278 3.14/6.47 c And the winner is solver0 3.22/6.96 c Got one! Elapsed wall clock time (in seconds):6.836 3.22/6.96 o 277 3.22/6.96 c And the winner is solver0 3.24/7.46 c Got one! Elapsed wall clock time (in seconds):7.339 3.24/7.46 o 275 3.24/7.47 c And the winner is solver0 3.24/7.96 c Got one! Elapsed wall clock time (in seconds):7.841 3.24/7.96 o 273 3.24/7.98 c And the winner is solver0 3.29/8.47 c Got one! Elapsed wall clock time (in seconds):8.343 3.29/8.47 o 272 3.29/8.47 c And the winner is solver0 3.29/8.97 c Got one! Elapsed wall clock time (in seconds):8.845 3.29/8.97 o 271 3.92/9.23 c And the winner is solver0 4.00/9.48 c Got one! Elapsed wall clock time (in seconds):9.356 4.00/9.48 o 270 4.04/9.52 c And the winner is solver0 4.16/9.98 c Got one! Elapsed wall clock time (in seconds):9.857 4.16/9.98 o 269 4.16/9.99 c And the winner is solver0 4.21/10.48 c Got one! Elapsed wall clock time (in seconds):10.359 4.21/10.48 o 268 4.21/10.49 c And the winner is solver0 4.21/10.98 c Got one! Elapsed wall clock time (in seconds):10.861 4.21/10.99 o 267 4.21/11.00 c And the winner is solver0 4.26/11.49 c Got one! Elapsed wall clock time (in seconds):11.363 4.26/11.49 o 266 4.26/11.49 c And the winner is solver0 4.26/11.99 c Got one! Elapsed wall clock time (in seconds):11.865 4.26/11.99 o 264 4.26/11.99 c And the winner is solver0 4.26/12.49 c Got one! Elapsed wall clock time (in seconds):12.366 4.26/12.49 o 263 4.27/12.50 c And the winner is solver0 4.27/12.99 c Got one! Elapsed wall clock time (in seconds):12.868 4.27/12.99 o 262 4.27/13.00 c And the winner is solver0 4.29/13.49 c Got one! Elapsed wall clock time (in seconds):13.37 4.29/13.49 o 261 4.29/13.50 c And the winner is solver0 4.29/14.00 c Got one! Elapsed wall clock time (in seconds):13.872 4.29/14.00 o 260 4.29/14.03 c And the winner is solver0 4.36/14.50 c Got one! Elapsed wall clock time (in seconds):14.374 4.36/14.50 o 259 4.36/14.58 c And the winner is solver0 4.56/15.00 c Got one! Elapsed wall clock time (in seconds):14.875 4.56/15.00 o 258 4.56/15.02 c And the winner is solver0 4.69/15.50 c Got one! Elapsed wall clock time (in seconds):15.377 4.69/15.50 o 257 4.70/15.55 c And the winner is solver0 4.82/16.00 c Got one! Elapsed wall clock time (in seconds):15.879 4.82/16.00 o 256 5.02/16.18 c And the winner is solver0 5.21/16.50 c Got one! Elapsed wall clock time (in seconds):16.381 5.21/16.50 o 255 5.21/16.52 c And the winner is solver0 5.26/17.01 c Got one! Elapsed wall clock time (in seconds):16.883 5.26/17.01 o 253 5.26/17.01 c And the winner is solver0 5.26/17.51 c Got one! Elapsed wall clock time (in seconds):17.385 5.26/17.51 o 252 5.26/17.52 c And the winner is solver0 5.29/18.01 c Got one! Elapsed wall clock time (in seconds):17.887 5.29/18.01 o 251 5.29/18.02 c And the winner is solver0 5.29/18.51 c Got one! Elapsed wall clock time (in seconds):18.389 5.29/18.51 o 249 5.29/18.54 c And the winner is solver0 5.37/19.01 c Got one! Elapsed wall clock time (in seconds):18.891 5.37/19.01 o 248 5.37/19.05 c And the winner is solver0 5.46/19.52 c Got one! Elapsed wall clock time (in seconds):19.393 5.46/19.52 o 247 5.46/19.52 c And the winner is solver0 5.46/20.02 c Got one! Elapsed wall clock time (in seconds):19.894 5.46/20.02 o 245 5.46/20.02 c And the winner is solver0 5.46/20.52 c Got one! Elapsed wall clock time (in seconds):20.396 5.46/20.52 o 244 5.46/20.58 c And the winner is solver0 5.74/21.02 c Got one! Elapsed wall clock time (in seconds):20.898 5.74/21.02 o 243 5.74/21.03 c And the winner is solver0 5.74/21.52 c Got one! Elapsed wall clock time (in seconds):21.4 5.74/21.52 o 242 5.74/21.53 c And the winner is solver0 5.74/22.03 c Got one! Elapsed wall clock time (in seconds):21.902 5.74/22.03 o 241 5.74/22.10 c And the winner is solver0 5.91/22.53 c Got one! Elapsed wall clock time (in seconds):22.403 5.91/22.53 o 240 6.71/22.96 c cleaning 5221 clauses out of 10453 with flag 6354/10453 8.58/23.73 c cleaning 5610 clauses out of 11232 with flag 18777/16453 10.60/24.65 c cleaning 6305 clauses out of 12622 with flag 33709/23453 12.74/25.52 c And the winner is solver1 12.74/25.53 c Got one! Elapsed wall clock time (in seconds):25.406 12.74/25.53 o 239 14.15/26.26 c cleaning 8967 clauses out of 17947 with flag 11597/35083 15.55/26.96 c And the winner is solver0 15.72/27.03 c Got one! Elapsed wall clock time (in seconds):26.908 15.72/27.03 o 238 16.42/27.25 c cleaning 7372 clauses out of 14753 with flag 2341/40856 18.22/28.13 c cleaning 6687 clauses out of 13381 with flag 17227/46856 20.85/29.21 c cleaning 6848 clauses out of 13695 with flag 37726/53857 22.85/30.26 c cleaning 7423 clauses out of 14845 with flag 59430/61855 25.47/31.57 c cleaning 8211 clauses out of 16422 with flag 79763/70855 29.20/33.14 c cleaning 9104 clauses out of 18211 with flag 103875/80855 32.38/34.72 c cleaning 10041 clauses out of 20107 with flag 131079/91855 36.37/36.50 c cleaning 11033 clauses out of 22070 with flag 163129/103859 40.16/38.36 c cleaning 12017 clauses out of 24035 with flag 196167/116857 45.55/40.77 c cleaning 13009 clauses out of 26018 with flag 231549/130857 50.91/43.16 c cleaning 14004 clauses out of 28008 with flag 273034/145856 56.31/45.81 c cleaning 15001 clauses out of 30004 with flag 320405/161856 62.11/48.79 c cleaning 15995 clauses out of 32003 with flag 367995/178856 69.61/52.20 c cleaning 16999 clauses out of 34009 with flag 415752/196857 77.31/55.82 c cleaning 17998 clauses out of 36010 with flag 466727/215857 84.91/59.61 c cleaning 19003 clauses out of 38011 with flag 516626/235856 94.84/64.43 c cleaning 19997 clauses out of 40007 with flag 573355/256855 102.84/68.46 c cleaning 21007 clauses out of 42013 with flag 636985/278858 111.65/72.83 c cleaning 21991 clauses out of 44003 with flag 701369/301855 121.74/77.66 c cleaning 23004 clauses out of 46014 with flag 770488/325857 131.55/82.55 c cleaning 24000 clauses out of 48010 with flag 843869/350857 143.23/87.91 c cleaning 25001 clauses out of 50008 with flag 921739/376855 154.23/93.43 c cleaning 25994 clauses out of 52007 with flag 1003558/403855 166.32/99.17 c cleaning 27007 clauses out of 54014 with flag 1077526/431856 180.25/106.34 c cleaning 28004 clauses out of 56007 with flag 1161636/460856 193.25/112.88 c cleaning 28993 clauses out of 58002 with flag 1250451/490855 207.86/119.97 c cleaning 30005 clauses out of 60009 with flag 1337760/521855 221.36/126.47 c And the winner is solver1 221.36/126.55 c Got one! Elapsed wall clock time (in seconds):126.422 221.36/126.55 o 237 223.26/127.58 c cleaning 32141 clauses out of 64283 with flag 13173/556134 225.27/128.57 c cleaning 19067 clauses out of 38142 with flag 28311/562134 227.47/129.69 c cleaning 13036 clauses out of 26076 with flag 46369/569135 230.09/130.94 c cleaning 10517 clauses out of 21041 with flag 72469/577136 232.89/132.39 c cleaning 9758 clauses out of 19522 with flag 108896/586134 236.09/133.92 c cleaning 9874 clauses out of 19764 with flag 143594/596134 240.79/135.80 c cleaning 10445 clauses out of 20890 with flag 185037/607134 244.41/137.67 c cleaning 11222 clauses out of 22446 with flag 227939/619135 248.39/139.63 c cleaning 12111 clauses out of 24223 with flag 277403/632134 252.39/141.68 c cleaning 13057 clauses out of 26114 with flag 329823/646136 257.42/144.07 c cleaning 14020 clauses out of 28056 with flag 386246/661135 262.63/146.64 c cleaning 15015 clauses out of 30035 with flag 446306/677134 268.43/149.55 c cleaning 16003 clauses out of 32020 with flag 506475/694134 274.63/152.61 c cleaning 17003 clauses out of 34018 with flag 578520/712135 281.77/156.03 c cleaning 18004 clauses out of 36015 with flag 655670/731135 289.17/159.72 c cleaning 19006 clauses out of 38016 with flag 736362/751140 297.38/163.60 c cleaning 20002 clauses out of 40005 with flag 819302/772135 305.17/167.59 c cleaning 21000 clauses out of 42005 with flag 907177/794137 313.40/171.69 c cleaning 21991 clauses out of 44002 with flag 990049/817134 323.23/176.21 c cleaning 23001 clauses out of 46011 with flag 1082432/841134 332.44/180.87 c cleaning 24005 clauses out of 48014 with flag 1183299/866138 343.48/185.99 c cleaning 24998 clauses out of 50006 with flag 1283858/892135 353.67/191.03 c cleaning 26002 clauses out of 52008 with flag 1396775/919135 365.39/196.66 c cleaning 27002 clauses out of 54005 with flag 1509516/947134 376.59/202.24 c cleaning 27992 clauses out of 56003 with flag 1625022/976134 388.82/208.08 c cleaning 29006 clauses out of 58012 with flag 1735849/1006135 400.80/214.05 c cleaning 29999 clauses out of 60006 with flag 1865703/1037135 413.80/220.56 c cleaning 31005 clauses out of 62010 with flag 2004753/1069138 427.71/227.17 c cleaning 31996 clauses out of 64001 with flag 2129390/1102134 441.91/234.23 c cleaning 33004 clauses out of 66007 with flag 2272520/1136136 459.25/243.26 c cleaning 34000 clauses out of 68003 with flag 2410075/1171136 474.01/250.59 c cleaning 34995 clauses out of 70002 with flag 2554271/1207135 490.41/258.73 c cleaning 36003 clauses out of 72006 with flag 2691933/1244134 491.01/259.04 c cleaning 0 clauses out of 5541 with flag 0/5563 507.12/266.70 c cleaning 37000 clauses out of 74004 with flag 2838599/1282135 525.82/275.92 c cleaning 38002 clauses out of 76003 with flag 2994853/1321134 544.58/285.11 c cleaning 38998 clauses out of 78002 with flag 3148290/1361135 564.35/294.90 c cleaning 39999 clauses out of 80004 with flag 3315349/1402135 583.30/304.19 c cleaning 41002 clauses out of 82004 with flag 3469376/1444134 602.93/313.72 c cleaning 42002 clauses out of 84003 with flag 3637103/1487135 623.20/323.67 c cleaning 42999 clauses out of 86000 with flag 3774964/1531134 644.82/333.86 c cleaning 44001 clauses out of 88007 with flag 3929166/1576140 665.71/343.82 c cleaning 44997 clauses out of 90003 with flag 4077809/1622137 686.67/353.94 c cleaning 46002 clauses out of 92003 with flag 4228312/1669134 709.46/364.89 c cleaning 46997 clauses out of 94003 with flag 4389647/1717136 730.47/375.38 c cleaning 48003 clauses out of 96005 with flag 4565843/1766135 751.48/385.85 c cleaning 48993 clauses out of 98002 with flag 4733667/1816135 775.02/397.15 c cleaning 49998 clauses out of 100008 with flag 4914111/1867134 796.61/407.93 c cleaning 51001 clauses out of 102010 with flag 5085213/1919134 819.81/419.02 c cleaning 52004 clauses out of 104009 with flag 5252566/1972134 843.21/430.70 c cleaning 53001 clauses out of 106006 with flag 5399882/2026135 865.81/442.08 c cleaning 53997 clauses out of 108005 with flag 5544800/2081135 887.61/452.91 c cleaning 55000 clauses out of 110008 with flag 5707304/2137135 911.21/464.71 c cleaning 56005 clauses out of 112009 with flag 5893641/2194136 938.09/477.45 c cleaning 57001 clauses out of 114003 with flag 6093445/2252135 965.47/491.11 c cleaning 57996 clauses out of 116004 with flag 6294051/2311137 993.09/504.94 c cleaning 58995 clauses out of 118006 with flag 6476985/2371135 1021.08/518.94 c cleaning 60003 clauses out of 120010 with flag 6679076/2432134 1048.10/532.42 c cleaning 61001 clauses out of 122008 with flag 6883636/2494135 1074.08/545.45 c cleaning 61999 clauses out of 124007 with flag 7068366/2557135 1105.30/561.11 c cleaning 62998 clauses out of 126010 with flag 7268864/2621137 1135.65/575.41 c cleaning 64000 clauses out of 128009 with flag 7474197/2686134 1167.49/590.65 c cleaning 65001 clauses out of 130009 with flag 7675663/2752134 1197.69/605.71 c cleaning 65993 clauses out of 132008 with flag 7870730/2819134 1199.69/606.71 c And the winner is solver0 1209.80/616.94 c Got one! Elapsed wall clock time (in seconds):616.813 1209.80/616.94 o 236 1213.38/618.29 c cleaning 38705 clauses out of 77415 with flag 12860/2830534 1215.96/619.55 c cleaning 22350 clauses out of 44709 with flag 32899/2836533 1218.56/620.86 c cleaning 14678 clauses out of 29361 with flag 58369/2843535 1222.57/622.24 c cleaning 11333 clauses out of 22683 with flag 83675/2851535 1225.17/623.57 c cleaning 10169 clauses out of 20349 with flag 114277/2860534 1228.37/625.12 c cleaning 10075 clauses out of 20179 with flag 147446/2870533 1233.35/627.04 c cleaning 10549 clauses out of 21106 with flag 185026/2881535 1236.93/628.88 c cleaning 11276 clauses out of 22556 with flag 225165/2893534 1240.94/630.80 c cleaning 12129 clauses out of 24279 with flag 263006/2906533 1247.30/633.47 c cleaning 13076 clauses out of 26152 with flag 302753/2920535 1253.98/636.28 c cleaning 14030 clauses out of 28075 with flag 355181/2935534 1262.01/640.97 c And the winner is solver1 1262.05/641.46 c Got one! Elapsed wall clock time (in seconds):641.34 1262.05/641.46 o 234 1263.11/642.07 c And the winner is solver0 1263.55/642.47 c Got one! Elapsed wall clock time (in seconds):642.347 1263.55/642.47 o 232 1264.22/642.84 c cleaning 15780 clauses out of 31568 with flag 5594/2953057 1266.22/643.81 c cleaning 10889 clauses out of 21788 with flag 21299/2959057 1266.22/643.84 c And the winner is solver0 1267.13/644.58 c Got one! Elapsed wall clock time (in seconds):644.457 1267.13/644.58 o 231 1268.81/645.42 c cleaning 8031 clauses out of 16066 with flag 13905/2964224 1270.81/646.43 c cleaning 7013 clauses out of 14034 with flag 32096/2970223 1273.32/647.62 c cleaning 7004 clauses out of 14021 with flag 58015/2977223 1275.52/648.79 c cleaning 7506 clauses out of 15015 with flag 89382/2985221 1278.12/650.08 c cleaning 8255 clauses out of 16511 with flag 125964/2994223 1281.46/651.64 c cleaning 9123 clauses out of 18254 with flag 168592/3004221 1284.86/653.33 c cleaning 10060 clauses out of 20133 with flag 211833/3015223 1288.94/655.20 c cleaning 11036 clauses out of 22073 with flag 264896/3027223 1292.94/657.21 c cleaning 12017 clauses out of 24036 with flag 319790/3040222 1296.94/659.24 c cleaning 13006 clauses out of 26018 with flag 375568/3054221 1301.91/661.67 c cleaning 14001 clauses out of 28014 with flag 441445/3069223 1307.11/664.21 c cleaning 14998 clauses out of 30011 with flag 503656/3085221 1312.51/666.97 c cleaning 16002 clauses out of 32014 with flag 577081/3102222 1318.31/669.84 c cleaning 17006 clauses out of 34011 with flag 655657/3120221 1324.92/673.04 c cleaning 18004 clauses out of 36008 with flag 738049/3139224 1333.16/677.04 c cleaning 18998 clauses out of 38001 with flag 826258/3159221 1341.44/681.01 c cleaning 20004 clauses out of 40008 with flag 912535/3180226 1350.13/685.31 c cleaning 20988 clauses out of 41999 with flag 1006855/3202221 1359.20/689.67 c cleaning 22002 clauses out of 44011 with flag 1101688/3225221 1369.15/694.45 c cleaning 23002 clauses out of 46009 with flag 1200538/3249221 1379.20/699.34 c cleaning 23996 clauses out of 48007 with flag 1300316/3274221 1389.87/704.50 c cleaning 25002 clauses out of 50012 with flag 1404352/3300222 1394.93/706.99 c And the winner is solver1 1394.93/707.13 c Got one! Elapsed wall clock time (in seconds):707.006 1394.93/707.13 o 216 1396.67/708.07 c cleaning 21319 clauses out of 42645 with flag 13710/3317857 1398.87/709.12 c cleaning 13660 clauses out of 27327 with flag 30817/3323858 1401.54/710.33 c cleaning 10327 clauses out of 20666 with flag 55159/3330857 1404.14/711.61 c cleaning 9169 clauses out of 18341 with flag 85731/3338859 1406.76/712.93 c cleaning 9085 clauses out of 18171 with flag 123134/3347858 1409.94/714.50 c cleaning 9533 clauses out of 19086 with flag 167373/3357858 1413.16/716.12 c cleaning 10277 clauses out of 20554 with flag 211786/3368859 1416.74/717.98 c cleaning 11138 clauses out of 22275 with flag 264072/3380857 1420.94/720.06 c cleaning 12068 clauses out of 24137 with flag 322339/3393857 1426.12/722.41 c cleaning 13029 clauses out of 26069 with flag 379834/3407857 1430.92/724.85 c cleaning 14018 clauses out of 28042 with flag 439345/3422859 1435.92/727.39 c cleaning 15007 clauses out of 30022 with flag 506874/3438857 1441.95/730.32 c cleaning 16007 clauses out of 32020 with flag 580151/3455862 1447.95/733.38 c cleaning 16998 clauses out of 34009 with flag 655998/3473858 1454.55/736.62 c cleaning 18000 clauses out of 36011 with flag 735400/3492858 1462.53/740.42 c cleaning 19001 clauses out of 38010 with flag 821686/3512857 1469.71/744.06 c cleaning 20003 clauses out of 40010 with flag 915927/3533858 1477.51/748.00 c cleaning 21002 clauses out of 42008 with flag 1009294/3555859 1485.71/752.08 c cleaning 21997 clauses out of 44004 with flag 1104297/3578857 1494.70/756.57 c cleaning 22993 clauses out of 46007 with flag 1205205/3602857 1503.90/761.17 c cleaning 24003 clauses out of 48015 with flag 1314968/3627858 1514.08/766.09 c cleaning 25001 clauses out of 50012 with flag 1420594/3653858 1523.88/770.97 c cleaning 26000 clauses out of 52010 with flag 1531821/3680857 1534.28/776.17 c cleaning 27003 clauses out of 54011 with flag 1646835/3708858 1545.08/781.58 c cleaning 28002 clauses out of 56009 with flag 1763570/3737859 1556.48/787.26 c cleaning 29001 clauses out of 58005 with flag 1879424/3767857 1568.29/793.15 c cleaning 29997 clauses out of 60006 with flag 2006246/3798859 1580.67/799.33 c cleaning 31006 clauses out of 62011 with flag 2139571/3830861 1594.11/806.05 c cleaning 32001 clauses out of 64001 with flag 2278299/3863857 1607.71/812.82 c cleaning 33001 clauses out of 66001 with flag 2430368/3897858 1621.13/819.60 c cleaning 34002 clauses out of 68006 with flag 2577733/3932864 1636.33/826.94 c cleaning 34997 clauses out of 69999 with flag 2721672/3968859 1653.60/835.36 c cleaning 36000 clauses out of 72001 with flag 2878249/4005858 1673.57/844.81 c cleaning 36994 clauses out of 74000 with flag 3036502/4043857 1692.66/854.19 c cleaning 38004 clauses out of 76008 with flag 3198544/4082859 1714.06/864.39 c cleaning 39003 clauses out of 78008 with flag 3364750/4122863 1735.50/874.76 c cleaning 40001 clauses out of 80001 with flag 3536727/4163859 1758.16/885.54 c cleaning 40991 clauses out of 81998 with flag 3719422/4205857 1781.75/896.87 c cleaning 42004 clauses out of 84009 with flag 3903815/4248859 1800.09/905.70 c >>>>>>>>>> Solver number 0 (48 answers) <<<<<<<<<<<<<<<<<< 1800.09/905.70 c starts : 49644 1800.09/905.70 c conflicts : 4284229 1800.09/905.70 c decisions : 8693850 1800.09/905.70 c propagations : 157454130 1800.09/905.70 c inspects : 6532042974 1800.09/905.70 c shortcuts : 0 1800.09/905.70 c learnt literals : 0 1800.09/905.70 c learnt binary clauses : 0 1800.09/905.70 c learnt ternary clauses : 1069 1800.09/905.70 c learnt constraints : 4284229 1800.09/905.70 c ignored constraints : 0 1800.09/905.70 c root simplifications : 0 1800.09/905.70 c removed literals (reason simplification) : 646801381 1800.09/905.70 c reason swapping (by a shorter reason) : 0 1800.09/905.70 c Calls to reduceDB : 168 1800.09/905.70 c Number of update (reduction) of LBD : 146049 1800.09/905.70 c Imported unit clauses : 0 1800.09/905.70 c number of reductions to clauses (during analyze) : 0 1800.09/905.70 c number of learned constraints concerned by reduction : 0 1800.09/905.70 c number of learning phase by resolution : 0 1800.09/905.70 c number of learning phase by cutting planes : 0 1800.09/905.70 c speed (assignments/second) : 792956.1455636916 1800.09/905.70 c non guided choices 671 1800.09/905.73 c learnt constraints type 1800.09/905.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 77375 1800.09/905.73 c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<< 1800.09/905.73 c starts : 88 1800.09/905.73 c conflicts : 7795 1800.09/905.73 c decisions : 19155 1800.09/905.73 c propagations : 319784 1800.09/905.73 c inspects : 355084859 1800.09/905.73 c shortcuts : 0 1800.09/905.73 c learnt literals : 0 1800.09/905.73 c learnt binary clauses : 0 1800.09/905.73 c learnt ternary clauses : 1 1800.09/905.73 c learnt constraints : 7772 1800.09/905.73 c ignored constraints : 0 1800.09/905.73 c root simplifications : 0 1800.09/905.73 c removed literals (reason simplification) : 0 1800.09/905.73 c reason swapping (by a shorter reason) : 0 1800.09/905.73 c Calls to reduceDB : 1 1800.09/905.73 c Number of update (reduction) of LBD : 0 1800.09/905.73 c Imported unit clauses : 0 1800.09/905.73 c number of reductions to clauses (during analyze) : 0 1800.09/905.73 c number of learned constraints concerned by reduction : 0 1800.09/905.73 c number of learning phase by resolution : 0 1800.09/905.73 c number of learning phase by cutting planes : 0 1800.09/905.73 c speed (assignments/second) : 1224.5645072968243 1800.09/905.73 c non guided choices 71 1800.09/905.73 c learnt constraints type 1800.09/905.73 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 5 1800.09/905.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7767 1800.09/905.73 s SATISFIABLE 1800.09/905.73 c Found 52 solution(s) 1800.09/905.74 v -x1 -x2 x3 x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 x12 x13 x14 -x15 x16 -x17 x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 x27 x28 -x29 x30 x31 x32 -x33 x34 -x35 -x36 -x37 x38 x39 -x40 -x41 x42 x43 x44 x45 x46 -x47 x48 x49 x50 x51 x52 x53 -x54 x55 -x56 -x57 x58 x59 -x60 x61 x62 -x63 x64 x65 x66 x67 x68 x69 -x70 -x71 -x72 x73 -x74 -x75 x76 x77 -x78 x79 x80 x81 x82 x83 x84 -x85 x86 x87 x88 x89 x90 x91 -x92 x93 x94 x95 x96 x97 x98 -x99 x100 x101 x102 x103 x104 -x105 x106 x107 x108 x109 x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 x126 x127 -x128 x129 x130 x131 x132 x133 x134 -x135 x136 x137 -x138 x139 x140 x141 x142 x143 x144 -x145 x146 -x147 x148 x149 x150 x151 x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 x165 x166 x167 x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 x252 x253 x254 -x255 -x256 x257 -x258 -x259 x260 -x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 -x326 x327 x328 x329 -x330 -x331 x332 -x333 x334 x335 x336 x337 x338 x339 -x340 x341 x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 x367 x368 x369 x370 x371 x372 x373 x374 -x375 -x376 x377 x378 x379 x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 x424 x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 x435 x436 x437 -x438 x439 -x440 -x441 x442 -x443 x444 -x445 -x446 x447 x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 x466 -x467 x468 x469 x470 x471 x472 x473 -x474 x475 x476 -x477 -x478 -x479 x480 x481 -x482 -x483 x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 x495 x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 x516 x517 -x518 -x519 -x520 x521 x522 x523 x524 x525 -x526 x527 x528 -x529 x530 x531 -x532 -x533 -x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 -x544 x545 x546 x547 x548 -x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 -x561 -x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 -x573 x574 x575 x576 -x577 x578 -x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 -x589 -x590 x591 x592 x593 x594 x595 -x596 -x597 -x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 -x612 x613 x614 x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 x640 x641 -x642 x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 x659 x660 x661 x662 -x663 x664 -x665 -x666 x667 x668 x669 x670 x671 -x672 x673 x674 -x675 -x676 x677 x678 -x679 x680 x681 x682 -x683 -x684 -x685 -x686 x687 -x688 x689 x690 x691 -x692 x693 -x694 -x695 x696 x697 x698 -x699 x700 -x701 x702 x703 x704 -x705 x706 -x707 x708 x709 x710 -x711 -x712 x713 -x714 -x715 x716 x717 x718 x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 x727 x728 x729 x730 x731 -x732 x733 x734 -x735 x736 -x737 -x738 -x739 -x740 x741 x742 x743 -x744 -x745 -x746 x747 x748 x749 -x750 -x751 -x752 x753 x754 -x755 -x756 -x757 x758 x759 -x760 -x761 x762 x763 x764 x765 x766 x767 -x768 -x769 -x770 x771 x772 x773 x774 -x775 -x776 x777 -x778 -x779 -x780 x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 x817 x818 x819 x820 x821 -x822 x823 x824 -x825 x826 -x827 x828 x829 -x830 -x831 -x832 x833 -x834 -x835 -x836 x837 x838 x839 x840 x841 -x842 -x843 -x844 x845 x846 x847 x848 x849 x850 x851 x852 x853 x854 -x855 -x856 -x857 x858 x859 x860 x861 x862 -x863 -x864 x865 x866 x867 -x868 x869 x870 x871 -x872 -x873 x874 -x875 x876 x877 x878 x879 -x880 -x881 -x882 x883 -x884 x885 x886 x887 -x888 -x889 -x890 x891 -x892 x893 x894 x895 -x896 -x897 x898 -x899 x900 x901 -x902 -x903 x904 x905 x906 -x907 -x908 -x909 x910 x911 x912 x913 x914 x915 x916 x917 x918 x919 -x920 x921 x922 x923 x924 x925 x926 x927 x928 x929 x930 x931 x932 x933 x934 -x935 x936 -x937 -x938 x939 x940 x941 x942 x943 x944 x945 x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 x966 x967 -x968 -x969 -x970 -x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 x994 x995 x996 x997 x998 x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 -x1033 x1034 x1035 x1036 x1037 x1038 -x1039 -x1040 -x1041 x1042 x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.09/905.74 c objective function=216 1800.09/905.74 c Total wall clock time (in seconds): 905.613
OK 216
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-4118395-1467226711/watcher-4118395-1467226711 -o /tmp/evaluation-result-4118395-1467226711/solver-4118395-1467226711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118395-1467226711.opb pid=14724 running on 8 cores: 4-7,12-15 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: 3.92 4.18 4.17 4/284 14727 /proc/meminfo: memFree=24348572/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=97336 CPUtime=0 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 1399 0 0 0 0 0 0 0 20 0 2 0 3623946 99672064 1021 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 24334 1021 781 9 0 16774 0 [pid=14727/tid=14728] ppid=14724 vsize=99500 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) R 14724 14727 6721 0 -1 4202560 201 0 0 0 0 0 0 0 20 0 2 0 3623946 101888000 1038 33554432000 1073741824 1073778376 140734879297296 140339570262712 216799473450 0 0 0 16784584 0 0 0 -1 12 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 3.92 4.18 4.17 4/284 14727 /proc/meminfo: memFree=24348572/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=9896436 CPUtime=0.1 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 4457 0 1 0 9 1 0 0 20 0 23 0 3623946 10133950464 6079 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2474109 6079 2125 9 0 2464786 0 [pid=14727/tid=14728] ppid=14724 vsize=9896436 CPUtime=0.07 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) R 14724 14727 6721 0 -1 4202560 2399 0 1 0 7 0 0 0 20 0 23 0 3623946 10133950464 6079 33554432000 1073741824 1073778376 140734879297296 140339570264992 216812020909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9896436 [startup+0.200281 s] /proc/loadavg: 3.92 4.18 4.17 4/284 14727 /proc/meminfo: memFree=24348572/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=9896436 CPUtime=0.25 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 4760 0 1 0 24 1 0 0 20 0 23 0 3623946 10133950464 6843 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2474109 6843 2203 9 0 2464786 0 [pid=14727/tid=14728] ppid=14724 vsize=9896436 CPUtime=0.17 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) R 14724 14727 6721 0 -1 4202560 2424 0 1 0 17 0 0 0 20 0 23 0 3623946 10133950464 6843 33554432000 1073741824 1073778376 140734879297296 140339570264992 140339415414184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9896436 [startup+0.300278 s] /proc/loadavg: 3.92 4.18 4.17 4/284 14727 /proc/meminfo: memFree=24348572/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=9896436 CPUtime=0.47 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 5740 0 1 0 46 1 0 0 20 0 23 0 3623946 10133950464 8426 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2474109 8426 2232 9 0 2464786 0 [pid=14727/tid=14728] ppid=14724 vsize=9896436 CPUtime=0.27 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) R 14724 14727 6721 0 -1 4202560 2426 0 1 0 26 1 0 0 20 0 23 0 3623946 10133950464 8426 33554432000 1073741824 1073778376 140734879297296 140339570257904 140339415471007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9896436 [startup+0.700295 s] /proc/loadavg: 3.92 4.18 4.17 4/284 14727 /proc/meminfo: memFree=24348572/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=10162692 CPUtime=1.04 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 11320 0 1 0 99 5 0 0 20 0 24 0 3623946 10406596608 15243 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2540673 15243 2262 9 0 2531350 0 [pid=14727/tid=14728] ppid=14724 vsize=10162692 CPUtime=0.38 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) S 14724 14727 6721 0 -1 4202560 2466 0 1 0 37 1 0 0 20 0 24 0 3623946 10406596608 15243 33554432000 1073741824 1073778376 140734879297296 140339570267000 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 10162692 [startup+1.50088 s] /proc/loadavg: 3.92 4.18 4.17 4/308 14757 /proc/meminfo: memFree=24281488/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=10162692 CPUtime=1.85 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 18065 0 1 0 177 8 0 0 20 0 27 0 3623946 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2540673 20920 2265 9 0 2531350 0 [pid=14727/tid=14728] ppid=14724 vsize=10162692 CPUtime=0.4 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) S 14724 14727 6721 0 -1 4202560 2468 0 1 0 39 1 0 0 20 0 27 0 3623946 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339570267000 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14730] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14730/stat : 14730 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339542718632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14731] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14731/stat : 14731 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339541666088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14732] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14732/stat : 14732 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339540613544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14733] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14733/stat : 14733 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339539561000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14734] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14734/stat : 14734 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339538508456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14735] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14735/stat : 14735 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339537455912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14736] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14736/stat : 14736 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339536403368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14737] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14737/stat : 14737 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339535350824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14738] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14738/stat : 14738 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339534297256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14739] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14739/stat : 14739 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339404384552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=14727/tid=14740] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14740/stat : 14740 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339403332008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14741] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14741/stat : 14741 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339402279464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14742] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14742/stat : 14742 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3623947 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140339401226920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14743] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14743/stat : 14743 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3623948 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338510797544 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14744] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14744/stat : 14744 (java) S 14724 14727 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 3623949 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338509743864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14745] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14745/stat : 14745 (java) S 14724 14727 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3623949 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338508691208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14746] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14746/stat : 14746 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623952 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338507638928 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14747] ppid=14724 vsize=10162692 CPUtime=0.67 cores=4-7,12-15 /proc/14727/task/14747/stat : 14747 (java) R 14724 14727 6721 0 -1 4202560 7995 0 0 0 66 1 0 0 20 0 27 0 3623952 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338506563544 140339574362701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14748] ppid=14724 vsize=10162692 CPUtime=0.42 cores=4-7,12-15 /proc/14727/task/14748/stat : 14748 (java) R 14724 14727 6721 0 -1 4202560 6236 0 0 0 42 0 0 0 20 0 27 0 3623952 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338505521544 140339577241118 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14749] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14749/stat : 14749 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623952 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338504481400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14750] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14750/stat : 14750 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623952 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338503429064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14754] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14754/stat : 14754 (java) S 14724 14727 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 3623988 10406596608 20920 33554432000 1073741824 1073778376 140734879297296 140338499216168 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 10162692 [startup+3.10107 s] /proc/loadavg: 3.92 4.18 4.17 3/308 14763 /proc/meminfo: memFree=24263128/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=10162692 CPUtime=2.64 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 20401 0 1 0 254 10 0 0 20 0 24 0 3623946 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2540673 25151 2268 9 0 2531350 0 [pid=14727/tid=14728] ppid=14724 vsize=10162692 CPUtime=0.41 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) S 14724 14727 6721 0 -1 4202560 2469 0 1 0 40 1 0 0 20 0 24 0 3623946 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339570267000 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14730] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14730/stat : 14730 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339542718632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14731] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14731/stat : 14731 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339541666088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14732] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14732/stat : 14732 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339540613544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14733] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14733/stat : 14733 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339539561000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14734] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14734/stat : 14734 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339538508456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14735] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14735/stat : 14735 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339537455912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14736] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14736/stat : 14736 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339536403368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14737] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14737/stat : 14737 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339535350824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14738] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14738/stat : 14738 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339534297256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14739] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14739/stat : 14739 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339404384552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=14727/tid=14740] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14740/stat : 14740 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339403332008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14741] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14741/stat : 14741 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339402279464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14742] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14742/stat : 14742 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140339401226920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14743] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14743/stat : 14743 (java) S 14724 14727 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 3623948 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338510797544 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14744] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14744/stat : 14744 (java) S 14724 14727 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 3623949 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338509743864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14745] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14745/stat : 14745 (java) S 14724 14727 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 3623949 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338508691208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14746] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14746/stat : 14746 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623952 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338507638928 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14747] ppid=14724 vsize=10162692 CPUtime=0.9 cores=4-7,12-15 /proc/14727/task/14747/stat : 14747 (java) S 14724 14727 6721 0 -1 4202560 7996 0 0 0 89 1 0 0 20 0 24 0 3623952 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338506586296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14748] ppid=14724 vsize=10162692 CPUtime=0.66 cores=4-7,12-15 /proc/14727/task/14748/stat : 14748 (java) S 14724 14727 6721 0 -1 4202560 8539 0 0 0 65 1 0 0 20 0 24 0 3623952 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338505533752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14749] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14749/stat : 14749 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623952 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338504481400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14750] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14750/stat : 14750 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623952 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338503429064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14754] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14754/stat : 14754 (java) S 14724 14727 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 3623988 10406596608 25151 33554432000 1073741824 1073778376 140734879297296 140338499216168 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.64 Current children cumulated vsize (KiB) 10162692 [startup+6.30098 s] /proc/loadavg: 3.76 4.15 4.16 3/308 14784 /proc/meminfo: memFree=24233720/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=10162692 CPUtime=3.14 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 21309 0 1 0 298 16 0 0 20 0 24 0 3623946 10406596608 34060 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2540673 34060 2277 9 0 2531350 0 [pid=14727/tid=14728] ppid=14724 vsize=10162692 CPUtime=0.43 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) S 14724 14727 6721 0 -1 4202560 2473 0 1 0 41 2 0 0 20 0 24 0 3623946 10406596608 34060 33554432000 1073741824 1073778376 140734879297296 140339570267000 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14730] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14730/stat : 14730 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 34060 33554432000 1073741824 1073778376 140734879297296 140339542718632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14731] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14731/stat : 14731 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 34060 33554432000 1073741824 1073778376 140734879297296 140339541666088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14732] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14732/stat : 14732 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 3623947 10406596608 34060 33554432000 1073741824 1073778376 140734879297296 140339540613544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14733] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 ################ # More data... # ################ [pid=14727/tid=15049] ppid=14724 vsize=10162692 CPUtime=173.67 cores=4-7,12-15 /proc/14727/task/15049/stat : 15049 (java) R 14724 14727 6721 0 -1 4202560 10 0 0 0 17365 2 0 0 20 0 27 0 3694660 10406596608 935442 33554432000 1073741824 1073778376 140734879297296 140338500266720 140339416072455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=15050] ppid=14724 vsize=10162692 CPUtime=173.67 cores=4-7,12-15 /proc/14727/task/15050/stat : 15050 (java) R 14724 14727 6721 0 -1 4202560 15 0 0 0 17365 2 0 0 20 0 27 0 3694660 10406596608 935442 33554432000 1073741824 1073778376 140734879297296 140338499214752 140339416266047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=15051] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/15051/stat : 15051 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3694660 10406596608 935442 33554432000 1073741824 1073778376 140734879297296 140338502374696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1748.74 Current children cumulated vsize (KiB) 10162692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+905.701 s] /proc/loadavg: 4.11 4.19 4.14 5/311 15054 /proc/meminfo: memFree=20364048/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=10162692 CPUtime=1797.6 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 43762 0 1 0 178735 1025 0 0 20 0 27 0 3623946 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2540673 953039 2303 9 0 2531350 0 [pid=14727/tid=14728] ppid=14724 vsize=10162692 CPUtime=0.57 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) S 14724 14727 6721 0 -1 4202560 2501 0 1 0 54 3 0 0 20 0 27 0 3623946 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339570267000 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14730] ppid=14724 vsize=10162692 CPUtime=4.93 cores=4-7,12-15 /proc/14727/task/14730/stat : 14730 (java) S 14724 14727 6721 0 -1 4202560 1033 0 0 0 424 69 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339542718632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14731] ppid=14724 vsize=10162692 CPUtime=4.88 cores=4-7,12-15 /proc/14727/task/14731/stat : 14731 (java) S 14724 14727 6721 0 -1 4202560 1022 0 0 0 412 76 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339541666088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14732] ppid=14724 vsize=10162692 CPUtime=4.47 cores=4-7,12-15 /proc/14727/task/14732/stat : 14732 (java) S 14724 14727 6721 0 -1 4202560 996 0 0 0 387 60 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339540613544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14733] ppid=14724 vsize=10162692 CPUtime=4.59 cores=4-7,12-15 /proc/14727/task/14733/stat : 14733 (java) S 14724 14727 6721 0 -1 4202560 914 0 0 0 389 70 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339539561000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14734] ppid=14724 vsize=10162692 CPUtime=4.71 cores=4-7,12-15 /proc/14727/task/14734/stat : 14734 (java) S 14724 14727 6721 0 -1 4202560 964 0 0 0 408 63 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339538508456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14735] ppid=14724 vsize=10162692 CPUtime=4.99 cores=4-7,12-15 /proc/14727/task/14735/stat : 14735 (java) S 14724 14727 6721 0 -1 4202560 1039 0 0 0 423 76 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339537455912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14736] ppid=14724 vsize=10162692 CPUtime=4.57 cores=4-7,12-15 /proc/14727/task/14736/stat : 14736 (java) S 14724 14727 6721 0 -1 4202560 844 0 0 0 393 64 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339536403368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14737] ppid=14724 vsize=10162692 CPUtime=5.09 cores=4-7,12-15 /proc/14727/task/14737/stat : 14737 (java) S 14724 14727 6721 0 -1 4202560 901 0 0 0 434 75 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339535350824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14738] ppid=14724 vsize=10162692 CPUtime=4.28 cores=4-7,12-15 /proc/14727/task/14738/stat : 14738 (java) S 14724 14727 6721 0 -1 4202560 1034 0 0 0 369 59 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339534297256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=14727/tid=14739] ppid=14724 vsize=10162692 CPUtime=5.15 cores=4-7,12-15 /proc/14727/task/14739/stat : 14739 (java) S 14724 14727 6721 0 -1 4202560 1031 0 0 0 449 66 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339404384552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14740] ppid=14724 vsize=10162692 CPUtime=4.91 cores=4-7,12-15 /proc/14727/task/14740/stat : 14740 (java) S 14724 14727 6721 0 -1 4202560 1086 0 0 0 424 67 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339403332008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14741] ppid=14724 vsize=10162692 CPUtime=4.75 cores=4-7,12-15 /proc/14727/task/14741/stat : 14741 (java) S 14724 14727 6721 0 -1 4202560 1127 0 0 0 400 75 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339402279464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14742] ppid=14724 vsize=10162692 CPUtime=4.8 cores=4-7,12-15 /proc/14727/task/14742/stat : 14742 (java) S 14724 14727 6721 0 -1 4202560 813 0 0 0 416 64 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339401226920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14743] ppid=14724 vsize=10162692 CPUtime=5.92 cores=4-7,12-15 /proc/14727/task/14743/stat : 14743 (java) S 14724 14727 6721 0 -1 4202560 2909 0 0 0 587 5 0 0 20 0 27 0 3623948 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338510797544 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14744] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14744/stat : 14744 (java) S 14724 14727 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3623949 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338509743864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14745] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14745/stat : 14745 (java) S 14724 14727 6721 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 27 0 3623949 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338508691208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14746] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14746/stat : 14746 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338507638928 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14747] ppid=14724 vsize=10162692 CPUtime=2.32 cores=4-7,12-15 /proc/14727/task/14747/stat : 14747 (java) S 14724 14727 6721 0 -1 4202560 11298 0 0 0 231 1 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338506586296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14748] ppid=14724 vsize=10162692 CPUtime=1.25 cores=4-7,12-15 /proc/14727/task/14748/stat : 14748 (java) S 14724 14727 6721 0 -1 4202560 11340 0 0 0 123 2 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338505533752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14749] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14749/stat : 14749 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338504481400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14750] ppid=14724 vsize=10162692 CPUtime=0.36 cores=4-7,12-15 /proc/14727/task/14750/stat : 14750 (java) S 14724 14727 6721 0 -1 4202560 53 0 0 0 16 20 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338503429064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=15043] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/15043/stat : 15043 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3688405 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338501321640 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=14727/tid=15049] ppid=14724 vsize=10162692 CPUtime=196.62 cores=4-7,12-15 /proc/14727/task/15049/stat : 15049 (java) R 14724 14727 6721 0 -1 4202560 12 0 0 0 19660 2 0 0 20 0 27 0 3694660 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338500266720 140339416072044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=15050] ppid=14724 vsize=10162692 CPUtime=196.63 cores=4-7,12-15 /proc/14727/task/15050/stat : 15050 (java) R 14724 14727 6721 0 -1 4202560 17 0 0 0 19661 2 0 0 20 0 27 0 3694660 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338499214944 140339416265104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=15051] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/15051/stat : 15051 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3694660 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338502374696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 10162692 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 14727 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+905.701 s] /proc/loadavg: 4.11 4.19 4.14 5/311 15054 /proc/meminfo: memFree=20364048/32872528 swapFree=8828/8828 [pid=14727] ppid=14724 vsize=10162692 CPUtime=1797.6 cores=4-7,12-15 /proc/14727/stat : 14727 (java) S 14724 14727 6721 0 -1 4202496 43762 0 1 0 178735 1025 0 0 20 0 27 0 3623946 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140734879288432 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 /proc/14727/statm: 2540673 953039 2303 9 0 2531350 0 [pid=14727/tid=14728] ppid=14724 vsize=10162692 CPUtime=0.57 cores=4-7,12-15 /proc/14727/task/14728/stat : 14728 (java) S 14724 14727 6721 0 -1 4202560 2501 0 1 0 54 3 0 0 20 0 27 0 3623946 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339570267000 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14730] ppid=14724 vsize=10162692 CPUtime=4.93 cores=4-7,12-15 /proc/14727/task/14730/stat : 14730 (java) S 14724 14727 6721 0 -1 4202560 1033 0 0 0 424 69 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339542718632 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14731] ppid=14724 vsize=10162692 CPUtime=4.88 cores=4-7,12-15 /proc/14727/task/14731/stat : 14731 (java) S 14724 14727 6721 0 -1 4202560 1022 0 0 0 412 76 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339541666088 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14732] ppid=14724 vsize=10162692 CPUtime=4.47 cores=4-7,12-15 /proc/14727/task/14732/stat : 14732 (java) S 14724 14727 6721 0 -1 4202560 996 0 0 0 387 60 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339540613544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14733] ppid=14724 vsize=10162692 CPUtime=4.59 cores=4-7,12-15 /proc/14727/task/14733/stat : 14733 (java) S 14724 14727 6721 0 -1 4202560 914 0 0 0 389 70 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339539561000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14734] ppid=14724 vsize=10162692 CPUtime=4.71 cores=4-7,12-15 /proc/14727/task/14734/stat : 14734 (java) S 14724 14727 6721 0 -1 4202560 964 0 0 0 408 63 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339538508456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14735] ppid=14724 vsize=10162692 CPUtime=4.99 cores=4-7,12-15 /proc/14727/task/14735/stat : 14735 (java) S 14724 14727 6721 0 -1 4202560 1039 0 0 0 423 76 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339537455912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14736] ppid=14724 vsize=10162692 CPUtime=4.57 cores=4-7,12-15 /proc/14727/task/14736/stat : 14736 (java) S 14724 14727 6721 0 -1 4202560 844 0 0 0 393 64 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339536403368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14737] ppid=14724 vsize=10162692 CPUtime=5.09 cores=4-7,12-15 /proc/14727/task/14737/stat : 14737 (java) S 14724 14727 6721 0 -1 4202560 901 0 0 0 434 75 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339535350824 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=14738] ppid=14724 vsize=10162692 CPUtime=4.28 cores=4-7,12-15 /proc/14727/task/14738/stat : 14738 (java) S 14724 14727 6721 0 -1 4202560 1034 0 0 0 369 59 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339534297256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=14727/tid=14739] ppid=14724 vsize=10162692 CPUtime=5.15 cores=4-7,12-15 /proc/14727/task/14739/stat : 14739 (java) S 14724 14727 6721 0 -1 4202560 1031 0 0 0 449 66 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339404384552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=14740] ppid=14724 vsize=10162692 CPUtime=4.91 cores=4-7,12-15 /proc/14727/task/14740/stat : 14740 (java) S 14724 14727 6721 0 -1 4202560 1086 0 0 0 424 67 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339403332008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14741] ppid=14724 vsize=10162692 CPUtime=4.75 cores=4-7,12-15 /proc/14727/task/14741/stat : 14741 (java) S 14724 14727 6721 0 -1 4202560 1127 0 0 0 400 75 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339402279464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14727/tid=14742] ppid=14724 vsize=10162692 CPUtime=4.8 cores=4-7,12-15 /proc/14727/task/14742/stat : 14742 (java) S 14724 14727 6721 0 -1 4202560 813 0 0 0 416 64 0 0 20 0 27 0 3623947 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140339401226920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14743] ppid=14724 vsize=10162692 CPUtime=5.92 cores=4-7,12-15 /proc/14727/task/14743/stat : 14743 (java) S 14724 14727 6721 0 -1 4202560 2909 0 0 0 587 5 0 0 20 0 27 0 3623948 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338510797544 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14744] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14744/stat : 14744 (java) S 14724 14727 6721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 3623949 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338509743864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14745] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14745/stat : 14745 (java) S 14724 14727 6721 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 27 0 3623949 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338508691208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14746] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14746/stat : 14746 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338507638928 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 [pid=14727/tid=14747] ppid=14724 vsize=10162692 CPUtime=2.32 cores=4-7,12-15 /proc/14727/task/14747/stat : 14747 (java) S 14724 14727 6721 0 -1 4202560 11298 0 0 0 231 1 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338506586296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14727/tid=14748] ppid=14724 vsize=10162692 CPUtime=1.25 cores=4-7,12-15 /proc/14727/task/14748/stat : 14748 (java) S 14724 14727 6721 0 -1 4202560 11340 0 0 0 123 2 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338505533752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0 [pid=14727/tid=14749] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/14749/stat : 14749 (java) S 14724 14727 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338504481400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0 [pid=14727/tid=14750] ppid=14724 vsize=10162692 CPUtime=0.36 cores=4-7,12-15 /proc/14727/task/14750/stat : 14750 (java) S 14724 14727 6721 0 -1 4202560 53 0 0 0 16 20 0 0 20 0 27 0 3623952 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338503429064 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=15043] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/15043/stat : 15043 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3688405 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338501321640 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0 [pid=14727/tid=15049] ppid=14724 vsize=10162692 CPUtime=196.62 cores=4-7,12-15 /proc/14727/task/15049/stat : 15049 (java) R 14724 14727 6721 0 -1 4202560 12 0 0 0 19660 2 0 0 20 0 27 0 3694660 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338500266720 140339416072044 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=14727/tid=15050] ppid=14724 vsize=10162692 CPUtime=196.63 cores=4-7,12-15 /proc/14727/task/15050/stat : 15050 (java) R 14724 14727 6721 0 -1 4202560 17 0 0 0 19661 2 0 0 20 0 27 0 3694660 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338499214944 140339416265104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14727/tid=15051] ppid=14724 vsize=10162692 CPUtime=0 cores=4-7,12-15 /proc/14727/task/15051/stat : 15051 (java) S 14724 14727 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 3694660 10406596608 953039 33554432000 1073741824 1073778376 140734879297296 140338502374696 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 10162692 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14727 and gives # childrusage.ru_utime.tv_sec=1786 # childrusage.ru_utime.tv_usec=240450 # childrusage.ru_stime.tv_sec=10 # childrusage.ru_stime.tv_usec=429414 # CPU time returned by wait4() is 1796.67 # while last known CPU time is 1797.6 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 2.48978 # lost CPU user time (s): 2.68995 # lost CPU system time (s): -0.200001 Real time (s): 905.756 CPU time (s): 1800.09 CPU user time (s): 1790.04 CPU system time (s): 10.05 CPU usage (%): 198.739 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.24 system time used= 10.4294 maximum resident set size= 3887280 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43799 page faults= 1 swaps= 0 block input operations= 0 block output operations= 968 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26720 involuntary context switches= 19285 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.02678 second user time and 9.89349 second system time The end
Begin job on node132 at 2016-06-29 20:58:31 IDJOB=4118395 IDBENCH=111489 IDSOLVER=2543 FILE ID=node132/4118395-1467226711 RUNJOBID= node132-1467209088-6738 PBS_JOBID= 19997577 Free space on /tmp= 71540 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross20-040.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118395-1467226711/watcher-4118395-1467226711 -o /tmp/evaluation-result-4118395-1467226711/solver-4118395-1467226711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6738 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118395-1467226711.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e5f3bc7537b30d0aeeecb02a9fd96be6 RANDOM SEED=1329302522 node132.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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.02 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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 24348976 kB Buffers: 110668 kB Cached: 3845172 kB SwapCached: 0 kB Active: 3863644 kB Inactive: 3854992 kB Active(anon): 3764824 kB Inactive(anon): 572 kB Active(file): 98820 kB Inactive(file): 3854420 kB Unevictable: 8828 kB Mlocked: 8828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 864 kB Writeback: 0 kB AnonPages: 3830692 kB Mapped: 22268 kB Shmem: 216 kB Slab: 631936 kB SReclaimable: 72288 kB SUnreclaim: 559648 kB KernelStack: 2584 kB PageTables: 11780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4359728 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 3737600 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= 71536 MiB End job on node132 at 2016-06-29 21:13:37