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) | -242 | 1800.66 | 911.761 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb |
| MD5SUM | e4ba4a3f2bd79be3a11f0c3bfef48c76 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -270 |
| Best CPU time to get the best result obtained on this benchmark | 1800.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 882 |
| Total number of constraints | 1664 |
| Number of constraints which are clauses | 832 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 832 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 882 |
| Biggest coefficient in the objective function | 34 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 13140 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 13140 |
| Number of bits of the biggest sum of numbers | 14 |
| 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.08/0.11 c version PB16.v20160501 0.08/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.11 c java.vm.version 19.1-b02 0.08/0.11 c java.vm.vendor Sun Microsystems Inc. 0.08/0.11 c sun.arch.data.model 64 0.08/0.11 c java.version 1.6.0_24 0.08/0.11 c os.name Linux 0.08/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.11 c os.arch amd64 0.08/0.11 c Free memory 501472288 0.08/0.11 c Max memory 7480803328 0.08/0.11 c Total memory 504102912 0.08/0.11 c Number of processors 8 0.08/0.14 c Pseudo Boolean Optimization by upper bound 0.08/0.14 c ManyCore solver with 2 solvers running in parallel 0.08/0.14 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.14 c --- Begin Solver configuration --- 0.08/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.14 c Learn all clauses as in MiniSAT 0.08/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.14 c Expensive reason simplification 0.08/0.14 c Glucose 2.1 dynamic restart strategy 0.08/0.14 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.08/0.14 c timeout=2147483s 0.08/0.14 c DB Simplification allowed=false 0.08/0.14 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.14 c --- End Solver configuration --- 0.08/0.14 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.14 c --- Begin Solver configuration --- 0.08/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.14 c Learn all clauses as in MiniSAT 0.08/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.14 c No reason simplification 0.08/0.14 c Armin Biere (Picosat) restarts strategy 0.08/0.14 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.08/0.14 c timeout=2147483s 0.08/0.14 c DB Simplification allowed=false 0.08/0.14 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.14 c --- End Solver configuration --- 0.08/0.14 c solving HOME/instance-4118305-1467224908.opb 0.08/0.14 c reading problem ... 0.08/0.14 c objective function found 0.43/0.34 c ... done. Wall clock time 0.204s. 0.43/0.34 c declared #vars 882 0.43/0.34 c #constraints 1664 0.43/0.35 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.43/0.35 c constraints type 0.43/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 832 0.43/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 832 0.43/0.35 c 1664 constraints processed. 0.43/0.35 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.43/0.35 c constraints type 0.43/0.35 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 832 0.43/0.35 c org.sat4j.pb.constraints.pb.MaxWatchPb => 832 0.43/0.35 c 1664 constraints processed. 0.43/0.35 c objective function length is 882 literals 0.43/0.37 c And the winner is solver0 0.65/0.85 c SATISFIABLE 0.65/0.85 c OPTIMIZING... 0.65/0.85 c Got one! Elapsed wall clock time (in seconds):0.71 0.65/0.85 o -55 0.77/0.90 c And the winner is solver0 1.01/1.37 c Got one! Elapsed wall clock time (in seconds):1.226 1.01/1.37 o -57 1.01/1.39 c And the winner is solver0 1.23/1.88 c Got one! Elapsed wall clock time (in seconds):1.737 1.23/1.88 o -58 2.09/2.11 c And the winner is solver0 2.14/2.38 c Got one! Elapsed wall clock time (in seconds):2.242 2.14/2.38 o -73 2.14/2.39 c And the winner is solver0 2.14/2.89 c Got one! Elapsed wall clock time (in seconds):2.745 2.14/2.89 o -89 2.14/2.89 c And the winner is solver0 2.15/3.39 c Got one! Elapsed wall clock time (in seconds):3.248 2.15/3.39 o -91 2.15/3.39 c And the winner is solver0 2.20/3.89 c Got one! Elapsed wall clock time (in seconds):3.751 2.20/3.89 o -92 2.20/3.99 c And the winner is solver0 2.64/4.39 c Got one! Elapsed wall clock time (in seconds):4.254 2.64/4.39 o -93 2.90/4.55 c And the winner is solver0 3.10/4.90 c Got one! Elapsed wall clock time (in seconds):4.764 3.10/4.90 o -94 3.10/4.94 c And the winner is solver0 3.18/5.41 c Got one! Elapsed wall clock time (in seconds):5.267 3.18/5.41 o -116 3.18/5.46 c And the winner is solver0 3.32/5.91 c Got one! Elapsed wall clock time (in seconds):5.769 3.32/5.91 o -117 3.32/5.91 c And the winner is solver0 3.36/6.42 c Got one! Elapsed wall clock time (in seconds):6.272 3.36/6.42 o -123 3.36/6.42 c And the winner is solver0 4.98/7.82 c Got one! Elapsed wall clock time (in seconds):7.677 4.98/7.82 o -125 4.98/7.82 c And the winner is solver0 4.99/8.32 c Got one! Elapsed wall clock time (in seconds):8.179 4.99/8.32 o -126 5.16/8.42 c And the winner is solver0 5.22/8.83 c Got one! Elapsed wall clock time (in seconds):8.688 5.22/8.83 o -128 5.58/9.03 c And the winner is solver0 5.68/9.33 c Got one! Elapsed wall clock time (in seconds):9.19 5.68/9.33 o -129 5.87/9.49 c And the winner is solver0 6.18/9.83 c Got one! Elapsed wall clock time (in seconds):9.692 6.18/9.83 o -130 6.32/9.92 c And the winner is solver0 6.38/10.33 c Got one! Elapsed wall clock time (in seconds):10.194 6.38/10.33 o -131 6.38/10.34 c And the winner is solver0 6.38/10.84 c Got one! Elapsed wall clock time (in seconds):10.695 6.38/10.84 o -133 6.38/10.84 c And the winner is solver0 6.39/11.34 c Got one! Elapsed wall clock time (in seconds):11.197 6.39/11.34 o -135 6.39/11.34 c And the winner is solver0 6.39/11.84 c Got one! Elapsed wall clock time (in seconds):11.699 6.39/11.84 o -136 6.97/12.12 c And the winner is solver0 7.02/12.34 c Got one! Elapsed wall clock time (in seconds):12.2 7.02/12.34 o -142 7.35/12.51 c cleaning 4938 clauses out of 9876 with flag 2001/9876 8.81/13.28 c cleaning 5468 clauses out of 10939 with flag 14003/15877 9.87/13.73 c And the winner is solver0 9.97/13.84 c Got one! Elapsed wall clock time (in seconds):13.702 9.97/13.84 o -143 10.48/14.11 c cleaning 5467 clauses out of 10935 with flag 4063/21341 11.94/14.88 c And the winner is solver0 12.19/15.34 c Got one! Elapsed wall clock time (in seconds):15.205 12.19/15.34 o -144 13.69/16.15 c cleaning 8034 clauses out of 16073 with flag 10060/31946 13.69/16.15 c And the winner is solver0 13.85/16.35 c Got one! Elapsed wall clock time (in seconds):16.207 13.85/16.35 o -146 13.94/16.50 c And the winner is solver0 14.19/16.85 c Got one! Elapsed wall clock time (in seconds):16.709 14.19/16.85 o -148 14.29/16.99 c And the winner is solver0 14.52/17.35 c Got one! Elapsed wall clock time (in seconds):17.211 14.52/17.35 o -149 14.52/17.36 c And the winner is solver0 14.52/17.85 c Got one! Elapsed wall clock time (in seconds):17.713 14.52/17.85 o -150 15.63/18.43 c cleaning 7081 clauses out of 14166 with flag 8039/38073 17.34/19.27 c cleaning 6540 clauses out of 13085 with flag 20039/44073 18.76/19.95 c And the winner is solver0 18.91/20.36 c Got one! Elapsed wall clock time (in seconds):20.216 18.91/20.36 o -152 20.39/21.13 c cleaning 8469 clauses out of 16939 with flag 10130/54467 22.33/22.01 c cleaning 7229 clauses out of 14470 with flag 22172/60467 22.91/22.39 c And the winner is solver0 23.17/22.86 c Got one! Elapsed wall clock time (in seconds):22.719 23.17/22.86 o -154 23.44/23.01 c And the winner is solver0 23.52/23.36 c Got one! Elapsed wall clock time (in seconds):23.221 23.52/23.36 o -156 23.78/23.51 c cleaning 6203 clauses out of 12416 with flag 2011/65642 25.20/24.29 c cleaning 6102 clauses out of 12213 with flag 14013/71642 27.18/25.26 c cleaning 6554 clauses out of 13111 with flag 28029/78642 27.98/25.70 c And the winner is solver1 28.20/25.86 c Got one! Elapsed wall clock time (in seconds):25.724 28.20/25.86 o -167 28.83/26.12 c And the winner is solver0 28.94/26.37 c Got one! Elapsed wall clock time (in seconds):26.226 28.94/26.37 o -169 28.94/26.40 c And the winner is solver0 29.04/26.87 c Got one! Elapsed wall clock time (in seconds):26.728 29.04/26.87 o -170 29.11/26.90 c And the winner is solver0 29.13/27.37 c Got one! Elapsed wall clock time (in seconds):27.23 29.13/27.37 o -182 29.18/27.42 c And the winner is solver0 29.27/27.87 c Got one! Elapsed wall clock time (in seconds):27.733 29.27/27.87 o -183 29.51/28.02 c cleaning 6402 clauses out of 12809 with flag 2096/84894 29.71/28.14 c And the winner is solver0 29.90/28.37 c Got one! Elapsed wall clock time (in seconds):28.235 29.90/28.37 o -202 31.14/29.05 c cleaning 6135 clauses out of 12274 with flag 11710/90761 32.78/29.86 c And the winner is solver0 32.92/29.98 c Got one! Elapsed wall clock time (in seconds):29.838 32.92/29.98 o -206 33.00/30.09 c And the winner is solver0 33.26/30.48 c Got one! Elapsed wall clock time (in seconds):30.34 33.26/30.48 o -208 33.48/30.61 c And the winner is solver0 33.61/30.98 c Got one! Elapsed wall clock time (in seconds):30.843 33.61/30.98 o -210 34.45/31.40 c And the winner is solver0 34.82/31.59 c Got one! Elapsed wall clock time (in seconds):31.455 34.82/31.59 o -211 35.09/31.70 c And the winner is solver0 35.17/32.10 c Got one! Elapsed wall clock time (in seconds):31.957 35.17/32.10 o -214 36.56/32.70 c cleaning 9703 clauses out of 19416 with flag 6888/104038 36.56/32.77 c And the winner is solver0 37.07/33.10 c Got one! Elapsed wall clock time (in seconds):32.96 37.07/33.10 o -226 37.26/33.23 c And the winner is solver0 37.43/33.60 c Got one! Elapsed wall clock time (in seconds):33.462 37.43/33.60 o -228 37.62/33.74 c And the winner is solver0 37.81/34.10 c Got one! Elapsed wall clock time (in seconds):33.965 37.81/34.10 o -230 39.00/34.73 c cleaning 8087 clauses out of 16180 with flag 9204/110505 41.12/35.65 c cleaning 7047 clauses out of 14093 with flag 27250/116505 43.33/36.71 c cleaning 7018 clauses out of 14043 with flag 46785/123502 43.73/36.95 c And the winner is solver0 43.94/37.11 c Got one! Elapsed wall clock time (in seconds):36.967 43.94/37.11 o -232 44.92/37.68 c cleaning 6329 clauses out of 12659 with flag 8882/129136 47.04/38.62 c cleaning 6166 clauses out of 12331 with flag 21511/135137 49.04/39.67 c cleaning 6583 clauses out of 13165 with flag 35720/142137 51.82/41.01 c cleaning 7288 clauses out of 14581 with flag 51934/150136 53.44/41.83 c And the winner is solver1 53.49/42.11 c Got one! Elapsed wall clock time (in seconds):41.971 53.49/42.11 o -233 53.86/42.32 c And the winner is solver0 54.01/42.61 c Got one! Elapsed wall clock time (in seconds):42.474 54.01/42.61 o -234 55.38/43.33 c cleaning 8871 clauses out of 17746 with flag 10063/160589 57.50/44.37 c cleaning 7436 clauses out of 14876 with flag 24653/166590 59.90/45.58 c cleaning 7216 clauses out of 14439 with flag 42067/173589 62.70/47.00 c cleaning 7609 clauses out of 15223 with flag 64213/181589 66.10/48.68 c cleaning 8307 clauses out of 16616 with flag 87147/190591 69.90/50.57 c cleaning 9149 clauses out of 18307 with flag 111360/200589 70.32/50.78 c And the winner is solver1 70.49/51.12 c Got one! Elapsed wall clock time (in seconds):50.978 70.49/51.12 o -240 70.65/51.28 c And the winner is solver0 70.94/51.62 c Got one! Elapsed wall clock time (in seconds):51.481 70.94/51.62 o -241 71.69/52.09 c cleaning 7259 clauses out of 14519 with flag 7096/205950 74.00/53.17 c cleaning 6621 clauses out of 13258 with flag 23799/211948 76.20/54.29 c cleaning 6815 clauses out of 13638 with flag 43663/218949 79.01/55.65 c cleaning 7407 clauses out of 14822 with flag 67644/226948 82.01/57.19 c cleaning 8198 clauses out of 16414 with flag 94775/235947 85.81/59.07 c cleaning 9106 clauses out of 18217 with flag 120707/245948 90.01/61.19 c cleaning 10053 clauses out of 20110 with flag 153403/256947 96.00/64.32 c cleaning 11023 clauses out of 22057 with flag 190989/268947 101.01/66.84 c cleaning 12016 clauses out of 24036 with flag 228849/281949 107.01/69.81 c cleaning 13004 clauses out of 26019 with flag 271660/295948 114.26/73.44 c cleaning 14003 clauses out of 28014 with flag 322441/310947 122.48/77.50 c cleaning 14999 clauses out of 30011 with flag 378256/326947 131.61/82.06 c cleaning 16007 clauses out of 32013 with flag 438741/343948 141.21/86.81 c cleaning 16999 clauses out of 34006 with flag 504891/361948 152.10/92.25 c cleaning 17997 clauses out of 36006 with flag 575567/380947 162.25/97.50 c cleaning 18998 clauses out of 38010 with flag 626742/400948 176.50/104.67 c cleaning 20006 clauses out of 40012 with flag 673552/421948 188.89/110.80 c And the winner is solver0 189.18/111.22 c Got one! Elapsed wall clock time (in seconds):111.079 189.18/111.22 o -242 192.43/112.81 c cleaning 22622 clauses out of 45244 with flag 15670/447186 194.83/114.04 c cleaning 14311 clauses out of 28622 with flag 32803/453186 197.23/115.23 c cleaning 10654 clauses out of 21312 with flag 53281/460187 199.63/116.46 c cleaning 9329 clauses out of 18658 with flag 75385/468187 202.45/117.86 c cleaning 9163 clauses out of 18329 with flag 99059/477187 205.64/119.43 c cleaning 9580 clauses out of 19165 with flag 124398/487186 209.35/121.24 c cleaning 10288 clauses out of 20585 with flag 153022/498186 213.15/123.18 c cleaning 11147 clauses out of 22297 with flag 186317/510186 217.76/125.43 c cleaning 12076 clauses out of 24151 with flag 222575/523187 222.54/127.83 c cleaning 13031 clauses out of 26074 with flag 263115/537186 227.82/130.48 c cleaning 14021 clauses out of 28044 with flag 304598/552187 233.81/133.42 c cleaning 15007 clauses out of 30023 with flag 350409/568187 240.41/136.73 c cleaning 16003 clauses out of 32016 with flag 392634/585187 247.51/140.29 c cleaning 17003 clauses out of 34012 with flag 437791/603186 254.91/143.93 c cleaning 18003 clauses out of 36010 with flag 484944/622187 263.29/148.04 c cleaning 19002 clauses out of 38007 with flag 531140/642187 272.09/152.48 c cleaning 19998 clauses out of 40004 with flag 585948/663186 282.11/157.32 c cleaning 20997 clauses out of 42007 with flag 644586/685187 292.22/162.33 c cleaning 22000 clauses out of 44009 with flag 702023/708186 303.01/167.73 c cleaning 23002 clauses out of 46009 with flag 767557/732186 314.54/173.44 c cleaning 24004 clauses out of 48007 with flag 835160/757186 326.35/179.24 c cleaning 24997 clauses out of 50003 with flag 902419/783186 339.15/185.66 c cleaning 26002 clauses out of 52007 with flag 973244/810187 353.79/192.83 c cleaning 26993 clauses out of 54004 with flag 1044337/838186 369.56/200.67 c cleaning 28002 clauses out of 56012 with flag 1118543/867187 386.14/208.85 c cleaning 29002 clauses out of 58010 with flag 1199106/897187 403.94/217.64 c cleaning 29994 clauses out of 60007 with flag 1283927/928186 421.78/226.49 c cleaning 31006 clauses out of 62014 with flag 1364976/960187 441.04/235.98 c cleaning 32003 clauses out of 64008 with flag 1452947/993187 461.92/246.90 c cleaning 32994 clauses out of 66004 with flag 1543325/1027186 483.79/257.74 c cleaning 34002 clauses out of 68010 with flag 1635684/1062186 508.07/269.81 c cleaning 34998 clauses out of 70009 with flag 1734466/1098187 533.49/282.41 c cleaning 36002 clauses out of 72011 with flag 1831648/1135187 557.82/294.57 c cleaning 36998 clauses out of 74009 with flag 1924754/1173187 584.31/307.61 c cleaning 38004 clauses out of 76011 with flag 2027873/1212187 610.88/320.85 c cleaning 39001 clauses out of 78007 with flag 2134539/1252187 638.80/334.63 c cleaning 39998 clauses out of 80005 with flag 2234891/1293186 667.99/349.19 c cleaning 40998 clauses out of 82008 with flag 2338286/1335187 699.64/364.77 c cleaning 42001 clauses out of 84010 with flag 2443423/1378187 734.28/381.89 c cleaning 43000 clauses out of 86009 with flag 2550766/1422187 768.35/398.70 c cleaning 43996 clauses out of 88008 with flag 2664269/1467186 805.79/417.10 c cleaning 44999 clauses out of 90012 with flag 2783526/1513186 841.63/434.86 c cleaning 46007 clauses out of 92014 with flag 2902277/1560187 880.37/454.03 c cleaning 47003 clauses out of 94008 with flag 3016429/1608188 917.54/472.45 c cleaning 47996 clauses out of 96003 with flag 3131893/1657186 957.28/492.19 c cleaning 48999 clauses out of 98007 with flag 3246932/1707186 1002.45/514.52 c cleaning 50000 clauses out of 100009 with flag 3368101/1758187 1050.32/539.29 c cleaning 51002 clauses out of 102009 with flag 3495996/1810187 1093.69/560.85 c cleaning 51995 clauses out of 104006 with flag 3637840/1863186 1136.95/582.30 c cleaning 52997 clauses out of 106012 with flag 3776156/1917187 1181.97/604.62 c cleaning 54004 clauses out of 108014 with flag 3911399/1972186 1231.55/629.24 c cleaning 54998 clauses out of 110010 with flag 4048429/2028186 1249.70/638.27 c cleaning 0 clauses out of 6617 with flag 0/6646 1283.93/655.05 c cleaning 56002 clauses out of 112012 with flag 4183332/2085186 1339.21/682.44 c cleaning 57000 clauses out of 114010 with flag 4326527/2143186 1395.48/710.20 c cleaning 58002 clauses out of 116011 with flag 4469614/2202187 1452.23/738.37 c cleaning 58999 clauses out of 118008 with flag 4624373/2262186 1509.24/766.50 c cleaning 60003 clauses out of 120010 with flag 4777129/2323187 1569.84/796.55 c cleaning 60999 clauses out of 122007 with flag 4933445/2385187 1635.48/828.96 c cleaning 62003 clauses out of 124008 with flag 5097554/2448187 1703.22/863.59 c cleaning 62996 clauses out of 126004 with flag 5261892/2512186 1771.31/897.40 c cleaning 64003 clauses out of 128008 with flag 5421733/2577186 1800.01/911.70 c >>>>>>>>>> Solver number 0 (48 answers) <<<<<<<<<<<<<<<<<< 1800.01/911.70 c starts : 5381 1800.01/911.70 c conflicts : 2611932 1800.01/911.70 c decisions : 3522927 1800.01/911.70 c propagations : 93450841 1800.01/911.70 c inspects : 9265861430 1800.01/911.70 c shortcuts : 0 1800.01/911.70 c learnt literals : 0 1800.01/911.70 c learnt binary clauses : 126 1800.01/911.70 c learnt ternary clauses : 805 1800.01/911.70 c learnt constraints : 2611932 1800.01/911.70 c ignored constraints : 0 1800.01/911.70 c root simplifications : 0 1800.01/911.70 c removed literals (reason simplification) : 41470787 1800.01/911.70 c reason swapping (by a shorter reason) : 0 1800.01/911.70 c Calls to reduceDB : 105 1800.01/911.70 c Number of update (reduction) of LBD : 17716 1800.01/911.70 c Imported unit clauses : 0 1800.01/911.70 c number of reductions to clauses (during analyze) : 0 1800.01/911.70 c number of learned constraints concerned by reduction : 0 1800.01/911.70 c number of learning phase by resolution : 0 1800.01/911.70 c number of learning phase by cutting planes : 0 1800.01/911.70 c speed (assignments/second) : 108590.1545812548 1800.01/911.70 c non guided choices 0 1800.01/911.73 c learnt constraints type 1800.01/911.73 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 126 1800.01/911.73 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98625 1800.01/911.73 c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<< 1800.01/911.73 c starts : 89 1800.01/911.73 c conflicts : 8134 1800.01/911.73 c decisions : 11714 1800.01/911.73 c propagations : 468119 1800.01/911.73 c inspects : 831407383 1800.01/911.73 c shortcuts : 0 1800.01/911.73 c learnt literals : 0 1800.01/911.73 c learnt binary clauses : 0 1800.01/911.73 c learnt ternary clauses : 1 1800.01/911.73 c learnt constraints : 8105 1800.01/911.73 c ignored constraints : 0 1800.01/911.73 c root simplifications : 0 1800.01/911.73 c removed literals (reason simplification) : 0 1800.01/911.73 c reason swapping (by a shorter reason) : 0 1800.01/911.73 c Calls to reduceDB : 1 1800.01/911.73 c Number of update (reduction) of LBD : 0 1800.01/911.73 c Imported unit clauses : 0 1800.01/911.73 c number of reductions to clauses (during analyze) : 0 1800.01/911.73 c number of learned constraints concerned by reduction : 0 1800.01/911.73 c number of learning phase by resolution : 0 1800.01/911.73 c number of learning phase by cutting planes : 0 1800.01/911.73 c speed (assignments/second) : 584.7766858336383 1800.01/911.73 c non guided choices 0 1800.01/911.73 c learnt constraints type 1800.01/911.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8105 1800.01/911.73 s SATISFIABLE 1800.01/911.73 c Found 51 solution(s) 1800.01/911.74 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 x9 x10 x11 -x12 x13 x14 x15 x16 -x17 x18 x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 x108 x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 x308 x309 -x310 x311 -x312 -x313 x314 -x315 x316 x317 x318 -x319 -x320 x321 x322 x323 -x324 -x325 -x326 -x327 x328 x329 x330 x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 -x344 x345 x346 x347 -x348 x349 -x350 x351 -x352 x353 x354 -x355 x356 -x357 -x358 x359 -x360 x361 x362 x363 -x364 -x365 x366 x367 x368 -x369 -x370 -x371 -x372 x373 x374 x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 x689 -x690 x691 x692 x693 -x694 x695 x696 x697 -x698 x699 x700 x701 x702 -x703 -x704 -x705 -x706 -x707 x708 x709 x710 -x711 x712 x713 x714 -x715 x716 x717 x718 -x719 x720 x721 x722 -x723 x724 x725 x726 x727 -x728 -x729 -x730 -x731 -x732 x733 x734 x735 -x736 -x737 x738 x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1800.01/911.74 c objective function=-242 1800.01/911.74 c Total wall clock time (in seconds): 911.599
OK -242
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-4118305-1467224908/watcher-4118305-1467224908 -o /tmp/evaluation-result-4118305-1467224908/solver-4118305-1467224908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5283 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118305-1467224908.opb pid=11088 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: 3.84 4.05 4.11 4/197 11091 /proc/meminfo: memFree=27085040/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=2500 CPUtime=0 cores=0,2,4,6 /proc/11091/stat : 11091 (java) D 11088 11091 5267 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 3441976 2560000 46 33554432000 1073741824 1073778376 140733397589872 140733397587000 239863950631 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 625 46 37 9 0 29 0 [startup+0.100068 s] /proc/loadavg: 3.84 4.05 4.11 4/197 11091 /proc/meminfo: memFree=27085040/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 4347 0 1 0 7 1 0 0 20 0 18 0 3441976 9787879424 5473 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2389619 5473 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200223 s] /proc/loadavg: 3.84 4.05 4.11 4/197 11091 /proc/meminfo: memFree=27085040/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9558476 CPUtime=0.2 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 4662 0 1 0 19 1 0 0 20 0 18 0 3441976 9787879424 7269 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2389619 7269 2198 9 0 2380296 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 9558476 [startup+0.300217 s] /proc/loadavg: 3.84 4.05 4.11 4/197 11091 /proc/meminfo: memFree=27085040/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9558476 CPUtime=0.43 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 7037 0 1 0 42 1 0 0 20 0 18 0 3441976 9787879424 9087 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2389619 9087 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 9558476 [startup+0.700266 s] /proc/loadavg: 3.84 4.05 4.11 4/197 11091 /proc/meminfo: memFree=27085040/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 7868 0 1 0 61 4 0 0 20 0 19 0 3441976 10060525568 10744 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2456183 10744 2251 9 0 2446860 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 9824732 [startup+1.50077 s] /proc/loadavg: 3.84 4.05 4.11 3/216 11116 /proc/meminfo: memFree=27038276/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9824732 CPUtime=1.23 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 15416 0 1 0 114 9 0 0 20 0 19 0 3441976 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2456183 16943 2251 9 0 2446860 0 [pid=11091/tid=11093] ppid=11088 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/11091/task/11093/stat : 11093 (java) S 11088 11091 5267 0 -1 4202560 2426 0 1 0 32 0 0 0 20 0 19 0 3441977 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261589431160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11094] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11094/stat : 11094 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261561883304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11095] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11095/stat : 11095 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261560830760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11096] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11096/stat : 11096 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261559778216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11097] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11097/stat : 11097 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261558725672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11098] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11098/stat : 11098 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261557672104 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11099] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11099/stat : 11099 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261556619560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11100] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11100/stat : 11100 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261555567016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11101] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11101/stat : 11101 (java) S 11088 11091 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140261554514472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11102] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11102/stat : 11102 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3441979 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260941990504 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11103] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11103/stat : 11103 (java) S 11088 11091 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3441980 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260940936824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11104] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11104/stat : 11104 (java) S 11088 11091 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3441980 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260939884168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11105] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11105/stat : 11105 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260938832912 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11106] ppid=11088 vsize=9824732 CPUtime=0.35 cores=0,2,4,6 /proc/11091/task/11106/stat : 11106 (java) R 11088 11091 5267 0 -1 4202560 5022 0 0 0 34 1 0 0 20 0 19 0 3441982 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260937766352 140261590991945 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11107] ppid=11088 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/11091/task/11107/stat : 11107 (java) S 11088 11091 5267 0 -1 4202560 6623 0 0 0 38 2 0 0 20 0 19 0 3441982 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260936726712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11108] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11108/stat : 11108 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260935674360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11109] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11109/stat : 11109 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260934622024 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11113] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11113/stat : 11113 (java) S 11088 11091 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3442012 10060525568 16943 33554432000 1073741824 1073778376 140733397589872 140260930410152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 9824732 [startup+3.1008 s] /proc/loadavg: 3.69 4.02 4.10 3/216 11122 /proc/meminfo: memFree=27016276/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9824732 CPUtime=2.15 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 16518 0 1 0 203 12 0 0 20 0 19 0 3441976 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2456183 20930 2257 9 0 2446860 0 [pid=11091/tid=11093] ppid=11088 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/11091/task/11093/stat : 11093 (java) S 11088 11091 5267 0 -1 4202560 2426 0 1 0 33 0 0 0 20 0 19 0 3441977 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261589431160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11094] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11094/stat : 11094 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261561883304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11095] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11095/stat : 11095 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261560830760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11096] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11096/stat : 11096 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261559778216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11097] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11097/stat : 11097 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261558725672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11098] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11098/stat : 11098 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261557672104 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11099] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11099/stat : 11099 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261556619560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11100] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11100/stat : 11100 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261555567016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11101] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11101/stat : 11101 (java) S 11088 11091 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140261554514472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11102] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11102/stat : 11102 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3441979 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260941990504 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11103] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11103/stat : 11103 (java) S 11088 11091 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3441980 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260940936824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11104] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11104/stat : 11104 (java) S 11088 11091 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3441980 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260939884168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11105] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11105/stat : 11105 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260938832912 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11106] ppid=11088 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/11091/task/11106/stat : 11106 (java) S 11088 11091 5267 0 -1 4202560 5237 0 0 0 56 2 0 0 20 0 19 0 3441982 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260937779256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11107] ppid=11088 vsize=9824732 CPUtime=0.62 cores=0,2,4,6 /proc/11091/task/11107/stat : 11107 (java) S 11088 11091 5267 0 -1 4202560 7480 0 0 0 59 3 0 0 20 0 19 0 3441982 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260936726712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11108] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11108/stat : 11108 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260935674360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11109] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11109/stat : 11109 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260934622024 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11113] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11113/stat : 11113 (java) S 11088 11091 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3442012 10060525568 20930 33554432000 1073741824 1073778376 140733397589872 140260930410152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.15 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=31 pid=1810 uid=0 cmd= [startup+6.30081 s] /proc/loadavg: 3.69 4.02 4.10 4/216 11143 /proc/meminfo: memFree=26947856/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9824732 CPUtime=3.36 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 19279 0 1 0 314 22 0 0 20 0 19 0 3441976 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2456183 37387 2270 9 0 2446860 0 [pid=11091/tid=11093] ppid=11088 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/11091/task/11093/stat : 11093 (java) S 11088 11091 5267 0 -1 4202560 2431 0 1 0 34 0 0 0 20 0 19 0 3441977 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261589431160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11094] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11094/stat : 11094 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261561883304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11095] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11095/stat : 11095 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261560830760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11096] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11096/stat : 11096 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261559778216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11097] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11097/stat : 11097 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261558725672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11098] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11098/stat : 11098 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261557672104 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11099] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11099/stat : 11099 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261556619560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11100] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11100/stat : 11100 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261555567016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11101] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11101/stat : 11101 (java) S 11088 11091 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3441978 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140261554514472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11102] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11102/stat : 11102 (java) S 11088 11091 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3441979 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260941990504 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11103] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11103/stat : 11103 (java) S 11088 11091 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3441980 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260940936824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11104] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11104/stat : 11104 (java) S 11088 11091 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3441980 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260939884168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11105] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11105/stat : 11105 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260938832912 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11106] ppid=11088 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/11091/task/11106/stat : 11106 (java) S 11088 11091 5267 0 -1 4202560 7198 0 0 0 83 2 0 0 20 0 19 0 3441982 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260937779256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11107] ppid=11088 vsize=9824732 CPUtime=0.87 cores=0,2,4,6 /proc/11091/task/11107/stat : 11107 (java) S 11088 11091 5267 0 -1 4202560 8193 0 0 0 84 3 0 0 20 0 19 0 3441982 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260936726712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11108] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11108/stat : 11108 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260935674360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11109] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11109/stat : 11109 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3441982 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260934622024 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11113] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11113/stat : 11113 (java) S 11088 11091 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3442012 10060525568 37387 33554432000 1073741824 1073778376 140733397589872 140260930410152 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.36 ################ # More data... # ################ [pid=11091/tid=11094] ppid=11088 vsize=9824732 CPUtime=4.49 cores=0,2,4,6 /proc/11091/task/11094/stat : 11094 (java) S 11088 11091 5267 0 -1 4202560 675 0 0 0 431 18 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261561883304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11095] ppid=11088 vsize=9824732 CPUtime=4.64 cores=0,2,4,6 /proc/11091/task/11095/stat : 11095 (java) S 11088 11091 5267 0 -1 4202560 842 0 0 0 440 24 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261560830760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11096] ppid=11088 vsize=9824732 CPUtime=3.93 cores=0,2,4,6 /proc/11091/task/11096/stat : 11096 (java) S 11088 11091 5267 0 -1 4202560 1027 0 0 0 371 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261559778216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11097] ppid=11088 vsize=9824732 CPUtime=4.59 cores=0,2,4,6 /proc/11091/task/11097/stat : 11097 (java) S 11088 11091 5267 0 -1 4202560 806 0 0 0 438 21 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261558725672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11098] ppid=11088 vsize=9824732 CPUtime=4.06 cores=0,2,4,6 /proc/11091/task/11098/stat : 11098 (java) S 11088 11091 5267 0 -1 4202560 609 0 0 0 386 20 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261557672104 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11099] ppid=11088 vsize=9824732 CPUtime=4.32 cores=0,2,4,6 /proc/11091/task/11099/stat : 11099 (java) S 11088 11091 5267 0 -1 4202560 855 0 0 0 410 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261556619560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11100] ppid=11088 vsize=9824732 CPUtime=4.41 cores=0,2,4,6 /proc/11091/task/11100/stat : 11100 (java) S 11088 11091 5267 0 -1 4202560 701 0 0 0 422 19 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261555567016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11101] ppid=11088 vsize=9824732 CPUtime=4.55 cores=0,2,4,6 /proc/11091/task/11101/stat : 11101 (java) S 11088 11091 5267 0 -1 4202560 1171 0 0 0 433 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261554514472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11102] ppid=11088 vsize=9824732 CPUtime=6.57 cores=0,2,4,6 /proc/11091/task/11102/stat : 11102 (java) S 11088 11091 5267 0 -1 4202560 2892 0 0 0 645 12 0 0 20 0 22 0 3441979 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260941990504 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11103] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11103/stat : 11103 (java) S 11088 11091 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3441980 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260940936824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11104] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11104/stat : 11104 (java) S 11088 11091 5267 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 3441980 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260939884168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11105] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11105/stat : 11105 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260938832912 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11106] ppid=11088 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/11091/task/11106/stat : 11106 (java) S 11088 11091 5267 0 -1 4202560 18647 0 0 0 219 4 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260937779256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11107] ppid=11088 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/11091/task/11107/stat : 11107 (java) S 11088 11091 5267 0 -1 4202560 8205 0 0 0 113 3 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260936726712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11108] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11108/stat : 11108 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260935674360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11109] ppid=11088 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/11091/task/11109/stat : 11109 (java) S 11088 11091 5267 0 -1 4202560 52 0 0 0 14 16 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260934622024 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11307] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11307/stat : 11307 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3447089 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260933567400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11372] ppid=11088 vsize=9824732 CPUtime=757.59 cores=0,2,4,6 /proc/11091/task/11372/stat : 11372 (java) R 11088 11091 5267 0 -1 4202560 33 0 0 0 75746 13 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260930407464 140261435432559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11373] ppid=11088 vsize=9824732 CPUtime=757.52 cores=0,2,4,6 /proc/11091/task/11373/stat : 11373 (java) R 11088 11091 5267 0 -1 4202560 56 0 0 0 75741 11 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260932513864 140261435119554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11374] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11374/stat : 11374 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260931462824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1740.99 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+911.701 s] /proc/loadavg: 3.22 3.91 4.03 4/216 11876 /proc/meminfo: memFree=24042160/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9824732 CPUtime=1800 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 42361 0 1 0 179684 316 0 0 20 0 22 0 3441976 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2456183 1011097 2295 9 0 2446860 0 [pid=11091/tid=11093] ppid=11088 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/11091/task/11093/stat : 11093 (java) S 11088 11091 5267 0 -1 4202560 2448 0 1 0 44 3 0 0 20 0 22 0 3441977 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261589431160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11094] ppid=11088 vsize=9824732 CPUtime=4.58 cores=0,2,4,6 /proc/11091/task/11094/stat : 11094 (java) S 11088 11091 5267 0 -1 4202560 675 0 0 0 440 18 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261561883304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11095] ppid=11088 vsize=9824732 CPUtime=4.68 cores=0,2,4,6 /proc/11091/task/11095/stat : 11095 (java) S 11088 11091 5267 0 -1 4202560 842 0 0 0 444 24 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261560830760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11096] ppid=11088 vsize=9824732 CPUtime=3.98 cores=0,2,4,6 /proc/11091/task/11096/stat : 11096 (java) S 11088 11091 5267 0 -1 4202560 1027 0 0 0 376 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261559778216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11097] ppid=11088 vsize=9824732 CPUtime=4.63 cores=0,2,4,6 /proc/11091/task/11097/stat : 11097 (java) S 11088 11091 5267 0 -1 4202560 806 0 0 0 442 21 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261558725672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11098] ppid=11088 vsize=9824732 CPUtime=4.15 cores=0,2,4,6 /proc/11091/task/11098/stat : 11098 (java) S 11088 11091 5267 0 -1 4202560 609 0 0 0 395 20 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261557672104 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11099] ppid=11088 vsize=9824732 CPUtime=4.41 cores=0,2,4,6 /proc/11091/task/11099/stat : 11099 (java) S 11088 11091 5267 0 -1 4202560 855 0 0 0 419 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261556619560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11100] ppid=11088 vsize=9824732 CPUtime=4.46 cores=0,2,4,6 /proc/11091/task/11100/stat : 11100 (java) S 11088 11091 5267 0 -1 4202560 701 0 0 0 427 19 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261555567016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11101] ppid=11088 vsize=9824732 CPUtime=4.59 cores=0,2,4,6 /proc/11091/task/11101/stat : 11101 (java) S 11088 11091 5267 0 -1 4202560 1171 0 0 0 437 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261554514472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11102] ppid=11088 vsize=9824732 CPUtime=6.57 cores=0,2,4,6 /proc/11091/task/11102/stat : 11102 (java) S 11088 11091 5267 0 -1 4202560 2907 0 0 0 645 12 0 0 20 0 22 0 3441979 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260941990504 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11103] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11103/stat : 11103 (java) S 11088 11091 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3441980 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260940936824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11104] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11104/stat : 11104 (java) S 11088 11091 5267 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 3441980 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260939884168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11105] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11105/stat : 11105 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260938832912 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11106] ppid=11088 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/11091/task/11106/stat : 11106 (java) S 11088 11091 5267 0 -1 4202560 18647 0 0 0 219 4 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260937779256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11107] ppid=11088 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/11091/task/11107/stat : 11107 (java) S 11088 11091 5267 0 -1 4202560 8205 0 0 0 113 3 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260936726712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11108] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11108/stat : 11108 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260935674360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11109] ppid=11088 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/11091/task/11109/stat : 11109 (java) S 11088 11091 5267 0 -1 4202560 54 0 0 0 15 16 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260934622024 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11307] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11307/stat : 11307 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3447089 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260933567400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11372] ppid=11088 vsize=9824732 CPUtime=786.85 cores=0,2,4,6 /proc/11091/task/11372/stat : 11372 (java) R 11088 11091 5267 0 -1 4202560 33 0 0 0 78672 13 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260930407472 140261435429105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11373] ppid=11088 vsize=9824732 CPUtime=786.78 cores=0,2,4,6 /proc/11091/task/11373/stat : 11373 (java) R 11088 11091 5267 0 -1 4202560 58 0 0 0 78667 11 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260932513744 140261435463825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11374] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11374/stat : 11374 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260931462824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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 11091 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+911.701 s] /proc/loadavg: 3.22 3.91 4.03 4/216 11876 /proc/meminfo: memFree=24042160/32872528 swapFree=1459092/1655316 [pid=11091] ppid=11088 vsize=9824732 CPUtime=1800 cores=0,2,4,6 /proc/11091/stat : 11091 (java) S 11088 11091 5267 0 -1 4202496 42361 0 1 0 179684 316 0 0 20 0 22 0 3441976 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140733397581008 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11091/statm: 2456183 1011097 2295 9 0 2446860 0 [pid=11091/tid=11093] ppid=11088 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/11091/task/11093/stat : 11093 (java) S 11088 11091 5267 0 -1 4202560 2448 0 1 0 44 3 0 0 20 0 22 0 3441977 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261589431160 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11094] ppid=11088 vsize=9824732 CPUtime=4.58 cores=0,2,4,6 /proc/11091/task/11094/stat : 11094 (java) S 11088 11091 5267 0 -1 4202560 675 0 0 0 440 18 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261561883304 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11095] ppid=11088 vsize=9824732 CPUtime=4.68 cores=0,2,4,6 /proc/11091/task/11095/stat : 11095 (java) S 11088 11091 5267 0 -1 4202560 842 0 0 0 444 24 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261560830760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11096] ppid=11088 vsize=9824732 CPUtime=3.98 cores=0,2,4,6 /proc/11091/task/11096/stat : 11096 (java) S 11088 11091 5267 0 -1 4202560 1027 0 0 0 376 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261559778216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11097] ppid=11088 vsize=9824732 CPUtime=4.63 cores=0,2,4,6 /proc/11091/task/11097/stat : 11097 (java) S 11088 11091 5267 0 -1 4202560 806 0 0 0 442 21 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261558725672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11098] ppid=11088 vsize=9824732 CPUtime=4.15 cores=0,2,4,6 /proc/11091/task/11098/stat : 11098 (java) S 11088 11091 5267 0 -1 4202560 609 0 0 0 395 20 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261557672104 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11099] ppid=11088 vsize=9824732 CPUtime=4.41 cores=0,2,4,6 /proc/11091/task/11099/stat : 11099 (java) S 11088 11091 5267 0 -1 4202560 855 0 0 0 419 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261556619560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11100] ppid=11088 vsize=9824732 CPUtime=4.46 cores=0,2,4,6 /proc/11091/task/11100/stat : 11100 (java) S 11088 11091 5267 0 -1 4202560 701 0 0 0 427 19 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261555567016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11101] ppid=11088 vsize=9824732 CPUtime=4.59 cores=0,2,4,6 /proc/11091/task/11101/stat : 11101 (java) S 11088 11091 5267 0 -1 4202560 1171 0 0 0 437 22 0 0 20 0 22 0 3441978 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140261554514472 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11102] ppid=11088 vsize=9824732 CPUtime=6.57 cores=0,2,4,6 /proc/11091/task/11102/stat : 11102 (java) S 11088 11091 5267 0 -1 4202560 2907 0 0 0 645 12 0 0 20 0 22 0 3441979 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260941990504 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11103] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11103/stat : 11103 (java) S 11088 11091 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3441980 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260940936824 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11104] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11104/stat : 11104 (java) S 11088 11091 5267 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 22 0 3441980 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260939884168 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11105] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11105/stat : 11105 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260938832912 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11106] ppid=11088 vsize=9824732 CPUtime=2.23 cores=0,2,4,6 /proc/11091/task/11106/stat : 11106 (java) S 11088 11091 5267 0 -1 4202560 18647 0 0 0 219 4 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260937779256 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11091/tid=11107] ppid=11088 vsize=9824732 CPUtime=1.16 cores=0,2,4,6 /proc/11091/task/11107/stat : 11107 (java) S 11088 11091 5267 0 -1 4202560 8205 0 0 0 113 3 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260936726712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11108] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11108/stat : 11108 (java) S 11088 11091 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260935674360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11109] ppid=11088 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/11091/task/11109/stat : 11109 (java) S 11088 11091 5267 0 -1 4202560 54 0 0 0 15 16 0 0 20 0 22 0 3441982 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260934622024 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11091/tid=11307] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11307/stat : 11307 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3447089 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260933567400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11372] ppid=11088 vsize=9824732 CPUtime=786.85 cores=0,2,4,6 /proc/11091/task/11372/stat : 11372 (java) R 11088 11091 5267 0 -1 4202560 33 0 0 0 78672 13 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260930407472 140261435429105 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11091/tid=11373] ppid=11088 vsize=9824732 CPUtime=786.78 cores=0,2,4,6 /proc/11091/task/11373/stat : 11373 (java) R 11088 11091 5267 0 -1 4202560 58 0 0 0 78667 11 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260932513744 140261435463825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11091/tid=11374] ppid=11088 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11091/task/11374/stat : 11374 (java) S 11088 11091 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3453099 10060525568 1011097 33554432000 1073741824 1073778376 140733397589872 140260931462824 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9824732 Child status: 143 # 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): 0.0100002 # lost CPU user time (s): 0.0100002 # lost CPU system time (s): 0 Real time (s): 911.761 CPU time (s): 1800.66 CPU user time (s): 1797.08 CPU system time (s): 3.58146 CPU usage (%): 197.492 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.07 system time used= 3.58146 maximum resident set size= 4044524 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42405 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25797 involuntary context switches= 28982 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.9031 second user time and 7.2649 second system time The end
Begin job on node136 at 2016-06-29 20:28:28 IDJOB=4118305 IDBENCH=111479 IDSOLVER=2543 FILE ID=node136/4118305-1467224908 RUNJOBID= node136-1467208983-5283 PBS_JOBID= 19997574 Free space on /tmp= 71644 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118305-1467224908/watcher-4118305-1467224908 -o /tmp/evaluation-result-4118305-1467224908/solver-4118305-1467224908 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5283 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118305-1467224908.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e4ba4a3f2bd79be3a11f0c3bfef48c76 RANDOM SEED=780424946 node136.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.182 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.36 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.182 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.182 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.182 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.182 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 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.182 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.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 27085420 kB Buffers: 150264 kB Cached: 1751216 kB SwapCached: 0 kB Active: 1703936 kB Inactive: 1681772 kB Active(anon): 1487084 kB Inactive(anon): 0 kB Active(file): 216852 kB Inactive(file): 1681772 kB Unevictable: 1655316 kB Mlocked: 1459092 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 832 kB Writeback: 0 kB AnonPages: 3094500 kB Mapped: 22288 kB Shmem: 204 kB Slab: 610280 kB SReclaimable: 54036 kB SUnreclaim: 556244 kB KernelStack: 1648 kB PageTables: 10728 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3541756 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1568768 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= 71644 MiB End job on node136 at 2016-06-29 20:43:40