Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J Pseudo Resolution 2.1.1 | SAT (TO) | 8 | 1800.43 | 1797.26 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
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 | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3997 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@3eca90 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c Expensive reason simplification 0.22/0.22 c MiniSAT restarts strategy 0.22/0.22 c Memory based learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-1856675-1244920227.opb 0.22/0.22 c reading problem ... 0.22/0.28 c ... done. Wall clock time 0.063s. 0.22/0.28 c #vars 120 0.22/0.28 c #constraints 10 0.22/0.28 c constraints type 0.22/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPb => 10 0.72/0.53 c SATISFIABLE 0.72/0.53 c OPTIMIZING... 0.72/0.53 c Got one! Elapsed wall clock time (in seconds):0.312 0.72/0.53 o 2019 0.91/0.60 c Got one! Elapsed wall clock time (in seconds):0.384 0.91/0.60 o 2014 0.91/0.63 c Got one! Elapsed wall clock time (in seconds):0.416 0.91/0.63 o 2012 0.91/0.66 c Got one! Elapsed wall clock time (in seconds):0.441 0.91/0.66 o 2010 0.91/0.69 c Got one! Elapsed wall clock time (in seconds):0.473 0.91/0.69 o 2009 1.03/0.72 c Got one! Elapsed wall clock time (in seconds):0.505 1.03/0.72 o 2008 1.03/0.74 c Got one! Elapsed wall clock time (in seconds):0.527 1.03/0.74 o 1667 1.03/0.77 c Got one! Elapsed wall clock time (in seconds):0.548 1.03/0.77 o 1659 1.03/0.79 c Got one! Elapsed wall clock time (in seconds):0.571 1.03/0.79 o 1572 1.18/0.81 c Got one! Elapsed wall clock time (in seconds):0.596 1.18/0.81 o 1568 1.18/0.84 c Got one! Elapsed wall clock time (in seconds):0.623 1.18/0.84 o 1552 1.18/0.87 c Got one! Elapsed wall clock time (in seconds):0.649 1.18/0.87 o 1546 1.18/0.89 c Got one! Elapsed wall clock time (in seconds):0.674 1.18/0.89 o 1487 1.29/0.91 c Got one! Elapsed wall clock time (in seconds):0.695 1.29/0.91 o 1475 1.29/0.94 c Got one! Elapsed wall clock time (in seconds):0.725 1.29/0.94 o 1463 1.29/0.98 c Got one! Elapsed wall clock time (in seconds):0.761 1.29/0.98 o 1125 1.29/1.00 c Got one! Elapsed wall clock time (in seconds):0.782 1.29/1.00 o 1123 1.39/1.03 c Got one! Elapsed wall clock time (in seconds):0.81 1.39/1.03 o 1121 1.39/1.06 c Got one! Elapsed wall clock time (in seconds):0.843 1.39/1.06 o 1120 1.39/1.08 c Got one! Elapsed wall clock time (in seconds):0.866 1.39/1.08 o 1119 1.52/1.10 c Got one! Elapsed wall clock time (in seconds):0.888 1.52/1.10 o 1118 1.52/1.13 c Got one! Elapsed wall clock time (in seconds):0.909 1.52/1.13 o 1116 1.52/1.15 c Got one! Elapsed wall clock time (in seconds):0.931 1.52/1.15 o 1115 1.52/1.18 c Got one! Elapsed wall clock time (in seconds):0.962 1.52/1.18 o 1113 1.67/1.20 c Got one! Elapsed wall clock time (in seconds):0.983 1.67/1.20 o 1108 1.67/1.24 c Got one! Elapsed wall clock time (in seconds):1.028 1.67/1.25 o 1104 1.67/1.27 c Got one! Elapsed wall clock time (in seconds):1.05 1.67/1.27 o 1102 1.67/1.29 c Got one! Elapsed wall clock time (in seconds):1.074 1.67/1.29 o 1099 1.83/1.32 c Got one! Elapsed wall clock time (in seconds):1.099 1.83/1.32 o 1098 1.83/1.35 c Got one! Elapsed wall clock time (in seconds):1.136 1.83/1.35 o 814 1.83/1.38 c Got one! Elapsed wall clock time (in seconds):1.158 1.83/1.38 o 813 2.20/1.53 c Got one! Elapsed wall clock time (in seconds):1.313 2.20/1.53 o 792 2.20/1.57 c Got one! Elapsed wall clock time (in seconds):1.355 2.20/1.57 o 699 2.41/1.61 c Got one! Elapsed wall clock time (in seconds):1.393 2.41/1.61 o 698 2.41/1.65 c Got one! Elapsed wall clock time (in seconds):1.429 2.41/1.65 o 676 2.41/1.68 c Got one! Elapsed wall clock time (in seconds):1.462 2.41/1.68 o 674 2.61/1.72 c Got one! Elapsed wall clock time (in seconds):1.502 2.61/1.72 o 673 2.61/1.78 c Got one! Elapsed wall clock time (in seconds):1.558 2.61/1.78 o 570 3.00/1.92 c Got one! Elapsed wall clock time (in seconds):1.706 3.00/1.92 o 569 3.00/1.97 c Got one! Elapsed wall clock time (in seconds):1.748 3.00/1.97 o 568 3.16/2.00 c Got one! Elapsed wall clock time (in seconds):1.786 3.16/2.00 o 565 3.16/2.06 c Got one! Elapsed wall clock time (in seconds):1.84 3.16/2.06 o 563 3.28/2.10 c Got one! Elapsed wall clock time (in seconds):1.886 3.28/2.10 o 562 3.28/2.14 c Got one! Elapsed wall clock time (in seconds):1.919 3.28/2.14 o 560 3.28/2.18 c Got one! Elapsed wall clock time (in seconds):1.966 3.28/2.18 o 559 3.38/2.23 c Got one! Elapsed wall clock time (in seconds):2.014 3.38/2.23 o 558 3.38/2.28 c Got one! Elapsed wall clock time (in seconds):2.064 3.38/2.28 o 557 3.48/2.33 c Got one! Elapsed wall clock time (in seconds):2.112 3.48/2.33 o 555 3.48/2.38 c Got one! Elapsed wall clock time (in seconds):2.161 3.48/2.38 o 551 3.59/2.43 c Got one! Elapsed wall clock time (in seconds):2.21 3.59/2.43 o 550 3.59/2.47 c Got one! Elapsed wall clock time (in seconds):2.255 3.59/2.47 o 352 3.69/2.52 c Got one! Elapsed wall clock time (in seconds):2.3 3.69/2.52 o 350 3.82/2.63 c Got one! Elapsed wall clock time (in seconds):2.411 3.82/2.63 o 348 3.82/2.65 c Got one! Elapsed wall clock time (in seconds):2.435 3.82/2.65 o 346 3.92/2.70 c Got one! Elapsed wall clock time (in seconds):2.482 3.92/2.70 o 345 3.92/2.74 c Got one! Elapsed wall clock time (in seconds):2.524 3.92/2.74 o 344 3.92/2.79 c Got one! Elapsed wall clock time (in seconds):2.576 3.92/2.79 o 342 4.02/2.85 c Got one! Elapsed wall clock time (in seconds):2.636 4.02/2.85 o 341 4.12/2.91 c Got one! Elapsed wall clock time (in seconds):2.697 4.12/2.91 o 340 4.12/2.98 c Got one! Elapsed wall clock time (in seconds):2.76 4.12/2.98 o 338 4.32/3.10 c Got one! Elapsed wall clock time (in seconds):2.884 4.32/3.10 o 337 4.32/3.17 c Got one! Elapsed wall clock time (in seconds):2.95 4.32/3.17 o 336 4.60/3.31 c Got one! Elapsed wall clock time (in seconds):3.089 4.60/3.31 o 335 4.60/3.38 c Got one! Elapsed wall clock time (in seconds):3.163 4.60/3.38 o 331 4.69/3.46 c Got one! Elapsed wall clock time (in seconds):3.245 4.69/3.46 o 329 4.80/3.53 c Got one! Elapsed wall clock time (in seconds):3.316 4.80/3.53 o 327 4.90/3.62 c Got one! Elapsed wall clock time (in seconds):3.398 4.90/3.62 o 326 4.90/3.69 c Got one! Elapsed wall clock time (in seconds):3.475 4.90/3.69 o 324 4.99/3.78 c Got one! Elapsed wall clock time (in seconds):3.558 4.99/3.78 o 322 5.10/3.89 c Got one! Elapsed wall clock time (in seconds):3.675 5.10/3.89 o 321 5.21/3.99 c Got one! Elapsed wall clock time (in seconds):3.775 5.21/3.99 o 317 5.31/4.04 c Got one! Elapsed wall clock time (in seconds):3.824 5.31/4.04 o 315 5.31/4.07 c Got one! Elapsed wall clock time (in seconds):3.855 5.31/4.07 o 313 5.41/4.16 c Got one! Elapsed wall clock time (in seconds):3.942 5.41/4.16 o 311 5.53/4.27 c Got one! Elapsed wall clock time (in seconds):4.053 5.53/4.27 o 310 5.64/4.35 c Got one! Elapsed wall clock time (in seconds):4.135 5.64/4.35 o 308 5.74/4.40 c Got one! Elapsed wall clock time (in seconds):4.185 5.74/4.40 o 305 5.74/4.46 c Got one! Elapsed wall clock time (in seconds):4.243 5.74/4.46 o 304 5.83/4.52 c Got one! Elapsed wall clock time (in seconds):4.3 5.83/4.52 o 301 5.83/4.58 c Got one! Elapsed wall clock time (in seconds):4.367 5.83/4.58 o 299 5.93/4.65 c Got one! Elapsed wall clock time (in seconds):4.433 5.93/4.65 o 297 6.03/4.71 c Got one! Elapsed wall clock time (in seconds):4.49 6.03/4.71 o 293 6.13/4.83 c Got one! Elapsed wall clock time (in seconds):4.614 6.13/4.83 o 292 6.24/4.95 c Got one! Elapsed wall clock time (in seconds):4.732 6.24/4.95 o 291 6.35/5.09 c Got one! Elapsed wall clock time (in seconds):4.873 6.35/5.09 o 289 6.55/5.22 c Got one! Elapsed wall clock time (in seconds):5.007 6.55/5.22 o 273 6.65/5.37 c Got one! Elapsed wall clock time (in seconds):5.151 6.65/5.37 o 271 6.76/5.48 c Got one! Elapsed wall clock time (in seconds):5.259 6.76/5.48 o 269 7.05/5.71 c Got one! Elapsed wall clock time (in seconds):5.493 7.05/5.71 o 268 7.05/5.79 c Got one! Elapsed wall clock time (in seconds):5.578 7.05/5.80 o 266 7.35/6.01 c Got one! Elapsed wall clock time (in seconds):5.793 7.35/6.01 o 264 7.45/6.17 c Got one! Elapsed wall clock time (in seconds):5.949 7.45/6.17 o 262 7.75/6.41 c Got one! Elapsed wall clock time (in seconds):6.188 7.75/6.41 o 260 7.86/6.56 c Got one! Elapsed wall clock time (in seconds):6.346 7.86/6.56 o 254 7.96/6.70 c Got one! Elapsed wall clock time (in seconds):6.481 7.96/6.70 o 206 8.25/6.92 c Got one! Elapsed wall clock time (in seconds):6.698 8.25/6.92 o 204 8.35/7.05 c Got one! Elapsed wall clock time (in seconds):6.836 8.35/7.05 o 203 8.45/7.12 c Got one! Elapsed wall clock time (in seconds):6.898 8.45/7.12 o 202 8.55/7.22 c Got one! Elapsed wall clock time (in seconds):7.005 8.55/7.22 o 201 8.65/7.36 c Got one! Elapsed wall clock time (in seconds):7.144 8.65/7.36 o 200 8.85/7.55 c Got one! Elapsed wall clock time (in seconds):7.329 8.85/7.55 o 199 8.96/7.70 c Got one! Elapsed wall clock time (in seconds):7.484 8.96/7.70 o 194 9.15/7.83 c Got one! Elapsed wall clock time (in seconds):7.613 9.15/7.83 o 192 9.48/8.10 c Got one! Elapsed wall clock time (in seconds):7.884 9.48/8.10 o 191 9.48/8.19 c Got one! Elapsed wall clock time (in seconds):7.976 9.48/8.19 o 189 9.78/8.41 c Got one! Elapsed wall clock time (in seconds):8.195 9.78/8.41 o 187 9.78/8.48 c Got one! Elapsed wall clock time (in seconds):8.263 9.78/8.48 o 186 10.28/8.94 c Got one! Elapsed wall clock time (in seconds):8.724 10.28/8.94 o 184 10.58/9.24 c Got one! Elapsed wall clock time (in seconds):9.019 10.58/9.24 o 160 10.68/9.39 c Got one! Elapsed wall clock time (in seconds):9.174 10.68/9.39 o 159 10.98/9.69 c Got one! Elapsed wall clock time (in seconds):9.47 10.98/9.69 o 157 11.08/9.75 c Got one! Elapsed wall clock time (in seconds):9.538 11.08/9.76 o 155 11.18/9.89 c Got one! Elapsed wall clock time (in seconds):9.669 11.18/9.89 o 154 11.38/10.04 c Got one! Elapsed wall clock time (in seconds):9.827 11.38/10.04 o 152 11.48/10.17 c Got one! Elapsed wall clock time (in seconds):9.957 11.48/10.17 o 151 11.68/10.35 c Got one! Elapsed wall clock time (in seconds):10.132 11.68/10.35 o 150 11.78/10.41 c Got one! Elapsed wall clock time (in seconds):10.193 11.78/10.41 o 149 11.98/10.64 c Got one! Elapsed wall clock time (in seconds):10.422 11.98/10.64 o 148 12.19/10.83 c Got one! Elapsed wall clock time (in seconds):10.612 12.19/10.83 o 146 12.29/10.92 c Got one! Elapsed wall clock time (in seconds):10.699 12.29/10.92 o 141 12.49/11.10 c Got one! Elapsed wall clock time (in seconds):10.881 12.49/11.10 o 140 12.49/11.15 c Got one! Elapsed wall clock time (in seconds):10.937 12.49/11.15 o 139 12.69/11.33 c Got one! Elapsed wall clock time (in seconds):11.115 12.69/11.33 o 138 12.79/11.48 c Got one! Elapsed wall clock time (in seconds):11.262 12.79/11.48 o 137 13.09/11.80 c Got one! Elapsed wall clock time (in seconds):11.58 13.09/11.80 o 136 13.20/11.87 c Got one! Elapsed wall clock time (in seconds):11.652 13.20/11.87 o 135 13.42/12.02 c Got one! Elapsed wall clock time (in seconds):11.798 13.42/12.02 o 133 13.61/12.29 c Got one! Elapsed wall clock time (in seconds):12.069 13.61/12.29 o 132 13.81/12.41 c Got one! Elapsed wall clock time (in seconds):12.19 13.81/12.41 o 131 14.21/12.83 c Got one! Elapsed wall clock time (in seconds):12.612 14.21/12.83 o 128 14.41/13.03 c Got one! Elapsed wall clock time (in seconds):12.809 14.41/13.03 o 127 14.91/13.55 c Got one! Elapsed wall clock time (in seconds):13.329 14.91/13.55 o 126 15.11/13.71 c Got one! Elapsed wall clock time (in seconds):13.491 15.11/13.71 o 125 15.44/14.03 c Got one! Elapsed wall clock time (in seconds):13.81 15.44/14.03 o 123 15.65/14.29 c Got one! Elapsed wall clock time (in seconds):14.077 15.65/14.29 o 122 15.84/14.45 c Got one! Elapsed wall clock time (in seconds):14.237 15.84/14.45 o 120 16.34/14.91 c Got one! Elapsed wall clock time (in seconds):14.697 16.34/14.91 o 119 16.85/15.42 c Got one! Elapsed wall clock time (in seconds):15.205 16.85/15.42 o 118 17.04/15.67 c Got one! Elapsed wall clock time (in seconds):15.453 17.04/15.67 o 115 17.34/15.98 c Got one! Elapsed wall clock time (in seconds):15.764 17.34/15.98 o 114 17.54/16.16 c Got one! Elapsed wall clock time (in seconds):15.945 17.54/16.16 o 113 17.74/16.37 c Got one! Elapsed wall clock time (in seconds):16.156 17.74/16.37 o 112 17.85/16.45 c Got one! Elapsed wall clock time (in seconds):16.236 17.85/16.45 o 111 18.04/16.64 c Got one! Elapsed wall clock time (in seconds):16.421 18.04/16.64 o 110 18.24/16.84 c Got one! Elapsed wall clock time (in seconds):16.618 18.24/16.84 o 109 18.44/17.07 c Got one! Elapsed wall clock time (in seconds):16.854 18.44/17.07 o 107 18.74/17.31 c Got one! Elapsed wall clock time (in seconds):17.09 18.74/17.31 o 105 18.95/17.51 c Got one! Elapsed wall clock time (in seconds):17.289 18.95/17.51 o 103 19.24/17.83 c Got one! Elapsed wall clock time (in seconds):17.612 19.24/17.83 o 102 19.74/18.32 c Got one! Elapsed wall clock time (in seconds):18.104 19.74/18.32 o 100 20.44/19.06 c Got one! Elapsed wall clock time (in seconds):18.844 20.44/19.06 o 98 21.34/19.96 c Got one! Elapsed wall clock time (in seconds):19.744 21.34/19.96 o 96 21.54/20.11 c Got one! Elapsed wall clock time (in seconds):19.891 21.54/20.11 o 95 21.74/20.38 c Got one! Elapsed wall clock time (in seconds):20.159 21.74/20.38 o 93 22.14/20.75 c Got one! Elapsed wall clock time (in seconds):20.529 22.14/20.75 o 92 22.44/21.06 c Got one! Elapsed wall clock time (in seconds):20.839 22.44/21.06 o 91 23.18/21.74 c Got one! Elapsed wall clock time (in seconds):21.523 23.18/21.74 o 89 23.38/21.95 c Got one! Elapsed wall clock time (in seconds):21.733 23.38/21.95 o 87 23.48/22.08 c Got one! Elapsed wall clock time (in seconds):21.866 23.48/22.08 o 86 24.48/23.09 c Got one! Elapsed wall clock time (in seconds):22.873 24.48/23.09 o 85 25.08/23.68 c Got one! Elapsed wall clock time (in seconds):23.462 25.08/23.68 o 84 25.48/24.04 c Got one! Elapsed wall clock time (in seconds):23.822 25.48/24.04 o 83 25.78/24.37 c Got one! Elapsed wall clock time (in seconds):24.152 25.78/24.37 o 81 26.18/24.74 c Got one! Elapsed wall clock time (in seconds):24.522 26.18/24.74 o 70 26.48/25.02 c Got one! Elapsed wall clock time (in seconds):24.801 26.48/25.02 o 68 26.78/25.31 c Got one! Elapsed wall clock time (in seconds):25.093 26.78/25.31 o 66 31.52/30.09 c Got one! Elapsed wall clock time (in seconds):29.874 31.52/30.09 o 65 31.72/30.29 c Got one! Elapsed wall clock time (in seconds):30.075 31.72/30.29 o 63 32.62/31.15 c Got one! Elapsed wall clock time (in seconds):30.932 32.62/31.15 o 62 33.02/31.54 c Got one! Elapsed wall clock time (in seconds):31.318 33.02/31.54 o 60 33.32/31.87 c Got one! Elapsed wall clock time (in seconds):31.654 33.32/31.87 o 58 34.02/32.50 c Got one! Elapsed wall clock time (in seconds):32.287 34.02/32.50 o 57 34.32/32.85 c Got one! Elapsed wall clock time (in seconds):32.634 34.32/32.85 o 56 35.72/34.21 c Got one! Elapsed wall clock time (in seconds):33.99 35.72/34.21 o 55 36.42/34.98 c Got one! Elapsed wall clock time (in seconds):34.761 36.42/34.98 o 53 36.72/35.29 c Got one! Elapsed wall clock time (in seconds):35.072 36.72/35.29 o 52 39.72/38.23 c Got one! Elapsed wall clock time (in seconds):38.012 39.72/38.23 o 51 40.12/38.60 c Got one! Elapsed wall clock time (in seconds):38.383 40.12/38.60 o 50 40.42/38.90 c Got one! Elapsed wall clock time (in seconds):38.682 40.42/38.90 o 48 41.03/39.53 c Got one! Elapsed wall clock time (in seconds):39.309 41.03/39.53 o 46 42.47/40.94 c Got one! Elapsed wall clock time (in seconds):40.725 42.47/40.94 o 45 43.18/41.67 c Got one! Elapsed wall clock time (in seconds):41.451 43.18/41.67 o 43 45.18/43.61 c Got one! Elapsed wall clock time (in seconds):43.393 45.18/43.61 o 42 46.27/44.76 c Got one! Elapsed wall clock time (in seconds):44.541 46.27/44.76 o 41 46.87/45.34 c Got one! Elapsed wall clock time (in seconds):45.119 46.87/45.34 o 39 48.88/47.31 c Got one! Elapsed wall clock time (in seconds):47.091 48.88/47.31 o 38 55.53/53.91 c Got one! Elapsed wall clock time (in seconds):53.691 55.53/53.91 o 36 57.82/56.24 c Got one! Elapsed wall clock time (in seconds):56.022 57.82/56.24 o 35 58.62/57.09 c Got one! Elapsed wall clock time (in seconds):56.87 58.62/57.09 o 33 59.32/57.70 c Got one! Elapsed wall clock time (in seconds):57.484 59.32/57.70 o 21 61.33/59.71 c Got one! Elapsed wall clock time (in seconds):59.492 61.33/59.71 o 20 67.18/65.59 c Got one! Elapsed wall clock time (in seconds):65.376 67.18/65.59 o 19 72.98/71.32 c Got one! Elapsed wall clock time (in seconds):71.107 72.98/71.33 o 18 87.02/85.37 c Got one! Elapsed wall clock time (in seconds):85.152 87.02/85.37 o 17 90.92/89.23 c Got one! Elapsed wall clock time (in seconds):89.016 90.92/89.23 o 16 91.92/90.27 c Got one! Elapsed wall clock time (in seconds):90.055 91.92/90.27 o 14 95.62/93.99 c Got one! Elapsed wall clock time (in seconds):93.768 95.62/93.99 o 13 140.10/138.37 c Got one! Elapsed wall clock time (in seconds):138.15 140.10/138.37 o 12 148.10/146.33 c Got one! Elapsed wall clock time (in seconds):146.116 148.10/146.33 o 11 153.12/151.38 c Got one! Elapsed wall clock time (in seconds):151.16 153.12/151.38 o 10 156.52/154.77 c Got one! Elapsed wall clock time (in seconds):154.556 156.52/154.77 o 9 909.40/906.81 c Got one! Elapsed wall clock time (in seconds):906.596 909.40/906.81 o 8 1800.01/1797.01 c starts : 783 1800.01/1797.01 c conflicts : 1011818 1800.01/1797.01 c decisions : 1067724 1800.01/1797.01 c propagations : 8354753 1800.01/1797.01 c inspects : 5354827845 1800.01/1797.01 c learnt literals : 0 1800.01/1797.01 c learnt binary clauses : 0 1800.01/1797.01 c learnt ternary clauses : 0 1800.01/1797.01 c learnt clauses : 1011819 1800.01/1797.01 c ignored clauses : 0 1800.01/1797.01 c root simplifications : 0 1800.01/1797.01 c removed literals (reason simplification) : 9892282 1800.01/1797.01 c reason swapping (by a shorter reason) : 0 1800.01/1797.01 c Calls to reduceDB : 0 1800.01/1797.01 c speed (assignments/second) : 9385.282824719894 1800.01/1797.01 c non guided choices 3359 1800.21/1797.16 c learnt constraints type 1800.21/1797.16 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 1011882 1800.21/1797.16 c constraints type 1800.21/1797.16 c org.sat4j.pb.constraints.pb.MaxWatchPb => 11 1800.21/1797.16 s SATISFIABLE 1800.21/1797.16 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 1800.21/1797.16 c objective function=8 1800.21/1797.16 c Total wall clock time (in seconds): 1796.945
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1856675-1244920227/watcher-1856675-1244920227 -o /tmp/evaluation-result-1856675-1244920227/solver-1856675-1244920227 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856675-1244920227.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12045 /proc/meminfo: memFree=1425864/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=152 CPUtime=0 /proc/12045/stat : 12045 (java6) R 12043 12045 11731 0 -1 0 41 0 0 0 0 0 0 0 20 0 1 0 159621994 155648 26 1992294400 134512640 134550932 4294956176 18446744073709551615 7721764 0 0 4096 0 0 0 0 17 1 0 0 /proc/12045/statm: 38 26 19 9 0 4 0 [startup+0.0719509 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12045 /proc/meminfo: memFree=1425864/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1470220 CPUtime=0.06 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 3358 0 1 0 4 2 0 0 18 0 7 0 159621994 1505505280 3103 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 367555 3103 1030 9 0 364906 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1470220 [startup+0.10193 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12045 /proc/meminfo: memFree=1425864/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1472584 CPUtime=0.08 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 3602 0 1 0 6 2 0 0 18 0 12 0 159621994 1507926016 3345 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 368146 3345 1066 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.301959 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12045 /proc/meminfo: memFree=1425864/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1475480 CPUtime=0.35 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 5062 0 1 0 31 4 0 0 18 0 13 0 159621994 1510891520 4799 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 368870 4799 1352 9 0 366213 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1475480 [startup+0.702017 s] /proc/loadavg: 1.00 1.00 1.00 3/64 12045 /proc/meminfo: memFree=1425864/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1478600 CPUtime=1.03 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 7643 0 1 0 98 5 0 0 18 0 13 0 159621994 1514086400 6945 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 369650 6945 1413 9 0 366993 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 1478600 [startup+1.50215 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1391200/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1484864 CPUtime=2.2 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 16646 0 1 0 211 9 0 0 18 0 13 0 159621994 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 371216 14558 1421 9 0 368559 0 [pid=12045/tid=12047] ppid=12043 vsize=1484864 CPUtime=1.13 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 11172 0 1 0 107 6 0 0 24 0 13 0 159621996 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4109560235 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159621997 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159621997 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159621999 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159622000 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159622000 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1484864 CPUtime=0.62 /proc/12045/task/12054/stat : 12054 (java) R 12043 12045 11731 0 -1 64 2588 0 0 0 61 1 0 0 18 0 13 0 159622004 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 106251393 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1484864 CPUtime=0.42 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 2139 0 0 0 42 0 0 0 17 0 13 0 159622004 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1484864 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1520500736 14558 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.2 Current children cumulated vsize (KiB) 1484864 [startup+3.10239 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1345952/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1488712 CPUtime=4.32 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 35639 0 1 0 414 18 0 0 18 0 13 0 159621994 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 372178 30500 1423 9 0 369521 0 [pid=12045/tid=12047] ppid=12043 vsize=1488712 CPUtime=2.53 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 25872 0 1 0 240 13 0 0 25 0 13 0 159621996 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4109507514 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 159621997 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 159621997 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 159621999 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 159622000 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 159622000 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1488712 CPUtime=1.15 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5949 0 0 0 112 3 0 0 15 0 13 0 159622004 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1488712 CPUtime=0.6 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3071 0 0 0 60 0 0 0 16 0 13 0 159622004 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1488712 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1524441088 30500 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 1488712 [startup+6.30287 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1284576/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1487592 CPUtime=7.65 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 42424 0 1 0 744 21 0 0 18 0 13 0 159621994 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 371898 36466 1432 9 0 369241 0 [pid=12045/tid=12047] ppid=12043 vsize=1487592 CPUtime=5.68 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 30979 0 1 0 552 16 0 0 25 0 13 0 159621996 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4109507514 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1487592 CPUtime=0.01 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 642 0 0 0 1 0 0 0 16 0 13 0 159621997 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1487592 CPUtime=0.01 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 597 0 0 0 1 0 0 0 16 0 13 0 159621997 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 159621999 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159622000 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159622000 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1487592 CPUtime=1.19 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5953 0 0 0 116 3 0 0 17 0 13 0 159622004 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1487592 CPUtime=0.73 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3499 0 0 0 73 0 0 0 16 0 13 0 159622004 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1523294208 36466 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.65 Current children cumulated vsize (KiB) 1487592 [startup+12.7028 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1275552/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1487592 CPUtime=14.11 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 44721 0 1 0 1389 22 0 0 18 0 13 0 159621994 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 371898 38731 1432 9 0 369241 0 [pid=12045/tid=12047] ppid=12043 vsize=1487592 CPUtime=12.03 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 30980 0 1 0 1187 16 0 0 25 0 13 0 159621996 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4109507231 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1487592 CPUtime=0.03 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 1729 0 0 0 3 0 0 0 16 0 13 0 159621997 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1487592 CPUtime=0.03 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 1800 0 0 0 3 0 0 0 16 0 13 0 159621997 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 159621999 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159622000 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159622000 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1487592 CPUtime=1.24 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5956 0 0 0 121 3 0 0 16 0 13 0 159622004 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1487592 CPUtime=0.74 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3499 0 0 0 74 0 0 0 16 0 13 0 159622004 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1487592 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1523294208 38731 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.11 Current children cumulated vsize (KiB) 1487592 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1265888/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1482536 CPUtime=26.98 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 48440 0 1 0 2674 24 0 0 18 0 13 0 159621994 1518116864 41144 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 370634 41144 1432 9 0 367977 0 [pid=12045/tid=12047] ppid=12043 vsize=1482536 CPUtime=24.75 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 30982 0 1 0 2459 16 0 0 25 0 13 0 159621996 1518116864 41144 1992294400 134512640 134550932 4294956016 18446744073709551615 4109560235 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1482536 CPUtime=0.09 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 3562 0 0 0 8 1 0 0 16 0 13 0 159621997 1518116864 41144 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1482536 CPUtime=0.1 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 3678 0 0 0 9 1 0 0 16 0 13 0 159621997 1518116864 41144 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1482536 CPUtime=0 ################ # More data... # ################ [pid=12045] ppid=12043 vsize=1482536 CPUtime=1665.22 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 104029 0 1 0 166467 55 0 0 18 0 13 0 159621994 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 370634 94478 1432 9 0 367977 0 [pid=12045/tid=12047] ppid=12043 vsize=1482536 CPUtime=1658.77 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 31027 0 1 0 165859 18 0 0 25 0 13 0 159621996 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4109560235 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1482536 CPUtime=2.21 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 29251 0 0 0 207 14 0 0 17 0 13 0 159621997 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1482536 CPUtime=2.18 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 33529 0 0 0 201 17 0 0 17 0 13 0 159621997 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 159621999 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1482536 CPUtime=1.25 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5957 0 0 0 122 3 0 0 17 0 13 0 159622004 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1482536 CPUtime=0.74 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3499 0 0 0 74 0 0 0 16 0 13 0 159622004 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1518116864 94478 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1665.22 Current children cumulated vsize (KiB) 1482536 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1047520/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1482536 CPUtime=1725.26 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 105086 0 1 0 172471 55 0 0 18 0 13 0 159621994 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 370634 95517 1432 9 0 367977 0 [pid=12045/tid=12047] ppid=12043 vsize=1482536 CPUtime=1718.68 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 31028 0 1 0 171850 18 0 0 25 0 13 0 159621996 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4109558104 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1482536 CPUtime=2.28 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 29901 0 0 0 214 14 0 0 16 0 13 0 159621997 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1482536 CPUtime=2.25 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 33935 0 0 0 208 17 0 0 17 0 13 0 159621997 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 159621999 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1482536 CPUtime=1.25 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5957 0 0 0 122 3 0 0 17 0 13 0 159622004 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1482536 CPUtime=0.74 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3499 0 0 0 74 0 0 0 16 0 13 0 159622004 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1518116864 95517 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1725.26 Current children cumulated vsize (KiB) 1482536 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1041568/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1482536 CPUtime=1785.31 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 106562 0 1 0 178475 56 0 0 18 0 13 0 159621994 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 370634 96981 1432 9 0 367977 0 [pid=12045/tid=12047] ppid=12043 vsize=1482536 CPUtime=1778.57 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 31029 0 1 0 177839 18 0 0 25 0 13 0 159621996 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4109560235 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1482536 CPUtime=2.36 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 30223 0 0 0 222 14 0 0 17 0 13 0 159621997 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1482536 CPUtime=2.32 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 35088 0 0 0 215 17 0 0 17 0 13 0 159621997 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 159621999 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1482536 CPUtime=1.25 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5957 0 0 0 122 3 0 0 17 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1482536 CPUtime=0.74 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3499 0 0 0 74 0 0 0 16 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1785.31 Current children cumulated vsize (KiB) 1482536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1797 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1041568/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1482536 CPUtime=1800.01 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 106562 0 1 0 179945 56 0 0 18 0 13 0 159621994 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/12045/statm: 370634 96981 1432 9 0 367977 0 [pid=12045/tid=12047] ppid=12043 vsize=1482536 CPUtime=1793.27 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 31029 0 1 0 179309 18 0 0 25 0 13 0 159621996 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4109506878 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1482536 CPUtime=2.36 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 30223 0 0 0 222 14 0 0 17 0 13 0 159621997 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1482536 CPUtime=2.32 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 35088 0 0 0 215 17 0 0 17 0 13 0 159621997 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 159621999 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 159622000 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1482536 CPUtime=1.25 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5957 0 0 0 122 3 0 0 17 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1482536 CPUtime=0.74 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3499 0 0 0 74 0 0 0 16 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 159622004 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1482536 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 159622024 1518116864 96981 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1482536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12058 /proc/meminfo: memFree=1041568/2055920 swapFree=4191900/4192956 [pid=12045] ppid=12043 vsize=1483184 CPUtime=1800.36 /proc/12045/stat : 12045 (java) S 12043 12045 11731 0 -1 0 106591 0 1 0 179980 56 0 0 16 0 14 0 159621994 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/12045/statm: 370796 97010 1435 9 0 368139 0 [pid=12045/tid=12047] ppid=12043 vsize=1483184 CPUtime=1793.47 /proc/12045/task/12047/stat : 12047 (java) R 12043 12045 11731 0 -1 64 31029 0 1 0 179329 18 0 0 25 0 14 0 159621996 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4109560235 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12048] ppid=12043 vsize=1483184 CPUtime=2.36 /proc/12045/task/12048/stat : 12048 (java) S 12043 12045 11731 0 -1 64 30223 0 0 0 222 14 0 0 17 0 14 0 159621997 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12049] ppid=12043 vsize=1483184 CPUtime=2.32 /proc/12045/task/12049/stat : 12049 (java) S 12043 12045 11731 0 -1 64 35088 0 0 0 215 17 0 0 17 0 14 0 159621997 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12050] ppid=12043 vsize=1483184 CPUtime=0 /proc/12045/task/12050/stat : 12050 (java) S 12043 12045 11731 0 -1 64 21 0 0 0 0 0 0 0 16 0 14 0 159621999 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12051] ppid=12043 vsize=1483184 CPUtime=0 /proc/12045/task/12051/stat : 12051 (java) S 12043 12045 11731 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 159622000 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12052] ppid=12043 vsize=1483184 CPUtime=0 /proc/12045/task/12052/stat : 12052 (java) S 12043 12045 11731 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 159622000 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12053] ppid=12043 vsize=1483184 CPUtime=0 /proc/12045/task/12053/stat : 12053 (java) S 12043 12045 11731 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 159622004 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12054] ppid=12043 vsize=1483184 CPUtime=1.28 /proc/12045/task/12054/stat : 12054 (java) S 12043 12045 11731 0 -1 64 5962 0 0 0 125 3 0 0 16 0 14 0 159622004 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12055] ppid=12043 vsize=1483184 CPUtime=0.74 /proc/12045/task/12055/stat : 12055 (java) S 12043 12045 11731 0 -1 64 3499 0 0 0 74 0 0 0 16 0 14 0 159622004 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12056] ppid=12043 vsize=1483184 CPUtime=0 /proc/12045/task/12056/stat : 12056 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 159622004 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=12045/tid=12057] ppid=12043 vsize=1483184 CPUtime=0 /proc/12045/task/12057/stat : 12057 (java) S 12043 12045 11731 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 159622004 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=12045/tid=12058] ppid=12043 vsize=1483184 CPUtime=0 /proc/12045/task/12058/stat : 12058 (java) S 12043 12045 11731 0 -1 64 4 0 0 0 0 0 0 0 25 0 14 0 159622024 1518780416 97010 1992294400 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 1483184 Child status: 143 Real time (s): 1797.26 CPU time (s): 1800.43 CPU user time (s): 1799.81 CPU system time (s): 0.626904 CPU usage (%): 100.176 Max. virtual memory (cumulated for all children) (KiB): 1491360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.626904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106591 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37512 involuntary context switches= 38395 runsolver used 2.03569 second user time and 4.53731 second system time The end
Begin job on node34 at 2009-06-13 21:10:27 IDJOB=1856675 IDBENCH=2899 IDSOLVER=682 FILE ID=node34/1856675-1244920227 PBS_JOBID= 9354608 Free space on /tmp= 66328 MiB SOLVER NAME= SAT4J Pseudo Resolution 2.1.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1856675-1244920227/watcher-1856675-1244920227 -o /tmp/evaluation-result-1856675-1244920227/solver-1856675-1244920227 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-1856675-1244920227.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED=2145245096 node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1426280 kB Buffers: 66632 kB Cached: 489020 kB SwapCached: 384 kB Active: 50660 kB Inactive: 518404 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1426280 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 284 kB Writeback: 0 kB Mapped: 21816 kB Slab: 46604 kB Committed_AS: 130844 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66324 MiB End job on node34 at 2009-06-13 21:40:26