Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.08 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb |
MD5SUM | 644f01bea590fadfbdc9e969c95da3cf |
Bench Category | OPT-SMALLINT (optimisation, small 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 | 23808 |
Total number of constraints | 1192 |
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 | 1192 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 5940 |
Number of terms in the objective function | 7968 |
Biggest coefficient in the objective function | 993 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 530424 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530424 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.19/0.25 c ...done 0.19/0.25 c #vars=23808 #constraints=1325 hasObjective=yes 0.29/0.39 c res. mode=mod 0.29/0.39 c VSIDS like heuristics 0.29/0.39 c complete search running 0.49/0.55 c restart after 401 decisions 0.49/0.58 c nbDecision=500 #constraints=1344 0.59/0.65 c restart after 801 decisions 0.69/0.70 c nbDecision=1000 #constraints=1354 0.79/0.80 c nbDecision=1500 #constraints=1364 0.79/0.82 c restart after 1601 decisions 0.89/0.91 c nbDecision=2000 #constraints=1365 1.00/1.02 c nbDecision=2500 #constraints=1373 1.10/1.14 c nbDecision=3000 #constraints=1384 1.10/1.18 c restart after 3201 decisions 1.19/1.25 c nbDecision=3500 #constraints=1384 1.29/1.36 c nbDecision=4000 #constraints=1394 1.39/1.47 c nbDecision=4500 #constraints=1394 1.49/1.58 c nbDecision=5000 #constraints=1403 1.59/1.69 c nbDecision=5500 #constraints=1410 1.69/1.80 c nbDecision=6000 #constraints=1414 1.79/1.88 c restart after 6401 decisions 1.89/1.91 c nbDecision=6500 #constraints=1416 1.99/2.02 c nbDecision=7000 #constraints=1416 2.10/2.12 c nbDecision=7500 #constraints=1424 2.20/2.23 c nbDecision=8000 #constraints=1424 2.29/2.34 c nbDecision=8500 #constraints=1425 2.39/2.44 c nbDecision=9000 #constraints=1425 2.49/2.55 c nbDecision=9500 #constraints=1434 2.59/2.66 c nbDecision=10000 #constraints=1434 2.69/2.76 c nbDecision=10500 #constraints=1434 2.79/2.87 c nbDecision=11000 #constraints=1445 2.89/2.98 c nbDecision=11500 #constraints=1445 2.99/3.09 c nbDecision=12000 #constraints=1455 3.09/3.19 c nbDecision=12500 #constraints=1455 3.19/3.26 c restart after 12801 decisions 3.29/3.30 c nbDecision=13000 #constraints=1455 3.39/3.41 c nbDecision=13500 #constraints=1455 3.49/3.51 c nbDecision=14000 #constraints=1455 3.59/3.63 c nbDecision=14500 #constraints=1464 3.69/3.73 c nbDecision=15000 #constraints=1464 3.79/3.83 c nbDecision=15500 #constraints=1464 3.89/3.94 c nbDecision=16000 #constraints=1475 3.99/4.04 c nbDecision=16500 #constraints=1486 4.09/4.14 c nbDecision=17000 #constraints=1496 4.19/4.24 c nbDecision=17500 #constraints=1505 4.29/4.34 c nbDecision=18000 #constraints=1506 4.39/4.44 c nbDecision=18500 #constraints=1516 4.49/4.54 c nbDecision=19000 #constraints=1527 4.59/4.63 c nbDecision=19500 #constraints=1527 4.69/4.73 c nbDecision=20000 #constraints=1528 4.79/4.82 c nbDecision=20500 #constraints=1535 4.89/4.92 c nbDecision=21000 #constraints=1539 4.99/5.03 c nbDecision=21500 #constraints=1579 5.39/5.45 c nbDecision=22000 #constraints=2080 5.99/6.06 c nbDecision=22500 #constraints=2580 6.79/6.89 c nbDecision=23000 #constraints=3080 7.89/7.96 c nbDecision=23500 #constraints=3581 9.29/9.30 c nbDecision=24000 #constraints=4076 10.89/10.97 c nbDecision=24500 #constraints=4573 12.98/13.01 c nbDecision=25000 #constraints=5075 15.38/15.44 c nbDecision=25500 #constraints=5574 15.88/15.97 c restart after 25601 decisions 15.98/16.08 c nbDecision=26000 #constraints=5677 16.08/16.18 c nbDecision=26500 #constraints=5677 16.18/16.28 c nbDecision=27000 #constraints=5677 16.28/16.38 c nbDecision=27500 #constraints=5677 17.39/17.47 c nbDecision=28000 #constraints=5865 20.49/20.53 c nbDecision=28500 #constraints=6366 23.88/23.94 c nbDecision=29000 #constraints=6865 27.78/27.88 c nbDecision=29500 #constraints=7365 32.18/32.23 c nbDecision=30000 #constraints=7861 36.98/37.01 c nbDecision=30500 #constraints=8359 42.67/42.71 c nbDecision=31000 #constraints=8857 48.77/48.84 c nbDecision=31500 #constraints=9356 55.27/55.37 c nbDecision=32000 #constraints=9857 62.27/62.36 c nbDecision=32500 #constraints=10357 69.67/69.78 c nbDecision=33000 #constraints=10857 77.37/77.45 c nbDecision=33500 #constraints=11349 85.46/85.55 c nbDecision=34000 #constraints=11846 93.85/93.95 c nbDecision=34500 #constraints=12348 103.35/103.47 c nbDecision=35000 #constraints=12845 113.25/113.33 c nbDecision=35500 #constraints=13348 123.45/123.51 c nbDecision=36000 #constraints=13848 134.05/134.11 c nbDecision=36500 #constraints=14347 144.94/145.06 c nbDecision=37000 #constraints=14846 156.73/156.81 c nbDecision=37500 #constraints=15346 168.83/168.92 c nbDecision=38000 #constraints=15840 181.33/181.42 c nbDecision=38500 #constraints=16340 194.02/194.15 c nbDecision=39000 #constraints=16839 207.01/207.14 c nbDecision=39500 #constraints=17339 219.11/219.20 c nbDecision=40000 #constraints=17779 229.41/229.53 c nbDecision=40500 #constraints=18266 238.71/238.87 c nbDecision=41000 #constraints=18768 246.90/247.02 c nbDecision=41500 #constraints=19088 251.60/251.71 c nbDecision=42000 #constraints=19511 265.59/265.79 c nbDecision=42500 #constraints=20013 280.09/280.21 c nbDecision=43000 #constraints=20513 294.48/294.60 c nbDecision=43500 #constraints=21012 309.37/309.57 c nbDecision=44000 #constraints=21512 324.67/324.84 c nbDecision=44500 #constraints=22013 340.36/340.58 c nbDecision=45000 #constraints=22514 356.06/356.27 c nbDecision=45500 #constraints=23006 372.15/372.35 c nbDecision=46000 #constraints=23510 386.75/386.94 c nbDecision=46500 #constraints=23977 400.04/400.20 c nbDecision=47000 #constraints=24465 412.94/413.11 c nbDecision=47500 #constraints=24955 424.83/425.06 c nbDecision=48000 #constraints=25421 433.63/433.87 c nbDecision=48500 #constraints=25739 455.92/456.20 c nbDecision=49000 #constraints=26200 486.81/487.00 c nbDecision=49500 #constraints=26701 518.30/518.52 c nbDecision=50000 #constraints=27199 550.48/550.74 c nbDecision=50500 #constraints=27700 584.17/584.47 c nbDecision=51000 #constraints=28203 596.97/597.27 c restart after 51201 decisions 597.17/597.43 c nbDecision=51500 #constraints=28401 597.27/597.54 c nbDecision=52000 #constraints=28401 597.37/597.64 c nbDecision=52500 #constraints=28401 597.47/597.73 c nbDecision=53000 #constraints=28401 603.46/603.73 c nbDecision=53500 #constraints=28491 636.56/636.90 c nbDecision=54000 #constraints=28992 670.54/670.87 c nbDecision=54500 #constraints=29494 704.93/705.27 c nbDecision=55000 #constraints=29993 739.82/740.17 c nbDecision=55500 #constraints=30492 775.81/776.16 c nbDecision=56000 #constraints=30993 808.40/808.74 c nbDecision=56500 #constraints=31491 839.48/839.86 c nbDecision=57000 #constraints=31993 870.77/871.10 c nbDecision=57500 #constraints=32491 903.66/904.08 c nbDecision=58000 #constraints=32994 936.55/936.92 c nbDecision=58500 #constraints=33494 969.53/969.93 c nbDecision=59000 #constraints=33992 1003.42/1003.80 c nbDecision=59500 #constraints=34493 1037.60/1038.08 c nbDecision=60000 #constraints=34993 1072.40/1072.87 c nbDecision=60500 #constraints=35489 1106.48/1106.94 c nbDecision=61000 #constraints=35986 1140.87/1141.34 c nbDecision=61500 #constraints=36489 1175.25/1175.73 c nbDecision=62000 #constraints=36987 1210.25/1210.78 c nbDecision=62500 #constraints=37488 1245.63/1246.17 c nbDecision=63000 #constraints=37987 1281.92/1282.44 c nbDecision=63500 #constraints=38488 1316.70/1317.26 c nbDecision=64000 #constraints=38985 1352.29/1352.88 c nbDecision=64500 #constraints=39483 1388.08/1388.68 c nbDecision=65000 #constraints=39984 1423.77/1424.30 c nbDecision=65500 #constraints=40483 1458.86/1459.43 c nbDecision=66000 #constraints=40974 1495.24/1495.85 c nbDecision=66500 #constraints=41479 1531.43/1532.10 c nbDecision=67000 #constraints=41978 1545.62/1546.29 c nbDecision=67500 #constraints=42177 1550.12/1550.74 c nbDecision=68000 #constraints=42567 1560.91/1561.52 c nbDecision=68500 #constraints=42732 1567.81/1568.47 c nbDecision=69000 #constraints=42978 1581.00/1581.61 c nbDecision=69500 #constraints=43116 1583.31/1583.95 c nbDecision=70000 #constraints=43507 1591.21/1591.84 c nbDecision=70500 #constraints=43752 1597.90/1598.58 c nbDecision=71000 #constraints=44046 1605.30/1605.98 c nbDecision=71500 #constraints=44305 1614.80/1615.40 c nbDecision=72000 #constraints=44571 1621.39/1622.01 c nbDecision=72500 #constraints=44926 1628.29/1628.93 c nbDecision=73000 #constraints=45299 1633.39/1634.05 c nbDecision=73500 #constraints=45659 1646.28/1646.96 c nbDecision=74000 #constraints=45810 1651.08/1651.75 c nbDecision=74500 #constraints=46182 1663.17/1663.89 c nbDecision=75000 #constraints=46328 1670.37/1671.04 c nbDecision=75500 #constraints=46660 1678.38/1679.08 c nbDecision=76000 #constraints=46942 1693.37/1694.01 c nbDecision=76500 #constraints=47050 1699.47/1700.17 c nbDecision=77000 #constraints=47468 1718.15/1718.81 c nbDecision=77500 #constraints=47709 1728.05/1728.77 c nbDecision=78000 #constraints=47974 1739.65/1740.30 c nbDecision=78500 #constraints=48156 1751.24/1751.96 c nbDecision=79000 #constraints=48489 1761.74/1762.43 c nbDecision=79500 #constraints=48898 1777.44/1778.20 c nbDecision=80000 #constraints=49175 1791.63/1792.37 c nbDecision=80500 #constraints=49470 1800.04/1800.70 Received signal 15 1800.04/1800.71 1800.04/1800.71 s UNKNOWN 1800.04/1800.71 1800.04/1800.71 c user time= 1799.85 s 1800.04/1800.71 c system time= 0.203968 s 1800.04/1800.71 c wall clock time=1800.72
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-357018-1176851718 -o ROOT/results/node59/solver-357018-1176851718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357018-1176851718/instance-357018-1176851718.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.92 3/64 30722 /proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=1468 CPUtime=0 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 133081443 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 367 161 126 317 0 46 0 [startup+0.06769 s] /proc/loadavg: 0.99 0.97 0.92 3/64 30722 /proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=2544 CPUtime=0.06 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 438 0 0 0 6 0 0 0 18 0 1 0 133081443 2605056 420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 636 420 131 317 0 315 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2544 [startup+0.101694 s] /proc/loadavg: 0.99 0.97 0.92 3/64 30722 /proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=3072 CPUtime=0.09 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 586 0 0 0 9 0 0 0 18 0 1 0 133081443 3145728 568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 768 568 131 317 0 447 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3072 [startup+0.301733 s] /proc/loadavg: 0.99 0.97 0.92 3/64 30722 /proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=8148 CPUtime=0.29 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 1820 0 0 0 28 1 0 0 19 0 1 0 133081443 8343552 1802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 2037 1802 137 317 0 1716 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8148 [startup+0.701808 s] /proc/loadavg: 0.99 0.97 0.92 3/64 30722 /proc/meminfo: memFree=1831080/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=8872 CPUtime=0.69 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 1986 0 0 0 68 1 0 0 22 0 1 0 133081443 9084928 1968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606854 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 2218 1968 139 317 0 1897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8872 [startup+1.50196 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1823712/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=8872 CPUtime=1.49 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 1998 0 0 0 148 1 0 0 25 0 1 0 133081443 9084928 1980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 2218 1980 139 317 0 1897 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8872 [startup+3.10226 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1823520/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=9004 CPUtime=3.09 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 2022 0 0 0 308 1 0 0 25 0 1 0 133081443 9220096 2004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 2251 2004 139 317 0 1930 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9004 [startup+6.30187 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1822496/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=11000 CPUtime=6.29 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 2516 0 0 0 628 1 0 0 25 0 1 0 133081443 11264000 2498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 2750 2498 139 317 0 2429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11000 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1818416/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=14256 CPUtime=12.68 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 3322 0 0 0 1266 2 0 0 25 0 1 0 133081443 14598144 3304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 3564 3304 139 317 0 3243 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14256 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1815152/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=17644 CPUtime=25.48 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 4119 0 0 0 2545 3 0 0 25 0 1 0 133081443 18067456 4065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 4411 4065 139 317 0 4090 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17644 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1811888/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=20516 CPUtime=51.07 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 4919 0 0 0 5103 4 0 0 25 0 1 0 133081443 21008384 4865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 5129 4865 139 317 0 4808 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20516 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1806960/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=26380 CPUtime=102.25 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 6200 0 0 0 10220 5 0 0 25 0 1 0 133081443 27013120 6075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 6595 6075 139 317 0 6274 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 26380 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1803248/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=29560 CPUtime=162.23 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 7128 0 0 0 16217 6 0 0 25 0 1 0 133081443 30269440 7003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 7390 7003 139 317 0 7069 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29560 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1800048/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=32492 CPUtime=222.2 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 7903 0 0 0 22213 7 0 0 25 0 1 0 133081443 33271808 7778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604476 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 8123 7778 139 317 0 7802 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 32492 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1795888/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=38476 CPUtime=282.19 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 9342 0 0 0 28211 8 0 0 25 0 1 0 133081443 39399424 8821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 9619 8821 139 317 0 9298 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 38476 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1793072/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=41940 CPUtime=342.16 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 10169 0 0 0 34207 9 0 0 25 0 1 0 133081443 42946560 9507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563609 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 10485 9507 139 317 0 10164 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 41940 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1790320/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=44288 CPUtime=402.14 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 10859 0 0 0 40204 10 0 0 25 0 1 0 133081443 45350912 10197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 11072 10197 139 317 0 10751 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 44288 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1787696/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=46648 CPUtime=462.11 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 11503 0 0 0 46201 10 0 0 25 0 1 0 133081443 47767552 10841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 11662 10841 139 317 0 11341 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 46648 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1786416/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=47816 CPUtime=522.1 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 11826 0 0 0 52199 11 0 0 25 0 1 0 133081443 48963584 11164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 11954 11164 139 317 0 11633 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 47816 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1785072/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=49004 CPUtime=582.07 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 12162 0 0 0 58196 11 0 0 25 0 1 0 133081443 50180096 11500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 12251 11500 139 317 0 11930 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 49004 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1783856/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=50040 CPUtime=642.06 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 12451 0 0 0 64194 12 0 0 25 0 1 0 133081443 51240960 11789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 12510 11789 139 317 0 12189 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 50040 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1779120/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=54304 CPUtime=881.96 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 13681 0 0 0 88183 13 0 0 25 0 1 0 133081443 55607296 12986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 13576 12986 139 317 0 13255 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 54304 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1777904/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=55484 CPUtime=941.94 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14008 0 0 0 94180 14 0 0 25 0 1 0 133081443 56815616 13280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 13871 13280 139 317 0 13550 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 55484 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1776688/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=56536 CPUtime=1001.92 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14311 0 0 0 100178 14 0 0 25 0 1 0 133081443 57892864 13583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 14134 13583 139 317 0 13813 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 56536 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1775408/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=57832 CPUtime=1061.9 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14716 0 0 0 106175 15 0 0 25 0 1 0 133081443 59219968 13890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 14458 13890 139 317 0 14137 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 57832 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1774320/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=58884 CPUtime=1121.88 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 14993 0 0 0 112173 15 0 0 25 0 1 0 133081443 60297216 14167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 14721 14167 139 317 0 14400 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 58884 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1772784/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=64412 CPUtime=1181.85 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 16334 0 0 0 118170 15 0 0 25 0 1 0 133081443 65957888 14533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 16103 14533 139 317 0 15782 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 64412 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1771568/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=65592 CPUtime=1241.84 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 16659 0 0 0 124168 16 0 0 25 0 1 0 133081443 67166208 14825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 16398 14825 139 317 0 16077 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 65592 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1770480/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=66508 CPUtime=1301.81 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 16925 0 0 0 130165 16 0 0 25 0 1 0 133081443 68104192 15091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 16627 15091 139 317 0 16306 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 66508 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1769392/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=67548 CPUtime=1361.79 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 17246 0 0 0 136163 16 0 0 25 0 1 0 133081443 69169152 15379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 16887 15379 139 317 0 16566 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 67548 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30723 /proc/meminfo: memFree=1768112/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=69244 CPUtime=1421.77 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 17655 0 0 0 142160 17 0 0 25 0 1 0 133081443 70905856 15656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 17311 15656 139 317 0 16990 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 69244 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1765744/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=72604 CPUtime=1481.75 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 18571 0 0 0 148158 17 0 0 25 0 1 0 133081443 74346496 16224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 18151 16224 139 317 0 17830 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 72604 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1765808/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=72604 CPUtime=1541.73 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 18606 0 0 0 154156 17 0 0 25 0 1 0 133081443 74346496 16259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 18151 16259 139 317 0 17830 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 72604 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1762224/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=76100 CPUtime=1601.7 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 19489 0 0 0 160152 18 0 0 25 0 1 0 133081443 77926400 17142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 19025 17142 139 317 0 18704 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 76100 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1758768/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=79448 CPUtime=1661.67 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 20356 0 0 0 166149 18 0 0 25 0 1 0 133081443 81354752 18009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 19862 18009 139 317 0 19541 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 79448 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1756016/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=82384 CPUtime=1721.65 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21043 0 0 0 172146 19 0 0 25 0 1 0 133081443 84361216 18696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 20596 18696 139 317 0 20275 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 82384 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1753712/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=84500 CPUtime=1781.64 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21590 0 0 0 178144 20 0 0 25 0 1 0 133081443 86528000 19243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 21125 19243 139 317 0 20804 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 84500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1753200/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=84892 CPUtime=1800.04 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21714 0 0 0 179984 20 0 0 25 0 1 0 133081443 86929408 19367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 21223 19367 139 317 0 20902 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 84892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.92 2/65 30725 /proc/meminfo: memFree=1753200/2055920 swapFree=4184740/4192956 [pid=30722] ppid=30720 vsize=84892 CPUtime=1800.04 /proc/30722/stat : 30722 (oree) R 30720 30722 30425 0 -1 4194304 21714 0 0 0 179984 20 0 0 25 0 1 0 133081443 86929408 19367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30722/statm: 21223 19367 139 317 0 20902 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 84892 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.08 CPU user time (s): 1799.86 CPU system time (s): 0.217966 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 84892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.217966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21730 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= 3403 runsolver used 1.19382 second user time and 3.74343 second system time The end
Begin job on node59 on Tue Apr 17 23:15:18 UTC 2007 IDJOB= 357018 IDBENCH= 1781 IDSOLVER= 172 FILE ID= node59/357018-1176851718 PBS_JOBID= 4590238 Free space on /tmp= 66342 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb COMMAND LINE= oree /tmp/evaluation/357018-1176851718/instance-357018-1176851718.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-357018-1176851718 -o ROOT/results/node59/solver-357018-1176851718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357018-1176851718/instance-357018-1176851718.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 644f01bea590fadfbdc9e969c95da3cf RANDOM SEED= 635485444 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: 1831552 kB Buffers: 16152 kB Cached: 148944 kB SwapCached: 2252 kB Active: 35596 kB Inactive: 139108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831552 kB SwapTotal: 4192956 kB SwapFree: 4184740 kB Dirty: 2296 kB Writeback: 0 kB Mapped: 16576 kB Slab: 35692 kB Committed_AS: 1578624 kB PageTables: 1472 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= 66342 MiB End job on node59 on Tue Apr 17 23:45:21 UTC 2007