Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.03 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-afiro.opb |
MD5SUM | d412dc68829850bad6555fa34c6ad801 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -65 |
Optimality of the best value was proved | NO |
Number of variables | 960 |
Total number of constraints | 27 |
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 | 27 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 270 |
Number of terms in the objective function | 150 |
Biggest coefficient in the objective function | 222156 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524394 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524468 |
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/351207-1176589300/instance-351207-1176589300.opb ...... 0.00/0.01 c done parsing opb. 0.00/0.01 o 80065 0.02/0.03 o 80064 4.09/4.13 o 80062 4.29/4.32 o 80059 7.49/7.52 o 80046 9.39/9.44 o 80041 11.48/11.53 o 80040 13.49/13.59 o 80039 14.19/14.28 o 80038 20.18/20.24 o 80037 82.96/83.01 o 80036 159.95/160.09 o 80035 265.32/265.47 o 80034 1225.25/1225.67 o 80033 1350.92/1351.31 o 80032 1758.71/1759.22 o 80031 1800.01/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/351207-1176589300/instance-351207-1176589300.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node61/watcher-351207-1176589300 -o ROOT/results/node61/solver-351207-1176589300 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351207-1176589300/PBS4 /tmp/evaluation/351207-1176589300/instance-351207-1176589300.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.94 0.99 0.99 3/64 27442 /proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=1468 CPUtime=0 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 168 0 0 0 0 0 0 0 18 0 1 0 70893652 1503232 150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134636021 0 0 4096 0 0 0 0 17 1 0 0 /proc/27442/statm: 367 150 87 219 0 144 0 [startup+0.0259259 s] /proc/loadavg: 0.94 0.99 0.99 3/64 27442 /proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=1780 CPUtime=0.02 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 238 0 0 0 2 0 0 0 18 0 1 0 70893652 1822720 220 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547746 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 445 220 102 219 0 222 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1780 [startup+0.101932 s] /proc/loadavg: 0.94 0.99 0.99 3/64 27442 /proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=1780 CPUtime=0.1 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 265 0 0 0 10 0 0 0 18 0 1 0 70893652 1822720 247 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 445 247 102 219 0 222 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1780 [startup+0.301951 s] /proc/loadavg: 0.94 0.99 0.99 3/64 27442 /proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=2548 CPUtime=0.29 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 394 0 0 0 29 0 0 0 19 0 1 0 70893652 2609152 376 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 637 376 103 219 0 414 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2548 [startup+0.701988 s] /proc/loadavg: 0.94 0.99 0.99 3/64 27442 /proc/meminfo: memFree=1765248/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=3964 CPUtime=0.69 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 729 0 0 0 69 0 0 0 22 0 1 0 70893652 4059136 711 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 991 711 103 219 0 768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3964 [startup+1.50107 s] /proc/loadavg: 0.94 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1762168/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=6152 CPUtime=1.49 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 1046 0 0 0 148 1 0 0 25 0 1 0 70893652 6299648 1028 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 1538 1028 103 219 0 1315 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6152 [startup+3.10122 s] /proc/loadavg: 0.94 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1760760/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=6608 CPUtime=3.09 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 1350 0 0 0 307 2 0 0 25 0 1 0 70893652 6766592 1283 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 1652 1283 104 219 0 1429 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6608 [startup+6.30152 s] /proc/loadavg: 0.95 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1758968/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=10968 CPUtime=6.29 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 1827 0 0 0 625 4 0 0 25 0 1 0 70893652 11231232 1760 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 2742 1760 104 219 0 2519 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10968 [startup+12.7011 s] /proc/loadavg: 0.95 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1757240/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=11884 CPUtime=12.69 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 2221 0 0 0 1262 7 0 0 25 0 1 0 70893652 12169216 2057 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 2971 2057 104 219 0 2748 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11884 [startup+25.5014 s] /proc/loadavg: 0.96 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1752568/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=20612 CPUtime=25.49 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 3366 0 0 0 2538 11 0 0 25 0 1 0 70893652 21106688 3202 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 5153 3202 104 219 0 4930 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20612 [startup+51.1018 s] /proc/loadavg: 0.97 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1746808/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=22828 CPUtime=51.08 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 5065 0 0 0 5091 17 0 0 25 0 1 0 70893652 23375872 4708 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 5707 4708 104 219 0 5484 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22828 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1741304/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=42092 CPUtime=102.27 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 6733 0 0 0 10201 26 0 0 25 0 1 0 70893652 43102208 5991 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 10523 5991 104 219 0 10300 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 42092 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1736504/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=43364 CPUtime=162.24 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 7977 0 0 0 16186 38 0 0 25 0 1 0 70893652 44404736 7235 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 10841 7235 104 219 0 10618 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 43364 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1732216/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=44148 CPUtime=222.23 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 8978 0 0 0 22176 47 0 0 25 0 1 0 70893652 45207552 8236 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 11037 8236 104 219 0 10814 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 44148 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1729016/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=48140 CPUtime=282.22 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 10577 0 0 0 28166 56 0 0 25 0 1 0 70893652 49295360 9066 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 12035 9066 104 219 0 11812 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 48140 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1726264/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=48940 CPUtime=342.19 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 11216 0 0 0 34154 65 0 0 25 0 1 0 70893652 50114560 9705 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 12235 9705 104 219 0 12012 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 48940 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27443 /proc/meminfo: memFree=1723768/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=49836 CPUtime=402.18 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 11869 0 0 0 40146 72 0 0 25 0 1 0 70893652 51032064 10358 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 12459 10358 104 219 0 12236 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49836 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1718264/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=50780 CPUtime=462.16 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 13211 0 0 0 46134 82 0 0 25 0 1 0 70893652 51998720 11700 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 12695 11700 104 219 0 12472 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 50780 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1714552/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=84448 CPUtime=522.15 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 14121 0 0 0 52127 88 0 0 25 0 1 0 70893652 86474752 12610 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 21112 12610 104 219 0 20889 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 84448 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1713336/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=85504 CPUtime=582.13 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 14439 0 0 0 58118 95 0 0 25 0 1 0 70893652 87556096 12928 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 21376 12928 104 219 0 21153 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 85504 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1712248/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=86140 CPUtime=642.12 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 14687 0 0 0 64112 100 0 0 25 0 1 0 70893652 88207360 13176 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 21535 13176 104 219 0 21312 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 86140 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1709112/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=93988 CPUtime=882.05 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17009 0 0 0 88079 126 0 0 25 0 1 0 70893652 96243712 13961 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 23497 13961 104 219 0 23274 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 93988 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1708664/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=94348 CPUtime=942.03 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17127 0 0 0 94072 131 0 0 25 0 1 0 70893652 96612352 14079 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 23587 14079 104 219 0 23364 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 94348 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1708088/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=94348 CPUtime=1002.01 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17262 0 0 0 100066 135 0 0 25 0 1 0 70893652 96612352 14214 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 23587 14214 104 219 0 23364 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 94348 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1706424/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=95116 CPUtime=1061.99 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17692 0 0 0 106058 141 0 0 25 0 1 0 70893652 97398784 14644 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 23779 14644 104 219 0 23556 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 95116 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1705400/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=95524 CPUtime=1121.98 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 17929 0 0 0 112052 146 0 0 25 0 1 0 70893652 97816576 14881 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 23881 14881 104 219 0 23658 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 95524 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1704056/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=95716 CPUtime=1181.97 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 18250 0 0 0 118046 151 0 0 25 0 1 0 70893652 98013184 15202 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 23929 15202 104 219 0 23706 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 95716 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1701496/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=96472 CPUtime=1241.95 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 18879 0 0 0 124038 157 0 0 25 0 1 0 70893652 98787328 15831 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 24118 15831 104 219 0 23895 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 96472 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1700920/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=96932 CPUtime=1301.94 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 19021 0 0 0 130032 162 0 0 25 0 1 0 70893652 99258368 15973 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 24233 15973 104 219 0 24010 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 96932 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1700408/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=96932 CPUtime=1361.92 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 19163 0 0 0 136025 167 0 0 25 0 1 0 70893652 99258368 16115 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 24233 16115 104 219 0 24010 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 96932 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1699768/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=97744 CPUtime=1421.9 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 19306 0 0 0 142019 171 0 0 25 0 1 0 70893652 100089856 16258 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 24436 16258 104 219 0 24213 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 97744 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1695928/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=97876 CPUtime=1481.88 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 20260 0 0 0 148011 177 0 0 25 0 1 0 70893652 100225024 17212 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 24469 17212 104 219 0 24246 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 97876 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1691512/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=98644 CPUtime=1541.87 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21357 0 0 0 154003 184 0 0 25 0 1 0 70893652 101011456 18309 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 24661 18309 104 219 0 24438 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 98644 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1690488/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=99296 CPUtime=1601.86 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21626 0 0 0 159996 190 0 0 25 0 1 0 70893652 101679104 18578 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 24824 18578 104 219 0 24601 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 99296 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1689912/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=100040 CPUtime=1661.83 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21743 0 0 0 165990 193 0 0 25 0 1 0 70893652 102440960 18695 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 25010 18695 104 219 0 24787 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 100040 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1689336/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=100040 CPUtime=1721.82 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 21903 0 0 0 171985 197 0 0 25 0 1 0 70893652 102440960 18855 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 25010 18855 104 219 0 24787 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 100040 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1688760/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=100040 CPUtime=1781.81 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 22019 0 0 0 177979 202 0 0 25 0 1 0 70893652 102440960 18971 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 25010 18971 104 219 0 24787 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 100040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.99 0.99 2/65 27445 /proc/meminfo: memFree=1688632/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=100040 CPUtime=1800.01 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 22053 0 0 0 179798 203 0 0 25 0 1 0 70893652 102440960 19005 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 25010 19005 104 219 0 24787 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 100040 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.99 0.99 2/65 27445 /proc/meminfo: memFree=1688632/2055920 swapFree=4191892/4192956 [pid=27442] ppid=27440 vsize=100040 CPUtime=1800.01 /proc/27442/stat : 27442 (PBS4) R 27440 27442 26351 0 -1 4194304 22053 0 0 0 179798 203 0 0 25 0 1 0 70893652 102440960 19005 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134547648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27442/statm: 25010 19005 104 219 0 24787 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 100040 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1797.98 CPU system time (s): 2.04469 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 100040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.98 system time used= 2.04469 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22054 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= 4399 runsolver used 1.46678 second user time and 3.47947 second system time The end
Begin job on node61 on Sat Apr 14 22:21:40 UTC 2007 IDJOB= 351207 IDBENCH= 1700 IDSOLVER= 157 FILE ID= node61/351207-1176589300 PBS_JOBID= 4556943 Free space on /tmp= 66563 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-afiro.opb COMMAND LINE= /tmp/evaluation/351207-1176589300/PBS4 /tmp/evaluation/351207-1176589300/instance-351207-1176589300.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-351207-1176589300 -o ROOT/results/node61/conversion-351207-1176589300 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351207-1176589300/instance-351207-1176589300.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-351207-1176589300 -o ROOT/results/node61/solver-351207-1176589300 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351207-1176589300/PBS4 /tmp/evaluation/351207-1176589300/instance-351207-1176589300.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= d412dc68829850bad6555fa34c6ad801 RANDOM SEED= 852652581 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node61.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.240 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.240 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: 1765656 kB Buffers: 2752 kB Cached: 175568 kB SwapCached: 384 kB Active: 34500 kB Inactive: 159244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1765656 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 1160 kB Writeback: 0 kB Mapped: 24240 kB Slab: 82584 kB Committed_AS: 115468 kB PageTables: 1388 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= 66563 MiB End job on node61 on Sat Apr 14 22:51:43 UTC 2007