Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | ? (TO) | 1800.05 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb |
MD5SUM | dfddd97e7752f713f95f506cbe2ca323 |
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 | 47130 |
Total number of constraints | 820 |
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 | 820 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 10200 |
Number of terms in the objective function | 19170 |
Biggest coefficient in the objective function | 26496 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 540242 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 540242 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/348339-1176578389/instance-348339-1176578389.opb ...... 1800.04/1800.70 c done parsing opb. 1800.04/1800.70 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/348339-1176578389/instance-348339-1176578389.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-348339-1176578389 -o ROOT/results/node42/solver-348339-1176578389 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/348339-1176578389/PBS4 /tmp/evaluation/348339-1176578389/instance-348339-1176578389.opb 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 9950 /proc/meminfo: memFree=1549888/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=5744 CPUtime=0 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 488 0 0 0 0 0 0 0 18 0 1 0 105750817 5881856 470 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134572872 0 0 4096 0 0 0 0 17 1 0 0 /proc/9950/statm: 1436 474 81 219 0 1213 0 [startup+0.02483 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9950 /proc/meminfo: memFree=1549888/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=7724 CPUtime=0.01 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 1748 0 0 0 1 0 0 0 18 0 1 0 105750817 7909376 1697 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784774 0 0 4096 0 0 0 0 17 1 0 0 /proc/9950/statm: 1931 1697 87 219 0 1708 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7724 [startup+0.101845 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9950 /proc/meminfo: memFree=1549888/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=8992 CPUtime=0.09 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 2032 0 0 0 9 0 0 0 18 0 1 0 105750817 9207808 1948 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/9950/statm: 2248 1948 87 219 0 2025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8992 [startup+0.301881 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9950 /proc/meminfo: memFree=1549888/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=8992 CPUtime=0.29 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 2045 0 0 0 29 0 0 0 19 0 1 0 105750817 9207808 1961 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588274 0 0 4096 0 0 0 0 17 1 0 0 /proc/9950/statm: 2248 1961 88 219 0 2025 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8992 [startup+0.701959 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9950 /proc/meminfo: memFree=1549888/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=8992 CPUtime=0.69 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 2045 0 0 0 69 0 0 0 22 0 1 0 105750817 9207808 1961 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588284 0 0 4096 0 0 0 0 17 1 0 0 /proc/9950/statm: 2248 1961 88 219 0 2025 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8992 [startup+1.50111 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1542264/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=9292 CPUtime=1.49 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 2120 0 0 0 149 0 0 0 25 0 1 0 105750817 9515008 2036 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588851 0 0 4096 0 0 0 0 17 1 0 0 /proc/9950/statm: 2323 2036 88 219 0 2100 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9292 [startup+3.10142 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1541112/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=15132 CPUtime=3.09 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 4354 0 0 0 308 1 0 0 25 0 1 0 105750817 15495168 3445 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/9950/statm: 3783 3445 88 219 0 3560 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15132 [startup+6.30203 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1527688/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=29060 CPUtime=6.29 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 8429 0 0 0 625 4 0 0 25 0 1 0 105750817 29757440 5915 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 7265 5915 93 219 0 7042 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29060 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1526024/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=29060 CPUtime=12.69 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 8441 0 0 0 1264 5 0 0 25 0 1 0 105750817 29757440 5927 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 7265 5927 93 219 0 7042 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29060 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1526088/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=29316 CPUtime=25.48 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 8494 0 0 0 2542 6 0 0 25 0 1 0 105750817 30019584 5980 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 7329 5980 94 219 0 7106 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29316 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1525256/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=30852 CPUtime=51.07 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 8723 0 0 0 5100 7 0 0 25 0 1 0 105750817 31592448 6209 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548041 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 7713 6209 94 219 0 7490 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30852 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1523976/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=32900 CPUtime=102.26 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 9024 0 0 0 10215 11 0 0 25 0 1 0 105750817 33689600 6510 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 8225 6510 94 219 0 8002 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32900 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1523144/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=33096 CPUtime=162.23 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 9430 0 0 0 16211 12 0 0 25 0 1 0 105750817 33890304 6730 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 8274 6730 94 219 0 8051 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 33096 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1518856/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=37440 CPUtime=222.21 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 10804 0 0 0 22201 20 0 0 25 0 1 0 105750817 38338560 7825 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 9360 7825 94 219 0 9137 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 37440 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1514248/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=46564 CPUtime=282.19 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 12261 0 0 0 28194 25 0 0 25 0 1 0 105750817 47681536 8954 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 11641 8954 94 219 0 11418 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 46564 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1513928/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=46564 CPUtime=342.16 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 12518 0 0 0 34191 25 0 0 25 0 1 0 105750817 47681536 9025 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 11641 9025 94 219 0 11418 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 46564 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1512648/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=47144 CPUtime=402.14 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 13008 0 0 0 40188 26 0 0 25 0 1 0 105750817 48275456 9329 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134558079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 11786 9329 94 219 0 11563 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 47144 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1512264/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=47340 CPUtime=462.12 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 13223 0 0 0 46185 27 0 0 25 0 1 0 105750817 48476160 9451 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 11835 9451 94 219 0 11612 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 47340 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1511816/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=47604 CPUtime=522.1 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 13474 0 0 0 52181 29 0 0 25 0 1 0 105750817 48746496 9516 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 11901 9516 94 219 0 11678 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 47604 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1511752/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=47748 CPUtime=582.08 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 13703 0 0 0 58178 30 0 0 25 0 1 0 105750817 48893952 9559 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 11937 9559 94 219 0 11714 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 47748 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1511560/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=47748 CPUtime=642.06 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 13821 0 0 0 64175 31 0 0 25 0 1 0 105750817 48893952 9584 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 11937 9584 94 219 0 11714 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 47748 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1510984/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=48516 CPUtime=881.97 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 14703 0 0 0 88161 36 0 0 25 0 1 0 105750817 49680384 9718 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12129 9718 94 219 0 11906 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 48516 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1510856/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=48648 CPUtime=941.94 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 14845 0 0 0 94156 38 0 0 25 0 1 0 105750817 49815552 9767 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12162 9767 94 219 0 11939 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 48648 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1510536/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=48920 CPUtime=1001.92 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 15103 0 0 0 100151 41 0 0 25 0 1 0 105750817 50094080 9839 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12230 9839 94 219 0 12007 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 48920 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9951 /proc/meminfo: memFree=1510536/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=49052 CPUtime=1061.9 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 15348 0 0 0 106146 44 0 0 25 0 1 0 105750817 50229248 9898 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12263 9898 94 219 0 12040 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 49052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1510216/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=49052 CPUtime=1121.87 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 15457 0 0 0 112141 46 0 0 25 0 1 0 105750817 50229248 9914 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12263 9914 94 219 0 12040 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 49052 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1510088/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=49172 CPUtime=1181.86 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 15575 0 0 0 118137 49 0 0 25 0 1 0 105750817 50352128 9939 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12293 9939 94 219 0 12070 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 49172 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1510024/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=49172 CPUtime=1241.83 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 15783 0 0 0 124133 50 0 0 25 0 1 0 105750817 50352128 9961 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12293 9961 94 219 0 12070 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 49172 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1510024/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=49172 CPUtime=1301.81 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 15897 0 0 0 130129 52 0 0 25 0 1 0 105750817 50352128 9982 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12293 9982 94 219 0 12070 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 49172 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509896/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=49300 CPUtime=1361.79 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 16017 0 0 0 136125 54 0 0 25 0 1 0 105750817 50483200 10009 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12325 10009 94 219 0 12102 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 49300 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509768/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=49300 CPUtime=1421.77 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 16117 0 0 0 142122 55 0 0 25 0 1 0 105750817 50483200 10016 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12325 10016 94 219 0 12102 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 49300 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509704/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50544 CPUtime=1481.74 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 16536 0 0 0 148118 56 0 0 25 0 1 0 105750817 51757056 10056 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12636 10056 94 219 0 12413 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 50544 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509576/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50544 CPUtime=1541.72 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 16635 0 0 0 154114 58 0 0 25 0 1 0 105750817 51757056 10062 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12636 10062 94 219 0 12413 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 50544 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509576/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50640 CPUtime=1601.7 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 16662 0 0 0 160111 59 0 0 25 0 1 0 105750817 51855360 10089 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12660 10089 94 219 0 12437 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 50640 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509448/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50640 CPUtime=1661.68 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 16861 0 0 0 166108 60 0 0 25 0 1 0 105750817 51855360 10102 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12660 10102 94 219 0 12437 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 50640 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509384/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50640 CPUtime=1721.66 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 16967 0 0 0 172104 62 0 0 25 0 1 0 105750817 51855360 10115 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12660 10115 94 219 0 12437 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 50640 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509128/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50800 CPUtime=1781.63 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 17408 0 0 0 178100 63 0 0 25 0 1 0 105750817 52019200 10184 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12700 10184 94 219 0 12477 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 50800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509128/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50800 CPUtime=1800.04 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 17411 0 0 0 179941 63 0 0 25 0 1 0 105750817 52019200 10187 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12700 10187 94 219 0 12477 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 50800 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9953 /proc/meminfo: memFree=1509128/2055920 swapFree=4192812/4192956 [pid=9950] ppid=9948 vsize=50800 CPUtime=1800.04 /proc/9950/stat : 9950 (PBS4) R 9948 9950 8630 0 -1 4194304 17411 0 0 0 179941 63 0 0 25 0 1 0 105750817 52019200 10187 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547968 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9950/statm: 12700 10187 94 219 0 12477 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 50800 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.05 CPU user time (s): 1799.41 CPU system time (s): 0.642902 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 50800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.642902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17412 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= 1298 runsolver used 1.21281 second user time and 3.72243 second system time The end
Begin job on node42 on Sat Apr 14 19:19:49 UTC 2007 IDJOB= 348339 IDBENCH= 1658 IDSOLVER= 157 FILE ID= node42/348339-1176578389 PBS_JOBID= 4556877 Free space on /tmp= 66560 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-25fv47.opb COMMAND LINE= /tmp/evaluation/348339-1176578389/PBS4 /tmp/evaluation/348339-1176578389/instance-348339-1176578389.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-348339-1176578389 -o ROOT/results/node42/conversion-348339-1176578389 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348339-1176578389/instance-348339-1176578389.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-348339-1176578389 -o ROOT/results/node42/solver-348339-1176578389 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/348339-1176578389/PBS4 /tmp/evaluation/348339-1176578389/instance-348339-1176578389.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= dfddd97e7752f713f95f506cbe2ca323 RANDOM SEED= 129976676 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1550232 kB Buffers: 42456 kB Cached: 341064 kB SwapCached: 0 kB Active: 117820 kB Inactive: 281984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1550232 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4400 kB Writeback: 0 kB Mapped: 26412 kB Slab: 91940 kB Committed_AS: 146076 kB PageTables: 1408 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= 66560 MiB End job on node42 on Sat Apr 14 19:49:52 UTC 2007