Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.27 | 1800.79 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_1_80.opb |
MD5SUM | 1315caae01d69a106b6850eece7eb42e |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 30.6833 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31432 |
Sum of products size (including duplicates) | 62864 |
Number of different products | 15716 |
Sum of products size | 31432 |
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.19/0.26 c ...done 0.19/0.26 c #vars=16716 #constraints=32935 hasObjective=no 0.29/0.32 c res. mode=mod 0.29/0.32 c VSIDS like heuristics 0.29/0.32 c complete search running 0.49/0.50 c restart after 401 decisions 0.49/0.54 c nbDecision=500 #constraints=32944 0.59/0.66 c restart after 801 decisions 0.69/0.74 c nbDecision=1000 #constraints=32948 0.89/0.94 c nbDecision=1500 #constraints=32954 0.89/0.97 c restart after 1601 decisions 1.09/1.13 c nbDecision=2000 #constraints=32956 1.29/1.39 c nbDecision=2500 #constraints=32976 1.59/1.62 c nbDecision=3000 #constraints=32982 1.69/1.72 c restart after 3201 decisions 1.79/1.87 c nbDecision=3500 #constraints=32993 2.09/2.12 c nbDecision=4000 #constraints=33003 2.39/2.40 c nbDecision=4500 #constraints=33018 2.59/2.64 c nbDecision=5000 #constraints=33022 2.89/2.91 c nbDecision=5500 #constraints=33034 3.19/3.20 c nbDecision=6000 #constraints=33044 3.39/3.43 c restart after 6401 decisions 3.39/3.48 c nbDecision=6500 #constraints=33051 3.69/3.76 c nbDecision=7000 #constraints=33058 3.99/4.08 c nbDecision=7500 #constraints=33077 4.30/4.38 c nbDecision=8000 #constraints=33087 4.69/4.71 c nbDecision=8500 #constraints=33097 4.99/5.05 c nbDecision=9000 #constraints=33110 5.29/5.35 c nbDecision=9500 #constraints=33119 5.59/5.69 c nbDecision=10000 #constraints=33128 5.99/6.07 c nbDecision=10500 #constraints=33142 6.29/6.39 c nbDecision=11000 #constraints=33149 6.69/6.79 c nbDecision=11500 #constraints=33163 7.09/7.12 c nbDecision=12000 #constraints=33167 7.39/7.49 c nbDecision=12500 #constraints=33176 7.59/7.67 c restart after 12801 decisions 7.79/7.82 c nbDecision=13000 #constraints=33178 8.19/8.27 c nbDecision=13500 #constraints=33195 8.59/8.63 c nbDecision=14000 #constraints=33202 8.99/9.03 c nbDecision=14500 #constraints=33211 9.39/9.50 c nbDecision=15000 #constraints=33225 9.89/9.91 c nbDecision=15500 #constraints=33234 10.19/10.27 c nbDecision=16000 #constraints=33238 10.69/10.74 c nbDecision=16500 #constraints=33250 11.09/11.19 c nbDecision=17000 #constraints=33259 11.59/11.61 c nbDecision=17500 #constraints=33266 12.09/12.15 c nbDecision=18000 #constraints=33285 12.49/12.56 c nbDecision=18500 #constraints=33293 12.99/13.06 c nbDecision=19000 #constraints=33302 13.49/13.58 c nbDecision=19500 #constraints=33315 13.99/14.09 c nbDecision=20000 #constraints=33328 14.49/14.55 c nbDecision=20500 #constraints=33338 15.08/15.11 c nbDecision=21000 #constraints=33352 15.58/15.65 c nbDecision=21500 #constraints=33361 16.18/16.24 c nbDecision=22000 #constraints=33370 16.68/16.74 c nbDecision=22500 #constraints=33377 17.28/17.31 c nbDecision=23000 #constraints=33390 17.78/17.88 c nbDecision=23500 #constraints=33402 18.38/18.48 c nbDecision=24000 #constraints=33419 18.98/19.01 c nbDecision=24500 #constraints=33428 19.48/19.58 c nbDecision=25000 #constraints=33437 20.18/20.22 c nbDecision=25500 #constraints=33457 20.38/20.40 c restart after 25601 decisions 20.88/20.92 c nbDecision=26000 #constraints=33463 21.49/21.57 c nbDecision=26500 #constraints=33475 22.29/22.30 c nbDecision=27000 #constraints=33489 23.09/23.11 c nbDecision=27500 #constraints=33507 24.09/24.15 c nbDecision=28000 #constraints=33520 24.99/25.09 c nbDecision=28500 #constraints=33534 25.89/25.95 c nbDecision=29000 #constraints=33543 26.69/26.71 c nbDecision=29500 #constraints=33552 27.29/27.40 c nbDecision=30000 #constraints=33560 27.99/28.04 c nbDecision=30500 #constraints=33568 28.59/28.69 c nbDecision=31000 #constraints=33575 29.19/29.21 c nbDecision=31500 #constraints=33581 29.79/29.86 c nbDecision=32000 #constraints=33588 30.59/30.60 c nbDecision=32500 #constraints=33593 31.19/31.24 c nbDecision=33000 #constraints=33599 31.79/31.81 c nbDecision=33500 #constraints=33604 32.28/32.37 c nbDecision=34000 #constraints=33608 32.99/33.05 c nbDecision=34500 #constraints=33613 33.48/33.51 c nbDecision=35000 #constraints=33619 34.09/34.15 c nbDecision=35500 #constraints=33623 34.68/34.78 c nbDecision=36000 #constraints=33626 35.28/35.40 c nbDecision=36500 #constraints=33632 35.78/35.89 c nbDecision=37000 #constraints=33636 36.68/36.74 c nbDecision=37500 #constraints=33640 37.18/37.29 c nbDecision=38000 #constraints=33643 37.98/38.08 c nbDecision=38500 #constraints=33654 38.78/38.87 c nbDecision=39000 #constraints=33660 39.48/39.58 c nbDecision=39500 #constraints=33666 40.18/40.25 c nbDecision=40000 #constraints=33671 40.98/41.02 c nbDecision=40500 #constraints=33677 41.78/41.80 c nbDecision=41000 #constraints=33683 42.38/42.41 c nbDecision=41500 #constraints=33689 42.98/43.05 c nbDecision=42000 #constraints=33695 43.67/43.77 c nbDecision=42500 #constraints=33701 44.47/44.50 c nbDecision=43000 #constraints=33708 45.27/45.31 c nbDecision=43500 #constraints=33715 46.08/46.16 c nbDecision=44000 #constraints=33732 47.28/47.32 c nbDecision=44500 #constraints=33777 48.57/48.63 c nbDecision=45000 #constraints=33815 49.98/50.09 c nbDecision=45500 #constraints=33875 51.78/51.87 c nbDecision=46000 #constraints=33941 53.98/54.08 c nbDecision=46500 #constraints=34018 56.37/56.48 c nbDecision=47000 #constraints=34106 59.47/59.59 c nbDecision=47500 #constraints=34224 63.07/63.12 c nbDecision=48000 #constraints=34323 67.47/67.57 c nbDecision=48500 #constraints=34387 72.17/72.28 c nbDecision=49000 #constraints=34424 77.67/77.76 c nbDecision=49500 #constraints=34483 83.87/83.99 c nbDecision=50000 #constraints=34572 89.47/89.50 c nbDecision=50500 #constraints=34599 95.86/95.90 c nbDecision=51000 #constraints=34671 98.56/98.69 c restart after 51201 decisions 104.57/104.69 c nbDecision=51500 #constraints=34792 115.56/115.62 c nbDecision=52000 #constraints=35221 123.46/123.54 c nbDecision=52500 #constraints=35382 124.36/124.43 c nbDecision=53000 #constraints=35406 126.06/126.15 c nbDecision=53500 #constraints=35437 128.76/128.84 c nbDecision=54000 #constraints=35503 132.96/133.04 c nbDecision=54500 #constraints=35530 138.56/138.65 c nbDecision=55000 #constraints=35588 144.85/144.94 c nbDecision=55500 #constraints=35635 148.35/148.41 c nbDecision=56000 #constraints=35703 149.75/149.81 c nbDecision=56500 #constraints=35719 150.65/150.73 c nbDecision=57000 #constraints=35726 152.35/152.46 c nbDecision=57500 #constraints=35733 154.55/154.61 c nbDecision=58000 #constraints=35743 156.85/156.98 c nbDecision=58500 #constraints=35750 159.14/159.21 c nbDecision=59000 #constraints=35757 161.14/161.25 c nbDecision=59500 #constraints=35763 163.64/163.76 c nbDecision=60000 #constraints=35768 166.24/166.39 c nbDecision=60500 #constraints=35775 168.25/168.35 c nbDecision=61000 #constraints=35782 170.24/170.34 c nbDecision=61500 #constraints=35787 172.54/172.60 c nbDecision=62000 #constraints=35794 175.04/175.19 c nbDecision=62500 #constraints=35800 177.54/177.68 c nbDecision=63000 #constraints=35805 179.54/179.63 c nbDecision=63500 #constraints=35810 182.14/182.29 c nbDecision=64000 #constraints=35816 184.24/184.39 c nbDecision=64500 #constraints=35822 186.53/186.65 c nbDecision=65000 #constraints=35827 189.14/189.21 c nbDecision=65500 #constraints=35833 191.83/191.95 c nbDecision=66000 #constraints=35839 193.54/193.68 c nbDecision=66500 #constraints=35850 195.03/195.19 c nbDecision=67000 #constraints=35857 196.74/196.82 c nbDecision=67500 #constraints=35863 198.53/198.69 c nbDecision=68000 #constraints=35871 200.74/200.86 c nbDecision=68500 #constraints=35897 203.14/203.26 c nbDecision=69000 #constraints=35951 205.43/205.51 c nbDecision=69500 #constraints=36000 208.63/208.70 c nbDecision=70000 #constraints=36028 212.03/212.16 c nbDecision=70500 #constraints=36079 216.73/216.82 c nbDecision=71000 #constraints=36121 222.04/222.11 c nbDecision=71500 #constraints=36206 229.73/229.85 c nbDecision=72000 #constraints=36259 238.12/238.22 c nbDecision=72500 #constraints=36288 246.02/246.14 c nbDecision=73000 #constraints=36306 253.42/253.54 c nbDecision=73500 #constraints=36365 263.52/263.62 c nbDecision=74000 #constraints=36433 276.51/276.65 c nbDecision=74500 #constraints=36506 289.60/289.76 c nbDecision=75000 #constraints=36595 308.71/308.82 c nbDecision=75500 #constraints=36880 330.10/330.21 c nbDecision=76000 #constraints=37298 335.60/335.76 c nbDecision=76500 #constraints=37362 338.70/338.84 c nbDecision=77000 #constraints=37390 342.09/342.28 c nbDecision=77500 #constraints=37398 345.30/345.49 c nbDecision=78000 #constraints=37405 348.89/349.02 c nbDecision=78500 #constraints=37415 351.80/351.92 c nbDecision=79000 #constraints=37422 354.69/354.86 c nbDecision=79500 #constraints=37428 357.99/358.10 c nbDecision=80000 #constraints=37435 362.58/362.75 c nbDecision=80500 #constraints=37455 368.29/368.46 c nbDecision=81000 #constraints=37484 375.18/375.40 c nbDecision=81500 #constraints=37517 383.88/384.01 c nbDecision=82000 #constraints=37563 393.28/393.42 c nbDecision=82500 #constraints=37619 402.87/403.03 c nbDecision=83000 #constraints=37662 414.48/414.68 c nbDecision=83500 #constraints=37710 423.77/423.92 c nbDecision=84000 #constraints=37743 436.97/437.16 c nbDecision=84500 #constraints=37783 447.07/447.22 c nbDecision=85000 #constraints=37808 456.86/457.02 c nbDecision=85500 #constraints=37837 472.66/472.82 c nbDecision=86000 #constraints=37895 483.05/483.23 c nbDecision=86500 #constraints=37928 485.85/486.05 c nbDecision=87000 #constraints=37993 488.65/488.90 c nbDecision=87500 #constraints=38001 490.95/491.15 c nbDecision=88000 #constraints=38010 493.85/494.04 c nbDecision=88500 #constraints=38016 496.75/496.91 c nbDecision=89000 #constraints=38023 499.75/499.93 c nbDecision=89500 #constraints=38028 502.45/502.65 c nbDecision=90000 #constraints=38033 505.75/505.92 c nbDecision=90500 #constraints=38041 509.54/509.70 c nbDecision=91000 #constraints=38052 512.64/512.88 c nbDecision=91500 #constraints=38057 515.64/515.86 c nbDecision=92000 #constraints=38064 519.04/519.27 c nbDecision=92500 #constraints=38069 522.75/522.96 c nbDecision=93000 #constraints=38074 525.95/526.18 c nbDecision=93500 #constraints=38080 529.45/529.60 c nbDecision=94000 #constraints=38087 532.85/533.09 c nbDecision=94500 #constraints=38093 536.94/537.15 c nbDecision=95000 #constraints=38100 540.74/540.96 c nbDecision=95500 #constraints=38105 544.84/545.04 c nbDecision=96000 #constraints=38110 548.44/548.63 c nbDecision=96500 #constraints=38116 552.24/552.47 c nbDecision=97000 #constraints=38122 556.44/556.68 c nbDecision=97500 #constraints=38128 560.13/560.33 c nbDecision=98000 #constraints=38133 564.83/565.04 c nbDecision=98500 #constraints=38138 569.33/569.52 c nbDecision=99000 #constraints=38144 573.23/573.41 c nbDecision=99500 #constraints=38148 577.63/577.88 c nbDecision=100000 #constraints=38153 581.43/581.64 c nbDecision=100500 #constraints=38158 586.62/586.85 c nbDecision=101000 #constraints=38164 590.72/590.94 c nbDecision=101500 #constraints=38168 595.22/595.49 c nbDecision=102000 #constraints=38174 598.62/598.84 c restart after 102401 decisions 601.32/601.58 c nbDecision=102500 #constraints=38184 613.11/613.34 c nbDecision=103000 #constraints=38197 623.91/624.13 c nbDecision=103500 #constraints=38206 633.71/633.95 c nbDecision=104000 #constraints=38228 643.00/643.27 c nbDecision=104500 #constraints=38243 652.30/652.58 c nbDecision=105000 #constraints=38257 663.51/663.78 c nbDecision=105500 #constraints=38270 675.21/675.48 c nbDecision=106000 #constraints=38281 686.90/687.18 c nbDecision=106500 #constraints=38292 697.90/698.16 c nbDecision=107000 #constraints=38306 710.09/710.34 c nbDecision=107500 #constraints=38319 721.69/721.97 c nbDecision=108000 #constraints=38330 733.39/733.60 c nbDecision=108500 #constraints=38345 744.38/744.61 c nbDecision=109000 #constraints=38358 755.78/756.00 c nbDecision=109500 #constraints=38369 781.67/782.00 c nbDecision=110000 #constraints=38743 807.46/807.71 c nbDecision=110500 #constraints=38961 819.96/820.25 c nbDecision=111000 #constraints=39018 838.26/838.52 c nbDecision=111500 #constraints=39042 852.55/852.86 c nbDecision=112000 #constraints=39059 867.55/867.82 c nbDecision=112500 #constraints=39073 880.75/881.07 c nbDecision=113000 #constraints=39091 893.44/893.74 c nbDecision=113500 #constraints=39108 917.53/917.87 c nbDecision=114000 #constraints=39372 947.42/947.74 c nbDecision=114500 #constraints=39816 974.92/975.21 c nbDecision=115000 #constraints=40260 1005.61/1005.99 c nbDecision=115500 #constraints=40698 1011.91/1012.26 c nbDecision=116000 #constraints=40720 1018.10/1018.48 c nbDecision=116500 #constraints=40743 1022.70/1023.09 c nbDecision=117000 #constraints=40758 1027.80/1028.14 c nbDecision=117500 #constraints=40773 1036.70/1037.07 c nbDecision=118000 #constraints=40780 1044.39/1044.73 c nbDecision=118500 #constraints=40787 1051.89/1052.28 c nbDecision=119000 #constraints=40800 1062.29/1062.60 c nbDecision=119500 #constraints=40810 1071.19/1071.58 c nbDecision=120000 #constraints=40816 1080.88/1081.21 c nbDecision=120500 #constraints=40823 1090.58/1090.99 c nbDecision=121000 #constraints=40831 1101.48/1101.80 c nbDecision=121500 #constraints=40841 1113.78/1114.20 c nbDecision=122000 #constraints=40859 1131.27/1131.67 c nbDecision=122500 #constraints=40898 1155.36/1155.70 c nbDecision=123000 #constraints=40964 1186.86/1187.25 c nbDecision=123500 #constraints=41036 1210.35/1210.71 c nbDecision=124000 #constraints=41071 1232.44/1232.89 c nbDecision=124500 #constraints=41101 1247.43/1247.87 c nbDecision=125000 #constraints=41115 1260.74/1261.14 c nbDecision=125500 #constraints=41133 1277.73/1278.17 c nbDecision=126000 #constraints=41166 1291.73/1292.12 c nbDecision=126500 #constraints=41183 1309.92/1310.30 c nbDecision=127000 #constraints=41203 1325.31/1325.73 c nbDecision=127500 #constraints=41241 1331.61/1332.08 c nbDecision=128000 #constraints=41303 1339.11/1339.54 c nbDecision=128500 #constraints=41341 1345.41/1345.85 c nbDecision=129000 #constraints=41353 1356.01/1356.43 c nbDecision=129500 #constraints=41362 1364.51/1364.97 c nbDecision=130000 #constraints=41368 1376.00/1376.47 c nbDecision=130500 #constraints=41378 1386.70/1387.17 c nbDecision=131000 #constraints=41390 1397.60/1398.08 c nbDecision=131500 #constraints=41400 1407.19/1407.62 c nbDecision=132000 #constraints=41411 1415.99/1416.43 c nbDecision=132500 #constraints=41419 1424.39/1424.83 c nbDecision=133000 #constraints=41427 1434.38/1434.83 c nbDecision=133500 #constraints=41434 1444.68/1445.15 c nbDecision=134000 #constraints=41441 1454.78/1455.26 c nbDecision=134500 #constraints=41449 1464.17/1464.66 c nbDecision=135000 #constraints=41456 1475.27/1475.75 c nbDecision=135500 #constraints=41463 1485.97/1486.46 c nbDecision=136000 #constraints=41470 1495.67/1496.12 c nbDecision=136500 #constraints=41480 1508.06/1508.53 c nbDecision=137000 #constraints=41487 1517.96/1518.43 c nbDecision=137500 #constraints=41503 1528.66/1529.17 c nbDecision=138000 #constraints=41513 1541.15/1541.62 c nbDecision=138500 #constraints=41573 1555.54/1556.04 c nbDecision=139000 #constraints=41636 1574.25/1574.70 c nbDecision=139500 #constraints=41713 1594.64/1595.13 c nbDecision=140000 #constraints=41773 1619.43/1619.90 c nbDecision=140500 #constraints=41844 1648.22/1648.71 c nbDecision=141000 #constraints=41933 1678.11/1678.64 c nbDecision=141500 #constraints=42016 1719.70/1720.20 c nbDecision=142000 #constraints=42124 1776.18/1776.71 c nbDecision=142500 #constraints=42374 1800.09/1800.60 Received signal 15 1800.19/1800.73 1800.19/1800.73 s UNKNOWN 1800.19/1800.73 1800.19/1800.74 c user time= 1799.85 s 1800.19/1800.74 c system time= 0.373943 s 1800.19/1800.74 c wall clock time=1800.74
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/457607-1178370994/instance-457607-1178370994.opb mv /tmp/evaluation/457607-1178370994/instance-457607-1178370994.opb.tmp /tmp/evaluation/457607-1178370994/instance-457607-1178370994.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-457607-1178370994 -o ROOT/results/node2/solver-457607-1178370994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/457607-1178370994/instance-457607-1178370994.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: 1.20 1.05 0.97 3/77 27174 /proc/meminfo: memFree=1786112/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=1468 CPUtime=0 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 313137181 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 367 168 131 317 0 46 0 [startup+0.0265189 s] /proc/loadavg: 1.20 1.05 0.97 3/77 27174 /proc/meminfo: memFree=1786112/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=1996 CPUtime=0.02 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 300 0 0 0 2 0 0 0 18 0 1 0 313137181 2043904 283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 499 283 131 317 0 178 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1996 [startup+0.101526 s] /proc/loadavg: 1.20 1.05 0.97 3/77 27174 /proc/meminfo: memFree=1786112/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=3328 CPUtime=0.09 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 627 0 0 0 9 0 0 0 18 0 1 0 313137181 3407872 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 832 610 131 317 0 511 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3328 [startup+0.301546 s] /proc/loadavg: 1.20 1.05 0.97 3/77 27174 /proc/meminfo: memFree=1786112/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=14048 CPUtime=0.29 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 3324 0 0 0 28 1 0 0 19 0 1 0 313137181 14385152 3274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 3512 3275 137 317 0 3191 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14048 [startup+0.701588 s] /proc/loadavg: 1.20 1.05 0.97 3/77 27174 /proc/meminfo: memFree=1786112/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=16268 CPUtime=0.69 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 3897 0 0 0 68 1 0 0 23 0 1 0 313137181 16658432 3621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 4067 3621 139 317 0 3746 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16268 [startup+1.50167 s] /proc/loadavg: 1.20 1.05 0.97 2/78 27175 /proc/meminfo: memFree=1771896/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=16268 CPUtime=1.49 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 3897 0 0 0 148 1 0 0 25 0 1 0 313137181 16658432 3621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 4067 3621 139 317 0 3746 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16268 [startup+3.10184 s] /proc/loadavg: 1.18 1.05 0.97 2/78 27175 /proc/meminfo: memFree=1771768/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=16940 CPUtime=3.09 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 4065 0 0 0 308 1 0 0 25 0 1 0 313137181 17346560 3789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 4235 3789 139 317 0 3914 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16940 [startup+6.30117 s] /proc/loadavg: 1.18 1.05 0.97 2/78 27175 /proc/meminfo: memFree=1769656/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=18940 CPUtime=6.29 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 4543 0 0 0 627 2 0 0 25 0 1 0 313137181 19394560 4267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134603962 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 4735 4267 139 317 0 4414 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18940 [startup+12.7028 s] /proc/loadavg: 1.17 1.04 0.97 2/78 27175 /proc/meminfo: memFree=1766520/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=21740 CPUtime=12.69 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 5273 0 0 0 1267 2 0 0 25 0 1 0 313137181 22261760 4997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 5435 4997 139 317 0 5114 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21740 [startup+25.5012 s] /proc/loadavg: 1.13 1.04 0.97 2/78 27175 /proc/meminfo: memFree=1763384/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=24680 CPUtime=25.49 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 5992 0 0 0 2546 3 0 0 25 0 1 0 313137181 25272320 5716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 6170 5716 139 317 0 5849 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 24680 [startup+51.1018 s] /proc/loadavg: 1.08 1.04 0.97 2/78 27175 /proc/meminfo: memFree=1758584/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=29764 CPUtime=51.08 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 7258 0 0 0 5104 4 0 0 25 0 1 0 313137181 30478336 6982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 7441 6982 139 317 0 7120 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29764 [startup+102.305 s] /proc/loadavg: 1.03 1.03 0.97 2/78 27175 /proc/meminfo: memFree=1743928/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=44732 CPUtime=102.26 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 10856 0 0 0 10220 6 0 0 25 0 1 0 313137181 45805568 10580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 11183 10580 139 317 0 10862 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44732 [startup+162.301 s] /proc/loadavg: 1.01 1.02 0.97 2/78 27175 /proc/meminfo: memFree=1725880/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=62084 CPUtime=162.24 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 15332 0 0 0 16215 9 0 0 25 0 1 0 313137181 63574016 15056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 15521 15056 139 317 0 15200 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 62084 [startup+222.302 s] /proc/loadavg: 1.00 1.02 0.97 2/78 27175 /proc/meminfo: memFree=1718456/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=71008 CPUtime=222.23 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 17165 0 0 0 22212 11 0 0 25 0 1 0 313137181 72712192 16889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 17752 16889 139 317 0 17431 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 71008 [startup+282.302 s] /proc/loadavg: 1.00 1.01 0.97 2/78 27175 /proc/meminfo: memFree=1714168/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=75904 CPUtime=282.21 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 18239 0 0 0 28210 11 0 0 25 0 1 0 313137181 77725696 17963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 18976 17963 139 317 0 18655 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 75904 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1696376/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=93356 CPUtime=342.19 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 22683 0 0 0 34204 15 0 0 25 0 1 0 313137181 95596544 22407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 23339 22407 139 317 0 23018 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 93356 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1692152/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=97772 CPUtime=402.17 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 23776 0 0 0 40201 16 0 0 25 0 1 0 313137181 100118528 23500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 24443 23500 139 317 0 24122 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 97772 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1688056/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=101800 CPUtime=462.16 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 24782 0 0 0 46199 17 0 0 25 0 1 0 313137181 104243200 24506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 25450 24506 139 317 0 25129 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 101800 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1685688/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=103960 CPUtime=522.14 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 25354 0 0 0 52197 17 0 0 25 0 1 0 313137181 106455040 25078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 25990 25078 139 317 0 25669 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 103960 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1685624/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=103960 CPUtime=582.13 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 25360 0 0 0 58195 18 0 0 25 0 1 0 313137181 106455040 25084 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 25990 25084 139 317 0 25669 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 103960 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1685560/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=103960 CPUtime=642.11 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 25380 0 0 0 64193 18 0 0 25 0 1 0 313137181 106455040 25104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 25990 25104 139 317 0 25669 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 103960 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1673016/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=115920 CPUtime=882.04 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 28535 0 0 0 88182 22 0 0 25 0 1 0 313137181 118702080 28259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563360 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 28980 28259 139 317 0 28659 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 115920 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1658296/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=135116 CPUtime=942.03 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 32268 0 0 0 94179 24 0 0 25 0 1 0 313137181 138358784 31992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 33779 31992 139 317 0 33458 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 135116 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1637368/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=157428 CPUtime=1002.01 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 37439 0 0 0 100174 27 0 0 25 0 1 0 313137181 161206272 37163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 39357 37163 139 317 0 39036 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 157428 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1636600/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=158268 CPUtime=1061.99 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 37608 0 0 0 106172 27 0 0 25 0 1 0 313137181 162066432 37332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 39567 37332 139 317 0 39246 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 158268 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27175 /proc/meminfo: memFree=1636152/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=158808 CPUtime=1121.97 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 37727 0 0 0 112169 28 0 0 25 0 1 0 313137181 162619392 37451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 39702 37451 139 317 0 39381 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 158808 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1633272/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=161616 CPUtime=1181.96 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 38448 0 0 0 118167 29 0 0 25 0 1 0 313137181 165494784 38172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 40404 38172 139 317 0 40083 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 161616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1632120/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=162684 CPUtime=1241.94 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 38711 0 0 0 124165 29 0 0 25 0 1 0 313137181 166588416 38435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 40671 38435 139 317 0 40350 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 162684 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1631288/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=163480 CPUtime=1301.93 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 38919 0 0 0 130163 30 0 0 25 0 1 0 313137181 167403520 38643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 40870 38643 139 317 0 40549 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 163480 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1629048/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=165636 CPUtime=1361.91 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 39467 0 0 0 136160 31 0 0 25 0 1 0 313137181 169611264 39191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 41409 39191 139 317 0 41088 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 165636 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1628984/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=165636 CPUtime=1421.89 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 39468 0 0 0 142158 31 0 0 25 0 1 0 313137181 169611264 39192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 41409 39192 139 317 0 41088 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 165636 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1628984/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=165636 CPUtime=1481.87 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 39470 0 0 0 148155 32 0 0 25 0 1 0 313137181 169611264 39194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 41409 39194 139 317 0 41088 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 165636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1627640/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=166936 CPUtime=1541.85 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 39792 0 0 0 154153 32 0 0 25 0 1 0 313137181 170942464 39516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 41734 39516 139 317 0 41413 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 166936 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1623864/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=170752 CPUtime=1601.83 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 40744 0 0 0 160150 33 0 0 25 0 1 0 313137181 174850048 40468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 42688 40468 139 317 0 42367 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 170752 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1620728/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=173444 CPUtime=1661.82 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 41524 0 0 0 166148 34 0 0 25 0 1 0 313137181 177606656 41248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 43361 41248 139 317 0 43040 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 173444 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1617848/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=176664 CPUtime=1721.8 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 42255 0 0 0 172145 35 0 0 25 0 1 0 313137181 180903936 41979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 44166 41979 139 317 0 43845 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 176664 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1611832/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=182168 CPUtime=1781.79 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 43760 0 0 0 178142 37 0 0 25 0 1 0 313137181 186540032 43484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 45542 43484 139 317 0 45221 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 182168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1609400/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=184440 CPUtime=1800.09 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 44340 0 0 0 179972 37 0 0 25 0 1 0 313137181 188866560 44064 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 46110 44064 139 317 0 45789 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 184440 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 1.00 0.97 2/78 27177 /proc/meminfo: memFree=1609400/2055920 swapFree=4148884/4192956 [pid=27174] ppid=27172 vsize=184440 CPUtime=1800.19 /proc/27174/stat : 27174 (oree) R 27172 27174 24919 0 -1 4194304 44346 0 0 0 179982 37 0 0 25 0 1 0 313137181 188866560 44070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27174/statm: 46110 44070 139 317 0 45789 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 184440 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.27 CPU user time (s): 1799.87 CPU system time (s): 0.402938 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 184440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.402938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44362 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= 38098 runsolver used 1.3168 second user time and 4.01239 second system time The end
Begin job on node2 on Sat May 5 13:16:34 UTC 2007 IDJOB= 457607 IDBENCH= 48352 IDSOLVER= 172 FILE ID= node2/457607-1178370994 PBS_JOBID= 5188973 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_1_80.opb COMMAND LINE= oree /tmp/evaluation/457607-1178370994/instance-457607-1178370994.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-457607-1178370994 -o ROOT/results/node2/conversion-457607-1178370994 -C 600 -M 1800 /tmp/evaluation/457607-1178370994/substituteSizeProductKeyword /tmp/evaluation/457607-1178370994/instance-457607-1178370994.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-457607-1178370994 -o ROOT/results/node2/solver-457607-1178370994 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/457607-1178370994/instance-457607-1178370994.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 1315caae01d69a106b6850eece7eb42e RANDOM SEED= 906375637 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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: 1786520 kB Buffers: 36492 kB Cached: 141884 kB SwapCached: 12296 kB Active: 140684 kB Inactive: 64696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786520 kB SwapTotal: 4192956 kB SwapFree: 4148884 kB Dirty: 1724 kB Writeback: 0 kB Mapped: 34012 kB Slab: 49472 kB Committed_AS: 11675076 kB PageTables: 1872 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= 66563 MiB End job on node2 on Sat May 5 13:46:37 UTC 2007