Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.14 | 1801.75 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-grow7.opb |
MD5SUM | c73bf29c796f0bf48406f571c4c43173 |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 7994 |
Total number of constraints | 420 |
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 | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 623 |
Biggest coefficient in the objective function | 3758096384 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 68719476658 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 878188741787648 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4550739094651140 |
Number of bits of the biggest sum of numbers | 53 |
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.19/0.23 c ...done 0.19/0.23 c #vars=7994 #constraints=561 hasObjective=yes 0.19/0.26 c res. mode=mod 0.19/0.26 c VSIDS like heuristics 0.19/0.26 c complete search running 0.39/0.40 c restart after 401 decisions 0.39/0.44 c nbDecision=500 #constraints=583 0.49/0.55 c restart after 801 decisions 0.59/0.61 c nbDecision=1000 #constraints=608 0.69/0.79 c nbDecision=1500 #constraints=644 0.79/0.82 c restart after 1601 decisions 0.89/0.95 c nbDecision=2000 #constraints=657 1.10/1.14 c nbDecision=2500 #constraints=703 1.29/1.31 c nbDecision=3000 #constraints=730 1.29/1.40 c restart after 3201 decisions 1.49/1.50 c nbDecision=3500 #constraints=778 1.59/1.68 c nbDecision=4000 #constraints=820 1.79/1.89 c nbDecision=4500 #constraints=897 1.99/2.09 c nbDecision=5000 #constraints=964 2.29/2.30 c nbDecision=5500 #constraints=1025 2.49/2.50 c nbDecision=6000 #constraints=1069 2.59/2.67 c restart after 6401 decisions 2.69/2.71 c nbDecision=6500 #constraints=1111 2.79/2.88 c nbDecision=7000 #constraints=1128 2.99/3.09 c nbDecision=7500 #constraints=1193 3.19/3.30 c nbDecision=8000 #constraints=1244 3.49/3.52 c nbDecision=8500 #constraints=1295 3.69/3.73 c nbDecision=9000 #constraints=1337 3.89/3.95 c nbDecision=9500 #constraints=1394 4.09/4.18 c nbDecision=10000 #constraints=1442 4.29/4.39 c nbDecision=10500 #constraints=1482 4.59/4.62 c nbDecision=11000 #constraints=1532 4.79/4.84 c nbDecision=11500 #constraints=1572 4.99/5.06 c nbDecision=12000 #constraints=1611 5.29/5.34 c nbDecision=12500 #constraints=1688 5.49/5.52 c restart after 12801 decisions 5.59/5.60 c nbDecision=13000 #constraints=1748 5.79/5.86 c nbDecision=13500 #constraints=1809 6.09/6.14 c nbDecision=14000 #constraints=1855 6.50/6.53 c nbDecision=14500 #constraints=1959 6.69/6.74 c nbDecision=15000 #constraints=1990 6.99/7.08 c nbDecision=15500 #constraints=2092 7.39/7.43 c nbDecision=16000 #constraints=2189 8.09/8.10 c nbDecision=16500 #constraints=2422 8.59/8.65 c nbDecision=17000 #constraints=2570 9.58/9.60 c nbDecision=17500 #constraints=2781 10.28/10.38 c nbDecision=18000 #constraints=2910 11.58/11.67 c nbDecision=18500 #constraints=3101 12.89/12.99 c nbDecision=19000 #constraints=3275 15.08/15.14 c nbDecision=19500 #constraints=3520 16.79/16.82 c nbDecision=20000 #constraints=3698 19.08/19.12 c nbDecision=20500 #constraints=3943 22.08/22.13 c nbDecision=21000 #constraints=4190 25.68/25.74 c nbDecision=21500 #constraints=4454 29.48/29.53 c nbDecision=22000 #constraints=4682 31.98/32.01 c nbDecision=22500 #constraints=4838 34.48/34.52 c nbDecision=23000 #constraints=5011 36.87/36.96 c nbDecision=23500 #constraints=5149 39.98/40.05 c nbDecision=24000 #constraints=5316 43.08/43.11 c nbDecision=24500 #constraints=5499 47.07/47.16 c nbDecision=25000 #constraints=5750 50.97/51.08 c nbDecision=25500 #constraints=5931 52.17/52.25 c restart after 25601 decisions 53.07/53.13 c nbDecision=26000 #constraints=5975 55.27/55.36 c nbDecision=26500 #constraints=5995 59.87/59.91 c nbDecision=27000 #constraints=6066 64.27/64.40 c nbDecision=27500 #constraints=6198 67.77/67.87 c nbDecision=28000 #constraints=6266 72.67/72.75 c nbDecision=28500 #constraints=6420 78.36/78.43 c nbDecision=29000 #constraints=6564 83.26/83.39 c nbDecision=29500 #constraints=6681 87.36/87.44 c nbDecision=30000 #constraints=6814 92.66/92.75 c nbDecision=30500 #constraints=6980 97.36/97.46 c nbDecision=31000 #constraints=7200 100.85/100.99 c nbDecision=31500 #constraints=7266 104.95/105.05 c nbDecision=32000 #constraints=7355 109.36/109.45 c nbDecision=32500 #constraints=7459 113.45/113.53 c nbDecision=33000 #constraints=7560 117.45/117.50 c nbDecision=33500 #constraints=7621 121.05/121.19 c nbDecision=34000 #constraints=7714 125.75/125.81 c nbDecision=34500 #constraints=7864 129.74/129.82 c nbDecision=35000 #constraints=7985 133.75/133.84 c nbDecision=35500 #constraints=8105 137.65/137.74 c nbDecision=36000 #constraints=8189 142.34/142.48 c nbDecision=36500 #constraints=8276 147.64/147.71 c nbDecision=37000 #constraints=8346 155.53/155.62 c nbDecision=37500 #constraints=8423 161.13/161.21 c nbDecision=38000 #constraints=8489 170.94/171.08 c nbDecision=38500 #constraints=8589 178.43/178.56 c nbDecision=39000 #constraints=8657 185.43/185.57 c nbDecision=39500 #constraints=8733 190.13/190.23 c nbDecision=40000 #constraints=8820 194.43/194.54 c nbDecision=40500 #constraints=8963 202.42/202.51 c nbDecision=41000 #constraints=9098 207.12/207.23 c nbDecision=41500 #constraints=9173 212.42/212.51 c nbDecision=42000 #constraints=9246 216.81/216.91 c nbDecision=42500 #constraints=9317 221.51/221.62 c nbDecision=43000 #constraints=9390 225.52/225.62 c nbDecision=43500 #constraints=9453 230.21/230.38 c nbDecision=44000 #constraints=9531 235.51/235.64 c nbDecision=44500 #constraints=9601 239.81/239.96 c nbDecision=45000 #constraints=9719 244.91/245.02 c nbDecision=45500 #constraints=9799 250.50/250.61 c nbDecision=46000 #constraints=9880 255.80/255.98 c nbDecision=46500 #constraints=9968 261.30/261.49 c nbDecision=47000 #constraints=10051 267.50/267.65 c nbDecision=47500 #constraints=10186 272.50/272.68 c nbDecision=48000 #constraints=10286 277.70/277.80 c nbDecision=48500 #constraints=10351 283.09/283.21 c nbDecision=49000 #constraints=10445 288.09/288.26 c nbDecision=49500 #constraints=10547 293.79/293.92 c nbDecision=50000 #constraints=10641 300.49/300.69 c nbDecision=50500 #constraints=10719 305.78/305.91 c nbDecision=51000 #constraints=10814 307.89/308.07 c restart after 51201 decisions 309.48/309.64 c nbDecision=51500 #constraints=10862 313.48/313.68 c nbDecision=52000 #constraints=10898 319.68/319.80 c nbDecision=52500 #constraints=10996 325.08/325.25 c nbDecision=53000 #constraints=11080 333.68/333.82 c nbDecision=53500 #constraints=11153 345.18/345.32 c nbDecision=54000 #constraints=11249 354.17/354.36 c nbDecision=54500 #constraints=11334 362.07/362.20 c nbDecision=55000 #constraints=11386 368.76/368.96 c nbDecision=55500 #constraints=11429 374.26/374.46 c nbDecision=56000 #constraints=11468 382.06/382.23 c nbDecision=56500 #constraints=11534 387.96/388.10 c nbDecision=57000 #constraints=11558 394.55/394.70 c nbDecision=57500 #constraints=11595 401.15/401.32 c nbDecision=58000 #constraints=11641 407.35/407.51 c nbDecision=58500 #constraints=11670 412.74/412.97 c nbDecision=59000 #constraints=11755 417.85/418.07 c nbDecision=59500 #constraints=11883 439.34/439.59 c nbDecision=60000 #constraints=12129 464.63/464.83 c nbDecision=60500 #constraints=12402 489.42/489.66 c nbDecision=61000 #constraints=12694 508.71/508.95 c nbDecision=61500 #constraints=12914 534.61/534.82 c nbDecision=62000 #constraints=13183 566.49/566.79 c nbDecision=62500 #constraints=13477 593.79/594.04 c nbDecision=63000 #constraints=13762 620.28/620.51 c nbDecision=63500 #constraints=14040 648.68/648.95 c nbDecision=64000 #constraints=14346 672.75/673.05 c nbDecision=64500 #constraints=14636 700.25/700.56 c nbDecision=65000 #constraints=14891 733.83/734.14 c nbDecision=65500 #constraints=15176 767.83/768.16 c nbDecision=66000 #constraints=15451 804.01/804.31 c nbDecision=66500 #constraints=15718 832.70/833.02 c nbDecision=67000 #constraints=15938 864.00/864.31 c nbDecision=67500 #constraints=16185 892.18/892.58 c nbDecision=68000 #constraints=16419 918.18/918.58 c nbDecision=68500 #constraints=16690 940.97/941.39 c nbDecision=69000 #constraints=16912 968.86/969.24 c nbDecision=69500 #constraints=17144 996.25/996.68 c nbDecision=70000 #constraints=17386 1029.74/1030.19 c nbDecision=70500 #constraints=17667 1059.93/1060.39 c nbDecision=71000 #constraints=17950 1092.62/1093.00 c nbDecision=71500 #constraints=18236 1122.80/1123.23 c nbDecision=72000 #constraints=18505 1155.29/1155.72 c nbDecision=72500 #constraints=18787 1184.49/1184.91 c nbDecision=73000 #constraints=19032 1216.37/1216.86 c nbDecision=73500 #constraints=19330 1243.07/1243.50 c nbDecision=74000 #constraints=19604 1272.65/1273.11 c nbDecision=74500 #constraints=19890 1303.05/1303.55 c nbDecision=75000 #constraints=20161 1333.43/1333.91 c nbDecision=75500 #constraints=20444 1363.82/1364.38 c nbDecision=76000 #constraints=20725 1395.91/1396.46 c nbDecision=76500 #constraints=21020 1426.41/1426.95 c nbDecision=77000 #constraints=21298 1455.99/1456.51 c nbDecision=77500 #constraints=21585 1486.58/1487.17 c nbDecision=78000 #constraints=21854 1519.87/1520.47 c nbDecision=78500 #constraints=22150 1554.15/1554.74 c nbDecision=79000 #constraints=22434 1583.45/1584.06 c nbDecision=79500 #constraints=22720 1617.54/1618.12 c nbDecision=80000 #constraints=23025 1649.12/1649.77 c nbDecision=80500 #constraints=23284 1683.01/1683.60 c nbDecision=81000 #constraints=23579 1718.00/1718.62 c nbDecision=81500 #constraints=23864 1751.99/1752.62 c nbDecision=82000 #constraints=24143 1786.47/1787.19 c nbDecision=82500 #constraints=24440 1800.08/1800.71 Received signal 15 1801.08/1801.70 1801.08/1801.70 s UNKNOWN 1801.08/1801.70 1801.08/1801.70 c user time= 1800.7 s 1801.08/1801.70 c system time= 0.39194 s 1801.08/1801.70 c wall clock time=1801.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-357338-1176994953 -o ROOT/results/node59/solver-357338-1176994953 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357338-1176994953/instance-357338-1176994953.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.97 3/64 14385 /proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=1468 CPUtime=0 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 147404970 1503232 158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 367 159 131 317 0 46 0 [startup+0.0406121 s] /proc/loadavg: 0.99 0.97 0.97 3/64 14385 /proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=1996 CPUtime=0.03 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 317 0 0 0 3 0 0 0 18 0 1 0 147404970 2043904 299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 499 299 131 317 0 178 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1996 [startup+0.101619 s] /proc/loadavg: 0.99 0.97 0.97 3/64 14385 /proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=3052 CPUtime=0.09 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 583 0 0 0 9 0 0 0 18 0 1 0 147404970 3125248 565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 763 567 131 317 0 442 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3052 [startup+0.301658 s] /proc/loadavg: 0.99 0.97 0.97 3/64 14385 /proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=6988 CPUtime=0.29 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 1581 0 0 0 28 1 0 0 19 0 1 0 147404970 7155712 1563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 1747 1563 138 317 0 1426 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6988 [startup+0.701733 s] /proc/loadavg: 0.99 0.97 0.97 3/64 14385 /proc/meminfo: memFree=1774960/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=7148 CPUtime=0.69 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 1620 0 0 0 68 1 0 0 23 0 1 0 147404970 7319552 1602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 1787 1602 139 317 0 1466 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7148 [startup+1.50188 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1768872/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=7672 CPUtime=1.49 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 1767 0 0 0 148 1 0 0 25 0 1 0 147404970 7856128 1749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 1918 1749 170 317 0 1597 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7672 [startup+3.10119 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1767720/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=9156 CPUtime=3.09 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 2145 0 0 0 308 1 0 0 25 0 1 0 147404970 9375744 2127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 2289 2127 170 317 0 1968 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9156 [startup+6.3028 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1764456/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=12448 CPUtime=6.29 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 2957 0 0 0 628 1 0 0 25 0 1 0 147404970 12746752 2939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 3112 2939 170 317 0 2791 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12448 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1747576/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=29944 CPUtime=12.69 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 7221 0 0 0 1266 3 0 0 25 0 1 0 147404970 30662656 7203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 7486 7203 170 317 0 7165 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29944 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1729592/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=48460 CPUtime=25.48 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 11514 0 0 0 2543 5 0 0 25 0 1 0 147404970 49623040 11496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 12115 11496 170 317 0 11794 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48460 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1709432/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=68852 CPUtime=51.07 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 16582 0 0 0 5100 7 0 0 25 0 1 0 147404970 70504448 16564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 17213 16564 170 317 0 16892 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 68852 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1698168/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=80492 CPUtime=102.25 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 19280 0 0 0 10216 9 0 0 25 0 1 0 147404970 82423808 19262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 20123 19262 170 317 0 19802 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 80492 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1687096/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=91620 CPUtime=162.23 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 22110 0 0 0 16212 11 0 0 25 0 1 0 147404970 93818880 22035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 22905 22035 170 317 0 22584 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 91620 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1679032/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=99704 CPUtime=222.21 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 24099 0 0 0 22208 13 0 0 25 0 1 0 147404970 102096896 24024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 24926 24024 170 317 0 24605 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 99704 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1668088/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=111172 CPUtime=282.19 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 26864 0 0 0 28204 15 0 0 25 0 1 0 147404970 113840128 26789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 27793 26789 170 317 0 27472 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 111172 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1661624/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=118772 CPUtime=342.18 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 28419 0 0 0 34201 17 0 0 25 0 1 0 147404970 121622528 28344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 29693 28344 170 317 0 29372 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 118772 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1659960/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=121556 CPUtime=402.15 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 28828 0 0 0 40198 17 0 0 25 0 1 0 147404970 124473344 28753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 30389 28753 170 317 0 30068 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 121556 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1654584/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=127220 CPUtime=462.13 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 30166 0 0 0 46195 18 0 0 25 0 1 0 147404970 130273280 30091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 31805 30091 170 317 0 31484 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 127220 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1649208/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=133124 CPUtime=522.12 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 31528 0 0 0 52193 19 0 0 25 0 1 0 147404970 136318976 31453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 33281 31453 170 317 0 32960 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 133124 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1644216/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=138408 CPUtime=582.09 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 32777 0 0 0 58189 20 0 0 25 0 1 0 147404970 141729792 32702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 34602 32702 170 317 0 34281 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 138408 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1638776/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=143844 CPUtime=642.07 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 34116 0 0 0 64187 20 0 0 25 0 1 0 147404970 147296256 34041 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 35961 34041 170 317 0 35640 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 143844 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1612856/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=170448 CPUtime=1001.94 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 40660 0 0 0 100169 25 0 0 25 0 1 0 147404970 174538752 40472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 42612 40472 170 317 0 42291 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 170448 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1608760/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=174140 CPUtime=1061.93 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 41685 0 0 0 106166 27 0 0 25 0 1 0 147404970 178319360 41497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 43535 41497 170 317 0 43214 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 174140 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1604024/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=179196 CPUtime=1121.9 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 42866 0 0 0 112163 27 0 0 25 0 1 0 147404970 183496704 42678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 44799 42678 170 317 0 44478 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 179196 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1599800/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=183016 CPUtime=1181.89 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 43930 0 0 0 118160 29 0 0 25 0 1 0 147404970 187408384 43742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 45754 43742 170 317 0 45433 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 183016 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1594808/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=187976 CPUtime=1241.87 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 45219 0 0 0 124157 30 0 0 25 0 1 0 147404970 192487424 44965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718398 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 46994 44965 170 317 0 46673 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 187976 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1589048/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=195232 CPUtime=1301.85 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 46691 0 0 0 130154 31 0 0 25 0 1 0 147404970 199917568 46404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 48808 46404 170 317 0 48487 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 195232 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1584120/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=201016 CPUtime=1361.83 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 48016 0 0 0 136151 32 0 0 25 0 1 0 147404970 205840384 47630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 50254 47630 170 317 0 49933 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 201016 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1579384/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=206112 CPUtime=1421.81 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 49334 0 0 0 142148 33 0 0 25 0 1 0 147404970 211058688 48783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 51528 48783 170 317 0 51207 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 206112 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1574840/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=210068 CPUtime=1481.78 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 50486 0 0 0 148145 33 0 0 25 0 1 0 147404970 215109632 49935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 52517 49935 170 317 0 52196 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 210068 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1570360/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=214276 CPUtime=1541.76 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 51593 0 0 0 154142 34 0 0 25 0 1 0 147404970 219418624 51042 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 53569 51042 170 317 0 53248 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 214276 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1565688/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=218472 CPUtime=1601.74 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 52759 0 0 0 160139 35 0 0 25 0 1 0 147404970 223715328 52208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 54618 52208 170 317 0 54297 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 218472 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1561208/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=222676 CPUtime=1661.72 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 53939 0 0 0 166136 36 0 0 25 0 1 0 147404970 228020224 53322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 55669 53322 170 317 0 55348 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 222676 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1556792/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=230228 CPUtime=1721.7 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 55538 0 0 0 172133 37 0 0 25 0 1 0 147404970 235753472 54393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 57557 54393 170 317 0 57236 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 230228 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1551928/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=236928 CPUtime=1781.68 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 56933 0 0 0 178130 38 0 0 25 0 1 0 147404970 242614272 55623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 59232 55623 170 317 0 58911 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 236928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1550584/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=238376 CPUtime=1800.08 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57294 0 0 0 179970 38 0 0 25 0 1 0 147404970 244097024 55951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 59594 55951 170 317 0 59273 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 238376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1550584/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=238376 CPUtime=1800.78 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57302 0 0 0 180039 39 0 0 25 0 1 0 147404970 244097024 55959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 59594 55959 170 317 0 59273 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 238376 [startup+1801.6 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14386 /proc/meminfo: memFree=1550584/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=238376 CPUtime=1800.98 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57303 0 0 0 180059 39 0 0 25 0 1 0 147404970 244097024 55960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 59594 55960 170 317 0 59273 0 Current children cumulated CPU time (s) 1800.98 Current children cumulated vsize (KiB) 238376 [startup+1801.7 s] /proc/loadavg: 0.99 0.97 0.97 2/66 14387 /proc/meminfo: memFree=1550512/2055920 swapFree=4184568/4192956 [pid=14385] ppid=14383 vsize=238376 CPUtime=1801.08 /proc/14385/stat : 14385 (oree) R 14383 14385 13757 0 -1 4194304 57303 0 0 0 180069 39 0 0 25 0 1 0 147404970 244097024 55960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14385/statm: 59594 55960 170 317 0 59273 0 Current children cumulated CPU time (s) 1801.08 Current children cumulated vsize (KiB) 238376 Child status: 0 Real time (s): 1801.75 CPU time (s): 1801.14 CPU user time (s): 1800.71 CPU system time (s): 0.430934 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 238376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.71 system time used= 0.430934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57319 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= 1783 runsolver used 1.18282 second user time and 3.75143 second system time The end
Begin job on node59 on Thu Apr 19 15:02:34 UTC 2007 IDJOB= 357338 IDBENCH= 2430 IDSOLVER= 172 FILE ID= node59/357338-1176994953 PBS_JOBID= 4630429 Free space on /tmp= 66330 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb COMMAND LINE= oree /tmp/evaluation/357338-1176994953/instance-357338-1176994953.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-357338-1176994953 -o ROOT/results/node59/solver-357338-1176994953 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357338-1176994953/instance-357338-1176994953.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c73bf29c796f0bf48406f571c4c43173 RANDOM SEED= 391478333 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1775304 kB Buffers: 10188 kB Cached: 208376 kB SwapCached: 2164 kB Active: 52040 kB Inactive: 177040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1775304 kB SwapTotal: 4192956 kB SwapFree: 4184568 kB Dirty: 2060 kB Writeback: 0 kB Mapped: 17216 kB Slab: 37420 kB Committed_AS: 1680800 kB PageTables: 1476 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= 66330 MiB End job on node59 on Thu Apr 19 15:32:37 UTC 2007