Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | Signal | 1585.45 | 1585.96 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 487 |
Best CPU time to get the best result obtained on this benchmark | 1800.7 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 443 |
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 | 492823 |
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 | 492823 |
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.10 c starting to Solve 18.11 c #variables read: 10000 - #constraints read: 656901 24.51 o 7109 24.98 o 6647 25.13 o 6616 25.38 o 6569 25.55 o 6552 25.72 o 6544 48.64 o 6429 48.82 o 6409 48.99 o 6406 49.16 o 6386 49.33 o 6384 49.59 o 6374 49.77 o 6371 49.95 o 6332 50.12 o 6309 50.30 o 6308 51.15 o 6281 55.00 o 6274 55.17 o 6258 86.54 o 6239 86.75 o 6176 86.96 o 6133 87.22 o 6114 87.59 o 6111 87.80 o 6103 88.04 o 6097 88.26 o 6071 88.47 o 6034 88.74 o 6021 88.95 o 5974 89.33 o 5972 89.56 o 5932 89.92 o 5923 90.16 o 5873 105.34 o 5865 105.55 o 5864 105.75 o 5863 105.93 o 5855 106.08 o 5850 106.23 o 5845 106.39 o 5840 106.88 o 5829 107.02 o 5824 107.18 o 5813 107.33 o 5808 112.84 o 5785 112.99 o 5768 113.14 o 5740 113.30 o 5723 113.46 o 5700 113.61 o 5683 113.80 o 5671 113.96 o 5670 114.11 o 5653 114.33 o 5640 114.54 o 5575 114.68 o 5573 114.86 o 5562 115.01 o 5560 116.39 o 5557 116.79 o 5544 122.66 o 5539 122.81 o 5526 122.97 o 5513 123.64 o 5512 123.79 o 5499 1585.66 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/node56/watcher-37911-1149389108 -o ROOT/results/node56/solver-37911-1149389108 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node56/37911-1149389108/instance-37911-1149389108.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1447096/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=2572 CPUtime=0 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 204578399 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10493655 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 643 231 193 16 0 84 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1365768/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=84472 CPUtime=9.99 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 20618 0 0 0 989 10 0 0 25 0 1 0 204578399 86499328 20589 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532412 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 21118 20589 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0082 s] /proc/loadavg: 0.94 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1356168/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=95468 CPUtime=19.99 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 1987 12 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0141 s] /proc/loadavg: 0.95 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1356232/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=95468 CPUtime=30 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 2988 12 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 95468 [startup+40.0201 s] /proc/loadavg: 0.96 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1356296/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=95468 CPUtime=40 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 95468 [startup+50.0261 s] /proc/loadavg: 0.96 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1356296/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=95468 CPUtime=50 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530532 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0321 s] /proc/loadavg: 0.97 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1356296/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=95468 CPUtime=60 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 5987 13 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95468 [startup+70.0381 s] /proc/loadavg: 0.97 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1352520/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=99272 CPUtime=70.01 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23966 0 0 0 6987 14 0 0 25 0 1 0 204578399 101654528 23937 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 24818 23937 206 16 0 24259 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 99272 [startup+80.0441 s] /proc/loadavg: 0.98 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1339400/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=112420 CPUtime=80.01 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 27259 0 0 0 7986 15 0 0 25 0 1 0 204578399 115118080 27230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 28105 27230 206 16 0 27546 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 112420 [startup+90.0501 s] /proc/loadavg: 0.98 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1332360/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=119496 CPUtime=90.01 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 29016 0 0 0 8985 16 0 0 25 0 1 0 204578399 122363904 28987 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530532 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 29874 28987 206 16 0 29315 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 119496 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1316424/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=135404 CPUtime=100.02 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 32985 0 0 0 9982 20 0 0 25 0 1 0 204578399 138653696 32956 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 33851 32956 206 16 0 33292 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 135404 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1304584/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=147220 CPUtime=110.02 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 35944 0 0 0 10980 22 0 0 25 0 1 0 204578399 150753280 35915 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 36805 35915 206 16 0 36246 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 147220 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1288392/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=163292 CPUtime=120.02 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 39976 0 0 0 11978 24 0 0 25 0 1 0 204578399 167211008 39947 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 40823 39947 206 16 0 40264 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 163292 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1274504/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=177184 CPUtime=130.02 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 43449 0 0 0 12976 26 0 0 25 0 1 0 204578399 181436416 43420 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 44296 43420 206 16 0 43737 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 177184 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1258056/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=193536 CPUtime=140.03 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 47540 0 0 0 13974 29 0 0 25 0 1 0 204578399 198180864 47511 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 48384 47511 206 16 0 47825 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 193536 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1243336/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=208352 CPUtime=150.03 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 51216 0 0 0 14971 32 0 0 25 0 1 0 204578399 213352448 51187 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 52088 51187 206 16 0 51529 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 208352 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1226888/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=224736 CPUtime=160.04 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 55320 0 0 0 15969 35 0 0 25 0 1 0 204578399 230129664 55291 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 56184 55291 206 16 0 55625 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 224736 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1210440/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=241272 CPUtime=170.04 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 59444 0 0 0 16967 37 0 0 25 0 1 0 204578399 247062528 59415 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10466253 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 60318 59415 206 16 0 59759 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 241272 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1199560/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=252028 CPUtime=180.04 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 62145 0 0 0 17966 38 0 0 25 0 1 0 204578399 258076672 62116 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 63007 62116 206 16 0 62448 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 252028 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1186696/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=264936 CPUtime=190.04 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 65367 0 0 0 18964 40 0 0 25 0 1 0 204578399 271294464 65338 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 66234 65338 206 16 0 65675 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 264936 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1170952/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=280616 CPUtime=200.05 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 69287 0 0 0 19962 43 0 0 25 0 1 0 204578399 287350784 69258 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 70154 69258 206 16 0 69595 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 280616 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30302 /proc/meminfo: memFree=1154440/2055920 swapFree=4181336/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1370.41 Current children cumulated vsize (Kb) 1627328 [startup+1380.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=14928/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1638716 CPUtime=1380.42 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 408564 0 0 0 137781 261 0 0 25 0 1 0 204578399 1678045184 408535 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 409679 408535 206 16 0 409120 0 Current children cumulated CPU time (s) 1380.42 Current children cumulated vsize (Kb) 1638716 [startup+1390.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16272/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1649668 CPUtime=1390.42 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 411307 0 0 0 138779 263 0 0 25 0 1 0 204578399 1689260032 411278 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 412417 411278 206 16 0 411858 0 Current children cumulated CPU time (s) 1390.42 Current children cumulated vsize (Kb) 1649668 [startup+1400.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15696/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1660984 CPUtime=1400.42 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 414148 0 0 0 139777 265 0 0 25 0 1 0 204578399 1700847616 414119 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 415246 414119 206 16 0 414687 0 Current children cumulated CPU time (s) 1400.42 Current children cumulated vsize (Kb) 1660984 [startup+1410.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16336/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1672756 CPUtime=1410.43 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 417089 0 0 0 140776 267 0 0 25 0 1 0 204578399 1712902144 417060 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 418189 417060 206 16 0 417630 0 Current children cumulated CPU time (s) 1410.43 Current children cumulated vsize (Kb) 1672756 [startup+1420.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15760/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1684072 CPUtime=1420.43 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 419910 0 0 0 141774 269 0 0 25 0 1 0 204578399 1724489728 419881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 421018 419881 206 16 0 420459 0 Current children cumulated CPU time (s) 1420.43 Current children cumulated vsize (Kb) 1684072 [startup+1430.9 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16336/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1694296 CPUtime=1430.43 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 422486 0 0 0 142772 271 0 0 25 0 1 0 204578399 1734959104 422457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 423574 422457 206 16 0 423015 0 Current children cumulated CPU time (s) 1430.43 Current children cumulated vsize (Kb) 1694296 [startup+1440.9 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15376/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1704700 CPUtime=1440.44 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 425089 0 0 0 143771 273 0 0 25 0 1 0 204578399 1745612800 425060 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 426175 425060 206 16 0 425616 0 Current children cumulated CPU time (s) 1440.44 Current children cumulated vsize (Kb) 1704700 [startup+1450.91 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15312/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1715672 CPUtime=1450.44 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 427825 0 0 0 144770 274 0 0 25 0 1 0 204578399 1756848128 427796 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 428918 427796 206 16 0 428359 0 Current children cumulated CPU time (s) 1450.44 Current children cumulated vsize (Kb) 1715672 [startup+1460.91 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=14864/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1725332 CPUtime=1460.44 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 430258 0 0 0 145769 275 0 0 25 0 1 0 204578399 1766739968 430229 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 431333 430229 206 16 0 430774 0 Current children cumulated CPU time (s) 1460.44 Current children cumulated vsize (Kb) 1725332 [startup+1470.92 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=14928/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1734816 CPUtime=1470.45 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 432590 0 0 0 146768 277 0 0 25 0 1 0 204578399 1776451584 432561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 433704 432561 206 16 0 433145 0 Current children cumulated CPU time (s) 1470.45 Current children cumulated vsize (Kb) 1734816 [startup+1480.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15952/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1742968 CPUtime=1480.45 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 434636 0 0 0 147768 277 0 0 25 0 1 0 204578399 1784799232 434607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 435742 434607 206 16 0 435183 0 Current children cumulated CPU time (s) 1480.45 Current children cumulated vsize (Kb) 1742968 [startup+1490.93 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16144/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1751928 CPUtime=1490.45 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 436880 0 0 0 148766 279 0 0 25 0 1 0 204578399 1793974272 436851 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 437982 436851 206 16 0 437423 0 Current children cumulated CPU time (s) 1490.45 Current children cumulated vsize (Kb) 1751928 [startup+1500.94 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15760/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1761484 CPUtime=1500.45 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 439269 0 0 0 149765 280 0 0 25 0 1 0 204578399 1803759616 439240 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 440371 439240 206 16 0 439812 0 Current children cumulated CPU time (s) 1500.45 Current children cumulated vsize (Kb) 1761484 [startup+1510.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16336/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1771792 CPUtime=1510.46 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 441824 0 0 0 150764 282 0 0 25 0 1 0 204578399 1814315008 441795 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 442948 441795 206 16 0 442389 0 Current children cumulated CPU time (s) 1510.46 Current children cumulated vsize (Kb) 1771792 [startup+1520.95 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=14864/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1780904 CPUtime=1520.46 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 444112 0 0 0 151763 283 0 0 25 0 1 0 204578399 1823645696 444083 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 445226 444083 206 16 0 444667 0 Current children cumulated CPU time (s) 1520.46 Current children cumulated vsize (Kb) 1780904 [startup+1530.96 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=14928/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1789992 CPUtime=1530.47 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 446396 0 0 0 152762 285 0 0 25 0 1 0 204578399 1832951808 446367 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 447498 446367 206 16 0 446939 0 Current children cumulated CPU time (s) 1530.47 Current children cumulated vsize (Kb) 1789992 [startup+1540.96 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16016/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1799652 CPUtime=1540.47 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 448806 0 0 0 153760 287 0 0 25 0 1 0 204578399 1842843648 448777 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 449913 448777 206 16 0 449354 0 Current children cumulated CPU time (s) 1540.47 Current children cumulated vsize (Kb) 1799652 [startup+1550.97 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16272/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1808500 CPUtime=1550.48 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 451033 0 0 0 154760 288 0 0 25 0 1 0 204578399 1851904000 451004 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 452125 451004 206 16 0 451566 0 Current children cumulated CPU time (s) 1550.48 Current children cumulated vsize (Kb) 1808500 [startup+1560.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=16208/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1817960 CPUtime=1560.48 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 453394 0 0 0 155759 289 0 0 25 0 1 0 204578399 1861591040 453365 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 454490 453365 206 16 0 453931 0 Current children cumulated CPU time (s) 1560.48 Current children cumulated vsize (Kb) 1817960 [startup+1570.98 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15888/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1827472 CPUtime=1570.48 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 455768 0 0 0 156757 291 0 0 25 0 1 0 204578399 1871331328 455739 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 456868 455739 206 16 0 456309 0 Current children cumulated CPU time (s) 1570.48 Current children cumulated vsize (Kb) 1827472 [startup+1580.99 s] /proc/loadavg: 0.99 0.98 0.99 2/64 30497 /proc/meminfo: memFree=15696/2055920 swapFree=4181336/4192956 [pid=30302] ppid=30300 vsize=1838432 CPUtime=1580.49 /proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 458496 0 0 0 157756 293 0 0 25 0 1 0 204578399 1882554368 458467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/30302/statm: 459608 458467 206 16 0 459049 0 Current children cumulated CPU time (s) 1580.49 Current children cumulated vsize (Kb) 1838432 Child ended because it received signal 6 (SIGABRT) Real time (s): 1585.96 CPU time (s): 1585.45 CPU user time (s): 1582.21 CPU system time (s): 3.23451 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (Kb): 1838432 The end
Begin job on node56 on Sun Jun 4 02:45:08 UTC 2006 FILE ID= 37911-1149389108 PBS_JOBID= 313351 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node56/37911-1149389108/instance-37911-1149389108.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-37911-1149389108 -o ROOT/results/node56/solver-37911-1149389108 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node56/37911-1149389108/instance-37911-1149389108.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED= 438315852 /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.232 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.232 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: 1447304 kB Buffers: 29716 kB Cached: 506964 kB SwapCached: 3308 kB Active: 132468 kB Inactive: 412920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1447304 kB SwapTotal: 4192956 kB SwapFree: 4181336 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14896 kB Slab: 49148 kB Committed_AS: 332700 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Sun Jun 4 03:11:34 UTC 2006