Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.07 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-beaconfd.opb |
MD5SUM | 6927d145bd65464e16bb11d2b0c90152 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1238 |
Best CPU time to get the best result obtained on this benchmark | 1802.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 919 |
Optimality of the best value was proved | NO |
Number of variables | 7860 |
Total number of constraints | 173 |
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 | 173 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 4620 |
Number of terms in the objective function | 2880 |
Biggest coefficient in the objective function | 56798 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 526611 |
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 | 527918 |
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/351324-1176595805/instance-351324-1176595805.opb ...... 5.79/5.86 c done parsing opb. 5.79/5.86 o 21556 6.49/6.58 o 15547 1490.12/1490.50 o 15546 1645.28/1645.77 o 14540 1645.97/1646.48 o 12336 1800.04/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/351324-1176595805/instance-351324-1176595805.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-351324-1176595805 -o ROOT/results/node12/solver-351324-1176595805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351324-1176595805/PBS4 /tmp/evaluation/351324-1176595805/instance-351324-1176595805.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/77 3314 /proc/meminfo: memFree=1804024/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=2388 CPUtime=0 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 387 0 0 0 0 0 0 0 18 0 1 0 135617843 2445312 369 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/3314/statm: 597 369 86 219 0 374 0 [startup+0.099424 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3314 /proc/meminfo: memFree=1804024/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=2800 CPUtime=0.09 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 500 0 0 0 9 0 0 0 18 0 1 0 135617843 2867200 482 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588295 0 0 4096 0 0 0 0 17 1 0 0 /proc/3314/statm: 700 482 87 219 0 477 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2800 [startup+0.101424 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3314 /proc/meminfo: memFree=1804024/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=2800 CPUtime=0.09 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 500 0 0 0 9 0 0 0 18 0 1 0 135617843 2867200 482 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0 /proc/3314/statm: 700 482 87 219 0 477 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2800 [startup+0.301444 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3314 /proc/meminfo: memFree=1804024/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=3440 CPUtime=0.29 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 637 0 0 0 29 0 0 0 19 0 1 0 135617843 3522560 619 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588869 0 0 4096 0 0 0 0 17 1 0 0 /proc/3314/statm: 860 619 87 219 0 637 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3440 [startup+0.701484 s] /proc/loadavg: 0.92 0.98 0.99 3/77 3314 /proc/meminfo: memFree=1804024/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=4496 CPUtime=0.69 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 914 0 0 0 69 0 0 0 22 0 1 0 135617843 4603904 896 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588386 0 0 4096 0 0 0 0 17 1 0 0 /proc/3314/statm: 1124 896 87 219 0 901 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4496 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1800048/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=7736 CPUtime=1.49 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 1740 0 0 0 149 0 0 0 25 0 1 0 135617843 7921664 1722 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134588993 0 0 4096 0 0 0 0 17 1 0 0 /proc/3314/statm: 1934 1722 87 219 0 1711 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7736 [startup+3.10173 s] /proc/loadavg: 0.92 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1797168/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=10332 CPUtime=3.09 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 2550 0 0 0 308 1 0 0 25 0 1 0 135617843 10579968 2347 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 2583 2347 93 219 0 2360 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10332 [startup+6.30105 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1794544/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=10332 CPUtime=6.29 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 2561 0 0 0 628 1 0 0 25 0 1 0 135617843 10579968 2358 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 2583 2358 103 219 0 2360 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10332 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1792240/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=14172 CPUtime=12.69 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 3200 0 0 0 1267 2 0 0 25 0 1 0 135617843 14512128 2997 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 3543 2997 104 219 0 3320 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14172 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1788656/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=18268 CPUtime=25.48 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 4105 0 0 0 2545 3 0 0 25 0 1 0 135617843 18706432 3902 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 4567 3902 104 219 0 4344 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18268 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1778288/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=42844 CPUtime=51.07 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 6724 0 0 0 5103 4 0 0 25 0 1 0 135617843 43872256 6521 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134547713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 10711 6521 104 219 0 10488 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42844 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1761520/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75612 CPUtime=102.27 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 10829 0 0 0 10219 8 0 0 25 0 1 0 135617843 77426688 10626 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18903 10626 104 219 0 18680 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 75612 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1759344/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75612 CPUtime=162.25 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 11366 0 0 0 16217 8 0 0 25 0 1 0 135617843 77426688 11163 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18903 11163 104 219 0 18680 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 75612 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1757552/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75612 CPUtime=222.23 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 11815 0 0 0 22214 9 0 0 25 0 1 0 135617843 77426688 11612 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18903 11612 104 219 0 18680 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 75612 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1755760/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75612 CPUtime=282.22 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 12399 0 0 0 28212 10 0 0 25 0 1 0 135617843 77426688 12196 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559802 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18903 12196 104 219 0 18680 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 75612 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1752304/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=342.21 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 13129 0 0 0 34210 11 0 0 25 0 1 0 135617843 77627392 12926 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 12926 104 219 0 18729 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 75808 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1750640/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=402.19 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 13551 0 0 0 40207 12 0 0 25 0 1 0 135617843 77627392 13348 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 13348 104 219 0 18729 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 75808 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1749424/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=462.17 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 13851 0 0 0 46205 12 0 0 25 0 1 0 135617843 77627392 13648 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 13648 104 219 0 18729 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 75808 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1748272/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=522.16 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 14137 0 0 0 52203 13 0 0 25 0 1 0 135617843 77627392 13934 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 13934 104 219 0 18729 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 75808 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1747248/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=582.14 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 14392 0 0 0 58201 13 0 0 25 0 1 0 135617843 77627392 14189 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 14189 104 219 0 18729 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 75808 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1746352/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=642.14 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 14612 0 0 0 64200 14 0 0 25 0 1 0 135617843 77627392 14409 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 14409 104 219 0 18729 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 75808 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1736624/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=882.06 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 17018 0 0 0 88188 18 0 0 25 0 1 0 135617843 77627392 16815 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 16815 104 219 0 18729 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 75808 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1735472/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=942.05 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 17321 0 0 0 94186 19 0 0 25 0 1 0 135617843 77627392 17118 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 17118 104 219 0 18729 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 75808 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1734384/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=1002.04 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 17577 0 0 0 100184 20 0 0 25 0 1 0 135617843 77627392 17374 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 17374 104 219 0 18729 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 75808 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1733360/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=1062.03 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 17845 0 0 0 106182 21 0 0 25 0 1 0 135617843 77627392 17642 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 17642 104 219 0 18729 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 75808 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1732400/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=1122 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 18093 0 0 0 112179 21 0 0 25 0 1 0 135617843 77627392 17890 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 17890 104 219 0 18729 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 75808 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1731184/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=1181.99 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 18383 0 0 0 118177 22 0 0 25 0 1 0 135617843 77627392 18180 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 18180 104 219 0 18729 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 75808 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3315 /proc/meminfo: memFree=1730096/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=1241.98 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 18657 0 0 0 124175 23 0 0 25 0 1 0 135617843 77627392 18454 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 18454 104 219 0 18729 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 75808 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1729008/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=75808 CPUtime=1301.97 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 18921 0 0 0 130173 24 0 0 25 0 1 0 135617843 77627392 18718 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 18952 18718 104 219 0 18729 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 75808 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 4/78 3317 /proc/meminfo: memFree=1728048/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141344 CPUtime=1361.95 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 19155 0 0 0 136171 24 0 0 25 0 1 0 135617843 144736256 18952 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35336 18952 104 219 0 35113 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 141344 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1722928/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141344 CPUtime=1421.94 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 20432 0 0 0 142168 26 0 0 25 0 1 0 135617843 144736256 20229 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35336 20229 104 219 0 35113 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 141344 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 3317 /proc/meminfo: memFree=1717680/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141536 CPUtime=1481.91 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 21862 0 0 0 148164 27 0 0 25 0 1 0 135617843 144932864 21659 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35384 21659 104 219 0 35161 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 141536 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1705072/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141536 CPUtime=1541.9 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 24880 0 0 0 154160 30 0 0 25 0 1 0 135617843 144932864 24677 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35384 24677 104 219 0 35161 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 141536 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1702128/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141728 CPUtime=1601.88 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 25680 0 0 0 160157 31 0 0 25 0 1 0 135617843 145129472 25428 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559310 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35432 25428 104 219 0 35209 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 141728 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1698736/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141728 CPUtime=1661.87 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 26514 0 0 0 166154 33 0 0 25 0 1 0 135617843 145129472 26262 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35432 26262 104 219 0 35209 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 141728 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1698672/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141728 CPUtime=1721.85 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 26529 0 0 0 172150 35 0 0 25 0 1 0 135617843 145129472 26277 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35432 26277 104 219 0 35209 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 141728 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 3317 /proc/meminfo: memFree=1698608/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141728 CPUtime=1781.84 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 26530 0 0 0 178148 36 0 0 25 0 1 0 135617843 145129472 26278 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35432 26278 104 219 0 35209 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 141728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 3317 /proc/meminfo: memFree=1698544/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141808 CPUtime=1800.04 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 26550 0 0 0 179968 36 0 0 25 0 1 0 135617843 145211392 26298 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35452 26298 104 219 0 35229 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 141808 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.98 0.99 2/78 3317 /proc/meminfo: memFree=1698544/2055920 swapFree=4169356/4192956 [pid=3314] ppid=3312 vsize=141808 CPUtime=1800.04 /proc/3314/stat : 3314 (PBS4) R 3312 3314 2713 0 -1 4194304 26550 0 0 0 179968 36 0 0 25 0 1 0 135617843 145211392 26298 18446744073709551615 134512640 135410514 4294956672 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3314/statm: 35452 26298 104 219 0 35229 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 141808 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.07 CPU user time (s): 1799.69 CPU system time (s): 0.383941 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 141808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.69 system time used= 0.383941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26551 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= 1149 runsolver used 2.00869 second user time and 3.97939 second system time The end
Begin job on node12 on Sun Apr 15 00:10:05 UTC 2007 IDJOB= 351324 IDBENCH= 1723 IDSOLVER= 157 FILE ID= node12/351324-1176595805 PBS_JOBID= 4556805 Free space on /tmp= 66431 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-beaconfd.opb COMMAND LINE= /tmp/evaluation/351324-1176595805/PBS4 /tmp/evaluation/351324-1176595805/instance-351324-1176595805.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node12/convwatcher-351324-1176595805 -o ROOT/results/node12/conversion-351324-1176595805 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351324-1176595805/instance-351324-1176595805.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-351324-1176595805 -o ROOT/results/node12/solver-351324-1176595805 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351324-1176595805/PBS4 /tmp/evaluation/351324-1176595805/instance-351324-1176595805.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 6927d145bd65464e16bb11d2b0c90152 RANDOM SEED= 593512571 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1804432 kB Buffers: 36636 kB Cached: 142828 kB SwapCached: 2436 kB Active: 78772 kB Inactive: 123828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804432 kB SwapTotal: 4192956 kB SwapFree: 4169356 kB Dirty: 2148 kB Writeback: 0 kB Mapped: 30504 kB Slab: 34380 kB Committed_AS: 4168132 kB PageTables: 1792 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= 66431 MiB End job on node12 on Sun Apr 15 00:40:07 UTC 2007