Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.79 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
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 | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
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.09/0.17 c ...done 0.09/0.17 c #vars=6027 #constraints=21279 hasObjective=yes 0.19/0.28 c res. mode=mod 0.19/0.28 c VSIDS like heuristics 0.19/0.28 c complete search running 2.89/2.92 c restart after 401 decisions 3.99/4.02 c nbDecision=500 #constraints=21509 5.39/5.50 c restart after 801 decisions 7.60/7.66 c nbDecision=1000 #constraints=21724 8.19/8.27 c nbDecision=1500 #constraints=21772 8.49/8.50 c restart after 1601 decisions 8.59/8.70 c nbDecision=2000 #constraints=21802 8.89/8.97 c nbDecision=2500 #constraints=21822 8.99/9.09 c nbDecision=3000 #constraints=21839 9.09/9.17 c restart after 3201 decisions 11.79/11.84 c nbDecision=3500 #constraints=21997 12.29/12.37 c nbDecision=4000 #constraints=22034 12.59/12.60 c nbDecision=4500 #constraints=22050 12.69/12.76 c nbDecision=5000 #constraints=22065 12.89/12.92 c nbDecision=5500 #constraints=22098 12.99/13.05 c nbDecision=6000 #constraints=22123 19.49/19.57 c restart after 6401 decisions 21.09/21.19 c nbDecision=6500 #constraints=22257 22.68/22.73 c nbDecision=7000 #constraints=22346 23.68/23.79 c nbDecision=7500 #constraints=22406 23.98/24.01 c nbDecision=8000 #constraints=22423 24.09/24.17 c nbDecision=8500 #constraints=22438 24.28/24.32 c nbDecision=9000 #constraints=22461 24.38/24.49 c nbDecision=9500 #constraints=22488 37.68/37.73 c nbDecision=10000 #constraints=22580 46.18/46.23 c nbDecision=10500 #constraints=22648 51.87/51.97 c nbDecision=11000 #constraints=22730 53.07/53.13 c nbDecision=11500 #constraints=22798 53.37/53.41 c nbDecision=12000 #constraints=22811 53.47/53.53 c nbDecision=12500 #constraints=22823 53.57/53.64 c restart after 12801 decisions 57.77/57.84 c nbDecision=13000 #constraints=22976 59.07/59.16 c nbDecision=13500 #constraints=23047 59.57/59.65 c nbDecision=14000 #constraints=23072 59.87/59.98 c nbDecision=14500 #constraints=23087 60.07/60.12 c nbDecision=15000 #constraints=23106 60.27/60.32 c nbDecision=15500 #constraints=23149 74.87/74.95 c nbDecision=16000 #constraints=23233 82.87/82.95 c nbDecision=16500 #constraints=23439 83.77/83.87 c nbDecision=17000 #constraints=23475 84.37/84.47 c nbDecision=17500 #constraints=23497 84.87/84.95 c nbDecision=18000 #constraints=23516 85.07/85.12 c nbDecision=18500 #constraints=23544 85.17/85.28 c nbDecision=19000 #constraints=23570 101.76/101.84 c nbDecision=19500 #constraints=23720 105.56/105.61 c nbDecision=20000 #constraints=23852 106.36/106.43 c nbDecision=20500 #constraints=23882 106.76/106.84 c nbDecision=21000 #constraints=23897 106.96/107.01 c nbDecision=21500 #constraints=23906 107.06/107.19 c nbDecision=22000 #constraints=23935 107.26/107.38 c nbDecision=22500 #constraints=23973 122.45/122.52 c nbDecision=23000 #constraints=24054 126.25/126.36 c nbDecision=23500 #constraints=24089 142.46/142.56 c nbDecision=24000 #constraints=24287 145.35/145.46 c nbDecision=24500 #constraints=24409 147.95/148.03 c nbDecision=25000 #constraints=24483 148.75/148.80 c nbDecision=25500 #constraints=24506 148.85/148.93 c restart after 25601 decisions 156.45/156.58 c nbDecision=26000 #constraints=24662 158.05/158.19 c nbDecision=26500 #constraints=24720 159.04/159.11 c nbDecision=27000 #constraints=24748 159.35/159.46 c nbDecision=27500 #constraints=24758 159.54/159.66 c nbDecision=28000 #constraints=24786 159.74/159.83 c nbDecision=28500 #constraints=24809 178.65/178.74 c nbDecision=29000 #constraints=24983 182.84/182.93 c nbDecision=29500 #constraints=25072 184.14/184.29 c nbDecision=30000 #constraints=25111 184.75/184.83 c nbDecision=30500 #constraints=25124 184.84/184.98 c nbDecision=31000 #constraints=25140 185.04/185.16 c nbDecision=31500 #constraints=25169 197.64/197.71 c nbDecision=32000 #constraints=25235 211.73/211.86 c nbDecision=32500 #constraints=25399 214.23/214.32 c nbDecision=33000 #constraints=25457 215.13/215.22 c nbDecision=33500 #constraints=25474 215.93/216.00 c nbDecision=34000 #constraints=25501 216.03/216.14 c nbDecision=34500 #constraints=25514 216.23/216.34 c nbDecision=35000 #constraints=25547 226.43/226.58 c nbDecision=35500 #constraints=25585 244.72/244.82 c nbDecision=36000 #constraints=25796 246.72/246.82 c nbDecision=36500 #constraints=25845 247.92/248.08 c nbDecision=37000 #constraints=25875 248.43/248.54 c nbDecision=37500 #constraints=25893 248.53/248.69 c nbDecision=38000 #constraints=25904 248.72/248.89 c nbDecision=38500 #constraints=25932 255.62/255.72 c nbDecision=39000 #constraints=25991 274.02/274.17 c nbDecision=39500 #constraints=26188 276.52/276.60 c nbDecision=40000 #constraints=26246 278.12/278.29 c nbDecision=40500 #constraints=26282 279.02/279.15 c nbDecision=41000 #constraints=26299 279.22/279.32 c nbDecision=41500 #constraints=26311 279.42/279.52 c nbDecision=42000 #constraints=26339 279.62/279.71 c nbDecision=42500 #constraints=26362 304.01/304.11 c nbDecision=43000 #constraints=26541 305.51/305.68 c nbDecision=43500 #constraints=26577 308.10/308.22 c nbDecision=44000 #constraints=26631 309.40/309.51 c nbDecision=44500 #constraints=26658 309.50/309.68 c nbDecision=45000 #constraints=26672 309.80/309.90 c nbDecision=45500 #constraints=26701 318.00/318.19 c nbDecision=46000 #constraints=26744 338.00/338.15 c nbDecision=46500 #constraints=26901 339.90/340.01 c nbDecision=47000 #constraints=26927 340.50/340.67 c nbDecision=47500 #constraints=26940 340.70/340.82 c nbDecision=48000 #constraints=26954 341.00/341.16 c nbDecision=48500 #constraints=27013 348.30/348.49 c nbDecision=49000 #constraints=27064 366.89/367.05 c nbDecision=49500 #constraints=27238 369.09/369.29 c nbDecision=50000 #constraints=27276 370.69/370.87 c nbDecision=50500 #constraints=27308 371.59/371.73 c nbDecision=51000 #constraints=27322 371.69/371.80 c restart after 51201 decisions 384.79/384.99 c nbDecision=51500 #constraints=27448 387.89/388.00 c nbDecision=52000 #constraints=27501 389.09/389.21 c nbDecision=52500 #constraints=27523 389.79/389.98 c nbDecision=53000 #constraints=27533 390.19/390.38 c nbDecision=53500 #constraints=27551 390.49/390.61 c nbDecision=54000 #constraints=27580 397.28/397.42 c nbDecision=54500 #constraints=27614 420.82/421.04 c nbDecision=55000 #constraints=27821 429.10/429.36 c nbDecision=55500 #constraints=27944 431.60/431.86 c nbDecision=56000 #constraints=27987 433.30/433.52 c nbDecision=56500 #constraints=28009 433.50/433.70 c nbDecision=57000 #constraints=28021 433.70/433.95 c nbDecision=57500 #constraints=28054 433.90/434.15 c nbDecision=58000 #constraints=28077 465.66/465.99 c nbDecision=58500 #constraints=28321 468.16/468.44 c nbDecision=59000 #constraints=28362 469.66/469.96 c nbDecision=59500 #constraints=28386 470.66/470.99 c nbDecision=60000 #constraints=28406 471.06/471.33 c nbDecision=60500 #constraints=28424 471.26/471.56 c nbDecision=61000 #constraints=28452 476.36/476.65 c nbDecision=61500 #constraints=28493 506.36/506.70 c nbDecision=62000 #constraints=28730 509.56/509.84 c nbDecision=62500 #constraints=28775 511.46/511.75 c nbDecision=63000 #constraints=28801 513.26/513.58 c nbDecision=63500 #constraints=28834 513.96/514.24 c nbDecision=64000 #constraints=28861 514.16/514.46 c nbDecision=64500 #constraints=28888 514.36/514.67 c nbDecision=65000 #constraints=28917 530.45/530.77 c nbDecision=65500 #constraints=29014 553.54/553.85 c nbDecision=66000 #constraints=29218 556.74/557.08 c nbDecision=66500 #constraints=29258 559.65/559.91 c nbDecision=67000 #constraints=29307 560.54/560.83 c nbDecision=67500 #constraints=29325 560.75/561.02 c nbDecision=68000 #constraints=29342 560.94/561.26 c nbDecision=68500 #constraints=29374 570.14/570.41 c nbDecision=69000 #constraints=29428 598.43/598.78 c nbDecision=69500 #constraints=29668 600.73/601.03 c nbDecision=70000 #constraints=29699 603.43/603.74 c nbDecision=70500 #constraints=29738 604.03/604.35 c nbDecision=71000 #constraints=29758 604.43/604.71 c nbDecision=71500 #constraints=29770 604.63/604.95 c nbDecision=72000 #constraints=29803 612.22/612.56 c nbDecision=72500 #constraints=29853 642.52/642.87 c nbDecision=73000 #constraints=30097 646.72/647.00 c nbDecision=73500 #constraints=30155 650.22/650.58 c nbDecision=74000 #constraints=30198 651.22/651.57 c nbDecision=74500 #constraints=30212 651.42/651.75 c nbDecision=75000 #constraints=30225 651.62/651.99 c nbDecision=75500 #constraints=30255 658.62/658.91 c nbDecision=76000 #constraints=30312 689.61/689.93 c nbDecision=76500 #constraints=30528 693.90/694.25 c nbDecision=77000 #constraints=30593 697.80/698.12 c nbDecision=77500 #constraints=30631 699.00/699.36 c nbDecision=78000 #constraints=30649 699.40/699.77 c nbDecision=78500 #constraints=30665 699.70/700.03 c nbDecision=79000 #constraints=30693 699.90/700.26 c nbDecision=79500 #constraints=30720 731.10/731.45 c nbDecision=80000 #constraints=30868 744.30/744.69 c nbDecision=80500 #constraints=30993 747.50/747.83 c nbDecision=81000 #constraints=31017 748.30/748.67 c nbDecision=81500 #constraints=31032 748.50/748.87 c nbDecision=82000 #constraints=31051 748.80/749.11 c nbDecision=82500 #constraints=31076 751.79/752.18 c nbDecision=83000 #constraints=31131 776.78/777.17 c nbDecision=83500 #constraints=31275 793.98/794.30 c nbDecision=84000 #constraints=31436 798.68/799.01 c nbDecision=84500 #constraints=31493 800.57/800.97 c nbDecision=85000 #constraints=31511 800.77/801.16 c nbDecision=85500 #constraints=31524 801.07/801.44 c nbDecision=86000 #constraints=31559 807.97/808.32 c nbDecision=86500 #constraints=31593 838.07/838.50 c nbDecision=87000 #constraints=31783 849.37/849.79 c nbDecision=87500 #constraints=31891 853.27/853.65 c nbDecision=88000 #constraints=31933 856.76/857.12 c nbDecision=88500 #constraints=31976 857.46/857.81 c nbDecision=89000 #constraints=31989 857.67/858.06 c nbDecision=89500 #constraints=32016 857.96/858.36 c nbDecision=90000 #constraints=32056 897.55/897.99 c nbDecision=90500 #constraints=32266 901.85/902.26 c nbDecision=91000 #constraints=32313 905.15/905.50 c nbDecision=91500 #constraints=32343 906.65/907.01 c nbDecision=92000 #constraints=32357 906.85/907.22 c nbDecision=92500 #constraints=32372 907.15/907.52 c nbDecision=93000 #constraints=32405 917.85/918.22 c nbDecision=93500 #constraints=32454 952.94/953.35 c nbDecision=94000 #constraints=32671 958.94/959.38 c nbDecision=94500 #constraints=32740 963.63/964.03 c nbDecision=95000 #constraints=32776 965.83/966.29 c nbDecision=95500 #constraints=32809 966.93/967.35 c nbDecision=96000 #constraints=32844 967.33/967.78 c nbDecision=96500 #constraints=32856 967.64/968.06 c nbDecision=97000 #constraints=32888 982.33/982.72 c nbDecision=97500 #constraints=32954 1013.42/1013.81 c nbDecision=98000 #constraints=33120 1020.33/1020.75 c nbDecision=98500 #constraints=33169 1023.42/1023.83 c nbDecision=99000 #constraints=33199 1024.42/1024.89 c nbDecision=99500 #constraints=33215 1025.12/1025.55 c nbDecision=100000 #constraints=33246 1025.32/1025.79 c nbDecision=100500 #constraints=33273 1038.52/1038.92 c nbDecision=101000 #constraints=33359 1073.00/1073.41 c nbDecision=101500 #constraints=33552 1078.00/1078.46 c nbDecision=102000 #constraints=33600 1081.10/1081.54 c restart after 102401 decisions 1100.09/1100.52 c nbDecision=102500 #constraints=33685 1113.29/1113.77 c nbDecision=103000 #constraints=33768 1118.09/1118.50 c nbDecision=103500 #constraints=33825 1120.39/1120.84 c nbDecision=104000 #constraints=33841 1120.59/1121.08 c nbDecision=104500 #constraints=33857 1120.89/1121.35 c nbDecision=105000 #constraints=33882 1121.09/1121.58 c nbDecision=105500 #constraints=33900 1166.27/1166.70 c nbDecision=106000 #constraints=34067 1171.78/1172.27 c nbDecision=106500 #constraints=34129 1176.68/1177.16 c nbDecision=107000 #constraints=34159 1178.78/1179.24 c nbDecision=107500 #constraints=34176 1179.38/1179.84 c nbDecision=108000 #constraints=34192 1179.68/1180.16 c nbDecision=108500 #constraints=34227 1187.27/1187.78 c nbDecision=109000 #constraints=34254 1227.76/1228.25 c nbDecision=109500 #constraints=34438 1234.16/1234.61 c nbDecision=110000 #constraints=34493 1236.66/1237.16 c nbDecision=110500 #constraints=34509 1237.56/1238.01 c nbDecision=111000 #constraints=34519 1237.86/1238.31 c nbDecision=111500 #constraints=34549 1238.06/1238.57 c nbDecision=112000 #constraints=34573 1274.05/1274.60 c nbDecision=112500 #constraints=34715 1291.34/1291.88 c nbDecision=113000 #constraints=34806 1296.34/1296.87 c nbDecision=113500 #constraints=34852 1298.74/1299.25 c nbDecision=114000 #constraints=34865 1298.94/1299.49 c nbDecision=114500 #constraints=34878 1299.24/1299.78 c nbDecision=115000 #constraints=34904 1299.54/1300.03 c nbDecision=115500 #constraints=34926 1343.53/1344.08 c nbDecision=116000 #constraints=35070 1349.03/1349.58 c nbDecision=116500 #constraints=35111 1355.74/1356.23 c nbDecision=117000 #constraints=35179 1358.13/1358.66 c nbDecision=117500 #constraints=35194 1358.43/1358.91 c nbDecision=118000 #constraints=35206 1358.73/1359.23 c nbDecision=118500 #constraints=35235 1371.82/1372.36 c nbDecision=119000 #constraints=35292 1415.31/1415.85 c nbDecision=119500 #constraints=35470 1423.20/1423.79 c nbDecision=120000 #constraints=35526 1425.90/1426.49 c nbDecision=120500 #constraints=35550 1427.00/1427.60 c nbDecision=121000 #constraints=35564 1427.31/1427.87 c nbDecision=121500 #constraints=35588 1427.61/1428.19 c nbDecision=122000 #constraints=35623 1464.90/1465.47 c nbDecision=122500 #constraints=35758 1481.00/1481.55 c nbDecision=123000 #constraints=35836 1485.69/1486.26 c nbDecision=123500 #constraints=35865 1490.49/1491.08 c nbDecision=124000 #constraints=35914 1491.59/1492.12 c nbDecision=124500 #constraints=35933 1491.79/1492.30 c nbDecision=125000 #constraints=35941 1492.10/1492.63 c nbDecision=125500 #constraints=35974 1499.69/1500.29 c nbDecision=126000 #constraints=36010 1536.58/1537.10 c nbDecision=126500 #constraints=36142 1544.57/1545.18 c nbDecision=127000 #constraints=36183 1548.77/1549.36 c nbDecision=127500 #constraints=36218 1549.87/1550.44 c nbDecision=128000 #constraints=36234 1550.77/1551.38 c nbDecision=128500 #constraints=36255 1551.08/1551.66 c nbDecision=129000 #constraints=36283 1575.27/1575.80 c nbDecision=129500 #constraints=36350 1618.46/1619.03 c nbDecision=130000 #constraints=36525 1625.36/1625.95 c nbDecision=130500 #constraints=36567 1627.26/1627.83 c nbDecision=131000 #constraints=36582 1628.26/1628.82 c nbDecision=131500 #constraints=36596 1628.56/1629.15 c nbDecision=132000 #constraints=36624 1628.86/1629.46 c nbDecision=132500 #constraints=36646 1679.44/1680.00 c nbDecision=133000 #constraints=36823 1686.84/1687.48 c nbDecision=133500 #constraints=36876 1691.53/1692.15 c nbDecision=134000 #constraints=36914 1694.63/1695.27 c nbDecision=134500 #constraints=36928 1694.93/1695.53 c nbDecision=135000 #constraints=36941 1695.33/1695.90 c nbDecision=135500 #constraints=36977 1705.64/1706.27 c nbDecision=136000 #constraints=37022 1729.83/1730.50 c nbDecision=136500 #constraints=37185 1760.02/1760.64 c nbDecision=137000 #constraints=37312 1764.42/1765.03 c nbDecision=137500 #constraints=37333 1764.62/1765.25 c nbDecision=138000 #constraints=37342 1764.92/1765.55 c nbDecision=138500 #constraints=37370 1765.22/1765.83 c nbDecision=139000 #constraints=37395 1793.91/1794.54 c nbDecision=139500 #constraints=37500 1800.01/1800.61 Received signal 15 1800.11/1800.76 1800.11/1800.76 s UNKNOWN 1800.11/1800.76 1800.11/1800.76 c user time= 1799.98 s 1800.11/1800.76 c system time= 0.197969 s 1800.11/1800.76 c wall clock time=1800.76
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-373049-1177160062 -o ROOT/results/node62/solver-373049-1177160062 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373049-1177160062/instance-373049-1177160062.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.98 0.92 3/64 9626 /proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=1468 CPUtime=0 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 34582161 1503232 164 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 367 164 130 317 0 46 0 [startup+0.0910559 s] /proc/loadavg: 0.99 0.98 0.92 3/64 9626 /proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=3316 CPUtime=0.08 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 641 0 0 0 8 0 0 0 18 0 1 0 34582161 3395584 624 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 829 624 130 317 0 508 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3316 [startup+0.101055 s] /proc/loadavg: 0.99 0.98 0.92 3/64 9626 /proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=3580 CPUtime=0.09 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 694 0 0 0 9 0 0 0 18 0 1 0 34582161 3665920 676 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 895 676 130 317 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3580 [startup+0.301079 s] /proc/loadavg: 0.99 0.98 0.92 3/64 9626 /proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=7448 CPUtime=0.29 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 1680 0 0 0 29 0 0 0 19 0 1 0 34582161 7626752 1662 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 1862 1662 138 317 0 1541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7448 [startup+0.701125 s] /proc/loadavg: 0.99 0.98 0.92 3/64 9626 /proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=8688 CPUtime=0.69 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 1991 0 0 0 69 0 0 0 22 0 1 0 34582161 8896512 1827 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134549856 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 2172 1827 139 317 0 1851 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8688 [startup+1.50122 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1768920/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=8688 CPUtime=1.49 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 1991 0 0 0 149 0 0 0 25 0 1 0 34582161 8896512 1827 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284226 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 2172 1827 139 317 0 1851 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8688 [startup+3.10141 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1768792/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=8816 CPUtime=3.09 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 2003 0 0 0 309 0 0 0 25 0 1 0 34582161 9027584 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 2204 1839 139 317 0 1883 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8816 [startup+6.30178 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1768408/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=9472 CPUtime=6.28 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 2187 0 0 0 628 0 0 0 25 0 1 0 34582161 9699328 2023 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 2368 2023 139 317 0 2047 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9472 [startup+12.7025 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1766816/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=11052 CPUtime=12.69 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 2582 0 0 0 1268 1 0 0 25 0 1 0 34582161 11317248 2418 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 2763 2418 139 317 0 2442 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11052 [startup+25.501 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1764320/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=13552 CPUtime=25.48 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 3161 0 0 0 2547 1 0 0 25 0 1 0 34582161 13877248 2997 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713841 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 3388 2997 139 317 0 3067 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13552 [startup+51.101 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1762592/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=15348 CPUtime=51.07 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 3612 0 0 0 5106 1 0 0 25 0 1 0 34582161 15716352 3448 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 3837 3448 139 317 0 3516 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15348 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1757536/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=20436 CPUtime=102.27 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 4863 0 0 0 10225 2 0 0 25 0 1 0 34582161 20926464 4699 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 5109 4699 139 317 0 4788 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20436 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1751584/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=26224 CPUtime=162.24 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 6334 0 0 0 16221 3 0 0 25 0 1 0 34582161 26853376 6170 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 6556 6170 139 317 0 6235 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 26224 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1747168/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=31412 CPUtime=222.23 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 7449 0 0 0 22219 4 0 0 25 0 1 0 34582161 32165888 7285 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 7853 7285 139 317 0 7532 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 31412 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1743136/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=35084 CPUtime=282.21 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 8435 0 0 0 28216 5 0 0 25 0 1 0 34582161 35926016 8271 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 8771 8271 139 317 0 8450 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 35084 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9627 /proc/meminfo: memFree=1739808/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=38316 CPUtime=342.2 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 9250 0 0 0 34214 6 0 0 25 0 1 0 34582161 39235584 9086 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 9579 9086 139 317 0 9258 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 38316 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.92 2/71 9653 /proc/meminfo: memFree=1735664/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=41244 CPUtime=402.16 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 9999 0 0 0 40209 7 0 0 25 0 1 0 34582161 42233856 9835 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/9626/statm: 10311 9835 139 317 0 9990 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 41244 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1733592/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=44312 CPUtime=462.06 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 10764 0 0 0 46199 7 0 0 25 0 1 0 34582161 45375488 10600 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 11078 10600 139 317 0 10757 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 44312 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1730400/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=47424 CPUtime=522.05 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 11610 0 0 0 52197 8 0 0 25 0 1 0 34582161 48562176 11446 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710785 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 11856 11446 139 317 0 11535 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 47424 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1727520/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=51880 CPUtime=582.03 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 12388 0 0 0 58195 8 0 0 25 0 1 0 34582161 53125120 12224 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 12970 12224 139 317 0 12649 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 51880 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1724640/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=54372 CPUtime=642.03 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 12994 0 0 0 64194 9 0 0 25 0 1 0 34582161 55676928 12830 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134554634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 13593 12830 139 317 0 13272 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 54372 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1714720/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=64080 CPUtime=881.95 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 15496 0 0 0 88184 11 0 0 25 0 1 0 34582161 65617920 15332 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 16020 15332 139 317 0 15699 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 64080 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1712544/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=66072 CPUtime=941.94 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 16038 0 0 0 94182 12 0 0 25 0 1 0 34582161 67657728 15874 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 16518 15874 139 317 0 16197 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 66072 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1710304/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=68460 CPUtime=1001.92 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 16641 0 0 0 100180 12 0 0 25 0 1 0 34582161 70103040 16444 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 17115 16444 139 317 0 16794 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 68460 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1707680/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=71268 CPUtime=1061.91 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 17304 0 0 0 106178 13 0 0 25 0 1 0 34582161 72978432 17107 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 17817 17107 139 317 0 17496 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 71268 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1705888/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=73004 CPUtime=1121.89 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 17745 0 0 0 112176 13 0 0 25 0 1 0 34582161 74756096 17548 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 18251 17548 139 317 0 17930 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 73004 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1704160/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=74592 CPUtime=1181.87 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 18176 0 0 0 118173 14 0 0 25 0 1 0 34582161 76382208 17979 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 18648 17979 139 317 0 18327 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 74592 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1702432/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=76208 CPUtime=1241.86 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 18596 0 0 0 124171 15 0 0 25 0 1 0 34582161 78036992 18399 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713825 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 19052 18399 139 317 0 18731 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 76208 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1700704/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=77828 CPUtime=1301.84 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 19013 0 0 0 130169 15 0 0 25 0 1 0 34582161 79695872 18816 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 19457 18816 139 317 0 19136 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 77828 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1698912/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=79612 CPUtime=1361.83 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 19475 0 0 0 136167 16 0 0 25 0 1 0 34582161 81522688 19278 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 19903 19278 139 317 0 19582 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 79612 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1697376/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=81508 CPUtime=1421.81 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 19873 0 0 0 142165 16 0 0 25 0 1 0 34582161 83464192 19676 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 20377 19676 139 317 0 20056 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 81508 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1695584/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=83248 CPUtime=1481.79 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 20308 0 0 0 148162 17 0 0 25 0 1 0 34582161 85245952 20111 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 20812 20111 139 317 0 20491 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 83248 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1693920/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=84804 CPUtime=1541.77 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 20726 0 0 0 154160 17 0 0 25 0 1 0 34582161 86839296 20529 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 21201 20529 139 317 0 20880 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 84804 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1692064/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=86588 CPUtime=1601.76 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 21192 0 0 0 160158 18 0 0 25 0 1 0 34582161 88666112 20995 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 21647 20995 139 317 0 21326 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 86588 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1690336/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=88192 CPUtime=1661.74 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 21624 0 0 0 166156 18 0 0 25 0 1 0 34582161 90308608 21427 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716140 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 22048 21427 139 317 0 21727 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 88192 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1688672/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=89820 CPUtime=1721.73 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22050 0 0 0 172154 19 0 0 25 0 1 0 34582161 91975680 21853 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 22455 21853 139 317 0 22134 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 89820 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1687008/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=91340 CPUtime=1781.71 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22437 0 0 0 178152 19 0 0 25 0 1 0 34582161 93532160 22240 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 22835 22240 139 317 0 22514 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 91340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1686368/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=92540 CPUtime=1800.01 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22749 0 0 0 179982 19 0 0 25 0 1 0 34582161 94760960 22387 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 23135 22387 139 317 0 22814 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 92540 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: 0.99 0.98 0.92 2/65 9825 /proc/meminfo: memFree=1686368/2055920 swapFree=4184556/4192956 [pid=9626] ppid=9624 vsize=92540 CPUtime=1800.11 /proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22749 0 0 0 179992 19 0 0 25 0 1 0 34582161 94760960 22387 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9626/statm: 23135 22387 139 317 0 22814 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 92540 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.21 CPU user time (s): 1799.99 CPU system time (s): 0.212967 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 92540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.212967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22765 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= 4212 runsolver used 1.23581 second user time and 3.75643 second system time The end
Begin job on node62 on Sat Apr 21 12:54:22 UTC 2007 IDJOB= 373049 IDBENCH= 25015 IDSOLVER= 172 FILE ID= node62/373049-1177160062 PBS_JOBID= 4648894 Free space on /tmp= 66497 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= oree /tmp/evaluation/373049-1177160062/instance-373049-1177160062.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-373049-1177160062 -o ROOT/results/node62/solver-373049-1177160062 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373049-1177160062/instance-373049-1177160062.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED= 820415582 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1776440 kB Buffers: 24992 kB Cached: 184544 kB SwapCached: 2148 kB Active: 59268 kB Inactive: 159836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776440 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 1980 kB Writeback: 0 kB Mapped: 16044 kB Slab: 46320 kB Committed_AS: 1092172 kB PageTables: 1460 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= 66497 MiB End job on node62 on Sat Apr 21 13:24:24 UTC 2007