Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | Signal | 1666.58 | 1667.14 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
MD5SUM | 751aa23355f7a016eeb9009a33a863ac |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 469 |
Best CPU time to get the best result obtained on this benchmark | 1800.68 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 436 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494314 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494314 |
Number of bits of the biggest sum of numbers | 19 |
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 Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 17.44 c starting to Solve 17.44 c #variables read: 10000 - #constraints read: 656901 23.37 o 6390 23.57 o 6316 24.88 o 6313 25.18 o 6161 34.27 o 6141 34.43 o 6140 34.59 o 6101 34.75 o 6100 34.90 o 6099 35.05 o 6057 35.20 o 6043 35.35 o 6001 35.80 o 5991 35.95 o 5984 36.11 o 5973 36.30 o 5971 37.26 o 5955 37.41 o 5949 37.73 o 5937 37.88 o 5931 38.62 o 5927 51.19 o 5915 52.60 o 5912 52.75 o 5908 52.90 o 5878 53.14 o 5863 53.39 o 5836 53.55 o 5828 53.71 o 5796 53.99 o 5795 54.19 o 5769 54.33 o 5767 54.47 o 5729 61.32 o 5576 84.11 o 5572 84.25 o 5519 1520.57 o 5511 1520.71 o 5504 1520.87 o 5495 1573.84 o 5467 1666.87 Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.
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/node77/watcher-36764-1149389925 -o ROOT/results/node77/solver-36764-1149389925 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36764-1149389925/instance-36764-1149389925.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1151640/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=2336 CPUtime=0 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 204631795 2392064 130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1432472 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 584 130 111 16 0 11 0 [startup+10.0025 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1070296/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=84476 CPUtime=9.98 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 20637 0 0 0 989 9 0 0 25 0 1 0 204631795 86503424 20609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532045 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 21119 20609 203 16 0 20559 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 84476 [startup+20.0087 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1060888/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=95472 CPUtime=19.98 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 1988 10 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559555 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 23868 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 95472 [startup+30.015 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1060952/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=95472 CPUtime=29.99 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 2988 11 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 23868 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95472 [startup+40.0202 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1060952/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=95472 CPUtime=40 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 3988 12 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 23868 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95472 [startup+50.0265 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1060952/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=95472 CPUtime=49.99 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 4987 12 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 23868 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 95472 [startup+60.0327 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1061016/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=95472 CPUtime=60 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 5987 13 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 23868 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95472 [startup+70.0389 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1050264/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=106312 CPUtime=70.01 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 25709 0 0 0 6987 14 0 0 25 0 1 0 204631795 108863488 25681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 26578 25681 206 16 0 26018 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 106312 [startup+80.0452 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1037720/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=118792 CPUtime=80.01 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 28829 0 0 0 7985 16 0 0 25 0 1 0 204631795 121643008 28801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 29698 28801 206 16 0 29138 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 118792 [startup+90.0514 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1028056/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=128424 CPUtime=90.02 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 31255 0 0 0 8985 17 0 0 25 0 1 0 204631795 131506176 31227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 32106 31227 206 16 0 31546 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 128424 [startup+100.057 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1022232/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=134232 CPUtime=100.01 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 32698 0 0 0 9984 17 0 0 25 0 1 0 204631795 137453568 32670 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 33558 32670 206 16 0 32998 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 134232 [startup+110.063 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1016728/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=139760 CPUtime=110.02 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 34071 0 0 0 10984 18 0 0 25 0 1 0 204631795 143114240 34043 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 34940 34043 206 16 0 34380 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 139760 [startup+120.069 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=1005784/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=150676 CPUtime=120.02 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 36811 0 0 0 11982 20 0 0 25 0 1 0 204631795 154292224 36783 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 37669 36783 206 16 0 37109 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 150676 [startup+130.075 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16096 /proc/meminfo: memFree=994520/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=161912 CPUtime=130.03 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 39618 0 0 0 12981 22 0 0 25 0 1 0 204631795 165797888 39590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 40478 39590 206 16 0 39918 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 161912 [startup+140.082 s] /proc/loadavg: 0.99 1.00 1.00 2/73 16151 /proc/meminfo: memFree=984232/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=170972 CPUtime=140.01 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 41896 0 0 0 13978 23 0 0 25 0 1 0 204631795 175075328 41868 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 42743 41868 206 16 0 42183 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 170972 [startup+150.089 s] /proc/loadavg: 0.99 1.00 1.00 2/73 16209 /proc/meminfo: memFree=975064/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=180084 CPUtime=149.98 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 44157 0 0 0 14973 25 0 0 25 0 1 0 204631795 184406016 44129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520065 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 45021 44129 206 16 0 44461 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 180084 [startup+160.095 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=958152/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=198056 CPUtime=159.96 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 48623 0 0 0 15967 29 0 0 25 0 1 0 204631795 202809344 48595 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 49514 48595 206 16 0 48954 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 198056 [startup+170.101 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=943248/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=212876 CPUtime=169.96 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 52357 0 0 0 16965 31 0 0 25 0 1 0 204631795 217985024 52329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 53219 52329 206 16 0 52659 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 212876 [startup+180.108 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=927000/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=229060 CPUtime=179.96 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 56402 0 0 0 17964 32 0 0 25 0 1 0 204631795 234557440 56374 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 57265 56374 206 16 0 56705 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 229060 [startup+190.114 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=914840/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=241232 CPUtime=189.97 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 59441 0 0 0 18963 34 0 0 25 0 1 0 204631795 247021568 59413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 60308 59413 206 16 0 59748 0 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 241232 [startup+200.12 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=904728/2055892 swapFree=4085336/4096564 [pid=16096] ppid=16094 vsize=251300 CPUtime=199.97 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 61959 0 0 0 19962 35 0 0 25 0 1 0 204631795 257331200 61931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 62825 61931 206 16 0 62265 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 251300 [startup+210.125 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=893464/2055892 swapFree=4085336/4096564 ################ # More data... # ################ Current children cumulated CPU time (s) 1450.38 Current children cumulated vsize (Kb) 1653208 [startup+1460.88 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15576/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1661704 CPUtime=1460.39 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 414227 0 0 0 145810 229 0 0 25 0 1 0 204631795 1701584896 414199 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 415426 414199 206 16 0 414866 0 Current children cumulated CPU time (s) 1460.39 Current children cumulated vsize (Kb) 1661704 [startup+1470.89 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15384/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1669500 CPUtime=1470.39 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 416178 0 0 0 146809 230 0 0 25 0 1 0 204631795 1709568000 416150 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 417375 416150 206 16 0 416815 0 Current children cumulated CPU time (s) 1470.39 Current children cumulated vsize (Kb) 1669500 [startup+1480.9 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1677860 CPUtime=1480.4 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 418272 0 0 0 147809 231 0 0 25 0 1 0 204631795 1718128640 418244 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 419465 418244 206 16 0 418905 0 Current children cumulated CPU time (s) 1480.4 Current children cumulated vsize (Kb) 1677860 [startup+1490.9 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15192/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1686624 CPUtime=1490.4 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 420454 0 0 0 148808 232 0 0 25 0 1 0 204631795 1727102976 420426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 421656 420426 206 16 0 421096 0 Current children cumulated CPU time (s) 1490.4 Current children cumulated vsize (Kb) 1686624 [startup+1500.91 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15704/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1695324 CPUtime=1500.41 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 422640 0 0 0 149808 233 0 0 25 0 1 0 204631795 1736011776 422612 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 423831 422612 206 16 0 423271 0 Current children cumulated CPU time (s) 1500.41 Current children cumulated vsize (Kb) 1695324 [startup+1510.92 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1703572 CPUtime=1510.4 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 424702 0 0 0 150806 234 0 0 25 0 1 0 204631795 1744457728 424674 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 425893 424674 206 16 0 425333 0 Current children cumulated CPU time (s) 1510.4 Current children cumulated vsize (Kb) 1703572 [startup+1520.92 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1711664 CPUtime=1520.41 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 426725 0 0 0 151806 235 0 0 25 0 1 0 204631795 1752743936 426697 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 427916 426697 206 16 0 427356 0 Current children cumulated CPU time (s) 1520.41 Current children cumulated vsize (Kb) 1711664 [startup+1530.93 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15256/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1720344 CPUtime=1530.41 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 428907 0 0 0 152805 236 0 0 25 0 1 0 204631795 1761632256 428877 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 430086 428877 206 16 0 429526 0 Current children cumulated CPU time (s) 1530.41 Current children cumulated vsize (Kb) 1720344 [startup+1540.93 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15896/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1729008 CPUtime=1540.41 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 431068 0 0 0 153804 237 0 0 25 0 1 0 204631795 1770504192 431038 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 432252 431038 206 16 0 431692 0 Current children cumulated CPU time (s) 1540.41 Current children cumulated vsize (Kb) 1729008 [startup+1550.94 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=14872/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1737768 CPUtime=1550.42 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 433235 0 0 0 154803 239 0 0 25 0 1 0 204631795 1779474432 433205 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 434442 433205 206 16 0 433882 0 Current children cumulated CPU time (s) 1550.42 Current children cumulated vsize (Kb) 1737768 [startup+1560.95 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15320/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1746472 CPUtime=1560.42 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 435412 0 0 0 155802 240 0 0 25 0 1 0 204631795 1788387328 435382 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 436618 435382 206 16 0 436058 0 Current children cumulated CPU time (s) 1560.42 Current children cumulated vsize (Kb) 1746472 [startup+1570.95 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1754832 CPUtime=1570.42 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 437528 0 0 0 156801 241 0 0 25 0 1 0 204631795 1796947968 437498 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 438708 437498 206 16 0 438148 0 Current children cumulated CPU time (s) 1570.42 Current children cumulated vsize (Kb) 1754832 [startup+1580.96 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=14872/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1763756 CPUtime=1580.43 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 439752 0 0 0 157801 242 0 0 25 0 1 0 204631795 1806086144 439722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 440939 439722 206 16 0 440379 0 Current children cumulated CPU time (s) 1580.43 Current children cumulated vsize (Kb) 1763756 [startup+1590.97 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1772052 CPUtime=1590.43 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 441815 0 0 0 158800 243 0 0 25 0 1 0 204631795 1814581248 441785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 443013 441785 206 16 0 442453 0 Current children cumulated CPU time (s) 1590.43 Current children cumulated vsize (Kb) 1772052 [startup+1600.97 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1780352 CPUtime=1600.43 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 443884 0 0 0 159799 244 0 0 25 0 1 0 204631795 1823080448 443854 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 445088 443854 206 16 0 444528 0 Current children cumulated CPU time (s) 1600.43 Current children cumulated vsize (Kb) 1780352 [startup+1610.98 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15000/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1789148 CPUtime=1610.44 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 446111 0 0 0 160799 245 0 0 25 0 1 0 204631795 1832087552 446080 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 447287 446080 206 16 0 446727 0 Current children cumulated CPU time (s) 1610.44 Current children cumulated vsize (Kb) 1789148 [startup+1620.99 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15832/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1799288 CPUtime=1620.45 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 448654 0 0 0 161798 247 0 0 25 0 1 0 204631795 1842470912 448623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 449822 448623 206 16 0 449262 0 Current children cumulated CPU time (s) 1620.45 Current children cumulated vsize (Kb) 1799288 [startup+1630.99 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15832/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1808600 CPUtime=1630.45 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 450956 0 0 0 162797 248 0 0 25 0 1 0 204631795 1852006400 450925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 452150 450925 206 16 0 451590 0 Current children cumulated CPU time (s) 1630.45 Current children cumulated vsize (Kb) 1808600 [startup+1641 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15192/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1818972 CPUtime=1640.45 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 453564 0 0 0 163795 250 0 0 25 0 1 0 204631795 1862627328 453533 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 454743 453533 206 16 0 454183 0 Current children cumulated CPU time (s) 1640.45 Current children cumulated vsize (Kb) 1818972 [startup+1651 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15512/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1828020 CPUtime=1650.45 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 455821 0 0 0 164794 251 0 0 25 0 1 0 204631795 1871892480 455790 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520057 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 457005 455790 206 16 0 456445 0 Current children cumulated CPU time (s) 1650.45 Current children cumulated vsize (Kb) 1828020 [startup+1661.01 s] /proc/loadavg: 0.99 1.00 1.00 2/67 16291 /proc/meminfo: memFree=15704/2055892 swapFree=4085328/4096564 [pid=16096] ppid=16094 vsize=1837380 CPUtime=1660.46 /proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 458155 0 0 0 165793 253 0 0 25 0 1 0 204631795 1881477120 458124 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/16096/statm: 459345 458124 206 16 0 458785 0 Current children cumulated CPU time (s) 1660.46 Current children cumulated vsize (Kb) 1837380 Child ended because it received signal 6 (SIGABRT) Real time (s): 1667.14 CPU time (s): 1666.58 CPU user time (s): 1663.76 CPU system time (s): 2.81157 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (Kb): 1837380 The end
Begin job on node77 on Sun Jun 4 02:58:46 UTC 2006 FILE ID= 36764-1149389925 PBS_JOBID= 313394 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36764-1149389925/instance-36764-1149389925.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-36764-1149389925 -o ROOT/results/node77/solver-36764-1149389925 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36764-1149389925/instance-36764-1149389925.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac RANDOM SEED= 63947777 /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.238 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 : 6006.16 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.238 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1152040 kB Buffers: 42392 kB Cached: 786740 kB SwapCached: 2644 kB Active: 174976 kB Inactive: 663040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1152040 kB SwapTotal: 4096564 kB SwapFree: 4085336 kB Dirty: 208 kB Writeback: 0 kB Mapped: 16132 kB Slab: 52532 kB Committed_AS: 399188 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Sun Jun 4 03:26:33 UTC 2006