Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb |
MD5SUM | 825fd1904b2d777401b7be7f08c7951c |
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 | 20611 |
Total number of constraints | 3921 |
Number of constraints which are clauses | 563 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3358 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 262118 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524354 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262118 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524354 |
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.39/0.47 c ...done 0.39/0.47 c #vars=20611 #constraints=3923 hasObjective=yes 0.49/0.53 c res. mode=mod 0.49/0.53 c VSIDS like heuristics 0.49/0.53 c complete search running 0.79/0.88 c restart after 401 decisions 0.89/0.97 c nbDecision=500 #constraints=3923 1.19/1.24 c restart after 801 decisions 1.39/1.41 c nbDecision=1000 #constraints=3923 1.79/1.85 c nbDecision=1500 #constraints=3923 1.89/1.94 c restart after 1601 decisions 2.20/2.29 c nbDecision=2000 #constraints=3923 2.69/2.77 c nbDecision=2500 #constraints=3966 4.19/4.25 c nbDecision=3000 #constraints=4373 4.99/5.04 c restart after 3201 decisions 5.29/5.31 c nbDecision=3500 #constraints=4564 5.69/5.75 c nbDecision=4000 #constraints=4564 8.08/8.11 c nbDecision=4500 #constraints=4999 10.69/10.79 c nbDecision=5000 #constraints=5428 13.89/13.95 c nbDecision=5500 #constraints=5857 17.38/17.47 c nbDecision=6000 #constraints=6275 20.79/20.80 c restart after 6401 decisions 20.89/20.95 c nbDecision=6500 #constraints=6630 21.28/21.39 c nbDecision=7000 #constraints=6630 23.98/24.03 c nbDecision=7500 #constraints=6854 28.48/28.50 c nbDecision=8000 #constraints=7295 33.28/33.36 c nbDecision=8500 #constraints=7731 39.38/39.50 c nbDecision=9000 #constraints=8184 46.97/47.03 c nbDecision=9500 #constraints=8644 53.18/53.29 c nbDecision=10000 #constraints=9071 60.97/61.04 c nbDecision=10500 #constraints=9521 69.17/69.27 c nbDecision=11000 #constraints=9997 76.57/76.62 c nbDecision=11500 #constraints=10437 88.27/88.32 c nbDecision=12000 #constraints=10906 97.77/97.83 c nbDecision=12500 #constraints=11336 104.07/104.17 c restart after 12801 decisions 104.47/104.58 c nbDecision=13000 #constraints=11596 104.97/105.03 c nbDecision=13500 #constraints=11596 114.66/114.76 c nbDecision=14000 #constraints=11939 124.85/124.99 c nbDecision=14500 #constraints=12305 134.36/134.44 c nbDecision=15000 #constraints=12763 144.45/144.51 c nbDecision=15500 #constraints=13192 155.25/155.36 c nbDecision=16000 #constraints=13632 167.35/167.48 c nbDecision=16500 #constraints=14068 179.44/179.53 c nbDecision=17000 #constraints=14496 193.55/193.60 c nbDecision=17500 #constraints=14931 208.74/208.90 c nbDecision=18000 #constraints=15374 225.23/225.40 c nbDecision=18500 #constraints=15815 246.23/246.33 c nbDecision=19000 #constraints=16264 259.02/259.15 c nbDecision=19500 #constraints=16695 263.42/263.51 c nbDecision=20000 #constraints=17121 272.62/272.74 c nbDecision=20500 #constraints=17474 274.71/274.85 c nbDecision=21000 #constraints=17704 276.92/277.02 c nbDecision=21500 #constraints=18117 279.22/279.36 c nbDecision=22000 #constraints=18487 281.92/282.06 c nbDecision=22500 #constraints=18711 284.31/284.48 c nbDecision=23000 #constraints=18923 287.22/287.38 c nbDecision=23500 #constraints=19246 294.91/295.02 c nbDecision=24000 #constraints=19635 298.31/298.46 c nbDecision=24500 #constraints=19964 301.91/302.01 c nbDecision=25000 #constraints=20202 305.41/305.51 c nbDecision=25500 #constraints=20415 306.11/306.29 c restart after 25601 decisions 306.91/307.09 c nbDecision=26000 #constraints=20470 308.81/308.96 c nbDecision=26500 #constraints=20548 313.91/314.02 c nbDecision=27000 #constraints=21046 318.51/318.65 c nbDecision=27500 #constraints=21358 323.80/323.97 c nbDecision=28000 #constraints=21733 331.10/331.29 c nbDecision=28500 #constraints=22229 338.10/338.21 c nbDecision=29000 #constraints=22631 343.30/343.44 c nbDecision=29500 #constraints=22790 349.50/349.66 c nbDecision=30000 #constraints=23052 357.19/357.33 c nbDecision=30500 #constraints=23459 365.80/365.91 c nbDecision=31000 #constraints=23957 374.99/375.18 c nbDecision=31500 #constraints=24457 385.38/385.53 c nbDecision=32000 #constraints=24951 396.39/396.57 c nbDecision=32500 #constraints=25447 407.48/407.60 c nbDecision=33000 #constraints=25942 417.78/417.93 c nbDecision=33500 #constraints=26436 432.48/432.60 c nbDecision=34000 #constraints=26936 447.57/447.75 c nbDecision=34500 #constraints=27436 461.66/461.80 c nbDecision=35000 #constraints=27929 478.07/478.28 c nbDecision=35500 #constraints=28429 495.76/495.94 c nbDecision=36000 #constraints=28925 512.46/512.68 c nbDecision=36500 #constraints=29423 531.45/531.69 c nbDecision=37000 #constraints=29923 549.04/549.22 c nbDecision=37500 #constraints=30417 568.74/568.93 c nbDecision=38000 #constraints=30916 587.73/587.94 c nbDecision=38500 #constraints=31413 608.83/609.05 c nbDecision=39000 #constraints=31909 629.22/629.41 c nbDecision=39500 #constraints=32412 651.72/651.90 c nbDecision=40000 #constraints=32905 672.91/673.17 c nbDecision=40500 #constraints=33403 695.71/695.90 c nbDecision=41000 #constraints=33902 718.10/718.32 c nbDecision=41500 #constraints=34396 741.90/742.15 c nbDecision=42000 #constraints=34897 763.89/764.14 c nbDecision=42500 #constraints=35393 786.09/786.35 c nbDecision=43000 #constraints=35893 806.98/807.26 c nbDecision=43500 #constraints=36383 834.77/835.00 c nbDecision=44000 #constraints=36882 860.56/860.89 c nbDecision=44500 #constraints=37380 889.16/889.40 c nbDecision=45000 #constraints=37876 916.85/917.18 c nbDecision=45500 #constraints=38375 946.44/946.77 c nbDecision=46000 #constraints=38868 978.14/978.40 c nbDecision=46500 #constraints=39370 1007.43/1007.74 c nbDecision=47000 #constraints=39866 1038.92/1039.21 c nbDecision=47500 #constraints=40366 1069.11/1069.43 c nbDecision=48000 #constraints=40865 1100.90/1101.29 c nbDecision=48500 #constraints=41362 1133.80/1134.12 c nbDecision=49000 #constraints=41859 1165.28/1165.64 c nbDecision=49500 #constraints=42356 1198.47/1198.81 c nbDecision=50000 #constraints=42859 1232.37/1232.77 c nbDecision=50500 #constraints=43357 1259.07/1259.48 c nbDecision=51000 #constraints=43779 1268.56/1268.90 c restart after 51201 decisions 1269.66/1270.03 c nbDecision=51500 #constraints=43880 1270.36/1270.70 c nbDecision=52000 #constraints=43880 1297.15/1297.50 c nbDecision=52500 #constraints=44320 1328.25/1328.61 c nbDecision=53000 #constraints=44774 1357.44/1357.82 c nbDecision=53500 #constraints=45202 1391.53/1391.93 c nbDecision=54000 #constraints=45669 1422.32/1422.79 c nbDecision=54500 #constraints=46113 1457.31/1457.79 c nbDecision=55000 #constraints=46574 1489.90/1490.36 c nbDecision=55500 #constraints=47018 1524.10/1524.51 c nbDecision=56000 #constraints=47462 1562.28/1562.71 c nbDecision=56500 #constraints=47921 1600.47/1600.96 c nbDecision=57000 #constraints=48361 1632.77/1633.26 c nbDecision=57500 #constraints=48815 1674.35/1674.81 c nbDecision=58000 #constraints=49289 1707.35/1707.89 c nbDecision=58500 #constraints=49746 1742.54/1743.05 c nbDecision=59000 #constraints=50195 1774.43/1774.91 c nbDecision=59500 #constraints=50640 1800.03/1800.50 Received signal 15 1800.03/1800.54 1800.03/1800.54 s UNKNOWN 1800.03/1800.54 1800.03/1800.54 c user time= 1799.62 s 1800.03/1800.54 c system time= 0.45593 s 1800.03/1800.54 c wall clock time=1800.55
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-356908-1176847683 -o ROOT/results/node44/solver-356908-1176847683 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356908-1176847683/instance-356908-1176847683.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.77 0.93 0.98 3/77 20569 /proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=1468 CPUtime=0 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132680029 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 367 161 131 317 0 46 0 [startup+0.046417 s] /proc/loadavg: 0.77 0.93 0.98 3/77 20569 /proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=2128 CPUtime=0.04 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 341 0 0 0 4 0 0 0 18 0 1 0 132680029 2179072 323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 532 323 131 317 0 211 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2128 [startup+0.101421 s] /proc/loadavg: 0.77 0.93 0.98 3/77 20569 /proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=2920 CPUtime=0.09 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 546 0 0 0 9 0 0 0 18 0 1 0 132680029 2990080 528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 730 529 131 317 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2920 [startup+0.301442 s] /proc/loadavg: 0.77 0.93 0.98 3/77 20569 /proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=5692 CPUtime=0.29 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 1235 0 0 0 29 0 0 0 19 0 1 0 132680029 5828608 1217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 1423 1217 131 317 0 1102 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5692 [startup+0.701483 s] /proc/loadavg: 0.77 0.93 0.98 3/77 20569 /proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=12048 CPUtime=0.69 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 2846 0 0 0 68 1 0 0 23 0 1 0 132680029 12337152 2828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 3012 2828 138 317 0 2691 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12048 [startup+1.50156 s] /proc/loadavg: 0.77 0.93 0.98 2/78 20570 /proc/meminfo: memFree=1666808/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=12048 CPUtime=1.49 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 2846 0 0 0 148 1 0 0 25 0 1 0 132680029 12337152 2828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 3012 2828 138 317 0 2691 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12048 [startup+3.10273 s] /proc/loadavg: 0.79 0.94 0.98 2/78 20570 /proc/meminfo: memFree=1666680/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=12528 CPUtime=3.09 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 2912 0 0 0 308 1 0 0 25 0 1 0 132680029 12828672 2894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 3132 2894 139 317 0 2811 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12528 [startup+6.30106 s] /proc/loadavg: 0.79 0.94 0.98 2/78 20570 /proc/meminfo: memFree=1664632/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=14384 CPUtime=6.29 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 3389 0 0 0 628 1 0 0 25 0 1 0 132680029 14729216 3371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 3596 3371 139 317 0 3275 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14384 [startup+12.7017 s] /proc/loadavg: 0.82 0.94 0.98 2/78 20570 /proc/meminfo: memFree=1661112/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=17952 CPUtime=12.69 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 4276 0 0 0 1267 2 0 0 25 0 1 0 132680029 18382848 4258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 4488 4259 139 317 0 4167 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17952 [startup+25.501 s] /proc/loadavg: 0.85 0.94 0.98 2/78 20570 /proc/meminfo: memFree=1656376/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=22560 CPUtime=25.48 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 5404 0 0 0 2545 3 0 0 25 0 1 0 132680029 23101440 5386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 5640 5386 139 317 0 5319 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22560 [startup+51.1017 s] /proc/loadavg: 0.90 0.94 0.98 2/78 20570 /proc/meminfo: memFree=1650296/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=29420 CPUtime=51.08 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 6991 0 0 0 5103 5 0 0 25 0 1 0 132680029 30126080 6919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 7355 6919 139 317 0 7034 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29420 [startup+102.306 s] /proc/loadavg: 0.96 0.95 0.98 2/78 20570 /proc/meminfo: memFree=1642552/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=36600 CPUtime=102.27 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 8898 0 0 0 10220 7 0 0 25 0 1 0 132680029 37478400 8826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 9150 8826 139 317 0 8829 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36600 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.98 2/78 20570 /proc/meminfo: memFree=1634552/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=45916 CPUtime=162.25 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 10905 0 0 0 16216 9 0 0 25 0 1 0 132680029 47017984 10833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593504 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 11479 10833 139 317 0 11158 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 45916 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.98 2/78 20570 /proc/meminfo: memFree=1628792/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=51860 CPUtime=222.23 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 12415 0 0 0 22213 10 0 0 25 0 1 0 132680029 53104640 12237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 12965 12237 139 317 0 12644 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 51860 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1620984/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=59764 CPUtime=282.21 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 14420 0 0 0 28209 12 0 0 25 0 1 0 132680029 61198336 14242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 14941 14242 139 317 0 14620 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 59764 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1610360/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=70392 CPUtime=342.2 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 17029 0 0 0 34205 15 0 0 25 0 1 0 132680029 72081408 16851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 17598 16851 139 317 0 17277 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 70392 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1604344/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=76408 CPUtime=402.18 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 18542 0 0 0 40201 17 0 0 25 0 1 0 132680029 78241792 18364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 19102 18364 139 317 0 18781 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 76408 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1599480/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=81976 CPUtime=462.16 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 19743 0 0 0 46198 18 0 0 25 0 1 0 132680029 83943424 19565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 20494 19565 139 317 0 20173 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 81976 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1595960/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=85384 CPUtime=522.15 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 20618 0 0 0 52196 19 0 0 25 0 1 0 132680029 87433216 20440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 21346 20440 139 317 0 21025 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 85384 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1592248/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=89588 CPUtime=582.13 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 21716 0 0 0 58192 21 0 0 25 0 1 0 132680029 91738112 21326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 22397 21326 139 317 0 22076 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 89588 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1589816/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=91808 CPUtime=642.13 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 22358 0 0 0 64190 23 0 0 25 0 1 0 132680029 94011392 21968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 22952 21968 139 317 0 22631 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 91808 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1579512/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=104568 CPUtime=882.06 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 25618 0 0 0 88178 28 0 0 25 0 1 0 132680029 107077632 24568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 26142 24568 139 317 0 25821 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 104568 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1577336/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=106648 CPUtime=942.04 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 26153 0 0 0 94175 29 0 0 25 0 1 0 132680029 109207552 25103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 26662 25103 139 317 0 26341 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 106648 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1575352/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=108488 CPUtime=1002.03 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 26666 0 0 0 100173 30 0 0 25 0 1 0 132680029 111091712 25616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604492 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 27122 25616 139 317 0 26801 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 108488 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1573304/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=110324 CPUtime=1062.01 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 27170 0 0 0 106170 31 0 0 25 0 1 0 132680029 112971776 26120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 27581 26120 139 317 0 27260 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 110324 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1571320/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=111936 CPUtime=1122 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 27639 0 0 0 112168 32 0 0 25 0 1 0 132680029 114622464 26589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 27984 26589 139 317 0 27663 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 111936 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1569464/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=113628 CPUtime=1181.98 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 28106 0 0 0 118165 33 0 0 25 0 1 0 132680029 116355072 27056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 28407 27056 139 317 0 28086 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 113628 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1567544/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=115320 CPUtime=1241.97 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 28582 0 0 0 124163 34 0 0 25 0 1 0 132680029 118087680 27532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 28830 27532 139 317 0 28509 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 115320 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1565304/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=117412 CPUtime=1301.95 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 29140 0 0 0 130160 35 0 0 25 0 1 0 132680029 120229888 28090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 29353 28090 139 317 0 29032 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 117412 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1563000/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=119384 CPUtime=1361.94 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 29719 0 0 0 136157 37 0 0 25 0 1 0 132680029 122249216 28669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 29846 28669 139 317 0 29525 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 119384 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1560504/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=121664 CPUtime=1421.93 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 30347 0 0 0 142155 38 0 0 25 0 1 0 132680029 124583936 29297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 30416 29297 139 317 0 30095 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 121664 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1558392/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=124028 CPUtime=1481.91 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 30950 0 0 0 148152 39 0 0 25 0 1 0 132680029 127004672 29834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 31007 29834 139 317 0 30686 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 124028 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1555384/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=130772 CPUtime=1541.89 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 32345 0 0 0 154149 40 0 0 25 0 1 0 132680029 133910528 30569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 32693 30569 139 317 0 32372 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 130772 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1553336/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=132740 CPUtime=1601.87 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 32862 0 0 0 160146 41 0 0 25 0 1 0 132680029 135925760 31086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 33185 31086 139 317 0 32864 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 132740 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1551032/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=135484 CPUtime=1661.86 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 33540 0 0 0 166144 42 0 0 25 0 1 0 132680029 138735616 31632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 33871 31632 139 317 0 33550 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 135484 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1548728/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=137720 CPUtime=1721.85 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34146 0 0 0 172141 44 0 0 25 0 1 0 132680029 141025280 32238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 34430 32238 139 317 0 34109 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 137720 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1546296/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=139944 CPUtime=1781.83 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34755 0 0 0 178138 45 0 0 25 0 1 0 132680029 143302656 32847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 34986 32847 139 317 0 34665 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 139944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1545592/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=140604 CPUtime=1800.03 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34925 0 0 0 179958 45 0 0 25 0 1 0 132680029 143978496 33017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 35151 33017 139 317 0 34830 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 140604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.98 2/78 20570 /proc/meminfo: memFree=1545592/2055920 swapFree=4143528/4192956 [pid=20569] ppid=20567 vsize=140604 CPUtime=1800.03 /proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34925 0 0 0 179958 45 0 0 25 0 1 0 132680029 143978496 33017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20569/statm: 35151 33017 139 317 0 34830 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 140604 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1799.63 CPU system time (s): 0.480926 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 140604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.63 system time used= 0.480926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34941 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= 37268 runsolver used 2.20966 second user time and 4.34334 second system time The end
Begin job on node44 on Tue Apr 17 22:08:03 UTC 2007 IDJOB= 356908 IDBENCH= 1621 IDSOLVER= 172 FILE ID= node44/356908-1176847683 PBS_JOBID= 4590218 Free space on /tmp= 66429 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb COMMAND LINE= oree /tmp/evaluation/356908-1176847683/instance-356908-1176847683.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-356908-1176847683 -o ROOT/results/node44/solver-356908-1176847683 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356908-1176847683/instance-356908-1176847683.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 825fd1904b2d777401b7be7f08c7951c RANDOM SEED= 830676103 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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.234 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.234 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: 1678104 kB Buffers: 39024 kB Cached: 257132 kB SwapCached: 27456 kB Active: 219360 kB Inactive: 114284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1678104 kB SwapTotal: 4192956 kB SwapFree: 4143528 kB Dirty: 3412 kB Writeback: 0 kB Mapped: 31884 kB Slab: 29740 kB Committed_AS: 429900 kB PageTables: 1736 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= 66429 MiB End job on node44 on Tue Apr 17 22:38:06 UTC 2007