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) | 14 | 1800.43 | 912.543 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| 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 | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.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.12 c solving HOME/instance-4081376-1465232265.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.09/0.16 c ... done. Wall clock time 0.045s. 0.09/0.16 c declared #vars 146 0.09/0.16 c #constraints 12 0.09/0.17 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.17 c constraints type 0.09/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12 0.09/0.17 c 12 constraints processed. 0.09/0.17 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.17 c constraints type 0.09/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPb => 12 0.09/0.17 c 12 constraints processed. 0.09/0.17 c objective function length is 96 literals 0.29/0.29 c And the winner is solver0 0.88/0.67 c SATISFIABLE 0.88/0.67 c OPTIMIZING... 0.88/0.67 c Got one! Elapsed wall clock time (in seconds):0.55 0.88/0.67 o 402 2.56/1.14 c cleaning 2668 clauses out of 5353 with flag 10403/5353 2.56/1.17 c And the winner is solver0 3.27/1.67 c Got one! Elapsed wall clock time (in seconds):1.552 3.27/1.67 o 308 3.27/1.68 c And the winner is solver0 3.27/2.17 c Got one! Elapsed wall clock time (in seconds):2.053 3.27/2.17 o 286 3.27/2.17 c And the winner is solver0 3.27/2.67 c Got one! Elapsed wall clock time (in seconds):2.555 3.27/2.67 o 271 3.27/2.68 c And the winner is solver0 3.27/3.17 c Got one! Elapsed wall clock time (in seconds):3.056 3.27/3.17 o 95 3.27/3.19 c And the winner is solver0 3.32/3.67 c Got one! Elapsed wall clock time (in seconds):3.557 3.32/3.67 o 93 3.76/3.95 c And the winner is solver0 3.89/4.18 c Got one! Elapsed wall clock time (in seconds):4.059 3.89/4.18 o 91 4.16/4.37 c cleaning 4567 clauses out of 9151 with flag 4121/11819 4.77/4.61 c And the winner is solver1 4.77/4.68 c Got one! Elapsed wall clock time (in seconds):4.561 4.77/4.68 o 83 5.03/4.81 c And the winner is solver0 5.08/5.18 c Got one! Elapsed wall clock time (in seconds):5.063 5.08/5.18 o 82 5.12/5.26 c And the winner is solver0 5.27/5.68 c Got one! Elapsed wall clock time (in seconds):5.565 5.27/5.68 o 80 5.30/5.78 c cleaning 5547 clauses out of 11093 with flag 2389/18328 5.51/5.84 c And the winner is solver0 5.61/6.18 c Got one! Elapsed wall clock time (in seconds):6.067 5.61/6.18 o 79 5.63/6.27 c And the winner is solver0 5.80/6.69 c Got one! Elapsed wall clock time (in seconds):6.569 5.80/6.69 o 78 5.83/6.76 c And the winner is solver0 5.96/7.19 c Got one! Elapsed wall clock time (in seconds):7.073 5.96/7.19 o 74 5.97/7.24 c And the winner is solver0 6.08/7.70 c Got one! Elapsed wall clock time (in seconds):7.58 6.08/7.70 o 73 6.10/7.72 c And the winner is solver0 6.16/8.20 c Got one! Elapsed wall clock time (in seconds):8.083 6.16/8.20 o 71 6.56/8.48 c cleaning 6390 clauses out of 12781 with flag 7354/25563 7.66/8.95 c cleaning 6198 clauses out of 12395 with flag 21569/31567 8.22/9.21 c And the winner is solver1 8.25/9.70 c Got one! Elapsed wall clock time (in seconds):9.585 8.25/9.70 o 67 8.43/9.88 c cleaning 6005 clauses out of 12011 with flag 4909/37381 9.43/10.32 c cleaning 6005 clauses out of 12012 with flag 19932/43387 9.43/10.38 c And the winner is solver0 9.62/10.71 c Got one! Elapsed wall clock time (in seconds):10.588 9.62/10.71 o 65 10.03/10.90 c And the winner is solver0 10.07/11.21 c Got one! Elapsed wall clock time (in seconds):11.092 10.07/11.21 o 54 10.24/11.38 c cleaning 5781 clauses out of 11561 with flag 4850/48941 10.44/11.41 c And the winner is solver0 10.49/11.71 c Got one! Elapsed wall clock time (in seconds):11.595 10.49/11.71 o 53 10.49/11.74 c And the winner is solver0 10.57/12.22 c Got one! Elapsed wall clock time (in seconds):12.099 10.57/12.22 o 51 10.92/12.45 c And the winner is solver0 11.08/12.72 c Got one! Elapsed wall clock time (in seconds):12.605 11.08/12.72 o 50 11.54/12.91 c cleaning 6329 clauses out of 12664 with flag 4654/55825 11.54/12.92 c And the winner is solver0 11.61/13.23 c Got one! Elapsed wall clock time (in seconds):13.11 11.61/13.23 o 48 12.17/13.51 c And the winner is solver0 12.22/13.73 c Got one! Elapsed wall clock time (in seconds):13.616 12.22/13.73 o 46 12.54/13.92 c cleaning 6198 clauses out of 12395 with flag 4445/61885 12.74/14.05 c And the winner is solver0 12.88/14.24 c Got one! Elapsed wall clock time (in seconds):14.121 12.88/14.24 o 45 13.20/14.41 c And the winner is solver0 13.25/14.74 c Got one! Elapsed wall clock time (in seconds):14.626 13.25/14.74 o 42 13.35/14.85 c cleaning 5986 clauses out of 11971 with flag 2127/67659 14.15/15.25 c cleaning 5983 clauses out of 11982 with flag 15906/73656 14.37/15.34 c And the winner is solver0 14.49/15.75 c Got one! Elapsed wall clock time (in seconds):15.632 14.49/15.75 o 40 14.98/16.06 c cleaning 5818 clauses out of 11638 with flag 9357/79295 15.78/16.47 c cleaning 5907 clauses out of 11814 with flag 23497/85289 16.98/17.02 c cleaning 6453 clauses out of 12908 with flag 40284/92290 17.42/17.24 c And the winner is solver0 17.42/17.26 c Got one! Elapsed wall clock time (in seconds):17.139 17.42/17.26 o 39 18.00/17.51 c cleaning 6156 clauses out of 12322 with flag 7149/98157 18.80/17.94 c cleaning 6079 clauses out of 12165 with flag 21417/104156 19.80/18.45 c cleaning 6546 clauses out of 13091 with flag 38288/111161 20.20/18.66 c And the winner is solver0 20.36/18.76 c Got one! Elapsed wall clock time (in seconds):18.647 20.36/18.76 o 37 20.62/18.95 c cleaning 5901 clauses out of 11804 with flag 4616/116420 21.02/19.17 c And the winner is solver0 21.19/19.27 c Got one! Elapsed wall clock time (in seconds):19.155 21.19/19.27 o 35 21.44/19.46 c cleaning 5709 clauses out of 11425 with flag 4726/121942 22.25/19.88 c cleaning 5858 clauses out of 11721 with flag 17919/127947 23.52/20.44 c cleaning 6429 clauses out of 12859 with flag 34122/134943 24.70/21.09 c cleaning 7213 clauses out of 14431 with flag 52805/142944 26.29/21.89 c cleaning 8108 clauses out of 16218 with flag 73799/151944 28.29/22.88 c cleaning 9053 clauses out of 18108 with flag 96897/161942 30.69/24.02 c And the winner is solver0 30.82/24.28 c Got one! Elapsed wall clock time (in seconds):24.165 30.82/24.28 o 34 31.67/24.78 c And the winner is solver0 31.87/24.85 c Got one! Elapsed wall clock time (in seconds):24.728 31.87/24.85 o 32 32.81/25.36 c cleaning 12842 clauses out of 25686 with flag 6528/178573 34.19/26.04 c cleaning 9423 clauses out of 18847 with flag 19118/184576 35.59/26.76 c cleaning 8204 clauses out of 16426 with flag 33651/191578 36.79/27.34 c And the winner is solver0 36.91/27.41 c Got one! Elapsed wall clock time (in seconds):27.291 36.91/27.41 o 30 37.28/27.68 c And the winner is solver0 37.48/27.93 c Got one! Elapsed wall clock time (in seconds):27.811 37.48/27.93 o 29 38.23/28.36 c cleaning 9845 clauses out of 19689 with flag 6452/203045 39.42/28.95 c cleaning 7920 clauses out of 15842 with flag 18895/209043 40.82/29.60 c cleaning 7457 clauses out of 14921 with flag 33261/216042 42.22/30.35 c cleaning 7727 clauses out of 15464 with flag 49577/224042 44.02/31.29 c cleaning 8366 clauses out of 16737 with flag 68097/233042 46.22/32.32 c cleaning 9185 clauses out of 18372 with flag 88609/243043 48.04/33.27 c And the winner is solver0 48.25/33.45 c Got one! Elapsed wall clock time (in seconds):33.332 48.25/33.45 o 28 49.13/33.92 c And the winner is solver0 49.25/34.02 c Got one! Elapsed wall clock time (in seconds):33.906 49.25/34.02 o 26 50.16/34.59 c cleaning 11918 clauses out of 23838 with flag 6355/257694 51.57/35.21 c cleaning 8960 clauses out of 17920 with flag 18956/263694 52.76/35.86 c cleaning 7971 clauses out of 15961 with flag 33482/270695 53.56/36.26 c And the winner is solver0 53.75/36.55 c Got one! Elapsed wall clock time (in seconds):36.43 53.75/36.55 o 24 54.03/36.70 c cleaning 6967 clauses out of 13947 with flag 2095/276652 55.04/37.22 c cleaning 6483 clauses out of 12980 with flag 14927/282652 55.45/37.46 c And the winner is solver0 55.61/37.57 c Got one! Elapsed wall clock time (in seconds):37.455 55.61/37.57 o 22 55.87/37.79 c cleaning 5895 clauses out of 11807 with flag 4169/287962 56.86/38.28 c cleaning 5953 clauses out of 11913 with flag 16684/293963 58.06/38.87 c cleaning 6480 clauses out of 12961 with flag 31317/300964 59.68/39.61 c cleaning 7243 clauses out of 14486 with flag 47805/308969 61.46/40.50 c cleaning 8121 clauses out of 16241 with flag 66152/317967 63.68/41.60 c cleaning 9057 clauses out of 18116 with flag 86839/327963 66.07/42.88 c cleaning 10030 clauses out of 20062 with flag 109359/338966 68.87/44.27 c cleaning 11013 clauses out of 22028 with flag 133760/350962 72.48/46.00 c cleaning 12008 clauses out of 24018 with flag 160176/363965 76.28/47.94 c cleaning 12997 clauses out of 26007 with flag 188878/377962 80.91/50.21 c cleaning 14002 clauses out of 28011 with flag 219293/392963 85.93/52.74 c cleaning 15007 clauses out of 30013 with flag 251954/408967 91.13/55.36 c cleaning 15998 clauses out of 32002 with flag 286622/425963 97.16/58.33 c cleaning 17003 clauses out of 34005 with flag 323204/443964 103.97/61.77 c cleaning 18001 clauses out of 36003 with flag 361787/462965 111.36/65.40 c cleaning 18996 clauses out of 37999 with flag 402732/482962 119.19/69.36 c cleaning 19999 clauses out of 40003 with flag 445751/503962 127.78/73.62 c cleaning 21002 clauses out of 42005 with flag 490879/525963 137.37/78.48 c cleaning 21997 clauses out of 44003 with flag 538533/548963 147.79/83.68 c cleaning 23001 clauses out of 46005 with flag 587899/572962 148.37/83.98 c And the winner is solver0 148.85/84.32 c Got one! Elapsed wall clock time (in seconds):84.202 148.85/84.32 o 21 150.38/85.11 c cleaning 14470 clauses out of 28964 with flag 8523/578922 151.79/85.81 c cleaning 10239 clauses out of 20494 with flag 20989/584922 153.18/86.54 c cleaning 8620 clauses out of 17256 with flag 35337/591923 154.78/87.30 c cleaning 8316 clauses out of 16636 with flag 51553/599923 156.58/88.21 c cleaning 8651 clauses out of 17320 with flag 69894/608923 158.60/89.22 c cleaning 9333 clauses out of 18669 with flag 90123/618923 160.98/90.40 c cleaning 10168 clauses out of 20336 with flag 112566/629923 163.80/91.86 c cleaning 11085 clauses out of 22169 with flag 137588/641924 167.00/93.50 c cleaning 12034 clauses out of 24082 with flag 164510/654922 170.80/95.35 c cleaning 13025 clauses out of 26049 with flag 193332/668923 175.00/97.46 c cleaning 14010 clauses out of 28023 with flag 224306/683922 179.40/99.65 c cleaning 15005 clauses out of 30015 with flag 256935/699924 184.60/102.28 c cleaning 16000 clauses out of 32008 with flag 291883/716922 186.02/102.96 c And the winner is solver0 186.22/103.36 c Got one! Elapsed wall clock time (in seconds):103.247 186.22/103.36 o 19 186.63/103.61 c cleaning 10935 clauses out of 21879 with flag 2125/722793 187.83/104.22 c cleaning 8470 clauses out of 16945 with flag 14820/728794 189.03/104.86 c cleaning 7729 clauses out of 15476 with flag 29440/735795 190.64/105.62 c cleaning 7864 clauses out of 15745 with flag 45979/743793 192.43/106.51 c cleaning 8435 clauses out of 16883 with flag 64310/752795 194.44/107.52 c cleaning 9221 clauses out of 18447 with flag 84590/762794 196.85/108.70 c cleaning 10112 clauses out of 20225 with flag 107460/773793 199.47/110.02 c cleaning 11054 clauses out of 22114 with flag 132070/785794 202.46/111.57 c cleaning 12026 clauses out of 24060 with flag 158946/798794 206.07/113.32 c cleaning 13011 clauses out of 26033 with flag 187737/812793 209.68/115.17 c cleaning 14009 clauses out of 28022 with flag 218392/827793 214.09/117.39 c cleaning 15005 clauses out of 30016 with flag 251232/843796 220.11/120.37 c cleaning 16002 clauses out of 32011 with flag 286478/860796 226.94/123.70 c cleaning 16994 clauses out of 34009 with flag 323609/878796 233.98/127.28 c cleaning 18001 clauses out of 36012 with flag 362875/897793 241.81/131.10 c cleaning 19003 clauses out of 38015 with flag 404444/917797 250.46/135.41 c cleaning 20000 clauses out of 40011 with flag 448031/938796 259.47/139.95 c cleaning 20997 clauses out of 42008 with flag 493307/960793 269.71/145.04 c cleaning 22007 clauses out of 44014 with flag 540837/983796 280.34/150.38 c cleaning 23001 clauses out of 46004 with flag 590408/1007793 291.60/155.95 c cleaning 24001 clauses out of 48003 with flag 641964/1032793 303.22/161.74 c cleaning 24993 clauses out of 50002 with flag 695514/1058793 315.26/167.79 c cleaning 25999 clauses out of 52011 with flag 751427/1085795 328.07/174.14 c cleaning 27003 clauses out of 54011 with flag 809529/1113794 341.10/180.67 c cleaning 28003 clauses out of 56008 with flag 869623/1142794 355.72/187.98 c cleaning 29002 clauses out of 58010 with flag 931365/1172799 372.96/196.56 c cleaning 30000 clauses out of 60005 with flag 995437/1203796 391.02/205.55 c cleaning 30999 clauses out of 62003 with flag 1061702/1235794 410.26/215.17 c cleaning 31998 clauses out of 64003 with flag 1129666/1268793 430.09/225.08 c cleaning 33004 clauses out of 66009 with flag 1199908/1302797 451.35/235.65 c cleaning 34000 clauses out of 68001 with flag 1272409/1337793 471.16/245.51 c cleaning 34997 clauses out of 70003 with flag 1347282/1373795 491.76/255.86 c cleaning 36002 clauses out of 72005 with flag 1423880/1410794 513.76/266.86 c cleaning 37002 clauses out of 74005 with flag 1502188/1448796 538.15/279.02 c cleaning 37997 clauses out of 76000 with flag 1582076/1487793 561.60/290.71 c cleaning 38998 clauses out of 78005 with flag 1664086/1527795 586.21/303.04 c cleaning 40001 clauses out of 80005 with flag 1747866/1568793 612.83/316.37 c cleaning 40995 clauses out of 82004 with flag 1833739/1610793 643.00/331.55 c cleaning 42005 clauses out of 84014 with flag 1923117/1653798 673.08/346.58 c cleaning 43002 clauses out of 86004 with flag 2014127/1697793 703.92/362.00 c cleaning 43999 clauses out of 88004 with flag 2106576/1742795 738.35/379.13 c cleaning 44997 clauses out of 90004 with flag 2201376/1788794 775.42/397.69 c cleaning 45999 clauses out of 92006 with flag 2298266/1835793 813.14/416.48 c cleaning 47004 clauses out of 94007 with flag 2397004/1883793 853.58/436.68 c cleaning 47999 clauses out of 96009 with flag 2498920/1932799 892.45/456.06 c cleaning 48998 clauses out of 98005 with flag 2602351/1982794 898.65/459.12 c And the winner is solver0 900.35/460.77 c Got one! Elapsed wall clock time (in seconds):460.656 900.35/460.77 o 18 905.81/463.52 c cleaning 33260 clauses out of 66529 with flag 10729/2000316 908.62/464.98 c cleaning 19628 clauses out of 39272 with flag 23246/2006319 911.21/466.20 c cleaning 13307 clauses out of 26641 with flag 37871/2013316 911.41/466.36 c And the winner is solver0 911.79/466.69 c Got one! Elapsed wall clock time (in seconds):466.574 911.79/466.69 o 17 913.16/467.43 c cleaning 9379 clauses out of 18783 with flag 8604/2018765 914.56/468.11 c cleaning 7692 clauses out of 15404 with flag 21074/2024765 915.96/468.80 c cleaning 7348 clauses out of 14713 with flag 35486/2031766 917.78/469.71 c cleaning 7678 clauses out of 15365 with flag 52224/2039766 919.56/470.67 c cleaning 8343 clauses out of 16688 with flag 70586/2048767 921.99/471.81 c cleaning 9172 clauses out of 18345 with flag 91149/2058767 924.40/473.04 c cleaning 10082 clauses out of 20173 with flag 113589/2069767 927.58/474.61 c cleaning 11047 clauses out of 22093 with flag 138316/2081769 930.79/476.27 c cleaning 12020 clauses out of 24045 with flag 165059/2094768 934.81/478.23 c cleaning 13012 clauses out of 26023 with flag 193875/2108766 938.82/480.28 c cleaning 14002 clauses out of 28010 with flag 226254/2123765 944.04/482.87 c cleaning 15002 clauses out of 30009 with flag 259081/2139766 950.48/486.07 c cleaning 16005 clauses out of 32011 with flag 294275/2156770 957.51/489.56 c cleaning 17000 clauses out of 34004 with flag 331876/2174768 964.30/492.92 c cleaning 18002 clauses out of 36006 with flag 371706/2193770 971.49/496.53 c cleaning 18999 clauses out of 37999 with flag 413291/2213765 978.89/500.22 c cleaning 19995 clauses out of 40002 with flag 456853/2234767 987.69/504.62 c cleaning 21000 clauses out of 42009 with flag 502374/2256769 997.74/509.64 c cleaning 22003 clauses out of 44006 with flag 550119/2279766 1008.12/514.98 c cleaning 23001 clauses out of 46004 with flag 599565/2303767 1019.54/520.67 c cleaning 24001 clauses out of 48002 with flag 651286/2328766 1031.37/526.57 c cleaning 25002 clauses out of 50004 with flag 705686/2354769 1046.25/533.91 c cleaning 26000 clauses out of 51999 with flag 761358/2381766 1061.50/541.53 c cleaning 26999 clauses out of 53998 with flag 818677/2409765 1075.91/548.77 c cleaning 27994 clauses out of 55999 with flag 878151/2438765 1091.33/556.47 c cleaning 29001 clauses out of 58005 with flag 939501/2468765 1108.15/564.80 c cleaning 29999 clauses out of 60004 with flag 1002625/2499765 1125.57/573.52 c cleaning 31004 clauses out of 62007 with flag 1068056/2531767 1142.97/582.26 c cleaning 31992 clauses out of 64002 with flag 1135908/2564766 1161.82/591.61 c cleaning 33005 clauses out of 66011 with flag 1206110/2598767 1181.23/601.38 c cleaning 33997 clauses out of 68006 with flag 1278754/2633767 1200.83/611.14 c cleaning 34997 clauses out of 70008 with flag 1352909/2669766 1211.65/616.56 c And the winner is solver0 1214.65/619.47 c Got one! Elapsed wall clock time (in seconds):619.353 1214.65/619.47 o 16 1219.45/621.91 c cleaning 31433 clauses out of 62872 with flag 10538/2697627 1219.85/622.14 c And the winner is solver0 1220.23/622.62 c Got one! Elapsed wall clock time (in seconds):622.504 1220.23/622.62 o 15 1222.99/624.11 c cleaning 18671 clauses out of 37358 with flag 10542/2703546 1224.81/625.04 c cleaning 12335 clauses out of 24683 with flag 22825/2709542 1226.62/625.93 c cleaning 9661 clauses out of 19350 with flag 37196/2716544 1228.41/626.88 c cleaning 8830 clauses out of 17686 with flag 53452/2724541 1230.62/627.97 c cleaning 8923 clauses out of 17857 with flag 71813/2733542 1233.02/629.10 c cleaning 9466 clauses out of 18934 with flag 92255/2743542 1235.64/630.44 c cleaning 10232 clauses out of 20469 with flag 114630/2754543 1238.83/632.08 c cleaning 11119 clauses out of 22238 with flag 139130/2766544 1242.45/633.89 c cleaning 12059 clauses out of 24117 with flag 165766/2779542 1246.47/635.82 c cleaning 13025 clauses out of 26059 with flag 194270/2793543 1250.68/637.91 c cleaning 14017 clauses out of 28036 with flag 225122/2808545 1255.51/640.40 c cleaning 15008 clauses out of 30016 with flag 257640/2824542 1260.91/643.03 c cleaning 16003 clauses out of 32009 with flag 292293/2841543 1267.13/646.11 c cleaning 17001 clauses out of 34004 with flag 329200/2859541 1273.55/649.33 c cleaning 18002 clauses out of 36005 with flag 368184/2878543 1281.19/653.15 c cleaning 19000 clauses out of 38001 with flag 408961/2898541 1289.62/657.32 c cleaning 20001 clauses out of 40001 with flag 451819/2919541 1298.07/661.57 c cleaning 20997 clauses out of 42001 with flag 496736/2941542 1307.48/666.24 c cleaning 22003 clauses out of 44005 with flag 543471/2964543 1318.11/671.55 c cleaning 23000 clauses out of 46000 with flag 592461/2988541 1330.39/677.61 c cleaning 23998 clauses out of 48001 with flag 643739/3013542 1342.54/683.83 c cleaning 25001 clauses out of 50003 with flag 697224/3039542 1355.40/690.23 c cleaning 26000 clauses out of 52003 with flag 753195/3066543 1369.85/697.49 c cleaning 26999 clauses out of 54001 with flag 812156/3094541 1383.49/704.29 c cleaning 28001 clauses out of 56003 with flag 872861/3123542 1397.97/711.40 c cleaning 29000 clauses out of 58003 with flag 935908/3153543 1415.24/720.00 c cleaning 29996 clauses out of 60003 with flag 999892/3184543 1432.06/728.43 c cleaning 30999 clauses out of 62006 with flag 1066010/3216542 1451.54/738.14 c cleaning 32003 clauses out of 64006 with flag 1133723/3249541 1473.38/749.04 c cleaning 33000 clauses out of 66005 with flag 1203685/3283543 1496.91/760.73 c cleaning 33999 clauses out of 68003 with flag 1276322/3318541 1519.01/771.79 c cleaning 35001 clauses out of 70006 with flag 1351028/3354543 1540.64/782.59 c cleaning 35997 clauses out of 72004 with flag 1427704/3391542 1563.27/793.86 c cleaning 36999 clauses out of 74007 with flag 1506255/3429542 1585.86/805.16 c cleaning 37995 clauses out of 76008 with flag 1586344/3468542 1612.74/818.52 c cleaning 38998 clauses out of 78012 with flag 1668960/3508541 1643.25/833.98 c cleaning 40002 clauses out of 80014 with flag 1753646/3549541 1668.50/846.59 c cleaning 41002 clauses out of 82012 with flag 1840501/3591541 1695.13/859.86 c cleaning 41999 clauses out of 84014 with flag 1929052/3634545 1722.57/873.56 c cleaning 42999 clauses out of 86011 with flag 2021373/3678541 1748.60/886.52 c cleaning 44004 clauses out of 88016 with flag 2113863/3723545 1780.21/902.33 c cleaning 44997 clauses out of 90008 with flag 2208914/3769541 1787.63/906.05 c And the winner is solver0 1788.31/906.59 c Got one! Elapsed wall clock time (in seconds):906.47 1788.31/906.59 o 14 1794.26/909.70 c cleaning 32258 clauses out of 64543 with flag 10493/3789073 1797.67/911.35 c cleaning 19136 clauses out of 38287 with flag 22883/3795075 1800.08/912.50 c >>>>>>>>>> Solver number 0 (42 answers) <<<<<<<<<<<<<<<<<< 1800.08/912.50 c starts : 3101 1800.08/912.50 c conflicts : 3801522 1800.08/912.50 c decisions : 3992758 1800.08/912.50 c propagations : 34129793 1800.08/912.50 c inspects : 18593689361 1800.08/912.50 c shortcuts : 0 1800.08/912.50 c learnt literals : 0 1800.08/912.50 c learnt binary clauses : 0 1800.08/912.50 c learnt ternary clauses : 0 1800.08/912.50 c learnt constraints : 3801522 1800.08/912.50 c ignored constraints : 0 1800.08/912.50 c root simplifications : 0 1800.08/912.50 c removed literals (reason simplification) : 33795285 1800.08/912.50 c reason swapping (by a shorter reason) : 0 1800.08/912.50 c Calls to reduceDB : 198 1800.08/912.50 c Number of update (reduction) of LBD : 201495 1800.08/912.50 c Imported unit clauses : 0 1800.08/912.50 c number of reductions to clauses (during analyze) : 0 1800.08/912.50 c number of learned constraints concerned by reduction : 0 1800.08/912.50 c number of learning phase by resolution : 0 1800.08/912.50 c number of learning phase by cutting planes : 0 1800.08/912.50 c speed (assignments/second) : 37804.42047454639 1800.08/912.50 c non guided choices 983 1800.08/912.52 c learnt constraints type 1800.08/912.52 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25598 1800.08/912.52 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.08/912.52 c starts : 75 1800.08/912.52 c conflicts : 5808 1800.08/912.52 c decisions : 15402 1800.08/912.52 c propagations : 68375 1800.08/912.52 c inspects : 78428597 1800.08/912.52 c shortcuts : 0 1800.08/912.52 c learnt literals : 0 1800.08/912.52 c learnt binary clauses : 0 1800.08/912.52 c learnt ternary clauses : 0 1800.08/912.52 c learnt constraints : 5785 1800.08/912.52 c ignored constraints : 0 1800.08/912.52 c root simplifications : 0 1800.08/912.52 c removed literals (reason simplification) : 0 1800.08/912.52 c reason swapping (by a shorter reason) : 0 1800.08/912.52 c Calls to reduceDB : 0 1800.08/912.52 c Number of update (reduction) of LBD : 0 1800.08/912.52 c Imported unit clauses : 0 1800.08/912.52 c number of reductions to clauses (during analyze) : 0 1800.08/912.52 c number of learned constraints concerned by reduction : 0 1800.08/912.52 c number of learning phase by resolution : 0 1800.08/912.52 c number of learning phase by cutting planes : 0 1800.08/912.52 c speed (assignments/second) : 13161.69393647738 1800.08/912.52 c non guided choices 908 1800.08/912.52 c learnt constraints type 1800.08/912.52 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7 1800.08/912.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5778 1800.08/912.52 s SATISFIABLE 1800.08/912.52 c Found 44 solution(s) 1800.08/912.52 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 1800.08/912.52 c objective function=14 1800.08/912.52 c Total wall clock time (in seconds): 912.403
OK 14
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-4081376-1465232265/watcher-4081376-1465232265 -o /tmp/evaluation-result-4081376-1465232265/solver-4081376-1465232265 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3987 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081376-1465232265.opb pid=13043 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.99 3.97 3.93 4/197 13046 /proc/meminfo: memFree=31275548/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=5632 CPUtime=0 cores=1,3,5,7 /proc/13046/stat : 13046 (java) R 13043 13046 3970 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 105161788 5767168 52 33554432000 1073741824 1073778376 140733981005440 140733981002568 249640873863 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 1408 55 43 9 0 30 0 [startup+0.10006 s] /proc/loadavg: 3.99 3.97 3.93 4/197 13046 /proc/meminfo: memFree=31275548/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 4415 0 1 0 8 1 0 0 20 0 18 0 105161788 9787879424 6048 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2389619 6048 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200239 s] /proc/loadavg: 3.99 3.97 3.93 4/197 13046 /proc/meminfo: memFree=31275548/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=0.29 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 5746 0 1 0 27 2 0 0 20 0 22 0 105161788 10060525568 8466 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 8466 2222 9 0 2446860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9824732 [startup+0.300223 s] /proc/loadavg: 3.99 3.97 3.93 4/197 13046 /proc/meminfo: memFree=31275548/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9825524 CPUtime=0.69 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 10201 0 1 0 65 4 0 0 20 0 20 0 105161788 10061336576 11934 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456381 11955 2242 9 0 2447058 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9825524 [startup+0.707243 s] /proc/loadavg: 3.99 3.97 3.93 4/197 13046 /proc/meminfo: memFree=31275548/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 11680 0 1 0 93 5 0 0 20 0 22 0 105161788 10060525568 13705 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 13705 2250 9 0 2446860 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 9824732 [startup+1.50084 s] /proc/loadavg: 3.99 3.97 3.93 7/219 13071 /proc/meminfo: memFree=31167376/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=3.27 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 25826 0 1 0 316 11 0 0 20 0 19 0 105161788 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 38586 2271 9 0 2446860 0 [pid=13046/tid=13048] ppid=13043 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/13046/task/13048/stat : 13048 (java) S 13043 13046 3970 0 -1 4202560 2426 0 1 0 14 0 0 0 20 0 19 0 105161789 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514184938360 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13049] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13049/stat : 13049 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514157390120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13050] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13050/stat : 13050 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514156337320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13051] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13051/stat : 13051 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514155285032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13052] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13052/stat : 13052 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514154232232 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13053] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13053/stat : 13053 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514153179944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13054] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13054/stat : 13054 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514152127144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13055] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13055/stat : 13055 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514021649448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13056] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13056/stat : 13056 (java) S 13043 13046 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140514020596648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13057] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13057/stat : 13057 (java) S 13043 13046 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105161791 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513537648872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13058] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13058/stat : 13058 (java) S 13043 13046 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105161792 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513536594936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13059] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13059/stat : 13059 (java) S 13043 13046 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105161792 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513535542536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13060] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13060/stat : 13060 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513534491024 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13061] ppid=13043 vsize=9824732 CPUtime=0.88 cores=1,3,5,7 /proc/13046/task/13061/stat : 13061 (java) S 13043 13046 3970 0 -1 4202560 12370 0 0 0 86 2 0 0 20 0 19 0 105161794 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513533438648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13062] ppid=13043 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/13046/task/13062/stat : 13062 (java) S 13043 13046 3970 0 -1 4202560 9614 0 0 0 90 3 0 0 20 0 19 0 105161794 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513532385848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13063] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13063/stat : 13063 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513531333752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13064] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13064/stat : 13064 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513530281160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13067] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13067/stat : 13067 (java) S 13043 13046 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105161805 10060525568 38586 33554432000 1073741824 1073778376 140733981005440 140513527121064 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.27 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 3.99 3.97 3.93 3/216 13077 /proc/meminfo: memFree=31118256/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=3.27 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 25854 0 1 0 316 11 0 0 20 0 19 0 105161788 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 42683 2271 9 0 2446860 0 [pid=13046/tid=13048] ppid=13043 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/13046/task/13048/stat : 13048 (java) S 13043 13046 3970 0 -1 4202560 2427 0 1 0 14 0 0 0 20 0 19 0 105161789 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514184938360 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13049] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13049/stat : 13049 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514157390120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13050] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13050/stat : 13050 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514156337320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13051] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13051/stat : 13051 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514155285032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13052] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13052/stat : 13052 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514154232232 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13053] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13053/stat : 13053 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514153179944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13054] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13054/stat : 13054 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514152127144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13055] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13055/stat : 13055 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514021649448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13056] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13056/stat : 13056 (java) S 13043 13046 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140514020596648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13057] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13057/stat : 13057 (java) S 13043 13046 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105161791 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513537648872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13058] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13058/stat : 13058 (java) S 13043 13046 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105161792 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513536594936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13059] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13059/stat : 13059 (java) S 13043 13046 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105161792 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513535542536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13060] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13060/stat : 13060 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513534491024 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13061] ppid=13043 vsize=9824732 CPUtime=0.88 cores=1,3,5,7 /proc/13046/task/13061/stat : 13061 (java) S 13043 13046 3970 0 -1 4202560 12370 0 0 0 86 2 0 0 20 0 19 0 105161794 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513533438648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13062] ppid=13043 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/13046/task/13062/stat : 13062 (java) S 13043 13046 3970 0 -1 4202560 9614 0 0 0 90 3 0 0 20 0 19 0 105161794 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513532385848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13063] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13063/stat : 13063 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513531333752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13064] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13064/stat : 13064 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513530281160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13067] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13067/stat : 13067 (java) S 13043 13046 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105161805 10060525568 42683 33554432000 1073741824 1073778376 140733981005440 140513527121064 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.27 Current children cumulated vsize (KiB) 9824732 [startup+6.30088 s] /proc/loadavg: 3.83 3.94 3.92 3/216 13095 /proc/meminfo: memFree=31060676/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=5.8 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 26079 0 1 0 552 28 0 0 20 0 19 0 105161788 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 58586 2285 9 0 2446860 0 [pid=13046/tid=13048] ppid=13043 vsize=9824732 CPUtime=0.15 cores=1,3,5,7 /proc/13046/task/13048/stat : 13048 (java) S 13043 13046 3970 0 -1 4202560 2428 0 1 0 15 0 0 0 20 0 19 0 105161789 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514184938360 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13049] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13049/stat : 13049 (java) S 13043 13046 3970 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514157390120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13050] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13050/stat : 13050 (java) S 13043 13046 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514156337320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13051] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13051/stat : 13051 (java) S 13043 13046 3970 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514155285032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13052] ppid=13043 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/13046/task/13052/stat : 13052 (java) S 13043 13046 3970 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514154232232 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13053] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13053/stat : 13053 (java) S 13043 13046 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514153179944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13054] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13054/stat : 13054 (java) S 13043 13046 3970 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514152127144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13055] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13055/stat : 13055 (java) S 13043 13046 3970 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514021649448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13056] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13056/stat : 13056 (java) S 13043 13046 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105161790 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140514020596648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13057] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13057/stat : 13057 (java) S 13043 13046 3970 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 105161791 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513537648872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13058] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13058/stat : 13058 (java) S 13043 13046 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105161792 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513536594936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13059] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13059/stat : 13059 (java) S 13043 13046 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105161792 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513535542536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13060] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13060/stat : 13060 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513534491024 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13061] ppid=13043 vsize=9824732 CPUtime=0.9 cores=1,3,5,7 /proc/13046/task/13061/stat : 13061 (java) S 13043 13046 3970 0 -1 4202560 12370 0 0 0 87 3 0 0 20 0 19 0 105161794 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513533438648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13062] ppid=13043 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/13046/task/13062/stat : 13062 (java) S 13043 13046 3970 0 -1 4202560 9614 0 0 0 94 3 0 0 20 0 19 0 105161794 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513532385848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13063] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13063/stat : 13063 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513531333752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13064] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13064/stat : 13064 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105161794 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513530281160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13092] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13092/stat : 13092 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105162256 10060525568 58586 33554432000 1073741824 1073778376 140733981005440 140513527120936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 5.8 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 3.65 3.80 3.85 4/217 13471 /proc/meminfo: memFree=29843320/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=1740.2 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 33382 0 1 0 173781 239 0 0 20 0 22 0 105161788 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 335417 2293 9 0 2446860 0 [pid=13046/tid=13048] ppid=13043 vsize=9824732 CPUtime=1.1 cores=1,3,5,7 /proc/13046/task/13048/stat : 13048 (java) S 13043 13046 3970 0 -1 4202560 2439 0 1 0 107 3 0 0 20 0 22 0 105161789 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514184938360 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13049] ppid=13043 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/13046/task/13049/stat : 13049 (java) S 13043 13046 3970 0 -1 4202560 436 0 0 0 139 8 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514157390120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13050] ppid=13043 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/13046/task/13050/stat : 13050 (java) S 13043 13046 3970 0 -1 4202560 386 0 0 0 127 8 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514156337320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13051] ppid=13043 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/13046/task/13051/stat : 13051 (java) S 13043 13046 3970 0 -1 4202560 444 0 0 0 134 8 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514155285032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13052] ppid=13043 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/13046/task/13052/stat : 13052 (java) S 13043 13046 3970 0 -1 4202560 272 0 0 0 129 8 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514154232232 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13053] ppid=13043 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/13046/task/13053/stat : 13053 (java) S 13043 13046 3970 0 -1 4202560 470 0 0 0 137 11 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514153179944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13054] ppid=13043 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/13046/task/13054/stat : 13054 (java) S 13043 13046 3970 0 -1 4202560 353 0 0 0 131 9 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514152127144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13055] ppid=13043 vsize=9824732 CPUtime=1.51 cores=1,3,5,7 /proc/13046/task/13055/stat : 13055 (java) S 13043 13046 3970 0 -1 4202560 636 0 0 0 141 10 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514021649448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13056] ppid=13043 vsize=9824732 CPUtime=1.35 cores=1,3,5,7 /proc/13046/task/13056/stat : 13056 (java) S 13043 13046 3970 0 -1 4202560 245 0 0 0 127 8 0 0 20 0 22 0 105161790 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140514020596648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13057] ppid=13043 vsize=9824732 CPUtime=1.47 cores=1,3,5,7 /proc/13046/task/13057/stat : 13057 (java) S 13043 13046 3970 0 -1 4202560 1222 0 0 0 125 22 0 0 20 0 22 0 105161791 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513537648872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13058] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13058/stat : 13058 (java) S 13043 13046 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105161792 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513536594936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13059] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13059/stat : 13059 (java) S 13043 13046 3970 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 105161792 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513535542536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13060] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13060/stat : 13060 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105161794 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513534491024 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13061] ppid=13043 vsize=9824732 CPUtime=0.95 cores=1,3,5,7 /proc/13046/task/13061/stat : 13061 (java) S 13043 13046 3970 0 -1 4202560 12371 0 0 0 92 3 0 0 20 0 22 0 105161794 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513533438648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13062] ppid=13043 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/13046/task/13062/stat : 13062 (java) S 13043 13046 3970 0 -1 4202560 9621 0 0 0 112 3 0 0 20 0 22 0 105161794 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513532385848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13063] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13063/stat : 13063 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105161794 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513531333752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13064] ppid=13043 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/13046/task/13064/stat : 13064 (java) S 13043 13046 3970 0 -1 4202560 50 0 0 0 9 17 0 0 20 0 22 0 105161794 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513530281160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13116] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13116/stat : 13116 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105162759 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513527120936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13233] ppid=13043 vsize=9824732 CPUtime=257.46 cores=1,3,5,7 /proc/13046/task/13233/stat : 13233 (java) R 13043 13046 3970 0 -1 4202560 29 0 0 0 25741 5 0 0 20 0 22 0 105224070 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513526066704 140514033269182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13234] ppid=13043 vsize=9824732 CPUtime=257.43 cores=1,3,5,7 /proc/13046/task/13234/stat : 13234 (java) R 13043 13046 3970 0 -1 4202560 908 0 0 0 25737 6 0 0 20 0 22 0 105224070 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513529223104 140514033198813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13235] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13235/stat : 13235 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105224104 10060525568 335417 33554432000 1073741824 1073778376 140733981005440 140513528173992 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1740.2 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+912.501 s] /proc/loadavg: 3.53 3.76 3.83 5/219 13525 /proc/meminfo: memFree=29959576/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 33457 0 1 0 179756 252 0 0 20 0 22 0 105161788 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 320431 2293 9 0 2446860 0 [pid=13046/tid=13048] ppid=13043 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/13046/task/13048/stat : 13048 (java) S 13043 13046 3970 0 -1 4202560 2440 0 1 0 134 3 0 0 20 0 22 0 105161789 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514184938360 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13049] ppid=13043 vsize=9824732 CPUtime=1.52 cores=1,3,5,7 /proc/13046/task/13049/stat : 13049 (java) S 13043 13046 3970 0 -1 4202560 453 0 0 0 144 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514157390120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13050] ppid=13043 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/13046/task/13050/stat : 13050 (java) S 13043 13046 3970 0 -1 4202560 418 0 0 0 133 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514156337320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13051] ppid=13043 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/13046/task/13051/stat : 13051 (java) S 13043 13046 3970 0 -1 4202560 444 0 0 0 138 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514155285032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13052] ppid=13043 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/13046/task/13052/stat : 13052 (java) S 13043 13046 3970 0 -1 4202560 276 0 0 0 136 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514154232232 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13053] ppid=13043 vsize=9824732 CPUtime=1.56 cores=1,3,5,7 /proc/13046/task/13053/stat : 13053 (java) S 13043 13046 3970 0 -1 4202560 470 0 0 0 145 11 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514153179944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13054] ppid=13043 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/13046/task/13054/stat : 13054 (java) S 13043 13046 3970 0 -1 4202560 353 0 0 0 136 9 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514152127144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13055] ppid=13043 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/13046/task/13055/stat : 13055 (java) S 13043 13046 3970 0 -1 4202560 636 0 0 0 145 10 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514021649448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13056] ppid=13043 vsize=9824732 CPUtime=1.38 cores=1,3,5,7 /proc/13046/task/13056/stat : 13056 (java) S 13043 13046 3970 0 -1 4202560 245 0 0 0 130 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514020596648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13057] ppid=13043 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/13046/task/13057/stat : 13057 (java) S 13043 13046 3970 0 -1 4202560 1224 0 0 0 125 23 0 0 20 0 22 0 105161791 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513537648872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13058] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13058/stat : 13058 (java) S 13043 13046 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105161792 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513536594936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13059] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13059/stat : 13059 (java) S 13043 13046 3970 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 105161792 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513535542536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13060] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13060/stat : 13060 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513534491024 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13061] ppid=13043 vsize=9824732 CPUtime=0.95 cores=1,3,5,7 /proc/13046/task/13061/stat : 13061 (java) S 13043 13046 3970 0 -1 4202560 12371 0 0 0 92 3 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513533438648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13062] ppid=13043 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/13046/task/13062/stat : 13062 (java) S 13043 13046 3970 0 -1 4202560 9622 0 0 0 112 3 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513532385848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13063] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13063/stat : 13063 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513531333752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13064] ppid=13043 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/13046/task/13064/stat : 13064 (java) S 13043 13046 3970 0 -1 4202560 52 0 0 0 9 18 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513530281160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13116] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13116/stat : 13116 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105162759 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513527120936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13508] ppid=13043 vsize=9824732 CPUtime=5.54 cores=1,3,5,7 /proc/13046/task/13508/stat : 13508 (java) R 13043 13046 3970 0 -1 4202560 4 0 0 0 554 0 0 0 20 0 22 0 105252475 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513529226080 140514033269219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13509] ppid=13043 vsize=9824732 CPUtime=5.54 cores=1,3,5,7 /proc/13046/task/13509/stat : 13509 (java) R 13043 13046 3970 0 -1 4202560 6 0 0 0 554 0 0 0 20 0 22 0 105252475 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513526067184 140514033455866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13510] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13510/stat : 13510 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105252521 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513528174120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 13046 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+912.501 s] /proc/loadavg: 3.53 3.76 3.83 5/219 13525 /proc/meminfo: memFree=29959576/32872528 swapFree=10608/190480 [pid=13046] ppid=13043 vsize=9824732 CPUtime=1800.08 cores=1,3,5,7 /proc/13046/stat : 13046 (java) S 13043 13046 3970 0 -1 4202496 33457 0 1 0 179756 252 0 0 20 0 22 0 105161788 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140733980996576 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13046/statm: 2456183 320431 2293 9 0 2446860 0 [pid=13046/tid=13048] ppid=13043 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/13046/task/13048/stat : 13048 (java) S 13043 13046 3970 0 -1 4202560 2440 0 1 0 134 3 0 0 20 0 22 0 105161789 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514184938360 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13049] ppid=13043 vsize=9824732 CPUtime=1.52 cores=1,3,5,7 /proc/13046/task/13049/stat : 13049 (java) S 13043 13046 3970 0 -1 4202560 453 0 0 0 144 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514157390120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13050] ppid=13043 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/13046/task/13050/stat : 13050 (java) S 13043 13046 3970 0 -1 4202560 418 0 0 0 133 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514156337320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13051] ppid=13043 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/13046/task/13051/stat : 13051 (java) S 13043 13046 3970 0 -1 4202560 444 0 0 0 138 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514155285032 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13052] ppid=13043 vsize=9824732 CPUtime=1.44 cores=1,3,5,7 /proc/13046/task/13052/stat : 13052 (java) S 13043 13046 3970 0 -1 4202560 276 0 0 0 136 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514154232232 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13053] ppid=13043 vsize=9824732 CPUtime=1.56 cores=1,3,5,7 /proc/13046/task/13053/stat : 13053 (java) S 13043 13046 3970 0 -1 4202560 470 0 0 0 145 11 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514153179944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13054] ppid=13043 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/13046/task/13054/stat : 13054 (java) S 13043 13046 3970 0 -1 4202560 353 0 0 0 136 9 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514152127144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13055] ppid=13043 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/13046/task/13055/stat : 13055 (java) S 13043 13046 3970 0 -1 4202560 636 0 0 0 145 10 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514021649448 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13056] ppid=13043 vsize=9824732 CPUtime=1.38 cores=1,3,5,7 /proc/13046/task/13056/stat : 13056 (java) S 13043 13046 3970 0 -1 4202560 245 0 0 0 130 8 0 0 20 0 22 0 105161790 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140514020596648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13057] ppid=13043 vsize=9824732 CPUtime=1.48 cores=1,3,5,7 /proc/13046/task/13057/stat : 13057 (java) S 13043 13046 3970 0 -1 4202560 1224 0 0 0 125 23 0 0 20 0 22 0 105161791 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513537648872 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13058] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13058/stat : 13058 (java) S 13043 13046 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105161792 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513536594936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13059] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13059/stat : 13059 (java) S 13043 13046 3970 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 105161792 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513535542536 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13060] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13060/stat : 13060 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513534491024 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13061] ppid=13043 vsize=9824732 CPUtime=0.95 cores=1,3,5,7 /proc/13046/task/13061/stat : 13061 (java) S 13043 13046 3970 0 -1 4202560 12371 0 0 0 92 3 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513533438648 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13062] ppid=13043 vsize=9824732 CPUtime=1.15 cores=1,3,5,7 /proc/13046/task/13062/stat : 13062 (java) S 13043 13046 3970 0 -1 4202560 9622 0 0 0 112 3 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513532385848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13063] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13063/stat : 13063 (java) S 13043 13046 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513531333752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13064] ppid=13043 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/13046/task/13064/stat : 13064 (java) S 13043 13046 3970 0 -1 4202560 52 0 0 0 9 18 0 0 20 0 22 0 105161794 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513530281160 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13046/tid=13116] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13116/stat : 13116 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105162759 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513527120936 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13046/tid=13508] ppid=13043 vsize=9824732 CPUtime=5.54 cores=1,3,5,7 /proc/13046/task/13508/stat : 13508 (java) R 13043 13046 3970 0 -1 4202560 4 0 0 0 554 0 0 0 20 0 22 0 105252475 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513529226080 140514033269219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13046/tid=13509] ppid=13043 vsize=9824732 CPUtime=5.54 cores=1,3,5,7 /proc/13046/task/13509/stat : 13509 (java) R 13043 13046 3970 0 -1 4202560 6 0 0 0 554 0 0 0 20 0 22 0 105252475 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513526067184 140514033455866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13046/tid=13510] ppid=13043 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/13046/task/13510/stat : 13510 (java) S 13043 13046 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105252521 10060525568 320431 33554432000 1073741824 1073778376 140733981005440 140513528174120 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 912.543 CPU time (s): 1800.43 CPU user time (s): 1797.72 CPU system time (s): 2.71259 CPU usage (%): 197.298 Max. virtual memory (cumulated for all children) (KiB): 9825524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.72 system time used= 2.71259 maximum resident set size= 1774428 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33506 page faults= 1 swaps= 0 block input operations= 0 block output operations= 912 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31329 involuntary context switches= 36624 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.58715 second user time and 7.58085 second system time The end
Begin job on node102 at 2016-06-06 18:57:45 IDJOB=4081376 IDBENCH=2902 IDSOLVER=2543 FILE ID=node102/4081376-1465232265 RUNJOBID= node102-1465216787-3987 PBS_JOBID= 19843204 Free space on /tmp= 71740 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081376-1465232265/watcher-4081376-1465232265 -o /tmp/evaluation-result-4081376-1465232265/solver-4081376-1465232265 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3987 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081376-1465232265.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=1824662936 node102.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.470 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.94 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.470 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.470 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.470 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.56 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.470 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 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: 31276076 kB Buffers: 25680 kB Cached: 54880 kB SwapCached: 2320 kB Active: 641880 kB Inactive: 54488 kB Active(anon): 616728 kB Inactive(anon): 1568 kB Active(file): 25152 kB Inactive(file): 52920 kB Unevictable: 190480 kB Mlocked: 10608 kB SwapTotal: 67108856 kB SwapFree: 67098420 kB Dirty: 904 kB Writeback: 0 kB AnonPages: 815716 kB Mapped: 15252 kB Shmem: 0 kB Slab: 566628 kB SReclaimable: 10564 kB SUnreclaim: 556064 kB KernelStack: 1592 kB PageTables: 6304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1210276 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 757760 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= 71740 MiB End job on node102 at 2016-06-06 19:12:57