Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1544.4 | 1544.81 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n370b.opb |
MD5SUM | 1f80e288849d4e939571e6eefbd84b3a |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4779438072 |
Best CPU time to get the best result obtained on this benchmark | 1804.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4779438072 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29694485111877 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29694485111877 |
Number of bits of the biggest sum of numbers | 45 |
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... 2.29/2.37 c ...done 2.29/2.37 c #vars=155000 #constraints=5301 hasObjective=yes 4.19/4.30 c res. mode=mod 4.19/4.30 c VSIDS like heuristics 4.19/4.30 c complete search running 5.49/5.59 c restart after 401 decisions 5.79/5.82 c nbDecision=500 #constraints=5301 6.49/6.51 c restart after 801 decisions 6.88/6.96 c nbDecision=1000 #constraints=5301 7.98/8.09 c nbDecision=1500 #constraints=5301 8.28/8.33 c restart after 1601 decisions 9.18/9.22 c nbDecision=2000 #constraints=5301 10.28/10.35 c nbDecision=2500 #constraints=5301 11.38/11.45 c nbDecision=3000 #constraints=5301 11.88/11.90 c restart after 3201 decisions 12.48/12.58 c nbDecision=3500 #constraints=5301 13.68/13.71 c nbDecision=4000 #constraints=5301 14.78/14.83 c nbDecision=4500 #constraints=5301 15.88/15.95 c nbDecision=5000 #constraints=5301 16.98/17.05 c nbDecision=5500 #constraints=5301 18.08/18.18 c nbDecision=6000 #constraints=5301 18.98/19.08 c restart after 6401 decisions 19.28/19.31 c nbDecision=6500 #constraints=5301 20.38/20.44 c nbDecision=7000 #constraints=5301 21.48/21.58 c nbDecision=7500 #constraints=5301 22.68/22.71 c nbDecision=8000 #constraints=5301 23.78/23.85 c nbDecision=8500 #constraints=5301 24.88/24.97 c nbDecision=9000 #constraints=5301 26.08/26.10 c nbDecision=9500 #constraints=5301 27.18/27.22 c nbDecision=10000 #constraints=5301 28.28/28.34 c nbDecision=10500 #constraints=5301 29.38/29.45 c nbDecision=11000 #constraints=5301 30.48/30.54 c nbDecision=11500 #constraints=5301 31.58/31.62 c nbDecision=12000 #constraints=5301 47.37/47.49 c nbDecision=12500 #constraints=5616 66.47/66.59 c restart after 12801 decisions 67.17/67.25 c nbDecision=13000 #constraints=5862 68.27/68.38 c nbDecision=13500 #constraints=5862 69.47/69.51 c nbDecision=14000 #constraints=5862 70.57/70.64 c nbDecision=14500 #constraints=5862 71.67/71.77 c nbDecision=15000 #constraints=5862 72.77/72.89 c nbDecision=15500 #constraints=5862 73.97/74.01 c nbDecision=16000 #constraints=5862 75.07/75.13 c nbDecision=16500 #constraints=5862 76.27/76.35 c nbDecision=17000 #constraints=5862 77.57/77.64 c nbDecision=17500 #constraints=5862 78.87/78.93 c nbDecision=18000 #constraints=5862 80.17/80.24 c nbDecision=18500 #constraints=5862 81.37/81.43 c nbDecision=19000 #constraints=5862 82.47/82.54 c nbDecision=19500 #constraints=5862 83.57/83.65 c nbDecision=20000 #constraints=5862 84.67/84.74 c nbDecision=20500 #constraints=5862 85.77/85.88 c nbDecision=21000 #constraints=5862 86.97/87.00 c nbDecision=21500 #constraints=5862 88.07/88.11 c nbDecision=22000 #constraints=5862 89.17/89.23 c nbDecision=22500 #constraints=5862 90.27/90.34 c nbDecision=23000 #constraints=5862 91.37/91.44 c nbDecision=23500 #constraints=5862 92.46/92.53 c nbDecision=24000 #constraints=5862 93.56/93.64 c nbDecision=24500 #constraints=5862 94.66/94.71 c nbDecision=25000 #constraints=5862 95.76/95.80 c nbDecision=25500 #constraints=5862 95.96/96.03 c restart after 25601 decisions 97.06/97.14 c nbDecision=26000 #constraints=5862 98.16/98.25 c nbDecision=26500 #constraints=5862 99.26/99.38 c nbDecision=27000 #constraints=5862 100.46/100.52 c nbDecision=27500 #constraints=5862 101.56/101.66 c nbDecision=28000 #constraints=5862 102.66/102.79 c nbDecision=28500 #constraints=5862 103.86/103.92 c nbDecision=29000 #constraints=5862 104.96/105.06 c nbDecision=29500 #constraints=5862 106.26/106.35 c nbDecision=30000 #constraints=5862 107.56/107.65 c nbDecision=30500 #constraints=5862 108.86/108.95 c nbDecision=31000 #constraints=5862 110.16/110.24 c nbDecision=31500 #constraints=5862 111.26/111.35 c nbDecision=32000 #constraints=5862 112.36/112.46 c nbDecision=32500 #constraints=5862 113.46/113.57 c nbDecision=33000 #constraints=5862 114.56/114.69 c nbDecision=33500 #constraints=5862 115.66/115.79 c nbDecision=34000 #constraints=5862 116.85/116.90 c nbDecision=34500 #constraints=5862 117.95/118.00 c nbDecision=35000 #constraints=5862 119.05/119.11 c nbDecision=35500 #constraints=5862 120.15/120.22 c nbDecision=36000 #constraints=5862 121.25/121.31 c nbDecision=36500 #constraints=5862 122.35/122.43 c nbDecision=37000 #constraints=5862 123.45/123.53 c nbDecision=37500 #constraints=5862 124.55/124.64 c nbDecision=38000 #constraints=5862 125.65/125.73 c nbDecision=38500 #constraints=5862 127.25/127.35 c nbDecision=39000 #constraints=5875 128.35/128.44 c nbDecision=39500 #constraints=5875 129.45/129.53 c nbDecision=40000 #constraints=5875 130.55/130.61 c nbDecision=40500 #constraints=5875 131.65/131.70 c nbDecision=41000 #constraints=5876 132.65/132.77 c nbDecision=41500 #constraints=5876 133.75/133.83 c nbDecision=42000 #constraints=5876 134.85/134.92 c nbDecision=42500 #constraints=5876 163.34/163.48 c nbDecision=43000 #constraints=6201 178.05/178.18 c nbDecision=43500 #constraints=6565 209.83/209.96 c nbDecision=44000 #constraints=7066 241.22/241.39 c nbDecision=44500 #constraints=7453 279.62/279.76 c nbDecision=45000 #constraints=7905 327.71/327.80 c nbDecision=45500 #constraints=8407 373.09/373.24 c nbDecision=46000 #constraints=8760 410.68/410.80 c nbDecision=46500 #constraints=9169 472.36/472.57 c nbDecision=47000 #constraints=9585 493.26/493.45 c nbDecision=47500 #constraints=9729 575.44/575.70 c nbDecision=48000 #constraints=10236 657.42/657.61 c nbDecision=48500 #constraints=10631 685.02/685.28 c nbDecision=49000 #constraints=10751 716.11/716.33 c nbDecision=49500 #constraints=10894 754.89/755.17 c nbDecision=50000 #constraints=11083 802.38/802.64 c nbDecision=50500 #constraints=11320 869.77/870.09 c nbDecision=51000 #constraints=11633 881.46/881.70 c restart after 51201 decisions 890.06/890.31 c nbDecision=51500 #constraints=11688 891.26/891.58 c nbDecision=52000 #constraints=11688 892.66/892.92 c nbDecision=52500 #constraints=11688 893.96/894.28 c nbDecision=53000 #constraints=11688 895.26/895.57 c nbDecision=53500 #constraints=11688 896.56/896.88 c nbDecision=54000 #constraints=11688 897.85/898.14 c nbDecision=54500 #constraints=11688 899.15/899.45 c nbDecision=55000 #constraints=11688 900.66/900.94 c nbDecision=55500 #constraints=11688 902.15/902.40 c nbDecision=56000 #constraints=11688 903.65/903.93 c nbDecision=56500 #constraints=11688 905.15/905.43 c nbDecision=57000 #constraints=11688 906.45/906.78 c nbDecision=57500 #constraints=11688 907.75/908.02 c nbDecision=58000 #constraints=11688 909.05/909.36 c nbDecision=58500 #constraints=11688 910.35/910.62 c nbDecision=59000 #constraints=11688 911.65/911.92 c nbDecision=59500 #constraints=11688 912.95/913.22 c nbDecision=60000 #constraints=11688 914.25/914.57 c nbDecision=60500 #constraints=11688 915.65/915.91 c nbDecision=61000 #constraints=11688 916.95/917.25 c nbDecision=61500 #constraints=11688 918.25/918.51 c nbDecision=62000 #constraints=11688 919.55/919.82 c nbDecision=62500 #constraints=11688 920.95/921.21 c nbDecision=63000 #constraints=11688 922.25/922.50 c nbDecision=63500 #constraints=11688 923.55/923.81 c nbDecision=64000 #constraints=11688 925.05/925.36 c nbDecision=64500 #constraints=11688 926.35/926.68 c nbDecision=65000 #constraints=11688 927.65/927.95 c nbDecision=65500 #constraints=11688 928.94/929.28 c nbDecision=66000 #constraints=11688 930.44/930.70 c nbDecision=66500 #constraints=11688 932.04/932.37 c nbDecision=67000 #constraints=11688 933.74/934.07 c nbDecision=67500 #constraints=11688 935.44/935.78 c nbDecision=68000 #constraints=11688 988.23/988.54 c nbDecision=68500 #constraints=11920 1071.81/1072.11 c nbDecision=69000 #constraints=12258 1163.98/1164.39 c nbDecision=69500 #constraints=12608 1314.94/1315.35 c nbDecision=70000 #constraints=13093 1417.62/1418.06 c nbDecision=70500 #constraints=13539 1505.00/1505.43 c nbDecision=71000 #constraints=13930 1544.09/1544.50 Received signal 15 1544.09/1544.53 1544.09/1544.53 Unexpected exception : 1544.09/1544.53 St9bad_alloc
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-357241-1176992126 -o ROOT/results/node34/solver-357241-1176992126 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357241-1176992126/instance-357241-1176992126.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.92 0.99 0.94 3/77 22144 /proc/meminfo: memFree=1858392/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1468 CPUtime=0 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147128136 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 367 161 127 317 0 46 0 [startup+0.0658951 s] /proc/loadavg: 0.92 0.99 0.94 3/77 22144 /proc/meminfo: memFree=1858392/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=2400 CPUtime=0.06 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 491 0 0 0 6 0 0 0 18 0 1 0 147128136 2457600 375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272633 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 600 375 127 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.102897 s] /proc/loadavg: 0.92 0.99 0.94 3/77 22144 /proc/meminfo: memFree=1858392/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=3440 CPUtime=0.09 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 804 0 0 0 9 0 0 0 18 0 1 0 147128136 3522560 559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 860 559 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.302926 s] /proc/loadavg: 0.92 0.99 0.94 3/77 22144 /proc/meminfo: memFree=1858392/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=5520 CPUtime=0.29 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 1652 0 0 0 29 0 0 0 19 0 1 0 147128136 5652480 1150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 1380 1150 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701946 s] /proc/loadavg: 0.92 0.99 0.94 3/77 22144 /proc/meminfo: memFree=1858392/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=9548 CPUtime=0.69 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 2791 0 0 0 68 1 0 0 23 0 1 0 147128136 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135288137 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50201 s] /proc/loadavg: 0.92 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1846480/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=25384 CPUtime=1.49 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 6347 0 0 0 146 3 0 0 25 0 1 0 147128136 25993216 5332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713833 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 6346 5332 131 317 0 6025 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25384 [startup+3.10114 s] /proc/loadavg: 0.92 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1827792/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=54016 CPUtime=3.09 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 13376 0 0 0 301 8 0 0 25 0 1 0 147128136 55312384 12361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 13504 12361 137 317 0 13183 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54016 [startup+6.30139 s] /proc/loadavg: 0.93 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1804048/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=59032 CPUtime=6.29 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 14634 0 0 0 621 8 0 0 25 0 1 0 147128136 60448768 13619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 14758 13619 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7019 s] /proc/loadavg: 0.94 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1804120/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=59032 CPUtime=12.68 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 14634 0 0 0 1260 8 0 0 25 0 1 0 147128136 60448768 13619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 14758 13619 138 317 0 14437 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59032 [startup+25.5029 s] /proc/loadavg: 0.95 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1804184/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=59032 CPUtime=25.48 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 14634 0 0 0 2540 8 0 0 25 0 1 0 147128136 60448768 13619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 14758 13619 138 317 0 14437 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59032 [startup+51.103 s] /proc/loadavg: 0.97 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1752984/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=115924 CPUtime=51.08 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 27663 0 0 0 5095 13 0 0 25 0 1 0 147128136 118706176 26611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717765 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 28981 26611 139 317 0 28660 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 115924 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1718616/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=152020 CPUtime=102.27 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 36050 0 0 0 10210 17 0 0 25 0 1 0 147128136 155668480 34998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 38005 34998 139 317 0 37684 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 152020 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1630744/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=253028 CPUtime=162.25 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 70745 0 0 0 16195 30 0 0 25 0 1 0 147128136 259100672 57249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 63257 57249 139 317 0 62936 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 253028 [startup+222.303 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1482840/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=415240 CPUtime=222.24 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 107995 0 0 0 22180 44 0 0 25 0 1 0 147128136 425205760 93911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 103810 93911 170 317 0 103489 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 415240 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1336472/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=592876 CPUtime=282.22 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 153367 0 0 0 28161 61 0 0 25 0 1 0 147128136 607105024 130657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 148219 130657 170 317 0 147898 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 592876 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1266008/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=663808 CPUtime=342.21 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 170703 0 0 0 34154 67 0 0 25 0 1 0 147128136 679739392 147993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 165952 147993 170 317 0 165631 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 663808 [startup+402.303 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1197976/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=734264 CPUtime=402.18 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 188575 0 0 0 40143 75 0 0 25 0 1 0 147128136 751886336 165157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 183566 165157 170 317 0 183245 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 734264 [startup+462.303 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1145880/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=787428 CPUtime=462.17 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 201391 0 0 0 46136 81 0 0 25 0 1 0 147128136 806326272 177968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714726 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 196857 177968 170 317 0 196536 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 787428 [startup+522.303 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1098456/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=841428 CPUtime=522.15 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 213501 0 0 0 52130 85 0 0 25 0 1 0 147128136 861622272 189946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 210357 189946 170 317 0 210036 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 841428 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=1009624/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=970996 CPUtime=582.13 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 235502 0 0 0 58118 95 0 0 25 0 1 0 147128136 994299904 211947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746922 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 242749 211947 170 317 0 242428 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 970996 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=973912/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1007248 CPUtime=642.12 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 244387 0 0 0 64113 99 0 0 25 0 1 0 147128136 1031421952 220760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 251812 220760 170 317 0 251491 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1007248 [startup+702.302 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=940696/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1041576 CPUtime=702.11 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 253203 0 0 0 70108 103 0 0 25 0 1 0 147128136 1066573824 229154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 260394 229154 170 317 0 260073 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1041576 [startup+762.306 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=895832/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1088740 CPUtime=762.1 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 267119 0 0 0 76101 109 0 0 25 0 1 0 147128136 1114869760 240225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 272185 240225 170 317 0 271864 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1088740 [startup+822.302 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=844312/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1144968 CPUtime=822.08 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 285810 0 0 0 82091 117 0 0 25 0 1 0 147128136 1172447232 253150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 286242 253150 170 317 0 285921 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1144968 [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=771160/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1227792 CPUtime=882.06 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 310712 0 0 0 88079 127 0 0 25 0 1 0 147128136 1257259008 271336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 306948 271336 170 317 0 306627 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1227792 [startup+942.301 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=766040/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1233700 CPUtime=942.04 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 312856 0 0 0 94076 128 0 0 25 0 1 0 147128136 1263308800 272748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 308425 272748 170 317 0 308104 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1233700 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=702808/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1299616 CPUtime=1002.03 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 338411 0 0 0 100064 139 0 0 25 0 1 0 147128136 1330806784 288357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272630 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 324904 288357 170 317 0 324583 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1299616 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=654296/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1351108 CPUtime=1062.01 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 357337 0 0 0 106053 148 0 0 25 0 1 0 147128136 1383534592 300649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272549 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 337777 300649 170 317 0 337456 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1351108 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=604376/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1405912 CPUtime=1121.99 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 377955 0 0 0 112042 157 0 0 25 0 1 0 147128136 1439653888 312995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 351478 312995 170 317 0 351157 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1405912 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=560728/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1453212 CPUtime=1181.98 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 394563 0 0 0 118034 164 0 0 25 0 1 0 147128136 1488089088 323865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 363303 323865 170 317 0 362982 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1453212 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=487640/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1547484 CPUtime=1241.96 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 420551 0 0 0 124021 175 0 0 25 0 1 0 147128136 1584623616 342155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 386871 342155 170 317 0 386550 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1547484 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22145 /proc/meminfo: memFree=441432/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1595348 CPUtime=1301.96 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 439645 0 0 0 130011 185 0 0 25 0 1 0 147128136 1633636352 353531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541566 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 398837 353531 170 317 0 398516 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1595348 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22147 /proc/meminfo: memFree=393112/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1646524 CPUtime=1361.94 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 460248 0 0 0 136000 194 0 0 25 0 1 0 147128136 1686040576 365643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 411631 365643 170 317 0 411310 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1646524 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22147 /proc/meminfo: memFree=345304/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1695864 CPUtime=1421.92 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 475845 0 0 0 141992 200 0 0 25 0 1 0 147128136 1736564736 377528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 423966 377528 170 317 0 423645 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1695864 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22147 /proc/meminfo: memFree=314328/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1730712 CPUtime=1481.9 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 483699 0 0 0 147986 204 0 0 25 0 1 0 147128136 1772249088 385328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 432678 385328 170 317 0 432357 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1730712 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22147 /proc/meminfo: memFree=290008/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1757776 CPUtime=1541.89 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 489823 0 0 0 153982 207 0 0 25 0 1 0 147128136 1799962624 391332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 439444 391332 170 317 0 439123 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1757776 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1544.5 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22147 /proc/meminfo: memFree=236440/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=1862584 CPUtime=1544.09 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194304 503896 0 0 0 154196 213 0 0 25 0 1 0 147128136 1907286016 405092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134534233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 465646 405092 170 317 0 465325 0 Current children cumulated CPU time (s) 1544.09 Current children cumulated vsize (KiB) 1862584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1544.61 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22147 /proc/meminfo: memFree=236440/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=0 CPUtime=1544.19 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194308 507995 0 0 0 154198 221 0 0 25 0 1 0 147128136 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1544.19 Current children cumulated vsize (KiB) 0 [startup+1544.8 s] /proc/loadavg: 0.99 0.99 0.94 2/78 22147 /proc/meminfo: memFree=236440/2055920 swapFree=4159620/4192956 [pid=22144] ppid=22142 vsize=0 CPUtime=1544.39 /proc/22144/stat : 22144 (oree) R 22142 22144 21801 0 -1 4194308 507995 0 0 0 154198 241 0 0 25 0 1 0 147128136 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/22144/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1544.39 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 1544.81 CPU time (s): 1544.4 CPU user time (s): 1541.98 CPU system time (s): 2.41563 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1862584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1541.98 system time used= 2.41563 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 507995 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= 3284 runsolver used 1.81272 second user time and 3.75343 second system time The end
Begin job on node34 on Thu Apr 19 14:15:27 UTC 2007 IDJOB= 357241 IDBENCH= 2303 IDSOLVER= 172 FILE ID= node34/357241-1176992126 PBS_JOBID= 4630452 Free space on /tmp= 66403 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/fctp/normalized-mps-v2-20-10-n370b.opb COMMAND LINE= oree /tmp/evaluation/357241-1176992126/instance-357241-1176992126.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-357241-1176992126 -o ROOT/results/node34/solver-357241-1176992126 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357241-1176992126/instance-357241-1176992126.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1f80e288849d4e939571e6eefbd84b3a RANDOM SEED= 380985873 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.236 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.236 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: 1858864 kB Buffers: 21140 kB Cached: 90340 kB SwapCached: 2896 kB Active: 78772 kB Inactive: 56264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858864 kB SwapTotal: 4192956 kB SwapFree: 4159620 kB Dirty: 9924 kB Writeback: 0 kB Mapped: 30508 kB Slab: 47340 kB Committed_AS: 446064 kB PageTables: 1976 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= 66403 MiB End job on node34 on Thu Apr 19 14:41:14 UTC 2007