Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.39 | 1801.05 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb |
MD5SUM | 7d8a1496a778abf94cc39a37abc46ff3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 51 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 51 |
Optimality of the best value was proved | NO |
Number of variables | 2754 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 82 |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 204800 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524341 |
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... 0.00/0.03 c ...done 0.00/0.03 c #vars=2754 #constraints=487 hasObjective=yes 0.03/0.03 c res. mode=mod 0.03/0.03 c VSIDS like heuristics 0.03/0.03 c complete search running 0.03/0.09 c restart after 401 decisions 0.09/0.11 c nbDecision=500 #constraints=600 0.09/0.15 c restart after 801 decisions 0.09/0.19 c nbDecision=1000 #constraints=716 0.19/0.28 c nbDecision=1500 #constraints=849 0.29/0.30 c restart after 1601 decisions 0.29/0.37 c nbDecision=2000 #constraints=974 0.39/0.48 c nbDecision=2500 #constraints=1120 0.49/0.58 c nbDecision=3000 #constraints=1237 0.59/0.63 c restart after 3201 decisions 0.59/0.69 c nbDecision=3500 #constraints=1353 0.69/0.75 c nbDecision=4000 #constraints=1405 0.79/0.83 c nbDecision=4500 #constraints=1521 0.89/0.93 c nbDecision=5000 #constraints=1610 0.99/1.04 c nbDecision=5500 #constraints=1773 1.09/1.17 c nbDecision=6000 #constraints=1943 1.29/1.36 c restart after 6401 decisions 1.29/1.39 c nbDecision=6500 #constraints=2140 1.49/1.51 c nbDecision=7000 #constraints=2283 1.49/1.60 c nbDecision=7500 #constraints=2360 1.69/1.73 c nbDecision=8000 #constraints=2494 1.79/1.87 c nbDecision=8500 #constraints=2634 2.09/2.11 c nbDecision=9000 #constraints=2809 2.39/2.40 c nbDecision=9500 #constraints=3008 2.69/2.71 c nbDecision=10000 #constraints=3172 2.99/3.07 c nbDecision=10500 #constraints=3348 3.39/3.42 c nbDecision=11000 #constraints=3498 3.79/3.80 c nbDecision=11500 #constraints=3655 4.29/4.32 c nbDecision=12000 #constraints=3870 4.79/4.87 c nbDecision=12500 #constraints=4031 5.18/5.27 c restart after 12801 decisions 5.39/5.46 c nbDecision=13000 #constraints=4176 5.68/5.78 c nbDecision=13500 #constraints=4277 5.89/5.98 c nbDecision=14000 #constraints=4377 6.19/6.26 c nbDecision=14500 #constraints=4498 6.50/6.56 c nbDecision=15000 #constraints=4617 6.79/6.85 c nbDecision=15500 #constraints=4688 7.09/7.13 c nbDecision=16000 #constraints=4805 7.39/7.47 c nbDecision=16500 #constraints=4910 7.70/7.79 c nbDecision=17000 #constraints=4981 8.19/8.22 c nbDecision=17500 #constraints=5156 8.59/8.63 c nbDecision=18000 #constraints=5284 9.19/9.22 c nbDecision=18500 #constraints=5437 9.49/9.57 c nbDecision=19000 #constraints=5534 9.98/10.02 c nbDecision=19500 #constraints=5673 10.68/10.74 c nbDecision=20000 #constraints=5861 11.08/11.15 c nbDecision=20500 #constraints=5956 11.58/11.63 c nbDecision=21000 #constraints=6079 12.19/12.21 c nbDecision=21500 #constraints=6241 12.89/12.94 c nbDecision=22000 #constraints=6401 13.58/13.62 c nbDecision=22500 #constraints=6561 14.18/14.25 c nbDecision=23000 #constraints=6717 15.09/15.14 c nbDecision=23500 #constraints=6905 16.19/16.25 c nbDecision=24000 #constraints=7093 17.08/17.10 c nbDecision=24500 #constraints=7253 17.88/17.93 c nbDecision=25000 #constraints=7358 18.59/18.61 c nbDecision=25500 #constraints=7474 18.78/18.82 c restart after 25601 decisions 19.38/19.41 c nbDecision=26000 #constraints=7588 20.08/20.16 c nbDecision=26500 #constraints=7700 21.28/21.35 c nbDecision=27000 #constraints=7828 22.88/22.96 c nbDecision=27500 #constraints=7942 24.18/24.24 c nbDecision=28000 #constraints=8039 25.49/25.56 c nbDecision=28500 #constraints=8134 26.98/27.02 c nbDecision=29000 #constraints=8231 27.98/28.09 c nbDecision=29500 #constraints=8309 29.18/29.21 c nbDecision=30000 #constraints=8380 30.48/30.59 c nbDecision=30500 #constraints=8471 31.58/31.60 c nbDecision=31000 #constraints=8542 32.68/32.77 c nbDecision=31500 #constraints=8633 34.08/34.15 c nbDecision=32000 #constraints=8717 35.48/35.53 c nbDecision=32500 #constraints=8811 36.78/36.87 c nbDecision=33000 #constraints=8888 38.18/38.23 c nbDecision=33500 #constraints=8975 39.27/39.38 c nbDecision=34000 #constraints=9058 40.87/40.99 c nbDecision=34500 #constraints=9150 42.27/42.36 c nbDecision=35000 #constraints=9227 43.47/43.53 c nbDecision=35500 #constraints=9304 44.87/44.98 c nbDecision=36000 #constraints=9375 46.27/46.37 c nbDecision=36500 #constraints=9444 47.48/47.54 c nbDecision=37000 #constraints=9516 48.78/48.80 c nbDecision=37500 #constraints=9596 50.08/50.15 c nbDecision=38000 #constraints=9687 51.28/51.38 c nbDecision=38500 #constraints=9811 52.27/52.31 c nbDecision=39000 #constraints=9938 55.87/55.99 c nbDecision=39500 #constraints=10112 60.17/60.28 c nbDecision=40000 #constraints=10308 64.67/64.71 c nbDecision=40500 #constraints=10514 67.26/67.39 c nbDecision=41000 #constraints=10650 70.46/70.59 c nbDecision=41500 #constraints=10795 73.16/73.24 c nbDecision=42000 #constraints=10944 75.76/75.86 c nbDecision=42500 #constraints=11068 78.26/78.32 c nbDecision=43000 #constraints=11182 82.47/82.52 c nbDecision=43500 #constraints=11363 83.96/84.01 c nbDecision=44000 #constraints=11430 86.66/86.79 c nbDecision=44500 #constraints=11550 90.36/90.43 c nbDecision=45000 #constraints=11675 92.16/92.28 c nbDecision=45500 #constraints=11763 94.46/94.57 c nbDecision=46000 #constraints=11857 96.15/96.28 c nbDecision=46500 #constraints=11929 99.15/99.26 c nbDecision=47000 #constraints=12045 101.56/101.70 c nbDecision=47500 #constraints=12140 104.25/104.32 c nbDecision=48000 #constraints=12230 109.25/109.40 c nbDecision=48500 #constraints=12406 115.45/115.56 c nbDecision=49000 #constraints=12629 121.04/121.14 c nbDecision=49500 #constraints=12816 125.55/125.69 c nbDecision=50000 #constraints=12975 131.15/131.29 c nbDecision=50500 #constraints=13156 134.64/134.73 c nbDecision=51000 #constraints=13272 136.14/136.26 c restart after 51201 decisions 136.84/136.95 c nbDecision=51500 #constraints=13398 138.64/138.71 c nbDecision=52000 #constraints=13526 140.54/140.67 c nbDecision=52500 #constraints=13654 143.13/143.21 c nbDecision=53000 #constraints=13745 146.53/146.64 c nbDecision=53500 #constraints=13848 149.33/149.48 c nbDecision=54000 #constraints=13955 153.14/153.25 c nbDecision=54500 #constraints=14080 155.34/155.45 c nbDecision=55000 #constraints=14149 157.14/157.26 c nbDecision=55500 #constraints=14235 159.44/159.59 c nbDecision=56000 #constraints=14323 162.23/162.36 c nbDecision=56500 #constraints=14435 165.43/165.51 c nbDecision=57000 #constraints=14548 167.33/167.46 c nbDecision=57500 #constraints=14626 169.93/170.09 c nbDecision=58000 #constraints=14717 173.02/173.12 c nbDecision=58500 #constraints=14819 176.52/176.66 c nbDecision=59000 #constraints=14928 180.02/180.17 c nbDecision=59500 #constraints=15038 183.02/183.12 c nbDecision=60000 #constraints=15126 185.73/185.89 c nbDecision=60500 #constraints=15216 188.62/188.78 c nbDecision=61000 #constraints=15309 191.72/191.81 c nbDecision=61500 #constraints=15407 195.62/195.75 c nbDecision=62000 #constraints=15523 199.31/199.49 c nbDecision=62500 #constraints=15641 202.91/203.10 c nbDecision=63000 #constraints=15742 207.02/207.18 c nbDecision=63500 #constraints=15854 210.31/210.42 c nbDecision=64000 #constraints=15959 213.61/213.72 c nbDecision=64500 #constraints=16048 217.01/217.19 c nbDecision=65000 #constraints=16144 220.60/220.75 c nbDecision=65500 #constraints=16245 223.91/224.02 c nbDecision=66000 #constraints=16342 227.71/227.89 c nbDecision=66500 #constraints=16449 231.21/231.36 c nbDecision=67000 #constraints=16553 234.81/234.95 c nbDecision=67500 #constraints=16663 237.80/237.94 c nbDecision=68000 #constraints=16748 241.30/241.49 c nbDecision=68500 #constraints=16853 245.80/245.95 c nbDecision=69000 #constraints=16975 249.60/249.77 c nbDecision=69500 #constraints=17095 252.69/252.85 c nbDecision=70000 #constraints=17190 255.59/255.73 c nbDecision=70500 #constraints=17272 259.89/260.03 c nbDecision=71000 #constraints=17388 263.10/263.25 c nbDecision=71500 #constraints=17478 266.90/267.10 c nbDecision=72000 #constraints=17583 269.69/269.83 c nbDecision=72500 #constraints=17660 271.99/272.17 c nbDecision=73000 #constraints=17748 275.19/275.32 c nbDecision=73500 #constraints=17838 279.49/279.68 c nbDecision=74000 #constraints=17951 283.79/283.97 c nbDecision=74500 #constraints=18060 287.89/288.10 c nbDecision=75000 #constraints=18158 291.68/291.84 c nbDecision=75500 #constraints=18245 295.68/295.85 c nbDecision=76000 #constraints=18345 299.48/299.69 c nbDecision=76500 #constraints=18444 303.87/304.07 c nbDecision=77000 #constraints=18550 308.37/308.55 c nbDecision=77500 #constraints=18657 312.57/312.70 c nbDecision=78000 #constraints=18757 316.77/316.93 c nbDecision=78500 #constraints=18846 320.98/321.18 c nbDecision=79000 #constraints=18948 325.07/325.30 c nbDecision=79500 #constraints=19050 329.17/329.35 c nbDecision=80000 #constraints=19151 333.87/334.05 c nbDecision=80500 #constraints=19256 337.36/337.50 c nbDecision=81000 #constraints=19341 341.66/341.83 c nbDecision=81500 #constraints=19433 346.56/346.73 c nbDecision=82000 #constraints=19540 350.36/350.59 c nbDecision=82500 #constraints=19635 354.95/355.12 c nbDecision=83000 #constraints=19740 360.46/360.62 c nbDecision=83500 #constraints=19857 365.36/365.58 c nbDecision=84000 #constraints=19956 370.26/370.41 c nbDecision=84500 #constraints=20059 374.66/374.81 c nbDecision=85000 #constraints=20149 379.75/379.93 c nbDecision=85500 #constraints=20255 384.55/384.71 c nbDecision=86000 #constraints=20359 390.05/390.22 c nbDecision=86500 #constraints=20467 395.14/395.32 c nbDecision=87000 #constraints=20573 400.24/400.45 c nbDecision=87500 #constraints=20684 404.64/404.84 c nbDecision=88000 #constraints=20777 409.54/409.78 c nbDecision=88500 #constraints=20873 415.14/415.39 c nbDecision=89000 #constraints=20982 420.54/420.70 c nbDecision=89500 #constraints=21084 425.03/425.28 c nbDecision=90000 #constraints=21170 430.63/430.89 c nbDecision=90500 #constraints=21281 436.83/437.08 c nbDecision=91000 #constraints=21398 443.33/443.51 c nbDecision=91500 #constraints=21512 449.12/449.32 c nbDecision=92000 #constraints=21617 455.12/455.38 c nbDecision=92500 #constraints=21721 459.83/460.03 c nbDecision=93000 #constraints=21807 465.22/465.47 c nbDecision=93500 #constraints=21907 470.42/470.63 c nbDecision=94000 #constraints=22002 475.72/475.96 c nbDecision=94500 #constraints=22109 482.11/482.35 c nbDecision=95000 #constraints=22214 487.41/487.61 c nbDecision=95500 #constraints=22307 492.61/492.89 c nbDecision=96000 #constraints=22410 498.20/498.43 c nbDecision=96500 #constraints=22508 504.20/504.40 c nbDecision=97000 #constraints=22614 509.51/509.76 c nbDecision=97500 #constraints=22712 515.40/515.69 c nbDecision=98000 #constraints=22824 520.90/521.19 c nbDecision=98500 #constraints=22918 525.00/525.23 c nbDecision=99000 #constraints=22999 530.89/531.10 c nbDecision=99500 #constraints=23097 535.89/536.11 c nbDecision=100000 #constraints=23186 540.69/540.98 c nbDecision=100500 #constraints=23279 546.49/546.75 c nbDecision=101000 #constraints=23379 552.18/552.46 c nbDecision=101500 #constraints=23484 558.68/558.98 c nbDecision=102000 #constraints=23592 564.48/564.76 c restart after 102401 decisions 565.38/565.61 c nbDecision=102500 #constraints=23706 572.88/573.18 c nbDecision=103000 #constraints=23858 586.37/586.69 c nbDecision=103500 #constraints=24049 599.87/600.15 c nbDecision=104000 #constraints=24235 609.07/609.36 c nbDecision=104500 #constraints=24388 619.16/619.44 c nbDecision=105000 #constraints=24552 628.45/628.70 c nbDecision=105500 #constraints=24688 638.96/639.26 c nbDecision=106000 #constraints=24853 646.06/646.38 c nbDecision=106500 #constraints=24959 661.55/661.88 c nbDecision=107000 #constraints=25155 677.74/678.05 c nbDecision=107500 #constraints=25354 695.84/696.12 c nbDecision=108000 #constraints=25581 708.53/708.87 c nbDecision=108500 #constraints=25772 718.03/718.31 c nbDecision=109000 #constraints=25908 725.82/726.13 c nbDecision=109500 #constraints=26020 739.01/739.32 c nbDecision=110000 #constraints=26201 749.11/749.41 c nbDecision=110500 #constraints=26335 756.32/756.64 c nbDecision=111000 #constraints=26436 768.31/768.61 c nbDecision=111500 #constraints=26592 776.70/777.01 c nbDecision=112000 #constraints=26683 790.10/790.46 c nbDecision=112500 #constraints=26817 805.99/806.33 c nbDecision=113000 #constraints=26988 823.79/824.13 c nbDecision=113500 #constraints=27160 840.08/840.43 c nbDecision=114000 #constraints=27316 852.18/852.60 c nbDecision=114500 #constraints=27443 865.57/865.93 c nbDecision=115000 #constraints=27576 879.27/879.65 c nbDecision=115500 #constraints=27734 893.87/894.25 c nbDecision=116000 #constraints=27890 909.95/910.33 c nbDecision=116500 #constraints=28059 924.45/924.86 c nbDecision=117000 #constraints=28215 939.55/939.97 c nbDecision=117500 #constraints=28374 955.84/956.25 c nbDecision=118000 #constraints=28528 969.13/969.56 c nbDecision=118500 #constraints=28677 980.43/980.89 c nbDecision=119000 #constraints=28809 994.52/994.97 c nbDecision=119500 #constraints=28950 1010.52/1010.94 c nbDecision=120000 #constraints=29105 1028.92/1029.33 c nbDecision=120500 #constraints=29284 1044.91/1045.31 c nbDecision=121000 #constraints=29440 1063.70/1064.18 c nbDecision=121500 #constraints=29623 1087.39/1087.86 c nbDecision=122000 #constraints=29853 1110.68/1111.11 c nbDecision=122500 #constraints=30068 1127.18/1127.65 c nbDecision=123000 #constraints=30230 1142.67/1143.10 c nbDecision=123500 #constraints=30387 1160.56/1161.07 c nbDecision=124000 #constraints=30559 1175.86/1176.39 c nbDecision=124500 #constraints=30705 1191.65/1192.18 c nbDecision=125000 #constraints=30861 1203.95/1204.44 c nbDecision=125500 #constraints=30976 1221.74/1222.21 c nbDecision=126000 #constraints=31141 1234.64/1235.13 c nbDecision=126500 #constraints=31283 1248.63/1249.18 c nbDecision=127000 #constraints=31415 1263.62/1264.12 c nbDecision=127500 #constraints=31559 1278.22/1278.73 c nbDecision=128000 #constraints=31695 1295.82/1296.39 c nbDecision=128500 #constraints=31863 1307.51/1308.02 c nbDecision=129000 #constraints=31990 1320.10/1320.68 c nbDecision=129500 #constraints=32115 1334.40/1334.96 c nbDecision=130000 #constraints=32265 1353.29/1353.86 c nbDecision=130500 #constraints=32430 1368.99/1369.51 c nbDecision=131000 #constraints=32574 1382.69/1383.26 c nbDecision=131500 #constraints=32701 1404.77/1405.39 c nbDecision=132000 #constraints=32902 1426.17/1426.74 c nbDecision=132500 #constraints=33092 1441.96/1442.58 c nbDecision=133000 #constraints=33229 1463.05/1463.64 c nbDecision=133500 #constraints=33406 1478.95/1479.53 c nbDecision=134000 #constraints=33555 1493.15/1493.74 c nbDecision=134500 #constraints=33689 1506.44/1507.09 c nbDecision=135000 #constraints=33819 1520.33/1520.95 c nbDecision=135500 #constraints=33947 1535.93/1536.56 c nbDecision=136000 #constraints=34107 1549.62/1550.23 c nbDecision=136500 #constraints=34239 1564.01/1564.64 c nbDecision=137000 #constraints=34371 1584.21/1584.85 c nbDecision=137500 #constraints=34561 1606.70/1607.30 c nbDecision=138000 #constraints=34754 1626.00/1626.63 c nbDecision=138500 #constraints=34936 1642.99/1643.65 c nbDecision=139000 #constraints=35094 1662.38/1663.07 c nbDecision=139500 #constraints=35257 1683.67/1684.30 c nbDecision=140000 #constraints=35431 1698.56/1699.28 c nbDecision=140500 #constraints=35557 1711.96/1712.64 c nbDecision=141000 #constraints=35674 1727.26/1727.93 c nbDecision=141500 #constraints=35812 1742.45/1743.14 c nbDecision=142000 #constraints=35939 1762.95/1763.62 c nbDecision=142500 #constraints=36118 1782.64/1783.32 c nbDecision=143000 #constraints=36284 1800.03/1800.70 Received signal 15 1800.33/1801.02 1800.33/1801.02 s UNKNOWN 1800.33/1801.02 1800.33/1801.02 c user time= 1799.97 s 1800.33/1801.02 c system time= 0.38894 s 1800.33/1801.02 c wall clock time=1801.02
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-356998-1176850944 -o ROOT/results/node42/solver-356998-1176850944 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356998-1176850944/instance-356998-1176850944.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.91 0.97 0.99 3/77 25964 /proc/meminfo: memFree=1593696/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=1468 CPUtime=0 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 133006268 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284208 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 367 163 131 317 0 46 0 [startup+0.0375189 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25964 /proc/meminfo: memFree=1593696/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=2344 CPUtime=0.03 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 419 0 0 0 3 0 0 0 18 0 1 0 133006268 2400256 401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 586 401 137 317 0 265 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2344 [startup+0.10153 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25964 /proc/meminfo: memFree=1593696/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=2476 CPUtime=0.09 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 443 0 0 0 9 0 0 0 18 0 1 0 133006268 2535424 425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 619 425 139 317 0 298 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2476 [startup+0.301569 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25964 /proc/meminfo: memFree=1593696/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=2872 CPUtime=0.29 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 543 0 0 0 29 0 0 0 19 0 1 0 133006268 2940928 525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 718 525 139 317 0 397 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2872 [startup+0.701644 s] /proc/loadavg: 0.91 0.97 0.99 3/77 25964 /proc/meminfo: memFree=1593696/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=3664 CPUtime=0.69 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 733 0 0 0 69 0 0 0 22 0 1 0 133006268 3751936 715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 916 715 139 317 0 595 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3664 [startup+1.5018 s] /proc/loadavg: 0.91 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1590616/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=5892 CPUtime=1.49 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 1309 0 0 0 149 0 0 0 25 0 1 0 133006268 6033408 1291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 1473 1291 170 317 0 1152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5892 [startup+3.1021 s] /proc/loadavg: 0.91 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1587608/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=9484 CPUtime=3.09 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 2200 0 0 0 308 1 0 0 25 0 1 0 133006268 9711616 2182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 2371 2182 170 317 0 2050 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9484 [startup+6.30171 s] /proc/loadavg: 0.92 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1582680/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=12944 CPUtime=6.29 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 3044 0 0 0 627 2 0 0 25 0 1 0 133006268 13254656 3026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 3236 3026 170 317 0 2915 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12944 [startup+12.7019 s] /proc/loadavg: 0.93 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1578416/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=17500 CPUtime=12.69 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 4129 0 0 0 1266 3 0 0 25 0 1 0 133006268 17920000 4111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272633 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 4375 4111 170 317 0 4054 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17500 [startup+25.5014 s] /proc/loadavg: 0.94 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1572400/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=22688 CPUtime=25.49 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 5480 0 0 0 2544 5 0 0 25 0 1 0 133006268 23232512 5462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 5672 5462 170 317 0 5351 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22688 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1568304/2055920 swapFree=4058960/4192956 [pid=25964] ppid=25962 vsize=27532 CPUtime=51.08 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 6573 0 0 0 5102 6 0 0 25 0 1 0 133006268 28192768 6497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 6883 6497 170 317 0 6562 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27532 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1561648/2055920 swapFree=4059024/4192956 [pid=25964] ppid=25962 vsize=34104 CPUtime=102.26 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 8184 0 0 0 10218 8 0 0 25 0 1 0 133006268 34922496 8108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 8526 8108 170 317 0 8205 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34104 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1555440/2055920 swapFree=4059024/4192956 [pid=25964] ppid=25962 vsize=40424 CPUtime=162.23 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 9762 0 0 0 16213 10 0 0 25 0 1 0 133006268 41394176 9686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 10106 9686 170 317 0 9785 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 40424 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1548464/2055920 swapFree=4059088/4192956 [pid=25964] ppid=25962 vsize=47932 CPUtime=222.2 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 11476 0 0 0 22208 12 0 0 25 0 1 0 133006268 49082368 11400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 11983 11400 170 317 0 11662 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 47932 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1542384/2055920 swapFree=4059088/4192956 [pid=25964] ppid=25962 vsize=54988 CPUtime=282.19 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 13127 0 0 0 28205 14 0 0 25 0 1 0 133006268 56307712 12936 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 13747 12936 170 317 0 13426 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 54988 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1537072/2055920 swapFree=4059088/4192956 [pid=25964] ppid=25962 vsize=60536 CPUtime=342.16 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 14427 0 0 0 34201 15 0 0 25 0 1 0 133006268 61988864 14236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 15134 14236 170 317 0 14813 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 60536 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1532464/2055920 swapFree=4059152/4192956 [pid=25964] ppid=25962 vsize=65308 CPUtime=402.14 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 15602 0 0 0 40198 16 0 0 25 0 1 0 133006268 66875392 15411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 16327 15411 170 317 0 16006 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 65308 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1528304/2055920 swapFree=4059152/4192956 [pid=25964] ppid=25962 vsize=69188 CPUtime=462.12 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 16620 0 0 0 46194 18 0 0 25 0 1 0 133006268 70848512 16429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 17297 16429 170 317 0 16976 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 69188 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1524272/2055920 swapFree=4059216/4192956 [pid=25964] ppid=25962 vsize=74156 CPUtime=522.1 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 17791 0 0 0 52191 19 0 0 25 0 1 0 133006268 75935744 17435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 18539 17435 170 317 0 18218 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 74156 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1520880/2055920 swapFree=4059216/4192956 [pid=25964] ppid=25962 vsize=77208 CPUtime=582.08 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 18640 0 0 0 58188 20 0 0 25 0 1 0 133006268 79060992 18284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 19302 18284 170 317 0 18981 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 77208 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1518256/2055920 swapFree=4059216/4192956 [pid=25964] ppid=25962 vsize=79972 CPUtime=642.06 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 19314 0 0 0 64185 21 0 0 25 0 1 0 133006268 81891328 18925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 19993 18925 170 317 0 19672 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 79972 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1508272/2055920 swapFree=4059344/4192956 [pid=25964] ppid=25962 vsize=92000 CPUtime=881.97 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 22421 0 0 0 88172 25 0 0 25 0 1 0 133006268 94208000 21438 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 23000 21438 170 317 0 22679 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 92000 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1506160/2055920 swapFree=4059344/4192956 [pid=25964] ppid=25962 vsize=94852 CPUtime=941.95 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 23198 0 0 0 94169 26 0 0 25 0 1 0 133006268 97128448 21984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 23713 21984 170 317 0 23392 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 94852 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1503920/2055920 swapFree=4059408/4192956 [pid=25964] ppid=25962 vsize=96928 CPUtime=1001.92 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 23764 0 0 0 100166 26 0 0 25 0 1 0 133006268 99254272 22550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 24232 22550 170 317 0 23911 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 96928 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1501744/2055920 swapFree=4059408/4192956 [pid=25964] ppid=25962 vsize=99308 CPUtime=1061.9 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 24361 0 0 0 106163 27 0 0 25 0 1 0 133006268 101691392 23081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 24827 23081 170 317 0 24506 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 99308 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1499760/2055920 swapFree=4059472/4192956 [pid=25964] ppid=25962 vsize=101404 CPUtime=1121.88 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 24957 0 0 0 112160 28 0 0 25 0 1 0 133006268 103837696 23578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 25351 23578 170 317 0 25030 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 101404 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1497648/2055920 swapFree=4059472/4192956 [pid=25964] ppid=25962 vsize=103228 CPUtime=1181.86 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 25477 0 0 0 118157 29 0 0 25 0 1 0 133006268 105705472 24098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 25807 24098 170 317 0 25486 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 103228 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1495472/2055920 swapFree=4059472/4192956 [pid=25964] ppid=25962 vsize=105188 CPUtime=1241.84 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 25998 0 0 0 124154 30 0 0 25 0 1 0 133006268 107712512 24619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 26297 24619 170 317 0 25976 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 105188 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1493424/2055920 swapFree=4059536/4192956 [pid=25964] ppid=25962 vsize=106888 CPUtime=1301.82 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 26512 0 0 0 130151 31 0 0 25 0 1 0 133006268 109453312 25133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 26722 25133 170 317 0 26401 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 106888 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1491440/2055920 swapFree=4059536/4192956 [pid=25964] ppid=25962 vsize=108724 CPUtime=1361.79 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 27026 0 0 0 136148 31 0 0 25 0 1 0 133006268 111333376 25647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 27181 25647 170 317 0 26860 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 108724 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1489456/2055920 swapFree=4059600/4192956 [pid=25964] ppid=25962 vsize=110812 CPUtime=1421.77 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 27541 0 0 0 142145 32 0 0 25 0 1 0 133006268 113471488 26129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 27703 26129 170 317 0 27382 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 110812 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1487408/2055920 swapFree=4059600/4192956 [pid=25964] ppid=25962 vsize=113416 CPUtime=1481.75 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 28316 0 0 0 148142 33 0 0 25 0 1 0 133006268 116137984 26644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 28354 26644 170 317 0 28033 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 113416 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1485296/2055920 swapFree=4059664/4192956 [pid=25964] ppid=25962 vsize=115256 CPUtime=1541.72 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 28828 0 0 0 154138 34 0 0 25 0 1 0 133006268 118022144 27156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 28814 27156 170 317 0 28493 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 115256 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1483440/2055920 swapFree=4059664/4192956 [pid=25964] ppid=25962 vsize=117092 CPUtime=1601.7 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 29337 0 0 0 160135 35 0 0 25 0 1 0 133006268 119902208 27632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 29273 27632 170 317 0 28952 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 117092 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1481392/2055920 swapFree=4059664/4192956 [pid=25964] ppid=25962 vsize=118916 CPUtime=1661.68 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 29858 0 0 0 166132 36 0 0 25 0 1 0 133006268 121769984 28120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 29729 28120 170 317 0 29408 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 118916 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1479664/2055920 swapFree=4059728/4192956 [pid=25964] ppid=25962 vsize=120892 CPUtime=1721.66 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 30403 0 0 0 172129 37 0 0 25 0 1 0 133006268 123793408 28566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 30223 28566 170 317 0 29902 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 120892 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1477872/2055920 swapFree=4059728/4192956 [pid=25964] ppid=25962 vsize=122516 CPUtime=1781.64 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 30851 0 0 0 178126 38 0 0 25 0 1 0 133006268 125456384 29014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 30629 29014 170 317 0 30308 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 122516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1477360/2055920 swapFree=4059728/4192956 [pid=25964] ppid=25962 vsize=122912 CPUtime=1800.03 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 30971 0 0 0 179965 38 0 0 25 0 1 0 133006268 125861888 29134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 30728 29134 170 317 0 30407 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 122912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.99 2/78 25965 /proc/meminfo: memFree=1477360/2055920 swapFree=4059728/4192956 [pid=25964] ppid=25962 vsize=122912 CPUtime=1800.33 /proc/25964/stat : 25964 (oree) R 25962 25964 25378 0 -1 4194304 30972 0 0 0 179995 38 0 0 25 0 1 0 133006268 125861888 29135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25964/statm: 30728 29135 170 317 0 30407 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 122912 Child status: 0 Real time (s): 1801.05 CPU time (s): 1800.39 CPU user time (s): 1799.98 CPU system time (s): 0.408937 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 122912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 system time used= 0.408937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30988 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= 2562 runsolver used 1.9657 second user time and 4.6003 second system time The end
Begin job on node42 on Tue Apr 17 23:02:24 UTC 2007 IDJOB= 356998 IDBENCH= 1755 IDSOLVER= 172 FILE ID= node42/356998-1176850944 PBS_JOBID= 4590185 Free space on /tmp= 66464 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb COMMAND LINE= oree /tmp/evaluation/356998-1176850944/instance-356998-1176850944.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-356998-1176850944 -o ROOT/results/node42/solver-356998-1176850944 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356998-1176850944/instance-356998-1176850944.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 7d8a1496a778abf94cc39a37abc46ff3 RANDOM SEED= 562735040 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1594168 kB Buffers: 44076 kB Cached: 303616 kB SwapCached: 34332 kB Active: 208340 kB Inactive: 187300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1594168 kB SwapTotal: 4192956 kB SwapFree: 4058960 kB Dirty: 1492 kB Writeback: 0 kB Mapped: 39028 kB Slab: 51532 kB Committed_AS: 2954264 kB PageTables: 1912 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= 66464 MiB End job on node42 on Tue Apr 17 23:32:27 UTC 2007