Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | ? (TO) | 1800.08 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-greenbeb.opb |
MD5SUM | 7808a83c255339d45cbd36765fa322a9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 155020 |
Total number of constraints | 2675 |
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 | 2675 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 7172 |
Number of terms in the objective function | 14882 |
Biggest coefficient in the objective function | 22533 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 536862 |
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 | 536862 |
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/458608-1178638541/instance-458608-1178638541.opb ...... 1800.05/1800.60 c done parsing opb. 1800.05/1800.60 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/458608-1178638541/instance-458608-1178638541.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-458608-1178638541 -o ROOT/results/node72/solver-458608-1178638541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458608-1178638541/instance-458608-1178638541.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.68 1.26 1.13 3/77 31931 /proc/meminfo: memFree=1506280/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=15860 CPUtime=0 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 339892605 16240640 475 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134570893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 3965 480 79 219 0 3742 0 [startup+0.0868931 s] /proc/loadavg: 1.68 1.26 1.13 3/77 31931 /proc/meminfo: memFree=1506280/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=22712 CPUtime=0.08 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 5587 0 0 0 6 2 0 0 18 0 1 0 339892605 23257088 5342 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5678 5342 84 219 0 5455 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22712 [startup+0.101893 s] /proc/loadavg: 1.68 1.26 1.13 3/77 31931 /proc/meminfo: memFree=1506280/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=23012 CPUtime=0.09 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 5641 0 0 0 7 2 0 0 18 0 1 0 339892605 23564288 5396 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5753 5396 84 219 0 5530 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23012 [startup+0.301912 s] /proc/loadavg: 1.68 1.26 1.13 3/77 31931 /proc/meminfo: memFree=1506280/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=23176 CPUtime=0.29 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 5721 0 0 0 27 2 0 0 19 0 1 0 339892605 23732224 5476 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5794 5476 86 219 0 5571 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23176 [startup+0.701948 s] /proc/loadavg: 1.68 1.26 1.13 3/77 31931 /proc/meminfo: memFree=1506280/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=23176 CPUtime=0.69 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 5721 0 0 0 67 2 0 0 22 0 1 0 339892605 23732224 5476 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 5794 5476 86 219 0 5571 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23176 [startup+1.50202 s] /proc/loadavg: 1.68 1.26 1.13 2/78 31932 /proc/meminfo: memFree=1484384/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=26444 CPUtime=1.49 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 7139 0 0 0 147 2 0 0 25 0 1 0 339892605 27078656 6245 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134784927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 6611 6245 86 219 0 6388 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26444 [startup+3.10117 s] /proc/loadavg: 1.68 1.26 1.13 2/78 31932 /proc/meminfo: memFree=1475552/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=37280 CPUtime=3.09 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 9901 0 0 0 305 4 0 0 25 0 1 0 339892605 38174720 8856 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586450 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 9320 8856 86 219 0 9097 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37280 [startup+6.30246 s] /proc/loadavg: 1.63 1.25 1.13 2/78 31932 /proc/meminfo: memFree=1465440/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=46336 CPUtime=6.28 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 12144 0 0 0 622 6 0 0 25 0 1 0 339892605 47448064 11099 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134586372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 11584 11099 86 219 0 11361 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 46336 [startup+12.701 s] /proc/loadavg: 1.58 1.25 1.12 2/78 31932 /proc/meminfo: memFree=1440864/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=99604 CPUtime=12.68 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 20027 0 0 0 1259 9 0 0 25 0 1 0 339892605 101994496 18859 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134570893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24901 18860 87 219 0 24678 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 99604 [startup+25.5012 s] /proc/loadavg: 1.45 1.24 1.12 2/78 31932 /proc/meminfo: memFree=1434528/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=88848 CPUtime=25.48 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 23145 0 0 0 2537 11 0 0 25 0 1 0 339892605 90980352 18039 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 22212 18039 90 219 0 21989 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 88848 [startup+51.1016 s] /proc/loadavg: 1.29 1.22 1.12 2/78 31932 /proc/meminfo: memFree=1433888/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=89616 CPUtime=51.07 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 23336 0 0 0 5096 11 0 0 25 0 1 0 339892605 91766784 18230 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134548931 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 22404 18230 90 219 0 22181 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 89616 [startup+102.305 s] /proc/loadavg: 1.13 1.18 1.11 2/78 31932 /proc/meminfo: memFree=1431584/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=92688 CPUtime=102.26 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 24507 0 0 0 10213 13 0 0 25 0 1 0 339892605 94912512 18795 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 23172 18795 90 219 0 22949 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 92688 [startup+162.302 s] /proc/loadavg: 1.04 1.15 1.10 2/78 31932 /proc/meminfo: memFree=1430880/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=92688 CPUtime=162.25 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 24979 0 0 0 16209 16 0 0 25 0 1 0 339892605 94912512 18964 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 23172 18964 90 219 0 22949 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 92688 [startup+222.301 s] /proc/loadavg: 1.01 1.12 1.09 2/78 31932 /proc/meminfo: memFree=1430496/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=92688 CPUtime=222.23 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 25350 0 0 0 22206 17 0 0 25 0 1 0 339892605 94912512 19032 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 23172 19032 90 219 0 22949 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 92688 [startup+282.302 s] /proc/loadavg: 1.00 1.09 1.08 2/78 31932 /proc/meminfo: memFree=1430496/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=92688 CPUtime=282.21 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 25655 0 0 0 28203 18 0 0 25 0 1 0 339892605 94912512 19034 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 23172 19034 90 219 0 22949 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 92688 [startup+342.301 s] /proc/loadavg: 1.00 1.07 1.08 2/78 31932 /proc/meminfo: memFree=1430432/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=92688 CPUtime=342.2 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 25961 0 0 0 34200 20 0 0 25 0 1 0 339892605 94912512 19037 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 23172 19037 90 219 0 22949 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 92688 [startup+402.302 s] /proc/loadavg: 1.00 1.06 1.07 2/78 31932 /proc/meminfo: memFree=1430432/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=92688 CPUtime=402.19 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 26569 0 0 0 40197 22 0 0 25 0 1 0 339892605 94912512 19039 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 23172 19039 90 219 0 22949 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 92688 [startup+462.301 s] /proc/loadavg: 1.00 1.04 1.06 2/78 31932 /proc/meminfo: memFree=1428576/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=96784 CPUtime=462.17 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 27695 0 0 0 46191 26 0 0 25 0 1 0 339892605 99106816 19559 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24196 19559 90 219 0 23973 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 96784 [startup+522.302 s] /proc/loadavg: 1.00 1.03 1.06 2/78 31932 /proc/meminfo: memFree=1428128/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=96784 CPUtime=522.15 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 28693 0 0 0 52186 29 0 0 25 0 1 0 339892605 99106816 19648 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24196 19648 90 219 0 23973 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 96784 [startup+582.301 s] /proc/loadavg: 1.00 1.03 1.05 2/78 31932 /proc/meminfo: memFree=1427104/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=96784 CPUtime=582.15 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 29283 0 0 0 58182 33 0 0 25 0 1 0 339892605 99106816 19935 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24196 19935 90 219 0 23973 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 96784 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.05 2/78 31932 /proc/meminfo: memFree=1426336/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=96784 CPUtime=642.13 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 30027 0 0 0 64178 35 0 0 25 0 1 0 339892605 99106816 20073 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24196 20073 90 219 0 23973 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 96784 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.03 2/78 31932 /proc/meminfo: memFree=1425824/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=97556 CPUtime=822.08 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 32587 0 0 0 82165 43 0 0 25 0 1 0 339892605 99897344 20209 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24389 20209 90 219 0 24166 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 97556 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.02 2/78 31932 /proc/meminfo: memFree=1425824/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=97556 CPUtime=882.07 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 32899 0 0 0 88162 45 0 0 25 0 1 0 339892605 99897344 20218 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24389 20218 90 219 0 24166 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 97556 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.02 2/78 31932 /proc/meminfo: memFree=1425760/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=97556 CPUtime=942.05 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 33218 0 0 0 94159 46 0 0 25 0 1 0 339892605 99897344 20234 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 24389 20234 90 219 0 24166 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 97556 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.01 2/78 31932 /proc/meminfo: memFree=1423520/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=105748 CPUtime=1002.04 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 34359 0 0 0 100155 49 0 0 25 0 1 0 339892605 108285952 20769 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545342 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26437 20769 90 219 0 26214 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 105748 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423520/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=105748 CPUtime=1062.03 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 34671 0 0 0 106150 53 0 0 25 0 1 0 339892605 108285952 20778 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26437 20778 90 219 0 26214 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 105748 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423456/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=105748 CPUtime=1122.01 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 35285 0 0 0 112146 55 0 0 25 0 1 0 339892605 108285952 20786 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26437 20786 90 219 0 26214 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 105748 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423456/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=105748 CPUtime=1182 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 35907 0 0 0 118143 57 0 0 25 0 1 0 339892605 108285952 20802 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26437 20802 90 219 0 26214 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 105748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423392/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=105748 CPUtime=1241.98 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 36217 0 0 0 124140 58 0 0 25 0 1 0 339892605 108285952 20809 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26437 20809 90 219 0 26214 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 105748 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423328/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=105748 CPUtime=1301.97 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 36831 0 0 0 130138 59 0 0 25 0 1 0 339892605 108285952 20817 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26437 20817 90 219 0 26214 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 105748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423328/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=105748 CPUtime=1361.95 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 37143 0 0 0 136135 60 0 0 25 0 1 0 339892605 108285952 20826 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26437 20826 90 219 0 26214 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 105748 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423200/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1421.94 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 37959 0 0 0 142132 62 0 0 25 0 1 0 339892605 109072384 20843 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 20843 90 219 0 26406 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 106516 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31932 /proc/meminfo: memFree=1423072/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1481.92 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 38653 0 0 0 148128 64 0 0 25 0 1 0 339892605 109072384 20931 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545681 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 20931 90 219 0 26406 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 106516 [startup+1542.3 s] /proc/loadavg: 1.06 1.02 1.00 2/84 32054 /proc/meminfo: memFree=1421608/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1541.84 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 39286 0 0 0 154117 67 0 0 25 0 1 0 339892605 109072384 20958 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557336 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 20958 90 219 0 26406 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 106516 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 32134 /proc/meminfo: memFree=1422752/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1601.79 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 39593 0 0 0 160111 68 0 0 25 0 1 0 339892605 109072384 20962 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 20962 90 219 0 26406 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 106516 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 32134 /proc/meminfo: memFree=1422688/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1661.78 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 39918 0 0 0 166107 71 0 0 25 0 1 0 339892605 109072384 20984 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134555360 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 20984 90 219 0 26406 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 106516 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32134 /proc/meminfo: memFree=1421600/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1721.76 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 41079 0 0 0 172102 74 0 0 25 0 1 0 339892605 109072384 21236 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 21236 90 219 0 26406 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 106516 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32134 /proc/meminfo: memFree=1421536/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1781.75 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 41389 0 0 0 178097 78 0 0 25 0 1 0 339892605 109072384 21243 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 21243 90 219 0 26406 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 106516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 32134 /proc/meminfo: memFree=1421472/2055920 swapFree=4157260/4192956 [pid=31931] ppid=31929 vsize=106516 CPUtime=1800.05 /proc/31931/stat : 31931 (PBS4_SAT07v2) R 31929 31931 31738 0 -1 4194304 41694 0 0 0 179927 78 0 0 25 0 1 0 339892605 109072384 21245 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31931/statm: 26629 21245 90 219 0 26406 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 106516 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.08 CPU user time (s): 1799.28 CPU system time (s): 0.800878 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 107728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.800878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41695 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= 3119 runsolver used 1.53777 second user time and 4.18436 second system time The end
Begin job on node72 on Tue May 8 15:35:42 UTC 2007 IDJOB= 458608 IDBENCH= 1722 IDSOLVER= 200 FILE ID= node72/458608-1178638541 PBS_JOBID= 5218345 Free space on /tmp= 66553 MiB SOLVER NAME= PBS4_v2 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-greenbeb.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458608-1178638541/instance-458608-1178638541.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-458608-1178638541 -o ROOT/results/node72/conversion-458608-1178638541 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458608-1178638541/instance-458608-1178638541.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-458608-1178638541 -o ROOT/results/node72/solver-458608-1178638541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458608-1178638541/instance-458608-1178638541.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= 7808a83c255339d45cbd36765fa322a9 RANDOM SEED= 410810676 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1506688 kB Buffers: 36940 kB Cached: 366068 kB SwapCached: 16892 kB Active: 128984 kB Inactive: 334780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1506688 kB SwapTotal: 4192956 kB SwapFree: 4157260 kB Dirty: 11628 kB Writeback: 0 kB Mapped: 67960 kB Slab: 70936 kB Committed_AS: 7443968 kB PageTables: 1888 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= 66553 MiB End job on node72 on Tue May 8 16:05:44 UTC 2007