Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.02 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship04s.opb |
MD5SUM | fe1a2bbeb11180a9cf7bf3ad481e98b1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2333 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 43740 |
Total number of constraints | 348 |
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 | 348 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1980 |
Number of terms in the objective function | 43740 |
Biggest coefficient in the objective function | 3749 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 560502 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 560502 |
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/348469-1176584270/instance-348469-1176584270.opb ...... 280.61/280.84 c done parsing opb. 280.61/280.84 o 2333 1800.00/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/348469-1176584270/instance-348469-1176584270.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-348469-1176584270 -o ROOT/results/node54/solver-348469-1176584270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/348469-1176584270/PBS4 /tmp/evaluation/348469-1176584270/instance-348469-1176584270.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: 0.92 0.98 0.99 2/66 26671 /proc/meminfo: memFree=1453536/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=5428 CPUtime=0 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 520 0 0 0 0 0 0 0 18 0 1 0 105801450 5558272 502 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 1357 506 81 219 0 1134 0 [startup+0.010422 s] /proc/loadavg: 0.92 0.98 0.99 2/66 26671 /proc/meminfo: memFree=1453536/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=5428 CPUtime=0 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 1017 0 0 0 0 0 0 0 18 0 1 0 105801450 5558272 999 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134573157 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 1357 1003 81 219 0 1134 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5428 [startup+0.101432 s] /proc/loadavg: 0.92 0.98 0.99 2/66 26671 /proc/meminfo: memFree=1453536/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=8540 CPUtime=0.09 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 1928 0 0 0 9 0 0 0 18 0 1 0 105801450 8744960 1844 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 2135 1844 87 219 0 1912 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8540 [startup+0.301457 s] /proc/loadavg: 0.92 0.98 0.99 2/66 26671 /proc/meminfo: memFree=1453536/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=10152 CPUtime=0.29 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 2362 0 0 0 28 1 0 0 19 0 1 0 105801450 10395648 2213 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588386 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 2538 2213 88 219 0 2315 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10152 [startup+0.701507 s] /proc/loadavg: 0.92 0.98 0.99 2/66 26671 /proc/meminfo: memFree=1453536/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=10152 CPUtime=0.69 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 2362 0 0 0 68 1 0 0 23 0 1 0 105801450 10395648 2213 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588374 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 2538 2213 88 219 0 2315 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10152 [startup+1.50161 s] /proc/loadavg: 0.92 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1445016/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=10152 CPUtime=1.49 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 2362 0 0 0 148 1 0 0 25 0 1 0 105801450 10395648 2213 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588374 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 2538 2213 88 219 0 2315 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10152 [startup+3.10182 s] /proc/loadavg: 0.93 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1444824/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=10152 CPUtime=3.09 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 2362 0 0 0 308 1 0 0 25 0 1 0 105801450 10395648 2213 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 2538 2213 88 219 0 2315 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10152 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1443992/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=10836 CPUtime=6.29 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 2533 0 0 0 628 1 0 0 25 0 1 0 105801450 11096064 2384 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588877 0 0 4096 0 0 0 0 17 1 0 0 /proc/26671/statm: 2709 2384 88 219 0 2486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10836 [startup+12.701 s] /proc/loadavg: 0.94 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1438112/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=20464 CPUtime=12.69 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 7140 0 0 0 1265 4 0 0 25 0 1 0 105801450 20955136 3859 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 5116 3859 93 219 0 4893 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20464 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1436576/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=22256 CPUtime=25.48 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 7546 0 0 0 2540 8 0 0 25 0 1 0 105801450 22790144 4265 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 5564 4265 94 219 0 5341 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 22256 [startup+51.1019 s] /proc/loadavg: 0.96 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1432096/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=28400 CPUtime=51.08 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 8686 0 0 0 5099 9 0 0 25 0 1 0 105801450 29081600 5405 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 7100 5405 94 219 0 6877 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28400 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1422880/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=36796 CPUtime=102.27 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 10971 0 0 0 10216 11 0 0 25 0 1 0 105801450 37679104 7690 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 9199 7690 94 219 0 8976 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36796 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 26672 /proc/meminfo: memFree=1412192/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=53180 CPUtime=162.25 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 13646 0 0 0 16211 14 0 0 25 0 1 0 105801450 54456320 10365 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 13295 10365 94 219 0 13072 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 53180 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/73 26836 /proc/meminfo: memFree=1400048/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86144 CPUtime=222.16 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 16346 0 0 0 22196 20 0 0 25 0 1 0 105801450 88211456 13065 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21536 13065 94 219 0 21313 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 86144 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 26870 /proc/meminfo: memFree=1390744/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86144 CPUtime=282.11 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 18987 0 0 0 28188 23 0 0 25 0 1 0 105801450 88211456 15620 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21536 15620 104 219 0 21313 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 86144 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 26870 /proc/meminfo: memFree=1390360/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=342.1 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 34186 24 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 86496 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 26870 /proc/meminfo: memFree=1390488/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=402.08 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 40184 24 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 86496 [startup+462.301 s] /proc/loadavg: 1.06 1.00 1.00 2/67 26870 /proc/meminfo: memFree=1390552/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=462.06 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 46182 24 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 86496 [startup+522.302 s] /proc/loadavg: 1.08 1.02 1.00 2/67 26870 /proc/meminfo: memFree=1390552/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=522.04 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 52180 24 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 86496 [startup+582.302 s] /proc/loadavg: 1.22 1.07 1.02 2/67 26870 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=582.03 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 58179 24 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 86496 [startup+642.301 s] /proc/loadavg: 1.13 1.07 1.02 2/67 26872 /proc/meminfo: memFree=1390432/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=642.02 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 64177 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 86496 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.06 1.07 1.02 2/67 26872 /proc/meminfo: memFree=1390560/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=821.96 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 82171 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 86496 [startup+882.302 s] /proc/loadavg: 1.02 1.05 1.01 2/67 26872 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=881.95 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 88170 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 86496 [startup+942.302 s] /proc/loadavg: 1.04 1.05 1.01 2/67 26872 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=941.93 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 94168 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 86496 [startup+1002.3 s] /proc/loadavg: 1.01 1.04 1.00 2/67 26872 /proc/meminfo: memFree=1390688/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1001.91 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 100166 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 86496 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.00 2/67 26872 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1061.89 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 106164 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 86496 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/67 26872 /proc/meminfo: memFree=1390688/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1121.88 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 112163 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 86496 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/67 26872 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1181.86 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 118161 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 86496 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/67 26872 /proc/meminfo: memFree=1390688/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1241.84 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 124159 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 86496 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/67 26872 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1301.83 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 130158 25 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 86496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390688/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1361.81 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 136155 26 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 86496 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1421.8 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 142154 26 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 86496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390688/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1481.78 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19111 0 0 0 148152 26 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 86496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390624/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86496 CPUtime=1541.76 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19136 0 0 0 154150 26 0 0 25 0 1 0 105801450 88571904 15707 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21624 15707 104 219 0 21401 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 86496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390560/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86628 CPUtime=1601.74 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19160 0 0 0 160148 26 0 0 25 0 1 0 105801450 88707072 15731 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21657 15731 104 219 0 21434 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 86628 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390560/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86628 CPUtime=1661.72 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19160 0 0 0 166146 26 0 0 25 0 1 0 105801450 88707072 15731 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21657 15731 104 219 0 21434 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 86628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390560/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86628 CPUtime=1721.71 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19168 0 0 0 172145 26 0 0 25 0 1 0 105801450 88707072 15739 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21657 15739 104 219 0 21434 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 86628 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390432/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86720 CPUtime=1781.7 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19197 0 0 0 178143 27 0 0 25 0 1 0 105801450 88801280 15764 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21680 15764 104 219 0 21457 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 86720 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/67 26872 /proc/meminfo: memFree=1390432/2055920 swapFree=4191892/4192956 [pid=26671] ppid=26669 vsize=86720 CPUtime=1800 /proc/26671/stat : 26671 (PBS4) R 26669 26671 11742 0 -1 4194304 19197 0 0 0 179973 27 0 0 25 0 1 0 105801450 88801280 15764 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26671/statm: 21680 15764 104 219 0 21457 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 86720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1799.74 CPU system time (s): 0.281957 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (KiB): 86768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.281957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19198 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= 4444 runsolver used 1.75273 second user time and 4.81227 second system time The end
Begin job on node54 on Sat Apr 14 20:57:50 UTC 2007 IDJOB= 348469 IDBENCH= 1680 IDSOLVER= 157 FILE ID= node54/348469-1176584270 PBS_JOBID= 4556951 Free space on /tmp= 66562 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-ship04s.opb COMMAND LINE= /tmp/evaluation/348469-1176584270/PBS4 /tmp/evaluation/348469-1176584270/instance-348469-1176584270.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node54/convwatcher-348469-1176584270 -o ROOT/results/node54/conversion-348469-1176584270 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348469-1176584270/instance-348469-1176584270.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-348469-1176584270 -o ROOT/results/node54/solver-348469-1176584270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/348469-1176584270/PBS4 /tmp/evaluation/348469-1176584270/instance-348469-1176584270.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= fe1a2bbeb11180a9cf7bf3ad481e98b1 RANDOM SEED= 522005760 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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: 1454008 kB Buffers: 86608 kB Cached: 373356 kB SwapCached: 396 kB Active: 205248 kB Inactive: 276036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1454008 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 2968 kB Writeback: 0 kB Mapped: 28248 kB Slab: 106560 kB Committed_AS: 996404 kB PageTables: 1420 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node54 on Sat Apr 14 21:27:53 UTC 2007