Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.97 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-glass4.opb |
MD5SUM | 9d32bc57adc83bca41f939562e4ccfd8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1228810444800 |
Best CPU time to get the best result obtained on this benchmark | 1742.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1228810444800 |
Optimality of the best value was proved | YES |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259231065 |
Number of bits of the biggest sum of numbers | 69 |
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.05/0.09 c ...done 0.05/0.09 c #vars=780 #constraints=442 hasObjective=yes 0.09/0.11 c res. mode=mod 0.09/0.11 c VSIDS like heuristics 0.09/0.11 c complete search running 0.19/0.23 c restart after 401 decisions 0.19/0.24 c nbDecision=500 #constraints=562 0.39/0.40 c restart after 801 decisions 0.39/0.42 c nbDecision=1000 #constraints=685 1.29/1.38 c nbDecision=1500 #constraints=1107 1.69/1.73 c restart after 1601 decisions 2.09/2.20 c nbDecision=2000 #constraints=1330 4.59/4.62 c nbDecision=2500 #constraints=1832 7.29/7.39 c nbDecision=3000 #constraints=2346 8.38/8.45 c restart after 3201 decisions 8.79/8.83 c nbDecision=3500 #constraints=2589 12.69/12.73 c nbDecision=4000 #constraints=3091 18.08/18.14 c nbDecision=4500 #constraints=3594 23.18/23.27 c nbDecision=5000 #constraints=3997 27.58/27.66 c nbDecision=5500 #constraints=4295 28.98/29.04 c nbDecision=6000 #constraints=4395 30.18/30.28 c restart after 6401 decisions 30.68/30.77 c nbDecision=6500 #constraints=4522 34.58/34.66 c nbDecision=7000 #constraints=4865 42.18/42.20 c nbDecision=7500 #constraints=5365 49.67/49.73 c nbDecision=8000 #constraints=5771 54.47/54.54 c nbDecision=8500 #constraints=6012 56.27/56.31 c nbDecision=9000 #constraints=6143 63.06/63.11 c nbDecision=9500 #constraints=6645 72.57/72.65 c nbDecision=10000 #constraints=7147 80.36/80.50 c nbDecision=10500 #constraints=7504 85.96/86.08 c nbDecision=11000 #constraints=7720 89.65/89.74 c nbDecision=11500 #constraints=7867 90.36/90.49 c nbDecision=12000 #constraints=7897 91.96/92.08 c nbDecision=12500 #constraints=8179 93.86/93.90 c restart after 12801 decisions 94.86/94.92 c nbDecision=13000 #constraints=8483 98.15/98.28 c nbDecision=13500 #constraints=8905 103.75/103.81 c nbDecision=14000 #constraints=9404 111.06/111.19 c nbDecision=14500 #constraints=9905 120.44/120.51 c nbDecision=15000 #constraints=10405 129.75/129.83 c nbDecision=15500 #constraints=10907 140.44/140.54 c nbDecision=16000 #constraints=11420 153.74/153.82 c nbDecision=16500 #constraints=11924 169.73/169.85 c nbDecision=17000 #constraints=12424 188.63/188.71 c nbDecision=17500 #constraints=12924 207.32/207.42 c nbDecision=18000 #constraints=13400 230.32/230.48 c nbDecision=18500 #constraints=13879 245.30/245.40 c nbDecision=19000 #constraints=14224 249.91/250.00 c nbDecision=19500 #constraints=14588 259.30/259.41 c nbDecision=20000 #constraints=15092 273.29/273.42 c nbDecision=20500 #constraints=15593 290.09/290.22 c nbDecision=21000 #constraints=16097 309.69/309.82 c nbDecision=21500 #constraints=16594 331.88/332.08 c nbDecision=22000 #constraints=17097 354.17/354.38 c nbDecision=22500 #constraints=17612 377.46/377.67 c nbDecision=23000 #constraints=18113 404.56/404.75 c nbDecision=23500 #constraints=18615 431.84/432.02 c nbDecision=24000 #constraints=19059 462.13/462.31 c nbDecision=24500 #constraints=19473 478.53/478.79 c nbDecision=25000 #constraints=19716 483.12/483.30 c nbDecision=25500 #constraints=19799 484.72/484.92 c restart after 25601 decisions 489.93/490.17 c nbDecision=26000 #constraints=20022 500.52/500.74 c nbDecision=26500 #constraints=20524 513.92/514.18 c nbDecision=27000 #constraints=21025 530.81/531.03 c nbDecision=27500 #constraints=21524 550.40/550.63 c nbDecision=28000 #constraints=22025 569.69/569.93 c nbDecision=28500 #constraints=22524 589.99/590.28 c nbDecision=29000 #constraints=23040 616.48/616.71 c nbDecision=29500 #constraints=23543 648.08/648.36 c nbDecision=30000 #constraints=24045 683.76/684.05 c nbDecision=30500 #constraints=24544 721.15/721.41 c nbDecision=31000 #constraints=25023 756.93/757.26 c nbDecision=31500 #constraints=25455 766.13/766.46 c nbDecision=32000 #constraints=25711 769.53/769.83 c nbDecision=32500 #constraints=26041 773.04/773.32 c nbDecision=33000 #constraints=26369 779.63/779.94 c nbDecision=33500 #constraints=26875 786.83/787.14 c nbDecision=34000 #constraints=27336 791.63/791.90 c nbDecision=34500 #constraints=27640 796.03/796.31 c nbDecision=35000 #constraints=27971 804.42/804.73 c nbDecision=35500 #constraints=28473 814.61/814.99 c nbDecision=36000 #constraints=28974 825.41/825.78 c nbDecision=36500 #constraints=29419 830.51/830.80 c nbDecision=37000 #constraints=29646 838.01/838.33 c nbDecision=37500 #constraints=30034 851.01/851.40 c nbDecision=38000 #constraints=30538 865.70/866.04 c nbDecision=38500 #constraints=30999 873.10/873.49 c nbDecision=39000 #constraints=31243 880.00/880.37 c nbDecision=39500 #constraints=31466 893.19/893.51 c nbDecision=40000 #constraints=31946 910.28/910.61 c nbDecision=40500 #constraints=32425 925.18/925.58 c nbDecision=41000 #constraints=32800 935.58/935.91 c nbDecision=41500 #constraints=33231 951.37/951.71 c nbDecision=42000 #constraints=33734 969.97/970.33 c nbDecision=42500 #constraints=34214 991.76/992.15 c nbDecision=43000 #constraints=34680 1001.65/1002.04 c nbDecision=43500 #constraints=34965 1018.25/1018.61 c nbDecision=44000 #constraints=35468 1040.64/1041.05 c nbDecision=44500 #constraints=35971 1066.03/1066.47 c nbDecision=45000 #constraints=36432 1080.83/1081.28 c nbDecision=45500 #constraints=36719 1095.22/1095.67 c nbDecision=46000 #constraints=37086 1122.41/1122.81 c nbDecision=46500 #constraints=37587 1150.50/1150.93 c nbDecision=47000 #constraints=38031 1164.70/1165.13 c nbDecision=47500 #constraints=38374 1186.19/1186.63 c nbDecision=48000 #constraints=38878 1212.79/1213.29 c nbDecision=48500 #constraints=39381 1242.37/1242.81 c nbDecision=49000 #constraints=39840 1263.66/1264.18 c nbDecision=49500 #constraints=40202 1282.96/1283.47 c nbDecision=50000 #constraints=40631 1309.95/1310.48 c nbDecision=50500 #constraints=41131 1340.94/1341.48 c nbDecision=51000 #constraints=41615 1355.84/1356.39 c restart after 51201 decisions 1362.03/1362.56 c nbDecision=51500 #constraints=41818 1388.02/1388.56 c nbDecision=52000 #constraints=42201 1399.92/1400.49 c nbDecision=52500 #constraints=42372 1426.11/1426.69 c nbDecision=53000 #constraints=42875 1462.60/1463.18 c nbDecision=53500 #constraints=43372 1501.20/1501.80 c nbDecision=54000 #constraints=43799 1515.40/1516.06 c nbDecision=54500 #constraints=44050 1542.27/1542.96 c nbDecision=55000 #constraints=44551 1579.46/1580.13 c nbDecision=55500 #constraints=45051 1621.84/1622.52 c nbDecision=56000 #constraints=45516 1643.94/1644.67 c nbDecision=56500 #constraints=45803 1673.82/1674.57 c nbDecision=57000 #constraints=46305 1714.41/1715.10 c nbDecision=57500 #constraints=46806 1760.00/1760.70 c nbDecision=58000 #constraints=47268 1785.59/1786.40 c nbDecision=58500 #constraints=47552 1800.09/1800.80 Received signal 15 1800.09/1800.90 1800.09/1800.90 s UNKNOWN 1800.09/1800.90 1800.09/1800.90 c user time= 1799.52 s 1800.09/1800.90 c system time= 0.674897 s 1800.09/1800.90 c wall clock time=1800.9
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-357283-1176993398 -o ROOT/results/node67/solver-357283-1176993398 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357283-1176993398/instance-357283-1176993398.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 10328 /proc/meminfo: memFree=1772720/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=1468 CPUtime=0 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 172 0 0 0 0 0 0 0 19 0 1 0 175329346 1503232 154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271371 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 367 154 131 317 0 46 0 [startup+0.0522229 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10328 /proc/meminfo: memFree=1772720/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=2128 CPUtime=0.05 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 340 0 0 0 5 0 0 0 19 0 1 0 175329346 2179072 322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 532 322 131 317 0 211 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2128 [startup+0.101231 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10328 /proc/meminfo: memFree=1772720/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=2788 CPUtime=0.09 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 530 0 0 0 9 0 0 0 19 0 1 0 175329346 2854912 512 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 730 512 137 317 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2788 [startup+0.301268 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10328 /proc/meminfo: memFree=1772720/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=3976 CPUtime=0.29 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 818 0 0 0 29 0 0 0 20 0 1 0 175329346 4071424 800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 994 800 139 317 0 673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3976 [startup+0.701341 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10328 /proc/meminfo: memFree=1772720/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=5288 CPUtime=0.69 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 1166 0 0 0 69 0 0 0 24 0 1 0 175329346 5414912 1148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 1322 1148 170 317 0 1001 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5288 [startup+1.50149 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1767720/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=7148 CPUtime=1.49 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 1630 0 0 0 149 0 0 0 25 0 1 0 175329346 7319552 1612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 1787 1612 170 317 0 1466 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7148 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1765992/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=9724 CPUtime=3.09 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 2228 0 0 0 309 0 0 0 25 0 1 0 175329346 9957376 2210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 2431 2210 170 317 0 2110 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9724 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1762032/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=12464 CPUtime=6.29 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 2953 0 0 0 628 1 0 0 25 0 1 0 175329346 12763136 2935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 3116 2935 170 317 0 2795 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12464 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1754352/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=20428 CPUtime=12.69 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 4842 0 0 0 1267 2 0 0 25 0 1 0 175329346 20918272 4824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 5107 4824 170 317 0 4786 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20428 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1745456/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=28320 CPUtime=25.48 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 6925 0 0 0 2545 3 0 0 25 0 1 0 175329346 28999680 6907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 7080 6907 170 317 0 6759 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28320 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1730608/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=44392 CPUtime=51.07 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 10660 0 0 0 5101 6 0 0 25 0 1 0 175329346 45457408 10642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 11098 10642 170 317 0 10777 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44392 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1707376/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=69024 CPUtime=102.26 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 16466 0 0 0 10216 10 0 0 25 0 1 0 175329346 70680576 16390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 17256 16390 170 317 0 16935 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 69024 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10329 /proc/meminfo: memFree=1682800/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=93796 CPUtime=162.23 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 22600 0 0 0 16209 14 0 0 25 0 1 0 175329346 96047104 22524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 23449 22524 170 317 0 23128 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 93796 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1670704/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=104888 CPUtime=222.21 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 25573 0 0 0 22205 16 0 0 25 0 1 0 175329346 107405312 25497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 26222 25497 170 317 0 25901 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 104888 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1652848/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=123104 CPUtime=282.2 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 30077 0 0 0 28200 20 0 0 25 0 1 0 175329346 126058496 30001 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 30776 30001 170 317 0 30455 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 123104 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1639664/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=142924 CPUtime=342.17 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 34605 0 0 0 34195 22 0 0 25 0 1 0 175329346 146354176 33227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 35731 33227 170 317 0 35410 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 142924 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1629168/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=152992 CPUtime=402.16 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 37263 0 0 0 40191 25 0 0 25 0 1 0 175329346 156663808 35885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 38248 35885 170 317 0 37927 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 152992 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1622000/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=159248 CPUtime=462.13 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 39025 0 0 0 46188 25 0 0 25 0 1 0 175329346 163069952 37647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 39812 37647 170 317 0 39491 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 159248 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1611184/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=169516 CPUtime=522.11 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 41749 0 0 0 52183 28 0 0 25 0 1 0 175329346 173584384 40371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 42379 40371 170 317 0 42058 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 169516 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1601008/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=180336 CPUtime=582.1 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 44262 0 0 0 58180 30 0 0 25 0 1 0 175329346 184664064 42884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 45084 42884 170 317 0 44763 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 180336 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1595312/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=185300 CPUtime=642.07 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 45674 0 0 0 64177 30 0 0 25 0 1 0 175329346 189747200 44296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 46325 44296 170 317 0 46004 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 185300 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1541744/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=236472 CPUtime=882 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 59057 0 0 0 88159 41 0 0 25 0 1 0 175329346 242147328 57679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 59118 57679 170 317 0 58797 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 236472 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1526512/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=265748 CPUtime=941.97 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 66341 0 0 0 94153 44 0 0 25 0 1 0 175329346 272125952 61518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 66437 61518 170 317 0 66116 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 265748 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1514992/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=276408 CPUtime=1001.95 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 69198 0 0 0 100149 46 0 0 25 0 1 0 175329346 283041792 64342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 69102 64342 170 317 0 68781 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 276408 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1504688/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=286312 CPUtime=1061.93 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 71910 0 0 0 106144 49 0 0 25 0 1 0 175329346 293183488 66955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 71578 66955 170 317 0 71257 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 286312 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1494576/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=300132 CPUtime=1121.92 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 75313 0 0 0 112141 51 0 0 25 0 1 0 175329346 307335168 69434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 75033 69434 170 317 0 74712 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 300132 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1485616/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=308200 CPUtime=1181.89 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 77574 0 0 0 118137 52 0 0 25 0 1 0 175329346 315596800 71695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 77050 71695 170 317 0 76729 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 308200 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1477552/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=315368 CPUtime=1241.87 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 79582 0 0 0 124133 54 0 0 25 0 1 0 175329346 322936832 73670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 78842 73670 170 317 0 78521 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 315368 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1468592/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=323204 CPUtime=1301.85 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 81805 0 0 0 130129 56 0 0 25 0 1 0 175329346 330960896 75893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 80801 75893 170 317 0 80480 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 323204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10331 /proc/meminfo: memFree=1462512/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=328744 CPUtime=1361.83 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 83356 0 0 0 136126 57 0 0 25 0 1 0 175329346 336633856 77444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 82186 77444 170 317 0 81865 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 328744 [startup+1422.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 10331 /proc/meminfo: memFree=1455024/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=335888 CPUtime=1421.81 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 85329 0 0 0 142122 59 0 0 25 0 1 0 175329346 343949312 79318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 83972 79318 170 317 0 83651 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 335888 [startup+1482.3 s] /proc/loadavg: 1.07 1.02 1.00 2/71 10447 /proc/meminfo: memFree=1447912/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=341672 CPUtime=1481.73 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 86908 0 0 0 148112 61 0 0 25 0 1 0 175329346 349872128 80765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 85418 80765 170 317 0 85097 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 341672 [startup+1542.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 10529 /proc/meminfo: memFree=1441584/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=348524 CPUtime=1541.67 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 88752 0 0 0 154104 63 0 0 25 0 1 0 175329346 356888576 82609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 87131 82609 170 317 0 86810 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 348524 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 10529 /proc/meminfo: memFree=1435888/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=353684 CPUtime=1601.65 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 90177 0 0 0 160101 64 0 0 25 0 1 0 175329346 362172416 84034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 88421 84034 170 317 0 88100 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 353684 [startup+1662.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 10529 /proc/meminfo: memFree=1429552/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=359248 CPUtime=1661.62 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 91745 0 0 0 166097 65 0 0 25 0 1 0 175329346 367869952 85602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 89812 85602 170 317 0 89491 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 359248 [startup+1722.3 s] /proc/loadavg: 1.06 1.05 1.00 2/65 10529 /proc/meminfo: memFree=1423792/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=364256 CPUtime=1721.61 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 93181 0 0 0 172095 66 0 0 25 0 1 0 175329346 372998144 87038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 91064 87038 170 317 0 90743 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 364256 [startup+1782.3 s] /proc/loadavg: 1.02 1.04 1.00 2/65 10529 /proc/meminfo: memFree=1419248/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=368388 CPUtime=1781.59 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 94323 0 0 0 178092 67 0 0 25 0 1 0 175329346 377229312 88180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604145 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 92097 88180 170 317 0 91776 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 368388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.01 1.03 1.00 2/65 10529 /proc/meminfo: memFree=1417136/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=370200 CPUtime=1800.09 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 94839 0 0 0 179942 67 0 0 25 0 1 0 175329346 379084800 88696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 92550 88696 170 317 0 92229 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 370200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.01 1.03 1.00 2/65 10529 /proc/meminfo: memFree=1417136/2055920 swapFree=4179676/4192956 [pid=10328] ppid=10326 vsize=370200 CPUtime=1800.18 /proc/10328/stat : 10328 (oree) R 10326 10328 9195 0 -1 4194304 94857 0 0 0 179951 67 0 0 25 0 1 0 175329346 379084800 88714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10328/statm: 92550 88714 186 317 0 92229 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 370200 Child status: 0 Real time (s): 1800.97 CPU time (s): 1800.26 CPU user time (s): 1799.53 CPU system time (s): 0.731888 CPU usage (%): 99.9605 Max. virtual memory (cumulated for all children) (KiB): 370200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.53 system time used= 0.731888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94857 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= 7 involuntary context switches= 2047 runsolver used 1.23981 second user time and 3.74643 second system time The end
Begin job on node67 on Thu Apr 19 14:36:38 UTC 2007 IDJOB= 357283 IDBENCH= 2347 IDSOLVER= 172 FILE ID= node67/357283-1176993398 PBS_JOBID= 4630411 Free space on /tmp= 66455 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb COMMAND LINE= oree /tmp/evaluation/357283-1176993398/instance-357283-1176993398.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-357283-1176993398 -o ROOT/results/node67/solver-357283-1176993398 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357283-1176993398/instance-357283-1176993398.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9d32bc57adc83bca41f939562e4ccfd8 RANDOM SEED= 691637618 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1773064 kB Buffers: 26488 kB Cached: 203008 kB SwapCached: 7008 kB Active: 81760 kB Inactive: 161100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773064 kB SwapTotal: 4192956 kB SwapFree: 4179676 kB Dirty: 1660 kB Writeback: 0 kB Mapped: 16016 kB Slab: 25940 kB Committed_AS: 281304 kB PageTables: 1452 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= 66455 MiB End job on node67 on Thu Apr 19 15:06:41 UTC 2007