Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | Signal | 1548.45 | 1548.87 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb |
MD5SUM | 2fd45123d8e20b24379108257151f007 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 414 |
Best CPU time to get the best result obtained on this benchmark | 1800.71 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 414 |
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 | 488873 |
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 | 488873 |
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.27 c starting to Solve 18.27 c #variables read: 10000 - #constraints read: 656901 24.67 o 6372 24.84 o 6360 25.00 o 6305 25.76 o 6272 25.92 o 6260 26.49 o 6202 26.64 o 6181 26.80 o 6174 28.07 o 6170 29.36 o 6166 29.54 o 6160 29.70 o 6140 29.88 o 6113 30.04 o 6093 30.53 o 6066 30.82 o 6035 31.09 o 6029 31.68 o 6013 35.22 o 6008 35.45 o 6003 36.21 o 5970 36.38 o 5907 36.79 o 5894 37.09 o 5888 37.45 o 5880 37.68 o 5879 38.76 o 5860 39.59 o 5828 39.75 o 5797 39.92 o 5787 40.10 o 5786 40.26 o 5755 40.46 o 5747 40.65 o 5742 40.81 o 5738 41.97 o 5721 42.35 o 5717 42.51 o 5709 42.69 o 5700 42.88 o 5692 43.06 o 5671 361.54 o 5638 361.73 o 5615 361.92 o 5593 364.37 o 5592 364.52 o 5585 398.16 o 5571 400.37 o 5568 400.57 o 5565 453.36 o 5544 464.47 o 5538 464.78 o 5531 1166.11 o 5485 1166.31 o 5467 1169.56 o 5446 1169.90 o 5444 1172.02 o 5432 1172.19 o 5405 1172.39 o 5399 1172.58 o 5385 1172.77 o 5358 1172.95 o 5334 1173.12 o 5304 1173.32 o 5266 1175.02 o 5261 1178.41 o 5260 1178.58 o 5240 1178.78 o 5233 1178.96 o 5226 1179.14 o 5206 1179.32 o 5198 1179.89 o 5192 1180.06 o 5191 1180.23 o 5189 1180.41 o 5174 1180.60 o 5171 1180.83 o 5168 1181.00 o 5166 1205.55 o 5162 1213.50 o 5124 1213.67 o 5119 1216.51 o 5117 1217.64 o 5112 1217.95 o 5078 1548.59 Pueblo13: 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/node49/watcher-37925-1149393067 -o ROOT/results/node49/solver-37925-1149393067 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/37925-1149393067/instance-37925-1149393067.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1430600/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=2572 CPUtime=0 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 204973949 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2981591 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 643 231 193 16 0 84 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1349280/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=84472 CPUtime=9.99 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 20609 0 0 0 989 10 0 0 25 0 1 0 204973949 86499328 20580 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 21118 20580 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1339680/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=95468 CPUtime=19.99 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 1988 11 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1339808/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=95468 CPUtime=29.99 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 2988 11 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530506 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95468 [startup+40.0196 s] /proc/loadavg: 0.96 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1339872/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=95468 CPUtime=40 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530506 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0254 s] /proc/loadavg: 0.96 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1339936/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=95468 CPUtime=50 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 4988 12 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0312 s] /proc/loadavg: 0.97 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1339936/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=95468 CPUtime=60 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 5988 12 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95468 [startup+70.0371 s] /proc/loadavg: 0.97 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1339936/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=95468 CPUtime=70.01 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 6988 13 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 95468 [startup+80.0429 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1328416/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=107016 CPUtime=80.01 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 25886 0 0 0 7987 14 0 0 25 0 1 0 204973949 109584384 25857 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 26754 25857 206 16 0 26195 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 107016 [startup+90.0487 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1314144/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=121196 CPUtime=90.02 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 29444 0 0 0 8985 17 0 0 25 0 1 0 204973949 124104704 29415 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 30299 29415 206 16 0 29740 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 121196 [startup+100.054 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1301216/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=134088 CPUtime=100.02 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 32677 0 0 0 9983 19 0 0 25 0 1 0 204973949 137306112 32648 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 33522 32648 206 16 0 32963 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 134088 [startup+110.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1292512/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=142824 CPUtime=110.02 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 34848 0 0 0 10982 20 0 0 25 0 1 0 204973949 146251776 34819 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 35706 34819 206 16 0 35147 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 142824 [startup+120.065 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1284704/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=150536 CPUtime=120.02 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 36784 0 0 0 11981 21 0 0 25 0 1 0 204973949 154148864 36755 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 37634 36755 206 16 0 37075 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 150536 [startup+130.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1276192/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=159120 CPUtime=130.03 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 38930 0 0 0 12981 22 0 0 25 0 1 0 204973949 162938880 38901 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 39780 38901 206 16 0 39221 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 159120 [startup+140.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1265184/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=170144 CPUtime=140.03 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 41673 0 0 0 13980 23 0 0 25 0 1 0 204973949 174227456 41644 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 42536 41644 206 16 0 41977 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 170144 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1253024/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=182256 CPUtime=150.04 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 44710 0 0 0 14979 25 0 0 25 0 1 0 204973949 186630144 44681 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 45564 44681 206 16 0 45005 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 182256 [startup+160.089 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1238944/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=196376 CPUtime=160.04 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 48214 0 0 0 15977 27 0 0 25 0 1 0 204973949 201089024 48185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 49094 48185 206 16 0 48535 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 196376 [startup+170.095 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1230432/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=204792 CPUtime=170.05 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 50337 0 0 0 16977 28 0 0 25 0 1 0 204973949 209707008 50308 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 51198 50308 206 16 0 50639 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 204792 [startup+180.101 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1217440/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=217812 CPUtime=180.05 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 53589 0 0 0 17975 30 0 0 25 0 1 0 204973949 223039488 53560 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 54453 53560 206 16 0 53894 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 217812 [startup+190.107 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1202080/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=233108 CPUtime=190.05 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 57418 0 0 0 18974 31 0 0 25 0 1 0 204973949 238702592 57389 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 58277 57389 206 16 0 57718 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 233108 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1187808/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=247288 CPUtime=200.05 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 60972 0 0 0 19972 33 0 0 25 0 1 0 204973949 253222912 60943 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 61822 60943 206 16 0 61263 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 247288 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21547 /proc/meminfo: memFree=1174368/2055920 swapFree=4181408/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1330.42 Current children cumulated vsize (Kb) 1587536 [startup+1340.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1599612 CPUtime=1340.41 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 398685 0 0 0 133803 238 0 0 25 0 1 0 204973949 1638002688 398656 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 399903 398656 206 16 0 399344 0 Current children cumulated CPU time (s) 1340.41 Current children cumulated vsize (Kb) 1599612 [startup+1350.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15648/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1612576 CPUtime=1350.42 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 401939 0 0 0 134802 240 0 0 25 0 1 0 204973949 1651277824 401910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 403144 401910 206 16 0 402585 0 Current children cumulated CPU time (s) 1350.42 Current children cumulated vsize (Kb) 1612576 [startup+1360.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15840/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1624644 CPUtime=1360.43 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 404963 0 0 0 135801 242 0 0 25 0 1 0 204973949 1663635456 404934 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 406161 404934 206 16 0 405602 0 Current children cumulated CPU time (s) 1360.43 Current children cumulated vsize (Kb) 1624644 [startup+1370.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15328/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1637380 CPUtime=1370.43 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 408151 0 0 0 136799 244 0 0 25 0 1 0 204973949 1676677120 408122 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 409345 408122 206 16 0 408786 0 Current children cumulated CPU time (s) 1370.43 Current children cumulated vsize (Kb) 1637380 [startup+1380.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15392/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1651204 CPUtime=1380.43 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 411586 0 0 0 137797 246 0 0 25 0 1 0 204973949 1690832896 411557 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 412801 411557 206 16 0 412242 0 Current children cumulated CPU time (s) 1380.43 Current children cumulated vsize (Kb) 1651204 [startup+1390.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15456/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1663380 CPUtime=1390.44 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 414647 0 0 0 138796 248 0 0 25 0 1 0 204973949 1703301120 414618 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 415845 414618 206 16 0 415286 0 Current children cumulated CPU time (s) 1390.44 Current children cumulated vsize (Kb) 1663380 [startup+1400.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15968/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1675092 CPUtime=1400.44 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 417580 0 0 0 139795 249 0 0 25 0 1 0 204973949 1715294208 417551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 418773 417551 206 16 0 418214 0 Current children cumulated CPU time (s) 1400.44 Current children cumulated vsize (Kb) 1675092 [startup+1410.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15072/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1686680 CPUtime=1410.44 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 420476 0 0 0 140793 251 0 0 25 0 1 0 204973949 1727160320 420447 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 421670 420447 206 16 0 421111 0 Current children cumulated CPU time (s) 1410.44 Current children cumulated vsize (Kb) 1686680 [startup+1420.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15840/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1699672 CPUtime=1420.45 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 423731 0 0 0 141791 254 0 0 25 0 1 0 204973949 1740464128 423702 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 424918 423702 206 16 0 424359 0 Current children cumulated CPU time (s) 1420.45 Current children cumulated vsize (Kb) 1699672 [startup+1430.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15968/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1711864 CPUtime=1430.45 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 426775 0 0 0 142790 255 0 0 25 0 1 0 204973949 1752948736 426746 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 427966 426746 206 16 0 427407 0 Current children cumulated CPU time (s) 1430.45 Current children cumulated vsize (Kb) 1711864 [startup+1440.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15968/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1724132 CPUtime=1440.45 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 429847 0 0 0 143788 257 0 0 25 0 1 0 204973949 1765511168 429818 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 431033 429818 206 16 0 430474 0 Current children cumulated CPU time (s) 1440.45 Current children cumulated vsize (Kb) 1724132 [startup+1450.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=14944/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1735920 CPUtime=1450.46 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 432790 0 0 0 144786 260 0 0 25 0 1 0 204973949 1777582080 432761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 433980 432761 206 16 0 433421 0 Current children cumulated CPU time (s) 1450.46 Current children cumulated vsize (Kb) 1735920 [startup+1460.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=16032/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1747256 CPUtime=1460.46 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 435576 0 0 0 145785 261 0 0 25 0 1 0 204973949 1789190144 435547 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528531 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 436814 435547 206 16 0 436255 0 Current children cumulated CPU time (s) 1460.46 Current children cumulated vsize (Kb) 1747256 [startup+1470.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15456/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1758580 CPUtime=1470.47 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 438410 0 0 0 146783 264 0 0 25 0 1 0 204973949 1800785920 438381 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 439645 438381 206 16 0 439086 0 Current children cumulated CPU time (s) 1470.47 Current children cumulated vsize (Kb) 1758580 [startup+1480.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15840/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1764348 CPUtime=1480.47 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 439847 0 0 0 147781 266 0 0 25 0 1 0 204973949 1806692352 439818 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 441087 439818 206 16 0 440528 0 Current children cumulated CPU time (s) 1480.47 Current children cumulated vsize (Kb) 1764348 [startup+1490.87 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1779084 CPUtime=1490.47 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 443550 0 0 0 148777 270 0 0 25 0 1 0 204973949 1821782016 443521 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 444771 443521 206 16 0 444212 0 Current children cumulated CPU time (s) 1490.47 Current children cumulated vsize (Kb) 1779084 [startup+1500.88 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1791380 CPUtime=1500.48 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 446621 0 0 0 149776 272 0 0 25 0 1 0 204973949 1834373120 446592 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 447845 446592 206 16 0 447286 0 Current children cumulated CPU time (s) 1500.48 Current children cumulated vsize (Kb) 1791380 [startup+1510.88 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1802092 CPUtime=1510.48 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 449313 0 0 0 150774 274 0 0 25 0 1 0 204973949 1845342208 449284 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 450523 449284 206 16 0 449964 0 Current children cumulated CPU time (s) 1510.48 Current children cumulated vsize (Kb) 1802092 [startup+1520.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15904/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1807088 CPUtime=1520.49 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 450560 0 0 0 151774 275 0 0 25 0 1 0 204973949 1850458112 450531 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 451772 450531 206 16 0 451213 0 Current children cumulated CPU time (s) 1520.49 Current children cumulated vsize (Kb) 1807088 [startup+1530.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=15712/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1817996 CPUtime=1530.49 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 453300 0 0 0 152772 277 0 0 25 0 1 0 204973949 1861627904 453271 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 454499 453271 206 16 0 453940 0 Current children cumulated CPU time (s) 1530.49 Current children cumulated vsize (Kb) 1817996 [startup+1540.9 s] /proc/loadavg: 1.00 1.00 1.00 2/64 21742 /proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956 [pid=21547] ppid=21545 vsize=1832804 CPUtime=1540.49 /proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 456985 0 0 0 153769 280 0 0 25 0 1 0 204973949 1876791296 456956 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/21547/statm: 458201 456956 206 16 0 457642 0 Current children cumulated CPU time (s) 1540.49 Current children cumulated vsize (Kb) 1832804 Child ended because it received signal 6 (SIGABRT) Real time (s): 1548.87 CPU time (s): 1548.45 CPU user time (s): 1545.35 CPU system time (s): 3.10053 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 1832804 The end
Begin job on node49 on Sun Jun 4 03:51:08 UTC 2006 FILE ID= 37925-1149393067 PBS_JOBID= 313536 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/37925-1149393067/instance-37925-1149393067.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node49/watcher-37925-1149393067 -o ROOT/results/node49/solver-37925-1149393067 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/37925-1149393067/instance-37925-1149393067.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 2fd45123d8e20b24379108257151f007 RANDOM SEED= 593933744 /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.216 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.216 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: 1430808 kB Buffers: 29512 kB Cached: 532468 kB SwapCached: 3304 kB Active: 136620 kB Inactive: 434144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1430808 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 208 kB Writeback: 0 kB Mapped: 14844 kB Slab: 40328 kB Committed_AS: 386368 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node49 on Sun Jun 4 04:16:57 UTC 2006