Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.55 | 1802.02 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-dcmulti.opb |
MD5SUM | 8db02a87a2ff672cda2bdb003f710a98 |
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 | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 714038312960 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 68224730472397 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 714038312960 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 68224730472397 |
Number of bits of the biggest sum of numbers | 46 |
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.09/0.17 c ...done 0.09/0.17 c #vars=14265 #constraints=369 hasObjective=yes 0.29/0.30 c res. mode=mod 0.29/0.30 c VSIDS like heuristics 0.29/0.30 c complete search running 0.29/0.39 c restart after 401 decisions 0.39/0.43 c nbDecision=500 #constraints=379 0.39/0.45 c restart after 801 decisions 0.39/0.50 c nbDecision=1000 #constraints=381 0.59/0.60 c nbDecision=1500 #constraints=408 0.59/0.61 c restart after 1601 decisions 0.59/0.67 c nbDecision=2000 #constraints=408 1.79/1.86 c nbDecision=2500 #constraints=505 2.39/2.43 c nbDecision=3000 #constraints=683 2.69/2.70 c restart after 3201 decisions 2.69/2.78 c nbDecision=3500 #constraints=890 2.99/3.05 c nbDecision=4000 #constraints=1022 3.09/3.12 c nbDecision=4500 #constraints=1046 4.79/4.80 c nbDecision=5000 #constraints=1273 5.39/5.50 c nbDecision=5500 #constraints=1331 8.19/8.20 c nbDecision=6000 #constraints=1616 9.49/9.57 c restart after 6401 decisions 9.69/9.72 c nbDecision=6500 #constraints=1712 9.69/9.77 c nbDecision=7000 #constraints=1712 10.09/10.16 c nbDecision=7500 #constraints=1752 11.69/11.80 c nbDecision=8000 #constraints=1958 16.88/16.91 c nbDecision=8500 #constraints=2299 17.69/17.71 c nbDecision=9000 #constraints=2339 24.39/24.49 c nbDecision=9500 #constraints=2797 28.08/28.10 c nbDecision=10000 #constraints=2952 29.59/29.69 c nbDecision=10500 #constraints=3193 30.29/30.36 c nbDecision=11000 #constraints=3471 30.49/30.53 c nbDecision=11500 #constraints=3512 32.38/32.49 c nbDecision=12000 #constraints=3655 35.28/35.35 c nbDecision=12500 #constraints=3781 35.58/35.66 c restart after 12801 decisions 36.28/36.33 c nbDecision=13000 #constraints=3795 36.58/36.62 c nbDecision=13500 #constraints=3822 45.18/45.24 c nbDecision=14000 #constraints=4215 47.38/47.47 c nbDecision=14500 #constraints=4288 51.88/51.91 c nbDecision=15000 #constraints=4498 56.57/56.62 c nbDecision=15500 #constraints=4637 58.48/58.51 c nbDecision=16000 #constraints=4754 70.97/71.09 c nbDecision=16500 #constraints=5176 74.78/74.85 c nbDecision=17000 #constraints=5272 77.77/77.88 c nbDecision=17500 #constraints=5432 92.27/92.31 c nbDecision=18000 #constraints=5853 99.66/99.71 c nbDecision=18500 #constraints=6017 100.46/100.57 c nbDecision=19000 #constraints=6037 134.85/134.96 c nbDecision=19500 #constraints=6374 137.65/137.75 c nbDecision=20000 #constraints=6401 140.36/140.45 c nbDecision=20500 #constraints=6459 153.95/154.05 c nbDecision=21000 #constraints=6883 161.45/161.53 c nbDecision=21500 #constraints=7024 163.85/164.00 c nbDecision=22000 #constraints=7139 183.75/183.81 c nbDecision=22500 #constraints=7561 189.74/189.86 c nbDecision=23000 #constraints=7662 196.14/196.28 c nbDecision=23500 #constraints=7901 215.64/215.79 c nbDecision=24000 #constraints=8278 222.64/222.71 c nbDecision=24500 #constraints=8390 224.93/225.04 c nbDecision=25000 #constraints=8505 245.82/245.91 c nbDecision=25500 #constraints=9009 251.83/251.95 c restart after 25601 decisions 255.53/255.67 c nbDecision=26000 #constraints=9110 264.52/264.60 c nbDecision=26500 #constraints=9230 274.72/274.86 c nbDecision=27000 #constraints=9393 278.51/278.69 c nbDecision=27500 #constraints=9527 300.51/300.68 c nbDecision=28000 #constraints=10032 325.41/325.58 c nbDecision=28500 #constraints=10370 338.20/338.38 c nbDecision=29000 #constraints=10537 361.49/361.65 c nbDecision=29500 #constraints=10657 374.39/374.56 c nbDecision=30000 #constraints=10724 380.89/381.06 c nbDecision=30500 #constraints=10831 381.60/381.76 c nbDecision=31000 #constraints=10838 387.59/387.79 c nbDecision=31500 #constraints=10912 406.99/407.10 c nbDecision=32000 #constraints=11331 438.18/438.36 c nbDecision=32500 #constraints=11723 450.37/450.59 c nbDecision=33000 #constraints=11857 452.28/452.45 c nbDecision=33500 #constraints=11879 477.27/477.48 c nbDecision=34000 #constraints=12336 511.56/511.76 c nbDecision=34500 #constraints=12669 518.86/519.07 c nbDecision=35000 #constraints=12748 526.55/526.79 c nbDecision=35500 #constraints=12919 560.04/560.27 c nbDecision=36000 #constraints=13421 588.54/588.75 c nbDecision=36500 #constraints=13672 591.14/591.37 c nbDecision=37000 #constraints=13692 670.92/671.18 c nbDecision=37500 #constraints=14009 686.21/686.48 c nbDecision=38000 #constraints=14059 706.20/706.48 c nbDecision=38500 #constraints=14270 725.80/726.05 c nbDecision=39000 #constraints=14413 741.10/741.32 c nbDecision=39500 #constraints=14622 781.49/781.77 c nbDecision=40000 #constraints=14959 788.28/788.56 c nbDecision=40500 #constraints=15017 810.38/810.63 c nbDecision=41000 #constraints=15299 848.67/848.95 c nbDecision=41500 #constraints=15599 855.57/855.84 c nbDecision=42000 #constraints=15647 876.66/876.96 c nbDecision=42500 #constraints=15981 923.25/923.57 c nbDecision=43000 #constraints=16368 939.74/940.09 c nbDecision=43500 #constraints=16499 943.75/944.07 c nbDecision=44000 #constraints=16571 992.14/992.41 c nbDecision=44500 #constraints=17077 1022.02/1022.30 c nbDecision=45000 #constraints=17291 1028.72/1029.09 c nbDecision=45500 #constraints=17337 1058.11/1058.41 c nbDecision=46000 #constraints=17753 1114.40/1114.78 c nbDecision=46500 #constraints=18167 1136.30/1136.62 c nbDecision=47000 #constraints=18318 1211.07/1211.45 c nbDecision=47500 #constraints=18530 1346.25/1346.64 c nbDecision=48000 #constraints=18879 1392.13/1392.52 c nbDecision=48500 #constraints=18998 1410.12/1410.51 c nbDecision=49000 #constraints=19116 1426.11/1426.50 c nbDecision=49500 #constraints=19198 1433.02/1433.46 c nbDecision=50000 #constraints=19301 1490.70/1491.14 c nbDecision=50500 #constraints=19691 1505.40/1505.81 c nbDecision=51000 #constraints=19768 1506.20/1506.65 c restart after 51201 decisions 1515.40/1515.87 c nbDecision=51500 #constraints=19775 1516.29/1516.72 c nbDecision=52000 #constraints=19780 1562.69/1563.19 c nbDecision=52500 #constraints=20241 1615.57/1616.01 c nbDecision=53000 #constraints=20558 1626.27/1626.73 c nbDecision=53500 #constraints=20623 1646.76/1647.21 c nbDecision=54000 #constraints=20910 1710.74/1711.26 c nbDecision=54500 #constraints=21412 1755.74/1756.27 c nbDecision=55000 #constraints=21681 1769.33/1769.87 c nbDecision=55500 #constraints=21762 1800.02/1800.50 Received signal 15 1801.32/1801.89 1801.32/1801.89 s UNKNOWN 1801.32/1801.89 1801.32/1801.89 c user time= 1800.58 s 1801.32/1801.89 c system time= 0.847871 s 1801.32/1801.89 c wall clock time=1801.9
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-357362-1176995714 -o ROOT/results/node65/solver-357362-1176995714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357362-1176995714/instance-357362-1176995714.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/64 9994 /proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=1468 CPUtime=0 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175561018 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134990031 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 367 161 127 317 0 46 0 [startup+0.100461 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9994 /proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=2840 CPUtime=0.09 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 543 0 0 0 9 0 0 0 18 0 1 0 175561018 2908160 492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 710 492 131 317 0 389 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2840 [startup+0.201462 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9994 /proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=5608 CPUtime=0.19 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 1252 0 0 0 19 0 0 0 18 0 1 0 175561018 5742592 1201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 1402 1201 137 317 0 1081 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5608 [startup+0.301469 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9994 /proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=5872 CPUtime=0.29 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 1325 0 0 0 29 0 0 0 19 0 1 0 175561018 6012928 1274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 1468 1274 137 317 0 1147 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5872 [startup+0.701503 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9994 /proc/meminfo: memFree=1582080/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=6636 CPUtime=0.69 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 1517 0 0 0 69 0 0 0 22 0 1 0 175561018 6795264 1466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 1659 1466 170 317 0 1338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6636 [startup+1.50157 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1575352/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=8780 CPUtime=1.49 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 2057 0 0 0 149 0 0 0 25 0 1 0 175561018 8990720 2006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284196 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 2195 2006 170 317 0 1874 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8780 [startup+3.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1573688/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=12560 CPUtime=3.09 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 2971 0 0 0 309 0 0 0 25 0 1 0 175561018 12861440 2920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 3140 2920 170 317 0 2819 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12560 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1564600/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=22800 CPUtime=6.29 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 5510 0 0 0 628 1 0 0 25 0 1 0 175561018 23347200 5459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272633 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 5700 5459 170 317 0 5379 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22800 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1547384/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=39120 CPUtime=12.69 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 9451 0 0 0 1266 3 0 0 25 0 1 0 175561018 40058880 9400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134742702 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 9780 9400 170 317 0 9459 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39120 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1516216/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=70356 CPUtime=25.49 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 16649 0 0 0 2542 7 0 0 25 0 1 0 175561018 72044544 16598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 17589 16598 170 317 0 17268 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70356 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1475704/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=115696 CPUtime=51.07 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 26840 0 0 0 5096 11 0 0 25 0 1 0 175561018 118472704 26789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 28924 26789 170 317 0 28603 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 115696 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1426872/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=161596 CPUtime=102.26 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 38879 0 0 0 10209 17 0 0 25 0 1 0 175561018 165474304 38828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563967 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 40399 38828 170 317 0 40078 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 161596 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1385016/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=212644 CPUtime=162.25 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 49490 0 0 0 16202 23 0 0 25 0 1 0 175561018 217747456 49439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 53161 49439 170 317 0 52840 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 212644 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1343480/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=251536 CPUtime=222.24 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 59750 0 0 0 22196 28 0 0 25 0 1 0 175561018 257572864 59642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 62884 59642 170 317 0 62563 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 251536 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1306040/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=288184 CPUtime=282.22 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 69228 0 0 0 28190 32 0 0 25 0 1 0 175561018 295100416 69120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 72046 69120 170 317 0 71725 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 288184 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1258168/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=357400 CPUtime=342.2 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 81026 0 0 0 34183 37 0 0 25 0 1 0 175561018 365977600 80918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 89350 80918 170 317 0 89029 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 357400 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1236664/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=378748 CPUtime=402.19 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 86511 0 0 0 40179 40 0 0 25 0 1 0 175561018 387837952 86403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 94687 86403 170 317 0 94366 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 378748 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1209336/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=404108 CPUtime=462.17 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 93267 0 0 0 46174 43 0 0 25 0 1 0 175561018 413806592 93159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 101027 93159 170 317 0 100706 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 404108 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1189048/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=424256 CPUtime=522.15 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 98451 0 0 0 52169 46 0 0 25 0 1 0 175561018 434438144 98343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 106064 98343 170 317 0 105743 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 424256 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1163896/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=447208 CPUtime=582.14 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 104554 0 0 0 58165 49 0 0 25 0 1 0 175561018 457940992 104446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 111802 104446 170 317 0 111481 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 447208 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1155000/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=456336 CPUtime=642.12 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 106790 0 0 0 64163 49 0 0 25 0 1 0 175561018 467288064 106682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284640 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 114084 106682 170 317 0 113763 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 456336 ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1035512/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=570728 CPUtime=1062.01 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 136722 0 0 0 106138 63 0 0 25 0 1 0 175561018 584425472 136500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 142682 136500 170 317 0 142361 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 570728 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1022136/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=583184 CPUtime=1122 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 140040 0 0 0 112134 66 0 0 25 0 1 0 175561018 597180416 139818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 145796 139818 170 317 0 145475 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 583184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1014776/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=590440 CPUtime=1181.98 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 141875 0 0 0 118131 67 0 0 25 0 1 0 175561018 604610560 141653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278991 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 147610 141653 170 317 0 147289 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 590440 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=1006776/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=604828 CPUtime=1241.97 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 145064 0 0 0 124129 68 0 0 25 0 1 0 175561018 619343872 143588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604138 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 151207 143588 170 317 0 150886 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 604828 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=984248/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=683152 CPUtime=1301.95 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 160568 0 0 0 130122 73 0 0 25 0 1 0 175561018 699547648 149192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 170788 149192 170 317 0 170467 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 683152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=979384/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=688088 CPUtime=1361.94 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 161780 0 0 0 136120 74 0 0 25 0 1 0 175561018 704602112 150404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284242 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 172022 150404 170 317 0 171701 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 688088 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9995 /proc/meminfo: memFree=970616/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=695880 CPUtime=1421.92 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 163957 0 0 0 142118 74 0 0 25 0 1 0 175561018 712581120 152581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 173970 152581 170 317 0 173649 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 695880 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9997 /proc/meminfo: memFree=955896/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=709432 CPUtime=1481.9 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 167754 0 0 0 148114 76 0 0 25 0 1 0 175561018 726458368 156378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 177358 156378 170 317 0 177037 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 709432 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9997 /proc/meminfo: memFree=942392/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=722352 CPUtime=1541.89 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 171009 0 0 0 154112 77 0 0 25 0 1 0 175561018 739688448 159633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 180588 159633 170 317 0 180267 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 722352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9997 /proc/meminfo: memFree=929656/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=733688 CPUtime=1601.88 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 174199 0 0 0 160109 79 0 0 25 0 1 0 175561018 751296512 162823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 183422 162823 170 317 0 183101 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 733688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9997 /proc/meminfo: memFree=912056/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=750196 CPUtime=1661.86 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 178589 0 0 0 166105 81 0 0 25 0 1 0 175561018 768200704 167213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 187549 167213 170 317 0 187228 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 750196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9997 /proc/meminfo: memFree=897208/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=763484 CPUtime=1721.84 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 182283 0 0 0 172101 83 0 0 25 0 1 0 175561018 781807616 170907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 190871 170907 170 317 0 190550 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 763484 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9997 /proc/meminfo: memFree=887032/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=772508 CPUtime=1781.82 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 184837 0 0 0 178098 84 0 0 25 0 1 0 175561018 791048192 173428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 193127 173428 170 317 0 192806 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 772508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9997 /proc/meminfo: memFree=885176/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=773948 CPUtime=1800.02 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185293 0 0 0 179918 84 0 0 25 0 1 0 175561018 792522752 173884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 193487 173884 170 317 0 193166 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 773948 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9998 /proc/meminfo: memFree=885104/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=774092 CPUtime=1800.22 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185308 0 0 0 179938 84 0 0 25 0 1 0 175561018 792670208 173899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 193523 173899 170 317 0 193202 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 774092 [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9998 /proc/meminfo: memFree=885104/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=774092 CPUtime=1801.02 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185325 0 0 0 180018 84 0 0 25 0 1 0 175561018 792670208 173916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 193523 173916 170 317 0 193202 0 Current children cumulated CPU time (s) 1801.02 Current children cumulated vsize (KiB) 774092 [startup+1801.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9998 /proc/meminfo: memFree=884976/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=739640 CPUtime=1801.42 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194304 185345 0 0 0 180058 84 0 0 25 0 1 0 175561018 757391360 168722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 184845 168683 186 317 0 184524 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 739640 [startup+1802 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9998 /proc/meminfo: memFree=884976/2055920 swapFree=4184012/4192956 [pid=9994] ppid=9992 vsize=0 CPUtime=1801.52 /proc/9994/stat : 9994 (oree) R 9992 9994 8643 0 -1 4194308 185345 0 0 0 180058 94 0 0 25 0 1 0 175561018 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9994/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.52 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1802.02 CPU time (s): 1801.55 CPU user time (s): 1800.59 CPU system time (s): 0.957854 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 774092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.59 system time used= 0.957854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 185345 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= 1737 runsolver used 1.3328 second user time and 3.61245 second system time The end
Begin job on node65 on Thu Apr 19 15:15:14 UTC 2007 IDJOB= 357362 IDBENCH= 2472 IDSOLVER= 172 FILE ID= node65/357362-1176995714 PBS_JOBID= 4630420 Free space on /tmp= 66400 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb COMMAND LINE= oree /tmp/evaluation/357362-1176995714/instance-357362-1176995714.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-357362-1176995714 -o ROOT/results/node65/solver-357362-1176995714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357362-1176995714/instance-357362-1176995714.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8db02a87a2ff672cda2bdb003f710a98 RANDOM SEED= 380462040 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1582552 kB Buffers: 28340 kB Cached: 390276 kB SwapCached: 2712 kB Active: 206912 kB Inactive: 226056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1582552 kB SwapTotal: 4192956 kB SwapFree: 4184012 kB Dirty: 1956 kB Writeback: 0 kB Mapped: 20344 kB Slab: 26360 kB Committed_AS: 2290176 kB PageTables: 1468 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= 66400 MiB End job on node65 on Thu Apr 19 15:45:17 UTC 2007