Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.64 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb |
MD5SUM | 094943d5c572e297ea40a22e131cb082 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.186971 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7936 |
Total number of constraints | 324 |
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 | 324 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1920 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1873 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530542 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530542 |
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.07/0.09 c ...done 0.07/0.09 c #vars=7936 #constraints=393 hasObjective=yes 0.09/0.19 c res. mode=mod 0.09/0.19 c VSIDS like heuristics 0.09/0.19 c complete search running 0.19/0.22 c restart after 401 decisions 0.19/0.23 c nbDecision=500 #constraints=393 0.19/0.25 c restart after 801 decisions 0.19/0.26 c nbDecision=1000 #constraints=393 0.19/0.29 c nbDecision=1500 #constraints=393 0.19/0.29 c restart after 1601 decisions 0.29/0.32 c nbDecision=2000 #constraints=393 0.29/0.36 c nbDecision=2500 #constraints=393 0.29/0.39 c nbDecision=3000 #constraints=393 0.39/0.40 c restart after 3201 decisions 0.39/0.43 c nbDecision=3500 #constraints=394 0.39/0.46 c nbDecision=4000 #constraints=394 0.39/0.49 c nbDecision=4500 #constraints=394 0.49/0.51 c nbDecision=5000 #constraints=394 0.49/0.53 c nbDecision=5500 #constraints=394 1.49/1.51 c nbDecision=6000 #constraints=472 1.69/1.78 c restart after 6401 decisions 1.79/1.80 c nbDecision=6500 #constraints=499 1.79/1.83 c nbDecision=7000 #constraints=499 1.79/1.86 c nbDecision=7500 #constraints=499 1.79/1.89 c nbDecision=8000 #constraints=499 1.89/1.92 c nbDecision=8500 #constraints=499 1.89/1.99 c nbDecision=9000 #constraints=513 2.09/2.12 c nbDecision=9500 #constraints=541 2.19/2.28 c nbDecision=10000 #constraints=570 2.39/2.49 c nbDecision=10500 #constraints=612 2.69/2.71 c nbDecision=11000 #constraints=654 2.89/2.93 c nbDecision=11500 #constraints=696 2.99/3.09 c nbDecision=12000 #constraints=724 4.39/4.46 c nbDecision=12500 #constraints=870 5.29/5.31 c restart after 12801 decisions 5.29/5.35 c nbDecision=13000 #constraints=949 5.29/5.38 c nbDecision=13500 #constraints=949 5.39/5.41 c nbDecision=14000 #constraints=949 5.39/5.45 c nbDecision=14500 #constraints=949 5.39/5.49 c nbDecision=15000 #constraints=949 7.19/7.24 c nbDecision=15500 #constraints=1107 9.09/9.19 c nbDecision=16000 #constraints=1264 12.79/12.80 c nbDecision=16500 #constraints=1539 15.39/15.50 c nbDecision=17000 #constraints=1736 17.59/17.62 c nbDecision=17500 #constraints=1880 20.39/20.42 c nbDecision=18000 #constraints=2049 20.69/20.70 c nbDecision=18500 #constraints=2074 20.69/20.77 c nbDecision=19000 #constraints=2086 20.89/20.98 c nbDecision=19500 #constraints=2123 21.09/21.18 c nbDecision=20000 #constraints=2159 21.28/21.34 c nbDecision=20500 #constraints=2183 21.48/21.57 c nbDecision=21000 #constraints=2219 23.08/23.16 c nbDecision=21500 #constraints=2333 24.88/24.91 c nbDecision=22000 #constraints=2424 24.88/25.00 c nbDecision=22500 #constraints=2437 25.18/25.21 c nbDecision=23000 #constraints=2476 25.39/25.43 c nbDecision=23500 #constraints=2515 25.59/25.67 c nbDecision=24000 #constraints=2554 25.89/25.93 c nbDecision=24500 #constraints=2593 26.09/26.13 c nbDecision=25000 #constraints=2619 28.79/28.81 c nbDecision=25500 #constraints=2696 29.78/29.80 c restart after 25601 decisions 29.88/29.91 c nbDecision=26000 #constraints=2722 29.88/29.94 c nbDecision=26500 #constraints=2722 29.98/30.00 c nbDecision=27000 #constraints=2722 29.98/30.03 c nbDecision=27500 #constraints=2722 31.98/32.07 c nbDecision=28000 #constraints=2774 34.08/34.10 c nbDecision=28500 #constraints=2826 37.08/37.16 c nbDecision=29000 #constraints=2904 40.98/41.03 c nbDecision=29500 #constraints=3073 42.58/42.61 c nbDecision=30000 #constraints=3140 43.68/43.76 c nbDecision=30500 #constraints=3182 44.88/44.91 c nbDecision=31000 #constraints=3224 46.38/46.46 c nbDecision=31500 #constraints=3280 47.88/47.98 c nbDecision=32000 #constraints=3320 51.27/51.38 c nbDecision=32500 #constraints=3398 54.77/54.82 c nbDecision=33000 #constraints=3476 57.08/57.14 c nbDecision=33500 #constraints=3528 60.58/60.65 c nbDecision=34000 #constraints=3606 64.37/64.43 c nbDecision=34500 #constraints=3775 65.97/66.07 c nbDecision=35000 #constraints=3830 67.37/67.44 c nbDecision=35500 #constraints=3872 69.17/69.28 c nbDecision=36000 #constraints=3928 70.58/70.68 c nbDecision=36500 #constraints=3970 73.17/73.26 c nbDecision=37000 #constraints=4022 77.07/77.11 c nbDecision=37500 #constraints=4100 80.97/81.02 c nbDecision=38000 #constraints=4178 83.57/83.67 c nbDecision=38500 #constraints=4230 88.16/88.24 c nbDecision=39000 #constraints=4360 91.27/91.39 c nbDecision=39500 #constraints=4478 92.87/92.96 c nbDecision=40000 #constraints=4520 94.97/95.07 c nbDecision=40500 #constraints=4576 96.56/96.66 c nbDecision=41000 #constraints=4618 99.06/99.15 c nbDecision=41500 #constraints=4672 101.96/102.07 c nbDecision=42000 #constraints=4724 106.37/106.42 c nbDecision=42500 #constraints=4802 110.76/110.89 c nbDecision=43000 #constraints=4880 113.86/113.92 c nbDecision=43500 #constraints=4932 119.86/119.97 c nbDecision=44000 #constraints=5127 121.46/121.52 c nbDecision=44500 #constraints=5168 123.86/123.90 c nbDecision=45000 #constraints=5224 125.66/125.72 c nbDecision=45500 #constraints=5266 127.46/127.56 c nbDecision=46000 #constraints=5308 131.36/131.45 c nbDecision=46500 #constraints=5374 136.26/136.39 c nbDecision=47000 #constraints=5452 139.66/139.75 c nbDecision=47500 #constraints=5504 144.76/144.80 c nbDecision=48000 #constraints=5582 148.15/148.28 c nbDecision=48500 #constraints=5634 153.55/153.65 c nbDecision=49000 #constraints=5816 155.55/155.66 c nbDecision=49500 #constraints=5858 158.25/158.32 c nbDecision=50000 #constraints=5914 160.24/160.37 c nbDecision=50500 #constraints=5956 162.34/162.45 c nbDecision=51000 #constraints=5998 164.14/164.26 c restart after 51201 decisions 164.44/164.59 c nbDecision=51500 #constraints=6024 164.54/164.62 c nbDecision=52000 #constraints=6024 164.64/164.74 c nbDecision=52500 #constraints=6024 164.64/164.78 c nbDecision=53000 #constraints=6024 166.54/166.69 c nbDecision=53500 #constraints=6050 172.15/172.28 c nbDecision=54000 #constraints=6128 175.95/176.06 c nbDecision=54500 #constraints=6180 181.65/181.74 c nbDecision=55000 #constraints=6258 185.94/186.04 c nbDecision=55500 #constraints=6323 191.24/191.38 c nbDecision=56000 #constraints=6492 194.24/194.33 c nbDecision=56500 #constraints=6548 196.44/196.56 c nbDecision=57000 #constraints=6590 199.44/199.58 c nbDecision=57500 #constraints=6646 201.03/201.19 c nbDecision=58000 #constraints=6674 207.14/207.23 c nbDecision=58500 #constraints=6752 213.34/213.47 c nbDecision=59000 #constraints=6830 217.53/217.67 c nbDecision=59500 #constraints=6882 223.84/223.99 c nbDecision=60000 #constraints=6960 231.33/231.43 c nbDecision=60500 #constraints=7142 233.83/233.96 c nbDecision=61000 #constraints=7196 236.23/236.38 c nbDecision=61500 #constraints=7238 238.73/238.84 c nbDecision=62000 #constraints=7280 242.03/242.16 c nbDecision=62500 #constraints=7336 247.33/247.44 c nbDecision=63000 #constraints=7402 251.92/252.01 c nbDecision=63500 #constraints=7454 258.72/258.85 c nbDecision=64000 #constraints=7532 263.32/263.48 c nbDecision=64500 #constraints=7584 270.43/270.50 c nbDecision=65000 #constraints=7662 276.91/277.08 c nbDecision=65500 #constraints=7844 279.52/279.67 c nbDecision=66000 #constraints=7886 282.22/282.30 c nbDecision=66500 #constraints=7928 285.71/285.88 c nbDecision=67000 #constraints=7984 288.51/288.65 c nbDecision=67500 #constraints=8026 295.82/295.94 c nbDecision=68000 #constraints=8104 300.82/300.90 c nbDecision=68500 #constraints=8156 308.22/308.37 c nbDecision=69000 #constraints=8234 313.32/313.50 c nbDecision=69500 #constraints=8286 321.81/321.95 c nbDecision=70000 #constraints=8429 326.30/326.40 c nbDecision=70500 #constraints=8534 329.10/329.21 c nbDecision=71000 #constraints=8576 332.90/333.03 c nbDecision=71500 #constraints=8632 335.80/335.95 c nbDecision=72000 #constraints=8674 340.41/340.51 c nbDecision=72500 #constraints=8728 348.20/348.39 c nbDecision=73000 #constraints=8806 353.60/353.76 c nbDecision=73500 #constraints=8858 361.70/361.81 c nbDecision=74000 #constraints=8936 369.79/369.93 c nbDecision=74500 #constraints=9014 376.69/376.82 c nbDecision=75000 #constraints=9183 379.20/379.35 c nbDecision=75500 #constraints=9224 383.19/383.34 c nbDecision=76000 #constraints=9280 386.29/386.43 c nbDecision=76500 #constraints=9322 389.39/389.60 c nbDecision=77000 #constraints=9364 396.09/396.28 c nbDecision=77500 #constraints=9430 404.59/404.74 c nbDecision=78000 #constraints=9508 410.39/410.51 c nbDecision=78500 #constraints=9560 418.99/419.18 c nbDecision=79000 #constraints=9638 425.49/425.60 c nbDecision=79500 #constraints=9703 432.68/432.83 c nbDecision=80000 #constraints=9872 436.87/437.05 c nbDecision=80500 #constraints=9928 440.07/440.29 c nbDecision=81000 #constraints=9970 443.37/443.59 c nbDecision=81500 #constraints=10012 446.87/447.00 c nbDecision=82000 #constraints=10054 455.77/455.97 c nbDecision=82500 #constraints=10132 464.88/465.03 c nbDecision=83000 #constraints=10210 470.97/471.19 c nbDecision=83500 #constraints=10262 480.27/480.46 c nbDecision=84000 #constraints=10340 490.37/490.53 c nbDecision=84500 #constraints=10522 493.77/493.99 c nbDecision=85000 #constraints=10576 497.16/497.37 c nbDecision=85500 #constraints=10618 500.66/500.82 c nbDecision=86000 #constraints=10660 505.36/505.52 c nbDecision=86500 #constraints=10716 509.76/509.99 c nbDecision=87000 #constraints=10756 519.26/519.48 c nbDecision=87500 #constraints=10834 528.96/529.15 c nbDecision=88000 #constraints=10912 535.56/535.71 c nbDecision=88500 #constraints=10964 545.25/545.47 c nbDecision=89000 #constraints=11042 545.25/545.50 c nbDecision=89500 #constraints=11042 550.25/550.47 c nbDecision=90000 #constraints=11146 555.14/555.37 c nbDecision=90500 #constraints=11238 559.85/560.09 c nbDecision=91000 #constraints=11294 563.55/563.73 c nbDecision=91500 #constraints=11336 567.25/567.46 c nbDecision=92000 #constraints=11378 573.14/573.36 c nbDecision=92500 #constraints=11432 583.24/583.45 c nbDecision=93000 #constraints=11510 590.04/590.29 c nbDecision=93500 #constraints=11562 600.34/600.59 c nbDecision=94000 #constraints=11640 607.24/607.47 c nbDecision=94500 #constraints=11692 607.34/607.51 c nbDecision=95000 #constraints=11692 610.83/611.04 c nbDecision=95500 #constraints=11718 610.83/611.07 c nbDecision=96000 #constraints=11718 611.13/611.32 c nbDecision=96500 #constraints=11718 626.12/626.34 c nbDecision=97000 #constraints=11997 657.62/657.88 c nbDecision=97500 #constraints=12501 679.11/679.34 c nbDecision=98000 #constraints=12823 691.82/692.09 c nbDecision=98500 #constraints=13005 692.11/692.31 c nbDecision=99000 #constraints=13017 692.82/693.03 c nbDecision=99500 #constraints=13055 693.92/694.14 c nbDecision=100000 #constraints=13086 696.41/696.66 c nbDecision=100500 #constraints=13140 698.71/698.98 c nbDecision=101000 #constraints=13181 703.31/703.51 c nbDecision=101500 #constraints=13250 705.40/705.60 c nbDecision=102000 #constraints=13275 705.40/705.69 c restart after 102401 decisions 706.31/706.52 c nbDecision=102500 #constraints=13288 706.51/706.70 c nbDecision=103000 #constraints=13288 706.61/706.87 c nbDecision=103500 #constraints=13288 706.80/707.04 c nbDecision=104000 #constraints=13288 707.01/707.21 c nbDecision=104500 #constraints=13288 711.60/711.89 c nbDecision=105000 #constraints=13340 725.10/725.30 c nbDecision=105500 #constraints=13421 734.19/734.48 c nbDecision=106000 #constraints=13475 747.89/748.15 c nbDecision=106500 #constraints=13556 761.69/761.98 c nbDecision=107000 #constraints=13637 772.89/773.11 c nbDecision=107500 #constraints=13727 786.59/786.83 c nbDecision=108000 #constraints=13808 800.48/800.71 c nbDecision=108500 #constraints=13889 814.47/814.72 c nbDecision=109000 #constraints=13970 828.58/828.81 c nbDecision=109500 #constraints=14051 839.77/840.07 c nbDecision=110000 #constraints=14141 853.86/854.12 c nbDecision=110500 #constraints=14222 867.96/868.24 c nbDecision=111000 #constraints=14303 882.15/882.45 c nbDecision=111500 #constraints=14384 891.86/892.13 c nbDecision=112000 #constraints=14438 908.05/908.30 c nbDecision=112500 #constraints=14555 922.25/922.58 c nbDecision=113000 #constraints=14636 931.94/932.27 c nbDecision=113500 #constraints=14690 946.45/946.74 c nbDecision=114000 #constraints=14771 961.04/961.38 c nbDecision=114500 #constraints=14852 977.43/977.73 c nbDecision=115000 #constraints=14969 987.23/987.51 c nbDecision=115500 #constraints=15023 1001.83/1002.19 c nbDecision=116000 #constraints=15104 1016.73/1017.01 c nbDecision=116500 #constraints=15185 1031.62/1031.93 c nbDecision=117000 #constraints=15266 1046.31/1046.63 c nbDecision=117500 #constraints=15370 1058.11/1058.47 c nbDecision=118000 #constraints=15437 1073.11/1073.44 c nbDecision=118500 #constraints=15518 1088.20/1088.50 c nbDecision=119000 #constraints=15599 1103.30/1103.63 c nbDecision=119500 #constraints=15680 1118.26/1118.67 c nbDecision=120000 #constraints=15784 1130.34/1130.73 c nbDecision=120500 #constraints=15851 1145.42/1145.89 c nbDecision=121000 #constraints=15932 1155.81/1156.26 c nbDecision=121500 #constraints=15986 1171.29/1171.72 c nbDecision=122000 #constraints=16067 1191.49/1191.97 c nbDecision=122500 #constraints=16198 1198.69/1199.15 c nbDecision=123000 #constraints=16238 1214.18/1214.63 c nbDecision=123500 #constraints=16319 1229.78/1230.21 c nbDecision=124000 #constraints=16400 1245.47/1245.92 c nbDecision=124500 #constraints=16481 1260.27/1260.76 c nbDecision=125000 #constraints=16570 1273.27/1273.76 c nbDecision=125500 #constraints=16652 1288.96/1289.44 c nbDecision=126000 #constraints=16733 1304.76/1305.24 c nbDecision=126500 #constraints=16814 1320.66/1321.17 c nbDecision=127000 #constraints=16895 1331.46/1331.98 c nbDecision=127500 #constraints=16949 1348.85/1349.36 c nbDecision=128000 #constraints=17066 1364.84/1365.32 c nbDecision=128500 #constraints=17147 1375.64/1376.15 c nbDecision=129000 #constraints=17201 1391.74/1392.28 c nbDecision=129500 #constraints=17282 1408.14/1408.64 c nbDecision=130000 #constraints=17363 1425.63/1426.14 c nbDecision=130500 #constraints=17480 1436.52/1437.09 c nbDecision=131000 #constraints=17534 1452.93/1453.43 c nbDecision=131500 #constraints=17615 1469.32/1469.88 c nbDecision=132000 #constraints=17696 1486.01/1486.52 c nbDecision=132500 #constraints=17777 1498.41/1498.91 c nbDecision=133000 #constraints=17867 1514.91/1515.40 c nbDecision=133500 #constraints=17948 1531.50/1532.00 c nbDecision=134000 #constraints=18029 1548.20/1548.75 c nbDecision=134500 #constraints=18110 1565.00/1565.56 c nbDecision=135000 #constraints=18191 1577.59/1578.19 c nbDecision=135500 #constraints=18281 1594.39/1594.97 c nbDecision=136000 #constraints=18362 1611.18/1611.76 c nbDecision=136500 #constraints=18443 1622.58/1623.19 c nbDecision=137000 #constraints=18497 1639.77/1640.32 c nbDecision=137500 #constraints=18578 1645.38/1645.98 c nbDecision=138000 #constraints=18605 1656.07/1656.64 c nbDecision=138500 #constraints=18682 1669.57/1670.12 c nbDecision=139000 #constraints=18749 1686.56/1687.14 c nbDecision=139500 #constraints=18830 1698.15/1698.76 c nbDecision=140000 #constraints=18884 1715.56/1716.13 c nbDecision=140500 #constraints=18965 1721.25/1721.85 c nbDecision=141000 #constraints=18992 1727.15/1727.70 c nbDecision=141500 #constraints=19019 1727.35/1727.92 c nbDecision=142000 #constraints=19019 1742.74/1743.38 c nbDecision=142500 #constraints=19228 1783.83/1784.43 c nbDecision=143000 #constraints=19732 1800.04/1800.60 Received signal 15 1800.53/1801.14 1800.53/1801.14 s UNKNOWN 1800.53/1801.14 1800.53/1801.14 c user time= 1800.1 s 1800.53/1801.14 c system time= 0.481926 s 1800.53/1801.14 c wall clock time=1801.14
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-362440-1176846156 -o ROOT/results/node63/solver-362440-1176846156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362440-1176846156/instance-362440-1176846156.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.92 0.97 0.96 3/64 21658 /proc/meminfo: memFree=1726788/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=1620 CPUtime=0 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160605538 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 405 175 126 317 0 84 0 [startup+0.0818309 s] /proc/loadavg: 0.92 0.97 0.96 3/64 21658 /proc/meminfo: memFree=1726788/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=2980 CPUtime=0.07 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 555 0 0 0 7 0 0 0 18 0 1 0 160605538 3051520 537 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 745 537 131 317 0 424 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2980 [startup+0.101833 s] /proc/loadavg: 0.92 0.97 0.96 3/64 21658 /proc/meminfo: memFree=1726788/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=3960 CPUtime=0.09 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 793 0 0 0 9 0 0 0 18 0 1 0 160605538 4055040 775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 990 775 137 317 0 669 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3960 [startup+0.301855 s] /proc/loadavg: 0.92 0.97 0.96 3/64 21658 /proc/meminfo: memFree=1726788/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=4224 CPUtime=0.29 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 860 0 0 0 29 0 0 0 19 0 1 0 160605538 4325376 842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 1056 842 138 317 0 735 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4224 [startup+0.701897 s] /proc/loadavg: 0.92 0.97 0.96 3/64 21658 /proc/meminfo: memFree=1726788/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=5524 CPUtime=0.69 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 1193 0 0 0 69 0 0 0 22 0 1 0 160605538 5656576 1175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284176 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 1381 1175 139 317 0 1060 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5524 [startup+1.50198 s] /proc/loadavg: 0.92 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1720316/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=10896 CPUtime=1.49 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 2539 0 0 0 149 0 0 0 25 0 1 0 160605538 11157504 2521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710753 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 2724 2521 139 317 0 2403 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10896 [startup+3.10115 s] /proc/loadavg: 0.92 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1715708/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=14236 CPUtime=3.09 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 3375 0 0 0 308 1 0 0 25 0 1 0 160605538 14577664 3357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 3559 3357 139 317 0 3238 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14236 [startup+6.30149 s] /proc/loadavg: 0.93 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1711164/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=17804 CPUtime=6.29 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 4256 0 0 0 628 1 0 0 25 0 1 0 160605538 18231296 4238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 4451 4238 139 317 0 4130 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17804 [startup+12.7012 s] /proc/loadavg: 0.93 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1705468/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=23416 CPUtime=12.69 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 5609 0 0 0 1267 2 0 0 25 0 1 0 160605538 23977984 5591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 5854 5591 139 317 0 5533 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23416 [startup+25.5015 s] /proc/loadavg: 0.95 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1694020/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=34364 CPUtime=25.49 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 8382 0 0 0 2545 4 0 0 25 0 1 0 160605538 35188736 8364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 8591 8364 139 317 0 8270 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34364 [startup+51.1012 s] /proc/loadavg: 0.96 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1680324/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=48060 CPUtime=51.07 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 11716 0 0 0 5102 5 0 0 25 0 1 0 160605538 49213440 11698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604108 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 12015 11698 139 317 0 11694 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48060 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1660036/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=68164 CPUtime=102.26 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 16743 0 0 0 10218 8 0 0 25 0 1 0 160605538 69799936 16725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 17041 16725 139 317 0 16720 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 68164 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1638980/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=90996 CPUtime=162.24 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 22036 0 0 0 16213 11 0 0 25 0 1 0 160605538 93179904 22018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 22749 22018 139 317 0 22428 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 90996 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1625732/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=103448 CPUtime=222.24 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 25300 0 0 0 22210 14 0 0 25 0 1 0 160605538 105930752 25282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 25862 25282 139 317 0 25541 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 103448 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1610436/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=119388 CPUtime=282.22 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 29158 0 0 0 28206 16 0 0 25 0 1 0 160605538 122253312 29140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 29847 29140 139 317 0 29526 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 119388 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1598148/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=131800 CPUtime=342.21 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 32231 0 0 0 34203 18 0 0 25 0 1 0 160605538 134963200 32155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278952 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 32950 32155 139 317 0 32629 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 131800 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1583556/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=150836 CPUtime=402.18 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 35886 0 0 0 40199 19 0 0 25 0 1 0 160605538 154456064 35810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 37709 35810 139 317 0 37388 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 150836 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1573828/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=159868 CPUtime=462.18 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 38309 0 0 0 46197 21 0 0 25 0 1 0 160605538 163704832 38233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 39967 38233 139 317 0 39646 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 159868 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1564740/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=168472 CPUtime=522.16 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 40590 0 0 0 52194 22 0 0 25 0 1 0 160605538 172515328 40514 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 42118 40514 139 317 0 41797 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 168472 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1554180/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=178332 CPUtime=582.14 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 43193 0 0 0 58190 24 0 0 25 0 1 0 160605538 182611968 43117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 44583 43117 139 317 0 44262 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 178332 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1542084/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=190668 CPUtime=642.13 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 46207 0 0 0 64188 25 0 0 25 0 1 0 160605538 195244032 46131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 47667 46131 139 317 0 47346 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 190668 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1502276/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=229232 CPUtime=942.05 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 56131 0 0 0 94174 31 0 0 25 0 1 0 160605538 234733568 56055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 57308 56055 139 317 0 56987 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 229232 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1493508/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=240780 CPUtime=1002.03 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 58292 0 0 0 100171 32 0 0 25 0 1 0 160605538 246558720 58216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 60195 58216 139 317 0 59874 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 240780 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21659 /proc/meminfo: memFree=1488068/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=246048 CPUtime=1062.01 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 59677 0 0 0 106168 33 0 0 25 0 1 0 160605538 251953152 59601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 61512 59601 139 317 0 61191 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 246048 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/71 21767 /proc/meminfo: memFree=1480724/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=251256 CPUtime=1121.96 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 61165 0 0 0 112161 35 0 0 25 0 1 0 160605538 257286144 61089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 62814 61089 139 317 0 62493 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 251256 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1476868/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=256096 CPUtime=1181.89 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 62404 0 0 0 118154 35 0 0 25 0 1 0 160605538 262242304 62328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 64024 62328 139 317 0 63703 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 256096 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1471492/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=261192 CPUtime=1241.87 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 63769 0 0 0 124151 36 0 0 25 0 1 0 160605538 267460608 63693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 65298 63693 139 317 0 64977 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 261192 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1465924/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=266708 CPUtime=1301.87 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 65244 0 0 0 130150 37 0 0 25 0 1 0 160605538 273108992 65054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 66677 65054 139 317 0 66356 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 266708 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1460484/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=271652 CPUtime=1361.84 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 66602 0 0 0 136146 38 0 0 25 0 1 0 160605538 278171648 66412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 67913 66412 139 317 0 67592 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 271652 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1452932/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=288212 CPUtime=1421.83 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 70137 0 0 0 142143 40 0 0 25 0 1 0 160605538 295129088 68297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 72053 68297 139 317 0 71732 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 288212 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1448196/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=292632 CPUtime=1481.81 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 71340 0 0 0 148140 41 0 0 25 0 1 0 160605538 299655168 69500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 73158 69500 139 317 0 72837 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 292632 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1442244/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=299036 CPUtime=1541.8 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 72784 0 0 0 154138 42 0 0 25 0 1 0 160605538 306212864 70944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 74759 70944 139 317 0 74438 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 299036 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 3/65 21857 /proc/meminfo: memFree=1433348/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=311268 CPUtime=1601.78 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 75033 0 0 0 160134 44 0 0 25 0 1 0 160605538 318738432 73193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 77817 73193 139 317 0 77496 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 311268 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1428228/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=315824 CPUtime=1661.77 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 76293 0 0 0 166132 45 0 0 25 0 1 0 160605538 323403776 74453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 78956 74453 139 317 0 78635 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 315824 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1423620/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=319960 CPUtime=1721.75 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 77450 0 0 0 172129 46 0 0 25 0 1 0 160605538 327639040 75610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 79990 75610 139 317 0 79669 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 319960 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1412228/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=330908 CPUtime=1781.74 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 80313 0 0 0 178127 47 0 0 25 0 1 0 160605538 338849792 78473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 82727 78473 139 317 0 82406 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 330908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1408836/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=333960 CPUtime=1800.04 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 81150 0 0 0 179956 48 0 0 25 0 1 0 160605538 341975040 79310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 83490 79310 139 317 0 83169 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 333960 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.96 2/65 21857 /proc/meminfo: memFree=1408836/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=333960 CPUtime=1800.43 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 81159 0 0 0 179995 48 0 0 25 0 1 0 160605538 341975040 79319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 83490 79319 139 317 0 83169 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 333960 [startup+1801.1 s] /proc/loadavg: 0.99 0.97 0.96 2/65 21857 /proc/meminfo: memFree=1408836/2055920 swapFree=4168472/4192956 [pid=21658] ppid=21656 vsize=333960 CPUtime=1800.53 /proc/21658/stat : 21658 (oree) R 21656 21658 20702 0 -1 4194304 81165 0 0 0 180005 48 0 0 25 0 1 0 160605538 341975040 79325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21658/statm: 83490 79325 139 317 0 83169 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (KiB) 333960 Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.64 CPU user time (s): 1800.1 CPU system time (s): 0.534918 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 333960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.534918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81181 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= 3014 runsolver used 1.3038 second user time and 3.69044 second system time The end
Begin job on node63 on Tue Apr 17 21:42:36 UTC 2007 IDJOB= 362440 IDBENCH= 1560 IDSOLVER= 172 FILE ID= node63/362440-1176846156 PBS_JOBID= 4590169 Free space on /tmp= 66506 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb COMMAND LINE= oree /tmp/evaluation/362440-1176846156/instance-362440-1176846156.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-362440-1176846156 -o ROOT/results/node63/solver-362440-1176846156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362440-1176846156/instance-362440-1176846156.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 094943d5c572e297ea40a22e131cb082 RANDOM SEED= 996341343 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1727196 kB Buffers: 27168 kB Cached: 238904 kB SwapCached: 18916 kB Active: 174052 kB Inactive: 116508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1727196 kB SwapTotal: 4192956 kB SwapFree: 4168472 kB Dirty: 1596 kB Writeback: 0 kB Mapped: 15388 kB Slab: 24172 kB Committed_AS: 1947872 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= 66506 MiB End job on node63 on Tue Apr 17 22:12:39 UTC 2007