Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | Signal | 1520.84 | 1521.4 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 447 |
Best CPU time to get the best result obtained on this benchmark | 1800.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
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 | 494527 |
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 | 494527 |
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.01 c starting to Solve 18.01 c #variables read: 10000 - #constraints read: 656901 24.40 o 7310 24.56 o 7220 24.73 o 7180 24.90 o 7090 25.10 o 7048 25.48 o 6894 25.64 o 6823 25.88 o 6754 26.04 o 6727 26.21 o 6683 26.36 o 6656 27.37 o 6645 38.51 o 6191 39.06 o 6163 43.62 o 6104 43.78 o 6095 43.96 o 6033 183.25 o 6010 183.43 o 5974 183.81 o 5960 184.26 o 5946 185.52 o 5937 189.60 o 5921 229.40 o 5907 229.82 o 5877 230.07 o 5872 230.27 o 5860 230.46 o 5809 240.00 o 5799 240.22 o 5782 240.42 o 5755 251.74 o 5742 251.96 o 5717 252.21 o 5700 284.30 o 5634 287.65 o 5629 299.04 o 5614 299.18 o 5578 299.61 o 5559 314.08 o 5548 314.23 o 5546 328.32 o 5519 328.46 o 5483 1521.10 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/node67/watcher-37920-1149391425 -o ROOT/results/node67/solver-37920-1149391425 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node67/37920-1149391425/instance-37920-1149391425.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1200040/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=916 CPUtime=0 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 204811933 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6890276 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 229 28 20 16 0 8 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1118704/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=84472 CPUtime=9.99 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 20622 0 0 0 990 9 0 0 25 0 1 0 204811933 86499328 20593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532408 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 21118 20593 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0094 s] /proc/loadavg: 0.94 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1109176/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=95468 CPUtime=19.99 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0163 s] /proc/loadavg: 0.95 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1109304/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=95468 CPUtime=30 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 2989 11 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 95468 [startup+40.0222 s] /proc/loadavg: 0.95 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1109240/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=95468 CPUtime=39.99 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 3987 12 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 95468 [startup+50.028 s] /proc/loadavg: 0.96 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1109304/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=95468 CPUtime=49.99 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 4987 12 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 95468 [startup+60.0339 s] /proc/loadavg: 0.97 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1109304/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=95468 CPUtime=60 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 5987 13 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95468 [startup+70.0398 s] /proc/loadavg: 0.97 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1108664/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=96212 CPUtime=70 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23188 0 0 0 6987 13 0 0 25 0 1 0 204811933 98521088 23159 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 24053 23159 206 16 0 23494 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 96212 [startup+80.0456 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1103928/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=100872 CPUtime=80 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 24371 0 0 0 7986 14 0 0 25 0 1 0 204811933 103292928 24342 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 25218 24342 206 16 0 24659 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 100872 [startup+90.0515 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1097592/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=107264 CPUtime=90.01 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 25951 0 0 0 8986 15 0 0 25 0 1 0 204811933 109838336 25922 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 26816 25922 206 16 0 26257 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 107264 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1089912/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=114808 CPUtime=100.01 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 27863 0 0 0 9985 16 0 0 25 0 1 0 204811933 117563392 27834 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 28702 27834 206 16 0 28143 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 114808 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1083704/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=121008 CPUtime=110.01 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 29418 0 0 0 10985 16 0 0 25 0 1 0 204811933 123912192 29389 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 30252 29389 206 16 0 29693 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 121008 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1076088/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=128664 CPUtime=120.01 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 31314 0 0 0 11984 17 0 0 25 0 1 0 204811933 131751936 31285 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 32166 31285 206 16 0 31607 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 128664 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1068280/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=136380 CPUtime=130.02 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 33257 0 0 0 12983 19 0 0 25 0 1 0 204811933 139653120 33228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 34095 33228 206 16 0 33536 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 136380 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1059128/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=145556 CPUtime=140.02 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 35547 0 0 0 13982 20 0 0 25 0 1 0 204811933 149049344 35518 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 36389 35518 206 16 0 35830 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 145556 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1048952/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=155828 CPUtime=150.02 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 38088 0 0 0 14981 21 0 0 25 0 1 0 204811933 159567872 38059 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557390 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 38957 38059 206 16 0 38398 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 155828 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1040696/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=164020 CPUtime=160.02 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 40147 0 0 0 15980 22 0 0 25 0 1 0 204811933 167956480 40118 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 41005 40118 206 16 0 40446 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 164020 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1033208/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=171544 CPUtime=170.02 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 42024 0 0 0 16979 23 0 0 25 0 1 0 204811933 175661056 41995 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 42886 41995 206 16 0 42327 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 171544 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1024824/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=179860 CPUtime=180.03 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 44116 0 0 0 17978 25 0 0 25 0 1 0 204811933 184176640 44087 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 44965 44087 206 16 0 44406 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 179860 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1015352/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=189384 CPUtime=190.03 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 46481 0 0 0 18977 26 0 0 25 0 1 0 204811933 193929216 46452 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 47346 46452 206 16 0 46787 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 189384 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=1002168/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=202444 CPUtime=200.03 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 49763 0 0 0 19975 28 0 0 25 0 1 0 204811933 207302656 49734 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 50611 49734 206 16 0 50052 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 202444 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.99 2/64 4105 /proc/meminfo: memFree=991224/2055920 swapFree=4181736/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1310.3 Current children cumulated vsize (Kb) 1599428 [startup+1320.8 s] /proc/loadavg: 1.06 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15480/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1612016 CPUtime=1320.3 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 401859 0 0 0 131785 245 0 0 25 0 1 0 204811933 1650704384 401830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 403004 401830 206 16 0 402445 0 Current children cumulated CPU time (s) 1320.3 Current children cumulated vsize (Kb) 1612016 [startup+1330.81 s] /proc/loadavg: 1.05 0.99 0.99 2/64 4107 /proc/meminfo: memFree=16248/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1626496 CPUtime=1330.31 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 405491 0 0 0 132783 248 0 0 25 0 1 0 204811933 1665531904 405462 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 406624 405462 206 16 0 406065 0 Current children cumulated CPU time (s) 1330.31 Current children cumulated vsize (Kb) 1626496 [startup+1340.81 s] /proc/loadavg: 1.04 0.99 0.99 2/64 4107 /proc/meminfo: memFree=14904/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1639084 CPUtime=1340.31 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 408607 0 0 0 133781 250 0 0 25 0 1 0 204811933 1678422016 408578 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 409771 408578 206 16 0 409212 0 Current children cumulated CPU time (s) 1340.31 Current children cumulated vsize (Kb) 1639084 [startup+1350.82 s] /proc/loadavg: 1.04 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15544/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1652360 CPUtime=1350.31 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 411937 0 0 0 134778 253 0 0 25 0 1 0 204811933 1692016640 411908 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557342 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 413090 411908 206 16 0 412531 0 Current children cumulated CPU time (s) 1350.31 Current children cumulated vsize (Kb) 1652360 [startup+1360.82 s] /proc/loadavg: 1.03 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15224/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1665088 CPUtime=1360.31 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 415103 0 0 0 135776 255 0 0 25 0 1 0 204811933 1705050112 415074 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 416272 415074 206 16 0 415713 0 Current children cumulated CPU time (s) 1360.31 Current children cumulated vsize (Kb) 1665088 [startup+1370.83 s] /proc/loadavg: 1.03 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15672/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1678308 CPUtime=1370.32 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 418437 0 0 0 136774 258 0 0 25 0 1 0 204811933 1718587392 418408 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 419577 418408 206 16 0 419018 0 Current children cumulated CPU time (s) 1370.32 Current children cumulated vsize (Kb) 1678308 [startup+1380.84 s] /proc/loadavg: 1.02 0.99 0.99 2/64 4107 /proc/meminfo: memFree=16056/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1691800 CPUtime=1380.32 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 421790 0 0 0 137773 259 0 0 25 0 1 0 204811933 1732403200 421761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 422950 421761 206 16 0 422391 0 Current children cumulated CPU time (s) 1380.32 Current children cumulated vsize (Kb) 1691800 [startup+1390.84 s] /proc/loadavg: 1.02 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15544/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1704508 CPUtime=1390.32 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 424980 0 0 0 138771 261 0 0 25 0 1 0 204811933 1745416192 424951 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 426127 424951 206 16 0 425568 0 Current children cumulated CPU time (s) 1390.32 Current children cumulated vsize (Kb) 1704508 [startup+1400.85 s] /proc/loadavg: 1.01 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15800/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1716460 CPUtime=1400.32 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 427974 0 0 0 139769 263 0 0 25 0 1 0 204811933 1757655040 427945 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 429115 427945 206 16 0 428556 0 Current children cumulated CPU time (s) 1400.32 Current children cumulated vsize (Kb) 1716460 [startup+1410.86 s] /proc/loadavg: 1.01 0.99 0.99 2/64 4107 /proc/meminfo: memFree=16312/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1728320 CPUtime=1410.33 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 430925 0 0 0 140768 265 0 0 25 0 1 0 204811933 1769799680 430896 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 432080 430896 206 16 0 431521 0 Current children cumulated CPU time (s) 1410.33 Current children cumulated vsize (Kb) 1728320 [startup+1420.86 s] /proc/loadavg: 1.01 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15672/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1739672 CPUtime=1420.32 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 433763 0 0 0 141766 266 0 0 25 0 1 0 204811933 1781424128 433734 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 434918 433734 206 16 0 434359 0 Current children cumulated CPU time (s) 1420.32 Current children cumulated vsize (Kb) 1739672 [startup+1430.87 s] /proc/loadavg: 1.01 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15480/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1750564 CPUtime=1430.33 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 436482 0 0 0 142765 268 0 0 25 0 1 0 204811933 1792577536 436453 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 437641 436453 206 16 0 437082 0 Current children cumulated CPU time (s) 1430.33 Current children cumulated vsize (Kb) 1750564 [startup+1440.87 s] /proc/loadavg: 1.01 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15160/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1761596 CPUtime=1440.33 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 439259 0 0 0 143764 269 0 0 25 0 1 0 204811933 1803874304 439230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 440399 439230 206 16 0 439840 0 Current children cumulated CPU time (s) 1440.33 Current children cumulated vsize (Kb) 1761596 [startup+1450.88 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15800/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1771748 CPUtime=1450.33 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 441786 0 0 0 144762 271 0 0 25 0 1 0 204811933 1814269952 441757 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 442937 441757 206 16 0 442378 0 Current children cumulated CPU time (s) 1450.33 Current children cumulated vsize (Kb) 1771748 [startup+1460.88 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=16120/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1782128 CPUtime=1460.33 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 444379 0 0 0 145761 272 0 0 25 0 1 0 204811933 1824899072 444350 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 445532 444350 206 16 0 444973 0 Current children cumulated CPU time (s) 1460.33 Current children cumulated vsize (Kb) 1782128 [startup+1470.89 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15160/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1792220 CPUtime=1470.34 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 446923 0 0 0 146760 274 0 0 25 0 1 0 204811933 1835233280 446894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559502 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 448055 446894 206 16 0 447496 0 Current children cumulated CPU time (s) 1470.34 Current children cumulated vsize (Kb) 1792220 [startup+1480.9 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15032/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1803100 CPUtime=1480.34 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 449625 0 0 0 147758 276 0 0 25 0 1 0 204811933 1846374400 449596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528598 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 450775 449596 206 16 0 450216 0 Current children cumulated CPU time (s) 1480.34 Current children cumulated vsize (Kb) 1803100 [startup+1490.9 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15544/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1813256 CPUtime=1490.35 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 452191 0 0 0 148757 278 0 0 25 0 1 0 204811933 1856774144 452162 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 453314 452162 206 16 0 452755 0 Current children cumulated CPU time (s) 1490.35 Current children cumulated vsize (Kb) 1813256 [startup+1500.91 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15864/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1823640 CPUtime=1500.35 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 454790 0 0 0 149755 280 0 0 25 0 1 0 204811933 1867407360 454761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 455910 454761 206 16 0 455351 0 Current children cumulated CPU time (s) 1500.35 Current children cumulated vsize (Kb) 1823640 [startup+1510.91 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=15736/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1833000 CPUtime=1510.35 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 457120 0 0 0 150753 282 0 0 25 0 1 0 204811933 1876992000 457091 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 458250 457091 206 16 0 457691 0 Current children cumulated CPU time (s) 1510.35 Current children cumulated vsize (Kb) 1833000 [startup+1520.92 s] /proc/loadavg: 1.00 0.99 0.99 2/64 4107 /proc/meminfo: memFree=14968/2055920 swapFree=4181736/4192956 [pid=4105] ppid=4103 vsize=1843004 CPUtime=1520.35 /proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 459615 0 0 0 151752 283 0 0 25 0 1 0 204811933 1887236096 459586 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/4105/statm: 460751 459586 206 16 0 460192 0 Current children cumulated CPU time (s) 1520.35 Current children cumulated vsize (Kb) 1843004 Child ended because it received signal 6 (SIGABRT) Real time (s): 1521.4 CPU time (s): 1520.84 CPU user time (s): 1517.71 CPU system time (s): 3.13152 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 1843004 The end
Begin job on node67 on Sun Jun 4 03:23:45 UTC 2006 FILE ID= 37920-1149391425 PBS_JOBID= 313465 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node67/37920-1149391425/instance-37920-1149391425.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-37920-1149391425 -o ROOT/results/node67/solver-37920-1149391425 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node67/37920-1149391425/instance-37920-1149391425.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED= 318299112 /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: 1200248 kB Buffers: 26784 kB Cached: 759768 kB SwapCached: 2792 kB Active: 109624 kB Inactive: 685496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1200248 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14784 kB Slab: 46548 kB Committed_AS: 392300 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 03:49:07 UTC 2006