Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.16 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb |
MD5SUM | 070ae832e0a6091e01d7e6b3fb0eac97 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -15694 |
Best CPU time to get the best result obtained on this benchmark | 1800.28 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -22094 |
Optimality of the best value was proved | NO |
Number of variables | 1935 |
Total number of constraints | 19275 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 19274 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 1815 |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 23787 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 524341 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 219027 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524372 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 6.19/6.27 c ...done 6.19/6.27 c #vars=1935 #constraints=19276 hasObjective=yes 11.18/11.27 c res. mode=mod 11.18/11.27 c VSIDS like heuristics 11.18/11.27 c complete search running 12.58/12.61 c restart after 401 decisions 14.08/14.17 c nbDecision=500 #constraints=19279 14.19/14.22 c restart after 801 decisions 15.78/15.81 c nbDecision=1000 #constraints=19279 15.78/15.84 c nbDecision=1500 #constraints=19279 15.78/15.84 c restart after 1601 decisions 17.38/17.45 c nbDecision=2000 #constraints=19279 17.38/17.48 c nbDecision=2500 #constraints=19279 17.59/17.67 c nbDecision=3000 #constraints=19280 17.59/17.68 c restart after 3201 decisions 19.18/19.28 c nbDecision=3500 #constraints=19280 19.28/19.31 c nbDecision=4000 #constraints=19280 19.48/19.50 c nbDecision=4500 #constraints=19281 19.48/19.53 c nbDecision=5000 #constraints=19281 19.48/19.55 c nbDecision=5500 #constraints=19281 19.58/19.68 c nbDecision=6000 #constraints=19282 19.69/19.70 c restart after 6401 decisions 21.18/21.28 c nbDecision=6500 #constraints=19282 21.28/21.33 c nbDecision=7000 #constraints=19282 21.28/21.35 c nbDecision=7500 #constraints=19282 21.48/21.58 c nbDecision=8000 #constraints=19283 21.58/21.61 c nbDecision=8500 #constraints=19283 21.78/21.83 c nbDecision=9000 #constraints=19284 21.78/21.86 c nbDecision=9500 #constraints=19284 21.78/21.88 c nbDecision=10000 #constraints=19284 22.48/22.59 c nbDecision=10500 #constraints=19290 23.18/23.20 c nbDecision=11000 #constraints=19295 23.48/23.52 c nbDecision=11500 #constraints=19298 23.68/23.72 c nbDecision=12000 #constraints=19300 23.78/23.86 c nbDecision=12500 #constraints=19301 24.78/24.85 c restart after 12801 decisions 26.48/26.55 c nbDecision=13000 #constraints=19307 26.48/26.58 c nbDecision=13500 #constraints=19307 26.58/26.60 c nbDecision=14000 #constraints=19307 26.98/27.05 c nbDecision=14500 #constraints=19309 28.18/28.27 c nbDecision=15000 #constraints=19315 29.38/29.46 c nbDecision=15500 #constraints=19321 31.79/31.86 c nbDecision=16000 #constraints=19331 31.89/31.95 c nbDecision=16500 #constraints=19332 31.89/31.97 c nbDecision=17000 #constraints=19332 31.99/32.06 c nbDecision=17500 #constraints=19333 31.99/32.08 c nbDecision=18000 #constraints=19333 32.09/32.10 c nbDecision=18500 #constraints=19333 32.09/32.19 c nbDecision=19000 #constraints=19334 32.19/32.21 c nbDecision=19500 #constraints=19334 32.19/32.29 c nbDecision=20000 #constraints=19335 32.29/32.32 c nbDecision=20500 #constraints=19335 32.29/32.34 c nbDecision=21000 #constraints=19335 32.39/32.42 c nbDecision=21500 #constraints=19336 32.39/32.45 c nbDecision=22000 #constraints=19336 32.49/32.52 c nbDecision=22500 #constraints=19337 32.49/32.55 c nbDecision=23000 #constraints=19337 32.49/32.57 c nbDecision=23500 #constraints=19337 32.59/32.66 c nbDecision=24000 #constraints=19338 32.59/32.68 c nbDecision=24500 #constraints=19338 32.59/32.70 c nbDecision=25000 #constraints=19338 32.69/32.79 c nbDecision=25500 #constraints=19339 32.69/32.79 c restart after 25601 decisions 34.38/34.40 c nbDecision=26000 #constraints=19339 34.38/34.42 c nbDecision=26500 #constraints=19339 34.38/34.44 c nbDecision=27000 #constraints=19339 34.48/34.53 c nbDecision=27500 #constraints=19340 34.48/34.55 c nbDecision=28000 #constraints=19340 34.58/34.62 c nbDecision=28500 #constraints=19341 34.58/34.66 c nbDecision=29000 #constraints=19341 34.58/34.68 c nbDecision=29500 #constraints=19341 34.68/34.75 c nbDecision=30000 #constraints=19342 34.68/34.78 c nbDecision=30500 #constraints=19342 34.78/34.80 c nbDecision=31000 #constraints=19342 34.78/34.88 c nbDecision=31500 #constraints=19343 34.88/34.91 c nbDecision=32000 #constraints=19343 34.88/34.92 c nbDecision=32500 #constraints=19343 34.98/35.01 c nbDecision=33000 #constraints=19344 34.98/35.03 c nbDecision=33500 #constraints=19344 34.98/35.05 c nbDecision=34000 #constraints=19344 35.28/35.37 c nbDecision=34500 #constraints=19346 35.38/35.40 c nbDecision=35000 #constraints=19346 35.38/35.42 c nbDecision=35500 #constraints=19346 35.38/35.49 c nbDecision=36000 #constraints=19347 35.48/35.52 c nbDecision=36500 #constraints=19347 35.48/35.54 c nbDecision=37000 #constraints=19347 35.58/35.62 c nbDecision=37500 #constraints=19348 35.58/35.64 c nbDecision=38000 #constraints=19348 35.58/35.66 c nbDecision=38500 #constraints=19348 35.68/35.74 c nbDecision=39000 #constraints=19349 35.68/35.77 c nbDecision=39500 #constraints=19349 35.68/35.78 c nbDecision=40000 #constraints=19349 40.08/40.19 c nbDecision=40500 #constraints=19372 44.38/44.43 c nbDecision=41000 #constraints=19389 47.18/47.24 c nbDecision=41500 #constraints=19402 48.68/48.71 c nbDecision=42000 #constraints=19409 49.68/49.72 c nbDecision=42500 #constraints=19414 50.68/50.75 c nbDecision=43000 #constraints=19419 55.57/55.63 c nbDecision=43500 #constraints=19437 60.07/60.18 c nbDecision=44000 #constraints=19455 62.68/62.77 c nbDecision=44500 #constraints=19462 65.17/65.29 c nbDecision=45000 #constraints=19469 67.47/67.51 c nbDecision=45500 #constraints=19475 69.27/69.35 c nbDecision=46000 #constraints=19480 71.07/71.14 c nbDecision=46500 #constraints=19485 72.27/72.36 c nbDecision=47000 #constraints=19490 74.07/74.14 c nbDecision=47500 #constraints=19495 76.17/76.25 c nbDecision=48000 #constraints=19501 78.67/78.70 c nbDecision=48500 #constraints=19508 80.77/80.83 c nbDecision=49000 #constraints=19514 81.87/81.96 c nbDecision=49500 #constraints=19519 82.07/82.17 c nbDecision=50000 #constraints=19523 83.17/83.28 c nbDecision=50500 #constraints=19527 84.27/84.37 c nbDecision=51000 #constraints=19530 84.67/84.74 c restart after 51201 decisions 86.26/86.39 c nbDecision=51500 #constraints=19531 86.36/86.41 c nbDecision=52000 #constraints=19531 86.36/86.43 c nbDecision=52500 #constraints=19531 87.06/87.17 c nbDecision=53000 #constraints=19533 89.66/89.78 c nbDecision=53500 #constraints=19541 91.46/91.52 c nbDecision=54000 #constraints=19546 94.56/94.64 c nbDecision=54500 #constraints=19555 96.26/96.37 c nbDecision=55000 #constraints=19560 97.77/97.80 c nbDecision=55500 #constraints=19565 97.77/97.87 c nbDecision=56000 #constraints=19567 97.87/97.96 c nbDecision=56500 #constraints=19570 97.97/98.07 c nbDecision=57000 #constraints=19572 98.07/98.18 c nbDecision=57500 #constraints=19574 99.17/99.26 c nbDecision=58000 #constraints=19577 99.97/100.03 c nbDecision=58500 #constraints=19579 101.07/101.12 c nbDecision=59000 #constraints=19582 102.17/102.20 c nbDecision=59500 #constraints=19585 103.17/103.29 c nbDecision=60000 #constraints=19588 105.57/105.68 c nbDecision=60500 #constraints=19596 110.36/110.47 c nbDecision=61000 #constraints=19609 114.06/114.17 c nbDecision=61500 #constraints=19620 116.66/116.70 c nbDecision=62000 #constraints=19627 118.16/118.21 c nbDecision=62500 #constraints=19631 120.76/120.83 c nbDecision=63000 #constraints=19638 122.66/122.70 c nbDecision=63500 #constraints=19643 124.56/124.60 c nbDecision=64000 #constraints=19648 125.66/125.75 c nbDecision=64500 #constraints=19651 127.86/127.97 c nbDecision=65000 #constraints=19657 129.96/130.09 c nbDecision=65500 #constraints=19663 132.05/132.19 c nbDecision=66000 #constraints=19669 134.16/134.27 c nbDecision=66500 #constraints=19675 136.26/136.36 c nbDecision=67000 #constraints=19681 138.35/138.45 c nbDecision=67500 #constraints=19687 138.46/138.52 c nbDecision=68000 #constraints=19689 138.56/138.62 c nbDecision=68500 #constraints=19692 138.65/138.73 c nbDecision=69000 #constraints=19694 138.75/138.84 c nbDecision=69500 #constraints=19696 139.15/139.25 c nbDecision=70000 #constraints=19698 140.25/140.34 c nbDecision=70500 #constraints=19701 141.05/141.10 c nbDecision=71000 #constraints=19703 142.05/142.19 c nbDecision=71500 #constraints=19706 142.86/142.90 c nbDecision=72000 #constraints=19708 144.25/144.35 c nbDecision=72500 #constraints=19712 144.55/144.63 c nbDecision=73000 #constraints=19713 146.55/146.64 c nbDecision=73500 #constraints=19720 147.65/147.73 c nbDecision=74000 #constraints=19724 151.75/151.83 c nbDecision=74500 #constraints=19738 154.65/154.71 c nbDecision=75000 #constraints=19747 157.25/157.31 c nbDecision=75500 #constraints=19754 160.55/160.66 c nbDecision=76000 #constraints=19763 162.84/162.91 c nbDecision=76500 #constraints=19769 164.64/164.80 c nbDecision=77000 #constraints=19774 166.54/166.68 c nbDecision=77500 #constraints=19779 168.14/168.21 c nbDecision=78000 #constraints=19783 169.64/169.71 c nbDecision=78500 #constraints=19787 171.15/171.20 c nbDecision=79000 #constraints=19791 174.05/174.18 c nbDecision=79500 #constraints=19801 175.45/175.58 c nbDecision=80000 #constraints=19805 177.55/177.68 c nbDecision=80500 #constraints=19811 178.94/179.03 c nbDecision=81000 #constraints=19815 179.64/179.78 c nbDecision=81500 #constraints=19819 179.74/179.84 c nbDecision=82000 #constraints=19821 179.84/179.91 c nbDecision=82500 #constraints=19823 179.94/180.03 c nbDecision=83000 #constraints=19825 180.04/180.14 c nbDecision=83500 #constraints=19827 181.04/181.18 c nbDecision=84000 #constraints=19830 181.84/181.95 c nbDecision=84500 #constraints=19832 182.84/182.99 c nbDecision=85000 #constraints=19835 183.24/183.35 c nbDecision=85500 #constraints=19836 184.24/184.39 c nbDecision=86000 #constraints=19839 185.34/185.46 c nbDecision=86500 #constraints=19842 186.74/186.84 c nbDecision=87000 #constraints=19846 186.74/186.87 c nbDecision=87500 #constraints=19846 186.74/186.88 c nbDecision=88000 #constraints=19846 187.44/187.54 c nbDecision=88500 #constraints=19849 188.24/188.31 c nbDecision=89000 #constraints=19852 189.05/189.14 c nbDecision=89500 #constraints=19857 193.34/193.45 c nbDecision=90000 #constraints=19877 198.64/198.73 c nbDecision=90500 #constraints=19900 201.74/201.89 c nbDecision=91000 #constraints=19911 203.54/203.63 c nbDecision=91500 #constraints=19919 204.54/204.67 c nbDecision=92000 #constraints=19923 208.13/208.20 c nbDecision=92500 #constraints=19939 209.73/209.80 c nbDecision=93000 #constraints=19948 212.03/212.15 c nbDecision=93500 #constraints=19956 212.53/212.62 c nbDecision=94000 #constraints=19960 215.13/215.26 c nbDecision=94500 #constraints=19972 221.33/221.45 c nbDecision=95000 #constraints=19998 229.12/229.23 c nbDecision=95500 #constraints=20027 231.83/231.95 c nbDecision=96000 #constraints=20038 234.14/234.26 c nbDecision=96500 #constraints=20047 237.13/237.24 c nbDecision=97000 #constraints=20059 238.73/238.88 c nbDecision=97500 #constraints=20066 240.63/240.77 c nbDecision=98000 #constraints=20073 242.53/242.65 c nbDecision=98500 #constraints=20080 244.43/244.54 c nbDecision=99000 #constraints=20087 246.33/246.42 c nbDecision=99500 #constraints=20094 248.53/248.61 c nbDecision=100000 #constraints=20104 251.53/251.70 c nbDecision=100500 #constraints=20115 253.53/253.61 c nbDecision=101000 #constraints=20122 256.72/256.89 c nbDecision=101500 #constraints=20136 258.72/258.81 c nbDecision=102000 #constraints=20143 260.22/260.38 c restart after 102401 decisions 261.92/262.02 c nbDecision=102500 #constraints=20149 261.92/262.07 c nbDecision=103000 #constraints=20149 261.92/262.10 c nbDecision=103500 #constraints=20149 262.02/262.11 c nbDecision=104000 #constraints=20149 263.42/263.51 c nbDecision=104500 #constraints=20154 265.32/265.49 c nbDecision=105000 #constraints=20161 267.32/267.47 c nbDecision=105500 #constraints=20169 268.82/268.93 c nbDecision=106000 #constraints=20174 270.22/270.38 c nbDecision=106500 #constraints=20180 272.12/272.26 c nbDecision=107000 #constraints=20187 274.02/274.12 c nbDecision=107500 #constraints=20194 275.12/275.22 c nbDecision=108000 #constraints=20200 278.81/278.96 c nbDecision=108500 #constraints=20217 280.71/280.90 c nbDecision=109000 #constraints=20224 283.41/283.52 c nbDecision=109500 #constraints=20233 285.71/285.88 c nbDecision=110000 #constraints=20242 286.71/286.88 c nbDecision=110500 #constraints=20246 289.12/289.26 c nbDecision=111000 #constraints=20255 290.11/290.21 c nbDecision=111500 #constraints=20259 292.01/292.13 c nbDecision=112000 #constraints=20266 293.41/293.56 c nbDecision=112500 #constraints=20272 294.91/295.00 c nbDecision=113000 #constraints=20277 295.81/295.96 c nbDecision=113500 #constraints=20281 297.21/297.39 c nbDecision=114000 #constraints=20286 298.21/298.38 c nbDecision=114500 #constraints=20290 299.61/299.74 c nbDecision=115000 #constraints=20296 301.01/301.16 c nbDecision=115500 #constraints=20301 302.41/302.56 c nbDecision=116000 #constraints=20306 303.42/303.53 c nbDecision=116500 #constraints=20310 304.81/304.94 c nbDecision=117000 #constraints=20315 306.21/306.35 c nbDecision=117500 #constraints=20320 306.72/306.84 c nbDecision=118000 #constraints=20322 308.61/308.73 c nbDecision=118500 #constraints=20329 312.41/312.59 c nbDecision=119000 #constraints=20343 315.01/315.16 c nbDecision=119500 #constraints=20353 317.81/317.90 c nbDecision=120000 #constraints=20365 320.21/320.37 c nbDecision=120500 #constraints=20375 321.71/321.88 c nbDecision=121000 #constraints=20381 323.81/323.92 c nbDecision=121500 #constraints=20389 325.81/325.96 c nbDecision=122000 #constraints=20397 327.31/327.45 c nbDecision=122500 #constraints=20403 328.41/328.54 c nbDecision=123000 #constraints=20407 331.10/331.23 c nbDecision=123500 #constraints=20417 333.21/333.38 c nbDecision=124000 #constraints=20425 334.80/334.98 c nbDecision=124500 #constraints=20431 335.90/336.08 c nbDecision=125000 #constraints=20435 337.90/338.08 c nbDecision=125500 #constraints=20443 339.40/339.58 c nbDecision=126000 #constraints=20449 341.90/342.02 c nbDecision=126500 #constraints=20458 344.80/344.91 c nbDecision=127000 #constraints=20469 346.70/346.85 c nbDecision=127500 #constraints=20476 348.60/348.79 c nbDecision=128000 #constraints=20483 349.60/349.76 c nbDecision=128500 #constraints=20486 350.59/350.72 c nbDecision=129000 #constraints=20490 352.49/352.64 c nbDecision=129500 #constraints=20497 353.49/353.62 c nbDecision=130000 #constraints=20500 354.39/354.58 c nbDecision=130500 #constraints=20504 355.89/356.03 c nbDecision=131000 #constraints=20509 356.79/356.98 c nbDecision=131500 #constraints=20513 358.29/358.42 c nbDecision=132000 #constraints=20518 359.19/359.39 c nbDecision=132500 #constraints=20522 360.79/360.90 c nbDecision=133000 #constraints=20528 361.69/361.82 c nbDecision=133500 #constraints=20531 363.09/363.26 c nbDecision=134000 #constraints=20537 364.09/364.24 c nbDecision=134500 #constraints=20540 365.09/365.21 c nbDecision=135000 #constraints=20544 365.99/366.13 c nbDecision=135500 #constraints=20548 366.49/366.62 c nbDecision=136000 #constraints=20550 368.79/368.90 c nbDecision=136500 #constraints=20558 370.49/370.65 c nbDecision=137000 #constraints=20563 371.39/371.55 c nbDecision=137500 #constraints=20566 373.09/373.24 c nbDecision=138000 #constraints=20572 377.89/378.04 c nbDecision=138500 #constraints=20587 381.60/381.79 c nbDecision=139000 #constraints=20598 383.59/383.75 c nbDecision=139500 #constraints=20604 385.89/386.09 c nbDecision=140000 #constraints=20610 388.19/388.30 c nbDecision=140500 #constraints=20616 390.69/390.89 c nbDecision=141000 #constraints=20623 392.59/392.71 c nbDecision=141500 #constraints=20628 394.79/394.91 c nbDecision=142000 #constraints=20634 396.18/396.36 c nbDecision=142500 #constraints=20639 401.39/401.53 c nbDecision=143000 #constraints=20654 404.08/404.27 c nbDecision=143500 #constraints=20662 406.48/406.61 c nbDecision=144000 #constraints=20669 407.99/408.18 c nbDecision=144500 #constraints=20673 410.88/411.09 c nbDecision=145000 #constraints=20681 412.78/412.97 c nbDecision=145500 #constraints=20686 414.68/414.80 c nbDecision=146000 #constraints=20691 416.88/417.00 c nbDecision=146500 #constraints=20697 419.08/419.21 c nbDecision=147000 #constraints=20703 419.98/420.10 c nbDecision=147500 #constraints=20706 427.07/427.26 c nbDecision=148000 #constraints=20729 432.27/432.49 c nbDecision=148500 #constraints=20744 436.57/436.72 c nbDecision=149000 #constraints=20757 438.47/438.69 c nbDecision=149500 #constraints=20763 442.77/442.94 c nbDecision=150000 #constraints=20776 444.67/444.85 c nbDecision=150500 #constraints=20782 445.47/445.66 c nbDecision=151000 #constraints=20784 448.57/448.71 c nbDecision=151500 #constraints=20793 450.77/450.94 c nbDecision=152000 #constraints=20799 454.07/454.23 c nbDecision=152500 #constraints=20808 455.46/455.70 c nbDecision=153000 #constraints=20812 458.77/458.98 c nbDecision=153500 #constraints=20821 461.07/461.22 c nbDecision=154000 #constraints=20827 464.37/464.54 c nbDecision=154500 #constraints=20836 465.87/466.02 c nbDecision=155000 #constraints=20840 469.17/469.33 c nbDecision=155500 #constraints=20849 470.97/471.18 c nbDecision=156000 #constraints=20854 471.37/471.56 c nbDecision=156500 #constraints=20855 474.67/474.85 c nbDecision=157000 #constraints=20864 476.17/476.31 c nbDecision=157500 #constraints=20868 480.86/481.08 c nbDecision=158000 #constraints=20881 484.87/485.09 c nbDecision=158500 #constraints=20892 485.76/485.91 c nbDecision=159000 #constraints=20895 488.76/488.97 c nbDecision=159500 #constraints=20906 491.66/491.87 c nbDecision=160000 #constraints=20914 494.16/494.36 c nbDecision=160500 #constraints=20921 496.86/497.04 c nbDecision=161000 #constraints=20929 499.76/499.93 c nbDecision=161500 #constraints=20937 501.46/501.64 c nbDecision=162000 #constraints=20942 503.56/503.80 c nbDecision=162500 #constraints=20948 506.35/506.51 c nbDecision=163000 #constraints=20956 508.45/508.63 c nbDecision=163500 #constraints=20962 510.95/511.13 c nbDecision=164000 #constraints=20969 513.65/513.82 c nbDecision=164500 #constraints=20977 516.45/516.69 c nbDecision=165000 #constraints=20985 517.65/517.85 c nbDecision=165500 #constraints=20988 519.55/519.75 c nbDecision=166000 #constraints=20994 521.75/521.91 c nbDecision=166500 #constraints=21000 523.75/523.90 c nbDecision=167000 #constraints=21006 529.45/529.63 c nbDecision=167500 #constraints=21023 533.95/534.17 c nbDecision=168000 #constraints=21036 537.95/538.17 c nbDecision=168500 #constraints=21048 541.55/541.78 c nbDecision=169000 #constraints=21058 545.55/545.70 c nbDecision=169500 #constraints=21071 548.05/548.20 c nbDecision=170000 #constraints=21081 549.85/550.09 c nbDecision=170500 #constraints=21088 554.15/554.39 c nbDecision=171000 #constraints=21101 558.34/558.56 c nbDecision=171500 #constraints=21113 560.74/561.00 c nbDecision=172000 #constraints=21120 561.84/562.08 c nbDecision=172500 #constraints=21130 562.94/563.19 c nbDecision=173000 #constraints=21142 564.34/564.59 c nbDecision=173500 #constraints=21151 565.64/565.88 c nbDecision=174000 #constraints=21158 567.44/567.67 c nbDecision=174500 #constraints=21170 569.54/569.74 c nbDecision=175000 #constraints=21182 570.64/570.90 c nbDecision=175500 #constraints=21188 571.24/571.43 c nbDecision=176000 #constraints=21191 571.34/571.50 c nbDecision=176500 #constraints=21193 571.54/571.70 c nbDecision=177000 #constraints=21196 574.24/574.49 c nbDecision=177500 #constraints=21203 576.24/576.46 c nbDecision=178000 #constraints=21208 579.03/579.25 c nbDecision=178500 #constraints=21215 581.03/581.23 c nbDecision=179000 #constraints=21220 583.43/583.64 c nbDecision=179500 #constraints=21226 585.03/585.26 c nbDecision=180000 #constraints=21230 586.23/586.42 c nbDecision=180500 #constraints=21233 587.03/587.22 c nbDecision=181000 #constraints=21235 591.33/591.58 c nbDecision=181500 #constraints=21246 593.73/593.97 c nbDecision=182000 #constraints=21252 597.03/597.23 c nbDecision=182500 #constraints=21262 597.83/598.00 c nbDecision=183000 #constraints=21264 598.53/598.75 c nbDecision=183500 #constraints=21267 599.93/600.18 c nbDecision=184000 #constraints=21272 601.92/602.14 c nbDecision=184500 #constraints=21278 605.42/605.62 c nbDecision=185000 #constraints=21287 607.72/607.91 c nbDecision=185500 #constraints=21293 610.92/611.10 c nbDecision=186000 #constraints=21302 613.12/613.36 c nbDecision=186500 #constraints=21309 614.62/614.87 c nbDecision=187000 #constraints=21313 617.22/617.44 c nbDecision=187500 #constraints=21320 618.62/618.87 c nbDecision=188000 #constraints=21325 619.92/620.11 c nbDecision=188500 #constraints=21329 621.72/622.00 c nbDecision=189000 #constraints=21334 624.02/624.29 c nbDecision=189500 #constraints=21340 627.92/628.16 c nbDecision=190000 #constraints=21350 630.92/631.18 c nbDecision=190500 #constraints=21358 633.22/633.43 c nbDecision=191000 #constraints=21364 636.12/636.34 c nbDecision=191500 #constraints=21372 636.92/637.13 c nbDecision=192000 #constraints=21376 639.12/639.35 c nbDecision=192500 #constraints=21382 641.32/641.59 c nbDecision=193000 #constraints=21388 642.52/642.76 c nbDecision=193500 #constraints=21393 644.02/644.29 c nbDecision=194000 #constraints=21397 645.62/645.80 c nbDecision=194500 #constraints=21401 647.42/647.68 c nbDecision=195000 #constraints=21406 648.92/649.14 c nbDecision=195500 #constraints=21410 652.02/652.27 c nbDecision=196000 #constraints=21418 655.52/655.72 c nbDecision=196500 #constraints=21427 657.71/657.92 c nbDecision=197000 #constraints=21433 659.61/659.83 c nbDecision=197500 #constraints=21438 662.51/662.78 c nbDecision=198000 #constraints=21447 663.31/663.55 c nbDecision=198500 #constraints=21450 665.51/665.79 c nbDecision=199000 #constraints=21456 667.42/667.67 c nbDecision=199500 #constraints=21461 668.81/669.08 c nbDecision=200000 #constraints=21465 669.01/669.20 c nbDecision=200500 #constraints=21467 671.21/671.43 c nbDecision=201000 #constraints=21473 672.01/672.22 c nbDecision=201500 #constraints=21475 673.41/673.67 c nbDecision=202000 #constraints=21479 674.21/674.46 c nbDecision=202500 #constraints=21481 675.71/675.90 c nbDecision=203000 #constraints=21485 676.41/676.69 c nbDecision=203500 #constraints=21487 677.91/678.14 c nbDecision=204000 #constraints=21491 679.01/679.29 c nbDecision=204500 #constraints=21494 679.81/680.01 c restart after 204801 decisions 681.51/681.78 c nbDecision=205000 #constraints=21496 681.61/681.81 c nbDecision=205500 #constraints=21496 681.61/681.83 c nbDecision=206000 #constraints=21496 682.01/682.28 c nbDecision=206500 #constraints=21497 683.81/684.10 c nbDecision=207000 #constraints=21502 687.00/687.26 c nbDecision=207500 #constraints=21510 689.68/689.96 c nbDecision=208000 #constraints=21517 691.18/691.41 c nbDecision=208500 #constraints=21521 693.79/694.04 c nbDecision=209000 #constraints=21528 695.28/695.54 c nbDecision=209500 #constraints=21532 697.58/697.89 c nbDecision=210000 #constraints=21538 700.37/700.64 c nbDecision=210500 #constraints=21545 702.66/702.91 c nbDecision=211000 #constraints=21551 704.95/705.20 c nbDecision=211500 #constraints=21557 706.45/706.72 c nbDecision=212000 #constraints=21561 707.95/708.23 c nbDecision=212500 #constraints=21565 709.54/709.84 c nbDecision=213000 #constraints=21569 713.73/714.06 c nbDecision=213500 #constraints=21580 716.42/716.75 c nbDecision=214000 #constraints=21587 718.32/718.65 c nbDecision=214500 #constraints=21592 721.22/721.57 c nbDecision=215000 #constraints=21600 721.71/722.01 c nbDecision=215500 #constraints=21603 723.91/724.25 c nbDecision=216000 #constraints=21609 725.81/726.13 c nbDecision=216500 #constraints=21614 727.21/727.55 c nbDecision=217000 #constraints=21618 727.31/727.67 c nbDecision=217500 #constraints=21620 728.92/729.20 c nbDecision=218000 #constraints=21624 729.91/730.28 c nbDecision=218500 #constraints=21627 731.81/732.15 c nbDecision=219000 #constraints=21632 732.61/732.94 c nbDecision=219500 #constraints=21634 734.01/734.38 c nbDecision=220000 #constraints=21638 734.81/735.11 c nbDecision=220500 #constraints=21640 735.91/736.27 c nbDecision=221000 #constraints=21643 737.01/737.35 c nbDecision=221500 #constraints=21646 738.90/739.23 c nbDecision=222000 #constraints=21651 741.19/741.56 c nbDecision=222500 #constraints=21657 745.59/745.91 c nbDecision=223000 #constraints=21669 749.99/750.32 c nbDecision=223500 #constraints=21681 752.89/753.23 c nbDecision=224000 #constraints=21689 755.99/756.32 c nbDecision=224500 #constraints=21698 758.69/759.03 c nbDecision=225000 #constraints=21706 762.68/763.02 c nbDecision=225500 #constraints=21717 765.58/765.91 c nbDecision=226000 #constraints=21725 768.49/768.80 c nbDecision=226500 #constraints=21733 770.79/771.17 c nbDecision=227000 #constraints=21740 772.39/772.73 c nbDecision=227500 #constraints=21748 773.89/774.28 c nbDecision=228000 #constraints=21754 776.79/777.15 c nbDecision=228500 #constraints=21762 778.19/778.59 c nbDecision=229000 #constraints=21766 782.49/782.84 c nbDecision=229500 #constraints=21777 786.09/786.44 c nbDecision=230000 #constraints=21786 788.78/789.11 c nbDecision=230500 #constraints=21793 791.48/791.84 c nbDecision=231000 #constraints=21800 794.58/794.99 c nbDecision=231500 #constraints=21808 797.28/797.65 c nbDecision=232000 #constraints=21815 800.08/800.42 c nbDecision=232500 #constraints=21822 802.58/802.97 c nbDecision=233000 #constraints=21829 804.38/804.75 c nbDecision=233500 #constraints=21834 805.88/806.26 c nbDecision=234000 #constraints=21841 807.18/807.56 c nbDecision=234500 #constraints=21846 809.08/809.44 c nbDecision=235000 #constraints=21851 811.27/811.61 c nbDecision=235500 #constraints=21857 814.07/814.49 c nbDecision=236000 #constraints=21865 816.47/816.89 c nbDecision=236500 #constraints=21872 820.28/820.69 c nbDecision=237000 #constraints=21882 823.57/823.96 c nbDecision=237500 #constraints=21891 826.77/827.20 c nbDecision=238000 #constraints=21900 828.77/829.13 c nbDecision=238500 #constraints=21905 832.37/832.70 c nbDecision=239000 #constraints=21914 834.57/834.96 c nbDecision=239500 #constraints=21920 837.36/837.72 c nbDecision=240000 #constraints=21927 839.56/839.99 c nbDecision=240500 #constraints=21933 842.17/842.54 c nbDecision=241000 #constraints=21940 843.66/844.00 c nbDecision=241500 #constraints=21945 844.06/844.47 c nbDecision=242000 #constraints=21947 844.16/844.59 c nbDecision=242500 #constraints=21949 844.66/845.06 c nbDecision=243000 #constraints=21951 846.86/847.23 c nbDecision=243500 #constraints=21957 848.46/848.84 c nbDecision=244000 #constraints=21961 850.66/851.03 c nbDecision=244500 #constraints=21967 852.06/852.47 c nbDecision=245000 #constraints=21971 853.86/854.27 c nbDecision=245500 #constraints=21976 855.36/855.71 c nbDecision=246000 #constraints=21980 860.46/860.80 c nbDecision=246500 #constraints=21994 864.05/864.44 c nbDecision=247000 #constraints=22003 868.55/868.91 c nbDecision=247500 #constraints=22014 872.06/872.44 c nbDecision=248000 #constraints=22023 875.66/876.07 c nbDecision=248500 #constraints=22033 879.25/879.62 c nbDecision=249000 #constraints=22042 882.75/883.15 c nbDecision=249500 #constraints=22051 885.95/886.32 c nbDecision=250000 #constraints=22059 889.35/889.74 c nbDecision=250500 #constraints=22068 891.95/892.39 c nbDecision=251000 #constraints=22075 895.15/895.53 c nbDecision=251500 #constraints=22083 898.25/898.67 c nbDecision=252000 #constraints=22091 899.45/899.88 c nbDecision=252500 #constraints=22094 905.54/905.96 c nbDecision=253000 #constraints=22109 909.14/909.54 c nbDecision=253500 #constraints=22118 913.44/913.88 c nbDecision=254000 #constraints=22129 916.65/917.07 c nbDecision=254500 #constraints=22137 920.55/920.95 c nbDecision=255000 #constraints=22147 923.74/924.12 c nbDecision=255500 #constraints=22155 926.44/926.82 c nbDecision=256000 #constraints=22162 929.44/929.86 c nbDecision=256500 #constraints=22170 932.14/932.58 c nbDecision=257000 #constraints=22177 934.54/934.93 c nbDecision=257500 #constraints=22183 937.64/938.08 c nbDecision=258000 #constraints=22191 939.24/939.66 c nbDecision=258500 #constraints=22195 942.83/943.28 c nbDecision=259000 #constraints=22204 947.74/948.14 c nbDecision=259500 #constraints=22216 950.83/951.29 c nbDecision=260000 #constraints=22224 954.03/954.47 c nbDecision=260500 #constraints=22232 958.33/958.71 c nbDecision=261000 #constraints=22243 961.93/962.32 c nbDecision=261500 #constraints=22252 965.03/965.40 c nbDecision=262000 #constraints=22260 968.23/968.61 c nbDecision=262500 #constraints=22268 971.73/972.11 c nbDecision=263000 #constraints=22277 972.83/973.29 c nbDecision=263500 #constraints=22280 976.12/976.56 c nbDecision=264000 #constraints=22289 977.92/978.33 c nbDecision=264500 #constraints=22294 978.72/979.11 c nbDecision=265000 #constraints=22297 979.12/979.58 c nbDecision=265500 #constraints=22299 979.22/979.63 c nbDecision=266000 #constraints=22300 980.92/981.31 c nbDecision=266500 #constraints=22305 982.52/982.90 c nbDecision=267000 #constraints=22309 984.52/984.91 c nbDecision=267500 #constraints=22314 985.92/986.32 c nbDecision=268000 #constraints=22318 987.92/988.32 c nbDecision=268500 #constraints=22323 989.32/989.73 c nbDecision=269000 #constraints=22327 989.72/990.10 c nbDecision=269500 #constraints=22328 993.02/993.48 c nbDecision=270000 #constraints=22337 996.12/996.55 c nbDecision=270500 #constraints=22346 997.02/997.40 c nbDecision=271000 #constraints=22349 998.91/999.33 c nbDecision=271500 #constraints=22354 1000.41/1000.88 c nbDecision=272000 #constraints=22358 1001.62/1002.05 c nbDecision=272500 #constraints=22361 1002.41/1002.84 c nbDecision=273000 #constraints=22363 1004.01/1004.41 c nbDecision=273500 #constraints=22367 1005.11/1005.58 c nbDecision=274000 #constraints=22370 1006.31/1006.76 c nbDecision=274500 #constraints=22373 1007.11/1007.54 c nbDecision=275000 #constraints=22375 1007.91/1008.33 c nbDecision=275500 #constraints=22377 1008.71/1009.12 c nbDecision=276000 #constraints=22379 1009.92/1010.31 c nbDecision=276500 #constraints=22383 1012.12/1012.50 c nbDecision=277000 #constraints=22389 1013.42/1013.85 c nbDecision=277500 #constraints=22393 1014.42/1014.87 c nbDecision=278000 #constraints=22396 1015.12/1015.55 c nbDecision=278500 #constraints=22398 1015.82/1016.25 c nbDecision=279000 #constraints=22400 1017.32/1017.71 c nbDecision=279500 #constraints=22405 1018.71/1019.15 c nbDecision=280000 #constraints=22409 1019.81/1020.25 c nbDecision=280500 #constraints=22412 1020.61/1021.01 c nbDecision=281000 #constraints=22414 1022.41/1022.85 c nbDecision=281500 #constraints=22419 1023.11/1023.59 c nbDecision=282000 #constraints=22421 1023.91/1024.34 c nbDecision=282500 #constraints=22423 1024.61/1025.08 c nbDecision=283000 #constraints=22425 1025.41/1025.82 c nbDecision=283500 #constraints=22427 1025.71/1026.20 c nbDecision=284000 #constraints=22428 1026.21/1026.60 c nbDecision=284500 #constraints=22429 1028.41/1028.86 c nbDecision=285000 #constraints=22435 1028.81/1029.25 c nbDecision=285500 #constraints=22437 1029.91/1030.37 c nbDecision=286000 #constraints=22440 1029.91/1030.39 c nbDecision=286500 #constraints=22440 1030.31/1030.70 c nbDecision=287000 #constraints=22441 1030.91/1031.38 c nbDecision=287500 #constraints=22444 1031.51/1031.95 c nbDecision=288000 #constraints=22447 1033.91/1034.32 c nbDecision=288500 #constraints=22454 1035.41/1035.87 c nbDecision=289000 #constraints=22459 1036.51/1036.92 c nbDecision=289500 #constraints=22465 1037.71/1038.14 c nbDecision=290000 #constraints=22471 1041.21/1041.68 c nbDecision=290500 #constraints=22483 1045.00/1045.45 c nbDecision=291000 #constraints=22493 1046.20/1046.66 c nbDecision=291500 #constraints=22499 1048.60/1049.04 c nbDecision=292000 #constraints=22508 1050.11/1050.52 c nbDecision=292500 #constraints=22515 1050.60/1051.05 c nbDecision=293000 #constraints=22519 1052.30/1052.70 c nbDecision=293500 #constraints=22525 1054.20/1054.66 c nbDecision=294000 #constraints=22534 1056.60/1057.09 c nbDecision=294500 #constraints=22545 1058.60/1059.07 c nbDecision=295000 #constraints=22553 1059.90/1060.35 c nbDecision=295500 #constraints=22558 1061.10/1061.55 c nbDecision=296000 #constraints=22565 1061.90/1062.37 c nbDecision=296500 #constraints=22569 1063.20/1063.66 c nbDecision=297000 #constraints=22574 1064.90/1065.31 c nbDecision=297500 #constraints=22580 1067.89/1068.38 c nbDecision=298000 #constraints=22589 1070.09/1070.51 c nbDecision=298500 #constraints=22597 1071.59/1072.01 c nbDecision=299000 #constraints=22603 1072.79/1073.22 c nbDecision=299500 #constraints=22611 1074.89/1075.33 c nbDecision=300000 #constraints=22621 1075.89/1076.38 c nbDecision=300500 #constraints=22626 1077.29/1077.74 c nbDecision=301000 #constraints=22633 1077.99/1078.41 c nbDecision=301500 #constraints=22638 1078.79/1079.25 c nbDecision=302000 #constraints=22645 1079.89/1080.32 c nbDecision=302500 #constraints=22655 1079.89/1080.40 c nbDecision=303000 #constraints=22657 1081.70/1082.20 c nbDecision=303500 #constraints=22669 1082.70/1083.11 c nbDecision=304000 #constraints=22675 1082.90/1083.37 c nbDecision=304500 #constraints=22677 1085.00/1085.44 c nbDecision=305000 #constraints=22684 1085.99/1086.45 c nbDecision=305500 #constraints=22688 1087.59/1088.05 c nbDecision=306000 #constraints=22693 1089.09/1089.55 c nbDecision=306500 #constraints=22699 1090.29/1090.72 c nbDecision=307000 #constraints=22703 1091.19/1091.64 c nbDecision=307500 #constraints=22706 1092.19/1092.63 c nbDecision=308000 #constraints=22710 1093.59/1094.06 c nbDecision=308500 #constraints=22714 1094.59/1095.04 c nbDecision=309000 #constraints=22718 1096.09/1096.53 c nbDecision=309500 #constraints=22723 1096.99/1097.46 c nbDecision=310000 #constraints=22726 1098.99/1099.44 c nbDecision=310500 #constraints=22733 1100.39/1100.89 c nbDecision=311000 #constraints=22738 1102.99/1103.47 c nbDecision=311500 #constraints=22745 1107.39/1107.89 c nbDecision=312000 #constraints=22758 1110.19/1110.60 c nbDecision=312500 #constraints=22766 1113.28/1113.77 c nbDecision=313000 #constraints=22777 1115.48/1115.91 c nbDecision=313500 #constraints=22785 1117.88/1118.34 c nbDecision=314000 #constraints=22792 1120.08/1120.50 c nbDecision=314500 #constraints=22799 1121.48/1121.96 c nbDecision=315000 #constraints=22806 1123.58/1124.03 c nbDecision=315500 #constraints=22821 1123.68/1124.16 c nbDecision=316000 #constraints=22823 1125.58/1126.01 c nbDecision=316500 #constraints=22828 1127.48/1127.97 c nbDecision=317000 #constraints=22834 1128.48/1128.95 c nbDecision=317500 #constraints=22837 1131.57/1132.08 c nbDecision=318000 #constraints=22846 1135.27/1135.73 c nbDecision=318500 #constraints=22857 1137.67/1138.10 c nbDecision=319000 #constraints=22864 1139.97/1140.47 c nbDecision=319500 #constraints=22871 1141.97/1142.44 c nbDecision=320000 #constraints=22877 1143.37/1143.90 c nbDecision=320500 #constraints=22884 1144.97/1145.42 c nbDecision=321000 #constraints=22889 1146.37/1146.81 c nbDecision=321500 #constraints=22893 1148.27/1148.77 c nbDecision=322000 #constraints=22899 1150.17/1150.60 c nbDecision=322500 #constraints=22904 1151.07/1151.57 c nbDecision=323000 #constraints=22907 1155.16/1155.64 c nbDecision=323500 #constraints=22919 1157.97/1158.47 c nbDecision=324000 #constraints=22928 1160.37/1160.86 c nbDecision=324500 #constraints=22935 1162.77/1163.24 c nbDecision=325000 #constraints=22942 1164.57/1165.08 c nbDecision=325500 #constraints=22947 1165.77/1166.23 c nbDecision=326000 #constraints=22954 1167.17/1167.65 c nbDecision=326500 #constraints=22958 1168.57/1169.01 c nbDecision=327000 #constraints=22964 1170.07/1170.55 c nbDecision=327500 #constraints=22969 1171.27/1171.76 c nbDecision=328000 #constraints=22974 1172.37/1172.87 c nbDecision=328500 #constraints=22978 1173.87/1174.39 c nbDecision=329000 #constraints=22983 1174.47/1174.91 c nbDecision=329500 #constraints=22987 1176.77/1177.27 c nbDecision=330000 #constraints=22994 1177.27/1177.79 c nbDecision=330500 #constraints=22998 1179.16/1179.63 c nbDecision=331000 #constraints=23003 1179.56/1180.05 c nbDecision=331500 #constraints=23006 1180.26/1180.78 c nbDecision=332000 #constraints=23014 1181.36/1181.86 c nbDecision=332500 #constraints=23026 1181.97/1182.43 c nbDecision=333000 #constraints=23031 1182.26/1182.79 c nbDecision=333500 #constraints=23033 1185.06/1185.56 c nbDecision=334000 #constraints=23041 1187.06/1187.54 c nbDecision=334500 #constraints=23046 1188.67/1189.13 c nbDecision=335000 #constraints=23050 1190.86/1191.31 c nbDecision=335500 #constraints=23059 1193.96/1194.49 c nbDecision=336000 #constraints=23069 1197.16/1197.62 c nbDecision=336500 #constraints=23079 1199.05/1199.55 c nbDecision=337000 #constraints=23085 1201.15/1201.66 c nbDecision=337500 #constraints=23092 1202.56/1203.06 c nbDecision=338000 #constraints=23097 1204.35/1204.83 c nbDecision=338500 #constraints=23102 1205.75/1206.22 c nbDecision=339000 #constraints=23106 1209.35/1209.86 c nbDecision=339500 #constraints=23120 1211.25/1211.73 c nbDecision=340000 #constraints=23126 1214.35/1214.86 c nbDecision=340500 #constraints=23136 1216.25/1216.79 c nbDecision=341000 #constraints=23142 1218.35/1218.88 c nbDecision=341500 #constraints=23149 1219.75/1220.28 c nbDecision=342000 #constraints=23154 1221.55/1222.05 c nbDecision=342500 #constraints=23159 1222.95/1223.43 c nbDecision=343000 #constraints=23163 1224.35/1224.82 c nbDecision=343500 #constraints=23167 1227.85/1228.38 c nbDecision=344000 #constraints=23183 1231.05/1231.52 c nbDecision=344500 #constraints=23198 1233.65/1234.14 c nbDecision=345000 #constraints=23208 1236.44/1236.93 c nbDecision=345500 #constraints=23217 1239.94/1240.42 c nbDecision=346000 #constraints=23232 1241.74/1242.28 c nbDecision=346500 #constraints=23239 1245.94/1246.40 c nbDecision=347000 #constraints=23251 1249.44/1249.91 c nbDecision=347500 #constraints=23263 1250.64/1251.14 c nbDecision=348000 #constraints=23266 1251.94/1252.41 c nbDecision=348500 #constraints=23271 1252.74/1253.20 c nbDecision=349000 #constraints=23273 1253.33/1253.80 c nbDecision=349500 #constraints=23276 1256.75/1257.29 c nbDecision=350000 #constraints=23286 1258.54/1259.05 c nbDecision=350500 #constraints=23291 1261.54/1262.09 c nbDecision=351000 #constraints=23300 1263.74/1264.23 c nbDecision=351500 #constraints=23306 1264.94/1265.42 c nbDecision=352000 #constraints=23309 1269.34/1269.86 c nbDecision=352500 #constraints=23322 1270.54/1271.04 c nbDecision=353000 #constraints=23325 1271.34/1271.82 c nbDecision=353500 #constraints=23327 1274.44/1274.92 c nbDecision=354000 #constraints=23336 1276.94/1277.41 c nbDecision=354500 #constraints=23343 1281.34/1281.85 c nbDecision=355000 #constraints=23356 1283.73/1284.29 c nbDecision=355500 #constraints=23365 1287.23/1287.77 c nbDecision=356000 #constraints=23378 1289.93/1290.45 c nbDecision=356500 #constraints=23386 1292.03/1292.59 c nbDecision=357000 #constraints=23394 1295.03/1295.55 c nbDecision=357500 #constraints=23402 1296.43/1296.93 c nbDecision=358000 #constraints=23407 1298.33/1298.86 c nbDecision=358500 #constraints=23413 1299.13/1299.69 c nbDecision=359000 #constraints=23415 1303.03/1303.55 c nbDecision=359500 #constraints=23429 1305.23/1305.74 c nbDecision=360000 #constraints=23435 1308.03/1308.57 c nbDecision=360500 #constraints=23444 1310.63/1311.13 c nbDecision=361000 #constraints=23451 1311.22/1311.73 c nbDecision=361500 #constraints=23454 1312.93/1313.49 c nbDecision=362000 #constraints=23459 1314.92/1315.43 c nbDecision=362500 #constraints=23465 1316.72/1317.25 c nbDecision=363000 #constraints=23471 1319.92/1320.41 c nbDecision=363500 #constraints=23486 1322.42/1322.96 c nbDecision=364000 #constraints=23498 1326.62/1327.17 c nbDecision=364500 #constraints=23511 1329.42/1329.95 c nbDecision=365000 #constraints=23520 1333.11/1333.62 c nbDecision=365500 #constraints=23531 1337.02/1337.54 c nbDecision=366000 #constraints=23542 1338.81/1339.34 c nbDecision=366500 #constraints=23547 1340.51/1341.08 c nbDecision=367000 #constraints=23554 1341.01/1341.52 c nbDecision=367500 #constraints=23556 1341.51/1342.03 c nbDecision=368000 #constraints=23558 1344.61/1345.13 c nbDecision=368500 #constraints=23567 1346.31/1346.88 c nbDecision=369000 #constraints=23572 1349.41/1349.98 c nbDecision=369500 #constraints=23581 1351.21/1351.72 c nbDecision=370000 #constraints=23586 1354.21/1354.79 c nbDecision=370500 #constraints=23595 1356.00/1356.53 c nbDecision=371000 #constraints=23600 1357.21/1357.71 c nbDecision=371500 #constraints=23603 1359.91/1360.41 c nbDecision=372000 #constraints=23611 1360.81/1361.37 c nbDecision=372500 #constraints=23615 1364.11/1364.62 c nbDecision=373000 #constraints=23626 1365.41/1365.98 c nbDecision=373500 #constraints=23631 1367.11/1367.68 c nbDecision=374000 #constraints=23636 1370.71/1371.26 c nbDecision=374500 #constraints=23646 1373.01/1373.54 c nbDecision=375000 #constraints=23652 1374.91/1375.42 c nbDecision=375500 #constraints=23657 1377.10/1377.67 c nbDecision=376000 #constraints=23663 1378.60/1379.19 c nbDecision=376500 #constraints=23667 1380.70/1381.29 c nbDecision=377000 #constraints=23673 1384.00/1384.55 c nbDecision=377500 #constraints=23682 1386.30/1386.85 c nbDecision=378000 #constraints=23688 1388.10/1388.69 c nbDecision=378500 #constraints=23693 1390.40/1391.00 c nbDecision=379000 #constraints=23699 1391.90/1392.46 c nbDecision=379500 #constraints=23703 1393.40/1393.98 c nbDecision=380000 #constraints=23707 1395.40/1395.92 c nbDecision=380500 #constraints=23712 1398.10/1398.67 c nbDecision=381000 #constraints=23719 1401.30/1401.86 c nbDecision=381500 #constraints=23727 1404.40/1404.95 c nbDecision=382000 #constraints=23736 1406.30/1406.89 c nbDecision=382500 #constraints=23741 1409.39/1409.94 c nbDecision=383000 #constraints=23750 1411.59/1412.17 c nbDecision=383500 #constraints=23756 1412.79/1413.34 c nbDecision=384000 #constraints=23759 1414.99/1415.54 c nbDecision=384500 #constraints=23765 1416.89/1417.46 c nbDecision=385000 #constraints=23770 1419.09/1419.63 c nbDecision=385500 #constraints=23776 1419.89/1420.42 c nbDecision=386000 #constraints=23779 1420.89/1421.41 c nbDecision=386500 #constraints=23783 1422.39/1422.90 c nbDecision=387000 #constraints=23787 1423.29/1423.80 c nbDecision=387500 #constraints=23790 1424.79/1425.37 c nbDecision=388000 #constraints=23795 1425.59/1426.19 c nbDecision=388500 #constraints=23797 1427.09/1427.68 c nbDecision=389000 #constraints=23801 1427.88/1428.42 c nbDecision=389500 #constraints=23803 1429.39/1429.96 c nbDecision=390000 #constraints=23807 1430.18/1430.71 c nbDecision=390500 #constraints=23809 1432.38/1432.99 c nbDecision=391000 #constraints=23815 1433.98/1434.56 c nbDecision=391500 #constraints=23819 1436.59/1437.15 c nbDecision=392000 #constraints=23827 1439.29/1439.88 c nbDecision=392500 #constraints=23834 1440.59/1441.15 c nbDecision=393000 #constraints=23838 1442.59/1443.10 c nbDecision=393500 #constraints=23843 1444.49/1445.06 c nbDecision=394000 #constraints=23848 1446.89/1447.44 c nbDecision=394500 #constraints=23854 1449.29/1449.88 c nbDecision=395000 #constraints=23860 1452.09/1452.61 c nbDecision=395500 #constraints=23867 1453.59/1454.14 c nbDecision=396000 #constraints=23871 1455.89/1456.50 c nbDecision=396500 #constraints=23877 1457.88/1458.44 c nbDecision=397000 #constraints=23882 1459.48/1460.02 c nbDecision=397500 #constraints=23886 1461.08/1461.61 c nbDecision=398000 #constraints=23890 1463.49/1464.05 c nbDecision=398500 #constraints=23896 1465.79/1466.38 c nbDecision=399000 #constraints=23902 1467.38/1467.93 c nbDecision=399500 #constraints=23906 1468.98/1469.52 c nbDecision=400000 #constraints=23910 1470.88/1471.47 c nbDecision=400500 #constraints=23915 1471.68/1472.26 c nbDecision=401000 #constraints=23917 1472.88/1473.45 c nbDecision=401500 #constraints=23920 1474.08/1474.67 c nbDecision=402000 #constraints=23923 1475.28/1475.84 c nbDecision=402500 #constraints=23926 1476.78/1477.39 c nbDecision=403000 #constraints=23930 1477.57/1478.13 c nbDecision=403500 #constraints=23932 1479.57/1480.10 c nbDecision=404000 #constraints=23937 1481.47/1482.05 c nbDecision=404500 #constraints=23942 1481.47/1482.08 c nbDecision=405000 #constraints=23942 1481.57/1482.10 c nbDecision=405500 #constraints=23942 1482.07/1482.63 c nbDecision=406000 #constraints=23944 1487.37/1487.94 c nbDecision=406500 #constraints=23957 1491.47/1492.08 c nbDecision=407000 #constraints=23968 1495.07/1495.62 c nbDecision=407500 #constraints=23977 1499.06/1499.62 c nbDecision=408000 #constraints=23987 1503.76/1504.39 c nbDecision=408500 #constraints=23999 1506.96/1507.53 c nbDecision=409000 #constraints=24007 1510.96/1511.50 c nbDecision=409500 #constraints=24017 1510.96/1511.50 c restart after 409601 decisions 1512.86/1513.48 c nbDecision=410000 #constraints=24017 1512.96/1513.50 c nbDecision=410500 #constraints=24017 1512.96/1513.52 c nbDecision=411000 #constraints=24017 1515.26/1515.85 c nbDecision=411500 #constraints=24023 1518.66/1519.28 c nbDecision=412000 #constraints=24032 1521.06/1521.62 c nbDecision=412500 #constraints=24038 1524.26/1524.82 c nbDecision=413000 #constraints=24046 1526.36/1526.93 c nbDecision=413500 #constraints=24052 1531.67/1532.23 c nbDecision=414000 #constraints=24065 1535.76/1536.35 c nbDecision=414500 #constraints=24076 1539.26/1539.90 c nbDecision=415000 #constraints=24085 1543.36/1543.94 c nbDecision=415500 #constraints=24095 1548.16/1548.71 c nbDecision=416000 #constraints=24107 1552.06/1552.61 c nbDecision=416500 #constraints=24117 1555.15/1555.78 c nbDecision=417000 #constraints=24125 1557.85/1558.50 c nbDecision=417500 #constraints=24132 1561.35/1561.93 c nbDecision=418000 #constraints=24141 1563.35/1563.90 c nbDecision=418500 #constraints=24146 1566.55/1567.10 c nbDecision=419000 #constraints=24154 1569.65/1570.29 c nbDecision=419500 #constraints=24162 1571.65/1572.25 c nbDecision=420000 #constraints=24167 1573.64/1574.29 c nbDecision=420500 #constraints=24172 1578.85/1579.49 c nbDecision=421000 #constraints=24185 1583.35/1583.95 c nbDecision=421500 #constraints=24196 1586.24/1586.81 c nbDecision=422000 #constraints=24204 1589.04/1589.60 c nbDecision=422500 #constraints=24211 1593.44/1594.04 c nbDecision=423000 #constraints=24222 1597.74/1598.33 c nbDecision=423500 #constraints=24233 1600.43/1601.03 c nbDecision=424000 #constraints=24240 1603.63/1604.28 c nbDecision=424500 #constraints=24248 1607.23/1607.83 c nbDecision=425000 #constraints=24257 1609.53/1610.10 c nbDecision=425500 #constraints=24263 1612.33/1612.99 c nbDecision=426000 #constraints=24271 1614.43/1615.10 c nbDecision=426500 #constraints=24277 1614.53/1615.18 c nbDecision=427000 #constraints=24279 1615.13/1615.73 c nbDecision=427500 #constraints=24282 1616.04/1616.69 c nbDecision=428000 #constraints=24285 1618.44/1619.05 c nbDecision=428500 #constraints=24291 1620.54/1621.12 c nbDecision=429000 #constraints=24296 1621.74/1622.31 c nbDecision=429500 #constraints=24299 1623.74/1624.38 c nbDecision=430000 #constraints=24304 1624.94/1625.58 c nbDecision=430500 #constraints=24307 1625.74/1626.32 c nbDecision=431000 #constraints=24309 1628.93/1629.58 c nbDecision=431500 #constraints=24317 1632.23/1632.86 c nbDecision=432000 #constraints=24325 1633.23/1633.89 c nbDecision=432500 #constraints=24329 1635.33/1635.98 c nbDecision=433000 #constraints=24334 1638.13/1638.77 c nbDecision=433500 #constraints=24341 1640.63/1641.24 c nbDecision=434000 #constraints=24347 1643.53/1644.13 c nbDecision=434500 #constraints=24354 1645.23/1645.83 c nbDecision=435000 #constraints=24358 1648.13/1648.74 c nbDecision=435500 #constraints=24365 1650.93/1651.55 c nbDecision=436000 #constraints=24372 1653.32/1654.00 c nbDecision=436500 #constraints=24378 1655.02/1655.66 c nbDecision=437000 #constraints=24382 1657.03/1657.67 c nbDecision=437500 #constraints=24387 1657.82/1658.48 c nbDecision=438000 #constraints=24389 1658.32/1658.92 c nbDecision=438500 #constraints=24390 1659.12/1659.78 c nbDecision=439000 #constraints=24392 1662.02/1662.67 c nbDecision=439500 #constraints=24399 1663.62/1664.28 c nbDecision=440000 #constraints=24403 1664.12/1664.72 c nbDecision=440500 #constraints=24404 1665.72/1666.35 c nbDecision=441000 #constraints=24408 1666.92/1667.55 c nbDecision=441500 #constraints=24411 1669.02/1669.61 c nbDecision=442000 #constraints=24416 1670.92/1671.56 c nbDecision=442500 #constraints=24421 1672.52/1673.16 c nbDecision=443000 #constraints=24425 1673.32/1673.90 c nbDecision=443500 #constraints=24427 1675.72/1676.30 c nbDecision=444000 #constraints=24433 1676.21/1676.82 c nbDecision=444500 #constraints=24435 1676.21/1676.84 c nbDecision=445000 #constraints=24435 1676.92/1677.56 c nbDecision=445500 #constraints=24437 1678.31/1678.94 c nbDecision=446000 #constraints=24441 1679.31/1679.98 c nbDecision=446500 #constraints=24444 1680.01/1680.67 c nbDecision=447000 #constraints=24446 1680.71/1681.38 c nbDecision=447500 #constraints=24448 1682.11/1682.78 c nbDecision=448000 #constraints=24452 1682.81/1683.48 c nbDecision=448500 #constraints=24454 1684.81/1685.46 c nbDecision=449000 #constraints=24460 1686.01/1686.64 c nbDecision=449500 #constraints=24463 1687.21/1687.82 c nbDecision=450000 #constraints=24466 1688.01/1688.61 c nbDecision=450500 #constraints=24468 1689.61/1690.29 c nbDecision=451000 #constraints=24473 1690.81/1691.48 c nbDecision=451500 #constraints=24476 1691.71/1692.31 c nbDecision=452000 #constraints=24479 1692.81/1693.49 c nbDecision=452500 #constraints=24482 1693.21/1693.89 c nbDecision=453000 #constraints=24483 1694.01/1694.69 c nbDecision=453500 #constraints=24485 1695.61/1696.28 c nbDecision=454000 #constraints=24490 1696.51/1697.10 c nbDecision=454500 #constraints=24492 1696.51/1697.12 c nbDecision=455000 #constraints=24492 1697.51/1698.16 c nbDecision=455500 #constraints=24495 1698.92/1699.52 c nbDecision=456000 #constraints=24499 1699.92/1700.55 c nbDecision=456500 #constraints=24502 1700.61/1701.27 c nbDecision=457000 #constraints=24504 1702.12/1702.74 c nbDecision=457500 #constraints=24509 1702.91/1703.57 c nbDecision=458000 #constraints=24513 1703.32/1703.99 c nbDecision=458500 #constraints=24515 1703.81/1704.49 c nbDecision=459000 #constraints=24518 1704.32/1705.00 c nbDecision=459500 #constraints=24522 1704.42/1705.03 c nbDecision=460000 #constraints=24522 1704.42/1705.05 c nbDecision=460500 #constraints=24522 1705.52/1706.16 c nbDecision=461000 #constraints=24525 1706.62/1707.26 c nbDecision=461500 #constraints=24528 1707.72/1708.37 c nbDecision=462000 #constraints=24531 1709.71/1710.31 c nbDecision=462500 #constraints=24536 1710.81/1711.45 c nbDecision=463000 #constraints=24539 1710.81/1711.47 c nbDecision=463500 #constraints=24539 1710.81/1711.49 c nbDecision=464000 #constraints=24539 1711.21/1711.88 c nbDecision=464500 #constraints=24540 1711.31/1711.91 c nbDecision=465000 #constraints=24540 1711.61/1712.29 c nbDecision=465500 #constraints=24541 1711.71/1712.32 c nbDecision=466000 #constraints=24541 1711.71/1712.34 c nbDecision=466500 #constraints=24541 1712.11/1712.73 c nbDecision=467000 #constraints=24542 1712.11/1712.76 c nbDecision=467500 #constraints=24542 1712.51/1713.14 c nbDecision=468000 #constraints=24543 1712.51/1713.17 c nbDecision=468500 #constraints=24543 1712.51/1713.19 c nbDecision=469000 #constraints=24543 1712.91/1713.58 c nbDecision=469500 #constraints=24544 1713.01/1713.61 c nbDecision=470000 #constraints=24544 1713.01/1713.62 c nbDecision=470500 #constraints=24544 1713.41/1714.02 c nbDecision=471000 #constraints=24545 1713.41/1714.04 c nbDecision=471500 #constraints=24545 1713.41/1714.06 c nbDecision=472000 #constraints=24545 1717.81/1718.45 c nbDecision=472500 #constraints=24556 1723.51/1724.13 c nbDecision=473000 #constraints=24570 1727.00/1727.65 c nbDecision=473500 #constraints=24579 1728.20/1728.84 c nbDecision=474000 #constraints=24582 1728.20/1728.87 c nbDecision=474500 #constraints=24582 1728.30/1728.90 c nbDecision=475000 #constraints=24583 1728.30/1728.93 c nbDecision=475500 #constraints=24583 1728.30/1728.96 c nbDecision=476000 #constraints=24584 1728.30/1728.99 c nbDecision=476500 #constraints=24584 1728.40/1729.01 c nbDecision=477000 #constraints=24584 1729.30/1729.92 c nbDecision=477500 #constraints=24587 1731.20/1731.81 c nbDecision=478000 #constraints=24592 1731.20/1731.84 c nbDecision=478500 #constraints=24592 1731.20/1731.86 c nbDecision=479000 #constraints=24592 1731.60/1732.25 c nbDecision=479500 #constraints=24593 1731.60/1732.27 c nbDecision=480000 #constraints=24593 1732.00/1732.66 c nbDecision=480500 #constraints=24594 1732.00/1732.69 c nbDecision=481000 #constraints=24594 1732.10/1732.71 c nbDecision=481500 #constraints=24594 1732.90/1733.51 c nbDecision=482000 #constraints=24596 1732.90/1733.54 c nbDecision=482500 #constraints=24596 1733.30/1733.94 c nbDecision=483000 #constraints=24597 1734.50/1735.17 c nbDecision=483500 #constraints=24602 1738.09/1738.70 c nbDecision=484000 #constraints=24617 1739.29/1740.00 c nbDecision=484500 #constraints=24623 1740.89/1741.56 c nbDecision=485000 #constraints=24630 1742.19/1742.83 c nbDecision=485500 #constraints=24636 1743.69/1744.36 c nbDecision=486000 #constraints=24642 1744.79/1745.42 c nbDecision=486500 #constraints=24645 1746.79/1747.49 c nbDecision=487000 #constraints=24653 1748.49/1749.10 c nbDecision=487500 #constraints=24660 1751.09/1751.78 c nbDecision=488000 #constraints=24673 1753.09/1753.78 c nbDecision=488500 #constraints=24680 1754.09/1754.72 c nbDecision=489000 #constraints=24683 1755.39/1756.01 c nbDecision=489500 #constraints=24687 1756.59/1757.28 c nbDecision=490000 #constraints=24691 1757.29/1757.92 c nbDecision=490500 #constraints=24693 1758.79/1759.50 c nbDecision=491000 #constraints=24698 1759.49/1760.19 c nbDecision=491500 #constraints=24700 1760.39/1761.08 c nbDecision=492000 #constraints=24704 1761.19/1761.82 c nbDecision=492500 #constraints=24707 1762.09/1762.77 c nbDecision=493000 #constraints=24710 1763.09/1763.72 c nbDecision=493500 #constraints=24713 1764.29/1764.98 c nbDecision=494000 #constraints=24717 1765.48/1766.10 c nbDecision=494500 #constraints=24721 1765.68/1766.37 c nbDecision=495000 #constraints=24725 1767.38/1768.04 c nbDecision=495500 #constraints=24734 1768.58/1769.28 c nbDecision=496000 #constraints=24739 1770.18/1770.80 c nbDecision=496500 #constraints=24745 1770.48/1771.11 c nbDecision=497000 #constraints=24748 1772.48/1773.13 c nbDecision=497500 #constraints=24762 1773.38/1774.01 c nbDecision=498000 #constraints=24768 1773.48/1774.18 c nbDecision=498500 #constraints=24769 1774.08/1774.78 c nbDecision=499000 #constraints=24773 1774.58/1775.22 c nbDecision=499500 #constraints=24776 1775.28/1775.92 c nbDecision=500000 #constraints=24781 1775.68/1776.34 c nbDecision=500500 #constraints=24784 1775.98/1776.65 c nbDecision=501000 #constraints=24786 1776.38/1777.09 c nbDecision=501500 #constraints=24789 1777.19/1777.80 c nbDecision=502000 #constraints=24794 1777.59/1778.23 c nbDecision=502500 #constraints=24797 1777.99/1778.68 c nbDecision=503000 #constraints=24799 1779.39/1780.05 c nbDecision=503500 #constraints=24803 1780.29/1780.97 c nbDecision=504000 #constraints=24807 1781.69/1782.38 c nbDecision=504500 #constraints=24813 1783.49/1784.13 c nbDecision=505000 #constraints=24818 1784.59/1785.26 c nbDecision=505500 #constraints=24822 1785.79/1786.49 c nbDecision=506000 #constraints=24827 1786.89/1787.56 c nbDecision=506500 #constraints=24833 1787.78/1788.46 c nbDecision=507000 #constraints=24837 1787.99/1788.61 c nbDecision=507500 #constraints=24840 1788.48/1789.11 c nbDecision=508000 #constraints=24842 1788.58/1789.23 c nbDecision=508500 #constraints=24844 1788.68/1789.38 c nbDecision=509000 #constraints=24846 1789.18/1789.81 c nbDecision=509500 #constraints=24848 1789.28/1789.96 c nbDecision=510000 #constraints=24850 1791.48/1792.11 c nbDecision=510500 #constraints=24857 1792.78/1793.47 c nbDecision=511000 #constraints=24861 1793.88/1794.51 c nbDecision=511500 #constraints=24864 1794.58/1795.23 c nbDecision=512000 #constraints=24866 1795.28/1795.92 c nbDecision=512500 #constraints=24868 1795.78/1796.44 c nbDecision=513000 #constraints=24870 1796.98/1797.67 c nbDecision=513500 #constraints=24875 1798.28/1798.91 c nbDecision=514000 #constraints=24880 1799.78/1800.41 c nbDecision=514500 #constraints=24885 1800.09/1800.71 Received signal 15 1800.09/1800.75 1800.09/1800.75 s UNKNOWN 1800.09/1800.75 1800.09/1800.75 c user time= 1799.77 s 1800.09/1800.75 c system time= 0.363944 s 1800.09/1800.75 c wall clock time=1800.75
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-356866-1176846575 -o ROOT/results/node1/solver-356866-1176846575 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356866-1176846575/instance-356866-1176846575.opb mod 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.96 3/77 19839 /proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=1468 CPUtime=0 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 160695484 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 367 160 131 317 0 46 0 [startup+0.024631 s] /proc/loadavg: 0.99 0.97 0.96 3/77 19839 /proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=1732 CPUtime=0.02 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 247 0 0 0 2 0 0 0 18 0 1 0 160695484 1773568 229 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 433 229 131 317 0 112 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1732 [startup+0.101639 s] /proc/loadavg: 0.99 0.97 0.96 3/77 19839 /proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=2788 CPUtime=0.09 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 517 0 0 0 9 0 0 0 18 0 1 0 160695484 2854912 499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 697 499 131 317 0 376 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2788 [startup+0.301663 s] /proc/loadavg: 0.99 0.97 0.96 3/77 19839 /proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=5560 CPUtime=0.29 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 1213 0 0 0 29 0 0 0 19 0 1 0 160695484 5693440 1195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 1390 1195 131 317 0 1069 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5560 [startup+0.701709 s] /proc/loadavg: 0.99 0.97 0.96 3/77 19839 /proc/meminfo: memFree=1775680/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=11236 CPUtime=0.69 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 2607 0 0 0 68 1 0 0 22 0 1 0 160695484 11505664 2589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 2809 2589 131 317 0 2488 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11236 [startup+1.5018 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1761592/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=22324 CPUtime=1.49 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 5380 0 0 0 146 3 0 0 25 0 1 0 160695484 22859776 5362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 5581 5362 131 317 0 5260 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22324 [startup+3.10199 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1745336/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=44384 CPUtime=3.09 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 10898 0 0 0 303 6 0 0 25 0 1 0 160695484 45449216 10880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 11096 10880 131 317 0 10775 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44384 [startup+6.30137 s] /proc/loadavg: 0.99 0.97 0.96 3/78 19840 /proc/meminfo: memFree=1701752/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=88740 CPUtime=6.29 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 21974 0 0 0 617 12 0 0 25 0 1 0 160695484 90869760 21956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 22185 21956 137 317 0 21864 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 88740 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1664952/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=116676 CPUtime=12.68 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 27873 0 0 0 1255 13 0 0 25 0 1 0 160695484 119476224 27723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 29169 27723 139 317 0 28848 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 116676 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1665144/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=116676 CPUtime=25.48 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 27873 0 0 0 2535 13 0 0 25 0 1 0 160695484 119476224 27723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 29169 27723 139 317 0 28848 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 116676 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1665208/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=116676 CPUtime=51.08 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 27904 0 0 0 5094 14 0 0 25 0 1 0 160695484 119476224 27754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 29169 27754 170 317 0 28848 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 116676 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1664952/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=117064 CPUtime=102.27 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28017 0 0 0 10212 15 0 0 25 0 1 0 160695484 119873536 27867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 29266 27867 170 317 0 28945 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 117064 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1664120/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=117716 CPUtime=162.24 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28216 0 0 0 16209 15 0 0 25 0 1 0 160695484 120541184 28066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 29429 28066 170 317 0 29108 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 117716 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1663352/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=118496 CPUtime=222.23 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28418 0 0 0 22207 16 0 0 25 0 1 0 160695484 121339904 28268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 29624 28268 170 317 0 29303 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 118496 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1662328/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=119396 CPUtime=282.21 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28663 0 0 0 28204 17 0 0 25 0 1 0 160695484 122261504 28513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 29849 28513 170 317 0 29528 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 119396 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1661304/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=120604 CPUtime=342.2 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 28914 0 0 0 34202 18 0 0 25 0 1 0 160695484 123498496 28764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 30151 28764 170 317 0 29830 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 120604 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1660472/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=121260 CPUtime=402.18 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 29112 0 0 0 40199 19 0 0 25 0 1 0 160695484 124170240 28962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563746 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 30315 28962 170 317 0 29994 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 121260 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1659704/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=123456 CPUtime=462.17 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 29576 0 0 0 46197 20 0 0 25 0 1 0 160695484 126418944 29162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 30864 29162 170 317 0 30543 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 123456 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1659000/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=124108 CPUtime=522.15 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 29746 0 0 0 52195 20 0 0 25 0 1 0 160695484 127086592 29332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604337 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 31027 29332 170 317 0 30706 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 124108 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1657656/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=126056 CPUtime=582.13 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 30202 0 0 0 58192 21 0 0 25 0 1 0 160695484 129081344 29623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 31514 29623 170 317 0 31193 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 126056 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 19840 /proc/meminfo: memFree=1657080/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=127224 CPUtime=642.12 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 30463 0 0 0 64190 22 0 0 25 0 1 0 160695484 130277376 29785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 31806 29785 170 317 0 31485 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 127224 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 20038 /proc/meminfo: memFree=1654264/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=129696 CPUtime=881.95 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31137 0 0 0 88170 25 0 0 25 0 1 0 160695484 132808704 30459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 32424 30459 170 317 0 32103 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 129696 [startup+942.301 s] /proc/loadavg: 1.04 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1653624/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=130216 CPUtime=941.93 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31295 0 0 0 94167 26 0 0 25 0 1 0 160695484 133341184 30617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 32554 30617 170 317 0 32233 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 130216 [startup+1002.3 s] /proc/loadavg: 1.01 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1652664/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=131516 CPUtime=1001.91 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31598 0 0 0 100165 26 0 0 25 0 1 0 160695484 134672384 30854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 32879 30854 170 317 0 32558 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 131516 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1651576/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=132564 CPUtime=1061.9 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 31843 0 0 0 106163 27 0 0 25 0 1 0 160695484 135745536 31099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 33141 31099 170 317 0 32820 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 132564 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1650552/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=133480 CPUtime=1121.88 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32114 0 0 0 112160 28 0 0 25 0 1 0 160695484 136683520 31370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 33370 31370 170 317 0 33049 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 133480 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1649592/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=134272 CPUtime=1181.86 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32346 0 0 0 118157 29 0 0 25 0 1 0 160695484 137494528 31602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 33568 31602 170 317 0 33247 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 134272 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1648760/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=135052 CPUtime=1241.84 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32551 0 0 0 124155 29 0 0 25 0 1 0 160695484 138293248 31807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 33763 31807 170 317 0 33442 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 135052 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1647864/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=135840 CPUtime=1301.83 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32766 0 0 0 130153 30 0 0 25 0 1 0 160695484 139100160 32022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 33960 32022 170 317 0 33639 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 135840 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1647032/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=136652 CPUtime=1361.81 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 32969 0 0 0 136150 31 0 0 25 0 1 0 160695484 139931648 32225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 34163 32225 170 317 0 33842 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 136652 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1646136/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=137308 CPUtime=1421.79 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33171 0 0 0 142148 31 0 0 25 0 1 0 160695484 140603392 32427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 34327 32427 170 317 0 34006 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 137308 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1645432/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=137964 CPUtime=1481.77 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33340 0 0 0 148145 32 0 0 25 0 1 0 160695484 141275136 32596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 34491 32596 170 317 0 34170 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 137964 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1644856/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=138488 CPUtime=1541.76 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33481 0 0 0 154143 33 0 0 25 0 1 0 160695484 141811712 32737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 34622 32737 170 317 0 34301 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 138488 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1644152/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=139004 CPUtime=1601.73 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33635 0 0 0 160140 33 0 0 25 0 1 0 160695484 142340096 32891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 34751 32891 170 317 0 34430 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 139004 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1643192/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=140192 CPUtime=1661.72 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 33877 0 0 0 166138 34 0 0 25 0 1 0 160695484 143556608 33133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 35048 33133 170 317 0 34727 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 140192 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1642232/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=141108 CPUtime=1721.71 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34114 0 0 0 172136 35 0 0 25 0 1 0 160695484 144494592 33370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 35277 33370 170 317 0 34956 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 141108 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1641016/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=142276 CPUtime=1781.69 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34425 0 0 0 178133 36 0 0 25 0 1 0 160695484 145690624 33648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604115 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 35569 33648 170 317 0 35248 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 142276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1640696/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=142536 CPUtime=1800.09 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34513 0 0 0 179973 36 0 0 25 0 1 0 160695484 145956864 33736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 35634 33736 170 317 0 35313 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 142536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.97 2/78 20038 /proc/meminfo: memFree=1640696/2055920 swapFree=4145928/4192956 [pid=19839] ppid=19837 vsize=142536 CPUtime=1800.09 /proc/19839/stat : 19839 (oree) R 19837 19839 19080 0 -1 4194304 34513 0 0 0 179973 36 0 0 25 0 1 0 160695484 145956864 33736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/19839/statm: 35634 33736 170 317 0 35313 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 142536 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.16 CPU user time (s): 1799.78 CPU system time (s): 0.386941 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 142536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.386941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34529 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 23188 runsolver used 2.13167 second user time and 4.47432 second system time The end
Begin job on node1 on Tue Apr 17 21:49:36 UTC 2007 IDJOB= 356866 IDBENCH= 1570 IDSOLVER= 172 FILE ID= node1/356866-1176846575 PBS_JOBID= 4590173 Free space on /tmp= 66376 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos13.opb COMMAND LINE= oree /tmp/evaluation/356866-1176846575/instance-356866-1176846575.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-356866-1176846575 -o ROOT/results/node1/solver-356866-1176846575 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356866-1176846575/instance-356866-1176846575.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 070ae832e0a6091e01d7e6b3fb0eac97 RANDOM SEED= 751240109 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 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.234 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: 1776088 kB Buffers: 28596 kB Cached: 183656 kB SwapCached: 14460 kB Active: 83996 kB Inactive: 151208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776088 kB SwapTotal: 4192956 kB SwapFree: 4145928 kB Dirty: 25516 kB Writeback: 0 kB Mapped: 30028 kB Slab: 30112 kB Committed_AS: 4917044 kB PageTables: 1832 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= 66376 MiB End job on node1 on Tue Apr 17 22:19:39 UTC 2007