Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.1 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | dcfce19ac0444148b26b7675e35c76bc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 304 |
Best CPU time to get the best result obtained on this benchmark | 0.011997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | YES |
Number of variables | 257 |
Total number of constraints | 97 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 97 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
Number of bits of the biggest sum of numbers | 14 |
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/365327-1177049343/instance-365327-1177049343.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 393 1800.08/1800.71 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/365327-1177049343/instance-365327-1177049343.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-365327-1177049343 -o ROOT/results/node25/solver-365327-1177049343 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/365327-1177049343/PBS4 /tmp/evaluation/365327-1177049343/instance-365327-1177049343.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.78 0.95 0.98 3/64 3242 /proc/meminfo: memFree=1738464/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=1320 CPUtime=0 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 152851350 1351680 141 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 330 141 102 219 0 107 0 [startup+0.08278 s] /proc/loadavg: 0.78 0.95 0.98 3/64 3242 /proc/meminfo: memFree=1738464/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=1732 CPUtime=0.07 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 290 0 0 0 7 0 0 0 18 0 1 0 152851350 1773568 272 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 433 272 103 219 0 210 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1732 [startup+0.101782 s] /proc/loadavg: 0.78 0.95 0.98 3/64 3242 /proc/meminfo: memFree=1738464/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=2244 CPUtime=0.09 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 314 0 0 0 9 0 0 0 18 0 1 0 152851350 2297856 296 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 561 296 103 219 0 338 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2244 [startup+0.301816 s] /proc/loadavg: 0.78 0.95 0.98 3/64 3242 /proc/meminfo: memFree=1738464/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=3612 CPUtime=0.29 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 569 0 0 0 29 0 0 0 19 0 1 0 152851350 3698688 551 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 903 551 103 219 0 680 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3612 [startup+0.701883 s] /proc/loadavg: 0.78 0.95 0.98 3/64 3242 /proc/meminfo: memFree=1738464/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=5660 CPUtime=0.69 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 804 0 0 0 68 1 0 0 22 0 1 0 152851350 5795840 786 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 1415 786 103 219 0 1192 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5660 [startup+1.50202 s] /proc/loadavg: 0.78 0.95 0.98 2/65 3243 /proc/meminfo: memFree=1735512/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=6272 CPUtime=1.49 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 1106 0 0 0 147 2 0 0 25 0 1 0 152851350 6422528 1039 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 1568 1039 104 219 0 1345 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6272 [startup+3.10129 s] /proc/loadavg: 0.80 0.96 0.98 2/65 3243 /proc/meminfo: memFree=1734296/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=6404 CPUtime=3.09 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 1378 0 0 0 307 2 0 0 25 0 1 0 152851350 6557696 1311 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 1601 1311 104 219 0 1378 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6404 [startup+6.30184 s] /proc/loadavg: 0.80 0.96 0.98 2/65 3243 /proc/meminfo: memFree=1732120/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=10916 CPUtime=6.28 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 1824 0 0 0 625 3 0 0 25 0 1 0 152851350 11177984 1757 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 2729 1757 104 219 0 2506 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10916 [startup+12.7019 s] /proc/loadavg: 0.83 0.96 0.98 2/65 3243 /proc/meminfo: memFree=1729568/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=11444 CPUtime=12.69 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 2500 0 0 0 1264 5 0 0 25 0 1 0 152851350 11718656 2336 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 2861 2336 104 219 0 2638 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11444 [startup+25.5011 s] /proc/loadavg: 0.85 0.96 0.98 2/65 3243 /proc/meminfo: memFree=1725664/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=20244 CPUtime=25.48 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 3448 0 0 0 2540 8 0 0 25 0 1 0 152851350 20729856 3284 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 5061 3284 104 219 0 4838 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20244 [startup+51.1015 s] /proc/loadavg: 0.90 0.96 0.98 2/65 3243 /proc/meminfo: memFree=1720928/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=21812 CPUtime=51.08 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 4861 0 0 0 5094 14 0 0 25 0 1 0 152851350 22335488 4504 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 5453 4504 104 219 0 5230 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21812 [startup+102.305 s] /proc/loadavg: 0.96 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1713248/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=39672 CPUtime=102.26 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 6736 0 0 0 10205 21 0 0 25 0 1 0 152851350 40624128 6379 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 9918 6379 104 219 0 9695 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 39672 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1706592/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=42048 CPUtime=162.23 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 8790 0 0 0 16195 28 0 0 25 0 1 0 152851350 43057152 8048 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552753 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 10512 8048 104 219 0 10289 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 42048 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1701088/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=42504 CPUtime=222.21 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 10138 0 0 0 22188 33 0 0 25 0 1 0 152851350 43524096 9396 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 10626 9396 104 219 0 10403 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 42504 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1695712/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=76724 CPUtime=282.2 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 11489 0 0 0 28182 38 0 0 25 0 1 0 152851350 78565376 10747 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 19181 10747 104 219 0 18958 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 76724 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1690912/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=77912 CPUtime=342.17 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 12662 0 0 0 34175 42 0 0 25 0 1 0 152851350 79781888 11920 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 19478 11920 104 219 0 19255 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 77912 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1686880/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=78696 CPUtime=402.15 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 13716 0 0 0 40169 46 0 0 25 0 1 0 152851350 80584704 12941 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 19674 12941 104 219 0 19451 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 78696 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1683040/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=82544 CPUtime=462.13 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 15537 0 0 0 46162 51 0 0 25 0 1 0 152851350 84525056 13894 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 20636 13894 104 219 0 20413 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 82544 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1679712/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=82808 CPUtime=522.11 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 16391 0 0 0 52155 56 0 0 25 0 1 0 152851350 84795392 14748 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 20702 14748 104 219 0 20479 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 82808 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1676384/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=83324 CPUtime=582.09 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 17254 0 0 0 58149 60 0 0 25 0 1 0 152851350 85323776 15545 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 20831 15545 104 219 0 20608 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 83324 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1673376/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=83580 CPUtime=642.07 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 18085 0 0 0 64144 63 0 0 25 0 1 0 152851350 85585920 16310 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552752 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 20895 16310 104 219 0 20672 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 83580 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1661600/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=86552 CPUtime=881.99 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 21481 0 0 0 88123 76 0 0 25 0 1 0 152851350 88629248 19245 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 21638 19245 104 219 0 21415 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 86552 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1658976/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=87072 CPUtime=941.96 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 22170 0 0 0 94118 78 0 0 25 0 1 0 152851350 89161728 19901 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 21768 19901 104 219 0 21545 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 87072 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1656352/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=87848 CPUtime=1001.94 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 22865 0 0 0 100114 80 0 0 25 0 1 0 152851350 89956352 20530 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 21962 20530 104 219 0 21739 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 87848 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1654176/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=153384 CPUtime=1061.93 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 23429 0 0 0 106110 83 0 0 25 0 1 0 152851350 157065216 21094 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38346 21094 104 219 0 38123 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 153384 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1651936/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=153900 CPUtime=1121.9 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 24063 0 0 0 112105 85 0 0 25 0 1 0 152851350 157593600 21662 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38475 21662 104 219 0 38252 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 153900 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1649696/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=153900 CPUtime=1181.88 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 24612 0 0 0 118100 88 0 0 25 0 1 0 152851350 157593600 22211 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552741 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38475 22211 104 219 0 38252 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 153900 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1647520/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=154288 CPUtime=1241.86 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 25178 0 0 0 124097 89 0 0 25 0 1 0 152851350 157990912 22744 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38572 22744 104 219 0 38349 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 154288 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3243 /proc/meminfo: memFree=1645152/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=154548 CPUtime=1301.84 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 25769 0 0 0 130092 92 0 0 25 0 1 0 152851350 158257152 23335 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38637 23335 104 219 0 38414 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 154548 [startup+1362.3 s] /proc/loadavg: 1.04 0.99 0.99 2/65 3243 /proc/meminfo: memFree=1643360/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=154548 CPUtime=1361.82 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 26251 0 0 0 136088 94 0 0 25 0 1 0 152851350 158257152 23817 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134549298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38637 23817 104 219 0 38414 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 154548 [startup+1422.31 s] /proc/loadavg: 1.08 1.00 0.99 2/65 3243 /proc/meminfo: memFree=1641184/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=155192 CPUtime=1421.8 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 26898 0 0 0 142084 96 0 0 25 0 1 0 152851350 158916608 24366 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38798 24366 104 219 0 38575 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 155192 [startup+1482.3 s] /proc/loadavg: 1.03 1.00 0.99 2/65 3243 /proc/meminfo: memFree=1639136/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=155580 CPUtime=1481.77 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 27438 0 0 0 148079 98 0 0 25 0 1 0 152851350 159313920 24873 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 38895 24873 104 219 0 38672 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 155580 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 0.99 2/65 3243 /proc/meminfo: memFree=1636960/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=156096 CPUtime=1541.76 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 28032 0 0 0 154075 101 0 0 25 0 1 0 152851350 159842304 25402 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 39024 25402 104 219 0 38801 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 156096 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3243 /proc/meminfo: memFree=1635104/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=156612 CPUtime=1601.73 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 28558 0 0 0 160070 103 0 0 25 0 1 0 152851350 160370688 25863 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 39153 25863 104 219 0 38930 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 156612 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3243 /proc/meminfo: memFree=1633440/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=156612 CPUtime=1661.71 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 28974 0 0 0 166067 104 0 0 25 0 1 0 152851350 160370688 26279 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 39153 26279 104 219 0 38930 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 156612 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3243 /proc/meminfo: memFree=1631648/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=162752 CPUtime=1721.69 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 31018 0 0 0 172062 107 0 0 25 0 1 0 152851350 166658048 26720 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 40688 26720 104 219 0 40465 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 162752 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3245 /proc/meminfo: memFree=1629920/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=162880 CPUtime=1781.67 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 31479 0 0 0 178058 109 0 0 25 0 1 0 152851350 166789120 27148 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 40720 27148 104 219 0 40497 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 162880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/65 3245 /proc/meminfo: memFree=1629408/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=162880 CPUtime=1800.08 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 31610 0 0 0 179898 110 0 0 25 0 1 0 152851350 166789120 27279 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 40720 27279 104 219 0 40497 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 162880 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 0.99 2/65 3245 /proc/meminfo: memFree=1629408/2055920 swapFree=4182972/4192956 [pid=3242] ppid=3240 vsize=162880 CPUtime=1800.08 /proc/3242/stat : 3242 (PBS4) R 3240 3242 3132 0 -1 4194304 31610 0 0 0 179898 110 0 0 25 0 1 0 152851350 166789120 27279 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3242/statm: 40720 27279 104 219 0 40497 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 162880 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.1 CPU user time (s): 1798.98 CPU system time (s): 1.11983 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 162880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.11983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31611 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= 3665 runsolver used 1.40279 second user time and 3.53746 second system time The end
Begin job on node25 on Fri Apr 20 06:09:03 UTC 2007 IDJOB= 365327 IDBENCH= 2232 IDSOLVER= 157 FILE ID= node25/365327-1177049343 PBS_JOBID= 4640173 Free space on /tmp= 66368 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb COMMAND LINE= /tmp/evaluation/365327-1177049343/PBS4 /tmp/evaluation/365327-1177049343/instance-365327-1177049343.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-365327-1177049343 -o ROOT/results/node25/conversion-365327-1177049343 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/365327-1177049343/instance-365327-1177049343.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-365327-1177049343 -o ROOT/results/node25/solver-365327-1177049343 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/365327-1177049343/PBS4 /tmp/evaluation/365327-1177049343/instance-365327-1177049343.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc RANDOM SEED= 682570408 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1739000 kB Buffers: 72300 kB Cached: 194044 kB SwapCached: 3684 kB Active: 151120 kB Inactive: 125796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1739000 kB SwapTotal: 4192956 kB SwapFree: 4182972 kB Dirty: 1196 kB Writeback: 0 kB Mapped: 15308 kB Slab: 26016 kB Committed_AS: 4043912 kB PageTables: 1472 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= 66368 MiB End job on node25 on Fri Apr 20 06:39:06 UTC 2007