Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 62371 | 1800.18 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb |
MD5SUM | ab21eb5817d07a398a94670d7815d5fb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 62027 |
Best CPU time to get the best result obtained on this benchmark | 0.016996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 62027 |
Optimality of the best value was proved | YES |
Number of variables | 40 |
Total number of constraints | 23 |
Number of constraints which are clauses | 10 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 3 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 40 |
Biggest coefficient in the objective function | 8161 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 265332 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 8161 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 265332 |
Number of bits of the biggest sum of numbers | 19 |
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.00 c ...done 0.00/0.00 c #vars=40 #constraints=24 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.00/0.00 c nbDecision=29 #constraints=33 0.00/0.00 c linear search for optimum 0.00/0.00 o 67790 0.00/0.00 c nbDecision=30 #constraints=35 0.00/0.00 o 67651 0.00/0.01 c nbDecision=63 #constraints=69 0.00/0.01 o 67644 0.00/0.01 c nbDecision=76 #constraints=81 0.00/0.01 o 67516 0.00/0.01 c nbDecision=80 #constraints=87 0.00/0.01 o 67407 0.00/0.01 c nbDecision=81 #constraints=89 0.00/0.01 o 67268 0.00/0.02 c nbDecision=91 #constraints=101 0.00/0.02 o 66882 0.00/0.02 c nbDecision=92 #constraints=103 0.00/0.02 o 66743 0.00/0.02 c nbDecision=117 #constraints=130 0.00/0.02 o 66718 0.05/0.09 c nbDecision=352 #constraints=358 0.05/0.09 o 66703 0.05/0.09 c nbDecision=353 #constraints=360 0.05/0.09 o 66564 0.10/0.10 c nbDecision=378 #constraints=387 0.10/0.10 o 66539 0.10/0.11 c restart after 401 decisions 0.10/0.15 c nbDecision=500 #constraints=494 0.10/0.15 c nbDecision=523 #constraints=514 0.10/0.15 o 66534 0.10/0.16 c nbDecision=539 #constraints=532 0.10/0.16 o 66425 0.10/0.16 c nbDecision=540 #constraints=534 0.10/0.16 o 66286 0.10/0.17 c nbDecision=556 #constraints=552 0.10/0.17 o 65900 0.10/0.17 c nbDecision=557 #constraints=554 0.10/0.17 o 65761 0.10/0.19 c nbDecision=594 #constraints=593 0.10/0.19 o 65736 0.19/0.28 c restart after 801 decisions 0.29/0.37 c nbDecision=994 #constraints=969 0.29/0.37 o 65718 0.29/0.38 c nbDecision=1000 #constraints=975 0.59/0.64 c nbDecision=1422 #constraints=1386 0.59/0.64 o 65668 0.59/0.64 c nbDecision=1425 #constraints=1391 0.59/0.64 o 65539 0.69/0.70 c nbDecision=1500 #constraints=1467 0.69/0.73 c nbDecision=1530 #constraints=1497 0.69/0.73 o 65285 0.69/0.73 c nbDecision=1533 #constraints=1502 0.69/0.73 o 65156 0.69/0.79 c restart after 1601 decisions 1.19/1.24 c nbDecision=2000 #constraints=1954 1.89/1.91 c nbDecision=2500 #constraints=2443 2.89/2.91 c nbDecision=3000 #constraints=2934 3.39/3.44 c restart after 3201 decisions 4.39/4.41 c nbDecision=3500 #constraints=3421 6.38/6.42 c nbDecision=4000 #constraints=3919 6.68/6.78 c nbDecision=4077 #constraints=3998 6.68/6.78 o 64908 6.68/6.78 c nbDecision=4078 #constraints=4000 6.68/6.78 o 64769 6.88/6.93 c nbDecision=4117 #constraints=4041 6.88/6.93 o 64744 8.48/8.53 c nbDecision=4500 #constraints=4424 11.18/11.23 c nbDecision=5000 #constraints=4922 13.88/13.91 c nbDecision=5364 #constraints=5289 13.88/13.91 o 64733 14.78/14.84 c nbDecision=5500 #constraints=5421 16.68/16.77 c nbDecision=5728 #constraints=5654 16.68/16.77 o 64446 16.68/16.78 c nbDecision=5729 #constraints=5656 16.68/16.78 o 64307 16.98/17.05 c nbDecision=5768 #constraints=5697 16.98/17.05 o 64282 18.48/18.53 c nbDecision=6000 #constraints=5925 21.59/21.62 c restart after 6401 decisions 22.29/22.34 c nbDecision=6500 #constraints=6419 26.88/26.98 c nbDecision=7000 #constraints=6912 32.28/32.37 c nbDecision=7500 #constraints=7415 37.48/37.58 c nbDecision=8000 #constraints=7912 42.47/42.56 c nbDecision=8500 #constraints=8418 48.47/48.51 c nbDecision=9000 #constraints=8916 55.38/55.43 c nbDecision=9500 #constraints=9418 57.08/57.15 c nbDecision=9625 #constraints=9542 57.08/57.15 o 64035 57.08/57.19 c nbDecision=9628 #constraints=9547 57.08/57.19 o 63906 61.97/62.07 c nbDecision=10000 #constraints=9918 66.37/66.42 c nbDecision=10322 #constraints=10242 66.37/66.42 o 63584 66.37/66.46 c nbDecision=10325 #constraints=10247 66.37/66.46 o 63455 68.37/68.47 c nbDecision=10500 #constraints=10423 75.66/75.70 c nbDecision=11000 #constraints=10918 84.96/85.00 c nbDecision=11500 #constraints=11417 96.36/96.45 c nbDecision=12000 #constraints=11920 106.56/106.68 c nbDecision=12500 #constraints=12422 112.55/112.60 c restart after 12801 decisions 117.85/118.00 c nbDecision=13000 #constraints=12906 129.75/129.88 c nbDecision=13500 #constraints=13406 140.65/140.76 c nbDecision=14000 #constraints=13906 152.75/152.87 c nbDecision=14500 #constraints=14400 165.34/165.41 c nbDecision=15000 #constraints=14899 177.84/177.92 c nbDecision=15500 #constraints=15400 188.83/188.90 c nbDecision=16000 #constraints=15897 200.03/200.18 c nbDecision=16500 #constraints=16383 213.52/213.65 c nbDecision=17000 #constraints=16874 227.62/227.71 c nbDecision=17500 #constraints=17371 240.31/240.40 c nbDecision=18000 #constraints=17873 252.92/253.09 c nbDecision=18500 #constraints=18366 267.71/267.87 c nbDecision=19000 #constraints=18847 287.90/288.01 c nbDecision=19500 #constraints=19352 305.89/306.04 c nbDecision=20000 #constraints=19854 323.39/323.52 c nbDecision=20500 #constraints=20352 345.58/345.71 c nbDecision=21000 #constraints=20851 366.28/366.41 c nbDecision=21500 #constraints=21350 384.88/385.07 c nbDecision=22000 #constraints=21851 404.67/404.80 c nbDecision=22500 #constraints=22346 425.16/425.30 c nbDecision=23000 #constraints=22849 445.75/445.92 c nbDecision=23500 #constraints=23352 463.45/463.64 c nbDecision=24000 #constraints=23854 480.94/481.10 c nbDecision=24500 #constraints=24348 502.03/502.21 c nbDecision=25000 #constraints=24850 523.53/523.70 c nbDecision=25500 #constraints=25354 527.73/527.96 c restart after 25601 decisions 543.52/543.77 c nbDecision=26000 #constraints=25834 562.12/562.34 c nbDecision=26500 #constraints=26333 581.51/581.78 c nbDecision=27000 #constraints=26821 602.81/603.04 c nbDecision=27500 #constraints=27313 626.40/626.69 c nbDecision=28000 #constraints=27816 650.19/650.44 c nbDecision=28500 #constraints=28311 671.59/671.87 c nbDecision=29000 #constraints=28820 693.48/693.72 c nbDecision=29500 #constraints=29315 715.77/716.09 c nbDecision=30000 #constraints=29812 737.77/738.07 c nbDecision=30500 #constraints=30309 760.86/761.19 c nbDecision=31000 #constraints=30810 782.95/783.26 c nbDecision=31500 #constraints=31306 805.34/805.62 c nbDecision=32000 #constraints=31810 825.34/825.65 c nbDecision=32500 #constraints=32307 846.23/846.59 c nbDecision=33000 #constraints=32804 871.33/871.62 c nbDecision=33500 #constraints=33283 896.82/897.16 c nbDecision=34000 #constraints=33776 923.71/924.09 c nbDecision=34500 #constraints=34283 946.40/946.77 c nbDecision=35000 #constraints=34776 969.69/970.09 c nbDecision=35500 #constraints=35272 996.79/997.17 c nbDecision=36000 #constraints=35763 1028.37/1028.70 c nbDecision=36500 #constraints=36249 1061.97/1062.35 c nbDecision=37000 #constraints=36753 1092.46/1092.82 c nbDecision=37500 #constraints=37252 1119.75/1120.14 c nbDecision=38000 #constraints=37753 1149.64/1150.07 c nbDecision=38500 #constraints=38255 1184.53/1184.95 c nbDecision=39000 #constraints=38755 1220.53/1220.92 c nbDecision=39500 #constraints=39257 1252.91/1253.32 c nbDecision=40000 #constraints=39754 1263.90/1264.37 c nbDecision=40178 #constraints=39933 1263.90/1264.37 o 63223 1264.10/1264.57 c nbDecision=40181 #constraints=39938 1264.10/1264.57 o 63094 1281.30/1281.72 c nbDecision=40500 #constraints=40251 1313.49/1313.95 c nbDecision=41000 #constraints=40757 1347.58/1348.02 c nbDecision=41500 #constraints=41252 1378.87/1379.32 c nbDecision=42000 #constraints=41754 1411.59/1412.15 c nbDecision=42500 #constraints=42256 1442.94/1443.54 c nbDecision=43000 #constraints=42756 1472.34/1472.99 c nbDecision=43500 #constraints=43258 1502.93/1503.52 c nbDecision=44000 #constraints=43754 1532.92/1533.60 c nbDecision=44500 #constraints=44254 1568.30/1568.91 c nbDecision=45000 #constraints=44757 1606.10/1606.73 c nbDecision=45500 #constraints=45257 1608.80/1609.48 c nbDecision=45548 #constraints=45306 1608.80/1609.48 o 62822 1639.49/1640.17 c nbDecision=46000 #constraints=45752 1663.38/1664.02 c nbDecision=46388 #constraints=46147 1663.38/1664.02 o 62785 1663.58/1664.22 c nbDecision=46391 #constraints=46152 1663.58/1664.22 o 62371 1670.08/1670.74 c nbDecision=46500 #constraints=46258 1707.17/1707.86 c nbDecision=47000 #constraints=46759 1743.76/1744.40 c nbDecision=47500 #constraints=47255 1779.34/1780.07 c nbDecision=48000 #constraints=47756 1800.04/1800.71 Received signal 15 1800.14/1800.82 1800.14/1800.82 s SATISFIABLE 1800.14/1800.82 v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 x30 1800.14/1800.82 v -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 1800.14/1800.82 1800.14/1800.82 c user time= 1799.9 s 1800.14/1800.82 c system time= 0.267959 s 1800.14/1800.82 c wall clock time=1800.82
OK 62371
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-363602-1176853074 -o ROOT/results/node22/solver-363602-1176853074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363602-1176853074/instance-363602-1176853074.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.72 0.93 0.98 3/77 24825 /proc/meminfo: memFree=1713840/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=1468 CPUtime=0 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 216 0 0 0 0 0 0 0 18 0 1 0 133225043 1503232 198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135157816 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 367 198 167 317 0 46 0 [startup+0.0519609 s] /proc/loadavg: 0.72 0.93 0.98 3/77 24825 /proc/meminfo: memFree=1713840/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=1732 CPUtime=0.05 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 272 0 0 0 5 0 0 0 18 0 1 0 133225043 1773568 254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 433 254 170 317 0 112 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1732 [startup+0.101968 s] /proc/loadavg: 0.72 0.93 0.98 3/77 24825 /proc/meminfo: memFree=1713840/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=1864 CPUtime=0.1 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 323 0 0 0 10 0 0 0 18 0 1 0 133225043 1908736 305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 466 305 170 317 0 145 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1864 [startup+0.301999 s] /proc/loadavg: 0.72 0.93 0.98 3/77 24825 /proc/meminfo: memFree=1713840/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=2396 CPUtime=0.29 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 455 0 0 0 29 0 0 0 20 0 1 0 133225043 2453504 437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 599 437 170 317 0 278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2396 [startup+0.70106 s] /proc/loadavg: 0.72 0.93 0.98 3/77 24825 /proc/meminfo: memFree=1713840/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=3060 CPUtime=0.69 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 626 0 0 0 69 0 0 0 23 0 1 0 133225043 3133440 608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 765 608 170 317 0 444 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3060 [startup+1.50118 s] /proc/loadavg: 0.72 0.93 0.98 2/78 24826 /proc/meminfo: memFree=1711784/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=3992 CPUtime=1.49 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 831 0 0 0 149 0 0 0 25 0 1 0 133225043 4087808 813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 998 813 170 317 0 677 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3992 [startup+3.10142 s] /proc/loadavg: 0.74 0.94 0.98 2/78 24826 /proc/meminfo: memFree=1710696/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=4796 CPUtime=3.09 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 1054 0 0 0 309 0 0 0 25 0 1 0 133225043 4911104 1036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716145 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 1199 1036 170 317 0 878 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4796 [startup+6.30191 s] /proc/loadavg: 0.74 0.94 0.98 2/78 24826 /proc/meminfo: memFree=1709480/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=5864 CPUtime=6.28 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 1281 0 0 0 628 0 0 0 25 0 1 0 133225043 6004736 1263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 1466 1263 170 317 0 1145 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 5864 [startup+12.7019 s] /proc/loadavg: 0.78 0.94 0.98 2/78 24826 /proc/meminfo: memFree=1708008/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=7196 CPUtime=12.68 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 1580 0 0 0 1268 0 0 0 25 0 1 0 133225043 7368704 1562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 1799 1562 170 317 0 1478 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7196 [startup+25.5018 s] /proc/loadavg: 0.81 0.94 0.98 2/78 24826 /proc/meminfo: memFree=1706472/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=8672 CPUtime=25.48 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 1951 0 0 0 2547 1 0 0 25 0 1 0 133225043 8880128 1933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 2168 1933 170 317 0 1847 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8672 [startup+51.1018 s] /proc/loadavg: 0.87 0.94 0.98 2/78 24826 /proc/meminfo: memFree=1704360/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=11112 CPUtime=51.07 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 2527 0 0 0 5106 1 0 0 25 0 1 0 133225043 11378688 2452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 2778 2452 170 317 0 2457 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11112 [startup+102.306 s] /proc/loadavg: 0.95 0.95 0.98 2/78 24826 /proc/meminfo: memFree=1701608/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=13800 CPUtime=102.26 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 3207 0 0 0 10223 3 0 0 25 0 1 0 133225043 14131200 3132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 3450 3132 170 317 0 3129 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13800 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/78 24826 /proc/meminfo: memFree=1699112/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=16356 CPUtime=162.24 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 3825 0 0 0 16220 4 0 0 25 0 1 0 133225043 16748544 3750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 4089 3750 170 317 0 3768 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 16356 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.98 2/78 24826 /proc/meminfo: memFree=1696744/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=19140 CPUtime=222.22 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 4527 0 0 0 22217 5 0 0 25 0 1 0 133225043 19599360 4339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 4785 4339 170 317 0 4464 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 19140 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24826 /proc/meminfo: memFree=1694824/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=21512 CPUtime=282.2 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 5045 0 0 0 28214 6 0 0 25 0 1 0 133225043 22028288 4824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 5378 4824 170 317 0 5057 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 21512 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24826 /proc/meminfo: memFree=1693288/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=22972 CPUtime=342.19 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 5421 0 0 0 34212 7 0 0 25 0 1 0 133225043 23523328 5200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 5743 5200 170 317 0 5422 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 22972 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24826 /proc/meminfo: memFree=1691816/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=24700 CPUtime=402.16 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 5776 0 0 0 40209 7 0 0 25 0 1 0 133225043 25292800 5555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 6175 5555 170 317 0 5854 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 24700 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24826 /proc/meminfo: memFree=1690600/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=25740 CPUtime=462.15 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 6088 0 0 0 46206 9 0 0 25 0 1 0 133225043 26357760 5867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 6435 5867 170 317 0 6114 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 25740 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24826 /proc/meminfo: memFree=1689320/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=26940 CPUtime=522.13 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 6409 0 0 0 52203 10 0 0 25 0 1 0 133225043 27586560 6188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 6735 6188 170 317 0 6414 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 26940 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24826 /proc/meminfo: memFree=1687848/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=28372 CPUtime=582.11 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 6765 0 0 0 58201 10 0 0 25 0 1 0 133225043 29052928 6544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 7093 6544 170 317 0 6772 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 28372 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 24826 /proc/meminfo: memFree=1686632/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=29552 CPUtime=642.09 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 7067 0 0 0 64198 11 0 0 25 0 1 0 133225043 30261248 6846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 7388 6846 170 317 0 7067 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 29552 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.03 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1681256/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=36120 CPUtime=882.02 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 8722 0 0 0 88187 15 0 0 25 0 1 0 133225043 36986880 8143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 9030 8143 170 317 0 8709 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 36120 [startup+942.302 s] /proc/loadavg: 1.01 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1680744/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=36508 CPUtime=942 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 8877 0 0 0 94185 15 0 0 25 0 1 0 133225043 37384192 8298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 9127 8298 170 317 0 8806 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 36508 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1679592/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=37544 CPUtime=1001.99 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 9151 0 0 0 100183 16 0 0 25 0 1 0 133225043 38445056 8572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 9386 8572 170 317 0 9065 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 37544 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1678824/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=38460 CPUtime=1061.97 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 9387 0 0 0 106180 17 0 0 25 0 1 0 133225043 39383040 8775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 9615 8775 170 317 0 9294 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 38460 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1677864/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=39620 CPUtime=1121.95 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 9693 0 0 0 112178 17 0 0 25 0 1 0 133225043 40570880 8982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 9905 8982 170 317 0 9584 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 39620 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1677096/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=40396 CPUtime=1181.93 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 9923 0 0 0 118175 18 0 0 25 0 1 0 133225043 41365504 9179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 10099 9179 170 317 0 9778 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 40396 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1676328/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=41308 CPUtime=1241.91 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 10118 0 0 0 124172 19 0 0 25 0 1 0 133225043 42299392 9374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 10327 9374 170 317 0 10006 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 41308 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1675624/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=41960 CPUtime=1301.89 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 10308 0 0 0 130170 19 0 0 25 0 1 0 133225043 42967040 9564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 10490 9564 170 317 0 10169 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 41960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 24826 /proc/meminfo: memFree=1674856/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=42748 CPUtime=1361.87 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 10533 0 0 0 136167 20 0 0 25 0 1 0 133225043 43773952 9756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 10687 9756 170 317 0 10366 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 42748 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/84 24992 /proc/meminfo: memFree=1672816/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=43396 CPUtime=1421.77 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 10719 0 0 0 142155 22 0 0 25 0 1 0 133225043 44437504 9942 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 10849 9942 170 317 0 10528 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 43396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1673256/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=44168 CPUtime=1481.73 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 10931 0 0 0 148151 22 0 0 25 0 1 0 133225043 45228032 10121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718455 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11042 10121 170 317 0 10721 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 44168 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1672424/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=45068 CPUtime=1541.71 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 11173 0 0 0 154148 23 0 0 25 0 1 0 133225043 46149632 10297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11267 10297 170 317 0 10946 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 45068 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1671784/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=45852 CPUtime=1601.7 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 11350 0 0 0 160146 24 0 0 25 0 1 0 133225043 46952448 10474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11463 10474 170 317 0 11142 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 45852 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1671080/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=46496 CPUtime=1661.68 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 11520 0 0 0 166144 24 0 0 25 0 1 0 133225043 47611904 10644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11624 10644 170 317 0 11303 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 46496 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1670440/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=47008 CPUtime=1721.66 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 11682 0 0 0 172141 25 0 0 25 0 1 0 133225043 48136192 10806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11752 10806 170 317 0 11431 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 47008 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1669672/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=47660 CPUtime=1781.64 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 11872 0 0 0 178138 26 0 0 25 0 1 0 133225043 48803840 10996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11915 10996 170 317 0 11594 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 47660 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1669416/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=47792 CPUtime=1800.04 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 11932 0 0 0 179978 26 0 0 25 0 1 0 133225043 48939008 11056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11948 11056 170 317 0 11627 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 47792 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.99 2/78 25024 /proc/meminfo: memFree=1669416/2055920 swapFree=4168624/4192956 [pid=24825] ppid=24823 vsize=47792 CPUtime=1800.14 /proc/24825/stat : 24825 (oree) R 24823 24825 24768 0 -1 4194304 11932 0 0 0 179988 26 0 0 25 0 1 0 133225043 48939008 11056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/24825/statm: 11948 11056 170 317 0 11627 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 47792 Child status: 0 Real time (s): 1800.84 CPU time (s): 1800.18 CPU user time (s): 1799.91 CPU system time (s): 0.276957 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 47792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.276957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11948 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= 29093 runsolver used 2.13967 second user time and 4.42733 second system time The end
Begin job on node22 on Tue Apr 17 23:37:54 UTC 2007 IDJOB= 363602 IDBENCH= 1867 IDSOLVER= 172 FILE ID= node22/363602-1176853074 PBS_JOBID= 4590243 Free space on /tmp= 66530 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb COMMAND LINE= oree /tmp/evaluation/363602-1176853074/instance-363602-1176853074.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-363602-1176853074 -o ROOT/results/node22/solver-363602-1176853074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363602-1176853074/instance-363602-1176853074.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ab21eb5817d07a398a94670d7815d5fb RANDOM SEED= 502022518 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1714248 kB Buffers: 37368 kB Cached: 221920 kB SwapCached: 2308 kB Active: 64240 kB Inactive: 217504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1714248 kB SwapTotal: 4192956 kB SwapFree: 4168624 kB Dirty: 1508 kB Writeback: 0 kB Mapped: 30300 kB Slab: 45516 kB Committed_AS: 1716356 kB PageTables: 1676 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= 66530 MiB End job on node22 on Wed Apr 18 00:07:56 UTC 2007