Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | Signal | 1754.79 | 1755.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb |
MD5SUM | ca3282cf347faf21ba3550ec87dd7af4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 477 |
Best CPU time to get the best result obtained on this benchmark | 1800.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 466 |
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 | 494728 |
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 | 494728 |
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 18.38 c starting to Solve 18.39 c #variables read: 10000 - #constraints read: 656901 24.79 o 7252 25.03 o 7235 25.25 o 7191 25.42 o 7174 25.70 o 7007 25.86 o 6971 26.03 o 6940 26.18 o 6904 26.37 o 6891 26.71 o 6854 26.91 o 6845 27.07 o 6822 27.23 o 6784 27.41 o 6729 27.66 o 6680 28.14 o 6634 29.91 o 6631 30.06 o 6628 30.21 o 6604 30.37 o 6602 30.79 o 6594 30.96 o 6559 31.45 o 6528 31.61 o 6489 32.33 o 6452 35.22 o 6384 35.38 o 6376 36.34 o 6373 36.63 o 6334 36.80 o 6326 36.96 o 6285 37.11 o 6277 37.94 o 6269 38.10 o 6264 38.26 o 6237 38.43 o 6222 38.60 o 6193 39.02 o 6167 71.41 o 6085 71.69 o 6081 71.89 o 6053 72.09 o 6049 72.34 o 6023 72.54 o 6019 72.73 o 5997 72.92 o 5993 73.12 o 5965 73.32 o 5961 73.98 o 5942 74.17 o 5931 74.38 o 5911 74.57 o 5900 74.80 o 5895 75.03 o 5883 75.24 o 5876 75.45 o 5859 75.65 o 5828 78.44 o 5809 78.64 o 5805 78.96 o 5779 79.14 o 5775 80.80 o 5767 80.99 o 5753 137.52 o 5752 138.64 o 5743 167.29 o 5733 181.83 o 5726 181.99 o 5721 182.47 o 5720 968.30 o 5716 973.42 o 5714 973.87 o 5710 974.07 o 5702 974.23 o 5701 974.38 o 5677 977.81 o 5673 1185.92 o 5671 1186.10 o 5667 1754.99 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/node1/watcher-36766-1149390468 -o ROOT/results/node1/solver-36766-1149390468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node1/36766-1149390468/instance-36766-1149390468.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1568136/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=2280 CPUtime=0 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 204708370 2334720 157 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4160348256 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 570 168 146 16 0 11 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1486744/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=84472 CPUtime=9.98 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 20612 0 0 0 989 9 0 0 25 0 1 0 204708370 86499328 20583 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532442 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 21118 20583 204 16 0 20559 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 84472 [startup+20.01 s] /proc/loadavg: 0.94 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1477208/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=95468 CPUtime=19.99 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 1988 11 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0162 s] /proc/loadavg: 0.95 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1477272/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=95468 CPUtime=30 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 2989 11 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134531555 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 95468 [startup+40.0224 s] /proc/loadavg: 0.95 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1477336/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=95468 CPUtime=40 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0286 s] /proc/loadavg: 0.96 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1477400/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=95468 CPUtime=50 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0347 s] /proc/loadavg: 0.97 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1477400/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=95468 CPUtime=60.01 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 5988 13 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 95468 [startup+70.0409 s] /proc/loadavg: 0.97 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1477400/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=95468 CPUtime=70.01 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 6988 13 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 95468 [startup+80.0481 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1474840/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=98056 CPUtime=80.01 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23661 0 0 0 7987 14 0 0 25 0 1 0 204708370 100409344 23632 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 24514 23632 206 16 0 23955 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 98056 [startup+90.0533 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1462040/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=110864 CPUtime=90.02 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 26857 0 0 0 8986 16 0 0 25 0 1 0 204708370 113524736 26828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 27716 26828 206 16 0 27157 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 110864 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1454744/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=118056 CPUtime=100.01 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 28678 0 0 0 9984 17 0 0 25 0 1 0 204708370 120889344 28649 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 29514 28649 206 16 0 28955 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 118056 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1448280/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=124532 CPUtime=110.02 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 30283 0 0 0 10984 18 0 0 25 0 1 0 204708370 127520768 30254 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 31133 30254 206 16 0 30574 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 124532 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1438040/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=134700 CPUtime=120.02 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 32833 0 0 0 11983 19 0 0 25 0 1 0 204708370 137932800 32804 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 33675 32804 206 16 0 33116 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 134700 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1423704/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=149048 CPUtime=130.03 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 36408 0 0 0 12981 22 0 0 25 0 1 0 204708370 152625152 36379 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 37262 36379 206 16 0 36703 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 149048 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1409560/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=163216 CPUtime=140.04 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 39928 0 0 0 13980 24 0 0 25 0 1 0 204708370 167133184 39899 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 40804 39899 206 16 0 40245 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 163216 [startup+150.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1393624/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=179096 CPUtime=150.03 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 43905 0 0 0 14978 25 0 0 25 0 1 0 204708370 183394304 43876 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 44774 43876 206 16 0 44215 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 179096 [startup+160.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1379672/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=193024 CPUtime=160.03 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 47407 0 0 0 15976 27 0 0 25 0 1 0 204708370 197656576 47378 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 48256 47378 206 16 0 47697 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 193024 [startup+170.102 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1365464/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=207344 CPUtime=170.04 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 50951 0 0 0 16975 29 0 0 25 0 1 0 204708370 212320256 50922 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 51836 50922 206 16 0 51277 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 207344 [startup+180.108 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1352408/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=220320 CPUtime=180.05 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 54205 0 0 0 17973 32 0 0 25 0 1 0 204708370 225607680 54176 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 55080 54176 206 16 0 54521 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 220320 [startup+190.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1338840/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=233828 CPUtime=190.05 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 57588 0 0 0 18971 34 0 0 25 0 1 0 204708370 239439872 57559 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 58457 57559 206 16 0 57898 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 233828 [startup+200.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1327000/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=245652 CPUtime=200.05 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 60542 0 0 0 19970 35 0 0 25 0 1 0 204708370 251547648 60513 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 61413 60513 206 16 0 60854 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 245652 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 14864 /proc/meminfo: memFree=1314200/2055920 swapFree=4181376/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1540.51 Current children cumulated vsize (Kb) 1621472 [startup+1550.94 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=14872/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1632456 CPUtime=1550.51 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 406882 0 0 0 154801 250 0 0 25 0 1 0 204708370 1671634944 406853 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 408114 406853 206 16 0 407555 0 Current children cumulated CPU time (s) 1550.51 Current children cumulated vsize (Kb) 1632456 [startup+1560.95 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15128/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1641304 CPUtime=1560.51 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 409104 0 0 0 155801 250 0 0 25 0 1 0 204708370 1680695296 409075 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 410326 409075 206 16 0 409767 0 Current children cumulated CPU time (s) 1560.51 Current children cumulated vsize (Kb) 1641304 [startup+1570.95 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15832/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1651436 CPUtime=1570.52 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 411620 0 0 0 156800 252 0 0 25 0 1 0 204708370 1691070464 411591 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 412859 411591 206 16 0 412300 0 Current children cumulated CPU time (s) 1570.52 Current children cumulated vsize (Kb) 1651436 [startup+1580.96 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15192/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1662732 CPUtime=1580.52 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 414453 0 0 0 157798 254 0 0 25 0 1 0 204708370 1702637568 414424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 415683 414424 206 16 0 415124 0 Current children cumulated CPU time (s) 1580.52 Current children cumulated vsize (Kb) 1662732 [startup+1590.97 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=16024/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1672716 CPUtime=1590.52 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 416941 0 0 0 158796 256 0 0 25 0 1 0 204708370 1712861184 416912 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 418179 416912 206 16 0 417620 0 Current children cumulated CPU time (s) 1590.52 Current children cumulated vsize (Kb) 1672716 [startup+1600.97 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15704/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1682244 CPUtime=1600.53 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 419318 0 0 0 159795 258 0 0 25 0 1 0 204708370 1722617856 419289 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 420561 419289 206 16 0 420002 0 Current children cumulated CPU time (s) 1600.53 Current children cumulated vsize (Kb) 1682244 [startup+1610.98 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=16024/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1692612 CPUtime=1610.54 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 421912 0 0 0 160795 259 0 0 25 0 1 0 204708370 1733234688 421883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 423153 421883 206 16 0 422594 0 Current children cumulated CPU time (s) 1610.54 Current children cumulated vsize (Kb) 1692612 [startup+1620.99 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=16088/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1703176 CPUtime=1620.54 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 424571 0 0 0 161794 260 0 0 25 0 1 0 204708370 1744052224 424542 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 425794 424542 206 16 0 425235 0 Current children cumulated CPU time (s) 1620.54 Current children cumulated vsize (Kb) 1703176 [startup+1630.99 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15640/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1714376 CPUtime=1630.54 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 427374 0 0 0 162792 262 0 0 25 0 1 0 204708370 1755521024 427345 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 428594 427345 206 16 0 428035 0 Current children cumulated CPU time (s) 1630.54 Current children cumulated vsize (Kb) 1714376 [startup+1641 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15640/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1725128 CPUtime=1640.54 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 430052 0 0 0 163791 263 0 0 25 0 1 0 204708370 1766531072 430023 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 431282 430023 206 16 0 430723 0 Current children cumulated CPU time (s) 1640.54 Current children cumulated vsize (Kb) 1725128 [startup+1651.01 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15896/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1735520 CPUtime=1650.55 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 432668 0 0 0 164790 265 0 0 25 0 1 0 204708370 1777172480 432639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 433880 432639 206 16 0 433321 0 Current children cumulated CPU time (s) 1650.55 Current children cumulated vsize (Kb) 1735520 [startup+1661.01 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15320/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1745360 CPUtime=1660.55 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 435114 0 0 0 165789 266 0 0 25 0 1 0 204708370 1787248640 435085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 436340 435085 206 16 0 435781 0 Current children cumulated CPU time (s) 1660.55 Current children cumulated vsize (Kb) 1745360 [startup+1671.02 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=16344/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1756620 CPUtime=1670.55 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 437923 0 0 0 166787 268 0 0 25 0 1 0 204708370 1798778880 437894 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 439155 437894 206 16 0 438596 0 Current children cumulated CPU time (s) 1670.55 Current children cumulated vsize (Kb) 1756620 [startup+1681.03 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=15320/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1766836 CPUtime=1680.56 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 440485 0 0 0 167786 270 0 0 25 0 1 0 204708370 1809240064 440456 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 441709 440456 206 16 0 441150 0 Current children cumulated CPU time (s) 1680.56 Current children cumulated vsize (Kb) 1766836 [startup+1691.03 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14864 /proc/meminfo: memFree=16152/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1776648 CPUtime=1690.57 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 442949 0 0 0 168785 272 0 0 25 0 1 0 204708370 1819287552 442920 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 444162 442920 206 16 0 443603 0 Current children cumulated CPU time (s) 1690.57 Current children cumulated vsize (Kb) 1776648 [startup+1701.04 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14865 /proc/meminfo: memFree=15768/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1787872 CPUtime=1700.56 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 445737 0 0 0 169782 274 0 0 25 0 1 0 204708370 1830780928 445708 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 446968 445708 206 16 0 446409 0 Current children cumulated CPU time (s) 1700.56 Current children cumulated vsize (Kb) 1787872 [startup+1711.04 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14865 /proc/meminfo: memFree=15512/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1798764 CPUtime=1710.57 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 448476 0 0 0 170780 277 0 0 25 0 1 0 204708370 1841934336 448447 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517497 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 449691 448447 206 16 0 449132 0 Current children cumulated CPU time (s) 1710.57 Current children cumulated vsize (Kb) 1798764 [startup+1721.05 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14866 /proc/meminfo: memFree=15320/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1809688 CPUtime=1720.57 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 451215 0 0 0 171779 278 0 0 25 0 1 0 204708370 1853120512 451186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 452422 451186 206 16 0 451863 0 Current children cumulated CPU time (s) 1720.57 Current children cumulated vsize (Kb) 1809688 [startup+1731.06 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14866 /proc/meminfo: memFree=15704/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1819984 CPUtime=1730.58 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 453793 0 0 0 172778 280 0 0 25 0 1 0 204708370 1863663616 453764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 454996 453764 206 16 0 454437 0 Current children cumulated CPU time (s) 1730.58 Current children cumulated vsize (Kb) 1819984 [startup+1741.07 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14866 /proc/meminfo: memFree=15832/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1829088 CPUtime=1740.59 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 456064 0 0 0 173777 282 0 0 25 0 1 0 204708370 1872986112 456035 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 457272 456035 206 16 0 456713 0 Current children cumulated CPU time (s) 1740.59 Current children cumulated vsize (Kb) 1829088 [startup+1751.07 s] /proc/loadavg: 1.00 0.99 1.00 2/64 14866 /proc/meminfo: memFree=15128/2055920 swapFree=4181376/4192956 [pid=14864] ppid=14862 vsize=1839004 CPUtime=1750.58 /proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 458535 0 0 0 174774 284 0 0 25 0 1 0 204708370 1883140096 458506 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/14864/statm: 459751 458506 206 16 0 459192 0 Current children cumulated CPU time (s) 1750.58 Current children cumulated vsize (Kb) 1839004 Child ended because it received signal 6 (SIGABRT) Real time (s): 1755.28 CPU time (s): 1754.79 CPU user time (s): 1751.65 CPU system time (s): 3.13752 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (Kb): 1839004 The end
Begin job on node1 on Sun Jun 4 03:07:48 UTC 2006 FILE ID= 36766-1149390468 PBS_JOBID= 313416 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node1/36766-1149390468/instance-36766-1149390468.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-36766-1149390468 -o ROOT/results/node1/solver-36766-1149390468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node1/36766-1149390468/instance-36766-1149390468.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4 RANDOM SEED= 622322892 /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.231 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.231 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: 1568344 kB Buffers: 25476 kB Cached: 395796 kB SwapCached: 3320 kB Active: 139716 kB Inactive: 290300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1568344 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14952 kB Slab: 43552 kB Committed_AS: 353172 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Sun Jun 4 03:37:03 UTC 2006