Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.31 | 1800.92 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb |
MD5SUM | c68fa68a808b234260c8cfaf77f6d655 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3763 |
Total number of constraints | 453 |
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 | 453 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 138 |
Number of terms in the objective function | 1925 |
Biggest coefficient in the objective function | 3604480000000000 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 349617145499934465 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 1200000000000000000000 |
Number of bits of the biggest number in a constraint | 71 |
Biggest sum of numbers in a constraint | 4359960937500000284217 |
Number of bits of the biggest sum of numbers | 72 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.06 c ...done 0.00/0.06 c #vars=3763 #constraints=625 hasObjective=yes 0.00/0.08 c res. mode=mod 0.00/0.08 c VSIDS like heuristics 0.00/0.08 c complete search running 0.09/0.13 c restart after 401 decisions 0.09/0.14 c nbDecision=500 #constraints=649 0.49/0.50 c restart after 801 decisions 0.49/0.53 c nbDecision=1000 #constraints=840 0.79/0.86 c nbDecision=1500 #constraints=1039 0.89/0.93 c restart after 1601 decisions 1.19/1.23 c nbDecision=2000 #constraints=1205 2.09/2.17 c nbDecision=2500 #constraints=1538 3.39/3.50 c nbDecision=3000 #constraints=1853 3.99/4.07 c restart after 3201 decisions 4.39/4.50 c nbDecision=3500 #constraints=2044 6.09/6.17 c nbDecision=4000 #constraints=2351 8.29/8.35 c nbDecision=4500 #constraints=2679 10.99/11.06 c nbDecision=5000 #constraints=2978 14.49/14.56 c nbDecision=5500 #constraints=3274 18.49/18.55 c nbDecision=6000 #constraints=3595 21.88/21.94 c restart after 6401 decisions 22.09/22.11 c nbDecision=6500 #constraints=3849 23.78/23.80 c nbDecision=7000 #constraints=3940 23.88/23.91 c nbDecision=7500 #constraints=3991 23.98/24.05 c nbDecision=8000 #constraints=4068 24.08/24.18 c nbDecision=8500 #constraints=4124 24.28/24.31 c nbDecision=9000 #constraints=4180 24.38/24.45 c nbDecision=9500 #constraints=4236 24.49/24.58 c nbDecision=10000 #constraints=4286 24.69/24.72 c nbDecision=10500 #constraints=4336 24.79/24.85 c nbDecision=11000 #constraints=4381 24.89/24.99 c nbDecision=11500 #constraints=4434 25.09/25.18 c nbDecision=12000 #constraints=4513 25.39/25.48 c nbDecision=12500 #constraints=4656 25.59/25.62 c restart after 12801 decisions 25.89/25.91 c nbDecision=13000 #constraints=4705 26.09/26.14 c nbDecision=13500 #constraints=4769 26.29/26.31 c nbDecision=14000 #constraints=4816 26.39/26.50 c nbDecision=14500 #constraints=4870 26.68/26.71 c nbDecision=15000 #constraints=4925 26.88/26.92 c nbDecision=15500 #constraints=4982 27.08/27.15 c nbDecision=16000 #constraints=5045 27.28/27.39 c nbDecision=16500 #constraints=5107 27.59/27.65 c nbDecision=17000 #constraints=5198 27.88/27.91 c nbDecision=17500 #constraints=5271 28.18/28.25 c nbDecision=18000 #constraints=5382 28.48/28.52 c nbDecision=18500 #constraints=5447 28.78/28.80 c nbDecision=19000 #constraints=5506 29.18/29.24 c nbDecision=19500 #constraints=5646 29.58/29.67 c nbDecision=20000 #constraints=5755 29.98/30.00 c nbDecision=20500 #constraints=5809 30.28/30.30 c nbDecision=21000 #constraints=5858 30.58/30.63 c nbDecision=21500 #constraints=5944 30.88/30.96 c nbDecision=22000 #constraints=6014 31.28/31.38 c nbDecision=22500 #constraints=6101 31.68/31.78 c nbDecision=23000 #constraints=6152 32.08/32.12 c nbDecision=23500 #constraints=6199 32.38/32.47 c nbDecision=24000 #constraints=6246 32.78/32.87 c nbDecision=24500 #constraints=6304 33.18/33.30 c nbDecision=25000 #constraints=6364 33.78/33.80 c nbDecision=25500 #constraints=6433 33.88/33.93 c restart after 25601 decisions 34.38/34.41 c nbDecision=26000 #constraints=6477 34.78/34.83 c nbDecision=26500 #constraints=6523 35.38/35.41 c nbDecision=27000 #constraints=6633 36.08/36.19 c nbDecision=27500 #constraints=6810 37.28/37.39 c nbDecision=28000 #constraints=7142 38.58/38.66 c nbDecision=28500 #constraints=7419 39.98/40.01 c nbDecision=29000 #constraints=7691 41.28/41.38 c nbDecision=29500 #constraints=7865 43.08/43.10 c nbDecision=30000 #constraints=8062 44.68/44.76 c nbDecision=30500 #constraints=8372 46.37/46.44 c nbDecision=31000 #constraints=8592 48.88/48.93 c nbDecision=31500 #constraints=8890 51.38/51.44 c nbDecision=32000 #constraints=9150 54.48/54.58 c nbDecision=32500 #constraints=9279 58.17/58.20 c nbDecision=33000 #constraints=9593 60.77/60.86 c nbDecision=33500 #constraints=9958 64.48/64.50 c nbDecision=34000 #constraints=10337 68.07/68.14 c nbDecision=34500 #constraints=10665 71.87/71.96 c nbDecision=35000 #constraints=11008 77.87/77.91 c nbDecision=35500 #constraints=11368 81.27/81.30 c nbDecision=36000 #constraints=11695 85.77/85.89 c nbDecision=36500 #constraints=12042 91.77/91.81 c nbDecision=37000 #constraints=12378 97.56/97.65 c nbDecision=37500 #constraints=12733 101.46/101.50 c nbDecision=38000 #constraints=12925 107.26/107.31 c nbDecision=38500 #constraints=13244 113.56/113.61 c nbDecision=39000 #constraints=13574 120.86/120.95 c nbDecision=39500 #constraints=13670 127.56/127.64 c nbDecision=40000 #constraints=13738 134.45/134.50 c nbDecision=40500 #constraints=13809 139.85/139.92 c nbDecision=41000 #constraints=13860 146.65/146.77 c nbDecision=41500 #constraints=13929 155.35/155.47 c nbDecision=42000 #constraints=14031 169.05/169.14 c nbDecision=42500 #constraints=14238 183.84/183.93 c nbDecision=43000 #constraints=14471 198.03/198.11 c nbDecision=43500 #constraints=14702 211.33/211.41 c nbDecision=44000 #constraints=14956 224.23/224.33 c nbDecision=44500 #constraints=15237 238.32/238.44 c nbDecision=45000 #constraints=15581 253.32/253.44 c nbDecision=45500 #constraints=15950 262.22/262.38 c nbDecision=46000 #constraints=16269 276.41/276.60 c nbDecision=46500 #constraints=16581 291.41/291.56 c nbDecision=47000 #constraints=16896 309.31/309.46 c nbDecision=47500 #constraints=17262 318.80/318.91 c nbDecision=48000 #constraints=17337 330.60/330.78 c nbDecision=48500 #constraints=17446 344.39/344.58 c nbDecision=49000 #constraints=17612 362.79/362.95 c nbDecision=49500 #constraints=17850 383.48/383.66 c nbDecision=50000 #constraints=18181 405.57/405.78 c nbDecision=50500 #constraints=18562 415.58/415.78 c nbDecision=51000 #constraints=18894 421.68/421.82 c restart after 51201 decisions 423.18/423.38 c nbDecision=51500 #constraints=19062 446.47/446.68 c nbDecision=52000 #constraints=19325 467.66/467.81 c nbDecision=52500 #constraints=19666 480.96/481.12 c nbDecision=53000 #constraints=19986 482.26/482.45 c nbDecision=53500 #constraints=20090 482.55/482.79 c nbDecision=54000 #constraints=20230 482.96/483.13 c nbDecision=54500 #constraints=20350 483.36/483.52 c nbDecision=55000 #constraints=20496 483.66/483.87 c nbDecision=55500 #constraints=20610 484.06/484.28 c nbDecision=56000 #constraints=20744 484.46/484.69 c nbDecision=56500 #constraints=20855 485.06/485.23 c nbDecision=57000 #constraints=20970 485.35/485.58 c nbDecision=57500 #constraints=21053 485.86/486.09 c nbDecision=58000 #constraints=21140 486.96/487.11 c nbDecision=58500 #constraints=21282 488.16/488.32 c nbDecision=59000 #constraints=21407 489.56/489.79 c nbDecision=59500 #constraints=21525 490.75/490.91 c nbDecision=60000 #constraints=21651 491.95/492.12 c nbDecision=60500 #constraints=21760 492.85/493.09 c nbDecision=61000 #constraints=21865 494.16/494.37 c nbDecision=61500 #constraints=21991 495.06/495.29 c nbDecision=62000 #constraints=22121 497.06/497.28 c nbDecision=62500 #constraints=22257 498.45/498.63 c nbDecision=63000 #constraints=22377 499.55/499.77 c nbDecision=63500 #constraints=22467 501.26/501.43 c nbDecision=64000 #constraints=22557 502.25/502.49 c nbDecision=64500 #constraints=22654 504.25/504.43 c nbDecision=65000 #constraints=22754 505.95/506.11 c nbDecision=65500 #constraints=22850 508.25/508.42 c nbDecision=66000 #constraints=22948 509.64/509.81 c nbDecision=66500 #constraints=23035 511.75/511.94 c nbDecision=67000 #constraints=23146 513.55/513.78 c nbDecision=67500 #constraints=23249 515.95/516.18 c nbDecision=68000 #constraints=23371 517.95/518.18 c nbDecision=68500 #constraints=23469 520.04/520.22 c nbDecision=69000 #constraints=23589 522.25/522.40 c nbDecision=69500 #constraints=23706 524.35/524.50 c nbDecision=70000 #constraints=23822 526.54/526.73 c nbDecision=70500 #constraints=23936 528.34/528.58 c nbDecision=71000 #constraints=24028 531.05/531.29 c nbDecision=71500 #constraints=24145 533.25/533.40 c nbDecision=72000 #constraints=24257 536.34/536.58 c nbDecision=72500 #constraints=24368 538.74/538.97 c nbDecision=73000 #constraints=24479 541.54/541.78 c nbDecision=73500 #constraints=24589 545.24/545.46 c nbDecision=74000 #constraints=24694 547.44/547.64 c nbDecision=74500 #constraints=24805 549.53/549.76 c nbDecision=75000 #constraints=24917 551.04/551.26 c nbDecision=75500 #constraints=25011 552.84/553.06 c nbDecision=76000 #constraints=25097 554.84/555.08 c nbDecision=76500 #constraints=25194 557.83/558.08 c nbDecision=77000 #constraints=25292 561.34/561.59 c nbDecision=77500 #constraints=25395 563.74/563.91 c nbDecision=78000 #constraints=25501 565.74/565.99 c nbDecision=78500 #constraints=25599 568.54/568.78 c nbDecision=79000 #constraints=25710 570.83/571.01 c nbDecision=79500 #constraints=25790 573.53/573.71 c nbDecision=80000 #constraints=25909 578.04/578.24 c nbDecision=80500 #constraints=26027 582.33/582.54 c nbDecision=81000 #constraints=26139 586.43/586.64 c nbDecision=81500 #constraints=26248 589.73/589.95 c nbDecision=82000 #constraints=26348 593.32/593.54 c nbDecision=82500 #constraints=26445 597.82/598.04 c nbDecision=83000 #constraints=26556 601.32/601.53 c nbDecision=83500 #constraints=26655 604.32/604.52 c nbDecision=84000 #constraints=26763 608.43/608.67 c nbDecision=84500 #constraints=26882 612.82/613.07 c nbDecision=85000 #constraints=27000 616.42/616.65 c nbDecision=85500 #constraints=27098 620.12/620.37 c nbDecision=86000 #constraints=27199 624.31/624.55 c nbDecision=86500 #constraints=27317 628.81/629.05 c nbDecision=87000 #constraints=27435 632.81/633.02 c nbDecision=87500 #constraints=27551 637.01/637.29 c nbDecision=88000 #constraints=27662 641.12/641.39 c nbDecision=88500 #constraints=27788 643.51/643.73 c nbDecision=89000 #constraints=27864 647.82/648.05 c nbDecision=89500 #constraints=27972 649.52/649.76 c nbDecision=90000 #constraints=28111 652.71/652.93 c nbDecision=90500 #constraints=28231 663.11/663.33 c nbDecision=91000 #constraints=28286 673.20/673.46 c nbDecision=91500 #constraints=28340 684.60/684.82 c nbDecision=92000 #constraints=28394 696.10/696.30 c nbDecision=92500 #constraints=28450 704.89/705.11 c nbDecision=93000 #constraints=28495 715.79/716.04 c nbDecision=93500 #constraints=28549 728.10/728.36 c nbDecision=94000 #constraints=28608 741.09/741.33 c nbDecision=94500 #constraints=28673 750.58/750.87 c nbDecision=95000 #constraints=28726 763.58/763.86 c nbDecision=95500 #constraints=28793 774.57/774.84 c nbDecision=96000 #constraints=28845 785.97/786.26 c nbDecision=96500 #constraints=28902 800.26/800.59 c nbDecision=97000 #constraints=28970 812.17/812.44 c nbDecision=97500 #constraints=29025 824.46/824.77 c nbDecision=98000 #constraints=29085 842.86/843.16 c nbDecision=98500 #constraints=29197 858.45/858.78 c nbDecision=99000 #constraints=29277 873.84/874.15 c nbDecision=99500 #constraints=29342 887.55/887.84 c nbDecision=100000 #constraints=29412 900.65/900.91 c nbDecision=100500 #constraints=29475 913.94/914.21 c nbDecision=101000 #constraints=29534 927.43/927.75 c nbDecision=101500 #constraints=29599 946.12/946.48 c nbDecision=102000 #constraints=29695 959.62/959.92 c restart after 102401 decisions 960.92/961.25 c nbDecision=102500 #constraints=29774 979.42/979.72 c nbDecision=103000 #constraints=30002 995.81/996.14 c nbDecision=103500 #constraints=30314 1007.51/1007.81 c nbDecision=104000 #constraints=30578 1019.11/1019.47 c nbDecision=104500 #constraints=30855 1030.01/1030.36 c nbDecision=105000 #constraints=31133 1041.20/1041.57 c nbDecision=105500 #constraints=31449 1053.80/1054.16 c nbDecision=106000 #constraints=31741 1064.70/1065.02 c nbDecision=106500 #constraints=32003 1082.59/1082.90 c nbDecision=107000 #constraints=32320 1095.09/1095.40 c nbDecision=107500 #constraints=32596 1108.28/1108.65 c nbDecision=108000 #constraints=32903 1121.48/1121.87 c nbDecision=108500 #constraints=33214 1138.87/1139.28 c nbDecision=109000 #constraints=33505 1155.67/1156.04 c nbDecision=109500 #constraints=33807 1177.27/1177.67 c nbDecision=110000 #constraints=34142 1193.86/1194.21 c nbDecision=110500 #constraints=34457 1210.25/1210.68 c nbDecision=111000 #constraints=34738 1233.05/1233.47 c nbDecision=111500 #constraints=35054 1259.54/1259.95 c nbDecision=112000 #constraints=35384 1277.34/1277.71 c nbDecision=112500 #constraints=35649 1291.84/1292.22 c nbDecision=113000 #constraints=35932 1314.93/1315.31 c nbDecision=113500 #constraints=36250 1335.82/1336.25 c nbDecision=114000 #constraints=36552 1359.52/1359.95 c nbDecision=114500 #constraints=36839 1376.61/1377.00 c nbDecision=115000 #constraints=37073 1395.70/1396.19 c nbDecision=115500 #constraints=37387 1416.20/1416.60 c nbDecision=116000 #constraints=37693 1434.25/1434.79 c nbDecision=116500 #constraints=37982 1452.53/1453.02 c nbDecision=117000 #constraints=38272 1476.58/1477.13 c nbDecision=117500 #constraints=38577 1506.86/1507.43 c nbDecision=118000 #constraints=38921 1528.66/1529.26 c nbDecision=118500 #constraints=39209 1554.35/1554.98 c nbDecision=119000 #constraints=39542 1574.85/1575.43 c nbDecision=119500 #constraints=39850 1600.54/1601.10 c nbDecision=120000 #constraints=40188 1621.34/1621.90 c nbDecision=120500 #constraints=40480 1643.53/1644.15 c nbDecision=121000 #constraints=40740 1669.62/1670.21 c nbDecision=121500 #constraints=41045 1695.41/1696.07 c nbDecision=122000 #constraints=41305 1717.51/1718.11 c nbDecision=122500 #constraints=41575 1740.20/1740.81 c nbDecision=123000 #constraints=41758 1759.30/1759.92 c nbDecision=123500 #constraints=41953 1799.48/1800.10 c nbDecision=124000 #constraints=42247 1800.09/1800.71 Received signal 15 1800.19/1800.88 1800.19/1800.88 s UNKNOWN 1800.19/1800.88 1800.19/1800.88 c user time= 1799.79 s 1800.19/1800.88 c system time= 0.487925 s 1800.19/1800.88 c wall clock time=1800.88
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-357403-1176997033 -o ROOT/results/node12/solver-357403-1176997033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357403-1176997033/instance-357403-1176997033.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.00 1.00 1.00 3/77 11482 /proc/meminfo: memFree=1725416/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=1468 CPUtime=0 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 175740723 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827803 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 367 160 127 317 0 46 0 [startup+0.100696 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11482 /proc/meminfo: memFree=1725416/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=3200 CPUtime=0.09 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 630 0 0 0 9 0 0 0 18 0 1 0 175740723 3276800 612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 800 612 138 317 0 479 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3200 [startup+0.201707 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11482 /proc/meminfo: memFree=1725416/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=3480 CPUtime=0.19 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 711 0 0 0 19 0 0 0 18 0 1 0 175740723 3563520 693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 870 693 170 317 0 549 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3480 [startup+0.301716 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11482 /proc/meminfo: memFree=1725416/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=3612 CPUtime=0.29 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 757 0 0 0 29 0 0 0 19 0 1 0 175740723 3698688 739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604243 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 903 739 170 317 0 582 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3612 [startup+0.701756 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11482 /proc/meminfo: memFree=1725416/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=4392 CPUtime=0.69 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 961 0 0 0 69 0 0 0 23 0 1 0 175740723 4497408 943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717808 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 1098 943 170 317 0 777 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4392 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1721312/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=6220 CPUtime=1.49 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 1396 0 0 0 149 0 0 0 25 0 1 0 175740723 6369280 1378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 1555 1378 170 317 0 1234 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6220 [startup+3.10199 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1719072/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=8576 CPUtime=3.09 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 2004 0 0 0 308 1 0 0 25 0 1 0 175740723 8781824 1986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 2144 1986 170 317 0 1823 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8576 [startup+6.30131 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1715360/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=11992 CPUtime=6.29 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 2810 0 0 0 627 2 0 0 25 0 1 0 175740723 12279808 2792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 2998 2792 170 317 0 2677 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11992 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1710816/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=16340 CPUtime=12.68 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 3803 0 0 0 1266 2 0 0 25 0 1 0 175740723 16732160 3785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 4085 3785 170 317 0 3764 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16340 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1705376/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=21560 CPUtime=25.49 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 5142 0 0 0 2545 4 0 0 25 0 1 0 175740723 22077440 5124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 5390 5124 170 317 0 5069 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21560 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1696416/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=30772 CPUtime=51.08 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 7415 0 0 0 5102 6 0 0 25 0 1 0 175740723 31510528 7340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 7693 7340 170 317 0 7372 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30772 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1687584/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=39804 CPUtime=102.27 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 9594 0 0 0 10218 9 0 0 25 0 1 0 175740723 40759296 9519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 9951 9519 170 317 0 9630 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39804 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1685088/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=42472 CPUtime=162.25 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 10234 0 0 0 16215 10 0 0 25 0 1 0 175740723 43491328 10159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 10618 10159 170 317 0 10297 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 42472 [startup+222.306 s] /proc/loadavg: 1.06 1.02 1.00 2/78 11483 /proc/meminfo: memFree=1682400/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=45420 CPUtime=222.23 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 10871 0 0 0 22212 11 0 0 25 0 1 0 175740723 46510080 10796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 11355 10796 170 317 0 11034 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 45420 [startup+282.302 s] /proc/loadavg: 1.02 1.01 1.00 2/78 11483 /proc/meminfo: memFree=1678368/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=49664 CPUtime=282.21 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 11938 0 0 0 28209 12 0 0 25 0 1 0 175740723 50855936 11749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 12416 11749 170 317 0 12095 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49664 [startup+342.302 s] /proc/loadavg: 1.01 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1676576/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=51728 CPUtime=342.19 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 12431 0 0 0 34206 13 0 0 25 0 1 0 175740723 52969472 12242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 12932 12242 170 317 0 12611 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 51728 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1674336/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=53808 CPUtime=402.17 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 12979 0 0 0 40203 14 0 0 25 0 1 0 175740723 55099392 12790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 13452 12790 170 317 0 13131 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 53808 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1671776/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=56188 CPUtime=462.17 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 13616 0 0 0 46201 16 0 0 25 0 1 0 175740723 57536512 13427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 14047 13427 170 317 0 13726 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 56188 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1643424/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=85240 CPUtime=522.15 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 20867 0 0 0 52193 22 0 0 25 0 1 0 175740723 87285760 20612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 21310 20612 170 317 0 20989 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 85240 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1623136/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=106804 CPUtime=582.13 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 25921 0 0 0 58187 26 0 0 25 0 1 0 175740723 109367296 25567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 26701 25567 170 317 0 26380 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 106804 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1609568/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=120044 CPUtime=642.11 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 29341 0 0 0 64183 28 0 0 25 0 1 0 175740723 122925056 28987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 30011 28987 170 317 0 29690 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 120044 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 1.03 1.01 1.00 2/78 11483 /proc/meminfo: memFree=1598432/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=134428 CPUtime=882.05 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 32040 0 0 0 88173 32 0 0 25 0 1 0 175740723 137654272 31686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 33607 31686 170 317 0 33286 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 134428 [startup+942.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 11483 /proc/meminfo: memFree=1596640/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=136792 CPUtime=942.03 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 32590 0 0 0 94171 32 0 0 25 0 1 0 175740723 140075008 32137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 34198 32137 170 317 0 33877 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 136792 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1593888/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=139364 CPUtime=1002.01 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 33270 0 0 0 100168 33 0 0 25 0 1 0 175740723 142708736 32817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 34841 32817 170 317 0 34520 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 139364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1589472/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=143816 CPUtime=1062 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 34365 0 0 0 106165 35 0 0 25 0 1 0 175740723 147267584 33912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 35954 33912 170 317 0 35633 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 143816 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1585120/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=148892 CPUtime=1121.98 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 35674 0 0 0 112162 36 0 0 25 0 1 0 175740723 152465408 34962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 37223 34962 170 317 0 36902 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 148892 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1582880/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=151392 CPUtime=1181.96 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 36278 0 0 0 118159 37 0 0 25 0 1 0 175740723 155025408 35566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 37848 35566 170 317 0 37527 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 151392 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1579872/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=154296 CPUtime=1241.95 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 37016 0 0 0 124157 38 0 0 25 0 1 0 175740723 157999104 36304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 38574 36304 170 317 0 38253 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 154296 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 11483 /proc/meminfo: memFree=1576672/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=157604 CPUtime=1301.93 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 37791 0 0 0 130154 39 0 0 25 0 1 0 175740723 161386496 37079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 39401 37079 170 317 0 39080 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 157604 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 11483 /proc/meminfo: memFree=1574176/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=159780 CPUtime=1361.92 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 38407 0 0 0 136152 40 0 0 25 0 1 0 175740723 163614720 37695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 39945 37695 170 317 0 39624 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 159780 [startup+1422.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 11483 /proc/meminfo: memFree=1571424/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=162836 CPUtime=1421.9 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 39155 0 0 0 142149 41 0 0 25 0 1 0 175740723 166744064 38377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 40709 38377 170 317 0 40388 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 162836 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 11661 /proc/meminfo: memFree=1567400/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=166296 CPUtime=1481.78 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 39879 0 0 0 148135 43 0 0 25 0 1 0 175740723 170287104 39068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 41574 39068 170 317 0 41253 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 166296 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11681 /proc/meminfo: memFree=1566560/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=168824 CPUtime=1541.76 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 40502 0 0 0 154132 44 0 0 25 0 1 0 175740723 172875776 39559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 42206 39559 170 317 0 41885 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 168824 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11681 /proc/meminfo: memFree=1563680/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=171720 CPUtime=1601.74 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 41229 0 0 0 160129 45 0 0 25 0 1 0 175740723 175841280 40286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 42930 40286 170 317 0 42609 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 171720 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11681 /proc/meminfo: memFree=1561440/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=173980 CPUtime=1661.72 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 41774 0 0 0 166126 46 0 0 25 0 1 0 175740723 178155520 40831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 43495 40831 170 317 0 43174 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 173980 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11681 /proc/meminfo: memFree=1559264/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=176228 CPUtime=1721.71 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 42326 0 0 0 172124 47 0 0 25 0 1 0 175740723 180457472 41383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 44057 41383 170 317 0 43736 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 176228 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11681 /proc/meminfo: memFree=1557216/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=177960 CPUtime=1781.69 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 42824 0 0 0 178121 48 0 0 25 0 1 0 175740723 182231040 41881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 44490 41881 170 317 0 44169 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 177960 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11681 /proc/meminfo: memFree=1556768/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=178480 CPUtime=1800.09 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194304 42938 0 0 0 179961 48 0 0 25 0 1 0 175740723 182763520 41995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 44620 41995 170 317 0 44299 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 178480 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11681 /proc/meminfo: memFree=1556768/2055920 swapFree=4160068/4192956 [pid=11482] ppid=11480 vsize=0 CPUtime=1800.29 /proc/11482/stat : 11482 (oree) R 11480 11482 10765 0 -1 4194308 42957 0 0 0 179979 50 0 0 25 0 1 0 175740723 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11482/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.31 CPU user time (s): 1799.79 CPU system time (s): 0.517921 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 178480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.517921 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42957 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= 37829 runsolver used 2.09268 second user time and 4.46332 second system time The end
Begin job on node12 on Thu Apr 19 15:37:13 UTC 2007 IDJOB= 357403 IDBENCH= 2526 IDSOLVER= 172 FILE ID= node12/357403-1176997033 PBS_JOBID= 4630448 Free space on /tmp= 66255 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab1.opb COMMAND LINE= oree /tmp/evaluation/357403-1176997033/instance-357403-1176997033.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-357403-1176997033 -o ROOT/results/node12/solver-357403-1176997033 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357403-1176997033/instance-357403-1176997033.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c68fa68a808b234260c8cfaf77f6d655 RANDOM SEED= 232012417 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1725824 kB Buffers: 21836 kB Cached: 231300 kB SwapCached: 11520 kB Active: 37912 kB Inactive: 238468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1725824 kB SwapTotal: 4192956 kB SwapFree: 4160068 kB Dirty: 1572 kB Writeback: 0 kB Mapped: 30360 kB Slab: 39260 kB Committed_AS: 4366200 kB PageTables: 1792 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= 66255 MiB End job on node12 on Thu Apr 19 16:07:16 UTC 2007