Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.03 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | 303eaeab4b7ccd67c7fab31d13d20bc2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1523 |
Best CPU time to get the best result obtained on this benchmark | 2.6466 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of variables | 201 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 67 |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
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/363521-1177029163/instance-363521-1177029163.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 3010 0.00/0.00 o 2493 0.00/0.00 o 2424 0.00/0.01 o 2416 0.00/0.01 o 2405 0.00/0.01 o 1946 0.00/0.01 o 1939 0.00/0.03 o 1935 0.29/0.35 o 1929 0.29/0.38 o 1918 0.29/0.38 o 1909 1.69/1.70 o 1906 1.69/1.75 o 1896 1.79/1.89 o 1889 1.89/1.92 o 1884 1.89/1.92 o 1883 1.89/1.93 o 1864 1.89/1.94 o 1863 1.99/2.02 o 1856 1.99/2.08 o 1847 2.09/2.16 o 1846 2.20/2.27 o 1836 2.39/2.42 o 1831 2.69/2.76 o 1828 2.99/3.08 o 1820 3.19/3.28 o 1818 3.29/3.33 o 1751 3.29/3.33 o 1741 3.29/3.36 o 1739 3.89/3.91 o 1729 3.89/3.92 o 1723 4.09/4.16 o 1715 5.29/5.39 o 1707 6.39/6.47 o 1706 8.89/8.94 o 1703 8.99/9.05 o 1682 10.99/11.05 o 1680 19.19/19.26 o 1673 32.38/32.44 o 1659 64.58/64.64 o 1651 157.45/157.53 o 1643 161.75/161.85 o 1639 164.04/164.19 o 1632 393.08/393.22 o 1623 548.84/549.02 o 1615 550.14/550.32 o 1603 551.94/552.13 o 1595 568.83/569.02 o 1575 1800.01/1800.61 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/363521-1177029163/instance-363521-1177029163.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-363521-1177029163 -o ROOT/results/node55/solver-363521-1177029163 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363521-1177029163/PBS4 /tmp/evaluation/363521-1177029163/instance-363521-1177029163.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 3/64 13157 /proc/meminfo: memFree=1683212/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=1324 CPUtime=0 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 137 0 0 0 0 0 0 0 18 0 1 0 150826348 1355776 119 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/13157/statm: 331 119 87 219 0 108 0 [startup+0.0379421 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13157 /proc/meminfo: memFree=1683212/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=1452 CPUtime=0.03 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 195 0 0 0 3 0 0 0 18 0 1 0 150826348 1486848 177 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 363 177 102 219 0 140 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1452 [startup+0.101948 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13157 /proc/meminfo: memFree=1683212/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=1452 CPUtime=0.09 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 235 0 0 0 9 0 0 0 18 0 1 0 150826348 1486848 217 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 363 217 102 219 0 140 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1452 [startup+0.301967 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13157 /proc/meminfo: memFree=1683212/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=2220 CPUtime=0.29 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 364 0 0 0 29 0 0 0 19 0 1 0 150826348 2273280 346 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 555 346 103 219 0 332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2220 [startup+0.702005 s] /proc/loadavg: 0.92 0.98 0.99 3/64 13157 /proc/meminfo: memFree=1683212/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=3456 CPUtime=0.69 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 497 0 0 0 69 0 0 0 23 0 1 0 150826348 3538944 479 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 864 479 103 219 0 641 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3456 [startup+1.50108 s] /proc/loadavg: 0.92 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1681348/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=3652 CPUtime=1.49 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 736 0 0 0 148 1 0 0 25 0 1 0 150826348 3739648 718 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 913 718 103 219 0 690 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3652 [startup+3.10123 s] /proc/loadavg: 0.92 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1679556/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=6156 CPUtime=3.09 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 1243 0 0 0 307 2 0 0 25 0 1 0 150826348 6303744 1176 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 1539 1176 104 219 0 1316 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6156 [startup+6.30154 s] /proc/loadavg: 0.93 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1676420/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=11036 CPUtime=6.29 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 2061 0 0 0 625 4 0 0 25 0 1 0 150826348 11300864 1897 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 2759 1897 104 219 0 2536 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11036 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1672772/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=19636 CPUtime=12.69 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 2892 0 0 0 1262 7 0 0 25 0 1 0 150826348 20107264 2728 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 4909 2728 104 219 0 4686 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19636 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1666820/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=20944 CPUtime=25.49 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 4515 0 0 0 2539 10 0 0 25 0 1 0 150826348 21446656 4158 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 5236 4158 104 219 0 5013 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20944 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1660548/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=38044 CPUtime=51.07 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 6072 0 0 0 5091 16 0 0 25 0 1 0 150826348 38957056 5715 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 9511 5715 104 219 0 9288 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 38044 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1652676/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=40888 CPUtime=102.27 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 8398 0 0 0 10200 27 0 0 25 0 1 0 150826348 41869312 7656 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 10222 7656 104 219 0 9999 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40888 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1644676/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=42104 CPUtime=162.25 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 10410 0 0 0 16190 35 0 0 25 0 1 0 150826348 43114496 9668 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 10526 9668 104 219 0 10303 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 42104 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1638916/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=76520 CPUtime=222.23 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 11821 0 0 0 22180 43 0 0 25 0 1 0 150826348 78356480 11079 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 19130 11079 104 219 0 18907 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 76520 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1630788/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=81024 CPUtime=282.21 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 14631 0 0 0 28170 51 0 0 25 0 1 0 150826348 82968576 13120 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549696 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 20256 13120 104 219 0 20033 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 81024 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 13158 /proc/meminfo: memFree=1624260/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=81532 CPUtime=342.19 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 16234 0 0 0 34161 58 0 0 25 0 1 0 150826348 83488768 14723 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 20383 14723 104 219 0 20160 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 81532 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 13160 /proc/meminfo: memFree=1619140/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=82632 CPUtime=402.18 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 17503 0 0 0 40154 64 0 0 25 0 1 0 150826348 84615168 15992 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552708 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 20658 15992 104 219 0 20435 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 82632 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 13160 /proc/meminfo: memFree=1617988/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=83704 CPUtime=462.16 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 17821 0 0 0 46146 70 0 0 25 0 1 0 150826348 85712896 16310 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 20926 16310 104 219 0 20703 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 83704 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 13160 /proc/meminfo: memFree=1617284/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=84140 CPUtime=522.15 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 18006 0 0 0 52140 75 0 0 25 0 1 0 150826348 86159360 16495 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 21035 16495 104 219 0 20812 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 84140 [startup+582.301 s] /proc/loadavg: 1.05 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1614276/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=84332 CPUtime=582.12 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 18753 0 0 0 58132 80 0 0 25 0 1 0 150826348 86355968 17242 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 21083 17242 104 219 0 20860 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 84332 [startup+642.302 s] /proc/loadavg: 1.02 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1610180/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=84840 CPUtime=642.12 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 19750 0 0 0 64126 86 0 0 25 0 1 0 150826348 86876160 18239 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 21210 18239 104 219 0 20987 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 84840 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1601220/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=87328 CPUtime=822.07 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 21985 0 0 0 82109 98 0 0 25 0 1 0 150826348 89423872 20474 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 21832 20474 104 219 0 21609 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 87328 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1599940/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=88200 CPUtime=882.05 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 22297 0 0 0 88104 101 0 0 25 0 1 0 150826348 90316800 20786 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 22050 20786 104 219 0 21827 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 88200 [startup+942.301 s] /proc/loadavg: 1.05 1.01 1.00 2/65 13160 /proc/meminfo: memFree=1599172/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=94864 CPUtime=942.03 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 24021 0 0 0 94098 105 0 0 25 0 1 0 150826348 97140736 20973 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 23716 20973 104 219 0 23493 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 94864 [startup+1002.3 s] /proc/loadavg: 1.05 1.02 1.00 2/65 13160 /proc/meminfo: memFree=1598596/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=94864 CPUtime=1002.02 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 24152 0 0 0 100092 110 0 0 25 0 1 0 150826348 97140736 21104 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 23716 21104 104 219 0 23493 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 94864 [startup+1062.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 13160 /proc/meminfo: memFree=1598084/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=95340 CPUtime=1062 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 24301 0 0 0 106086 114 0 0 25 0 1 0 150826348 97628160 21253 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 23835 21253 104 219 0 23612 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 95340 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13160 /proc/meminfo: memFree=1596996/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=95968 CPUtime=1121.98 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 24535 0 0 0 112079 119 0 0 25 0 1 0 150826348 98271232 21487 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 23992 21487 104 219 0 23769 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 95968 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 13160 /proc/meminfo: memFree=1596484/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=96552 CPUtime=1181.97 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 24675 0 0 0 118074 123 0 0 25 0 1 0 150826348 98869248 21627 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24138 21627 104 219 0 23915 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 96552 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1595716/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=97024 CPUtime=1241.95 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 24858 0 0 0 124069 126 0 0 25 0 1 0 150826348 99352576 21810 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24256 21810 104 219 0 24033 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 97024 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1595204/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=97216 CPUtime=1301.93 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 24993 0 0 0 130062 131 0 0 25 0 1 0 150826348 99549184 21945 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24304 21945 104 219 0 24081 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 97216 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 1.00 2/65 13160 /proc/meminfo: memFree=1594564/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=97712 CPUtime=1361.92 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 25163 0 0 0 136056 136 0 0 25 0 1 0 150826348 100057088 22115 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552863 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24428 22115 104 219 0 24205 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 97712 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/65 13160 /proc/meminfo: memFree=1594052/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=97904 CPUtime=1421.91 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 25281 0 0 0 142050 141 0 0 25 0 1 0 150826348 100253696 22233 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24476 22233 104 219 0 24253 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 97904 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1593668/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=98096 CPUtime=1481.88 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 25377 0 0 0 148044 144 0 0 25 0 1 0 150826348 100450304 22329 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24524 22329 104 219 0 24301 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 98096 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1593348/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=98096 CPUtime=1541.87 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 25465 0 0 0 154039 148 0 0 25 0 1 0 150826348 100450304 22417 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24524 22417 104 219 0 24301 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 98096 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1592836/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=98360 CPUtime=1601.85 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 25576 0 0 0 160035 150 0 0 25 0 1 0 150826348 100720640 22528 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24590 22528 104 219 0 24367 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 98360 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13160 /proc/meminfo: memFree=1592260/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=98876 CPUtime=1661.84 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 25721 0 0 0 166030 154 0 0 25 0 1 0 150826348 101249024 22673 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24719 22673 104 219 0 24496 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 98876 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 1.00 2/71 13282 /proc/meminfo: memFree=1589748/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=99728 CPUtime=1721.76 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 25999 0 0 0 172018 158 0 0 25 0 1 0 150826348 102121472 22951 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 24932 22951 104 219 0 24709 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 99728 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 13358 /proc/meminfo: memFree=1590468/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=100268 CPUtime=1781.7 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 26128 0 0 0 178008 162 0 0 25 0 1 0 150826348 102674432 23080 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 25067 23080 104 219 0 24844 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 100268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.01 1.00 2/65 13358 /proc/meminfo: memFree=1590276/2055920 swapFree=4184496/4192956 [pid=13157] ppid=13155 vsize=100400 CPUtime=1800.01 /proc/13157/stat : 13157 (PBS4) R 13155 13157 13029 0 -1 4194304 26174 0 0 0 179838 163 0 0 25 0 1 0 150826348 102809600 23126 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13157/statm: 25100 23126 104 219 0 24877 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 100400 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.63 CPU time (s): 1800.03 CPU user time (s): 1798.38 CPU system time (s): 1.64875 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 100400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.38 system time used= 1.64875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26175 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= 2550 runsolver used 1.38179 second user time and 3.60845 second system time The end
Begin job on node55 on Fri Apr 20 00:32:43 UTC 2007 IDJOB= 363521 IDBENCH= 1858 IDSOLVER= 157 FILE ID= node55/363521-1177029163 PBS_JOBID= 4630626 Free space on /tmp= 66354 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb COMMAND LINE= /tmp/evaluation/363521-1177029163/PBS4 /tmp/evaluation/363521-1177029163/instance-363521-1177029163.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-363521-1177029163 -o ROOT/results/node55/conversion-363521-1177029163 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363521-1177029163/instance-363521-1177029163.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-363521-1177029163 -o ROOT/results/node55/solver-363521-1177029163 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/363521-1177029163/PBS4 /tmp/evaluation/363521-1177029163/instance-363521-1177029163.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2 RANDOM SEED= 161195183 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1683684 kB Buffers: 27180 kB Cached: 270776 kB SwapCached: 2196 kB Active: 137296 kB Inactive: 170576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1683684 kB SwapTotal: 4192956 kB SwapFree: 4184496 kB Dirty: 1148 kB Writeback: 0 kB Mapped: 16468 kB Slab: 50464 kB Committed_AS: 1170356 kB PageTables: 1380 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= 66354 MiB End job on node55 on Fri Apr 20 01:02:46 UTC 2007