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) | 125 | 1800 | 900.057 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb |
| MD5SUM | d6a4c3ac1d0b6ea0e8794ac4dcbcb530 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 117 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 152 |
| Optimality of the best value was proved | NO |
| Number of variables | 1705 |
| Total number of constraints | 98 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 98 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 420 |
| Number of terms in the objective function | 1615 |
| Biggest coefficient in the objective function | 18850 |
| Number of bits for the biggest coefficient in the objective function | 15 |
| Sum of the numbers in the objective function | 525584 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 525584 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/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.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4101522-1466214342.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 0.51/0.31 c ... done. Wall clock time 0.184s. 0.51/0.31 c declared #vars 1705 0.51/0.31 c #constraints 141 0.51/0.31 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.51/0.31 c constraints type 0.51/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3 0.51/0.31 c org.sat4j.specs.Constr$1 => 18 0.51/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 120 0.51/0.31 c 141 constraints processed. 0.51/0.31 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.51/0.31 c constraints type 0.51/0.31 c org.sat4j.specs.Constr$1 => 18 0.51/0.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3 0.51/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 120 0.51/0.31 c 141 constraints processed. 0.51/0.31 c objective function length is 1615 literals 3.24/1.00 c cleaning 2501 clauses out of 5002 with flag 13449/5002 3.82/1.28 c cleaning 4242 clauses out of 8499 with flag 32849/11000 4.53/1.56 c cleaning 5626 clauses out of 11257 with flag 52451/18000 5.78/2.20 c cleaning 6812 clauses out of 13631 with flag 74890/26000 7.06/2.74 c cleaning 7909 clauses out of 15826 with flag 102246/35007 7.90/3.19 c cleaning 8951 clauses out of 17910 with flag 133358/45000 9.00/3.69 c cleaning 9981 clauses out of 19965 with flag 158514/56006 10.71/4.47 c cleaning 10987 clauses out of 21982 with flag 194503/68005 12.14/5.15 c cleaning 11981 clauses out of 23990 with flag 226244/81000 13.54/5.88 c cleaning 12993 clauses out of 26009 with flag 270483/95000 14.94/6.59 c cleaning 13992 clauses out of 28016 with flag 315407/110000 16.41/7.28 c cleaning 15005 clauses out of 30024 with flag 357380/126002 18.21/8.18 c cleaning 15998 clauses out of 32017 with flag 394870/143000 22.87/10.31 c cleaning 17000 clauses out of 34019 with flag 431988/161000 27.55/12.67 c cleaning 18000 clauses out of 36020 with flag 470904/180001 30.15/13.92 c cleaning 19000 clauses out of 38019 with flag 517702/200000 31.16/14.47 c And the winner is solver1 31.24/14.83 c SATISFIABLE 31.24/14.83 c OPTIMIZING... 31.24/14.83 c Got one! Elapsed wall clock time (in seconds):14.708 31.24/14.83 o 158 32.34/15.39 c cleaning 16464 clauses out of 32940 with flag 14375/213923 33.56/15.76 c cleaning 11225 clauses out of 22474 with flag 31513/219921 34.66/16.27 c cleaning 9119 clauses out of 18254 with flag 52375/226926 35.48/16.69 c cleaning 8561 clauses out of 17129 with flag 76994/234921 36.49/17.15 c cleaning 8786 clauses out of 17571 with flag 103064/243924 37.70/17.72 c cleaning 9386 clauses out of 18781 with flag 132551/253920 39.11/18.43 c cleaning 10193 clauses out of 20398 with flag 164032/264923 40.51/19.15 c cleaning 11097 clauses out of 22203 with flag 198269/276921 41.93/19.90 c cleaning 12044 clauses out of 24105 with flag 235061/289920 43.71/20.79 c cleaning 13020 clauses out of 26061 with flag 274590/303920 45.91/21.80 c cleaning 14017 clauses out of 28045 with flag 316490/318924 48.10/22.92 c cleaning 15011 clauses out of 30024 with flag 360077/334920 50.31/24.08 c cleaning 16005 clauses out of 32017 with flag 407213/351924 52.80/25.24 c cleaning 17003 clauses out of 34008 with flag 454825/369920 56.08/26.80 c cleaning 18004 clauses out of 36010 with flag 508988/388925 58.88/28.26 c cleaning 18993 clauses out of 38001 with flag 563264/408920 62.10/29.82 c cleaning 19996 clauses out of 40008 with flag 623799/429920 65.49/31.55 c cleaning 21002 clauses out of 42012 with flag 684028/451920 69.61/33.53 c cleaning 22003 clauses out of 44012 with flag 747345/474922 73.21/35.36 c cleaning 22993 clauses out of 46011 with flag 806557/498924 78.00/37.78 c cleaning 23990 clauses out of 48013 with flag 876568/523920 81.81/39.65 c cleaning 25008 clauses out of 50023 with flag 950398/549920 86.60/42.10 c cleaning 25997 clauses out of 52016 with flag 1012286/576921 90.81/44.12 c cleaning 27005 clauses out of 54018 with flag 1082377/604920 95.21/46.38 c And the winner is solver1 95.24/46.84 c Got one! Elapsed wall clock time (in seconds):46.718 95.24/46.84 o 154 97.55/47.90 c cleaning 28094 clauses out of 56205 with flag 15203/634112 98.37/48.36 c cleaning 17041 clauses out of 34110 with flag 32160/640111 99.17/48.78 c cleaning 12035 clauses out of 24069 with flag 52572/647111 99.97/49.20 c cleaning 10014 clauses out of 20041 with flag 75608/655118 100.99/49.69 c cleaning 9504 clauses out of 19020 with flag 101148/664111 102.17/50.20 c cleaning 9753 clauses out of 19517 with flag 130440/674112 103.37/50.85 c cleaning 10372 clauses out of 20764 with flag 160727/685112 104.77/51.53 c cleaning 11188 clauses out of 22389 with flag 196252/697111 106.17/52.28 c cleaning 12104 clauses out of 24207 with flag 232239/710117 107.97/53.12 c cleaning 13041 clauses out of 26098 with flag 270973/724112 110.17/54.28 c cleaning 14019 clauses out of 28056 with flag 315250/739111 112.17/55.26 c cleaning 15018 clauses out of 30038 with flag 358778/755112 114.37/56.33 c cleaning 16011 clauses out of 32021 with flag 406741/772113 116.97/57.60 c cleaning 16998 clauses out of 34008 with flag 458279/790111 119.57/58.96 c cleaning 17999 clauses out of 36010 with flag 513986/809111 122.57/60.44 c cleaning 19002 clauses out of 38015 with flag 571835/829115 125.89/62.09 c cleaning 20000 clauses out of 40011 with flag 631653/850114 129.50/63.82 c cleaning 21007 clauses out of 42013 with flag 695665/872116 133.94/66.05 c cleaning 21994 clauses out of 44001 with flag 762504/895111 138.13/68.11 c cleaning 22998 clauses out of 46007 with flag 828113/919111 139.13/68.67 c And the winner is solver1 139.16/68.85 c Got one! Elapsed wall clock time (in seconds):68.73 139.16/68.85 o 151 139.70/69.19 c cleaning 17702 clauses out of 35411 with flag 18423/931515 140.50/69.55 c cleaning 11844 clauses out of 23708 with flag 35141/937514 141.10/69.87 c cleaning 9417 clauses out of 18865 with flag 55612/944515 142.10/70.38 c cleaning 8716 clauses out of 17447 with flag 79560/952514 143.10/70.80 c cleaning 8865 clauses out of 17731 with flag 104247/961514 144.10/71.37 c cleaning 9431 clauses out of 18877 with flag 132769/971525 145.50/72.01 c cleaning 10218 clauses out of 20437 with flag 163372/982516 146.92/72.72 c cleaning 11099 clauses out of 22217 with flag 197742/994514 148.70/73.64 c cleaning 12054 clauses out of 24119 with flag 238734/1007515 150.79/74.66 c cleaning 13032 clauses out of 26065 with flag 280425/1021515 152.79/75.60 c cleaning 14011 clauses out of 28033 with flag 323235/1036515 155.19/76.82 c cleaning 15011 clauses out of 30021 with flag 367829/1052514 158.19/78.32 c cleaning 16005 clauses out of 32011 with flag 416401/1069515 160.79/79.61 c cleaning 16998 clauses out of 34005 with flag 467833/1087514 163.79/81.13 c cleaning 17992 clauses out of 36007 with flag 521793/1106514 167.59/83.00 c cleaning 18996 clauses out of 38015 with flag 580394/1126514 171.20/84.82 c cleaning 20000 clauses out of 40019 with flag 640091/1147514 175.19/86.90 c cleaning 21000 clauses out of 42020 with flag 702335/1169515 179.66/89.06 c cleaning 21991 clauses out of 44019 with flag 771379/1192514 184.05/91.25 c cleaning 23013 clauses out of 46029 with flag 839526/1216515 189.64/94.03 c cleaning 24005 clauses out of 48015 with flag 911786/1241514 194.24/96.36 c cleaning 24999 clauses out of 50010 with flag 983103/1267514 199.44/99.00 c cleaning 26007 clauses out of 52015 with flag 1061674/1294518 201.64/100.08 c And the winner is solver1 201.66/100.36 c Got one! Elapsed wall clock time (in seconds):100.239 201.66/100.36 o 150 202.55/100.89 c cleaning 22423 clauses out of 44850 with flag 17638/1313361 203.36/101.30 c cleaning 14201 clauses out of 28422 with flag 35388/1319356 204.15/101.69 c cleaning 10602 clauses out of 21221 with flag 55933/1326356 205.15/102.20 c cleaning 9299 clauses out of 18620 with flag 81063/1334357 206.41/102.70 c cleaning 9160 clauses out of 18320 with flag 106392/1343356 207.21/103.19 c cleaning 9570 clauses out of 19160 with flag 133317/1353356 208.61/103.83 c cleaning 10282 clauses out of 20590 with flag 167981/1364356 210.03/104.51 c cleaning 11146 clauses out of 22310 with flag 202117/1376358 211.41/105.25 c cleaning 12081 clauses out of 24162 with flag 238579/1389356 213.21/106.12 c cleaning 13028 clauses out of 26082 with flag 277927/1403357 215.41/107.29 c cleaning 14025 clauses out of 28057 with flag 322755/1418361 217.81/108.40 c cleaning 15009 clauses out of 30029 with flag 370564/1434358 220.01/109.59 c cleaning 15998 clauses out of 32019 with flag 420633/1451357 223.01/111.07 c cleaning 17011 clauses out of 34030 with flag 472140/1469366 225.81/112.49 c And the winner is solver1 225.96/112.87 c Got one! Elapsed wall clock time (in seconds):112.745 225.96/112.87 o 139 226.61/113.23 c cleaning 20342 clauses out of 40684 with flag 15586/1493031 227.21/113.58 c cleaning 13162 clauses out of 26342 with flag 33403/1499031 227.80/113.89 c cleaning 10085 clauses out of 20180 with flag 53783/1506031 228.60/114.28 c cleaning 9034 clauses out of 18094 with flag 77165/1514030 229.60/114.73 c cleaning 9025 clauses out of 18061 with flag 101862/1523031 230.60/115.21 c cleaning 9511 clauses out of 19036 with flag 130211/1533031 231.60/115.73 c cleaning 10247 clauses out of 20524 with flag 161658/1544030 232.80/116.37 c cleaning 11137 clauses out of 22281 with flag 194535/1556034 234.48/117.13 c cleaning 12057 clauses out of 24140 with flag 232080/1569030 236.28/118.02 c cleaning 13034 clauses out of 26084 with flag 274240/1583031 238.09/118.96 c cleaning 14019 clauses out of 28052 with flag 317867/1598033 240.09/119.98 c cleaning 15007 clauses out of 30032 with flag 363369/1614032 242.68/121.27 c cleaning 16003 clauses out of 32023 with flag 411219/1631030 245.28/122.55 c cleaning 17011 clauses out of 34022 with flag 463212/1649032 248.68/124.21 c cleaning 17998 clauses out of 36009 with flag 519696/1668030 251.68/125.76 c cleaning 18999 clauses out of 38012 with flag 576166/1688031 254.68/127.27 c cleaning 19993 clauses out of 40013 with flag 634321/1709031 257.89/128.81 c cleaning 20997 clauses out of 42020 with flag 695291/1731031 261.77/130.76 c cleaning 22001 clauses out of 44023 with flag 758835/1754031 267.09/133.33 c cleaning 23008 clauses out of 46022 with flag 836798/1778031 272.69/136.18 c cleaning 24008 clauses out of 48015 with flag 916459/1803032 273.50/136.57 c And the winner is solver1 273.52/136.88 c Got one! Elapsed wall clock time (in seconds):136.751 273.52/136.88 o 136 274.17/137.23 c cleaning 17508 clauses out of 35021 with flag 15428/1814046 274.79/137.54 c cleaning 11746 clauses out of 23513 with flag 33891/1820046 275.38/137.86 c cleaning 9381 clauses out of 18768 with flag 54171/1827047 276.38/138.30 c cleaning 8686 clauses out of 17387 with flag 75683/1835049 277.78/139.09 c cleaning 8837 clauses out of 17698 with flag 99874/1844046 278.78/139.56 c cleaning 9425 clauses out of 18864 with flag 127606/1854049 279.78/140.02 c cleaning 10212 clauses out of 20438 with flag 157810/1865048 280.98/140.67 c cleaning 11106 clauses out of 22229 with flag 189322/1877051 282.58/141.42 c cleaning 12053 clauses out of 24119 with flag 224911/1890047 283.98/142.19 c cleaning 13033 clauses out of 26073 with flag 261985/1904054 285.79/143.04 c cleaning 14012 clauses out of 28033 with flag 301868/1919047 287.78/144.00 c cleaning 15002 clauses out of 30021 with flag 345440/1935047 289.98/145.15 c cleaning 16012 clauses out of 32027 with flag 392421/1952055 292.70/146.42 c cleaning 17000 clauses out of 34007 with flag 443796/1970047 295.48/147.82 c cleaning 17991 clauses out of 36006 with flag 497477/1989046 298.08/149.16 c cleaning 19005 clauses out of 38015 with flag 552399/2009046 302.68/151.40 c cleaning 20000 clauses out of 40010 with flag 619508/2030046 306.27/153.20 c cleaning 21004 clauses out of 42011 with flag 685003/2052047 310.09/155.16 c cleaning 21998 clauses out of 44007 with flag 753283/2075047 314.08/157.11 c cleaning 23005 clauses out of 46009 with flag 823201/2099047 317.98/159.09 c cleaning 23998 clauses out of 48004 with flag 894523/2124047 322.78/161.40 c cleaning 24992 clauses out of 50007 with flag 964426/2150048 327.38/163.79 c cleaning 25999 clauses out of 52013 with flag 1041839/2177046 332.57/166.36 c cleaning 27003 clauses out of 54015 with flag 1124435/2205047 332.57/166.38 c And the winner is solver1 332.57/166.38 c Got one! Elapsed wall clock time (in seconds):166.259 332.57/166.38 o 134 333.07/166.66 c cleaning 16144 clauses out of 32296 with flag 13741/2210331 333.67/166.93 c cleaning 11062 clauses out of 22150 with flag 30922/2216329 334.49/167.30 c cleaning 9032 clauses out of 18088 with flag 51671/2223329 335.07/167.65 c cleaning 8525 clauses out of 17058 with flag 74904/2231331 335.67/168.00 c cleaning 8750 clauses out of 17532 with flag 98428/2240330 336.49/168.37 c cleaning 9385 clauses out of 18781 with flag 123889/2250329 337.67/168.97 c cleaning 10197 clauses out of 20399 with flag 157719/2261332 339.15/169.65 c cleaning 11095 clauses out of 22199 with flag 189416/2273329 340.55/170.35 c cleaning 12052 clauses out of 24110 with flag 224995/2286335 342.35/171.22 c cleaning 13022 clauses out of 26053 with flag 262844/2300330 343.55/171.80 c And the winner is solver1 343.55/171.89 c Got one! Elapsed wall clock time (in seconds):171.763 343.55/171.89 o 131 344.16/172.28 c cleaning 14016 clauses out of 28048 with flag 13867/2315347 344.76/172.56 c cleaning 10013 clauses out of 20032 with flag 29876/2321347 345.38/172.88 c cleaning 8500 clauses out of 17020 with flag 49217/2328348 346.16/173.29 c cleaning 8250 clauses out of 16519 with flag 72051/2336347 346.96/173.69 c cleaning 8625 clauses out of 17269 with flag 98275/2345347 347.76/174.06 c cleaning 9319 clauses out of 18645 with flag 124160/2355348 348.96/174.66 c cleaning 10154 clauses out of 20325 with flag 154444/2366347 350.36/175.30 c cleaning 11079 clauses out of 22173 with flag 189124/2378349 351.78/176.10 c cleaning 12041 clauses out of 24093 with flag 224738/2391348 353.36/176.88 c cleaning 13022 clauses out of 26051 with flag 264382/2405347 355.16/177.78 c cleaning 14004 clauses out of 28033 with flag 304824/2420351 357.36/178.87 c cleaning 15001 clauses out of 30025 with flag 351574/2436347 359.36/179.89 c cleaning 16004 clauses out of 32025 with flag 398327/2453348 361.83/181.05 c cleaning 16998 clauses out of 34020 with flag 448184/2471347 364.83/182.51 c cleaning 18011 clauses out of 36022 with flag 500912/2490347 368.03/184.16 c cleaning 19009 clauses out of 38017 with flag 557112/2510353 371.03/185.67 c cleaning 19992 clauses out of 40004 with flag 614484/2531349 374.83/187.52 c cleaning 20996 clauses out of 42012 with flag 675081/2553349 377.43/188.83 c cleaning 22008 clauses out of 44020 with flag 736848/2576353 381.22/190.77 c cleaning 23001 clauses out of 46008 with flag 803146/2600349 386.09/193.18 c cleaning 24005 clauses out of 48009 with flag 875650/2625351 391.50/195.82 c cleaning 24994 clauses out of 50000 with flag 950415/2651347 396.89/198.52 c cleaning 25992 clauses out of 52006 with flag 1024876/2678347 401.89/201.00 c cleaning 26999 clauses out of 54014 with flag 1103429/2706347 407.34/203.76 c cleaning 27998 clauses out of 56019 with flag 1185026/2735351 413.55/206.80 c cleaning 29001 clauses out of 58018 with flag 1269937/2765348 419.13/209.70 c cleaning 30003 clauses out of 60017 with flag 1355017/2796348 426.13/213.15 c cleaning 31007 clauses out of 62013 with flag 1446675/2828347 433.38/216.71 c cleaning 31996 clauses out of 64010 with flag 1539236/2861351 440.56/220.38 c cleaning 33003 clauses out of 66014 with flag 1636399/2895351 449.58/225.18 c cleaning 33992 clauses out of 68007 with flag 1735778/2930347 457.19/228.97 c cleaning 34996 clauses out of 70018 with flag 1838092/2966351 463.59/232.17 c And the winner is solver1 463.59/232.65 c Got one! Elapsed wall clock time (in seconds):232.521 463.59/232.65 o 130 465.69/233.79 c cleaning 34172 clauses out of 68344 with flag 14168/2999673 466.49/234.16 c cleaning 20080 clauses out of 40172 with flag 30632/3005673 467.32/234.52 c cleaning 13538 clauses out of 27093 with flag 49713/3012674 467.91/234.88 c cleaning 10773 clauses out of 21555 with flag 74143/3020674 468.91/235.33 c cleaning 9892 clauses out of 19784 with flag 101524/3029676 470.12/235.91 c cleaning 9945 clauses out of 19889 with flag 132653/3039673 471.53/236.66 c cleaning 10466 clauses out of 20944 with flag 165226/3050673 472.72/237.24 c cleaning 11227 clauses out of 22478 with flag 198177/3062673 474.52/238.13 c cleaning 12127 clauses out of 24253 with flag 235299/3075675 476.31/239.03 c cleaning 13061 clauses out of 26125 with flag 273497/3089674 478.52/240.14 c cleaning 14026 clauses out of 28064 with flag 315048/3104674 480.92/241.37 c cleaning 15018 clauses out of 30039 with flag 361211/3120675 483.32/242.57 c cleaning 16010 clauses out of 32019 with flag 407475/3137673 485.72/243.75 c cleaning 17004 clauses out of 34009 with flag 456167/3155673 488.37/245.08 c cleaning 17997 clauses out of 36008 with flag 506903/3174676 491.39/246.59 c cleaning 18999 clauses out of 38008 with flag 568492/3194673 494.57/248.19 c cleaning 20005 clauses out of 40012 with flag 625453/3215676 498.17/249.94 c cleaning 20994 clauses out of 42006 with flag 687760/3237675 501.97/251.85 c cleaning 21994 clauses out of 44011 with flag 750214/3260674 506.65/254.14 c cleaning 23001 clauses out of 46020 with flag 818221/3284677 511.25/256.48 c cleaning 24004 clauses out of 48016 with flag 890281/3309674 515.84/258.72 c cleaning 24999 clauses out of 50011 with flag 962908/3335673 521.05/261.33 c cleaning 26002 clauses out of 52014 with flag 1035549/3362675 526.75/264.16 c cleaning 26987 clauses out of 54010 with flag 1114808/3390673 533.73/267.62 c cleaning 28000 clauses out of 56023 with flag 1196600/3419673 536.33/268.96 c And the winner is solver1 536.33/269.15 c Got one! Elapsed wall clock time (in seconds):269.029 536.33/269.15 o 128 537.41/269.72 c cleaning 25605 clauses out of 51230 with flag 13700/3442880 538.61/270.32 c cleaning 15807 clauses out of 31626 with flag 32607/3448881 539.23/270.65 c cleaning 11406 clauses out of 22819 with flag 51024/3455881 540.05/271.04 c cleaning 9706 clauses out of 19414 with flag 72465/3463882 541.05/271.51 c cleaning 9348 clauses out of 18706 with flag 99501/3472880 542.05/272.03 c cleaning 9674 clauses out of 19358 with flag 126002/3482880 543.25/272.64 c cleaning 10339 clauses out of 20684 with flag 155724/3493880 544.65/273.36 c cleaning 11164 clauses out of 22346 with flag 187776/3505881 546.26/274.14 c cleaning 12091 clauses out of 24181 with flag 221517/3518880 548.08/275.04 c cleaning 13041 clauses out of 26091 with flag 261040/3532881 550.06/276.02 c cleaning 14021 clauses out of 28050 with flag 304107/3547881 552.48/277.25 c cleaning 15011 clauses out of 30034 with flag 347087/3563886 555.06/278.51 c cleaning 15997 clauses out of 32016 with flag 391856/3580880 558.10/280.03 c cleaning 17002 clauses out of 34020 with flag 441891/3598881 561.31/281.61 c cleaning 18000 clauses out of 36017 with flag 494281/3617880 564.69/283.37 c cleaning 18995 clauses out of 38017 with flag 549521/3637880 568.69/285.37 c cleaning 19998 clauses out of 40022 with flag 608211/3658880 572.93/287.47 c cleaning 21014 clauses out of 42031 with flag 668424/3680887 576.94/289.46 c cleaning 21998 clauses out of 44012 with flag 734345/3703882 581.92/291.96 c cleaning 23007 clauses out of 46018 with flag 802215/3727886 588.55/295.22 c cleaning 23988 clauses out of 48007 with flag 871552/3752882 593.95/297.92 c cleaning 24997 clauses out of 50018 with flag 942472/3778881 599.99/300.92 c cleaning 26005 clauses out of 52020 with flag 1016531/3805880 607.81/304.88 c cleaning 27005 clauses out of 54015 with flag 1099171/3833880 613.66/307.77 c And the winner is solver1 613.66/308.16 c Got one! Elapsed wall clock time (in seconds):308.037 613.66/308.16 o 127 614.92/308.85 c cleaning 29738 clauses out of 59481 with flag 13959/3866351 615.74/309.24 c cleaning 17866 clauses out of 35743 with flag 29827/3872351 616.52/309.62 c cleaning 12429 clauses out of 24876 with flag 49918/3879350 617.52/310.12 c cleaning 10217 clauses out of 20447 with flag 73327/3887350 618.32/310.56 c cleaning 9607 clauses out of 19230 with flag 99710/3896350 619.32/311.04 c cleaning 9806 clauses out of 19623 with flag 127551/3906350 620.92/311.83 c cleaning 10407 clauses out of 20817 with flag 158654/3917350 622.33/312.56 c cleaning 11206 clauses out of 22416 with flag 193273/3929356 623.92/313.34 c cleaning 12101 clauses out of 24205 with flag 228828/3942351 625.54/314.14 c cleaning 13037 clauses out of 26103 with flag 265265/3956350 627.34/315.05 c cleaning 14022 clauses out of 28066 with flag 305564/3971350 629.73/316.22 c cleaning 15017 clauses out of 30044 with flag 350695/3987350 632.73/317.70 c cleaning 16010 clauses out of 32033 with flag 397796/4004356 635.13/318.98 c cleaning 17004 clauses out of 34017 with flag 447270/4022350 638.17/320.48 c cleaning 17993 clauses out of 36013 with flag 499611/4041350 641.37/322.02 c cleaning 19008 clauses out of 38020 with flag 553318/4061350 644.57/323.67 c cleaning 20002 clauses out of 40014 with flag 611544/4082352 647.97/325.33 c cleaning 20999 clauses out of 42011 with flag 669453/4104351 651.37/327.01 c cleaning 21997 clauses out of 44011 with flag 733057/4127350 656.41/329.52 c cleaning 23000 clauses out of 46014 with flag 799567/4151350 660.61/331.67 c cleaning 24012 clauses out of 48023 with flag 867789/4176359 665.66/334.15 c cleaning 25001 clauses out of 50004 with flag 936255/4202352 671.26/336.98 c cleaning 25985 clauses out of 52001 with flag 1009328/4229350 677.30/339.91 c cleaning 27002 clauses out of 54016 with flag 1087074/4257350 683.28/342.93 c cleaning 27996 clauses out of 56014 with flag 1170659/4286350 689.72/346.18 c cleaning 29008 clauses out of 58025 with flag 1255933/4316357 697.76/350.11 c cleaning 30003 clauses out of 60018 with flag 1343764/4347358 705.76/354.12 c cleaning 30997 clauses out of 62007 with flag 1432346/4379350 713.43/357.96 c cleaning 31996 clauses out of 64010 with flag 1525921/4412350 721.27/361.85 c cleaning 33000 clauses out of 66014 with flag 1617945/4446350 732.11/367.26 c cleaning 34004 clauses out of 68014 with flag 1717008/4481350 741.39/371.86 c cleaning 35003 clauses out of 70011 with flag 1814427/4517351 742.77/372.50 c And the winner is solver1 742.77/372.72 c Got one! Elapsed wall clock time (in seconds):372.6 742.77/372.72 o 126 743.71/373.28 c cleaning 24856 clauses out of 49731 with flag 14148/4532075 744.51/373.61 c cleaning 15431 clauses out of 30875 with flag 30200/4538075 745.11/373.96 c cleaning 11218 clauses out of 22444 with flag 49434/4545075 745.95/374.37 c cleaning 9607 clauses out of 19228 with flag 70409/4553077 746.94/374.81 c cleaning 9300 clauses out of 18619 with flag 93994/4562075 747.95/375.30 c cleaning 9651 clauses out of 19324 with flag 120962/4572080 748.94/375.86 c cleaning 10333 clauses out of 20669 with flag 151307/4583076 750.34/376.56 c cleaning 11166 clauses out of 22339 with flag 182892/4595079 751.97/377.40 c cleaning 12080 clauses out of 24169 with flag 218362/4608075 753.97/378.35 c cleaning 13039 clauses out of 26091 with flag 256811/4622077 755.97/379.30 c cleaning 14025 clauses out of 28051 with flag 301246/4637076 757.97/380.38 c cleaning 15011 clauses out of 30026 with flag 343553/4653076 760.37/381.56 c cleaning 16000 clauses out of 32018 with flag 390439/4670079 763.02/382.82 c cleaning 17002 clauses out of 34014 with flag 438945/4688075 766.00/384.31 c cleaning 18002 clauses out of 36013 with flag 491074/4707076 769.25/385.90 c cleaning 18997 clauses out of 38012 with flag 545921/4727077 772.84/387.77 c cleaning 19995 clauses out of 40013 with flag 602725/4748075 776.66/389.67 c cleaning 20994 clauses out of 42019 with flag 662096/4770076 780.68/391.67 c cleaning 22008 clauses out of 44024 with flag 726185/4793075 785.31/393.91 c cleaning 23001 clauses out of 46016 with flag 794930/4817075 790.72/396.61 c cleaning 24003 clauses out of 48016 with flag 867310/4842076 795.35/398.93 c cleaning 25003 clauses out of 50011 with flag 936527/4868075 802.00/402.24 c cleaning 25998 clauses out of 52008 with flag 1013437/4895075 808.01/405.21 c cleaning 27000 clauses out of 54010 with flag 1090367/4923075 814.24/408.32 c cleaning 27994 clauses out of 56010 with flag 1172554/4952075 821.27/411.81 c cleaning 28997 clauses out of 58016 with flag 1254680/4982075 827.89/415.15 c cleaning 29995 clauses out of 60020 with flag 1341177/5013076 835.54/418.93 c cleaning 31005 clauses out of 62026 with flag 1430804/5045077 843.18/422.76 c cleaning 32012 clauses out of 64024 with flag 1521870/5078080 852.44/427.36 c cleaning 33002 clauses out of 66008 with flag 1618805/5112076 861.47/431.87 c cleaning 33997 clauses out of 68005 with flag 1713476/5147075 870.94/436.59 c cleaning 34999 clauses out of 70008 with flag 1815868/5183075 881.13/441.67 c cleaning 35999 clauses out of 72011 with flag 1917147/5220077 890.95/446.55 c cleaning 37002 clauses out of 74010 with flag 2021666/5258075 899.41/450.76 c cleaning 38004 clauses out of 76017 with flag 2126528/5297084 910.63/456.32 c cleaning 39004 clauses out of 78008 with flag 2244918/5337079 921.09/461.57 c cleaning 39991 clauses out of 80001 with flag 2361739/5378076 934.38/468.57 c cleaning 41001 clauses out of 82010 with flag 2481504/5420076 948.46/475.57 c cleaning 42000 clauses out of 84011 with flag 2601738/5463078 961.49/482.05 c cleaning 43007 clauses out of 86013 with flag 2727071/5507080 974.15/488.39 c cleaning 43993 clauses out of 87998 with flag 2856703/5552075 989.78/496.15 c cleaning 44993 clauses out of 90005 with flag 2987058/5598075 1005.62/504.01 c cleaning 46006 clauses out of 92012 with flag 3124780/5645075 1023.71/513.10 c cleaning 47005 clauses out of 94009 with flag 3262948/5693078 1037.54/519.91 c cleaning 47990 clauses out of 96001 with flag 3401967/5742075 1055.03/528.64 c cleaning 48993 clauses out of 98011 with flag 3557144/5792075 1074.18/538.15 c cleaning 50006 clauses out of 100024 with flag 3705496/5843081 1091.25/546.63 c cleaning 51006 clauses out of 102012 with flag 3855805/5895075 1094.85/548.41 c And the winner is solver1 1094.85/548.51 c Got one! Elapsed wall clock time (in seconds):548.387 1094.85/548.51 o 125 1096.25/549.27 c cleaning 38113 clauses out of 76232 with flag 16900/5920301 1097.05/549.69 c cleaning 22060 clauses out of 44120 with flag 35945/5926302 1097.86/550.07 c cleaning 14512 clauses out of 29053 with flag 55756/5933295 1098.65/550.47 c cleaning 11263 clauses out of 22543 with flag 79771/5941297 1099.45/550.89 c cleaning 10135 clauses out of 20278 with flag 103434/5950295 1100.65/551.41 c cleaning 10070 clauses out of 20143 with flag 130219/5960295 1101.84/552.02 c cleaning 10528 clauses out of 21074 with flag 159588/5971296 1103.28/552.76 c cleaning 11259 clauses out of 22545 with flag 191088/5983295 1104.88/553.58 c cleaning 12141 clauses out of 24286 with flag 226744/5996295 1106.69/554.47 c cleaning 13066 clauses out of 26145 with flag 264977/6010295 1108.48/555.37 c cleaning 14033 clauses out of 28079 with flag 306121/6025295 1110.92/556.56 c cleaning 15015 clauses out of 30046 with flag 350589/6041295 1113.34/557.74 c cleaning 16015 clauses out of 32031 with flag 398110/6058295 1115.92/559.02 c cleaning 17001 clauses out of 34016 with flag 446101/6076295 1119.14/560.62 c cleaning 18005 clauses out of 36016 with flag 498451/6095296 1121.94/562.05 c cleaning 18998 clauses out of 38012 with flag 553075/6115297 1125.14/563.65 c cleaning 20003 clauses out of 40014 with flag 611049/6136297 1129.18/565.65 c cleaning 20995 clauses out of 42009 with flag 670429/6158295 1133.19/567.67 c cleaning 22001 clauses out of 44014 with flag 735529/6181295 1137.42/569.71 c cleaning 23001 clauses out of 46017 with flag 802060/6205299 1141.65/571.89 c cleaning 24007 clauses out of 48014 with flag 877354/6230297 1147.25/574.66 c cleaning 24999 clauses out of 50005 with flag 948657/6256295 1152.86/577.42 c cleaning 25995 clauses out of 52006 with flag 1021503/6283295 1158.49/580.20 c cleaning 26994 clauses out of 54013 with flag 1097906/6311297 1164.14/583.08 c cleaning 28001 clauses out of 56018 with flag 1176446/6340296 1170.76/586.40 c cleaning 28997 clauses out of 58016 with flag 1260868/6370295 1179.36/590.65 c cleaning 30003 clauses out of 60019 with flag 1353294/6401295 1185.78/593.80 c cleaning 31007 clauses out of 62016 with flag 1442517/6433296 1192.84/597.32 c cleaning 32001 clauses out of 64009 with flag 1536271/6466296 1200.66/601.21 c cleaning 32997 clauses out of 66007 with flag 1633970/6500295 1209.10/605.47 c cleaning 33994 clauses out of 68010 with flag 1730426/6535295 1219.17/610.42 c cleaning 35001 clauses out of 70017 with flag 1831408/6571296 1228.24/614.92 c cleaning 35999 clauses out of 72018 with flag 1933610/6608298 1239.51/620.59 c cleaning 37003 clauses out of 74017 with flag 2039482/6646296 1251.55/626.50 c cleaning 37998 clauses out of 76013 with flag 2152830/6685295 1260.96/631.24 c cleaning 39000 clauses out of 78015 with flag 2264029/6725295 1273.65/637.55 c cleaning 40003 clauses out of 80016 with flag 2378589/6766296 1286.71/644.03 c cleaning 41000 clauses out of 82014 with flag 2493244/6808297 1298.78/650.10 c cleaning 42006 clauses out of 84012 with flag 2614067/6851295 1313.09/657.18 c cleaning 42989 clauses out of 86006 with flag 2737406/6895295 1326.13/663.64 c cleaning 44002 clauses out of 88017 with flag 2861636/6940295 1339.40/670.29 c cleaning 45000 clauses out of 90016 with flag 2987834/6986296 1355.08/678.02 c cleaning 46005 clauses out of 92015 with flag 3127276/7033295 1372.39/686.64 c cleaning 46999 clauses out of 94011 with flag 3272003/7081296 1386.86/693.88 c cleaning 47994 clauses out of 96010 with flag 3405950/7130295 1404.37/703.02 c cleaning 49008 clauses out of 98019 with flag 3554558/7180298 1421.99/711.83 c cleaning 49992 clauses out of 100008 with flag 3699159/7231295 1442.08/721.80 c cleaning 51000 clauses out of 102016 with flag 3845034/7283295 1456.92/729.23 c cleaning 52001 clauses out of 104015 with flag 3999726/7336295 1475.41/738.47 c cleaning 53009 clauses out of 106019 with flag 4153048/7390300 1492.28/746.84 c cleaning 53997 clauses out of 108007 with flag 4309528/7445297 1509.35/755.32 c cleaning 54994 clauses out of 110007 with flag 4468591/7501295 1531.49/766.33 c cleaning 56007 clauses out of 112013 with flag 4635540/7558295 1553.15/777.12 c cleaning 56993 clauses out of 114006 with flag 4797638/7616295 1575.47/788.21 c cleaning 58007 clauses out of 116017 with flag 4973745/7675299 1595.35/798.17 c cleaning 58994 clauses out of 118007 with flag 5149132/7735296 1615.04/807.92 c cleaning 60005 clauses out of 120013 with flag 5328723/7796296 1644.54/822.62 c cleaning 61001 clauses out of 122007 with flag 5509791/7858295 1669.67/835.12 c cleaning 62003 clauses out of 124006 with flag 5700254/7921295 1692.79/846.64 c cleaning 63000 clauses out of 126007 with flag 5891226/7985299 1720.88/860.64 c cleaning 63996 clauses out of 128003 with flag 6082392/8050295 1746.16/873.25 c cleaning 64995 clauses out of 130007 with flag 6276981/8116295 1780.50/890.35 c cleaning 65996 clauses out of 132013 with flag 6478058/8183296 1800.00/900.00 c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<< 1800.00/900.00 c starts : 152264 1800.00/900.00 c conflicts : 8241406 1800.00/900.00 c decisions : 21404530 1800.00/900.00 c propagations : 125558784 1800.00/900.00 c inspects : 12359720199 1800.00/900.00 c shortcuts : 0 1800.00/900.00 c learnt literals : 27 1800.00/900.00 c learnt binary clauses : 233 1800.00/900.00 c learnt ternary clauses : 272 1800.00/900.00 c learnt constraints : 8241379 1800.00/900.00 c ignored constraints : 0 1800.00/900.00 c root simplifications : 0 1800.00/900.00 c removed literals (reason simplification) : 15028762 1800.00/900.00 c reason swapping (by a shorter reason) : 0 1800.00/900.00 c Calls to reduceDB : 376 1800.00/900.00 c Number of update (reduction) of LBD : 2030908 1800.00/900.00 c Imported unit clauses : 0 1800.00/900.00 c number of reductions to clauses (during analyze) : 0 1800.00/900.00 c number of learned constraints concerned by reduction : 0 1800.00/900.00 c number of learning phase by resolution : 0 1800.00/900.00 c number of learning phase by cutting planes : 0 1800.00/900.00 c speed (assignments/second) : 357247.11064069514 1800.00/900.00 c non guided choices 155114 1800.00/900.03 c learnt constraints type 1800.00/900.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 233 1800.00/900.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 123894 1800.00/900.03 c >>>>>>>>>> Solver number 1 (13 answers) <<<<<<<<<<<<<<<<<< 1800.00/900.03 c starts : 20 1800.00/900.03 c conflicts : 5180 1800.00/900.03 c decisions : 200716 1800.00/900.03 c propagations : 632835 1800.00/900.03 c inspects : 273805983 1800.00/900.03 c shortcuts : 0 1800.00/900.03 c learnt literals : 4 1800.00/900.03 c learnt binary clauses : 1 1800.00/900.03 c learnt ternary clauses : 1 1800.00/900.03 c learnt constraints : 5175 1800.00/900.03 c ignored constraints : 0 1800.00/900.03 c root simplifications : 0 1800.00/900.03 c removed literals (reason simplification) : 0 1800.00/900.03 c reason swapping (by a shorter reason) : 0 1800.00/900.03 c Calls to reduceDB : 0 1800.00/900.03 c Number of update (reduction) of LBD : 0 1800.00/900.03 c Imported unit clauses : 0 1800.00/900.03 c number of reductions to clauses (during analyze) : 0 1800.00/900.03 c number of learned constraints concerned by reduction : 0 1800.00/900.03 c number of learning phase by resolution : 0 1800.00/900.03 c number of learning phase by cutting planes : 0 1800.00/900.03 c speed (assignments/second) : 703.3875886966264 1800.00/900.03 c non guided choices 1 1800.00/900.03 c learnt constraints type 1800.00/900.03 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.00/900.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5174 1800.00/900.03 s SATISFIABLE 1800.00/900.03 c Found 13 solution(s) 1800.00/900.04 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 x338 x339 -x340 x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 x633 x634 x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 x1305 -x1306 x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 x1591 x1592 x1593 x1594 x1595 -x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 x1655 -x1656 x1657 x1658 x1659 x1660 -x1661 x1662 x1663 x1664 x1665 x1666 x1667 x1668 -x1669 x1670 -x1671 x1672 x1673 x1674 x1675 -x1676 x1677 -x1678 x1679 x1680 -x1681 x1682 -x1683 x1684 x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 x1698 x1699 x1700 -x1701 x1702 -x1703 x1704 x1705 1800.00/900.04 c objective function=125 1800.00/900.04 c Total wall clock time (in seconds): 899.914
OK 125
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-4101522-1466214342/watcher-4101522-1466214342 -o /tmp/evaluation-result-4101522-1466214342/solver-4101522-1466214342 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101522-1466214342.opb pid=18980 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.25 4.20 4.20 5/197 18983 /proc/meminfo: memFree=24827520/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/18983/stat : 18983 (java) D 18980 18983 16262 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 23482789 9515008 183 33554432000 1073741824 1073778376 140734955832320 140734955823352 270330052277 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2323 183 140 9 0 71 0 [startup+0.100059 s] /proc/loadavg: 4.25 4.20 4.20 5/197 18983 /proc/meminfo: memFree=24827520/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 4410 0 1 0 8 1 0 0 20 0 18 0 23482789 9787879424 6027 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2389619 6027 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200281 s] /proc/loadavg: 4.25 4.20 4.20 5/197 18983 /proc/meminfo: memFree=24827520/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9558476 CPUtime=0.25 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 4957 0 1 0 24 1 0 0 20 0 18 0 23482789 9787879424 6899 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2389619 6899 2205 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300294 s] /proc/loadavg: 4.25 4.20 4.20 5/197 18983 /proc/meminfo: memFree=24827520/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9558476 CPUtime=0.51 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 12230 0 1 0 49 2 0 0 20 0 18 0 23482789 9787879424 13365 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2389619 13365 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700179 s] /proc/loadavg: 4.25 4.20 4.20 5/197 18983 /proc/meminfo: memFree=24827520/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 18148 0 1 0 206 3 0 0 20 0 22 0 23482789 10060525568 18024 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2456183 18024 2258 9 0 2446860 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 9824732 [startup+1.50092 s] /proc/loadavg: 4.25 4.20 4.20 7/219 19005 /proc/meminfo: memFree=24716632/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9824732 CPUtime=4.53 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 21396 0 1 0 448 5 0 0 20 0 22 0 23482789 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2456183 38595 2269 9 0 2446860 0 [pid=18983/tid=18985] ppid=18980 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/18983/task/18985/stat : 18985 (java) S 18980 18983 16262 0 -1 4202560 2429 0 1 0 26 2 0 0 20 0 22 0 23482790 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245558895480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18986] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18986/stat : 18986 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245520386216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18987] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18987/stat : 18987 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245519333672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=18988] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18988/stat : 18988 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245518281128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18989] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18989/stat : 18989 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245517228584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18990] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18990/stat : 18990 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482792 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245516176040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18991] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18991/stat : 18991 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482792 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245515123496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18992] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18992/stat : 18992 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482792 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245395827624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18993] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18993/stat : 18993 (java) S 18980 18983 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23482792 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245394775080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18994] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18994/stat : 18994 (java) S 18980 18983 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245382576232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18995] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18995/stat : 18995 (java) S 18980 18983 16262 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245381522552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18996] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18996/stat : 18996 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140245380469896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18997] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18997/stat : 18997 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244640852496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18998] ppid=18980 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/18983/task/18998/stat : 18998 (java) S 18980 18983 16262 0 -1 4202560 10280 0 0 0 93 2 0 0 20 0 22 0 23482796 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244639799864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18999] ppid=18980 vsize=9824732 CPUtime=0.91 cores=0,2,4,6 /proc/18983/task/18999/stat : 18999 (java) R 18980 18983 16262 0 -1 4202560 7287 0 0 0 90 1 0 0 20 0 22 0 23482796 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244638747200 140245562984464 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19000] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19000/stat : 19000 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244637694968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19001] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19001/stat : 19001 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244636642632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19002] ppid=18980 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/18983/task/19002/stat : 19002 (java) R 18980 18983 16262 0 -1 4202560 30 0 0 0 116 0 0 0 20 0 22 0 23482821 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244635585832 140245396572906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=19003] ppid=18980 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/18983/task/19003/stat : 19003 (java) R 18980 18983 16262 0 -1 4202560 92 0 0 0 115 1 0 0 20 0 22 0 23482821 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244634531808 140245396691511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19004] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19004/stat : 19004 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482823 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244633482280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=19005] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19005/stat : 19005 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482823 10060525568 38595 33554432000 1073741824 1073778376 140736095580928 140244632429736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.53 Current children cumulated vsize (KiB) 9824732 [startup+3.10085 s] /proc/loadavg: 4.25 4.20 4.20 6/219 19005 /proc/meminfo: memFree=24643208/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9824732 CPUtime=7.9 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 21560 0 1 0 781 9 0 0 20 0 22 0 23482789 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2456183 52012 2283 9 0 2446860 0 [pid=18983/tid=18985] ppid=18980 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/18983/task/18985/stat : 18985 (java) S 18980 18983 16262 0 -1 4202560 2429 0 1 0 26 2 0 0 20 0 22 0 23482790 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245558895480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18986] ppid=18980 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18983/task/18986/stat : 18986 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 23482791 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245520386216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18987] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18987/stat : 18987 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245519333672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18988] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18988/stat : 18988 (java) S 18980 18983 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245518281128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18989] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18989/stat : 18989 (java) S 18980 18983 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245517228584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=18990] ppid=18980 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18983/task/18990/stat : 18990 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 23482792 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245516176040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18991] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18991/stat : 18991 (java) S 18980 18983 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 23482792 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245515123496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=18992] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18992/stat : 18992 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482792 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245395827624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18993] ppid=18980 vsize=9824732 CPUtime=0.01 cores=0,2,4,6 /proc/18983/task/18993/stat : 18993 (java) S 18980 18983 16262 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 23482792 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245394775080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18994] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18994/stat : 18994 (java) S 18980 18983 16262 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245382576232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=18995] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18995/stat : 18995 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245381522552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18996] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18996/stat : 18996 (java) S 18980 18983 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140245380469896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18997] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18997/stat : 18997 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244640852496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18998] ppid=18980 vsize=9824732 CPUtime=1.04 cores=0,2,4,6 /proc/18983/task/18998/stat : 18998 (java) S 18980 18983 16262 0 -1 4202560 10281 0 0 0 102 2 0 0 20 0 22 0 23482796 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244639799864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18999] ppid=18980 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/18983/task/18999/stat : 18999 (java) S 18980 18983 16262 0 -1 4202560 7305 0 0 0 93 2 0 0 20 0 22 0 23482796 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244638747320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19000] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19000/stat : 19000 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244637694968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19001] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19001/stat : 19001 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244636642632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19002] ppid=18980 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/18983/task/19002/stat : 19002 (java) R 18980 18983 16262 0 -1 4202560 30 0 0 0 272 0 0 0 20 0 22 0 23482821 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244635586808 140245396554181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=19003] ppid=18980 vsize=9824732 CPUtime=2.72 cores=0,2,4,6 /proc/18983/task/19003/stat : 19003 (java) R 18980 18983 16262 0 -1 4202560 110 0 0 0 271 1 0 0 20 0 22 0 23482821 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244634533832 140245396691506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=19004] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19004/stat : 19004 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482823 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244633482280 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=19005] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19005/stat : 19005 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482823 10060525568 52012 33554432000 1073741824 1073778376 140736095580928 140244632429736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.9 Current children cumulated vsize (KiB) 9824732 [startup+6.30095 s] /proc/loadavg: 4.23 4.20 4.20 5/219 19005 /proc/meminfo: memFree=24593932/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9824732 CPUtime=14.54 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 21958 0 1 0 1442 12 0 0 20 0 22 0 23482789 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2456183 60084 2284 9 0 2446860 0 [pid=18983/tid=18985] ppid=18980 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/18983/task/18985/stat : 18985 (java) S 18980 18983 16262 0 -1 4202560 2429 0 1 0 26 2 0 0 20 0 22 0 23482790 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245558895480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18986] ppid=18980 vsize=9824732 CPUtime=0.04 cores=0,2,4,6 /proc/18983/task/18986/stat : 18986 (java) S 18980 18983 16262 0 -1 4202560 28 0 0 0 2 2 0 0 20 0 22 0 23482791 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245520386216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18987] ppid=18980 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18983/task/18987/stat : 18987 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 23482791 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245519333672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18988] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18988/stat : 18988 (java) S 18980 18983 16262 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23482791 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245518281128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18989] ppid=18980 vsize=9824732 CPUtime=0.03 cores=0,2,4,6 /proc/18983/task/18989/stat : 18989 (java) S 18980 18983 16262 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 23482791 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245517228584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18990] ppid=18980 vsize=9824732 CPUtime=0.05 cores=0,2,4,6 /proc/18983/task/18990/stat : 18990 (java) S 18980 18983 16262 0 -1 4202560 120 0 0 0 4 1 0 0 20 0 22 0 23482792 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245516176040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18991] ppid=18980 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18983/task/18991/stat : 18991 (java) S 18980 18983 16262 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 22 0 23482792 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245515123496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18992] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18992/stat : 18992 (java) S 18980 18983 16262 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 22 0 23482792 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245395827624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18993] ppid=18980 vsize=9824732 CPUtime=0.02 cores=0,2,4,6 /proc/18983/task/18993/stat : 18993 (java) S 18980 18983 16262 0 -1 4202560 105 0 0 0 2 0 0 0 20 0 22 0 23482792 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245394775080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18994] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18994/stat : 18994 (java) S 18980 18983 16262 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245382576232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18995] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18995/stat : 18995 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245381522552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18996] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18996/stat : 18996 (java) S 18980 18983 16262 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140245380469896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18997] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18997/stat : 18997 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 60084 33554432000 1073741824 1073778376 140736095580928 140244640852496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18998] ppid=18980 vsize=9824732 CPUtime=1.18 cores=0,2,4,6 ################ # More data... # ################ [pid=18983/tid=18993] ppid=18980 vsize=9824732 CPUtime=1.88 cores=0,2,4,6 /proc/18983/task/18993/stat : 18993 (java) S 18980 18983 16262 0 -1 4202560 562 0 0 0 174 14 0 0 20 0 22 0 23482792 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140245394775080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18994] ppid=18980 vsize=9824732 CPUtime=2.63 cores=0,2,4,6 /proc/18983/task/18994/stat : 18994 (java) S 18980 18983 16262 0 -1 4202560 1588 0 0 0 246 17 0 0 20 0 22 0 23482793 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140245382576232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18995] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18995/stat : 18995 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140245381522552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18996] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18996/stat : 18996 (java) S 18980 18983 16262 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140245380469896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18997] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18997/stat : 18997 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244640852496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18998] ppid=18980 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/18983/task/18998/stat : 18998 (java) S 18980 18983 16262 0 -1 4202560 10287 0 0 0 161 2 0 0 20 0 22 0 23482796 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244639799864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18999] ppid=18980 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/18983/task/18999/stat : 18999 (java) S 18980 18983 16262 0 -1 4202560 11761 0 0 0 192 2 0 0 20 0 22 0 23482796 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244638747320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=19000] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19000/stat : 19000 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244637694968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19001] ppid=18980 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/18983/task/19001/stat : 19001 (java) S 18980 18983 16262 0 -1 4202560 47 0 0 0 14 13 0 0 20 0 22 0 23482796 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244636642632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19005] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19005/stat : 19005 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482823 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244632429736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19157] ppid=18980 vsize=9824732 CPUtime=270.28 cores=0,2,4,6 /proc/18983/task/19157/stat : 19157 (java) R 18980 18983 16262 0 -1 4202560 30 0 0 0 27024 4 0 0 20 0 22 0 23537641 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244633479600 140245397048720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19158] ppid=18980 vsize=9824732 CPUtime=270.27 cores=0,2,4,6 /proc/18983/task/19158/stat : 19158 (java) R 18980 18983 16262 0 -1 4202560 47 0 0 0 27023 4 0 0 20 0 22 0 23537641 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244634533168 140245396524158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19159] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19159/stat : 19159 (java) S 18980 18983 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23537644 10060525568 495781 33554432000 1073741824 1073778376 140736095580928 140244635587624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1642.6 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.31 4.19 4.17 5/220 19172 /proc/meminfo: memFree=26064580/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9824732 CPUtime=1763.06 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 34178 0 1 0 176085 221 0 0 20 0 22 0 23482789 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2456183 496324 2294 9 0 2446860 0 [pid=18983/tid=18985] ppid=18980 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/18983/task/18985/stat : 18985 (java) S 18980 18983 16262 0 -1 4202560 2436 0 1 0 34 3 0 0 20 0 22 0 23482790 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245558895480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18986] ppid=18980 vsize=9824732 CPUtime=2.35 cores=0,2,4,6 /proc/18983/task/18986/stat : 18986 (java) S 18980 18983 16262 0 -1 4202560 1022 0 0 0 216 19 0 0 20 0 22 0 23482791 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245520386216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18987] ppid=18980 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/18983/task/18987/stat : 18987 (java) S 18980 18983 16262 0 -1 4202560 622 0 0 0 193 17 0 0 20 0 22 0 23482791 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245519333672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=18988] ppid=18980 vsize=9824732 CPUtime=2.12 cores=0,2,4,6 /proc/18983/task/18988/stat : 18988 (java) S 18980 18983 16262 0 -1 4202560 564 0 0 0 199 13 0 0 20 0 22 0 23482791 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245518281128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18989] ppid=18980 vsize=9824732 CPUtime=2 cores=0,2,4,6 /proc/18983/task/18989/stat : 18989 (java) S 18980 18983 16262 0 -1 4202560 548 0 0 0 186 14 0 0 20 0 22 0 23482791 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245517228584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18990] ppid=18980 vsize=9824732 CPUtime=2.38 cores=0,2,4,6 /proc/18983/task/18990/stat : 18990 (java) S 18980 18983 16262 0 -1 4202560 865 0 0 0 215 23 0 0 20 0 22 0 23482792 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245516176040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18991] ppid=18980 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/18983/task/18991/stat : 18991 (java) S 18980 18983 16262 0 -1 4202560 570 0 0 0 201 15 0 0 20 0 22 0 23482792 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245515123496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18992] ppid=18980 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/18983/task/18992/stat : 18992 (java) S 18980 18983 16262 0 -1 4202560 732 0 0 0 191 13 0 0 20 0 22 0 23482792 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245395827624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18993] ppid=18980 vsize=9824732 CPUtime=2.03 cores=0,2,4,6 /proc/18983/task/18993/stat : 18993 (java) S 18980 18983 16262 0 -1 4202560 568 0 0 0 188 15 0 0 20 0 22 0 23482792 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245394775080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=18994] ppid=18980 vsize=9824732 CPUtime=2.64 cores=0,2,4,6 /proc/18983/task/18994/stat : 18994 (java) S 18980 18983 16262 0 -1 4202560 1592 0 0 0 246 18 0 0 20 0 22 0 23482793 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245382576232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18995] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18995/stat : 18995 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245381522552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18996] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18996/stat : 18996 (java) S 18980 18983 16262 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140245380469896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18997] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18997/stat : 18997 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244640852496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18998] ppid=18980 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/18983/task/18998/stat : 18998 (java) S 18980 18983 16262 0 -1 4202560 10287 0 0 0 161 2 0 0 20 0 22 0 23482796 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244639799864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18999] ppid=18980 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/18983/task/18999/stat : 18999 (java) S 18980 18983 16262 0 -1 4202560 11761 0 0 0 192 2 0 0 20 0 22 0 23482796 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244638747320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=19000] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19000/stat : 19000 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244637694968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19001] ppid=18980 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/18983/task/19001/stat : 19001 (java) S 18980 18983 16262 0 -1 4202560 51 0 0 0 15 15 0 0 20 0 22 0 23482796 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244636642632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19005] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19005/stat : 19005 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482823 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244632429736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19157] ppid=18980 vsize=9824732 CPUtime=329.77 cores=0,2,4,6 /proc/18983/task/19157/stat : 19157 (java) R 18980 18983 16262 0 -1 4202560 36 0 0 0 32972 5 0 0 20 0 22 0 23537641 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244633479600 140245396101046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19158] ppid=18980 vsize=9824732 CPUtime=329.78 cores=0,2,4,6 /proc/18983/task/19158/stat : 19158 (java) R 18980 18983 16262 0 -1 4202560 53 0 0 0 32973 5 0 0 20 0 22 0 23537641 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244634533216 140245396527640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19159] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19159/stat : 19159 (java) S 18980 18983 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23537644 10060525568 496324 33554432000 1073741824 1073778376 140736095580928 140244635587624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1763.06 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.001 s] /proc/loadavg: 4.29 4.19 4.17 5/220 19172 /proc/meminfo: memFree=26058192/32872528 swapFree=1556504/1720024 [pid=18983] ppid=18980 vsize=9824732 CPUtime=1798.66 cores=0,2,4,6 /proc/18983/stat : 18983 (java) S 18980 18983 16262 0 -1 4202496 34261 0 1 0 179641 225 0 0 20 0 22 0 23482789 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140736095572064 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/18983/statm: 2456183 498800 2294 9 0 2446860 0 [pid=18983/tid=18985] ppid=18980 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/18983/task/18985/stat : 18985 (java) S 18980 18983 16262 0 -1 4202560 2436 0 1 0 34 3 0 0 20 0 22 0 23482790 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245558895480 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18986] ppid=18980 vsize=9824732 CPUtime=2.44 cores=0,2,4,6 /proc/18983/task/18986/stat : 18986 (java) S 18980 18983 16262 0 -1 4202560 1039 0 0 0 224 20 0 0 20 0 22 0 23482791 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245520386216 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18987] ppid=18980 vsize=9824732 CPUtime=2.16 cores=0,2,4,6 /proc/18983/task/18987/stat : 18987 (java) S 18980 18983 16262 0 -1 4202560 630 0 0 0 199 17 0 0 20 0 22 0 23482791 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245519333672 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18988] ppid=18980 vsize=9824732 CPUtime=2.19 cores=0,2,4,6 /proc/18983/task/18988/stat : 18988 (java) S 18980 18983 16262 0 -1 4202560 569 0 0 0 205 14 0 0 20 0 22 0 23482791 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245518281128 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=18989] ppid=18980 vsize=9824732 CPUtime=2.04 cores=0,2,4,6 /proc/18983/task/18989/stat : 18989 (java) S 18980 18983 16262 0 -1 4202560 551 0 0 0 190 14 0 0 20 0 22 0 23482791 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245517228584 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18990] ppid=18980 vsize=9824732 CPUtime=2.45 cores=0,2,4,6 /proc/18983/task/18990/stat : 18990 (java) S 18980 18983 16262 0 -1 4202560 875 0 0 0 222 23 0 0 20 0 22 0 23482792 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245516176040 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18991] ppid=18980 vsize=9824732 CPUtime=2.21 cores=0,2,4,6 /proc/18983/task/18991/stat : 18991 (java) S 18980 18983 16262 0 -1 4202560 583 0 0 0 206 15 0 0 20 0 22 0 23482792 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245515123496 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18992] ppid=18980 vsize=9824732 CPUtime=2.1 cores=0,2,4,6 /proc/18983/task/18992/stat : 18992 (java) S 18980 18983 16262 0 -1 4202560 735 0 0 0 197 13 0 0 20 0 22 0 23482792 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245395827624 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18993] ppid=18980 vsize=9824732 CPUtime=2.09 cores=0,2,4,6 /proc/18983/task/18993/stat : 18993 (java) S 18980 18983 16262 0 -1 4202560 586 0 0 0 194 15 0 0 20 0 22 0 23482792 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245394775080 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18994] ppid=18980 vsize=9824732 CPUtime=2.65 cores=0,2,4,6 /proc/18983/task/18994/stat : 18994 (java) S 18980 18983 16262 0 -1 4202560 1592 0 0 0 246 19 0 0 20 0 22 0 23482793 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245382576232 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=18995] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18995/stat : 18995 (java) S 18980 18983 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245381522552 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18996] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18996/stat : 18996 (java) S 18980 18983 16262 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 23482793 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140245380469896 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18997] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/18997/stat : 18997 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244640852496 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=18998] ppid=18980 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/18983/task/18998/stat : 18998 (java) S 18980 18983 16262 0 -1 4202560 10287 0 0 0 161 2 0 0 20 0 22 0 23482796 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244639799864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=18983/tid=18999] ppid=18980 vsize=9824732 CPUtime=1.94 cores=0,2,4,6 /proc/18983/task/18999/stat : 18999 (java) S 18980 18983 16262 0 -1 4202560 11761 0 0 0 192 2 0 0 20 0 22 0 23482796 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244638747320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=19000] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19000/stat : 19000 (java) S 18980 18983 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23482796 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244637694968 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19001] ppid=18980 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/18983/task/19001/stat : 19001 (java) S 18980 18983 16262 0 -1 4202560 53 0 0 0 15 15 0 0 20 0 22 0 23482796 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244636642632 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19005] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19005/stat : 19005 (java) S 18980 18983 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23482823 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244632429736 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18983/tid=19157] ppid=18980 vsize=9824732 CPUtime=347.28 cores=0,2,4,6 /proc/18983/task/19157/stat : 19157 (java) R 18980 18983 16262 0 -1 4202560 37 0 0 0 34723 5 0 0 20 0 22 0 23537641 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244633480400 140245396665964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=18983/tid=19158] ppid=18980 vsize=9824732 CPUtime=347.28 cores=0,2,4,6 /proc/18983/task/19158/stat : 19158 (java) R 18980 18983 16262 0 -1 4202560 56 0 0 0 34723 5 0 0 20 0 22 0 23537641 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244634532256 140245396684501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=18983/tid=19159] ppid=18980 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/18983/task/19159/stat : 19159 (java) S 18980 18983 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23537644 10060525568 498800 33554432000 1073741824 1073778376 140736095580928 140244635587624 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 9824732 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 18983 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18983 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=789150 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=513617 # CPU time returned by wait4() is 1797.3 # while last known CPU time is 1798.66 # # 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): 1.34009 # lost CPU user time (s): 1.46008 # lost CPU system time (s): -0.12 Real time (s): 900.057 CPU time (s): 1800 CPU user time (s): 1797.87 CPU system time (s): 2.13 CPU usage (%): 199.987 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.79 system time used= 2.51362 maximum resident set size= 2186552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34307 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= 27135 involuntary context switches= 43729 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.46417 second user time and 7.69183 second system time The end
Begin job on node117 at 2016-06-18 03:45:42 IDJOB=4101522 IDBENCH=1761 IDSOLVER=2543 FILE ID=node117/4101522-1466214342 RUNJOBID= node117-1466206104-16278 PBS_JOBID= 19918159 Free space on /tmp= 71736 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-egout.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101522-1466214342/watcher-4101522-1466214342 -o /tmp/evaluation-result-4101522-1466214342/solver-4101522-1466214342 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16278 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101522-1466214342.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d6a4c3ac1d0b6ea0e8794ac4dcbcb530 RANDOM SEED=1298528458 node117.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.912 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 24827512 kB Buffers: 149524 kB Cached: 1767764 kB SwapCached: 0 kB Active: 3766064 kB Inactive: 1798188 kB Active(anon): 3649400 kB Inactive(anon): 0 kB Active(file): 116664 kB Inactive(file): 1798188 kB Unevictable: 1720024 kB Mlocked: 1556504 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 888 kB Writeback: 0 kB AnonPages: 5368840 kB Mapped: 21120 kB Shmem: 204 kB Slab: 620920 kB SReclaimable: 64756 kB SUnreclaim: 556164 kB KernelStack: 1608 kB PageTables: 14848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5786584 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3706880 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= 71736 MiB End job on node117 at 2016-06-18 04:00:42