Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | Signal | 1525.01 | 1525.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb |
MD5SUM | 3119db8d3d273f04fc4f3b1324a85224 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 469 |
Best CPU time to get the best result obtained on this benchmark | 1800.72 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 452 |
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 | 493167 |
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 | 493167 |
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.23 c starting to Solve 18.24 c #variables read: 10000 - #constraints read: 656901 24.59 o 6845 24.75 o 6835 24.91 o 6707 25.08 o 6697 25.37 o 6630 28.93 o 6588 29.22 o 6553 40.92 o 6137 41.12 o 6136 41.31 o 6092 41.50 o 6035 41.69 o 6029 41.95 o 5960 42.13 o 5959 42.35 o 5895 42.52 o 5882 42.70 o 5867 42.88 o 5866 43.13 o 5803 43.33 o 5774 43.54 o 5773 355.33 o 5755 355.48 o 5728 355.85 o 5724 355.99 o 5715 377.52 o 5706 377.77 o 5702 618.71 o 5700 620.40 o 5698 620.54 o 5691 620.74 o 5685 677.45 o 5672 692.24 o 5666 943.55 o 5656 1515.69 o 5583 1515.84 o 5532 1516.12 o 5513 1516.28 o 5497 1516.44 o 5489 1525.31 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/node34/watcher-37913-1149389606 -o ROOT/results/node34/solver-37913-1149389606 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node34/37913-1149389606/instance-37913-1149389606.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1618512/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=2572 CPUtime=0 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 204624429 2633728 233 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8187607 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 643 233 193 16 0 84 0 [startup+10.0026 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1537128/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=84472 CPUtime=9.99 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 20618 0 0 0 990 9 0 0 25 0 1 0 204624429 86499328 20589 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532408 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 21118 20589 204 16 0 20559 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 84472 [startup+20.0092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1527528/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=95468 CPUtime=19.99 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 95468 [startup+30.0149 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1527656/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=95468 CPUtime=30 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 2989 11 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 95468 [startup+40.0206 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1527720/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=95468 CPUtime=39.99 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 3988 11 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 95468 [startup+50.0263 s] /proc/loadavg: 1.07 1.02 1.00 2/64 4635 /proc/meminfo: memFree=1527720/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=95468 CPUtime=50 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 95468 [startup+60.032 s] /proc/loadavg: 1.06 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1527720/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=95468 CPUtime=60.01 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 5987 14 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 23867 22993 206 16 0 23308 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 95468 [startup+70.0377 s] /proc/loadavg: 1.05 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1519848/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=103340 CPUtime=70 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 24993 0 0 0 6984 16 0 0 25 0 1 0 204624429 105820160 24964 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528057 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 25835 24964 206 16 0 25276 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 103340 [startup+80.0434 s] /proc/loadavg: 1.04 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1503272/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=119884 CPUtime=80.01 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 29136 0 0 0 7982 19 0 0 25 0 1 0 204624429 122761216 29107 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 29971 29107 206 16 0 29412 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 119884 [startup+90.0491 s] /proc/loadavg: 1.03 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1485416/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=137792 CPUtime=90.01 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 33580 0 0 0 8980 21 0 0 25 0 1 0 204624429 141099008 33551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 34448 33551 206 16 0 33889 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 137792 [startup+100.055 s] /proc/loadavg: 1.03 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1471272/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=151896 CPUtime=100.01 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 37103 0 0 0 9977 24 0 0 25 0 1 0 204624429 155541504 37074 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 37974 37074 206 16 0 37415 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 151896 [startup+110.06 s] /proc/loadavg: 1.02 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1454760/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=168284 CPUtime=110.02 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 41216 0 0 0 10976 26 0 0 25 0 1 0 204624429 172322816 41187 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 42071 41187 206 16 0 41512 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 168284 [startup+120.066 s] /proc/loadavg: 1.02 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1437352/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=185688 CPUtime=120.01 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 45576 0 0 0 11973 28 0 0 25 0 1 0 204624429 190144512 45547 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 46422 45547 206 16 0 45863 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 185688 [startup+130.072 s] /proc/loadavg: 1.02 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1420712/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=202340 CPUtime=130.02 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 49723 0 0 0 12971 31 0 0 25 0 1 0 204624429 207196160 49694 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 50585 49694 206 16 0 50026 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 202340 [startup+140.078 s] /proc/loadavg: 1.01 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1403624/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=219660 CPUtime=140.02 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 54000 0 0 0 13969 33 0 0 25 0 1 0 204624429 224931840 53971 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 54915 53971 206 16 0 54356 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 219660 [startup+150.083 s] /proc/loadavg: 1.01 1.01 1.00 2/64 4635 /proc/meminfo: memFree=1397224/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=226016 CPUtime=150.02 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 55592 0 0 0 14968 34 0 0 25 0 1 0 204624429 231440384 55563 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 56504 55563 206 16 0 55945 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 226016 [startup+160.089 s] /proc/loadavg: 1.01 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1382504/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=240704 CPUtime=160.03 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 59261 0 0 0 15966 37 0 0 25 0 1 0 204624429 246480896 59232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 60176 59232 206 16 0 59617 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 240704 [startup+170.095 s] /proc/loadavg: 1.01 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1365416/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=257648 CPUtime=170.03 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 63526 0 0 0 16962 41 0 0 25 0 1 0 204624429 263831552 63497 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 64412 63497 206 16 0 63853 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 257648 [startup+180.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1348840/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=274204 CPUtime=180.03 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 67666 0 0 0 17960 43 0 0 25 0 1 0 204624429 280784896 67637 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 68551 67637 206 16 0 67992 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 274204 [startup+190.106 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1333032/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=289988 CPUtime=190.03 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 71610 0 0 0 18958 45 0 0 25 0 1 0 204624429 296947712 71581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 72497 71581 206 16 0 71938 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 289988 [startup+200.112 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1315432/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=307652 CPUtime=200.03 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 76007 0 0 0 19955 48 0 0 25 0 1 0 204624429 315035648 75978 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 76913 75978 206 16 0 76354 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 307652 [startup+210.117 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4635 /proc/meminfo: memFree=1296360/2055920 swapFree=4181356/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 1310.27 Current children cumulated vsize (Kb) 1553384 [startup+1320.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=54056/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1567480 CPUtime=1320.27 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 390677 0 0 0 131773 254 0 0 25 0 1 0 204624429 1605099520 390648 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517497 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 391870 390648 206 16 0 391311 0 Current children cumulated CPU time (s) 1320.27 Current children cumulated vsize (Kb) 1567480 [startup+1330.78 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=41576/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1579940 CPUtime=1330.27 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 393792 0 0 0 132772 255 0 0 25 0 1 0 204624429 1617858560 393763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 394985 393763 206 16 0 394426 0 Current children cumulated CPU time (s) 1330.27 Current children cumulated vsize (Kb) 1579940 [startup+1340.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=26344/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1595116 CPUtime=1340.27 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 397597 0 0 0 133769 258 0 0 25 0 1 0 204624429 1633398784 397568 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 398779 397568 206 16 0 398220 0 Current children cumulated CPU time (s) 1340.27 Current children cumulated vsize (Kb) 1595116 [startup+1350.79 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15592/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1610544 CPUtime=1350.28 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 401432 0 0 0 134767 261 0 0 25 0 1 0 204624429 1649197056 401403 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 402636 401403 206 16 0 402077 0 Current children cumulated CPU time (s) 1350.28 Current children cumulated vsize (Kb) 1610544 [startup+1360.8 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15272/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1624812 CPUtime=1360.28 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 404997 0 0 0 135765 263 0 0 25 0 1 0 204624429 1663807488 404968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 406203 404968 206 16 0 405644 0 Current children cumulated CPU time (s) 1360.28 Current children cumulated vsize (Kb) 1624812 [startup+1370.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=16104/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1639732 CPUtime=1370.28 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 408737 0 0 0 136763 265 0 0 25 0 1 0 204624429 1679085568 408708 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 409933 408708 206 16 0 409374 0 Current children cumulated CPU time (s) 1370.28 Current children cumulated vsize (Kb) 1639732 [startup+1380.81 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15784/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1654200 CPUtime=1380.28 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 412354 0 0 0 137760 268 0 0 25 0 1 0 204624429 1693900800 412325 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 413550 412325 206 16 0 412991 0 Current children cumulated CPU time (s) 1380.28 Current children cumulated vsize (Kb) 1654200 [startup+1390.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15208/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1669168 CPUtime=1390.29 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 416108 0 0 0 138758 271 0 0 25 0 1 0 204624429 1709228032 416079 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 417292 416079 206 16 0 416733 0 Current children cumulated CPU time (s) 1390.29 Current children cumulated vsize (Kb) 1669168 [startup+1400.82 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15272/2055920 swapFree=4181356/4192956 [pid=4635] ppid=4633 vsize=1683368 CPUtime=1400.29 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 419649 0 0 0 139756 273 0 0 25 0 1 0 204624429 1723768832 419620 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8156795 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 420842 419620 206 16 0 420283 0 Current children cumulated CPU time (s) 1400.29 Current children cumulated vsize (Kb) 1683368 [startup+1410.83 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15912/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1695484 CPUtime=1410.3 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 422677 0 0 0 140755 275 0 0 25 0 1 0 204624429 1736175616 422648 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520396 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 423871 422648 206 16 0 423312 0 Current children cumulated CPU time (s) 1410.3 Current children cumulated vsize (Kb) 1695484 [startup+1420.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15080/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1708988 CPUtime=1420.3 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 426045 0 0 0 141753 277 0 0 25 0 1 0 204624429 1750003712 426016 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 427247 426016 206 16 0 426688 0 Current children cumulated CPU time (s) 1420.3 Current children cumulated vsize (Kb) 1708988 [startup+1430.84 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=16232/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1722056 CPUtime=1430.29 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 429312 0 0 0 142750 279 0 0 25 0 1 0 204624429 1763385344 429283 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 430514 429283 206 16 0 429955 0 Current children cumulated CPU time (s) 1430.29 Current children cumulated vsize (Kb) 1722056 [startup+1440.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=16232/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1734608 CPUtime=1440.3 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 432459 0 0 0 143748 282 0 0 25 0 1 0 204624429 1776238592 432430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 433652 432430 206 16 0 433093 0 Current children cumulated CPU time (s) 1440.3 Current children cumulated vsize (Kb) 1734608 [startup+1450.85 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=16296/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1747224 CPUtime=1450.3 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 435637 0 0 0 144747 283 0 0 25 0 1 0 204624429 1789157376 435608 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 436806 435608 206 16 0 436247 0 Current children cumulated CPU time (s) 1450.3 Current children cumulated vsize (Kb) 1747224 [startup+1460.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=14888/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1759756 CPUtime=1460.3 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 438753 0 0 0 145745 285 0 0 25 0 1 0 204624429 1801990144 438724 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8156828 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 439939 438724 206 16 0 439380 0 Current children cumulated CPU time (s) 1460.3 Current children cumulated vsize (Kb) 1759756 [startup+1470.86 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15208/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1771948 CPUtime=1470.3 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 441830 0 0 0 146743 287 0 0 25 0 1 0 204624429 1814474752 441801 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 442987 441801 206 16 0 442428 0 Current children cumulated CPU time (s) 1470.3 Current children cumulated vsize (Kb) 1771948 [startup+1480.87 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=14952/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1783432 CPUtime=1480.31 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 444665 0 0 0 147742 289 0 0 25 0 1 0 204624429 1826234368 444636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 445858 444636 206 16 0 445299 0 Current children cumulated CPU time (s) 1480.31 Current children cumulated vsize (Kb) 1783432 [startup+1490.88 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15336/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1795624 CPUtime=1490.31 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 447722 0 0 0 148739 292 0 0 25 0 1 0 204624429 1838718976 447693 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 448906 447693 206 16 0 448347 0 Current children cumulated CPU time (s) 1490.31 Current children cumulated vsize (Kb) 1795624 [startup+1500.88 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=16232/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1807276 CPUtime=1500.32 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 450643 0 0 0 149738 294 0 0 25 0 1 0 204624429 1850650624 450614 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 451819 450614 206 16 0 451260 0 Current children cumulated CPU time (s) 1500.32 Current children cumulated vsize (Kb) 1807276 [startup+1510.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15784/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1818868 CPUtime=1510.32 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 453530 0 0 0 150736 296 0 0 25 0 1 0 204624429 1862520832 453501 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 454717 453501 206 16 0 454158 0 Current children cumulated CPU time (s) 1510.32 Current children cumulated vsize (Kb) 1818868 [startup+1520.89 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4830 /proc/meminfo: memFree=15912/2055920 swapFree=4181348/4192956 [pid=4635] ppid=4633 vsize=1834436 CPUtime=1520.32 /proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 457420 0 0 0 151734 298 0 0 25 0 1 0 204624429 1878462464 457391 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8155487 0 0 4096 0 0 0 0 17 1 0 0 /proc/4635/statm: 458609 457391 206 16 0 458050 0 Current children cumulated CPU time (s) 1520.32 Current children cumulated vsize (Kb) 1834436 Child ended because it received signal 6 (SIGABRT) Real time (s): 1525.59 CPU time (s): 1525.01 CPU user time (s): 1521.74 CPU system time (s): 3.2695 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (Kb): 1834436 The end
Begin job on node34 on Sun Jun 4 02:53:26 UTC 2006 FILE ID= 37913-1149389606 PBS_JOBID= 313377 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node34/37913-1149389606/instance-37913-1149389606.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-37913-1149389606 -o ROOT/results/node34/solver-37913-1149389606 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node34/37913-1149389606/instance-37913-1149389606.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 3119db8d3d273f04fc4f3b1324a85224 RANDOM SEED= 640116465 /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.277 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.277 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: 1618720 kB Buffers: 30100 kB Cached: 337712 kB SwapCached: 3400 kB Active: 135308 kB Inactive: 241336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1618720 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14900 kB Slab: 46608 kB Committed_AS: 422820 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Sun Jun 4 03:18:52 UTC 2006