Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.6 | 1801.29 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24674 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24674 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node67/41688-1149400167/instance-41688-1149400167.opb ...... 0.22 c done parsing opb. 0.22 o 28004 1.78 o 26544 1.89 o 26463 5.54 o 26371 15.35 o 26370 30.31 o 25933 41.93 o 25822 74.15 o 25732 450.09 o 25270
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-41688-1149400167 -o ROOT/results/node67/solver-41688-1149400167 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41688-1149400167/instance-41688-1149400167.opb 420291470 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 4848 /proc/meminfo: memFree=1853152/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=1400 CPUtime=0 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 166 0 0 0 0 0 0 0 19 0 1 0 205686156 1433600 146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 350 146 100 232 0 115 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.98 2/64 4848 /proc/meminfo: memFree=1841272/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=13872 CPUtime=9.99 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 3436 0 0 0 994 5 0 0 25 0 1 0 205686156 14204928 3069 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 3468 3069 108 232 0 3233 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13872 [startup+20.009 s] /proc/loadavg: 0.94 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1837112/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=23608 CPUtime=19.99 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 4492 0 0 0 1991 8 0 0 25 0 1 0 205686156 24174592 4125 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 5902 4125 108 232 0 5667 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 23608 [startup+30.0149 s] /proc/loadavg: 0.95 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1831096/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=26292 CPUtime=29.99 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 6383 0 0 0 2987 12 0 0 25 0 1 0 205686156 26923008 5631 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 6573 5631 108 232 0 6338 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26292 [startup+40.0208 s] /proc/loadavg: 0.95 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1827384/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=43808 CPUtime=40 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 7298 0 0 0 3985 15 0 0 25 0 1 0 205686156 44859392 6546 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 10952 6546 108 232 0 10717 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43808 [startup+50.0276 s] /proc/loadavg: 0.96 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1824824/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=45120 CPUtime=50 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 7965 0 0 0 4982 18 0 0 25 0 1 0 205686156 46202880 7213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 11280 7213 108 232 0 11045 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 45120 [startup+60.0335 s] /proc/loadavg: 0.97 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1822712/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=45940 CPUtime=60 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 8486 0 0 0 5980 20 0 0 25 0 1 0 205686156 47042560 7734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 11485 7734 108 232 0 11250 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 45940 [startup+70.0394 s] /proc/loadavg: 0.97 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1821432/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=46860 CPUtime=70.01 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 8806 0 0 0 6979 22 0 0 25 0 1 0 205686156 47984640 8054 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 11715 8054 108 232 0 11480 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 46860 [startup+80.0452 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1820600/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=47360 CPUtime=80 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 9028 0 0 0 7976 24 0 0 25 0 1 0 205686156 48496640 8276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 11840 8276 108 232 0 11605 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 47360 [startup+90.0511 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1819448/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=50728 CPUtime=90.01 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 10076 0 0 0 8975 26 0 0 25 0 1 0 205686156 51945472 8555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 12682 8555 108 232 0 12447 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 50728 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1817016/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=51184 CPUtime=100.01 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 10678 0 0 0 9973 28 0 0 25 0 1 0 205686156 52412416 9157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 12796 9157 108 232 0 12561 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 51184 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4848 /proc/meminfo: memFree=1816056/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=51504 CPUtime=110.01 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 10908 0 0 0 10972 29 0 0 25 0 1 0 205686156 52740096 9387 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 12876 9387 108 232 0 12641 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 51504 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1814904/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=51836 CPUtime=120.02 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 11201 0 0 0 11971 31 0 0 25 0 1 0 205686156 53080064 9680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552019 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 12959 9680 108 232 0 12724 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 51836 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1813432/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=52180 CPUtime=130.02 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 11568 0 0 0 12970 32 0 0 25 0 1 0 205686156 53432320 10047 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13045 10047 108 232 0 12810 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 52180 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1811896/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=52564 CPUtime=140.02 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 11941 0 0 0 13968 34 0 0 25 0 1 0 205686156 53825536 10420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13141 10420 108 232 0 12906 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 52564 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1810936/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=52948 CPUtime=150.02 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12182 0 0 0 14967 35 0 0 25 0 1 0 205686156 54218752 10661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13237 10661 108 232 0 13002 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 52948 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1809720/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=53920 CPUtime=160.03 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12493 0 0 0 15966 37 0 0 25 0 1 0 205686156 55214080 10972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13480 10972 108 232 0 13245 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 53920 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1808568/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=54560 CPUtime=170.03 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12765 0 0 0 16964 39 0 0 25 0 1 0 205686156 55869440 11244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13640 11244 108 232 0 13405 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 54560 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1808184/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=54752 CPUtime=180.03 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12863 0 0 0 17962 41 0 0 25 0 1 0 205686156 56066048 11342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13688 11342 108 232 0 13453 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 54752 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1807864/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=54996 CPUtime=190.03 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 12949 0 0 0 18961 42 0 0 25 0 1 0 205686156 56315904 11428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549939 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13749 11428 108 232 0 13514 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 54996 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1807480/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=55256 CPUtime=200.04 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 13052 0 0 0 19960 44 0 0 25 0 1 0 205686156 56582144 11531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 13814 11531 108 232 0 13579 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 55256 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4848 /proc/meminfo: memFree=1807160/2055920 swapFree=4181736/4192956 ################ # More data... # ################ /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38728 0 0 0 177929 219 0 0 25 0 1 0 205686156 210186240 32597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32597 108 232 0 51080 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (Kb) 205260 [startup+1783.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722424/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1782.48 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38730 0 0 0 178029 219 0 0 25 0 1 0 205686156 210186240 32599 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32599 108 232 0 51080 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 205260 [startup+1784.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722360/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1783.49 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38738 0 0 0 178130 219 0 0 25 0 1 0 205686156 210186240 32607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32607 108 232 0 51080 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 205260 [startup+1785.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722360/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1784.49 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38746 0 0 0 178230 219 0 0 25 0 1 0 205686156 210186240 32615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32615 108 232 0 51080 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 205260 [startup+1786.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1785.49 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38749 0 0 0 178330 219 0 0 25 0 1 0 205686156 210186240 32618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32618 108 232 0 51080 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 205260 [startup+1787.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1786.5 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38752 0 0 0 178431 219 0 0 25 0 1 0 205686156 210186240 32621 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32621 108 232 0 51080 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 205260 [startup+1788.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1787.5 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38755 0 0 0 178531 219 0 0 25 0 1 0 205686156 210186240 32624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32624 108 232 0 51080 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 205260 [startup+1789.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722296/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1788.51 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38757 0 0 0 178632 219 0 0 25 0 1 0 205686156 210186240 32626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32626 108 232 0 51080 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 205260 [startup+1790.2 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722232/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1789.51 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38767 0 0 0 178732 219 0 0 25 0 1 0 205686156 210186240 32636 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32636 108 232 0 51080 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 205260 [startup+1791.2 s] /proc/loadavg: 1.00 1.00 0.99 3/64 5043 /proc/meminfo: memFree=1722168/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1790.51 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38786 0 0 0 178832 219 0 0 25 0 1 0 205686156 210186240 32655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32655 108 232 0 51080 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 205260 [startup+1792.21 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722168/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205260 CPUtime=1791.52 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38789 0 0 0 178932 220 0 0 25 0 1 0 205686156 210186240 32658 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550830 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51315 32658 108 232 0 51080 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 205260 [startup+1793.21 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722040/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205392 CPUtime=1792.53 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38812 0 0 0 179033 220 0 0 25 0 1 0 205686156 210321408 32681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51348 32681 108 232 0 51113 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 205392 [startup+1794.22 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1722040/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205392 CPUtime=1793.53 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38815 0 0 0 179133 220 0 0 25 0 1 0 205686156 210321408 32684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51348 32684 108 232 0 51113 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 205392 [startup+1795.22 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721976/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1794.53 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38838 0 0 0 179233 220 0 0 25 0 1 0 205686156 210456576 32707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32707 108 232 0 51146 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 205524 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721976/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1795.54 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38841 0 0 0 179334 220 0 0 25 0 1 0 205686156 210456576 32710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550040 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32710 108 232 0 51146 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 205524 [startup+1797.23 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721912/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1796.54 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38844 0 0 0 179434 220 0 0 25 0 1 0 205686156 210456576 32713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32713 108 232 0 51146 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 205524 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721912/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1797.54 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38846 0 0 0 179534 220 0 0 25 0 1 0 205686156 210456576 32715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32715 108 232 0 51146 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 205524 [startup+1799.24 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1798.56 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38860 0 0 0 179635 221 0 0 25 0 1 0 205686156 210456576 32729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32729 108 232 0 51146 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 205524 [startup+1800.25 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1799.56 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38863 0 0 0 179735 221 0 0 25 0 1 0 205686156 210456576 32732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32732 108 232 0 51146 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 205524 [startup+1801.25 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1800.56 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38865 0 0 0 179835 221 0 0 25 0 1 0 205686156 210456576 32734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552205 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32734 108 232 0 51146 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 205524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.26 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5043 /proc/meminfo: memFree=1721848/2055920 swapFree=4181736/4192956 [pid=4848] ppid=4846 vsize=205524 CPUtime=1800.57 /proc/4848/stat : 4848 (PBS4L) R 4846 4848 4802 0 -1 4194304 38865 0 0 0 179836 221 0 0 25 0 1 0 205686156 210456576 32734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/4848/statm: 51381 32734 108 232 0 51146 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 205524 Sending SIGTERM to -4848 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.29 CPU time (s): 1800.6 CPU user time (s): 1798.36 CPU system time (s): 2.23366 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (Kb): 205524 The end
Begin job on node67 on Sun Jun 4 05:49:27 UTC 2006 FILE ID= 41688-1149400167 PBS_JOBID= 313957 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41688-1149400167/instance-41688-1149400167.opb 420291470 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-41688-1149400167 -o ROOT/results/node67/solver-41688-1149400167 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41688-1149400167/instance-41688-1149400167.opb 420291470 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED= 420291470 /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.264 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.264 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: 1853360 kB Buffers: 11132 kB Cached: 130644 kB SwapCached: 2792 kB Active: 32336 kB Inactive: 117984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853360 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14784 kB Slab: 38236 kB Committed_AS: 396792 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node67 on Sun Jun 4 06:19:29 UTC 2006