Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | Signal | 1555.1 | 1555.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb |
MD5SUM | fad34197fa8b5ebd519d12750a352ad5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 489 |
Best CPU time to get the best result obtained on this benchmark | 1800.66 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 480 |
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 | 495457 |
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 | 495457 |
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.15 c starting to Solve 18.16 c #variables read: 10000 - #constraints read: 656901 24.51 o 6572 24.68 o 6511 24.86 o 6471 25.03 o 6457 26.02 o 6443 26.18 o 6414 26.40 o 6393 26.57 o 6369 26.73 o 6339 26.89 o 6325 28.11 o 6324 29.99 o 6310 30.18 o 6280 30.36 o 6275 87.70 o 6267 87.88 o 6240 88.13 o 6073 88.72 o 6060 88.97 o 6055 89.15 o 6046 89.36 o 6017 89.55 o 6014 89.74 o 6000 89.91 o 5994 90.10 o 5919 92.25 o 5904 93.35 o 5903 93.55 o 5886 93.85 o 5885 94.04 o 5865 94.22 o 5863 94.40 o 5859 94.57 o 5857 94.96 o 5810 95.15 o 5808 95.33 o 5804 95.51 o 5802 95.93 o 5776 96.13 o 5770 96.30 o 5757 96.55 o 5750 96.74 o 5731 97.00 o 5725 97.18 o 5719 97.35 o 5717 372.64 o 5716 372.83 o 5710 373.00 o 5705 373.16 o 5697 373.31 o 5682 373.46 o 5669 374.08 o 5653 374.25 o 5629 374.49 o 5594 374.64 o 5570 385.84 o 5499 545.30 o 5495 558.01 o 5491 592.60 o 5488 610.47 o 5486 643.30 o 5471 1120.27 o 5455 1120.43 o 5449 1120.59 o 5433 1123.74 o 5425 1345.19 o 5407 1412.48 o 5406 1439.21 o 5402 1439.39 o 5396 1439.54 o 5381 1447.93 o 5380 1448.08 o 5368 1449.92 o 5365 1555.31 Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Constr*]: 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/node22/watcher-36772-1149392021 -o ROOT/results/node22/solver-36772-1149392021 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node22/36772-1149392021/instance-36772-1149392021.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 2558 /proc/meminfo: memFree=1396736/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=2572 CPUtime=0 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 100636428 2633728 231 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5144279 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 643 231 193 16 0 84 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1315328/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=84472 CPUtime=9.99 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 20616 0 0 0 991 8 0 0 25 0 1 0 100636428 86499328 20587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532451 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 21118 20587 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0076 s] /proc/loadavg: 0.94 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1305792/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=95468 CPUtime=19.99 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0133 s] /proc/loadavg: 0.95 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1305920/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=95468 CPUtime=29.99 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 2989 10 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530548 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95468 [startup+40.019 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1305920/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=95468 CPUtime=39.99 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 3988 11 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 95468 [startup+50.0246 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1305984/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=95468 CPUtime=50 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.0303 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1305984/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=95468 CPUtime=60 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 5988 12 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 95468 [startup+70.036 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1305984/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=95468 CPUtime=70 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 6988 12 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 95468 [startup+80.0417 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1298752/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=102732 CPUtime=80 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 24848 0 0 0 7987 13 0 0 25 0 1 0 100636428 105197568 24819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5116877 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 25683 24819 206 16 0 25124 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 102732 [startup+90.0473 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1287104/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=114372 CPUtime=90 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 27751 0 0 0 8985 15 0 0 25 0 1 0 100636428 117116928 27722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 28593 27722 206 16 0 28034 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 114372 [startup+100.053 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1279232/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=122188 CPUtime=100.01 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 29707 0 0 0 9985 16 0 0 25 0 1 0 100636428 125120512 29678 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 30547 29678 206 16 0 29988 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 122188 [startup+110.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1265920/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=135504 CPUtime=110.02 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 33027 0 0 0 10984 18 0 0 25 0 1 0 100636428 138756096 32998 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 33876 32998 206 16 0 33317 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 135504 [startup+120.064 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1252480/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=148952 CPUtime=120.02 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 36373 0 0 0 11982 20 0 0 25 0 1 0 100636428 152526848 36344 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 37238 36344 206 16 0 36679 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 148952 [startup+130.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1241408/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=159956 CPUtime=130.02 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 39134 0 0 0 12980 22 0 0 25 0 1 0 100636428 163794944 39105 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 39989 39105 206 16 0 39430 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 159956 [startup+140.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1230592/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=170748 CPUtime=140.02 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 41842 0 0 0 13978 24 0 0 25 0 1 0 100636428 174845952 41813 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 42687 41813 206 16 0 42128 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 170748 [startup+150.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1219648/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=181728 CPUtime=150.03 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 44565 0 0 0 14978 25 0 0 25 0 1 0 100636428 186089472 44536 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 45432 44536 206 16 0 44873 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 181728 [startup+160.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1210304/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=190984 CPUtime=160.02 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 46899 0 0 0 15976 26 0 0 25 0 1 0 100636428 195567616 46870 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 47746 46870 206 16 0 47187 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 190984 [startup+170.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1200192/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=201112 CPUtime=170.03 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 49440 0 0 0 16975 28 0 0 25 0 1 0 100636428 205938688 49411 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 50278 49411 206 16 0 49719 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 201112 [startup+180.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1189184/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=212140 CPUtime=180.03 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 52179 0 0 0 17974 29 0 0 25 0 1 0 100636428 217231360 52150 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 53035 52150 206 16 0 52476 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 212140 [startup+190.105 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1174784/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=226528 CPUtime=190.04 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 55780 0 0 0 18973 31 0 0 25 0 1 0 100636428 231964672 55751 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 56632 55751 206 16 0 56073 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 226528 [startup+200.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1157056/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=244336 CPUtime=200.04 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 60199 0 0 0 19971 33 0 0 25 0 1 0 100636428 250200064 60170 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 61084 60170 206 16 0 60525 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 244336 [startup+210.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=1140672/2055920 swapFree=4183840/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1340.34 Current children cumulated vsize (Kb) 1625424 [startup+1350.78 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=16000/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1635436 CPUtime=1350.34 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 407735 0 0 0 134776 258 0 0 25 0 1 0 100636428 1674686464 407702 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 408859 407702 206 16 0 408300 0 Current children cumulated CPU time (s) 1350.34 Current children cumulated vsize (Kb) 1635436 [startup+1360.79 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15296/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1645796 CPUtime=1360.34 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 410296 0 0 0 135774 260 0 0 25 0 1 0 100636428 1685295104 410263 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 411449 410263 206 16 0 410890 0 Current children cumulated CPU time (s) 1360.34 Current children cumulated vsize (Kb) 1645796 [startup+1370.79 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15360/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1656484 CPUtime=1370.34 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 412984 0 0 0 136772 262 0 0 25 0 1 0 100636428 1696239616 412951 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 414121 412951 206 16 0 413562 0 Current children cumulated CPU time (s) 1370.34 Current children cumulated vsize (Kb) 1656484 [startup+1380.8 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15616/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1667320 CPUtime=1380.35 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 415677 0 0 0 137771 264 0 0 25 0 1 0 100636428 1707335680 415644 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 416830 415644 206 16 0 416271 0 Current children cumulated CPU time (s) 1380.35 Current children cumulated vsize (Kb) 1667320 [startup+1390.8 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=16128/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1677588 CPUtime=1390.35 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 418259 0 0 0 138769 266 0 0 25 0 1 0 100636428 1717850112 418226 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 419397 418226 206 16 0 418838 0 Current children cumulated CPU time (s) 1390.35 Current children cumulated vsize (Kb) 1677588 [startup+1400.81 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15424/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1687524 CPUtime=1400.36 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 420762 0 0 0 139768 268 0 0 25 0 1 0 100636428 1728024576 420729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 421881 420729 206 16 0 421322 0 Current children cumulated CPU time (s) 1400.36 Current children cumulated vsize (Kb) 1687524 [startup+1410.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15168/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1698712 CPUtime=1410.36 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 423541 0 0 0 140766 270 0 0 25 0 1 0 100636428 1739481088 423508 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517896 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 424678 423508 206 16 0 424119 0 Current children cumulated CPU time (s) 1410.36 Current children cumulated vsize (Kb) 1698712 [startup+1420.82 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=16256/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1708492 CPUtime=1420.36 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 425984 0 0 0 141764 272 0 0 25 0 1 0 100636428 1749495808 425951 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 427123 425951 206 16 0 426564 0 Current children cumulated CPU time (s) 1420.36 Current children cumulated vsize (Kb) 1708492 [startup+1430.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=16000/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1719448 CPUtime=1430.36 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 428748 0 0 0 142762 274 0 0 25 0 1 0 100636428 1760714752 428715 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 429862 428715 206 16 0 429303 0 Current children cumulated CPU time (s) 1430.36 Current children cumulated vsize (Kb) 1719448 [startup+1440.83 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15232/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1729568 CPUtime=1440.37 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 431271 0 0 0 143761 276 0 0 25 0 1 0 100636428 1771077632 431238 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 432392 431238 206 16 0 431833 0 Current children cumulated CPU time (s) 1440.37 Current children cumulated vsize (Kb) 1729568 [startup+1450.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=16192/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1739364 CPUtime=1450.37 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 433740 0 0 0 144759 278 0 0 25 0 1 0 100636428 1781108736 433707 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 434841 433707 206 16 0 434282 0 Current children cumulated CPU time (s) 1450.37 Current children cumulated vsize (Kb) 1739364 [startup+1460.84 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15680/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1750904 CPUtime=1460.37 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 436621 0 0 0 145756 281 0 0 25 0 1 0 100636428 1792925696 436588 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5121250 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 437726 436588 206 16 0 437167 0 Current children cumulated CPU time (s) 1460.37 Current children cumulated vsize (Kb) 1750904 [startup+1470.85 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=14912/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1761116 CPUtime=1470.38 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 439168 0 0 0 146755 283 0 0 25 0 1 0 100636428 1803382784 439135 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520215 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 440279 439135 206 16 0 439720 0 Current children cumulated CPU time (s) 1470.38 Current children cumulated vsize (Kb) 1761116 [startup+1480.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15744/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1771228 CPUtime=1480.37 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 441696 0 0 0 147752 285 0 0 25 0 1 0 100636428 1813737472 441663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 442807 441663 206 16 0 442248 0 Current children cumulated CPU time (s) 1480.37 Current children cumulated vsize (Kb) 1771228 [startup+1490.86 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=14848/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1781508 CPUtime=1490.38 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 444281 0 0 0 148750 288 0 0 25 0 1 0 100636428 1824264192 444248 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 445377 444248 206 16 0 444818 0 Current children cumulated CPU time (s) 1490.38 Current children cumulated vsize (Kb) 1781508 [startup+1500.87 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15808/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1791524 CPUtime=1500.38 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 446770 0 0 0 149750 288 0 0 25 0 1 0 100636428 1834520576 446737 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 447881 446737 206 16 0 447322 0 Current children cumulated CPU time (s) 1500.38 Current children cumulated vsize (Kb) 1791524 [startup+1510.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15808/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1800768 CPUtime=1510.39 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 449106 0 0 0 150748 291 0 0 25 0 1 0 100636428 1843986432 449073 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559599 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 450192 449073 206 16 0 449633 0 Current children cumulated CPU time (s) 1510.39 Current children cumulated vsize (Kb) 1800768 [startup+1520.88 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15296/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1810812 CPUtime=1520.38 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 451577 0 0 0 151746 292 0 0 25 0 1 0 100636428 1854271488 451544 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5112159 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 452703 451544 206 16 0 452144 0 Current children cumulated CPU time (s) 1520.38 Current children cumulated vsize (Kb) 1810812 [startup+1530.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=15040/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1820396 CPUtime=1530.39 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 453983 0 0 0 152745 294 0 0 25 0 1 0 100636428 1864085504 453950 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 455099 453950 206 16 0 454540 0 Current children cumulated CPU time (s) 1530.39 Current children cumulated vsize (Kb) 1820396 [startup+1540.89 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=14912/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1829736 CPUtime=1540.39 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 456318 0 0 0 153743 296 0 0 25 0 1 0 100636428 1873649664 456285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 457434 456285 206 16 0 456875 0 Current children cumulated CPU time (s) 1540.39 Current children cumulated vsize (Kb) 1829736 [startup+1550.9 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2558 /proc/meminfo: memFree=14848/2055920 swapFree=4183840/4192956 [pid=2558] ppid=2556 vsize=1838948 CPUtime=1550.4 /proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 458626 0 0 0 154742 298 0 0 25 0 1 0 100636428 1883082752 458593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0 /proc/2558/statm: 459737 458593 206 16 0 459178 0 Current children cumulated CPU time (s) 1550.4 Current children cumulated vsize (Kb) 1838948 Child ended because it received signal 6 (SIGABRT) Real time (s): 1555.61 CPU time (s): 1555.1 CPU user time (s): 1551.82 CPU system time (s): 3.2785 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 1838948 The end
Begin job on node22 on Sun Jun 4 03:33:41 UTC 2006 FILE ID= 36772-1149392021 PBS_JOBID= 313493 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node22/36772-1149392021/instance-36772-1149392021.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-36772-1149392021 -o ROOT/results/node22/solver-36772-1149392021 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node22/36772-1149392021/instance-36772-1149392021.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5 RANDOM SEED= 14415895 /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.261 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.261 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: 1396944 kB Buffers: 19924 kB Cached: 564756 kB SwapCached: 3112 kB Active: 99848 kB Inactive: 493508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1396944 kB SwapTotal: 4192956 kB SwapFree: 4183840 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14960 kB Slab: 51720 kB Committed_AS: 348724 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node22 on Sun Jun 4 03:59:37 UTC 2006